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

[matches/honours.git] / research / TCS / 2012-09-27 / 165108.dat.p

diff --git a/research/TCS/2012-09-27/165108.dat.p b/research/TCS/2012-09-27/165108.dat.p
new file mode 100644 (file)
index 0000000..d4d33d0
--- /dev/null
+++ b/research/TCS/2012-09-27/165108.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53297567368 0 0
+3.16786289215 10 0
+3.80538368225 20 0
+4.4333782196 30 0
+5.06138801575 40 0
+5.69383645058 50 0
+6.32987642288 60 0
+6.95736956596 70 0
+7.58985090256 80 0
+8.22538495064 90 0
+8.85789394379 100 0
+9.49736142159 110 0
+10.1373744011 120 0
+10.7734136581 130 0
+11.4133644104 140 0
+12.0503931046 150 0
+12.6893701553 160 0
+13.3298578262 170 0
+13.9653806686 180 0
+14.6053786278 190 0
+15.2464215755 200 0
+15.8818674088 210 0
+16.5233845711 220 0
+17.1598644257 230 0
+17.7973704338 240 0
+18.4398345947 250 0
+19.0773630142 260 0
+19.7173924446 270 0
+20.3533816338 280 0
+20.9938504696 290 0
+21.634380579 300 0
+22.269849062 310 0
+22.9093630314 320 0
+23.54936409 330 0
+24.1853804588 340 0
+24.8258943558 350 0
+25.4653668404 360 0
+26.1058754921 370 0
+26.7439026833 380 0
+27.381364584 390 0
+28.0213475227 400 0
+28.6573815346 410 0
+29.2984461784 420 0
+29.9378609657 430 0
+30.5733671188 440 0
+31.2133424282 450 0
+31.8533563614 460 0
+32.4903490543 470 0
+33.1293563843 480 0
+33.7698636055 490 0
+34.4053804874 500 0
+35.0458679199 510 0
+35.6853709221 520 0
+36.3253409863 530 0
+36.9618401527 540 0
+37.6013710499 550 0
+38.2383265495 560 0
+38.8773136139 570 0
+39.5178713799 580 0
+40.1573829651 590 0
+40.7933716774 600 0
+41.433883667 610 0
+42.0733561516 620 0
+42.7093801498 630 0
+43.3523840904 640 0
+43.9893555641 650 0
+44.6253886223 660 0
+45.2653679848 670 0
+45.9053573608 680 0
+46.5458436012 690 0
+47.1838583946 700 0
+47.8214380741 710 0
+48.4703800678 720 0
+49.1093859673 730 0
+49.7573990822 740 0
+50.3984024525 750 0
+51.0338480473 760 0
+51.6733634472 770 0
+52.3133749962 780 0
+52.9518413544 790 0
+53.5893774033 800 0
+54.2298755646 810 0
+54.8693604469 820 0
+55.5053858757 830 0
+56.1458649635 840 0
+56.7853605747 850 0
+57.4243583679 860 0
+58.0738584995 870 0
+58.7098646164 880 0
+59.35187006 890 0
+59.9893684387 900 0
+60.6318399906 910 0
+61.2773630619 920 0
+61.925383091 930 0
+62.5653748512 940 0
+63.2019033432 950 0
+63.8443579674 960 0
+64.4920949936 970 0
+65.1298408508 980 0
+65.7693605423 990 0
+66.4093790054 1000 0
+67.0613980293 1010 0
+67.7093570232 1020 0
+68.3584010601 1030 0
+69.005384922 1040 0
+69.6603708267 1050 0
+70.3053910732 1060 0
+70.9533419609 1070 0
+71.6013441086 1080 0
+72.2493910789 1090 0
+72.9013454914 1100 0
+73.5493619442 1110 0
+74.1978704929 1120 0
+74.8483748436 1130 0
+75.4933850765 1140 0
+76.1438879967 1150 0
+76.7958455086 1160 0
+77.4418480396 1170 0
+78.0893716812 1180 0
+78.7373805046 1190 0
+79.3893294334 1200 0
+80.0373659134 1210 0
+80.6863651276 1220 0
+81.3333675861 1230 0
+81.9818496704 1240 0
+82.622387886 1250 0
+83.2693953514 1260 0
+83.9218280315 1270 0
+84.5693604946 1280 0
+85.2173480988 1290 0
+85.8653740883 1300 0
+86.5133714676 1310 0
+87.1654310226 1320 0
+87.8133645058 1330 0
+88.4613614082 1340 0
+89.1093769073 1350 0
+89.7618899345 1360 0
+90.4173688889 1370 0
+91.069355011 1380 0
+91.7173359394 1390 0
+92.365363121 1400 0
+93.0133728981 1410 0
+93.6638429165 1420 0
+94.3133602142 1430 0
+94.9613549709 1440 0
+95.6093621254 1450 0
+96.257917881 1460 0
+96.9053735733 1470 0
+97.5598390102 1480 0
+98.2133893967 1490 0
+98.8655166626 1500 0
+99.5133318901 1510 0
+100.161363602 1520 0
+100.809369564 1530 0
+101.4573946 1540 0
+102.105375051 1550 0
+102.817857027 1560 0.000349663
+103.587883949 1570 0.00136368
+104.365852833 1580 0.00500017
+105.147368431 1590 0.0112941
+105.92681551 1600 0.0181125
+106.705357552 1610 0.0254554
+107.485374928 1620 0.0326585
+108.273857594 1630 0.0417497
+109.061377048 1640 0.049757
+109.841372967 1650 0.0577643
+110.629357576 1660 0.0695829
+111.417346478 1670 0.0780447
+112.2048316 1680 0.0869611
+112.985364914 1690 0.0984999
+113.773370981 1700 0.109829
+114.563363075 1710 0.120773
+115.355406046 1720 0.133606
+116.149357319 1730 0.146264
+116.937362909 1740 0.157278
+117.725862026 1750 0.169237
+118.513913631 1760 0.179272
+119.301372051 1770 0.191056
+120.090336084 1780 0.202804
+120.883852482 1790 0.214833
+121.681833982 1800 0.226861
+122.467373848 1810 0.239134
+123.255340099 1820 0.25354
+124.047855854 1830 0.268716
+124.835824013 1840 0.282178
+125.623358011 1850 0.296199
+126.415387154 1860 0.312109
+127.211354017 1870 0.32655
+128.007871628 1880 0.34148
+128.799907446 1890 0.35795
+129.597381115 1900 0.374733
+130.383876562 1910 0.390748
+131.177371979 1920 0.40949
+131.97388196 1930 0.428511
+132.775351048 1940 0.449456
+133.583346367 1950 0.474282
+134.379859924 1960 0.494178
+135.179861069 1970 0.513654
+135.987370968 1980 0.530368
+136.787420034 1990 0.546802
+137.593364716 2000 0.561733
+138.397553921 2010 0.574635
+139.203805447 2020 0.587923
+140.012318611 2030 0.598482
+140.809864044 2040 0.608413
+141.610787868 2050 0.613798
+142.421361923 2060 0.623798
+143.227865934 2070 0.632155
+144.035358429 2080 0.640232
+144.843369961 2090 0.64747
+145.653364182 2100 0.656596
+146.459857941 2110 0.664219
+147.269856453 2120 0.670233
+148.077886105 2130 0.677296
+148.877360582 2140 0.681632
+149.685839415 2150 0.686528
+150.48536253 2160 0.694815
+151.29387188 2170 0.697472
+152.102365017 2180 0.704046
+152.909386635 2190 0.711563
+153.71536684 2200 0.718242
+154.517368317 2210 0.724955
+155.325361013 2220 0.728207
+156.131880999 2230 0.73597
+156.933351994 2240 0.743732
+157.739864349 2250 0.750376
+158.549359322 2260 0.754327
+159.355890989 2270 0.758383
+160.169887543 2280 0.763803
+160.977863312 2290 0.771356
+161.785861969 2300 0.773943
+162.591861486 2310 0.778838
+163.399381638 2320 0.784083
+164.201846123 2330 0.78807
+165.009885788 2340 0.795168
+165.81734705 2350 0.800552
+166.62334156 2360 0.805448
+167.433859825 2370 0.80849
+168.240504026 2380 0.816112
+169.04935503 2390 0.819399
+169.857361555 2400 0.823735
+170.665359974 2410 0.828246
+171.473831654 2420 0.831882
+172.285351038 2430 0.834295
+173.091816902 2440 0.842337
+173.898328066 2450 0.843106
+174.711388588 2460 0.845589
+175.517862558 2470 0.847477
+176.32389164 2480 0.851603
+177.125364304 2490 0.853806
+177.93383646 2500 0.854855
+178.741369009 2510 0.856289
+179.54983592 2520 0.855135
+180.357861996 2530 0.858596
+181.169354916 2540 0.859296
+181.975860119 2550 0.858002
+182.785845041 2560 0.859296
+183.59137249 2570 0.858911
+184.40239501 2580 0.859086
+185.20991993 2590 0.858596
+186.021348 2600 0.857687
+186.828346014 2610 0.856638
+187.639347076 2620 0.855729
+188.447359562 2630 0.856009
+189.255360603 2640 0.853596
+190.063868046 2650 0.85531
+190.875838041 2660 0.853876
+191.681882858 2670 0.854191
+192.477364063 2680 0.852862
+193.287853956 2690 0.850799
+194.09781456 2700 0.848981
+194.906372547 2710 0.847547
+195.713355541 2720 0.847372
+196.524484634 2730 0.845589
+197.331365108 2740 0.843561
+198.137341976 2750 0.843456
+198.947902441 2760 0.840764
+199.754328966 2770 0.83919
+200.565852165 2780 0.837512
+201.383811951 2790 0.837302
+202.191375971 2800 0.836043
+202.997855186 2810 0.83454
+203.80936861 2820 0.83412
+204.617363453 2830 0.833141
+205.425832987 2840 0.831428
+206.233364105 2850 0.831078
+207.041381836 2860 0.829784
+207.85987711 2870 0.827651
+208.662374973 2880 0.82856
+209.469846487 2890 0.828106
+210.273860931 2900 0.827302
+211.075344086 2910 0.826952
+211.884322643 2920 0.825903
+212.689358234 2930 0.826253
+213.493370533 2940 0.825099
+214.299865007 2950 0.825903
+215.108854532 2960 0.826148
+215.915351868 2970 0.826952
+216.723360062 2980 0.825693
+217.523357868 2990 0.82426
+218.319368362 3000 0.825623
+219.12736845 3010 0.826532
+219.927377939 3020 0.827442
+220.73536706 3030 0.828071
+221.543381929 3040 0.830204
+222.355854988 3050 0.829889
+223.159835815 3060 0.833141
+223.959356546 3070 0.833071
+224.757873058 3080 0.836778
+225.559408665 3090 0.838736
+226.37937808 3100 0.840379
+227.173389912 3110 0.842687
+227.973839521 3120 0.845309
+228.771849155 3130 0.848736
+229.583360672 3140 0.851603
+230.379866123 3150 0.852407
+231.187871933 3160 0.85524
+231.987351894 3170 0.857093
+232.793389559 3180 0.859471
+233.581367016 3190 0.864156
+234.381363392 3200 0.866324
+235.183373451 3210 0.869611
+235.991855621 3220 0.872688
+236.789391994 3230 0.875905
+237.61135006 3240 0.882898
+238.434357643 3250 0.884297
+239.249883175 3260 0.887129
+240.071857452 3270 0.89101
+240.891367912 3280 0.893353
+241.711890697 3290 0.896989
+242.541374683 3300 0.899682
+243.371861458 3310 0.90171
+244.199361801 3320 0.903878
+245.027337551 3330 0.906815
+245.85792017 3340 0.909822
+246.69935298 3350 0.910696
+247.535362005 3360 0.914577
+248.377848625 3370 0.915976
+249.22190094 3380 0.918109
+250.057344437 3390 0.919123
+250.891335964 3400 0.921466
+251.731357574 3410 0.922095
+252.5718925 3420 0.923599
+253.419368505 3430 0.924438
+254.255373478 3440 0.926291
+255.095870495 3450 0.926571
+255.937917233 3460 0.929613
+256.771383524 3470 0.929718
+257.625873566 3480 0.929263
+258.460374594 3490 0.929228
+259.299413681 3500 0.930033
+260.137868404 3510 0.929578
+260.975370884 3520 0.929753
+261.81539011 3530 0.929683
+262.655845642 3540 0.931186
+263.491859436 3550 0.932235
+264.333846092 3560 0.931431
+265.171844482 3570 0.931431
+266.021381378 3580 0.931991
+266.857894421 3590 0.933949
+267.697365999 3600 0.934963
+268.535874844 3610 0.934648
+269.375076532 3620 0.935557
+270.211316586 3630 0.936187
+271.045853138 3640 0.936396
+271.879362583 3650 0.939543
+272.719367504 3660 0.93825
+273.557879448 3670 0.940557
+274.39586544 3680 0.94304
+275.235877514 3690 0.944439
+276.077378988 3700 0.945802
+276.92535162 3710 0.947201
+277.763877869 3720 0.947236
+278.597361088 3730 0.948355
+279.440327644 3740 0.948949
+280.279416084 3750 0.951956
+281.131371498 3760 0.95367
+281.975362539 3770 0.954544
+282.823366642 3780 0.956677
+283.661355019 3790 0.957516
+284.499869823 3800 0.960523
+285.33187604 3810 0.959579
+286.167371988 3820 0.962656
+287.005865574 3830 0.964369
+287.847351551 3840 0.965768
+288.683910847 3850 0.966677
+289.523350477 3860 0.968565
+290.35986352 3870 0.970034
+291.19985199 3880 0.973496
+292.03640151 3890 0.975524
+292.875353336 3900 0.977517
+293.715847969 3910 0.97958
+294.55083704 3920 0.982412
+295.37937355 3930 0.983776
+296.221859932 3940 0.985944
+297.055869579 3950 0.988077
+297.887330532 3960 0.990594
+298.721384048 3970 0.992028
+299.563360929 3980 0.994475
+300.401852608 3990 0.997308
+301.239371538 4000 1