Automatic commit. Thu Oct 4 00:00:10 WST 2012

[matches/honours.git] / research / TCS / 2012-09-29 / 075308.dat.p

diff --git a/research/TCS/2012-09-29/075308.dat.p b/research/TCS/2012-09-29/075308.dat.p
new file mode 100644 (file)
index 0000000..7bdc27e
--- /dev/null
+++ b/research/TCS/2012-09-29/075308.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53092241287 0 0
+3.16780853271 10 0
+3.79980993271 20 0
+4.4283015728 30 0
+5.062271595 40 0
+5.6997795105 50 0
+6.32778954506 60 0
+6.9558172226 70 0
+7.58780813217 80 0
+8.2277905941 90 0
+8.86830401421 100 0
+9.5077881813 110 0
+10.1478099823 120 0
+10.7883086205 130 0
+11.4297556877 140 0
+12.0702729225 150 0
+12.7077815533 160 0
+13.3477854729 170 0
+13.9877901077 180 0
+14.6317987442 190 0
+15.2677896023 200 0
+15.9077749252 210 0
+16.5477819443 220 0
+17.1877894402 230 0
+17.8262987137 240 0
+18.4687666893 250 0
+19.1037695408 260 0
+19.7437958717 270 0
+20.3837835789 280 0
+21.0237905979 290 0
+21.6637825966 300 0
+22.3037900925 310 0
+22.9437885284 320 0
+23.5837709904 330 0
+24.2237796783 340 0
+24.8638319969 350 0
+25.5037879944 360 0
+26.1422805786 370 0
+26.7803170681 380 0
+27.4243175983 390 0
+28.0622866154 400 0
+28.6997990608 410 0
+29.3398015499 420 0
+29.979767561 430 0
+30.6197896004 440 0
+31.2602920532 450 0
+31.8997755051 460 0
+32.5402927399 470 0
+33.1797831059 480 0
+33.8197951317 490 0
+34.4597904682 500 0
+35.0997900963 510 0
+35.7397847176 520 0
+36.3787820339 530 0
+37.0197839737 540 0
+37.6563014984 550 0
+38.2957954407 560 0
+38.9357995987 570 0
+39.5757994652 580 0
+40.2157950401 590 0
+40.8557960987 600 0
+41.4957945347 610 0
+42.1357855797 620 0
+42.7758011818 630 0
+43.4157705307 640 0
+44.0557751656 650 0
+44.6957781315 660 0
+45.335793972 670 0
+45.9762880802 680 0
+46.6157679558 690 0
+47.2567734718 700 0
+47.8922891617 710 0
+48.5317950249 720 0
+49.1717996597 730 0
+49.8118000031 740 0
+50.4517710209 750 0
+51.09227705 760 0
+51.7317750454 770 0
+52.3717870712 780 0
+53.0117864609 790 0
+53.651781559 800 0
+54.2922759056 810 0
+54.9317810535 820 0
+55.5717797279 830 0
+56.2082948685 840 0
+56.8478007317 850 0
+57.488291502 860 0
+58.1277940273 870 0
+58.7678015232 880 0
+59.4082815647 890 0
+60.0502305031 900 0
+60.6877880096 910 0
+61.3277840614 920 0
+61.9682896137 930 0
+62.6077895164 940 0
+63.2477827072 950 0
+63.8877892494 960 0
+64.5357680321 970 0
+65.1762871742 980 0
+65.8158349991 990 0
+66.4677805901 1000 0
+67.1158001423 1010 0
+67.7557926178 1020 0
+68.407784462 1030 0
+69.0587701797 1040 0
+69.7063236237 1050 0
+70.3557925224 1060 0
+71.0037920475 1070 0
+71.6557610035 1080 0
+72.3037834167 1090 0
+72.9557776451 1100 0
+73.6037731171 1110 0
+74.2517895699 1120 0
+74.9037947655 1130 0
+75.5517940521 1140 0
+76.2037880421 1150 0
+76.8522639275 1160 0
+77.5022759438 1170 0
+78.1517906189 1180 0
+78.802273035 1190 0
+79.4517784119 1200 0
+80.0997755527 1210 0
+80.7542545795 1220 0
+81.3997807503 1230 0
+82.0504500866 1240 0
+82.6998031139 1250 0
+83.347789526 1260 0
+84.0022759438 1270 0
+84.647787571 1280 0
+85.2997806072 1290 0
+85.9477756023 1300 0
+86.5962820053 1310 0
+87.2482709885 1320 0
+87.8957943916 1330 0
+88.548789978 1340 0
+89.1958634853 1350 0
+89.8478012085 1360 0
+90.4957926273 1370 0
+91.1477794647 1380 0
+91.7982616425 1390 0
+92.4437890053 1400 0
+93.096275568 1410 0
+93.7437796593 1420 0
+94.396780014 1430 0
+95.0465474129 1440 0
+95.6957840919 1450 0
+96.346777916 1460 0
+96.998773098 1470 0
+97.6557765007 1480 0
+98.3037796021 1490 0
+98.9517874718 1500 0
+99.6037786007 1510 0
+100.254765034 1520 0
+100.903776169 1530 0
+101.554270029 1540 0
+102.203776598 1550 0
+102.853104115 1560 0
+103.499783039 1570 0
+104.151780128 1580 0
+104.861793995 1590 0.000513163
+105.634274006 1600 0.00133422
+106.404279232 1610 0.00585005
+107.185775518 1620 0.0126751
+107.964293003 1630 0.0216041
+108.745780468 1640 0.0304305
+109.521790504 1650 0.0406938
+110.302294731 1660 0.0495715
+111.08378315 1670 0.0608098
+111.866280079 1680 0.0730744
+112.658256531 1690 0.0856468
+113.446273565 1700 0.0984759
+114.231796026 1710 0.110433
+115.011787415 1720 0.126084
+115.792273521 1730 0.139734
+116.586270571 1740 0.150459
+117.374319077 1750 0.165238
+118.166286469 1760 0.1774
+118.954287052 1770 0.191769
+119.742780685 1780 0.206189
+120.531778097 1790 0.216401
+121.321780682 1800 0.232925
+122.113771439 1810 0.248371
+122.901782036 1820 0.262945
+123.694276571 1830 0.278801
+124.479793072 1840 0.295479
+125.273777008 1850 0.311079
+126.063775063 1860 0.327449
+126.851794481 1870 0.34269
+127.64380002 1880 0.356802
+128.441804409 1890 0.370247
+129.230293036 1900 0.382819
+130.024285078 1910 0.394058
+130.82677269 1920 0.403602
+131.621790409 1930 0.414276
+132.420806408 1940 0.42182
+133.211781979 1950 0.428696
+134.014279366 1960 0.434187
+134.810286999 1970 0.437984
+135.612279415 1980 0.440396
+136.409778118 1990 0.44327
+137.209789991 2000 0.446092
+138.009781837 2010 0.449274
+138.809771538 2020 0.45302
+139.609763622 2030 0.455021
+140.409790039 2040 0.458152
+141.208276987 2050 0.462873
+142.011767864 2060 0.46667
+142.809778214 2070 0.470416
+143.609772682 2080 0.475445
+144.409781456 2090 0.480166
+145.212272644 2100 0.485452
+146.007770538 2110 0.488274
+146.811774254 2120 0.491969
+147.609783173 2130 0.497049
+148.407777071 2140 0.501257
+149.205787659 2150 0.506286
+150.007785559 2160 0.511213
+150.807776451 2170 0.517063
+151.607788086 2180 0.521014
+152.407784939 2190 0.526915
+153.20777607 2200 0.532252
+154.008271694 2210 0.539642
+154.809725523 2220 0.544517
+155.620774984 2230 0.551804
+156.427775621 2240 0.55791
+157.236280918 2250 0.562426
+158.039767504 2260 0.572382
+158.847781658 2270 0.581208
+159.647790909 2280 0.587161
+160.448282719 2290 0.594345
+161.244822502 2300 0.599374
+162.044295549 2310 0.605019
+162.843778133 2320 0.611587
+163.644310474 2330 0.611279
+164.442297935 2340 0.619952
+165.241777897 2350 0.630677
+166.042286158 2360 0.634474
+166.84377718 2370 0.638169
+167.652281523 2380 0.645559
+168.463776588 2390 0.652589
+169.273846626 2400 0.658696
+170.080242634 2410 0.66511
+170.881782532 2420 0.67214
+171.691782475 2430 0.682147
+172.499803543 2440 0.691333
+173.309772015 2450 0.69785
+174.119830132 2460 0.705547
+174.930275917 2470 0.714322
+175.738283634 2480 0.719865
+176.550279617 2490 0.727819
+177.359777927 2500 0.73449
+178.168281555 2510 0.740853
+178.969772577 2520 0.745728
+179.775802612 2530 0.751937
+180.578273773 2540 0.756915
+181.389764071 2550 0.763843
+182.197764397 2560 0.768718
+183.005783081 2570 0.774619
+183.814800262 2580 0.779751
+184.625797033 2590 0.782778
+185.437775612 2600 0.787448
+186.245781422 2610 0.791194
+187.053784609 2620 0.793709
+187.863784075 2630 0.797968
+188.671764374 2640 0.798122
+189.48378706 2650 0.799199
+190.30578661 2660 0.800431
+191.111783028 2670 0.8031
+191.920301914 2680 0.801406
+192.726261616 2690 0.802792
+193.533781052 2700 0.8031
+194.341786385 2710 0.80428
+195.154764652 2720 0.804588
+195.962289095 2730 0.80546
+196.773769379 2740 0.804742
+197.581787586 2750 0.80469
+198.394263506 2760 0.803407
+199.201773643 2770 0.802535
+200.010265589 2780 0.801406
+200.82177949 2790 0.801201
+201.627788544 2800 0.8031
+202.429781914 2810 0.799199
+203.24277544 2820 0.799661
+204.047783375 2830 0.801406
+204.857789993 2840 0.80156
+205.667786598 2850 0.799559
+206.473781109 2860 0.802586
+207.275770664 2870 0.802689
+208.088263035 2880 0.804023
+208.896279097 2890 0.803151
+209.707798958 2900 0.805306
+210.515777588 2910 0.803869
+211.324279547 2920 0.806178
+212.136270046 2930 0.806178
+212.943789959 2940 0.807256
+213.756272554 2950 0.807872
+214.563788891 2960 0.809771
+215.375763893 2970 0.810438
+216.181774616 2980 0.813722
+216.982235432 2990 0.815467
+217.78228569 3000 0.818392
+218.581788063 3010 0.824139
+219.381777048 3020 0.823985
+220.192271471 3030 0.825781
+220.992268085 3040 0.828296
+221.801247597 3050 0.83235
+222.612765074 3060 0.833992
+223.422280073 3070 0.837995
+224.229787111 3080 0.841381
+225.031772614 3090 0.845435
+225.837784052 3100 0.848925
+226.650280476 3110 0.855955
+227.457790375 3120 0.858521
+228.260281563 3130 0.861087
+229.070284128 3140 0.865551
+229.880277157 3150 0.869605
+230.690275669 3160 0.8733
+231.498281479 3170 0.882127
+232.299775124 3180 0.882024
+233.105804443 3190 0.888644
+233.907774448 3200 0.892185
+234.707768917 3210 0.897265
+235.515779495 3220 0.901319
+236.324264526 3230 0.905424
+237.127767563 3240 0.910402
+237.936264038 3250 0.918048
+238.748261452 3260 0.917843
+239.556277514 3270 0.920511
+240.368262529 3280 0.92241
+241.184234619 3290 0.924206
+241.995769978 3300 0.926105
+242.804284096 3310 0.927798
+243.614285946 3320 0.929645
+244.423784494 3330 0.931441
+245.225779533 3340 0.933545
+246.036276579 3350 0.934982
+246.845784664 3360 0.935239
+247.665771008 3370 0.934623
+248.474351168 3380 0.935547
+249.286259651 3390 0.935136
+250.095762014 3400 0.934572
+250.906275988 3410 0.93488
+251.725775719 3420 0.933648
+252.533782005 3430 0.933186
+253.346279144 3440 0.932416
+254.159785032 3450 0.930672
+254.973765135 3460 0.929697
+255.782284498 3470 0.929389
+256.593779564 3480 0.929748
+257.402272463 3490 0.932416
+258.212275982 3500 0.931903
+259.029789448 3510 0.927541
+259.841779709 3520 0.927952
+260.659789562 3530 0.927285
+261.469771862 3540 0.927131
+262.289776564 3550 0.926669
+263.101776123 3560 0.926669
+263.915780067 3570 0.926259
+264.729782104 3580 0.927285
+265.538282394 3590 0.927901
+266.35027051 3600 0.928003
+267.157764435 3610 0.929953
+267.966252089 3620 0.930466
+268.775969505 3630 0.930928
+269.586287022 3640 0.932057
+270.397773504 3650 0.932776
+271.208768845 3660 0.933853
+272.025779486 3670 0.935444
+272.838766098 3680 0.93606
+273.657774448 3690 0.937189
+274.466276169 3700 0.940114
+275.283786535 3710 0.94073
+276.094249249 3720 0.942731
+276.911800385 3730 0.944732
+277.72577858 3740 0.94581
+278.533772469 3750 0.947452
+279.353796005 3760 0.949864
+280.171773911 3770 0.952122
+280.988266945 3780 0.954226
+281.804821968 3790 0.956381
+282.613790035 3800 0.958485
+283.433783531 3810 0.963206
+284.254268169 3820 0.960948
+285.061778545 3830 0.963771
+285.882281065 3840 0.965926
+286.69177103 3850 0.968133
+287.502280235 3860 0.972956
+288.320288658 3870 0.972033
+289.130284548 3880 0.973777
+289.942278385 3890 0.97583
+290.749771118 3900 0.978858
+291.561775208 3910 0.980654
+292.369776487 3920 0.982963
+293.183762074 3930 0.984862
+293.997789145 3940 0.98676
+294.809780598 3950 0.990404
+295.617776632 3960 0.991071
+296.429777145 3970 0.993842
+297.249772072 3980 0.996562
+298.065779209 3990 0.997434
+298.877842903 4000 1