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

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

diff --git a/research/TCS/2012-10-02/175354.dat.p b/research/TCS/2012-10-02/175354.dat.p
new file mode 100644 (file)
index 0000000..a12a939
--- /dev/null
+++ b/research/TCS/2012-10-02/175354.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52541160583 0 0
+3.15782356262 10 0
+3.7898004055 20 0
+4.42581653595 30 0
+5.05381155014 40 0
+5.68579506874 50 0
+6.32181763649 60 0
+6.94981360435 70 0
+7.58116269112 80 0
+8.21780157089 90 0
+8.85783362389 100 0
+9.49780535698 110 0
+10.1377894878 120 0
+10.7783000469 130 0
+11.4162890911 140 0
+12.0537874699 150 0
+12.6922972202 160 0
+13.3298051357 170 0
+13.9722850323 180 0
+14.6097800732 190 0
+15.2458059788 200 0
+15.8858001232 210 0
+16.5242993832 220 0
+17.164274931 230 0
+17.8017904758 240 0
+18.4442799091 250 0
+19.0778141022 260 0
+19.7177920341 270 0
+20.3577802181 280 0
+20.9938070774 290 0
+21.6362864971 300 0
+22.2723119259 310 0
+22.9098000526 320 0
+23.5497984886 330 0
+24.1922791004 340 0
+24.8258194923 350 0
+25.4682872295 360 0
+26.1057841778 370 0
+26.7428181171 380 0
+27.3818109035 390 0
+28.0218045712 400 0
+28.6617870331 410 0
+29.2982990742 420 0
+29.9377939701 430 0
+30.5802824497 440 0
+31.2257945538 450 0
+31.8657853603 460 0
+32.5042822361 470 0
+33.1417915821 480 0
+33.780308485 490 0
+34.4207875729 500 0
+35.0586740971 510 0
+35.6948080063 520 0
+36.3343141079 530 0
+36.9761612415 540 0
+37.6137881279 550 0
+38.2537939548 560 0
+38.889806509 570 0
+39.5298094749 580 0
+40.1663033962 590 0
+40.80580163 600 0
+41.4457919598 610 0
+42.088322401 620 0
+42.7337985039 630 0
+43.3737881184 640 0
+44.0097985268 650 0
+44.6522824764 660 0
+45.2978069782 670 0
+45.9378044605 680 0
+46.5738165379 690 0
+47.2137987614 700 0
+47.8521749973 710 0
+48.4897925854 720 0
+49.1297924519 730 0
+49.7702891827 740 0
+50.4097921848 750 0
+51.0458071232 760 0
+51.6883161068 770 0
+52.3343179226 780 0
+52.9748184681 790 0
+53.6103174686 800 0
+54.2498750687 810 0
+54.8898055553 820 0
+55.525799036 830 0
+56.1658074856 840 0
+56.8058049679 850 0
+57.4457991123 860 0
+58.081807375 870 0
+58.7217981815 880 0
+59.3621613979 890 0
+60.0003049374 900 0
+60.6378109455 910 0
+61.27779603 920 0
+61.9138095379 930 0
+62.5538036823 940 0
+63.193803072 950 0
+63.8308031559 960 0
+64.4697945118 970 0
+65.1097905636 980 0
+65.7578074932 990 0
+66.4003031254 1000 0
+67.0498316288 1010 0
+67.6977961063 1020 0
+68.3458015919 1030 0
+68.9938151836 1040 0
+69.6482815742 1050 0
+70.2937943935 1060 0
+70.9418070316 1070 0
+71.5891914368 1080 0
+72.2378041744 1090 0
+72.8883066177 1100 0
+73.5366799831 1110 0
+74.1868085861 1120 0
+74.8338079453 1130 0
+75.4818120003 1140 0
+76.1338016987 1150 0
+76.7818081379 1160 0
+77.4298110008 1170 0
+78.0777909756 1180 0
+78.7258095741 1190 0
+79.3777964115 1200 0
+80.0257914066 1210 0
+80.6737959385 1220 0
+81.3242967129 1230 0
+81.9722812176 1240 0
+82.6178100109 1250 0
+83.2697923183 1260 0
+83.9177854061 1270 0
+84.5657966137 1280 0
+85.2138159275 1290 0
+85.8657853603 1300 0
+86.5138039589 1310 0
+87.1617896557 1320 0
+87.8127839565 1330 0
+88.4578025341 1340 0
+89.1097910404 1350 0
+89.7578032017 1360 0
+90.4058010578 1370 0
+91.0562970638 1380 0
+91.7017924786 1390 0
+92.3498094082 1400 0
+93.0017931461 1410 0
+93.649800539 1420 0
+94.2978100777 1430 0
+94.9482944012 1440 0
+95.5938146114 1450 0
+96.2418065071 1460 0
+96.8938164711 1470 0
+97.5417830944 1480 0
+98.1897945404 1490 0
+98.837813139 1500 0
+99.4902989864 1510 0
+100.137793541 1520 0
+100.785791159 1530 0
+101.49429965 1540 0
+102.263813734 1550 0.00120281
+103.034313917 1560 0.00507852
+103.818805456 1570 0.0106248
+104.607154608 1580 0.01714
+105.385795116 1590 0.0245907
+106.166277647 1600 0.0325092
+106.953793526 1610 0.0400267
+107.742310047 1620 0.0486468
+108.531798124 1630 0.0573004
+109.32230854 1640 0.0665887
+110.110303164 1650 0.0752422
+110.89778018 1660 0.0852656
+111.686164141 1670 0.0949215
+112.475797415 1680 0.105747
+113.262807131 1690 0.116672
+114.050309896 1700 0.1284
+114.830270529 1710 0.139359
+115.617792606 1720 0.151186
+116.397794485 1730 0.163415
+117.186365366 1740 0.173405
+117.976291418 1750 0.18413
+118.768280745 1760 0.194955
+119.553802252 1770 0.206749
+120.345789671 1780 0.21704
+121.131815195 1790 0.230271
+121.920310974 1800 0.240962
+122.712150574 1810 0.255496
+123.499798536 1820 0.268593
+124.287796021 1830 0.282058
+125.073807001 1840 0.295189
+125.8647964 1850 0.311193
+126.655776501 1860 0.325626
+127.445771933 1870 0.341463
+128.243797541 1880 0.355396
+129.034368753 1890 0.369729
+129.821793079 1900 0.386201
+130.622278452 1910 0.402339
+131.421790123 1920 0.420849
+132.219807386 1930 0.439191
+133.019803524 1940 0.456565
+133.819791555 1950 0.473839
+134.619789124 1960 0.489041
+135.416299582 1970 0.503141
+136.21580863 1980 0.514868
+137.011826992 1990 0.525727
+137.811185598 2000 0.533077
+138.611793518 2010 0.539759
+139.414280653 2020 0.547878
+140.219795465 2030 0.552623
+141.017785072 2040 0.557935
+141.817799807 2050 0.565052
+142.617784023 2060 0.5713
+143.425801516 2070 0.57561
+144.221788645 2080 0.582192
+145.021804571 2090 0.589242
+145.829803467 2100 0.595623
+146.629795551 2110 0.600768
+147.437795401 2120 0.605212
+148.246309519 2130 0.60842
+149.04429698 2140 0.612262
+149.853801489 2150 0.618911
+150.654283524 2160 0.623087
+151.462293863 2170 0.627297
+152.270295858 2180 0.632409
+153.077790976 2190 0.637287
+153.886299849 2200 0.641163
+154.692291975 2210 0.648179
+155.493798494 2220 0.651387
+156.301789045 2230 0.659338
+157.108300447 2240 0.667558
+157.905804634 2250 0.66866
+158.70517993 2260 0.673605
+159.501808405 2270 0.676579
+160.301789999 2280 0.681958
+161.098298073 2290 0.685399
+161.89779973 2300 0.688941
+162.69788456 2310 0.692917
+163.505784512 2320 0.697928
+164.312304974 2330 0.701403
+165.113805532 2340 0.704043
+165.922795534 2350 0.705847
+166.729804039 2360 0.709288
+167.537799597 2370 0.713231
+168.346295595 2380 0.715603
+169.153806925 2390 0.714868
+169.952296019 2400 0.719679
+170.750307322 2410 0.721083
+171.547792196 2420 0.723689
+172.352290392 2430 0.723856
+173.154294729 2440 0.726027
+173.954298019 2450 0.72713
+174.753799438 2460 0.729068
+175.561802149 2470 0.729235
+176.361792564 2480 0.73134
+177.169790506 2490 0.731707
+177.977875471 2500 0.732142
+178.773819685 2510 0.732643
+179.573790073 2520 0.733177
+180.381790876 2530 0.733512
+181.190294981 2540 0.733411
+181.988319159 2550 0.732944
+182.797805071 2560 0.732442
+183.606301546 2570 0.733378
+184.413807154 2580 0.732977
+185.22180748 2590 0.732944
+186.030269384 2600 0.732543
+186.837799072 2610 0.732041
+187.645802975 2620 0.733111
+188.445800543 2630 0.732175
+189.253807306 2640 0.731073
+190.062301874 2650 0.729536
+190.85980463 2660 0.7287
+191.657789946 2670 0.729001
+192.468296051 2680 0.728233
+193.273808479 2690 0.727531
+194.073796511 2700 0.72713
+194.88236165 2710 0.726161
+195.691792965 2720 0.726094
+196.49779439 2730 0.724758
+197.303808928 2740 0.723922
+198.106283426 2750 0.72429
+198.912299395 2760 0.723989
+199.710310936 2770 0.723421
+200.521787882 2780 0.723321
+201.328309536 2790 0.723822
+202.136290312 2800 0.724223
+202.945788145 2810 0.722853
+203.752309084 2820 0.722686
+204.548290968 2830 0.724658
+205.347794533 2840 0.725626
+206.148296595 2850 0.72733
+206.956286192 2860 0.728767
+207.750308514 2870 0.730404
+208.552296877 2880 0.732075
+209.359782934 2890 0.732509
+210.160288095 2900 0.733745
+210.955197096 2910 0.735683
+211.753795862 2920 0.739726
+212.552347422 2930 0.739993
+213.350693941 2940 0.741497
+214.147793055 2950 0.744103
+214.955798864 2960 0.747511
+215.754304647 2970 0.750418
+216.553786993 2980 0.753458
+217.349787474 2990 0.756498
+218.151792526 3000 0.759439
+218.95978713 3010 0.76298
+219.760289907 3020 0.766455
+220.567778587 3030 0.769596
+221.361796141 3040 0.773171
+222.149798632 3050 0.776311
+222.953788042 3060 0.779552
+223.75978756 3070 0.783562
+224.566377878 3080 0.787738
+225.361796141 3090 0.792616
+226.163796663 3100 0.796091
+226.971788645 3110 0.800234
+227.772299528 3120 0.804845
+228.579787016 3130 0.810358
+229.376293421 3140 0.814367
+230.173784971 3150 0.819178
+230.973786592 3160 0.822319
+231.772303104 3170 0.826662
+232.571798086 3180 0.831073
+233.374289513 3190 0.835216
+234.18229413 3200 0.838958
+234.9897964 3210 0.844637
+235.801786661 3220 0.846475
+236.619807482 3230 0.851186
+237.439791441 3240 0.854895
+238.263782024 3250 0.859338
+239.09029007 3260 0.863348
+239.922785044 3270 0.866121
+240.755818129 3280 0.868627
+241.587793589 3290 0.873471
+242.4302845 3300 0.877581
+243.26828742 3310 0.88002
+244.103770971 3320 0.882593
+244.931798697 3330 0.884764
+245.759790659 3340 0.888406
+246.587811232 3350 0.891046
+247.416299582 3360 0.89305
+248.244336605 3370 0.894855
+249.084300518 3380 0.894253
+249.911798716 3390 0.89716
+250.748317003 3400 0.900234
+251.580296993 3410 0.900434
+252.415808916 3420 0.903107
+253.253802061 3430 0.910792
+254.095799208 3440 0.908086
+254.929802656 3450 0.909756
+255.762290716 3460 0.908687
+256.599803686 3470 0.911226
+257.435806513 3480 0.908386
+258.261802435 3490 0.91303
+259.095797539 3500 0.913632
+259.932315111 3510 0.9143
+260.771790028 3520 0.911861
+261.607812166 3530 0.912763
+262.447800398 3540 0.913699
+263.283817053 3550 0.913699
+264.124291658 3560 0.915403
+264.952289581 3570 0.916071
+265.791792631 3580 0.918309
+266.62580204 3590 0.921149
+267.45579195 3600 0.920715
+268.28377986 3610 0.923221
+269.123802423 3620 0.927464
+269.963869572 3630 0.928433
+270.800307512 3640 0.927665
+271.640287638 3650 0.928233
+272.475796461 3660 0.931039
+273.315796137 3670 0.932075
+274.151793242 3680 0.932676
+274.979790926 3690 0.934714
+275.817807436 3700 0.93712
+276.647824049 3710 0.939626
+277.487781525 3720 0.941296
+278.324296951 3730 0.945239
+279.164293051 3740 0.948012
+279.998182058 3750 0.94868
+280.839798689 3760 0.951387
+281.67978406 3770 0.952756
+282.516319513 3780 0.956766
+283.356299639 3790 0.958537
+284.18979001 3800 0.960007
+285.031789541 3810 0.961945
+285.867804527 3820 0.96425
+286.694182158 3830 0.963816
+287.535783052 3840 0.965219
+288.370189428 3850 0.96699
+289.210187674 3860 0.969763
+290.037807226 3870 0.971099
+290.866298437 3880 0.973872
+291.69430995 3890 0.977748
+292.522298574 3900 0.979285
+293.353790522 3910 0.981022
+294.190289974 3920 0.982693
+295.018296957 3930 0.984397
+295.845798969 3940 0.987738
+296.674226999 3950 0.989542
+297.513798475 3960 0.98981
+298.342191458 3970 0.993485
+299.182294607 3980 0.995489
+300.017809629 3990 0.998296
+300.85779357 4000 1