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

[matches/honours.git] / research / TCS / 2012-09-28 / 124744.dat.p

diff --git a/research/TCS/2012-09-28/124744.dat.p b/research/TCS/2012-09-28/124744.dat.p
new file mode 100644 (file)
index 0000000..dd474d5
--- /dev/null
+++ b/research/TCS/2012-09-28/124744.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53233408928 0 0
+3.1696999073 10 0
+3.79920077324 20 0
+4.43720698357 30 0
+5.06523919106 40 0
+5.69722533226 50 0
+6.32518839836 60 0
+6.95568752289 70 0
+7.59519290924 80 0
+8.2352001667 90 0
+8.87720131874 100 0
+9.51522040367 110 0
+10.1532423496 120 0
+10.7951929569 130 0
+11.4352004528 140 0
+12.0731790066 150 0
+12.7112259865 160 0
+13.3511869907 170 0
+13.9897053242 180 0
+14.6292459965 190 0
+15.2692315578 200 0
+15.9111759663 210 0
+16.5492115021 220 0
+17.1852166653 230 0
+17.8252065182 240 0
+18.4671754837 250 0
+19.1037299633 260 0
+19.7431919575 270 0
+20.38118577 280 0
+21.0212340355 290 0
+21.6612260342 300 0
+22.3036909103 310 0
+22.9492380619 320 0
+23.5892150402 330 0
+24.2272224426 340 0
+24.86718297 350 0
+25.5057003498 360 0
+26.147185564 370 0
+26.7871835232 380 0
+27.4252228737 390 0
+28.065687418 400 0
+28.7017040253 410 0
+29.3412234783 420 0
+29.981208086 430 0
+30.6231734753 440 0
+31.2692115307 450 0
+31.9116814137 460 0
+32.54723382 470 0
+33.1872274876 480 0
+33.8276844025 490 0
+34.4671859741 500 0
+35.1057083607 510 0
+35.7471954823 520 0
+36.3936760426 530 0
+37.0351803303 540 0
+37.6816995144 550 0
+38.3211958408 560 0
+38.9612104893 570 0
+39.6012275219 580 0
+40.239192009 590 0
+40.8771989346 600 0
+41.5196750164 610 0
+42.167191267 620 0
+42.8191945553 630 0
+43.4652225971 640 0
+44.1017274857 650 0
+44.7412183285 660 0
+45.3817059994 670 0
+46.0232040882 680 0
+46.669230938 690 0
+47.308754921 700 0
+47.9491784573 710 0
+48.5876994133 720 0
+49.2296915054 730 0
+49.8772065639 740 0
+50.5182158947 750 0
+51.155185461 760 0
+51.793204546 770 0
+52.435182333 780 0
+53.0812933445 790 0
+53.7231934071 800 0
+54.3711955547 810 0
+55.009691 820 0
+55.6511895657 830 0
+56.2972199917 840 0
+56.9396903515 850 0
+57.5852169991 860 0
+58.2261779308 870 0
+58.8671998978 880 0
+59.513215065 890 0
+60.1532170773 900 0
+60.7932219505 910 0
+61.4332280159 920 0
+62.0691888332 930 0
+62.7111859322 940 0
+63.3596909046 950 0
+63.9972045422 960 0
+64.6372380257 970 0
+65.2772254944 980 0
+65.9172155857 990 0
+66.5691905022 1000 0
+67.2176845074 1010 0
+67.8711769581 1020 0
+68.5191791058 1030 0
+69.1656980515 1040 0
+69.813696146 1050 0
+70.465691328 1060 0
+71.1152560711 1070 0
+71.7671759129 1080 0
+72.4151775837 1090 0
+73.0611994267 1100 0
+73.7116830349 1110 0
+74.3631765842 1120 0
+75.0092039108 1130 0
+75.6591954231 1140 0
+76.3077123165 1150 0
+76.9597985744 1160 0
+77.6071922779 1170 0
+78.2532303333 1180 0
+78.9071779251 1190 0
+79.5537109375 1200 0
+80.2071759701 1210 0
+80.8551766872 1220 0
+81.5012254715 1230 0
+82.1551795006 1240 0
+82.8096935749 1250 0
+83.4572370052 1260 0
+84.1097118855 1270 0
+84.7572028637 1280 0
+85.4057223797 1290 0
+86.0591964722 1300 0
+86.7071940899 1310 0
+87.3591730595 1320 0
+88.0051910877 1330 0
+88.6556923389 1340 0
+89.3071830273 1350 0
+89.9532210827 1360 0
+90.6031811237 1370 0
+91.2531955242 1380 0
+91.9036819935 1390 0
+92.5511772633 1400 0
+93.2036793232 1410 0
+93.8516705036 1420 0
+94.5091898441 1430 0
+95.1591844559 1440 0
+95.817186594 1450 0
+96.4671723843 1460 0
+97.1137094498 1470 0
+97.7656943798 1480 0
+98.4156959057 1490 0
+99.0611999035 1500 0
+99.7136900425 1510 0
+100.361708879 1520 0
+101.011195421 1530 0
+101.663686037 1540 0
+102.317245007 1550 0
+102.971176386 1560 0
+103.619687557 1570 0
+104.317193031 1580 0.000453721
+105.071748018 1590 0.000499093
+105.843190908 1600 0.00381125
+106.629709959 1610 0.00980036
+107.413674593 1620 0.01951
+108.199203968 1630 0.0263612
+108.975717783 1640 0.03902
+109.757185459 1650 0.0452813
+110.537187815 1660 0.0555808
+111.327183485 1670 0.067559
+112.115222931 1680 0.0789474
+112.905702829 1690 0.0906534
+113.693193913 1700 0.102858
+114.487681627 1710 0.116515
+115.273205996 1720 0.129855
+116.063211918 1730 0.141969
+116.851188421 1740 0.157441
+117.643695593 1750 0.167241
+118.429193497 1760 0.17922
+119.219189882 1770 0.191606
+120.00819993 1780 0.203539
+120.799178839 1790 0.216969
+121.587190866 1800 0.23108
+122.375214815 1810 0.247005
+123.163702011 1820 0.260254
+123.955689669 1830 0.276044
+124.745204926 1840 0.291289
+125.533189058 1850 0.307033
+126.320186853 1860 0.323503
+127.113183498 1870 0.338884
+127.911700487 1880 0.355808
+128.699194431 1890 0.373367
+129.487198591 1900 0.390971
+130.275192499 1910 0.409392
+131.069177866 1920 0.427904
+131.865192413 1930 0.446416
+132.657684565 1940 0.465517
+133.459177494 1950 0.482668
+134.25319314 1960 0.49696
+135.043675423 1970 0.50912
+135.843206167 1980 0.518557
+136.641175508 1990 0.529946
+137.439234972 2000 0.533303
+138.241199493 2010 0.536887
+139.039241076 2020 0.541289
+139.839203119 2030 0.545372
+140.639190912 2040 0.546915
+141.441176414 2050 0.553358
+142.247174501 2060 0.556942
+143.045700312 2070 0.564428
+143.845195532 2080 0.56892
+144.64317441 2090 0.574864
+145.447696924 2100 0.581352
+146.255200624 2110 0.586343
+147.061703444 2120 0.591969
+147.861717463 2130 0.597459
+148.661190033 2140 0.601815
+149.463180304 2150 0.607305
+150.26969409 2160 0.614065
+151.077201605 2170 0.61833
+151.87967658 2180 0.623049
+152.68519187 2190 0.629038
+153.485203028 2200 0.637296
+154.28717494 2210 0.643466
+155.093713999 2220 0.650318
+155.903188944 2230 0.656806
+156.711683035 2240 0.664383
+157.521184921 2250 0.668966
+158.329707861 2260 0.675454
+159.13719964 2270 0.681851
+159.939705133 2280 0.688838
+160.745201826 2290 0.69578
+161.545173883 2300 0.701407
+162.353188038 2310 0.708621
+163.154189348 2320 0.712976
+163.967735052 2330 0.722731
+164.773180485 2340 0.729537
+165.579696894 2350 0.736842
+166.381182909 2360 0.742786
+167.189194441 2370 0.749592
+167.989185572 2380 0.753085
+168.795203447 2390 0.763158
+169.599176884 2400 0.768875
+170.405701876 2410 0.776633
+171.213715315 2420 0.781397
+172.011699438 2430 0.787613
+172.81319499 2440 0.792287
+173.621703863 2450 0.799093
+174.435177088 2460 0.806171
+175.241187334 2470 0.809347
+176.051239491 2480 0.814791
+176.857202291 2490 0.819918
+177.667186022 2500 0.824819
+178.479686975 2510 0.828312
+179.285701513 2520 0.831397
+180.09519887 2530 0.833893
+180.901197433 2540 0.837568
+181.701196909 2550 0.838748
+182.503190756 2560 0.839882
+183.311188459 2570 0.841243
+184.119190931 2580 0.842786
+184.931701899 2590 0.843466
+185.737193823 2600 0.844374
+186.547687054 2610 0.843739
+187.35521102 2620 0.842786
+188.167190075 2630 0.842332
+188.973175526 2640 0.840608
+189.781219006 2650 0.842105
+190.591198921 2660 0.838203
+191.399705887 2670 0.836797
+192.211192369 2680 0.834619
+193.019179106 2690 0.834392
+193.827689886 2700 0.832214
+194.635205507 2710 0.830082
+195.445699453 2720 0.828494
+196.253184557 2730 0.827813
+197.053756475 2740 0.827223
+197.863682508 2750 0.82373
+198.6717031 2760 0.823775
+199.479192495 2770 0.823503
+200.2936759 2780 0.820508
+201.09969449 2790 0.819238
+201.905692339 2800 0.817786
+202.707691908 2810 0.816515
+203.513193369 2820 0.816425
+204.315207958 2830 0.816243
+205.121711493 2840 0.814655
+205.921197414 2850 0.816062
+206.729188442 2860 0.816289
+207.531682014 2870 0.81647
+208.337197065 2880 0.816561
+209.13518405 2890 0.817604
+209.937183142 2900 0.818512
+210.74319911 2910 0.819419
+211.55768609 2920 0.816606
+212.941239595 2930 0.815064
+213.753180504 2940 0.816606
+214.559708357 2950 0.818013
+215.367187977 2960 0.818285
+216.169708967 2970 0.818739
+216.977192163 2980 0.820417
+217.777235031 2990 0.82196
+218.585714579 3000 0.82323
+219.393688917 3010 0.825635
+220.2056849 3020 0.826361
+221.011706114 3030 0.82922
+221.813198328 3040 0.830036
+222.631182909 3050 0.833893
+223.429694414 3060 0.833802
+224.239183903 3070 0.84029
+225.037214518 3080 0.839338
+225.849683523 3090 0.841379
+226.65519309 3100 0.845372
+227.455183983 3110 0.847368
+228.255712986 3120 0.850045
+229.061687469 3130 0.852995
+229.865182161 3140 0.859074
+230.671192884 3150 0.861252
+231.473683596 3160 0.864247
+232.279183149 3170 0.86774
+233.082171679 3180 0.875227
+233.887686014 3190 0.876452
+234.690191031 3200 0.881443
+235.495199442 3210 0.884483
+236.29519105 3220 0.892468
+237.105186939 3230 0.894828
+237.913195848 3240 0.900363
+238.725182772 3250 0.901996
+239.533689976 3260 0.907123
+240.341211081 3270 0.911706
+241.149204016 3280 0.913339
+241.949209929 3290 0.915789
+242.758211374 3300 0.916062
+243.569185495 3310 0.919964
+244.37718749 3320 0.922096
+245.185702085 3330 0.92373
+245.99569869 3340 0.924682
+246.791191816 3350 0.926951
+247.605234861 3360 0.926815
+248.423194647 3370 0.927677
+249.233197927 3380 0.92677
+250.041675329 3390 0.928312
+250.851183414 3400 0.927042
+251.659195423 3410 0.928358
+252.467201471 3420 0.928947
+253.277680635 3430 0.933757
+254.085185289 3440 0.927314
+254.895247698 3450 0.926407
+255.701285124 3460 0.927495
+256.513185501 3470 0.926225
+257.323240519 3480 0.925227
+258.141193628 3490 0.926906
+258.960176468 3500 0.926497
+259.765186548 3510 0.926543
+260.577182531 3520 0.928131
+261.387691498 3530 0.924819
+262.195199966 3540 0.926497
+263.003695488 3550 0.927995
+263.809714556 3560 0.928584
+264.623189926 3570 0.926044
+265.439195871 3580 0.928312
+266.247693539 3590 0.925454
+267.059688807 3600 0.928312
+267.869681597 3610 0.926044
+268.675199509 3620 0.928267
+269.487174034 3630 0.928358
+270.295688868 3640 0.929946
+271.115187407 3650 0.932123
+271.935176611 3660 0.934574
+272.743183851 3670 0.93294
+273.551188469 3680 0.937387
+274.369698048 3690 0.936343
+275.179708004 3700 0.937341
+275.999183893 3710 0.938158
+276.81918931 3720 0.942196
+277.635191679 3730 0.941924
+278.44769001 3740 0.942468
+279.263684988 3750 0.945735
+280.073706865 3760 0.948004
+280.884192944 3770 0.951588
+281.699196577 3780 0.951724
+282.509186029 3790 0.953539
+283.319266081 3800 0.958031
+284.127199888 3810 0.961252
+284.936205149 3820 0.961207
+285.747194529 3830 0.960844
+286.555198431 3840 0.96343
+287.363212347 3850 0.964156
+288.171681166 3860 0.967332
+288.98317647 3870 0.969283
+289.803681612 3880 0.972868
+290.611180067 3890 0.97323
+291.431187391 3900 0.974138
+292.247779608 3910 0.979855
+293.055678606 3920 0.982623
+293.867689371 3930 0.981987
+294.683196545 3940 0.986162
+295.495193481 3950 0.988385
+296.315179586 3960 0.990154
+297.131200552 3970 0.990517
+297.943186998 3980 0.991969
+298.749180079 3990 0.996552
+299.557207823 4000 1