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

[matches/honours.git] / research / TCS / 2012-10-02 / 182406.dat.p

diff --git a/research/TCS/2012-10-02/182406.dat.p b/research/TCS/2012-10-02/182406.dat.p
new file mode 100644 (file)
index 0000000..54d4d66
--- /dev/null
+++ b/research/TCS/2012-10-02/182406.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52593851089 0 0
+3.16281723976 10 0
+3.80278491974 20 0
+4.44183945656 30 0
+5.07879853249 40 0
+5.70679998398 50 0
+6.33486652374 60 0
+6.96680545807 70 0
+7.6028034687 80 0
+8.23478603363 90 0
+8.87480354309 100 0
+9.51480412483 110 0
+10.1508228779 120 0
+10.7913033962 130 0
+11.4308121204 140 0
+12.0717952251 150 0
+12.7067990303 160 0
+13.3467891216 170 0
+13.9833135605 180 0
+14.6228044033 190 0
+15.2627885342 200 0
+15.9028103352 210 0
+16.5427920818 220 0
+17.1827933788 230 0
+17.8187894821 240 0
+18.4588000774 250 0
+19.0958075523 260 0
+19.7348144054 270 0
+20.3748090267 280 0
+21.0148129463 290 0
+21.6547925472 300 0
+22.2908000946 310 0
+22.9307980537 320 0
+23.5707943439 330 0
+24.2092850208 340 0
+24.8468196392 350 0
+25.4867870808 360 0
+26.1233050823 370 0
+26.765286684 380 0
+27.4027984142 390 0
+28.0388028622 400 0
+28.6812961102 410 0
+29.3187980652 420 0
+29.95479846 430 0
+30.5947959423 440 0
+31.2385995388 450 0
+31.8838045597 460 0
+32.5228004456 470 0
+33.1628072262 480 0
+33.7987949848 490 0
+34.4388005733 500 0
+35.0788052082 510 0
+35.7148680687 520 0
+36.3548076153 530 0
+36.9947879314 540 0
+37.6308066845 550 0
+38.2707970142 560 0
+38.9132869244 570 0
+39.5507895947 580 0
+40.1907994747 590 0
+40.8268101215 600 0
+41.4692900181 610 0
+42.1067845821 620 0
+42.7492854595 630 0
+43.3977885246 640 0
+44.0428016186 650 0
+44.6827843189 660 0
+45.3227908611 670 0
+45.9627945423 680 0
+46.5988066196 690 0
+47.2388656139 700 0
+47.8787939548 710 0
+48.5188004971 720 0
+49.1548154354 730 0
+49.7947976589 740 0
+50.4347984791 750 0
+51.0748035908 760 0
+51.7108061314 770 0
+52.350810051 780 0
+52.9907958508 790 0
+53.6332859993 800 0
+54.2787995338 810 0
+54.9187676907 820 0
+55.5548074245 830 0
+56.1948056221 840 0
+56.8347980976 850 0
+57.4757809639 860 0
+58.1113035679 870 0
+58.7508089542 880 0
+59.3907930851 890 0
+60.0332870483 900 0
+60.6787893772 910 0
+61.3148086071 920 0
+61.9548060894 930 0
+62.5947980881 940 0
+63.2352020741 950 0
+63.870821476 960 0
+64.5108025074 970 0
+65.1508045197 980 0
+65.7868058681 990 0
+66.4292881489 1000 0
+67.0788040161 1010 0
+67.7267930508 1020 0
+68.3748025894 1030 0
+69.0227925777 1040 0
+69.6708025932 1050 0
+70.3252735138 1060 0
+70.9708125591 1070 0
+71.6187980175 1080 0
+72.2668125629 1090 0
+72.914814949 1100 0
+73.566801548 1110 0
+74.2177846432 1120 0
+74.8627951145 1130 0
+75.5117976665 1140 0
+76.1612985134 1150 0
+76.8068397045 1160 0
+77.4587996006 1170 0
+78.1068046093 1180 0
+78.7548105717 1190 0
+79.4052846432 1200 0
+80.0508563519 1210 0
+80.7019529343 1220 0
+81.3508045673 1230 0
+81.9987976551 1240 0
+82.6468060017 1250 0
+83.2947876453 1260 0
+83.9438111782 1270 0
+84.5932786465 1280 0
+85.2472751141 1290 0
+85.8988111019 1300 0
+86.5507819653 1310 0
+87.1988120079 1320 0
+87.8468334675 1330 0
+88.4972760677 1340 0
+89.1428086758 1350 0
+89.794788599 1360 0
+90.4412891865 1370 0
+91.0932824612 1380 0
+91.7388021946 1390 0
+92.387298584 1400 0
+93.0349435806 1410 0
+93.6828129292 1420 0
+94.3377707005 1430 0
+94.9908182621 1440 0
+95.6388144493 1450 0
+96.2873151302 1460 0
+96.9387965202 1470 0
+97.5868589878 1480 0
+98.2347991467 1490 0
+98.882825613 1500 0
+99.5308139324 1510 0
+100.182799578 1520 0
+100.83328557 1530 0
+101.512798071 1540 0
+102.2567904 1550 0.000808625
+103.030791521 1560 0.00424528
+103.808815241 1570 0.0107817
+104.58881402 1580 0.0165431
+105.368803024 1590 0.0245283
+106.144807577 1600 0.0320081
+106.924801111 1610 0.0398922
+107.702808619 1620 0.0479447
+108.482815981 1630 0.0561995
+109.270789385 1640 0.0660377
+110.048303366 1650 0.0744609
+110.826794386 1660 0.0842318
+111.622792006 1670 0.0943396
+112.408792496 1680 0.105425
+113.193304062 1690 0.116712
+113.984789133 1700 0.126853
+114.770799398 1710 0.138949
+115.558799028 1720 0.151381
+116.346814394 1730 0.162904
+117.133304596 1740 0.173956
+117.914803505 1750 0.185849
+118.702804327 1760 0.196125
+119.490800619 1770 0.207547
+120.282795668 1780 0.217958
+121.068813562 1790 0.228807
+121.854797602 1800 0.244609
+122.636786461 1810 0.255863
+123.424799442 1820 0.268733
+124.21279788 1830 0.282177
+124.998822927 1840 0.297844
+125.790794611 1850 0.311557
+126.581791639 1860 0.324495
+127.371288061 1870 0.339185
+128.164813995 1880 0.354784
+128.959303141 1890 0.371024
+129.753340483 1900 0.387399
+130.542794466 1910 0.403774
+131.330849886 1920 0.421698
+132.121309519 1930 0.439926
+132.921291113 1940 0.45876
+133.720797539 1950 0.476415
+134.521295071 1960 0.492453
+135.315306425 1970 0.50502
+136.116798639 1980 0.517554
+136.916793108 1990 0.527931
+137.712814093 2000 0.536658
+138.512799501 2010 0.543902
+139.308813095 2020 0.551887
+140.110784531 2030 0.556806
+140.907320976 2040 0.561995
+141.706799507 2050 0.568295
+142.506792545 2060 0.574057
+143.30280304 2070 0.579953
+144.102792978 2080 0.586759
+144.899317026 2090 0.592183
+145.698801517 2100 0.598821
+146.496808529 2110 0.605222
+147.294797659 2120 0.609164
+148.094777107 2130 0.613713
+148.89479804 2140 0.618699
+149.699331999 2150 0.62281
+150.4988029 2160 0.628841
+151.306782484 2170 0.631402
+152.106802702 2180 0.638174
+152.906798124 2190 0.643059
+153.715296507 2200 0.647911
+154.520798922 2210 0.654313
+155.318798542 2220 0.658929
+156.119296551 2230 0.661995
+156.926779509 2240 0.666341
+157.735326529 2250 0.670451
+158.542800188 2260 0.673753
+159.343305349 2270 0.679818
+160.151297569 2280 0.683255
+160.959481478 2290 0.686961
+161.766795874 2300 0.693733
+162.566803217 2310 0.695249
+163.37477994 2320 0.698619
+164.180802584 2330 0.702055
+164.981909513 2340 0.705627
+165.790794611 2350 0.710478
+166.596817017 2360 0.713174
+167.394808531 2370 0.715195
+168.202833414 2380 0.717487
+169.003318071 2390 0.71971
+169.809302568 2400 0.723046
+170.610793591 2410 0.722642
+171.407275915 2420 0.72473
+172.215308428 2430 0.716644
+173.015302896 2440 0.722406
+173.823310137 2450 0.723113
+174.630797625 2460 0.725505
+175.43931222 2470 0.726617
+176.246814489 2480 0.727089
+177.055296183 2490 0.729414
+177.863312483 2500 0.73221
+178.673288584 2510 0.734434
+179.490800619 2520 0.733019
+180.299297094 2530 0.733491
+181.107308626 2540 0.733389
+181.906790495 2550 0.737197
+182.714820147 2560 0.733794
+183.523303032 2570 0.734097
+184.33328104 2580 0.733861
+185.138780832 2590 0.732884
+185.946811914 2600 0.733693
+186.754806757 2610 0.733086
+187.562811613 2620 0.733086
+188.362802505 2630 0.731873
+189.170789957 2640 0.730627
+189.978791475 2650 0.729414
+190.784828424 2660 0.729953
+191.586786985 2670 0.728336
+192.39279151 2680 0.730121
+193.190809011 2690 0.728201
+193.990805387 2700 0.726853
+194.799289942 2710 0.726752
+195.60530448 2720 0.725876
+196.414807558 2730 0.725842
+197.222785473 2740 0.723383
+198.030796528 2750 0.723619
+198.830794573 2760 0.72409
+199.628801107 2770 0.725067
+200.424792051 2780 0.723956
+201.224792004 2790 0.723113
+202.033292532 2800 0.72372
+202.83280015 2810 0.722675
+203.639792681 2820 0.722675
+204.438788652 2830 0.723787
+205.244814157 2840 0.725708
+206.052800417 2850 0.727089
+206.852803469 2860 0.728875
+207.646799803 2870 0.733154
+208.440781355 2880 0.732951
+209.236804008 2890 0.734131
+210.037286997 2900 0.735681
+210.832804918 2910 0.735984
+211.633306503 2920 0.739757
+212.430793047 2930 0.741914
+213.226805449 2940 0.743632
+214.02878356 2950 0.746833
+214.83678937 2960 0.748652
+215.635293245 2970 0.752561
+216.431311131 2980 0.755357
+217.238806009 2990 0.759434
+218.041302443 3000 0.76223
+218.840780973 3010 0.766038
+219.637306452 3020 0.768598
+220.433314562 3030 0.773147
+221.230822086 3040 0.777022
+222.0327847 3050 0.779178
+222.84079814 3060 0.782985
+223.641286135 3070 0.786691
+224.446866035 3080 0.790735
+225.254800558 3090 0.796833
+226.057291031 3100 0.800337
+226.859308004 3110 0.803639
+227.661292076 3120 0.809131
+228.460803509 3130 0.813443
+229.267304659 3140 0.816779
+230.062806129 3150 0.821058
+230.862795115 3160 0.825472
+231.661296606 3170 0.830323
+232.461293459 3180 0.833659
+233.268792391 3190 0.83686
+234.066787004 3200 0.841206
+234.879786491 3210 0.845553
+235.687302828 3220 0.850404
+236.499292135 3230 0.854481
+237.314792395 3240 0.857749
+238.136803389 3250 0.861557
+238.956812143 3260 0.865162
+239.784810066 3270 0.868969
+240.612814188 3280 0.871934
+241.440818071 3290 0.874798
+242.270808935 3300 0.877257
+243.104781389 3310 0.880391
+243.938801527 3320 0.882581
+244.76879859 3330 0.886456
+245.60879755 3340 0.890836
+246.44879055 3350 0.893194
+247.273308992 3360 0.894474
+248.105300426 3370 0.896597
+248.941283941 3380 0.898214
+249.785310984 3390 0.900809
+250.629282713 3400 0.902493
+251.464808941 3410 0.904549
+252.304799318 3420 0.905559
+253.140803099 3430 0.905593
+253.971308947 3440 0.906301
+254.807296515 3450 0.90903
+255.636795521 3460 0.908389
+256.472821474 3470 0.908996
+257.304786921 3480 0.910714
+258.140810251 3490 0.910243
+258.980783701 3500 0.910782
+259.817804575 3510 0.911961
+260.65529418 3520 0.916105
+261.490805864 3530 0.914117
+262.320800543 3540 0.915532
+263.151298523 3550 0.916375
+263.988811016 3560 0.917318
+264.824817896 3570 0.918329
+265.665290117 3580 0.920721
+266.498814344 3590 0.922709
+267.328808069 3600 0.92591
+268.168797016 3610 0.926011
+268.994806051 3620 0.927628
+269.824794531 3630 0.929885
+270.652813196 3640 0.931604
+271.493285894 3650 0.932547
+272.328797102 3660 0.934771
+273.15730691 3670 0.935984
+273.984819174 3680 0.937433
+274.810814142 3690 0.93905
+275.641305447 3700 0.940566
+276.473281622 3710 0.942621
+277.309296846 3720 0.944778
+278.149278402 3730 0.947102
+278.984808207 3740 0.94936
+279.825299978 3750 0.949663
+280.660796881 3760 0.951482
+281.498793364 3770 0.953942
+282.326811075 3780 0.956065
+283.164809465 3790 0.957581
+284.002798319 3800 0.959198
+284.840816021 3810 0.96058
+285.677302599 3820 0.966644
+286.507310629 3830 0.96624
+287.342820883 3840 0.96843
+288.182814837 3850 0.970317
+289.018819094 3860 0.972675
+289.846823931 3870 0.975
+290.677798986 3880 0.980121
+291.507810116 3890 0.979043
+292.336805105 3900 0.980357
+293.170805454 3910 0.982749
+293.996801615 3920 0.985849
+294.828803539 3930 0.987129
+295.655315161 3940 0.989454
+296.483304024 3950 0.99188
+297.31329608 3960 0.994272
+298.141317129 3970 0.995889
+298.971298456 3980 0.997743
+299.806794405 3990 0.999865
+300.634804487 4000 1