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

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

diff --git a/research/TCS/2012-09-28/105243.dat.p b/research/TCS/2012-09-28/105243.dat.p
new file mode 100644 (file)
index 0000000..b51ebd2
--- /dev/null
+++ b/research/TCS/2012-09-28/105243.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53579044342 0 0
+3.17317581177 10 0
+3.81264352798 20 0
+4.45464706421 30 0
+5.09066724777 40 0
+5.73115086555 50 0
+6.37117099762 60 0
+7.00869178772 70 0
+7.63920402527 80 0
+8.27916193008 90 0
+8.92313718796 100 0
+9.56865549088 110 0
+10.2111525536 120 0
+10.84918046 130 0
+11.4871549606 140 0
+12.124642849 150 0
+12.7671558857 160 0
+13.4071698189 170 0
+14.0471563339 180 0
+14.6926717758 190 0
+15.3346400261 200 0
+15.9746537209 210 0
+16.6132068634 220 0
+17.2486703396 230 0
+17.8891792297 240 0
+18.5306615829 250 0
+19.1691858768 260 0
+19.8086514473 270 0
+20.4506459236 280 0
+21.0911397934 290 0
+21.7371735573 300 0
+22.3791499138 310 0
+23.0271434784 320 0
+23.6676397324 330 0
+24.3126630783 340 0
+24.9546399117 350 0
+25.5951333046 360 0
+26.2411658764 370 0
+26.8776712418 380 0
+27.5166709423 390 0
+28.1586608887 400 0
+28.7986428738 410 0
+29.4451475143 420 0
+30.0866613388 430 0
+30.7346577644 440 0
+31.3806619644 450 0
+32.0231494904 460 0
+32.6706528664 470 0
+33.3091487885 480 0
+33.9506509304 490 0
+34.6586549282 500 0
+35.3066568375 510 0
+35.9446554184 520 0
+36.5866589546 530 0
+37.2346420288 540 0
+37.8806629181 550 0
+38.5211629868 560 0
+39.1631398201 570 0
+39.8086724281 580 0
+40.4511394501 590 0
+41.0991504192 600 0
+41.7511529922 610 0
+42.40265131 620 0
+43.0466644764 630 0
+43.6856923103 640 0
+44.3266558647 650 0
+44.9746580124 660 0
+45.6237874031 670 0
+46.2626523972 680 0
+46.9026579857 690 0
+47.5506534576 700 0
+48.1886572838 710 0
+48.8311533928 720 0
+49.478664875 730 0
+50.1246423721 740 0
+50.766749382 750 0
+51.4071955681 760 0
+52.0531668663 770 0
+52.6926674843 780 0
+53.3351392746 790 0
+53.9811854362 800 0
+54.6210479736 810 0
+55.2626442909 820 0
+55.910639286 830 0
+56.5571718216 840 0
+57.1986513138 850 0
+57.846675396 860 0
+58.4951729774 870 0
+59.1346642971 880 0
+59.7746572495 890 0
+60.421169281 900 0
+61.0606558323 910 0
+61.703152895 920 0
+62.3506603241 930 0
+62.9991703033 940 0
+63.6377768517 950 0
+64.2791569233 960 0
+64.9266500473 970 0
+65.5791401863 980 0
+66.227139473 990 0
+66.8766570091 1000 0
+67.52516222 1010 0
+68.1746358871 1020 0
+68.8231635094 1030 0
+69.4751420021 1040 0
+70.1211605072 1050 0
+70.7711520195 1060 0
+71.4171667099 1070 0
+72.0686588287 1080 0
+72.7186424732 1090 0
+73.3666479588 1100 0
+74.0151569843 1110 0
+74.6632318497 1120 0
+75.312659502 1130 0
+75.9611754417 1140 0
+76.610679388 1150 0
+77.2626614571 1160 0
+77.9091625214 1170 0
+78.5571675301 1180 0
+79.2071967125 1190 0
+79.8571703434 1200 0
+80.5046582222 1210 0
+81.1531624794 1220 0
+81.8026947975 1230 0
+82.4511675835 1240 0
+83.1066493988 1250 0
+83.7591643333 1260 0
+84.4106688499 1270 0
+85.0571603775 1280 0
+85.7066774368 1290 0
+86.3586564064 1300 0
+87.0046598911 1310 0
+87.6546640396 1320 0
+88.3066399097 1330 0
+88.9546546936 1340 0
+89.6026592255 1350 0
+90.2486698627 1360 0
+90.9002685547 1370 0
+91.5506589413 1380 0
+92.199239254 1390 0
+92.8471539021 1400 0
+93.4966607094 1410 0
+94.1471369267 1420 0
+94.7931752205 1430 0
+95.4406738281 1440 0
+96.0946474075 1450 0
+96.7486662865 1460 0
+97.4031543732 1470 0
+98.0566728115 1480 0
+98.70916605 1490 0
+99.3591637611 1500 0
+100.007151365 1510 0
+100.657168865 1520 0
+101.305670261 1530 0
+101.955167294 1540 0
+102.602663994 1550 0
+103.252669334 1560 0
+103.90315032 1570 0
+104.592669964 1580 0
+105.336667061 1590 0.000465333
+106.107163906 1600 0.00232666
+106.880650043 1610 0.00767799
+107.659160852 1620 0.0148906
+108.437176228 1630 0.0255933
+109.216662407 1640 0.0353653
+109.997167587 1650 0.0415077
+110.789141893 1660 0.0539786
+111.577178955 1670 0.0626338
+112.367160797 1680 0.0742206
+113.15473175 1690 0.0868776
+113.942656994 1700 0.0995347
+114.720651865 1710 0.110935
+115.510659218 1720 0.126152
+116.299170017 1730 0.137273
+117.092645407 1740 0.150489
+117.887691975 1750 0.164542
+118.67865324 1760 0.17436
+119.466652393 1770 0.188832
+120.254658222 1780 0.201349
+121.042662382 1790 0.21289
+121.83265686 1800 0.228013
+122.620659828 1810 0.241368
+123.410657883 1820 0.258167
+124.199151516 1830 0.277804
+124.986665726 1840 0.289949
+125.780656338 1850 0.306561
+126.576659441 1860 0.323127
+127.377142906 1870 0.337645
+128.177145481 1880 0.354816
+128.970650434 1890 0.37101
+129.782651424 1900 0.388413
+130.566791534 1910 0.405677
+131.359170437 1920 0.424197
+132.148673534 1930 0.438995
+132.946756363 1940 0.455282
+133.736664772 1950 0.471708
+134.53665781 1960 0.484877
+135.33466053 1970 0.493997
+136.132662773 1980 0.502559
+136.934735298 1990 0.507957
+137.748660564 2000 0.513262
+138.550673008 2010 0.518055
+139.352671385 2020 0.522615
+140.150660038 2030 0.525826
+140.946670055 2040 0.529967
+141.749163866 2050 0.534016
+142.547189474 2060 0.543509
+143.348657846 2070 0.544951
+144.156649351 2080 0.550023
+144.957158089 2090 0.554444
+145.750650883 2100 0.55933
+146.554656506 2110 0.565379
+147.359184742 2120 0.571149
+148.15866375 2130 0.573848
+148.961154461 2140 0.578874
+149.768653393 2150 0.585807
+150.576669931 2160 0.589577
+151.386657953 2170 0.59637
+152.193668365 2180 0.602327
+153.00066185 2190 0.610051
+153.800665379 2200 0.615821
+154.602651358 2210 0.622383
+155.408654928 2220 0.630991
+156.20866394 2230 0.635133
+157.01864481 2240 0.641228
+157.825167418 2250 0.64779
+158.632663488 2260 0.653653
+159.43265295 2270 0.662168
+160.24065733 2280 0.665891
+161.042639732 2290 0.673662
+161.848651886 2300 0.67799
+162.651150942 2310 0.685249
+163.456655979 2320 0.692229
+164.265167952 2330 0.700791
+165.072661877 2340 0.705631
+165.875153065 2350 0.7141
+166.68065834 2360 0.722103
+167.482657433 2370 0.729549
+168.288655281 2380 0.735691
+169.096668243 2390 0.741601
+169.898648977 2400 0.746952
+170.708658457 2410 0.758027
+171.505163431 2420 0.76175
+172.312661886 2430 0.764867
+173.112664461 2440 0.772452
+173.923154354 2450 0.778641
+174.742650509 2460 0.785807
+175.549279451 2470 0.791624
+176.356665373 2480 0.797115
+177.156661034 2490 0.802141
+177.966629028 2500 0.807399
+178.774659395 2510 0.810377
+179.584659576 2520 0.813774
+180.394643784 2530 0.818008
+181.20065546 2540 0.819777
+182.008678913 2550 0.82443
+182.816665411 2560 0.826617
+183.616668463 2570 0.83248
+184.419147491 2580 0.83127
+185.227143288 2590 0.832852
+186.044666767 2600 0.835738
+186.846650124 2610 0.834109
+187.652641773 2620 0.834807
+188.451664925 2630 0.834807
+189.263149261 2640 0.834295
+190.07063961 2650 0.833504
+190.878659964 2660 0.833504
+191.686666965 2670 0.83127
+192.498649836 2680 0.831317
+193.306649208 2690 0.829735
+194.114659309 2700 0.829176
+194.923185825 2710 0.828199
+195.730669022 2720 0.828013
+196.542785406 2730 0.826059
+197.350645065 2740 0.823546
+198.158658028 2750 0.822522
+198.966829777 2760 0.821266
+199.77914691 2770 0.820614
+200.586647511 2780 0.81745
+201.392683506 2790 0.817264
+202.202651024 2800 0.81517
+203.022645473 2810 0.813867
+203.839177132 2820 0.815682
+204.634665966 2830 0.81759
+205.434664488 2840 0.816194
+206.23665905 2850 0.814146
+207.044656277 2860 0.813169
+207.855149269 2870 0.814193
+208.660654545 2880 0.818055
+209.460656404 2890 0.814286
+210.268662453 2900 0.814239
+211.068669319 2910 0.813541
+211.876637936 2920 0.814146
+212.684670925 2930 0.814053
+213.496645927 2940 0.815589
+214.304649353 2950 0.814937
+215.110666275 2960 0.813867
+215.91314888 2970 0.814937
+216.719156742 2980 0.815496
+217.527177811 2990 0.816007
+218.326668262 3000 0.818986
+219.13515234 3010 0.821219
+219.942667484 3020 0.82322
+220.743170261 3030 0.82564
+221.545146465 3040 0.827175
+222.351174355 3050 0.829083
+223.149163485 3060 0.831038
+223.963163376 3070 0.834016
+224.76863575 3080 0.837134
+225.567162037 3090 0.838762
+226.374662876 3100 0.842764
+227.177150726 3110 0.845277
+227.984651804 3120 0.849232
+228.784654379 3130 0.853606
+229.590665817 3140 0.857003
+230.393156528 3150 0.860261
+231.198654413 3160 0.863099
+231.99916172 3170 0.866775
+232.806657314 3180 0.871242
+233.608652592 3190 0.874221
+234.416649818 3200 0.878781
+235.223171473 3210 0.882876
+236.032651901 3220 0.887529
+236.845152855 3230 0.894183
+237.652644396 3240 0.89772
+238.460651875 3250 0.901489
+239.259175301 3260 0.905258
+240.066648006 3270 0.908795
+240.869169712 3280 0.910423
+241.677165985 3290 0.912936
+242.48466301 3300 0.914193
+243.29515028 3310 0.917636
+244.104658365 3320 0.918567
+244.912652969 3330 0.920289
+245.718639374 3340 0.924151
+246.522650719 3350 0.922522
+247.336700916 3360 0.924337
+248.144659519 3370 0.925268
+248.95664978 3380 0.927362
+249.765158892 3390 0.927827
+250.572733879 3400 0.928153
+251.380673409 3410 0.928199
+252.192658424 3420 0.927734
+252.999179363 3430 0.927408
+253.816670418 3440 0.927129
+254.627679825 3450 0.927175
+255.439153433 3460 0.927082
+256.244658947 3470 0.927594
+257.054667473 3480 0.926943
+257.860667467 3490 0.927408
+258.668658972 3500 0.929735
+259.480662823 3510 0.928804
+260.288652897 3520 0.928339
+261.098654747 3530 0.925826
+261.915177822 3540 0.927268
+262.726643324 3550 0.927036
+263.535181999 3560 0.926757
+264.352655888 3570 0.927734
+265.162644386 3580 0.928339
+265.970650911 3590 0.927362
+266.779172421 3600 0.928292
+267.59865427 3610 0.928385
+268.406639338 3620 0.928804
+269.212665558 3630 0.928897
+270.022670746 3640 0.9302
+270.842667341 3650 0.931456
+271.650653839 3660 0.933085
+272.458669424 3670 0.933271
+273.27064991 3680 0.936203
+274.078643799 3690 0.934574
+274.886657953 3700 0.937413
+275.703186035 3710 0.937971
+276.514663935 3720 0.941787
+277.335144997 3730 0.941647
+278.143140316 3740 0.94309
+278.962648869 3750 0.944253
+279.778654575 3760 0.946812
+280.598679066 3770 0.947324
+281.407167435 3780 0.952536
+282.229148388 3790 0.952955
+283.042665005 3800 0.956259
+283.851171017 3810 0.956724
+284.662652016 3820 0.95691
+285.479766846 3830 0.960912
+286.28915143 3840 0.960959
+287.099150419 3850 0.964588
+287.91916132 3860 0.966682
+288.724654436 3870 0.96873
+289.534708023 3880 0.971475
+290.342642784 3890 0.973755
+291.148673058 3900 0.974639
+291.963157892 3910 0.980921
+292.771143913 3920 0.979432
+293.577141762 3930 0.983248
+294.387164831 3940 0.984691
+295.206647396 3950 0.988692
+296.015161991 3960 0.989483
+296.82316947 3970 0.990833
+297.62866354 3980 0.993811
+298.437183857 3990 1
+299.238659859 4000 0.998185