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

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

diff --git a/research/TCS/2012-09-29/083810.dat.p b/research/TCS/2012-09-29/083810.dat.p
new file mode 100644 (file)
index 0000000..2a3d170
--- /dev/null
+++ b/research/TCS/2012-09-29/083810.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53042840958 0 0
+3.16477060318 10 0
+3.80129051208 20 0
+4.44085550308 30 0
+5.07878637314 40 0
+5.71078801155 50 0
+6.35326766968 60 0
+6.99277496338 70 0
+7.63278460503 80 0
+8.27078008652 90 0
+8.91327548027 100 0
+9.55278539658 110 0
+10.1927754879 120 0
+10.8312773705 130 0
+11.4712889194 140 0
+12.113270998 150 0
+12.7527651787 160 0
+13.3992865086 170 0
+14.0412731171 180 0
+14.6807761192 190 0
+15.3207650185 200 0
+15.9587726593 210 0
+16.6012711525 220 0
+17.2412691116 230 0
+17.877286911 240 0
+18.519297123 250 0
+19.1559159756 260 0
+19.7967748642 270 0
+20.4367823601 280 0
+21.076775074 290 0
+21.7147994041 300 0
+22.3572695255 310 0
+22.9972801208 320 0
+23.6427850723 330 0
+24.2847933769 340 0
+24.9247870445 350 0
+25.563297987 360 0
+26.2027974129 370 0
+26.8452794552 380 0
+27.4829106331 390 0
+28.1247804165 400 0
+28.7632980347 410 0
+29.4027733803 420 0
+30.0448088646 430 0
+30.6832971573 440 0
+31.3232984543 450 0
+31.9632697105 460 0
+32.6032924652 470 0
+33.2409143448 480 0
+33.8847634792 490 0
+34.5313153267 500 0
+35.1727750301 510 0
+35.8127689362 520 0
+36.458776474 530 0
+37.1007840633 540 0
+37.740778923 550 0
+38.3807690144 560 0
+39.0267906189 570 0
+39.6693120003 580 0
+40.308784008 590 0
+40.9487805367 600 0
+41.5867640972 610 0
+42.2292635441 620 0
+42.8767924309 630 0
+43.5147855282 640 0
+44.18729949 650 0
+44.8267736435 660 0
+45.4632863998 670 0
+46.1072154045 680 0
+46.7492730618 690 0
+47.39529562 700 0
+48.0367751122 710 0
+48.6850976944 720 0
+49.3347835541 730 0
+49.9767694473 740 0
+50.6252820492 750 0
+51.2633056641 760 0
+51.9027879238 770 0
+52.5447688103 780 0
+53.1932790279 790 0
+53.8307864666 800 0
+54.4713015556 810 0
+55.1112961769 820 0
+55.7527844906 830 0
+56.402780056 840 0
+57.0432829857 850 0
+57.6812884808 860 0
+58.3307750225 870 0
+58.9727635384 880 0
+59.6207740307 890 0
+60.271294117 900 0
+60.911301136 910 0
+61.5492925644 920 0
+62.1932806969 930 0
+62.8387799263 940 0
+63.4827675819 950 0
+64.1287875175 960 0
+64.7787759304 970 0
+65.4292800426 980 0
+66.0807771683 990 0
+66.7292876244 1000 0
+67.3793039322 1010 0
+68.0287771225 1020 0
+68.681319952 1030 0
+69.3287820816 1040 0
+69.9792859554 1050 0
+70.6292769909 1060 0
+71.2812800407 1070 0
+71.9272971153 1080 0
+72.5787949562 1090 0
+73.2287721634 1100 0
+73.8753080368 1110 0
+74.5272722244 1120 0
+75.1748085022 1130 0
+75.8267760277 1140 0
+76.4756441116 1150 0
+77.1287715435 1160 0
+77.7747805119 1170 0
+78.4247815609 1180 0
+79.0752830505 1190 0
+79.7247805595 1200 0
+80.3767828941 1210 0
+81.0227820873 1220 0
+81.6752984524 1230 0
+82.3233003616 1240 0
+82.9727795124 1250 0
+83.624765873 1260 0
+84.2707948685 1270 0
+84.9252786636 1280 0
+85.5827817917 1290 0
+86.2327680588 1300 0
+86.8847784996 1310 0
+87.5327630043 1320 0
+88.185274601 1330 0
+88.8312773705 1340 0
+89.478910923 1350 0
+90.1312885284 1360 0
+90.7792890072 1370 0
+91.4292914867 1380 0
+92.0787858963 1390 0
+92.7327744961 1400 0
+93.3807630539 1410 0
+94.028775692 1420 0
+94.6815440655 1430 0
+95.3272910118 1440 0
+95.9807665348 1450 0
+96.6287784576 1460 0
+97.2807683945 1470 0
+97.9287548065 1480 0
+98.5752944946 1490 0
+99.2287769318 1500 0
+99.8753025532 1510 0
+100.529265404 1520 0
+101.189268112 1530 0
+101.846912384 1540 0
+102.497271538 1550 0
+103.147269487 1560 0
+103.796780109 1570 0
+104.507258892 1580 0
+105.274784088 1590 0.000512007
+106.050760031 1600 0.00184322
+106.826764584 1610 0.00691209
+107.608786106 1620 0.0141826
+108.388784409 1630 0.0232963
+109.168789864 1640 0.0329732
+109.950790405 1650 0.0427013
+110.73982048 1660 0.0531975
+111.530783653 1670 0.063284
+112.321288109 1680 0.0740873
+113.112773418 1690 0.0882699
+113.901281357 1700 0.101377
+114.693279505 1710 0.115662
+115.479777813 1720 0.128718
+116.27126956 1730 0.142389
+117.060762405 1740 0.15606
+117.854768991 1750 0.168501
+118.649291039 1760 0.181814
+119.438785076 1770 0.197123
+120.229286671 1780 0.206851
+121.017301083 1790 0.22175
+121.808783054 1800 0.236342
+122.596784115 1810 0.250525
+123.388782024 1820 0.267267
+124.177274466 1830 0.282423
+124.966772556 1840 0.301572
+125.756809711 1850 0.314372
+126.550774097 1860 0.329681
+127.345294952 1870 0.346116
+128.138772964 1880 0.357381
+128.938776016 1890 0.37141
+129.737300873 1900 0.385131
+130.538772583 1910 0.397829
+131.334777355 1920 0.407455
+132.128777027 1930 0.418053
+132.929275036 1940 0.426041
+133.726790428 1950 0.43326
+134.525781155 1960 0.437612
+135.327920914 1970 0.441145
+136.126782417 1980 0.445292
+136.924790382 1990 0.449337
+137.725303173 2000 0.450207
+138.524774551 2010 0.452665
+139.326914549 2020 0.456454
+140.127792358 2030 0.460038
+140.926759005 2040 0.462496
+141.726769924 2050 0.464134
+142.533271551 2060 0.469203
+143.333274364 2070 0.47294
+144.132916451 2080 0.478521
+144.932797432 2090 0.482822
+145.73277092 2100 0.488505
+146.533281565 2110 0.492653
+147.332784653 2120 0.50023
+148.134776115 2130 0.500742
+148.93077302 2140 0.505299
+149.730773926 2150 0.510675
+150.530776501 2160 0.515642
+151.330909014 2170 0.519687
+152.130782127 2180 0.52496
+152.930820942 2190 0.530029
+153.730772018 2200 0.539399
+154.52879405 2210 0.544468
+155.329420567 2220 0.551021
+156.131284237 2230 0.557831
+156.939284086 2240 0.56377
+157.738790035 2250 0.569863
+158.538786411 2260 0.576059
+159.338778496 2270 0.581332
+160.13679266 2280 0.59188
+160.938772202 2290 0.593467
+161.746828556 2300 0.601147
+162.546791077 2310 0.607291
+163.347284317 2320 0.612462
+164.14677906 2330 0.619374
+164.946783066 2340 0.627771
+165.754897594 2350 0.633506
+166.552789688 2360 0.641442
+167.354920387 2370 0.64861
+168.162780046 2380 0.656904
+168.962785482 2390 0.660079
+169.777274132 2400 0.666479
+170.585761547 2410 0.673596
+171.39677 2420 0.680457
+172.205277443 2430 0.68911
+173.013786316 2440 0.696227
+173.818784237 2450 0.704675
+174.618801117 2460 0.711177
+175.420414448 2470 0.716195
+176.232774973 2480 0.724489
+177.038793564 2490 0.733193
+177.852753639 2500 0.740413
+178.658782005 2510 0.745226
+179.459280968 2520 0.751165
+180.266792059 2530 0.761354
+181.069289684 2540 0.762634
+181.876939535 2550 0.771594
+182.689278603 2560 0.772413
+183.500785351 2570 0.778148
+184.308773041 2580 0.781834
+185.11678195 2590 0.785981
+185.917289019 2600 0.789002
+186.729278088 2610 0.790026
+187.536764622 2620 0.794685
+188.346765995 2630 0.796273
+189.154806614 2640 0.797092
+189.964776516 2650 0.798423
+190.773420572 2660 0.798628
+191.584777117 2670 0.799396
+192.396783829 2680 0.801393
+193.204782486 2690 0.800471
+194.017273903 2700 0.800881
+194.824774981 2710 0.800471
+195.644780636 2720 0.80129
+196.453275681 2730 0.802314
+197.261291504 2740 0.802263
+198.072777033 2750 0.803389
+198.881289482 2760 0.802417
+199.69077158 2770 0.801649
+200.500790596 2780 0.801034
+201.31277442 2790 0.801239
+202.120780468 2800 0.799396
+202.932761669 2810 0.799754
+203.741271973 2820 0.799549
+204.548785448 2830 0.799959
+205.360773087 2840 0.800881
+206.168782949 2850 0.800317
+206.980775356 2860 0.800881
+207.786806583 2870 0.800317
+208.598773956 2880 0.802212
+209.408776522 2890 0.802775
+210.214790821 2900 0.802673
+211.026776075 2910 0.803185
+211.834793091 2920 0.803748
+212.641303539 2930 0.804874
+213.446783066 2940 0.805898
+214.25278759 2950 0.807742
+215.054773331 2960 0.810046
+215.862781048 2970 0.811326
+216.674770355 2980 0.813886
+217.48277998 2990 0.815882
+218.29476881 3000 0.818033
+219.102773666 3010 0.821156
+219.90276432 3020 0.823665
+220.708815098 3030 0.825355
+221.511324406 3040 0.828222
+222.310777664 3050 0.830782
+223.120778561 3060 0.835595
+223.923261642 3070 0.836414
+224.729776382 3080 0.841739
+225.528775692 3090 0.844299
+226.328764439 3100 0.84691
+227.138778687 3110 0.851672
+227.938776016 3120 0.856177
+228.749288559 3130 0.863755
+229.549291611 3140 0.865291
+230.358779907 3150 0.868978
+231.166790485 3160 0.873842
+231.977287292 3170 0.877272
+232.785288095 3180 0.881982
+233.599288464 3190 0.886744
+234.405286074 3200 0.891403
+235.207285404 3210 0.895704
+236.014796734 3220 0.899596
+236.826779127 3230 0.903948
+237.626780033 3240 0.909221
+238.435290813 3250 0.912344
+239.24328661 3260 0.916492
+240.05479002 3270 0.919257
+240.867266178 3280 0.922738
+241.676784992 3290 0.924581
+242.489265919 3300 0.926117
+243.308773518 3310 0.927807
+244.114779949 3320 0.929087
+244.924778938 3330 0.93093
+245.73726368 3340 0.932364
+246.544765949 3350 0.932774
+247.355297565 3360 0.934566
+248.164771557 3370 0.934719
+248.984776974 3380 0.935641
+249.792780399 3390 0.934975
+250.60129118 3400 0.93477
+251.412764549 3410 0.933746
+252.220783472 3420 0.932927
+253.031306505 3430 0.932518
+253.838786125 3440 0.932364
+254.649791002 3450 0.931084
+255.459267616 3460 0.931698
+256.26928401 3470 0.929394
+257.088925362 3480 0.93006
+257.909286976 3490 0.929138
+258.721282005 3500 0.928677
+259.526783943 3510 0.928575
+260.336783886 3520 0.927602
+261.145294666 3530 0.929804
+261.956786633 3540 0.927705
+262.764786005 3550 0.93134
+263.577302933 3560 0.927244
+264.384772062 3570 0.927756
+265.196774006 3580 0.928114
+266.004778385 3590 0.928729
+266.81278348 3600 0.929445
+267.624816418 3610 0.929292
+268.432787418 3620 0.930162
+269.244772911 3630 0.929702
+270.052784443 3640 0.934924
+270.872780085 3650 0.933081
+271.69276619 3660 0.934924
+272.500771523 3670 0.935282
+273.320775986 3680 0.937484
+274.128798485 3690 0.938918
+274.948776484 3700 0.939737
+275.757317066 3710 0.943628
+276.568776131 3720 0.943782
+277.376764536 3730 0.945369
+278.191283464 3740 0.947724
+279.009273529 3750 0.94967
+279.82277441 3760 0.950591
+280.636786461 3770 0.951052
+281.443282604 3780 0.954022
+282.2532866 3790 0.956172
+283.062792063 3800 0.958937
+283.872762203 3810 0.959961
+284.681295395 3820 0.961856
+285.492775917 3830 0.964672
+286.313263416 3840 0.966156
+287.119924545 3850 0.969075
+287.928788662 3860 0.970713
+288.737288952 3870 0.972505
+289.557805061 3880 0.974451
+290.37078619 3890 0.97783
+291.188771248 3900 0.979366
+292.008774042 3910 0.981261
+292.820774078 3920 0.983769
+293.634780407 3930 0.985971
+294.444785118 3940 0.98807
+295.257275581 3950 0.98976
+296.074783325 3960 0.991091
+296.882781029 3970 0.997389
+297.692784071 3980 0.995699
+298.505287647 3990 0.99831
+299.3233006 4000 1