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

[matches/honours.git] / research / TCS / 2012-09-27 / 225713.dat.p

diff --git a/research/TCS/2012-09-27/225713.dat.p b/research/TCS/2012-09-27/225713.dat.p
new file mode 100644 (file)
index 0000000..d474429
--- /dev/null
+++ b/research/TCS/2012-09-27/225713.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53737783432 0 0
+3.16978740692 10 0
+3.80245947838 20 0
+4.4377682209 30 0
+5.06977438927 40 0
+5.70578503609 50 0
+6.33778691292 60 0
+6.97377181053 70 0
+7.6029727459 80 0
+8.23376941681 90 0
+8.87376141548 100 0
+9.51377081871 110 0
+10.1537883282 120 0
+10.7922613621 130 0
+11.429776907 140 0
+12.069783926 150 0
+12.7102634907 160 0
+13.3497755527 170 0
+13.9897549152 180 0
+14.6257739067 190 0
+15.265784502 200 0
+15.9057657719 210 0
+16.5447642803 220 0
+17.1821520329 230 0
+17.8257563114 240 0
+18.4617643356 250 0
+19.101765871 260 0
+19.7377789021 270 0
+20.3817744255 280 0
+21.017768383 290 0
+21.6577570438 300 0
+22.2977597713 310 0
+22.9337561131 320 0
+23.5737743378 330 0
+24.2137658596 340 0
+24.8537652493 350 0
+25.4902770519 360 0
+26.1297762394 370 0
+26.7697839737 380 0
+27.4097659588 390 0
+28.0497539043 400 0
+28.685759306 410 0
+29.3257694244 420 0
+29.9657728672 430 0
+30.6061303616 440 0
+31.2457640171 450 0
+31.8817679882 460 0
+32.5217664242 470 0
+33.1617643833 480 0
+33.8018462658 490 0
+34.4417607784 500 0
+35.0777642727 510 0
+35.717767477 520 0
+36.3603260517 530 0
+37.0077607632 540 0
+37.6477584839 550 0
+38.2887713909 560 0
+38.9337749481 570 0
+39.5762693882 580 0
+40.2142574787 590 0
+40.8537633419 600 0
+41.4937622547 610 0
+42.1341118813 620 0
+42.7722690105 630 0
+43.4137632847 640 0
+44.0497772694 650 0
+44.6897785664 660 0
+45.3297622204 670 0
+45.9697659016 680 0
+46.610275507 690 0
+47.2457749844 700 0
+47.8857562542 710 0
+48.5257549286 720 0
+49.1646308899 730 0
+49.8146209717 740 0
+50.4537689686 750 0
+51.0937664509 760 0
+51.7297794819 770 0
+52.3702654839 780 0
+53.0097577572 790 0
+53.6497797966 800 0
+54.2897584438 810 0
+54.9257705212 820 0
+55.5657718182 830 0
+56.2057549953 840 0
+56.8457589149 850 0
+57.4818179607 860 0
+58.1222789288 870 0
+58.7647492886 880 0
+59.4097688198 890 0
+60.0527722836 900 0
+60.6977880001 910 0
+61.3402733803 920 0
+61.9857723713 930 0
+62.6267659664 940 0
+63.2657749653 950 0
+63.9057695866 960 0
+64.5457689762 970 0
+65.1857559681 980 0
+65.8257629871 990 0
+66.4742689133 1000 0
+67.1217720509 1010 0
+67.7737715244 1020 0
+68.4217607975 1030 0
+69.0722539425 1040 0
+69.7217729092 1050 0
+70.3697459698 1060 0
+71.017749548 1070 0
+71.6662790775 1080 0
+72.3177769184 1090 0
+72.9657588005 1100 0
+73.6137564182 1110 0
+74.2617709637 1120 0
+74.9097850323 1130 0
+75.5642504692 1140 0
+76.2097733021 1150 0
+76.8577668667 1160 0
+77.5067834854 1170 0
+78.1582548618 1180 0
+78.8067715168 1190 0
+79.4537632465 1200 0
+80.1057617664 1210 0
+80.7537915707 1220 0
+81.4017624855 1230 0
+82.0497748852 1240 0
+82.7017714977 1250 0
+83.349766016 1260 0
+84.0002634525 1270 0
+84.6522467136 1280 0
+85.2982742786 1290 0
+85.9457800388 1300 0
+86.5937697887 1310 0
+87.2457659245 1320 0
+87.8937609196 1330 0
+88.5447638035 1340 0
+89.1897673607 1350 0
+89.8402602673 1360 0
+90.4897668362 1370 0
+91.1377770901 1380 0
+91.7857654095 1390 0
+92.436265707 1400 0
+93.0857639313 1410 0
+93.7337529659 1420 0
+94.3817713261 1430 0
+95.0337729454 1440 0
+95.6822702885 1450 0
+96.329764843 1460 0
+96.981770277 1470 0
+97.6297638416 1480 0
+98.2777750492 1490 0
+98.9257724285 1500 0
+99.5777723789 1510 0
+100.225777864 1520 0
+100.87377739 1530 0
+101.528260946 1540 0
+102.173928976 1550 0
+102.824115038 1560 0
+103.5097754 1570 0.000417345
+104.260258436 1580 0
+105.033762932 1590 0.00271274
+105.815760374 1600 0.00880598
+106.593765974 1610 0.0157339
+107.372260332 1620 0.0235382
+108.15176177 1630 0.0316765
+108.931775331 1640 0.0396478
+109.709764719 1650 0.0497475
+110.498266459 1660 0.0596803
+111.279765844 1670 0.0694462
+112.070605993 1680 0.0816744
+112.857758284 1690 0.0930679
+113.645763874 1700 0.103961
+114.433787107 1710 0.116648
+115.224266768 1720 0.126915
+116.016266108 1730 0.140687
+116.798287868 1740 0.153416
+117.590261459 1750 0.163808
+118.379763365 1760 0.17662
+119.169111013 1770 0.188515
+119.957772493 1780 0.200743
+120.746763945 1790 0.215225
+121.534286261 1800 0.227536
+122.323798418 1810 0.243187
+123.115752459 1820 0.2565
+123.905772924 1830 0.271024
+124.691772223 1840 0.28897
+125.479781866 1850 0.304286
+126.270269871 1860 0.319853
+127.060269833 1870 0.337298
+127.850255728 1880 0.353282
+128.647767782 1890 0.37031
+129.435778856 1900 0.386545
+130.224777937 1910 0.403322
+131.013778925 1920 0.424648
+131.806272268 1930 0.445683
+132.604144812 1940 0.464505
+133.392146826 1950 0.483911
+134.193751335 1960 0.502441
+134.991749048 1970 0.519761
+135.794251442 1980 0.537206
+136.602274418 1990 0.549101
+137.409770727 2000 0.559826
+138.210256338 2010 0.568758
+139.021752596 2020 0.577564
+139.830264807 2030 0.586203
+140.637752771 2040 0.591169
+141.436772585 2050 0.598389
+142.245758295 2060 0.605567
+143.046760321 2070 0.611619
+143.853768826 2080 0.619841
+144.650288343 2090 0.626518
+145.460262537 2100 0.632486
+146.268119335 2110 0.642628
+147.067766905 2120 0.648846
+147.866254807 2130 0.653771
+148.664275408 2140 0.66024
+149.471783876 2150 0.665665
+150.272290945 2160 0.669505
+151.081755877 2170 0.675514
+151.896319389 2180 0.682401
+152.700263739 2190 0.690747
+153.501770258 2200 0.695756
+154.309769869 2210 0.700931
+155.110259771 2220 0.708359
+155.916265249 2230 0.716581
+156.718256235 2240 0.721714
+157.526336908 2250 0.728183
+158.333763361 2260 0.734151
+159.142266512 2270 0.739785
+159.942250013 2280 0.744543
+160.749776602 2290 0.75047
+161.557761431 2300 0.757189
+162.357765436 2310 0.762322
+163.158261538 2320 0.771045
+163.965754747 2330 0.773549
+164.766249418 2340 0.780435
+165.574266911 2350 0.787655
+166.381757021 2360 0.793999
+167.18975997 2370 0.800467
+167.995783091 2380 0.809232
+168.797758818 2390 0.81111
+169.60626936 2400 0.812988
+170.414266825 2410 0.814908
+171.226764917 2420 0.818998
+172.034263372 2430 0.825383
+172.841772318 2440 0.830934
+173.649776936 2450 0.834314
+174.44776845 2460 0.837987
+175.257141829 2470 0.844038
+176.065770864 2480 0.844831
+176.865765333 2490 0.848337
+177.673763037 2500 0.851383
+178.484752893 2510 0.853303
+179.294254541 2520 0.856809
+180.102764368 2530 0.856809
+180.909766912 2540 0.857727
+181.709760427 2550 0.860273
+182.517760515 2560 0.861108
+183.325775862 2570 0.861358
+184.125747919 2580 0.861483
+184.933770895 2590 0.861859
+185.744256735 2600 0.860231
+186.552346468 2610 0.859313
+187.360793829 2620 0.859271
+188.171756029 2630 0.857644
+188.979777575 2640 0.856392
+189.787772894 2650 0.854514
+190.595765352 2660 0.854597
+191.405800104 2670 0.85443
+192.213764429 2680 0.853554
+193.023763418 2690 0.850424
+193.829775572 2700 0.848462
+194.640261412 2710 0.846542
+195.4522717 2720 0.845123
+196.257777452 2730 0.845541
+197.066266298 2740 0.839948
+197.873967409 2750 0.838279
+198.685766459 2760 0.837444
+199.493756056 2770 0.835107
+200.303747416 2780 0.833229
+201.109776258 2790 0.832561
+201.920258999 2800 0.831351
+202.728264332 2810 0.831643
+203.540755987 2820 0.829306
+204.345766783 2830 0.827511
+205.153740406 2840 0.828638
+205.953771353 2850 0.827219
+206.76176548 2860 0.825967
+207.570272446 2870 0.826844
+208.377770424 2880 0.826301
+209.187749863 2890 0.825842
+209.986274004 2900 0.824131
+210.785753965 2910 0.823129
+211.592267275 2920 0.823755
+212.401741743 2930 0.823547
+213.2017591 2940 0.82363
+214.00975132 2950 0.823463
+214.815757036 2960 0.824632
+215.623783827 2970 0.825133
+216.431785345 2980 0.826092
+217.243767023 2990 0.827595
+218.051770449 3000 0.82676
+218.861756802 3010 0.828596
+219.667743921 3020 0.82893
+220.467759848 3030 0.830934
+221.27627039 3040 0.832394
+222.086259842 3050 0.831727
+222.893777847 3060 0.833813
+223.703767538 3070 0.836651
+224.511763334 3080 0.83928
+225.319758415 3090 0.841534
+226.119749784 3100 0.843579
+226.927749872 3110 0.846793
+227.736781359 3120 0.850006
+228.544264555 3130 0.852343
+229.354300261 3140 0.856308
+230.159780264 3150 0.85827
+230.959783792 3160 0.8614
+231.762247324 3170 0.864488
+232.567772865 3180 0.866533
+233.364281893 3190 0.870498
+234.164776564 3200 0.873044
+234.965768099 3210 0.878177
+235.773752451 3220 0.882768
+236.579797506 3230 0.887609
+237.379780293 3240 0.889654
+238.187748194 3250 0.893827
+238.995769978 3260 0.897709
+239.803820848 3270 0.900588
+240.604310274 3280 0.903426
+241.413762331 3290 0.905597
+242.213754416 3300 0.908017
+243.021776438 3310 0.910605
+243.829756021 3320 0.9129
+244.629759073 3330 0.915947
+245.435772896 3340 0.919828
+246.243763447 3350 0.919995
+247.053772926 3360 0.921581
+247.861759424 3370 0.923709
+248.674258471 3380 0.923626
+249.478281975 3390 0.924711
+250.277783871 3400 0.925337
+251.090277433 3410 0.925295
+251.896299839 3420 0.92638
+252.706296444 3430 0.924502
+253.513780355 3440 0.925796
+254.321770906 3450 0.925003
+255.131774902 3460 0.926923
+255.944262266 3470 0.925671
+256.75226593 3480 0.926255
+257.567771912 3490 0.927048
+258.374265432 3500 0.925087
+259.185761929 3510 0.925963
+259.995761395 3520 0.924878
+260.809782267 3530 0.926046
+261.618284941 3540 0.928175
+262.431757927 3550 0.926464
+263.239756346 3560 0.927507
+264.04575634 3570 0.928676
+264.855763435 3580 0.928342
+265.664246798 3590 0.928175
+266.471772432 3600 0.928884
+267.284272432 3610 0.92997
+268.097835779 3620 0.931514
+268.907770872 3630 0.932056
+269.719748974 3640 0.931347
+270.524273872 3650 0.933058
+271.333770037 3660 0.934101
+272.141768932 3670 0.934852
+272.952270269 3680 0.935771
+273.757753611 3690 0.935896
+274.571759462 3700 0.936313
+275.379750013 3710 0.938525
+276.185763836 3720 0.93865
+276.995766401 3730 0.940862
+277.803769827 3740 0.942365
+278.61575532 3750 0.945244
+279.423757792 3760 0.947289
+280.238284349 3770 0.948374
+281.04576993 3780 0.950252
+281.859759331 3790 0.952089
+282.675774336 3800 0.952631
+283.48177743 3810 0.954927
+284.296268225 3820 0.959058
+285.104251862 3830 0.960311
+285.921768904 3840 0.962773
+286.739778996 3850 0.964693
+287.557753325 3860 0.965569
+288.368271112 3870 0.967113
+289.187758446 3880 0.968699
+289.995770454 3890 0.972163
+290.804262877 3900 0.973206
+291.624260902 3910 0.977797
+292.431761026 3920 0.979926
+293.238341331 3930 0.982722
+294.047770262 3940 0.984183
+294.867759943 3950 0.986645
+295.685767889 3960 0.992863
+296.493748903 3970 0.992154
+297.303755045 3980 0.99662
+298.110278845 3990 0.996661
+298.91977334 4000 1