Automatic commit. Thu Oct 4 12:00:03 WST 2012

[matches/honours.git] / research / TCS / 2012-10-03 / 184528.dat.p

diff --git a/research/TCS/2012-10-03/184528.dat.p b/research/TCS/2012-10-03/184528.dat.p
new file mode 100644 (file)
index 0000000..5ce1320
--- /dev/null
+++ b/research/TCS/2012-10-03/184528.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53430342674 0 0
+3.17314195633 10 0
+3.80912828445 20 0
+4.4471654892 30 0
+5.07715320587 40 0
+5.7136554718 50 0
+6.3531498909 60 0
+6.99166297913 70 0
+7.62016773224 80 0
+8.24766230583 90 0
+8.8931479454 100 0
+9.52963495255 110 0
+10.1696372032 120 0
+10.8076634407 130 0
+11.4451498985 140 0
+12.0831599236 150 0
+12.7211523056 160 0
+13.3591604233 170 0
+14.0001473427 180 0
+14.6376600266 190 0
+15.2776324749 200 0
+15.9236652851 210 0
+16.5651364326 220 0
+17.2061395645 230 0
+17.8496642113 240 0
+18.4876554012 250 0
+19.1296410561 260 0
+19.7696452141 270 0
+20.403690815 280 0
+21.0456428528 290 0
+21.6836583614 300 0
+22.3211579323 310 0
+22.9621562958 320 0
+23.6096494198 330 0
+24.2571430206 340 0
+24.8956613541 350 0
+25.5371403694 360 0
+26.1796355247 370 0
+26.8196613789 380 0
+27.4611403942 390 0
+28.1021428108 400 0
+28.7476458549 410 0
+29.3856425285 420 0
+30.0251419544 430 0
+30.6651434898 440 0
+31.3156993389 450 0
+31.9611403942 460 0
+32.6091475487 470 0
+33.2471544743 480 0
+33.8851337433 490 0
+34.5331535339 500 0
+35.1716468334 510 0
+35.8116419315 520 0
+36.4511663914 530 0
+37.0927689075 540 0
+37.735155344 550 0
+38.375641346 560 0
+39.0136244297 570 0
+39.6616322994 580 0
+40.3011343479 590 0
+40.9491400719 600 0
+41.5976474285 610 0
+42.2436642647 620 0
+42.8851308823 630 0
+43.5312547684 640 0
+44.1736450195 650 0
+44.8196458817 660 0
+45.4571573734 670 0
+46.0971374512 680 0
+46.7431533337 690 0
+47.3831489086 700 0
+48.0196564198 710 0
+48.6551764011 720 0
+49.2956564426 730 0
+49.9351434708 740 0
+50.5716683865 750 0
+51.2131454945 760 0
+51.8596608639 770 0
+52.4996414185 780 0
+53.1371414661 790 0
+53.7781615257 800 0
+54.4231684208 810 0
+55.0656323433 820 0
+55.7136313915 830 0
+56.3591558933 840 0
+56.9991488457 850 0
+57.6376419067 860 0
+58.2836618423 870 0
+58.9232172966 880 0
+59.5631508827 890 0
+60.213629961 900 0
+60.8596549034 910 0
+61.4996342659 920 0
+62.1456503868 930 0
+62.7931628227 940 0
+63.4316613674 950 0
+64.0736384392 960 0
+64.720164299 970 0
+65.3591403961 980 0
+65.9956669807 990 0
+66.6491384506 1000 0
+67.2951507568 1010 0
+67.9451808929 1020 0
+68.5931444168 1030 0
+69.2391672134 1040 0
+69.8896453381 1050 0
+70.5396604538 1060 0
+71.1871569157 1070 0
+71.8376398087 1080 0
+72.4831552505 1090 0
+73.1331548691 1100 0
+73.7811722755 1110 0
+74.427157402 1120 0
+75.0811488628 1130 0
+75.7391924858 1140 0
+76.3836624622 1150 0
+77.0311613083 1160 0
+77.6836533546 1170 0
+78.3336284161 1180 0
+78.9871606827 1190 0
+79.6356709003 1200 0
+80.2851483822 1210 0
+80.9371476173 1220 0
+81.583668232 1230 0
+82.2316479683 1240 0
+82.881162405 1250 0
+83.5291478634 1260 0
+84.1761507988 1270 0
+84.8251514435 1280 0
+85.4731531143 1290 0
+86.123149395 1300 0
+86.7736978531 1310 0
+87.4196519852 1320 0
+88.0691432953 1330 0
+88.7176375389 1340 0
+89.3656368256 1350 0
+90.0131504536 1360 0
+90.6711554527 1370 0
+91.3221483231 1380 0
+91.9696450233 1390 0
+92.6151533127 1400 0
+93.2651634216 1410 0
+93.9116704464 1420 0
+94.5656428337 1430 0
+95.2211303711 1440 0
+95.8671634197 1450 0
+96.5152692795 1460 0
+97.1651554108 1470 0
+97.8133468628 1480 0
+98.4616658688 1490 0
+99.1116433144 1500 0
+99.7617454529 1510 0
+100.409148932 1520 0
+101.05513382 1530 0
+101.705653191 1540 0
+102.353162289 1550 0
+103.061145306 1560 0.000582326
+103.83017087 1570 0.000727908
+104.603132725 1580 0.00390159
+105.383155346 1590 0.00911341
+106.171153545 1600 0.0159849
+106.951146603 1610 0.0218372
+107.739138365 1620 0.0284758
+108.527144432 1630 0.0353763
+109.317631483 1640 0.0419566
+110.1056633 1650 0.0502548
+110.893641949 1660 0.0586112
+111.677151442 1670 0.0692968
+112.459165812 1680 0.0767215
+113.247141361 1690 0.085602
+114.03766346 1700 0.0954433
+114.825648308 1710 0.107439
+115.613135338 1720 0.11533
+116.399158001 1730 0.125666
+117.183773041 1740 0.135012
+117.963146925 1750 0.144825
+118.751736879 1760 0.155947
+119.539156914 1770 0.165439
+120.329137802 1780 0.175338
+121.117651463 1790 0.186636
+121.903152943 1800 0.199156
+122.693149328 1810 0.210598
+123.481152058 1820 0.219741
+124.269145966 1830 0.231882
+125.057150364 1840 0.245014
+125.845143795 1850 0.255758
+126.633150816 1860 0.269559
+127.419287443 1870 0.280565
+128.209154844 1880 0.292619
+129.001142979 1890 0.306682
+129.786174297 1900 0.317805
+130.577143908 1910 0.334022
+131.365140438 1920 0.347387
+132.151652813 1930 0.364565
+132.943653584 1940 0.3832
+133.739647388 1950 0.400699
+134.537662506 1960 0.417353
+135.337147236 1970 0.435376
+136.137135983 1980 0.453923
+136.931673527 1990 0.470054
+137.721144199 2000 0.484175
+138.521156788 2010 0.497278
+139.317765713 2020 0.5084
+140.115156412 2030 0.517484
+140.913155317 2040 0.525928
+141.715653896 2050 0.532363
+142.515142441 2060 0.53839
+143.317662239 2070 0.54532
+144.117149353 2080 0.551492
+144.915165901 2090 0.558305
+145.723148346 2100 0.563663
+146.531148911 2110 0.570447
+147.340167522 2120 0.576445
+148.139160395 2130 0.580114
+148.947659492 2140 0.584685
+149.755145073 2150 0.590071
+150.551147461 2160 0.595691
+151.361145973 2170 0.600087
+152.171131372 2180 0.604833
+152.96765852 2190 0.611268
+153.775156498 2200 0.61581
+154.583671331 2210 0.622361
+155.391144276 2220 0.624953
+156.19926095 2230 0.629873
+157.007162571 2240 0.632377
+157.807146072 2250 0.637182
+158.615165234 2260 0.641782
+159.424171448 2270 0.645567
+160.231147289 2280 0.650371
+161.039141417 2290 0.655991
+161.844277859 2300 0.658757
+162.641159058 2310 0.663852
+163.443139553 2320 0.667055
+164.249691486 2330 0.669967
+165.059645891 2340 0.674101
+165.867142916 2350 0.676547
+166.675188541 2360 0.679924
+167.483150482 2370 0.682428
+168.291144371 2380 0.68502
+169.099146843 2390 0.689795
+169.907176971 2400 0.6916
+170.715159893 2410 0.695239
+171.523146868 2420 0.698559
+172.331149101 2430 0.698588
+173.127650738 2440 0.701441
+173.933664799 2450 0.70313
+174.743206978 2460 0.705488
+175.551646948 2470 0.707323
+176.359164715 2480 0.707876
+177.165150881 2490 0.709506
+177.965662479 2500 0.710147
+178.775138855 2510 0.709681
+179.58513546 2520 0.71137
+180.391142845 2530 0.710438
+181.202131748 2540 0.71105
+182.009141922 2550 0.710322
+182.81564784 2560 0.711748
+183.623145342 2570 0.71137
+184.433641434 2580 0.711108
+185.239136219 2590 0.71169
+186.047621489 2600 0.712243
+186.855161428 2610 0.713932
+187.663148403 2620 0.714573
+188.473141193 2630 0.714893
+189.2791574 2640 0.714835
+190.087141037 2650 0.715621
+190.895648003 2660 0.715126
+191.702279568 2670 0.715039
+192.511150837 2680 0.714223
+193.319142818 2690 0.71597
+194.119140387 2700 0.71367
+194.9276371 2710 0.712942
+195.73515892 2720 0.713088
+196.539287329 2730 0.712768
+197.351737976 2740 0.712185
+198.156157017 2750 0.712593
+198.967657328 2760 0.711224
+199.771682262 2770 0.711545
+200.583142281 2780 0.711108
+201.391651392 2790 0.70971
+202.199136257 2800 0.710322
+202.997111797 2810 0.709186
+203.805149078 2820 0.709099
+204.613639355 2830 0.709361
+205.419671535 2840 0.709274
+206.231142521 2850 0.710846
+207.03715086 2860 0.710933
+207.84415102 2870 0.711341
+208.653623819 2880 0.711865
+209.461139917 2890 0.712127
+210.269153833 2900 0.713816
+211.077191353 2910 0.715592
+211.88514328 2920 0.717688
+212.693646431 2930 0.71862
+213.501135349 2940 0.719872
+214.30714488 2950 0.721823
+215.107152939 2960 0.723133
+215.915152311 2970 0.725666
+216.723164082 2980 0.730528
+217.531676292 2990 0.729597
+218.333143234 3000 0.731111
+219.143167973 3010 0.734867
+219.951132774 3020 0.736206
+220.767666817 3030 0.739438
+221.57514143 3040 0.741243
+222.395142794 3050 0.744097
+223.213666439 3060 0.748202
+224.037146091 3070 0.752657
+224.863152027 3080 0.75519
+225.691159725 3090 0.758771
+226.519154549 3100 0.762149
+227.34964323 3110 0.765148
+228.177632809 3120 0.769108
+229.007151842 3130 0.775601
+229.835140705 3140 0.779619
+230.663611889 3150 0.784423
+231.497165203 3160 0.788208
+232.329134464 3170 0.793041
+233.158151388 3180 0.797001
+233.98513937 3190 0.80166
+234.813642502 3200 0.805503
+235.641163826 3210 0.810365
+236.465668917 3220 0.815665
+237.297148705 3230 0.819391
+238.123651981 3240 0.825157
+238.953649521 3250 0.827661
+239.779151917 3260 0.834765
+240.609139919 3270 0.836628
+241.433887482 3280 0.840472
+242.265151978 3290 0.844286
+243.091144562 3300 0.847634
+243.91766119 3310 0.850954
+244.746180058 3320 0.854185
+245.577138424 3330 0.857941
+246.400152922 3340 0.862134
+247.233136892 3350 0.865774
+248.061139345 3360 0.870025
+248.889149666 3370 0.872296
+249.715137959 3380 0.877275
+250.545143843 3390 0.879953
+251.373137474 3400 0.882778
+252.201150894 3410 0.886068
+253.029136419 3420 0.888805
+253.8571558 3430 0.89291
+254.685632229 3440 0.895239
+255.515142441 3450 0.897219
+256.34114027 3460 0.89952
+257.16964674 3470 0.904935
+257.997279406 3480 0.905343
+258.827148914 3490 0.906915
+259.655152798 3500 0.909477
+260.481663465 3510 0.912273
+261.311150551 3520 0.913495
+262.139148951 3530 0.915388
+262.967161417 3540 0.916494
+263.804121494 3550 0.918562
+264.631145477 3560 0.920483
+265.45915556 3570 0.922085
+266.287652016 3580 0.924268
+267.113153458 3590 0.928519
+267.945158005 3600 0.927559
+268.773659229 3610 0.928257
+269.603655815 3620 0.93082
+270.437654495 3630 0.932887
+271.265130281 3640 0.934954
+272.093150854 3650 0.936352
+272.923661232 3660 0.937982
+273.749147415 3670 0.939584
+274.575298786 3680 0.942088
+275.405151844 3690 0.943019
+276.233656883 3700 0.944446
+277.061158895 3710 0.945436
+277.889170885 3720 0.946717
+278.715165854 3730 0.948755
+279.549151421 3740 0.950881
+280.373207808 3750 0.952861
+281.205142021 3760 0.955889
+282.033150196 3770 0.957199
+282.861641407 3780 0.959557
+283.689151287 3790 0.960664
+284.515152454 3800 0.962353
+285.343659878 3810 0.964449
+286.169658899 3820 0.966196
+287.001143456 3830 0.968321
+287.829660416 3840 0.970622
+288.659133434 3850 0.972456
+289.493155956 3860 0.974261
+290.32115984 3870 0.976241
+291.149673939 3880 0.978716
+291.991635323 3890 0.979735
+292.817142963 3900 0.982326
+293.642774582 3910 0.985879
+294.473775864 3920 0.985646
+295.303657055 3930 0.987655
+296.139651299 3940 0.988848
+296.967628479 3950 0.991207
+297.79565239 3960 0.99342
+298.621158361 3970 0.99473
+299.441147804 3980 0.996186
+300.27115345 3990 0.998195
+301.109159946 4000 1