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

[matches/honours.git] / research / TCS / 2012-09-29 / 163328.dat.p

diff --git a/research/TCS/2012-09-29/163328.dat.p b/research/TCS/2012-09-29/163328.dat.p
new file mode 100644 (file)
index 0000000..333886f
--- /dev/null
+++ b/research/TCS/2012-09-29/163328.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53107404709 0 0
+3.16794848442 10 0
+3.79594945908 20 0
+4.42395401001 30 0
+5.05594038963 40 0
+5.69195604324 50 0
+6.32395195961 60 0
+6.95443582535 70 0
+7.59194660187 80 0
+8.231944561 90 0
+8.87194299698 100 0
+9.51193547249 110 0
+10.1519651413 120 0
+10.7919664383 130 0
+11.431946516 140 0
+12.0719339848 150 0
+12.71195364 160 0
+13.347953558 170 0
+13.9879524708 180 0
+14.6279554367 190 0
+15.2679519653 200 0
+15.9079456329 210 0
+16.5504829884 220 0
+17.195933342 230 0
+17.8359451294 240 0
+18.4784619808 250 0
+19.1119599342 260 0
+19.7519631386 270 0
+20.3919444084 280 0
+21.0319504738 290 0
+21.6719355583 300 0
+22.312463522 310 0
+22.9479374886 320 0
+23.5879559517 330 0
+24.2279415131 340 0
+24.8679461479 350 0
+25.5079360008 360 0
+26.1489443779 370 0
+26.7849555016 380 0
+27.4239635468 390 0
+28.0644335747 400 0
+28.7063808441 410 0
+29.3439383507 420 0
+29.9839384556 430 0
+30.6239326 440 0
+31.2599663734 450 0
+31.8999533653 460 0
+32.5424361229 470 0
+33.1799387932 480 0
+33.8199334145 490 0
+34.4624228477 500 0
+35.1079344749 510 0
+35.7479465008 520 0
+36.388427496 530 0
+37.0239579678 540 0
+37.6639513969 550 0
+38.3039445877 560 0
+38.9439394474 570 0
+39.5839438438 580 0
+40.2224421501 590 0
+40.8639364243 600 0
+41.4999475479 610 0
+42.139966011 620 0
+42.7799305916 630 0
+43.4199504852 640 0
+44.0599789619 650 0
+44.6999495029 660 0
+45.335960865 670 0
+45.9759459496 680 0
+46.6204409599 690 0
+47.2664234638 700 0
+47.9063854218 710 0
+48.546444416 720 0
+49.1919474602 730 0
+49.8319494724 740 0
+50.4719250202 750 0
+51.1119410992 760 0
+51.7479519844 770 0
+52.3884375095 780 0
+53.0279483795 790 0
+53.6679444313 800 0
+54.3079485893 810 0
+54.9444630146 820 0
+55.5839576721 830 0
+56.2239589691 840 0
+56.8639559746 850 0
+57.5044350624 860 0
+58.1439528465 870 0
+58.7829420567 880 0
+59.4319534302 890 0
+60.0719246864 900 0
+60.7108929157 910 0
+61.3529405594 920 0
+61.9999394417 930 0
+62.6399450302 940 0
+63.2799379826 950 0
+63.9199345112 960 0
+64.5559484959 970 0
+65.1959409714 980 0
+65.8359484673 990 0
+66.4761500359 1000 0
+67.1279244423 1010 0
+67.7759466171 1020 0
+68.4309148788 1030 0
+69.0764446259 1040 0
+69.7239656448 1050 0
+70.3764529228 1060 0
+71.0239343643 1070 0
+71.6719498634 1080 0
+72.3239345551 1090 0
+72.9719724655 1100 0
+73.6204559803 1110 0
+74.2703995705 1120 0
+74.920135498 1130 0
+75.5679490566 1140 0
+76.2199344635 1150 0
+76.8679475784 1160 0
+77.5164399147 1170 0
+78.1679530144 1180 0
+78.8164510727 1190 0
+79.4639484882 1200 0
+80.1159510612 1210 0
+80.7639408112 1220 0
+81.4119439125 1230 0
+82.0659265518 1240 0
+82.7149133682 1250 0
+83.3599505424 1260 0
+84.0079500675 1270 0
+84.6583919525 1280 0
+85.307933569 1290 0
+85.9559373856 1300 0
+86.6039459705 1310 0
+87.2519469261 1320 0
+87.9039924145 1330 0
+88.5519332886 1340 0
+89.1999289989 1350 0
+89.8479554653 1360 0
+90.4964675903 1370 0
+91.1479439735 1380 0
+91.7969512939 1390 0
+92.4479310513 1400 0
+93.0959510803 1410 0
+93.7439489365 1420 0
+94.3959383965 1430 0
+95.0439581871 1440 0
+95.6919369698 1450 0
+96.3424386978 1460 0
+96.9919290543 1470 0
+97.6399483681 1480 0
+98.2919340134 1490 0
+98.9399440289 1500 0
+99.5879430771 1510 0
+100.239966393 1520 0
+100.887947083 1530 0
+101.535948277 1540 0
+102.18843317 1550 0
+102.835948467 1560 0
+103.543944597 1570 0.000901957
+104.314943075 1580 0.00279607
+105.089932919 1590 0.00897447
+105.869936943 1600 0.0169568
+106.652444363 1610 0.0257058
+107.438442469 1620 0.0359881
+108.219922543 1630 0.0450979
+109.006453514 1640 0.055741
+109.787950039 1650 0.0657527
+110.577933311 1660 0.0765762
+111.363950968 1670 0.0882114
+112.143948555 1680 0.099982
+112.923957825 1690 0.112068
+113.711947918 1700 0.125192
+114.494437933 1710 0.137188
+115.284440994 1720 0.151123
+116.071943998 1730 0.165374
+116.858432055 1740 0.179039
+117.640439987 1750 0.190493
+118.427937508 1760 0.202489
+119.209928989 1770 0.215117
+120.001949072 1780 0.228015
+120.788444042 1790 0.240236
+121.577941418 1800 0.25566
+122.369939327 1810 0.268964
+123.157949448 1820 0.285244
+123.945947647 1830 0.301569
+124.733967066 1840 0.316136
+125.525936127 1850 0.332326
+126.313947678 1860 0.350005
+127.10393405 1870 0.365112
+127.895923615 1880 0.379499
+128.689933538 1890 0.394381
+129.483931541 1900 0.41012
+130.279936314 1910 0.425453
+131.069930553 1920 0.440426
+131.85994792 1930 0.454
+132.64794302 1940 0.4655
+133.438936472 1950 0.475647
+134.238023996 1960 0.483088
+135.038449526 1970 0.487643
+135.838016033 1980 0.491206
+136.636015892 1990 0.49328
+137.438942432 2000 0.494994
+138.237987518 2010 0.498286
+139.034464359 2020 0.501669
+139.833942413 2030 0.504735
+140.633923531 2040 0.508569
+141.434891462 2050 0.5115
+142.233935595 2060 0.515198
+143.0319345 2070 0.520565
+143.831940413 2080 0.526157
+144.629990578 2090 0.536214
+145.432432175 2100 0.537882
+146.231930017 2110 0.543925
+147.032429695 2120 0.550059
+147.840424538 2130 0.553712
+148.637949467 2140 0.561017
+149.439980984 2150 0.5644
+150.235952377 2160 0.570488
+151.038433552 2170 0.574547
+151.846414089 2180 0.581537
+152.657935143 2190 0.587535
+153.465931416 2200 0.592631
+154.278426647 2210 0.598223
+155.085920811 2220 0.605033
+155.892440319 2230 0.611527
+156.693937063 2240 0.617345
+157.500453472 2250 0.621494
+158.299942493 2260 0.628213
+159.099931002 2270 0.639939
+159.902932644 2280 0.640209
+160.708439589 2290 0.647109
+161.507944107 2300 0.65198
+162.31645298 2310 0.660548
+163.115936995 2320 0.66817
+163.91296196 2330 0.674439
+164.713936567 2340 0.681564
+165.523941994 2350 0.688013
+166.331945896 2360 0.696582
+167.139944553 2370 0.701948
+167.940449953 2380 0.710021
+168.739951134 2390 0.718319
+169.539937019 2400 0.724723
+170.342431545 2410 0.731397
+171.148945332 2420 0.736493
+171.947928429 2430 0.743258
+172.755944014 2440 0.750023
+173.555932522 2450 0.756472
+174.363935947 2460 0.76053
+175.166431904 2470 0.765987
+175.971949577 2480 0.771624
+176.773944855 2490 0.776179
+177.585926056 2500 0.78096
+178.391942024 2510 0.783666
+179.199948311 2520 0.78804
+179.999938488 2530 0.790475
+180.807950497 2540 0.792279
+181.610445023 2550 0.795707
+182.418436527 2560 0.798773
+183.229928493 2570 0.799585
+184.037938595 2580 0.801028
+184.846440792 2590 0.801073
+185.655934334 2600 0.804997
+186.465932369 2610 0.802697
+187.273941994 2620 0.802516
+188.084467888 2630 0.802562
+188.891952991 2640 0.800893
+189.700456142 2650 0.801344
+190.500463963 2660 0.800126
+191.307949543 2670 0.800126
+192.10794878 2680 0.799991
+192.907957554 2690 0.80184
+193.717955589 2700 0.79733
+194.529932499 2710 0.795662
+195.336468935 2720 0.794354
+196.145943642 2730 0.794534
+196.955930471 2740 0.796879
+197.761958122 2750 0.79733
+198.564443588 2760 0.793181
+199.371939182 2770 0.791918
+200.171947479 2780 0.791693
+200.982436657 2790 0.790881
+201.792944908 2800 0.790069
+202.599965572 2810 0.790205
+203.407986164 2820 0.790566
+204.21995306 2830 0.790024
+205.027946472 2840 0.792369
+205.835953474 2850 0.791377
+206.647934914 2860 0.791332
+207.455934525 2870 0.791467
+208.263941526 2880 0.792369
+209.062434912 2890 0.79733
+209.86995697 2900 0.795526
+210.672440052 2910 0.795571
+211.481933117 2920 0.795616
+212.289949417 2930 0.796428
+213.089933395 2940 0.797285
+213.885944843 2950 0.79945
+214.685954094 2960 0.800758
+215.488420486 2970 0.803373
+216.294449091 2980 0.805673
+217.09402895 2990 0.808334
+217.894018173 3000 0.810724
+218.701937437 3010 0.813701
+219.502446413 3020 0.81555
+220.309958935 3030 0.81785
+221.108458042 3040 0.823487
+221.912435532 3050 0.822901
+222.717961311 3060 0.825967
+223.529995918 3070 0.827907
+224.338945389 3080 0.831605
+225.137939453 3090 0.835077
+225.946431398 3100 0.837648
+226.757954121 3110 0.842112
+227.553956509 3120 0.845856
+228.361960888 3130 0.850365
+229.161957979 3140 0.853748
+229.976925373 3150 0.856589
+230.781949997 3160 0.862722
+231.589943886 3170 0.864752
+232.397958517 3180 0.868495
+233.208428383 3190 0.873185
+234.010918617 3200 0.877199
+234.817932606 3210 0.881438
+235.625953197 3220 0.885136
+236.435951471 3230 0.889646
+237.2459445 3240 0.894742
+238.055932999 3250 0.896455
+238.863950968 3260 0.899612
+239.675923347 3270 0.9034
+240.483932018 3280 0.904347
+241.28993988 3290 0.910526
+242.091946602 3300 0.909263
+242.899957418 3310 0.911924
+243.709942579 3320 0.91242
+244.519960403 3330 0.915171
+245.327940464 3340 0.91711
+246.136450052 3350 0.918192
+246.936461449 3360 0.920673
+247.746454954 3370 0.920943
+248.555938005 3380 0.921214
+249.366437435 3390 0.921169
+250.172455072 3400 0.920989
+250.986439466 3410 0.921214
+251.805929184 3420 0.920808
+252.613919973 3430 0.920673
+253.422904968 3440 0.920763
+254.231939554 3450 0.920898
+255.041933537 3460 0.920898
+255.861931324 3470 0.920583
+256.669924498 3480 0.919771
+257.47794342 3490 0.91941
+258.289914608 3500 0.919455
+259.097933531 3510 0.919681
+259.917945385 3520 0.919636
+260.726448536 3530 0.91941
+261.544425488 3540 0.922251
+262.352452517 3550 0.922702
+263.165924072 3560 0.920628
+263.971936941 3570 0.921304
+264.78195405 3580 0.92171
+265.590439558 3590 0.922928
+266.402472496 3600 0.922792
+267.209938526 3610 0.924957
+268.01794672 3620 0.926671
+268.833930016 3630 0.926941
+269.64644146 3640 0.928069
+270.458442211 3650 0.929692
+271.265945435 3660 0.930143
+272.074471951 3670 0.933977
+272.885938644 3680 0.934608
+273.705927372 3690 0.934338
+274.523955107 3700 0.936592
+275.333940983 3710 0.938937
+276.154424429 3720 0.940426
+276.96194458 3730 0.941598
+277.781952381 3740 0.943357
+278.596448421 3750 0.945296
+279.39794445 3760 0.946469
+280.217946529 3770 0.949085
+281.038436413 3780 0.951069
+281.845921993 3790 0.953684
+282.654447079 3800 0.956571
+283.465928078 3810 0.957879
+284.274431467 3820 0.958465
+285.094404936 3830 0.961261
+285.901929855 3840 0.96293
+286.709952354 3850 0.964733
+287.522927523 3860 0.967214
+288.341943979 3870 0.970281
+289.158426046 3880 0.9724
+289.969938993 3890 0.976279
+290.785928965 3900 0.977496
+291.597916126 3910 0.980157
+292.40594101 3920 0.982412
+293.212435722 3930 0.985524
+294.025934458 3940 0.986516
+294.845932007 3950 0.989853
+295.653934479 3960 0.991251
+296.461952686 3970 0.992965
+297.280029535 3980 0.994363
+298.089938641 3990 0.997429
+298.898442984 4000 1