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

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

diff --git a/research/TCS/2012-10-02/235624.dat.p b/research/TCS/2012-10-02/235624.dat.p
new file mode 100644 (file)
index 0000000..53c4a33
--- /dev/null
+++ b/research/TCS/2012-10-02/235624.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52708005905 0 0
+3.16222715378 10 0
+3.78946900368 20 0
+4.42145109177 30 0
+5.05946063995 40 0
+5.69743299484 50 0
+6.32843255997 60 0
+6.96743059158 70 0
+7.60720396042 80 0
+8.24395608902 90 0
+8.88594436646 100 0
+9.52794981003 110 0
+10.1620094776 120 0
+10.8022150993 130 0
+11.4414420128 140 0
+12.0814423561 150 0
+12.7174494267 160 0
+13.3574509621 170 0
+13.9974446297 180 0
+14.6404371262 190 0
+15.2875289917 200 0
+15.9254460335 210 0
+16.5614533424 220 0
+17.2014346123 230 0
+17.841442585 240 0
+18.4774565697 250 0
+19.1174430847 260 0
+19.7574455738 270 0
+20.3974404335 280 0
+21.0334529877 290 0
+21.6754579544 300 0
+22.313439846 310 0
+22.9539413452 320 0
+23.5894634724 330 0
+24.2294590473 340 0
+24.8694374561 350 0
+25.5094544888 360 0
+26.1454539299 370 0
+26.78647089 380 0
+27.4254436493 390 0
+28.0654425621 400 0
+28.7014489174 410 0
+29.3415355682 420 0
+29.9839248657 430 0
+30.6294455528 440 0
+31.2694444656 450 0
+31.905452013 460 0
+32.5454599857 470 0
+33.1854434013 480 0
+33.8254535198 490 0
+34.4614582062 500 0
+35.1014659405 510 0
+35.7414410114 520 0
+36.3819730282 530 0
+37.0174620152 540 0
+37.6599376202 550 0
+38.2974491119 560 0
+38.9344749451 570 0
+39.5734694004 580 0
+40.2154405117 590 0
+40.8559424877 600 0
+41.5014364719 610 0
+42.1414954662 620 0
+42.7799530029 630 0
+43.4214475155 640 0
+44.0594444275 650 0
+44.6974635124 660 0
+45.3374540806 670 0
+45.9759492874 680 0
+46.6139469147 690 0
+47.2534480095 700 0
+47.8939359188 710 0
+48.5334720612 720 0
+49.1694610119 730 0
+49.81022048 740 0
+50.4494419098 750 0
+51.0894415379 760 0
+51.7254710197 770 0
+52.3654642105 780 0
+53.0054483414 790 0
+53.6454396248 800 0
+54.2839431763 810 0
+54.9214596748 820 0
+55.5614438057 830 0
+56.201444149 840 0
+56.8394405842 850 0
+57.4774515629 860 0
+58.1174545288 870 0
+58.7579455376 880 0
+59.3934514523 890 0
+60.0339541435 900 0
+60.6734457016 910 0
+61.311955452 920 0
+61.9534389973 930 0
+62.5902113914 940 0
+63.2299342155 950 0
+63.8794436455 960 0
+64.5314326286 970 0
+65.1784124374 980 0
+65.8254470825 990 0
+66.4654631615 1000 0
+67.1159558296 1010 0
+67.7654261589 1020 0
+68.4134325981 1030 0
+69.063441515 1040 0
+69.7139453888 1050 0
+70.3615064621 1060 0
+71.0094618797 1070 0
+71.6614403725 1080 0
+72.3094534874 1090 0
+72.9574475288 1100 0
+73.6057062149 1110 0
+74.2574460506 1120 0
+74.9054629803 1130 0
+75.5534656048 1140 0
+76.2059445381 1150 0
+76.8534455299 1160 0
+77.5014519691 1170 0
+78.149459362 1180 0
+78.8014478683 1190 0
+79.4494633675 1200 0
+80.0974469185 1210 0
+80.7454504967 1220 0
+81.3974440098 1230 0
+82.0454425812 1240 0
+82.6939640045 1250 0
+83.3444514275 1260 0
+83.9934465885 1270 0
+84.6414384842 1280 0
+85.2894685268 1290 0
+85.9374513626 1300 0
+86.590221405 1310 0
+87.2374475002 1320 0
+87.8859510422 1330 0
+88.5334525108 1340 0
+89.1839618683 1350 0
+89.8334510326 1360 0
+90.4814348221 1370 0
+91.131456852 1380 0
+91.7844259739 1390 0
+92.4374623299 1400 0
+93.089464426 1410 0
+93.7374796867 1420 0
+94.385440588 1430 0
+95.0334575176 1440 0
+95.6814534664 1450 0
+96.3302206993 1460 0
+96.981436491 1470 0
+97.6294455528 1480 0
+98.2779529095 1490 0
+98.9294400215 1500 0
+99.5774493217 1510 0
+100.2254529 1520 0
+100.873447895 1530 0
+101.556337357 1540 0
+102.299957037 1550 0.00106308
+103.07793498 1560 0.002764
+103.855458975 1570 0.00797307
+104.637923002 1580 0.0149185
+105.423949957 1590 0.0222183
+106.203440428 1600 0.0298724
+106.985944986 1610 0.0371013
+107.773451328 1620 0.0450744
+108.563454151 1630 0.0542877
+109.349971056 1640 0.0630404
+110.13744688 1650 0.0733168
+110.917448521 1660 0.0832743
+111.703453541 1670 0.0942594
+112.487435341 1680 0.103508
+113.276453972 1690 0.114954
+114.061444521 1700 0.126719
+114.843445539 1710 0.138129
+115.629466057 1720 0.14922
+116.417459488 1730 0.161446
+117.205985546 1740 0.170695
+117.98544693 1750 0.182743
+118.763439417 1760 0.197023
+119.545947075 1770 0.205067
+120.333449841 1780 0.217328
+121.123432636 1790 0.230687
+121.911442518 1800 0.242452
+122.699447632 1810 0.257016
+123.488462925 1820 0.270198
+124.279955864 1830 0.285117
+125.06744051 1840 0.29922
+125.855634928 1850 0.313785
+126.641971111 1860 0.328561
+127.435929775 1870 0.344791
+128.223946095 1880 0.360028
+129.01395154 1890 0.375124
+129.813433409 1900 0.390503
+130.609957218 1910 0.40691
+131.395968437 1920 0.423352
+132.191936016 1930 0.442204
+132.991440058 1940 0.46219
+133.787966013 1950 0.480475
+134.587432384 1960 0.493373
+135.38743639 1970 0.506095
+136.185445547 1980 0.516478
+136.983448029 1990 0.524132
+137.785933018 2000 0.530369
+138.593441963 2010 0.536747
+139.390455484 2020 0.539936
+140.189458847 2030 0.544614
+140.989440918 2040 0.550815
+141.789441586 2050 0.555528
+142.597939968 2060 0.560383
+143.397948503 2070 0.565344
+144.203448772 2080 0.56988
+145.001438618 2090 0.577179
+145.801454544 2100 0.582388
+146.599455833 2110 0.58983
+147.395462513 2120 0.59511
+148.197446823 2130 0.600213
+148.997437 2140 0.605776
+149.797931671 2150 0.612332
+150.60394454 2160 0.619419
+151.401460171 2170 0.622254
+152.201438427 2180 0.627108
+152.999449492 2190 0.631821
+153.797942638 2200 0.635897
+154.599943161 2210 0.640787
+155.405452013 2220 0.645641
+156.205434561 2230 0.651453
+156.999969482 2240 0.658753
+157.801443577 2250 0.661729
+158.599451542 2260 0.669029
+159.399441004 2270 0.670659
+160.199965954 2280 0.673175
+160.997703552 2290 0.680014
+161.795443535 2300 0.687101
+162.597934484 2310 0.688873
+163.403455019 2320 0.692452
+164.201447487 2330 0.695819
+165.01244998 2340 0.700709
+165.807971001 2350 0.705776
+166.609960079 2360 0.709993
+167.407423973 2370 0.711481
+168.205448151 2380 0.715521
+169.005444527 2390 0.716513
+169.805438519 2400 0.71995
+170.613459587 2410 0.722325
+171.423448563 2420 0.724947
+172.229450464 2430 0.725301
+173.029921532 2440 0.727534
+173.829444885 2450 0.732636
+174.637947559 2460 0.73331
+175.445948124 2470 0.734408
+176.25347352 2480 0.734337
+177.053432941 2490 0.736782
+177.863947392 2500 0.739121
+178.671452522 2510 0.741106
+179.471447468 2520 0.740291
+180.279448032 2530 0.740255
+181.083942413 2540 0.742523
+181.895954609 2550 0.741531
+182.705445528 2560 0.740078
+183.513440609 2570 0.739015
+184.323451996 2580 0.739653
+185.129958153 2590 0.738838
+185.937964916 2600 0.739157
+186.74744463 2610 0.737881
+187.553457975 2620 0.738377
+188.356437206 2630 0.739015
+189.169458389 2640 0.739476
+189.981442928 2650 0.737952
+190.79194212 2660 0.735117
+191.599931479 2670 0.735648
+192.403434277 2680 0.733522
+193.203946114 2690 0.733239
+194.001456976 2700 0.733097
+194.813441038 2710 0.732814
+195.609965324 2720 0.734904
+196.417519569 2730 0.735294
+197.229945183 2740 0.735294
+198.037945032 2750 0.735188
+198.845442533 2760 0.732955
+199.653516531 2770 0.73214
+200.459974527 2780 0.731963
+201.27144146 2790 0.731042
+202.079424858 2800 0.730475
+202.887979984 2810 0.731396
+203.686461926 2820 0.733133
+204.49395895 2830 0.734196
+205.29195118 2840 0.734798
+206.103447437 2850 0.735188
+206.91143322 2860 0.73742
+207.71944952 2870 0.739653
+208.515717983 2880 0.741637
+209.315463543 2890 0.742204
+210.11344099 2900 0.744153
+210.911448002 2910 0.744118
+211.711960554 2920 0.748405
+212.51945591 2930 0.750638
+213.319437981 2940 0.751807
+214.127451897 2950 0.754748
+214.927435398 2960 0.757654
+215.735447407 2970 0.760914
+216.533969879 2980 0.764316
+217.329458475 2990 0.768498
+218.129920959 3000 0.771758
+218.929945469 3010 0.775939
+219.729447365 3020 0.780191
+220.525470018 3030 0.783735
+221.325459957 3040 0.788023
+222.13448143 3050 0.79107
+222.941952705 3060 0.794968
+223.741457939 3070 0.79798
+224.551934481 3080 0.802693
+225.36145401 3090 0.805918
+226.159440517 3100 0.810666
+226.969443798 3110 0.815734
+227.767956018 3120 0.820269
+228.575443029 3130 0.823246
+229.375449181 3140 0.828207
+230.172464848 3150 0.832105
+230.981444597 3160 0.838058
+231.783938885 3170 0.840432
+232.579951048 3180 0.84387
+233.391439438 3190 0.847378
+234.200449944 3200 0.851347
+235.007424831 3210 0.855882
+235.807450056 3220 0.860879
+236.615443945 3230 0.865734
+237.416002989 3240 0.869702
+238.223447323 3250 0.872821
+239.031455994 3260 0.87601
+239.831932068 3270 0.880369
+240.639441013 3280 0.884125
+241.441959381 3290 0.886428
+242.247941017 3300 0.888554
+243.049448967 3310 0.891283
+243.856738567 3320 0.894082
+244.66744709 3330 0.895748
+245.477467537 3340 0.898653
+246.299950123 3350 0.900567
+247.115962029 3360 0.902622
+247.935475349 3370 0.905386
+248.757956982 3380 0.905776
+249.585449219 3390 0.907867
+250.415937424 3400 0.90854
+251.247442722 3410 0.909391
+252.077903986 3420 0.909639
+252.911746502 3430 0.909993
+253.825932503 3440 0.912225
+254.653443336 3450 0.912686
+255.483443975 3460 0.914706
+256.309473515 3470 0.914068
+257.13945055 3480 0.915096
+257.968806982 3490 0.915485
+258.807452679 3500 0.915804
+259.63744998 3510 0.916371
+260.479439497 3520 0.917647
+261.317448616 3530 0.917789
+262.153449059 3540 0.918816
+262.993450165 3550 0.920411
+263.841937542 3560 0.923459
+264.681956291 3570 0.923777
+265.517955542 3580 0.923529
+266.357454538 3590 0.926648
+267.199435949 3600 0.925762
+268.045448542 3610 0.927605
+268.884457111 3620 0.929341
+269.729957581 3630 0.930971
+270.569452524 3640 0.933416
+271.407433033 3650 0.934621
+272.249453068 3660 0.935932
+273.085450411 3670 0.938412
+273.925446033 3680 0.939759
+274.762462139 3690 0.942098
+275.599957943 3700 0.944366
+276.439958096 3710 0.943551
+277.275964499 3720 0.945145
+278.109442472 3730 0.947413
+278.957952976 3740 0.949327
+279.798445463 3750 0.950283
+280.637446404 3760 0.952941
+281.473448992 3770 0.954217
+282.313938618 3780 0.956485
+283.151463985 3790 0.958257
+283.989436626 3800 0.959745
+284.82794857 3810 0.962792
+285.668446064 3820 0.965167
+286.505977154 3830 0.966761
+287.34444046 3840 0.970588
+288.183456898 3850 0.968214
+289.02394104 3860 0.970553
+289.859444618 3870 0.972112
+290.699440956 3880 0.974451
+291.539433479 3890 0.976364
+292.375458479 3900 0.978455
+293.215939999 3910 0.980652
+294.055464983 3920 0.982566
+294.891467571 3930 0.984479
+295.720484018 3940 0.986499
+296.559456348 3950 0.989794
+297.399447918 3960 0.991814
+298.23993969 3970 0.993267
+299.077450991 3980 0.994543
+299.915943623 3990 0.996988
+300.75394702 4000 1