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

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

diff --git a/research/TCS/2012-10-03/231157.dat.p b/research/TCS/2012-10-03/231157.dat.p
new file mode 100644 (file)
index 0000000..caf5284
--- /dev/null
+++ b/research/TCS/2012-10-03/231157.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53577232361 0 0
+3.17061591148 10 0
+3.80863142014 20 0
+4.43713140488 30 0
+5.06464838982 40 0
+5.69664049149 50 0
+6.33513736725 60 0
+6.9731464386 70 0
+7.60512113571 80 0
+8.2411775589 90 0
+8.88713049889 100 0
+9.52663493156 110 0
+10.1631464958 120 0
+10.8026270866 130 0
+11.4411282539 140 0
+12.0826354027 150 0
+12.7311267853 160 0
+13.3771204948 170 0
+14.0151288509 180 0
+14.6551513672 190 0
+15.2912473679 200 0
+15.9326310158 210 0
+16.570625782 220 0
+17.2106399536 230 0
+17.8506228924 240 0
+18.4911093712 250 0
+19.1246476173 260 0
+19.7651486397 270 0
+20.4071264267 280 0
+21.0546269417 290 0
+21.6931364536 300 0
+22.3351259232 310 0
+22.9751110077 320 0
+23.6206350327 330 0
+24.2631182671 340 0
+24.9086308479 350 0
+25.5471320152 360 0
+26.1846399307 370 0
+26.8251349926 380 0
+27.4666190147 390 0
+28.1146314144 400 0
+28.7526409626 410 0
+29.391626358 420 0
+30.029747963 430 0
+30.6691350937 440 0
+31.3086419106 450 0
+31.9466285706 460 0
+32.5846395493 470 0
+33.2227630615 480 0
+33.8611483574 490 0
+34.5006332397 500 0
+35.1411378384 510 0
+35.7826237679 520 0
+36.4286289215 530 0
+37.0696263313 540 0
+37.7066349983 550 0
+38.3466293812 560 0
+38.9871225357 570 0
+39.6351444721 580 0
+40.2746253014 590 0
+40.9211592674 600 0
+41.5626182556 610 0
+42.2106349468 620 0
+42.8591327667 630 0
+43.4966304302 640 0
+44.1346340179 650 0
+44.7733204365 660 0
+45.4226243496 670 0
+46.0606429577 680 0
+46.7026224136 690 0
+47.3506264687 700 0
+47.9966425896 710 0
+48.6386449337 720 0
+49.2766871452 730 0
+49.9191246033 740 0
+50.5663175583 750 0
+51.2031264305 760 0
+51.8426361084 770 0
+52.4906198978 780 0
+53.1286449432 790 0
+53.7706274986 800 0
+54.4186162949 810 0
+55.0646429062 820 0
+55.7046289444 830 0
+56.3431363106 840 0
+56.9826483727 850 0
+57.6351308823 860 0
+58.2826304436 870 0
+58.9286339283 880 0
+59.5726237297 890 0
+60.2157740593 900 0
+60.8646297455 910 0
+61.505150795 920 0
+62.1432752609 930 0
+62.7917532921 940 0
+63.4411263466 950 0
+64.0786442757 960 0
+64.7276453972 970 0
+65.3766303062 980 0
+66.0146369934 990 0
+66.6651489735 1000 0
+67.3131129742 1010 0
+67.9631319046 1020 0
+68.6106357574 1030 0
+69.2606284618 1040 0
+69.9086613655 1050 0
+70.5576338768 1060 0
+71.2046303749 1070 0
+71.8526215553 1080 0
+72.5011115074 1090 0
+73.1506314278 1100 0
+73.798635006 1110 0
+74.4511175156 1120 0
+75.0971665382 1130 0
+75.7446420193 1140 0
+76.3926389217 1150 0
+77.043129921 1160 0
+77.6886475086 1170 0
+78.3311414719 1180 0
+78.9786262512 1190 0
+79.6256349087 1200 0
+80.2737939358 1210 0
+80.9271314144 1220 0
+81.5746278763 1230 0
+82.2206420898 1240 0
+82.8686599731 1250 0
+83.5191159248 1260 0
+84.16761446 1270 0
+84.8126325607 1280 0
+85.464632988 1290 0
+86.1111450195 1300 0
+86.7626888752 1310 0
+87.4086279869 1320 0
+88.0566425323 1330 0
+88.7066340446 1340 0
+89.3551719189 1350 0
+90.0046434402 1360 0
+90.6546258926 1370 0
+91.3011250496 1380 0
+91.9516210556 1390 0
+92.5986304283 1400 0
+93.2446327209 1410 0
+93.8926379681 1420 0
+94.547119379 1430 0
+95.1926379204 1440 0
+95.8426208496 1450 0
+96.4966397285 1460 0
+97.1506228447 1470 0
+97.8051400185 1480 0
+98.452644825 1490 0
+99.10313344 1500 0
+99.7491619587 1510 0
+100.406641006 1520 0
+101.05664587 1530 0
+101.7086339 1540 0
+102.358621597 1550 0
+103.004668474 1560 0
+103.654635906 1570 0
+104.312635899 1580 0
+105.024625778 1590 0.00146448
+105.803153992 1600 0.00589197
+106.58465004 1610 0.0116818
+107.364627361 1620 0.0175737
+108.153605938 1630 0.0262244
+108.939135551 1640 0.0333765
+109.717125893 1650 0.0388598
+110.504634857 1660 0.0470676
+111.294626713 1670 0.055582
+112.082638502 1680 0.0652885
+112.868628979 1690 0.0754376
+113.656630039 1700 0.0856209
+114.444640875 1710 0.0968599
+115.232656002 1720 0.1066
+116.014638424 1730 0.118044
+116.801163435 1740 0.128636
+117.590633392 1750 0.138512
+118.376619339 1760 0.149002
+119.164652348 1770 0.159969
+119.952913284 1780 0.169879
+120.744637489 1790 0.181255
+121.53113699 1800 0.192153
+122.322652817 1810 0.206083
+123.110282898 1820 0.21957
+123.899125576 1830 0.232273
+124.686626911 1840 0.245964
+125.474633932 1850 0.258259
+126.260632992 1860 0.273142
+127.051149845 1870 0.284415
+127.8386724 1880 0.298209
+128.626628876 1890 0.315169
+129.414643526 1900 0.3276
+130.204632759 1910 0.343233
+131.004628658 1920 0.356004
+131.800629616 1930 0.372046
+132.592617035 1940 0.389517
+133.389127731 1950 0.406716
+134.189127445 1960 0.42303
+134.98810482 1970 0.441353
+135.79516983 1980 0.454908
+136.595140457 1990 0.466487
+137.395116329 2000 0.475853
+138.205122948 2010 0.484878
+139.011137486 2020 0.489715
+139.821124077 2030 0.492882
+140.628628969 2040 0.497071
+141.428635597 2050 0.49983
+142.236645699 2060 0.502895
+143.048639297 2070 0.507016
+143.85915041 2080 0.51083
+144.670632839 2090 0.513487
+145.475161076 2100 0.518085
+146.278630018 2110 0.52023
+147.088625908 2120 0.525237
+147.888630867 2130 0.529085
+148.696634293 2140 0.533921
+149.499636889 2150 0.538962
+150.3091259 2160 0.544581
+151.119129419 2170 0.543968
+151.928624392 2180 0.551393
+152.73663497 2190 0.552789
+153.538630009 2200 0.559294
+154.351627827 2210 0.563075
+155.158659935 2220 0.568524
+155.96862793 2230 0.574109
+156.778646946 2240 0.580138
+157.591142416 2250 0.589129
+158.396645069 2260 0.594408
+159.209142923 2270 0.599959
+160.016651392 2280 0.604625
+160.831135988 2290 0.60895
+161.637159348 2300 0.616034
+162.448637486 2310 0.61944
+163.256651402 2320 0.62431
+164.068635941 2330 0.631428
+164.876643419 2340 0.636605
+165.69062233 2350 0.641067
+166.497134924 2360 0.64638
+167.311138868 2370 0.651012
+168.118635893 2380 0.65721
+168.928669453 2390 0.663443
+169.742621899 2400 0.666542
+170.551161766 2410 0.670152
+171.361123323 2420 0.672808
+172.173158646 2430 0.678326
+172.977161407 2440 0.681834
+173.790625572 2450 0.687862
+174.600634575 2460 0.693039
+175.408621311 2470 0.696683
+176.204643965 2480 0.700225
+177.013127327 2490 0.705606
+177.812314987 2500 0.708024
+178.620638847 2510 0.710272
+179.428627968 2520 0.712894
+180.239147902 2530 0.714393
+181.046630859 2540 0.717764
+181.853137016 2550 0.721
+182.661140919 2560 0.72117
+183.472638369 2570 0.724269
+184.282639027 2580 0.726177
+185.091123581 2590 0.72788
+185.906636715 2600 0.728697
+186.714626789 2610 0.72948
+187.520641804 2620 0.730911
+188.329133034 2630 0.731388
+189.143121481 2640 0.731047
+189.957270622 2650 0.731762
+190.769141436 2660 0.732954
+191.584621429 2670 0.73258
+192.380630493 2680 0.733056
+193.189150333 2690 0.73275
+193.99661994 2700 0.731796
+194.806634426 2710 0.733261
+195.619190931 2720 0.732784
+196.421139956 2730 0.732001
+197.219147444 2740 0.733601
+198.020642281 2750 0.731558
+198.831136942 2760 0.730706
+199.63713932 2770 0.730093
+200.434631348 2780 0.729617
+201.245131016 2790 0.728254
+202.052631855 2800 0.727948
+202.86113143 2810 0.727437
+203.668627739 2820 0.726517
+204.477140427 2830 0.72679
+205.283289433 2840 0.725836
+206.093120575 2850 0.725972
+206.901634932 2860 0.726143
+207.7086339 2870 0.726415
+208.515129566 2880 0.726653
+209.314640999 2890 0.726653
+210.126637936 2900 0.727539
+210.921103477 2910 0.728322
+211.731125355 2920 0.729617
+212.526642799 2930 0.730536
+213.326630116 2940 0.731149
+214.123780251 2950 0.733567
+214.934621334 2960 0.734589
+215.73114109 2970 0.736632
+216.550664425 2980 0.738676
+217.36262393 2990 0.741264
+218.174640417 3000 0.744908
+218.972633362 3010 0.747803
+219.775636911 3020 0.750221
+220.582631588 3030 0.753559
+221.390628815 3040 0.756863
+222.185278893 3050 0.76221
+222.986619473 3060 0.763402
+223.783126831 3070 0.767114
+224.593130589 3080 0.772325
+225.390636444 3090 0.777536
+226.188632488 3100 0.781486
+226.986633301 3110 0.78622
+227.794635773 3120 0.791295
+228.59462738 3130 0.796063
+229.402634382 3140 0.800763
+230.203626156 3150 0.805122
+231.006788254 3160 0.808051
+231.806631088 3170 0.814556
+232.613124847 3180 0.818916
+233.41462183 3190 0.823786
+234.222623348 3200 0.828009
+235.030638933 3210 0.833628
+235.830635071 3220 0.839452
+236.638639927 3230 0.843573
+237.447133541 3240 0.848716
+238.247163773 3250 0.853552
+239.046626568 3260 0.85706
+239.857148409 3270 0.86268
+240.673645973 3280 0.865745
+241.494621754 3290 0.869491
+242.316640377 3300 0.872522
+243.146622419 3310 0.875826
+243.97465992 3320 0.879198
+244.805130482 3330 0.882569
+245.643140316 3340 0.886861
+246.475126743 3350 0.889619
+247.313139915 3360 0.892684
+248.150621414 3370 0.896124
+248.99112606 3380 0.898747
+249.826621532 3390 0.901608
+250.654634953 3400 0.904911
+251.495136976 3410 0.904707
+252.335127354 3420 0.907363
+253.170650005 3430 0.9091
+254.010637045 3440 0.910871
+254.855195522 3450 0.912608
+255.69063139 3460 0.914345
+256.526636362 3470 0.916559
+257.369157314 3480 0.918466
+258.200643539 3490 0.91942
+259.030640125 3500 0.921633
+259.857147217 3510 0.922553
+260.689158916 3520 0.924665
+261.534637928 3530 0.925857
+262.373139858 3540 0.927015
+263.214622498 3550 0.928343
+264.050635815 3560 0.929024
+264.890628815 3570 0.930999
+265.724669456 3580 0.931714
+266.567136288 3590 0.932225
+267.402637482 3600 0.934167
+268.242616892 3610 0.934609
+269.083124876 3620 0.936006
+269.918652534 3630 0.937096
+270.758632421 3640 0.938867
+271.598642349 3650 0.939854
+272.435135365 3660 0.941455
+273.27462697 3670 0.942715
+274.11064744 3680 0.944043
+274.949170351 3690 0.945338
+275.784644127 3700 0.947143
+276.679138422 3710 0.948096
+277.514631271 3720 0.950651
+278.354628563 3730 0.952013
+279.190639019 3740 0.953511
+280.03112793 3750 0.957019
+280.871114731 3760 0.959642
+281.706625462 3770 0.960766
+282.547147512 3780 0.962162
+283.382637024 3790 0.963797
+284.223127842 3800 0.965363
+285.05912137 3810 0.96676
+285.899637222 3820 0.968667
+286.746636391 3830 0.972345
+287.5826478 3840 0.972515
+288.419110298 3850 0.977113
+289.257140875 3860 0.976705
+290.084644318 3870 0.978101
+290.914712429 3880 0.97977
+291.754621983 3890 0.981677
+292.595144749 3900 0.983789
+293.429125786 3910 0.98607
+294.269137859 3920 0.988182
+295.106638908 3930 0.98951
+295.945634365 3940 0.991656
+296.7806499 3950 0.992712
+297.61114192 3960 0.99438
+298.448637486 3970 0.995675
+299.276681423 3980 0.996696
+300.105147362 3990 0.99891
+300.94528389 4000 1