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

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

diff --git a/research/TCS/2012-09-29/231359.dat.p b/research/TCS/2012-09-29/231359.dat.p
new file mode 100644 (file)
index 0000000..735198f
--- /dev/null
+++ b/research/TCS/2012-09-29/231359.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52945065498 0 0
+3.16583514214 10 0
+3.79382705688 20 0
+4.42632460594 30 0
+5.0618417263 40 0
+5.69382405281 50 0
+6.32182955742 60 0
+6.95382404327 70 0
+7.58183073997 80 0
+8.20984768867 90 0
+8.8458275795 100 0
+9.48183250427 110 0
+10.1218426228 120 0
+10.7618379593 130 0
+11.4018256664 140 0
+12.041813612 150 0
+12.6818230152 160 0
+13.3218300343 170 0
+13.9648220539 180 0
+14.6103196144 190 0
+15.2498290539 200 0
+15.8898265362 210 0
+16.5298190117 220 0
+17.1698150635 230 0
+17.8088276386 240 0
+18.4498236179 250 0
+19.0928015709 260 0
+19.7378098965 270 0
+20.3778245449 280 0
+21.0178251266 290 0
+21.6563169956 300 0
+22.297811985 310 0
+22.937823534 320 0
+23.5738341808 330 0
+24.2138330936 340 0
+24.8543155193 350 0
+25.4938235283 360 0
+26.1338026524 370 0
+26.7758233547 380 0
+27.413816452 390 0
+28.0542960167 400 0
+28.6962981224 410 0
+29.3338096142 420 0
+29.9698474407 430 0
+30.6098282337 440 0
+31.2498271465 450 0
+31.8898193836 460 0
+32.5303189754 470 0
+33.1698160172 480 0
+33.8098156452 490 0
+34.445836544 500 0
+35.0858376026 510 0
+35.7258250713 520 0
+36.3658249378 530 0
+37.0058295727 540 0
+37.6458230019 550 0
+38.285834074 560 0
+38.9263150692 570 0
+39.565819025 580 0
+40.2018306255 590 0
+40.8423395157 600 0
+41.481826067 610 0
+42.1218316555 620 0
+42.7618248463 630 0
+43.4018335342 640 0
+44.0418245792 650 0
+44.6818192005 660 0
+45.3242990971 670 0
+45.9698269367 680 0
+46.6098229885 690 0
+47.2498240471 700 0
+47.889819622 710 0
+48.5298185349 720 0
+49.172301054 730 0
+49.8178310394 740 0
+50.4578197002 750 0
+51.097827673 760 0
+51.7343325615 770 0
+52.3778164387 780 0
+53.0178220272 790 0
+53.6578221321 800 0
+54.2943415642 810 0
+54.9363329411 820 0
+55.5738434792 830 0
+56.2138431072 840 0
+56.8538305759 850 0
+57.4943270683 860 0
+58.1338324547 870 0
+58.7738165855 880 0
+59.4138324261 890 0
+60.0538136959 900 0
+60.6938095093 910 0
+61.3343589306 920 0
+61.989834547 930 0
+62.6298410892 940 0
+63.2698194981 950 0
+63.9098241329 960 0
+64.5502994061 970 0
+65.1978299618 980 0
+65.8403289318 990 0
+66.4898378849 1000 0
+67.1418135166 1010 0
+67.790307045 1020 0
+68.4378390312 1030 0
+69.0898096561 1040 0
+69.7378134727 1050 0
+70.39230299 1060 0
+71.0378215313 1070 0
+71.6858222485 1080 0
+72.3383285999 1090 0
+72.986315012 1100 0
+73.640307188 1110 0
+74.2858331203 1120 0
+74.9338254929 1130 0
+75.5858166218 1140 0
+76.2338073254 1150 0
+76.8818361759 1160 0
+77.5338275433 1170 0
+78.1818621159 1180 0
+78.833827734 1190 0
+79.4818408489 1200 0
+80.1338217258 1210 0
+80.7823040485 1220 0
+81.4298205376 1230 0
+82.0828280449 1240 0
+82.7298300266 1250 0
+83.377835989 1260 0
+84.0323121548 1270 0
+84.6778290272 1280 0
+85.3258254528 1290 0
+85.9777877331 1300 0
+86.6258089542 1310 0
+87.2738726139 1320 0
+87.9258151054 1330 0
+88.5738260746 1340 0
+89.2258164883 1350 0
+89.8738234043 1360 0
+90.5218999386 1370 0
+91.1738204956 1380 0
+91.8218119144 1390 0
+92.4723215103 1400 0
+93.1218230724 1410 0
+93.770421505 1420 0
+94.4218108654 1430 0
+95.0698306561 1440 0
+95.721824646 1450 0
+96.3698251247 1460 0
+97.0178260803 1470 0
+97.6698040962 1480 0
+98.320319891 1490 0
+98.965811491 1500 0
+99.6178600788 1510 0
+100.269823074 1520 0
+100.913838148 1530 0
+101.565818071 1540 0
+102.213831186 1550 0
+102.866829157 1560 0
+103.544318438 1570 0.000478698
+104.28184247 1580 0.000478698
+105.057811499 1590 0.00387745
+105.840306044 1600 0.0134035
+106.618332624 1610 0.0185735
+107.400313139 1620 0.0275251
+108.175825119 1630 0.036046
+108.956325531 1640 0.0462901
+109.735809565 1650 0.0567736
+110.517813921 1660 0.0661082
+111.307822466 1670 0.0779799
+112.104297638 1680 0.0905697
+112.893842459 1690 0.102585
+113.674308062 1700 0.116324
+114.456310034 1710 0.128913
+115.2438519 1720 0.140785
+116.03867054 1730 0.155577
+116.823822737 1740 0.166683
+117.612325907 1750 0.179512
+118.404301643 1760 0.193394
+119.18981719 1770 0.208712
+119.972326994 1780 0.21843
+120.75783062 1790 0.231307
+121.538813591 1800 0.245716
+122.319798708 1810 0.259454
+123.114311457 1820 0.276783
+123.897821665 1830 0.290761
+124.690351725 1840 0.307516
+125.47832942 1850 0.324461
+126.27030611 1860 0.340977
+127.069806337 1870 0.356486
+127.870298624 1880 0.370847
+128.657814503 1890 0.386309
+129.445812941 1900 0.401867
+130.236324072 1910 0.414935
+131.025799036 1920 0.427477
+131.81382513 1930 0.43686
+132.60580802 1940 0.449497
+133.401829958 1950 0.451125
+134.194318533 1960 0.456247
+134.994315863 1970 0.460507
+135.792325497 1980 0.463332
+136.589833498 1990 0.464337
+137.377833128 2000 0.468023
+138.171798944 2010 0.470512
+138.972311974 2020 0.471613
+139.76781559 2030 0.474868
+140.567833185 2040 0.477693
+141.367825508 2050 0.480996
+142.167815924 2060 0.48449
+142.967817068 2070 0.488272
+143.766324759 2080 0.491527
+144.565827608 2090 0.496649
+145.365813971 2100 0.500957
+146.165815592 2110 0.508856
+146.965810061 2120 0.511632
+147.766326189 2130 0.516419
+148.566316843 2140 0.519722
+149.373813868 2150 0.525323
+150.170346975 2160 0.530541
+150.96982646 2170 0.536046
+151.770327091 2180 0.540115
+152.56783843 2190 0.546482
+153.367824554 2200 0.551699
+154.169816017 2210 0.556391
+154.968329668 2220 0.564289
+155.76782012 2230 0.569028
+156.567821741 2240 0.576831
+157.363829613 2250 0.581857
+158.165823221 2260 0.586405
+158.963826895 2270 0.596458
+159.766311884 2280 0.598325
+160.57382369 2290 0.604691
+161.374306917 2300 0.615175
+162.180838346 2310 0.62135
+162.984318018 2320 0.624749
+163.789832115 2330 0.63236
+164.589842081 2340 0.637674
+165.391814947 2350 0.645572
+166.19788003 2360 0.654236
+166.997823954 2370 0.66381
+167.809812069 2380 0.667449
+168.618308067 2390 0.673193
+169.42582345 2400 0.682719
+170.225831509 2410 0.688942
+171.026314497 2420 0.69842
+171.833822966 2430 0.701867
+172.635808706 2440 0.709335
+173.433824062 2450 0.717472
+174.241824865 2460 0.723983
+175.041814089 2470 0.729871
+175.841832399 2480 0.735328
+176.64181757 2490 0.741503
+177.443818092 2500 0.747678
+178.252310038 2510 0.753183
+179.058837652 2520 0.758114
+179.857814074 2530 0.76247
+180.659832716 2540 0.76697
+181.46980691 2550 0.771853
+182.267823935 2560 0.77482
+183.078320026 2570 0.778602
+183.886332512 2580 0.781666
+184.694396973 2590 0.783341
+185.507819653 2600 0.785878
+186.314316511 2610 0.786357
+187.11631465 2620 0.788128
+187.921836138 2630 0.788176
+188.723800898 2640 0.789134
+189.53381896 2650 0.791288
+190.342312574 2660 0.791479
+191.151817083 2670 0.789708
+191.964313507 2680 0.789612
+192.771322012 2690 0.787889
+193.579826117 2700 0.78808
+194.392309904 2710 0.786932
+195.197875738 2720 0.785543
+196.007825613 2730 0.787219
+196.819815397 2740 0.787027
+197.627794504 2750 0.785687
+198.436305046 2760 0.786213
+199.248305559 2770 0.784825
+200.052328587 2780 0.786022
+200.855813026 2790 0.784442
+201.661823511 2800 0.784011
+202.459808588 2810 0.78449
+203.26030612 2820 0.785065
+204.064306974 2830 0.78449
+204.869827032 2840 0.785639
+205.681843042 2850 0.785543
+206.489804029 2860 0.787171
+207.295822382 2870 0.787602
+208.106323957 2880 0.787602
+208.903835058 2890 0.787985
+209.706316233 2900 0.789277
+210.505817652 2910 0.789564
+211.30431366 2920 0.790522
+212.103812456 2930 0.791527
+212.914312601 2940 0.792724
+213.719834089 2950 0.79574
+214.522316456 2960 0.797319
+215.332299948 2970 0.801819
+216.131817102 2980 0.802585
+216.928323984 2990 0.806893
+217.727828026 3000 0.809718
+218.52782464 3010 0.812207
+219.327825546 3020 0.815462
+220.127815962 3030 0.817329
+220.935831547 3040 0.819435
+221.737811565 3050 0.822642
+222.543835878 3060 0.82561
+223.343820095 3070 0.831977
+224.143820524 3080 0.832791
+224.95431757 3090 0.837003
+225.751824141 3100 0.840594
+226.565802097 3110 0.843705
+227.371823549 3120 0.848444
+228.182326555 3130 0.853423
+228.992326975 3140 0.857539
+229.798331022 3150 0.865965
+230.601812124 3160 0.866156
+231.409819126 3170 0.870225
+232.207801104 3180 0.874725
+233.015826941 3190 0.879703
+233.817820072 3200 0.883772
+234.625819445 3210 0.88674
+235.424315214 3220 0.892676
+236.237804174 3230 0.896362
+237.044830561 3240 0.898947
+237.854324102 3250 0.902681
+238.663806677 3260 0.90809
+239.474322557 3270 0.908281
+240.281815052 3280 0.909239
+241.091819048 3290 0.913404
+241.902312517 3300 0.91393
+242.710767508 3310 0.916419
+243.523834467 3320 0.917951
+244.329818964 3330 0.919818
+245.137830973 3340 0.921254
+245.949805021 3350 0.921733
+246.760323048 3360 0.921158
+247.577819109 3370 0.922068
+248.38582921 3380 0.921733
+249.200310469 3390 0.923696
+250.008311033 3400 0.922786
+250.8158319 3410 0.923025
+251.628320456 3420 0.923025
+252.435828924 3430 0.923217
+253.247800112 3440 0.922595
+254.053819656 3450 0.92135
+254.862303972 3460 0.920871
+255.663824558 3470 0.921541
+256.469834566 3480 0.920823
+257.282335043 3490 0.921206
+258.092324972 3500 0.921206
+258.899819613 3510 0.921015
+259.712352991 3520 0.92135
+260.519812107 3530 0.920728
+261.331819057 3540 0.921063
+262.139801025 3550 0.92135
+262.94780612 3560 0.921781
+263.760308981 3570 0.921015
+264.579820395 3580 0.921733
+265.386328936 3590 0.922068
+266.207790136 3600 0.9236
+267.016313553 3610 0.923887
+267.823836565 3620 0.925515
+268.63582015 3630 0.926328
+269.456306934 3640 0.927908
+270.271820068 3650 0.93078
+271.081830025 3660 0.930637
+271.900333166 3670 0.932456
+272.712310553 3680 0.934753
+273.519813061 3690 0.936094
+274.337837934 3700 0.937434
+275.147831678 3710 0.939349
+275.959824562 3720 0.940211
+276.768321037 3730 0.941647
+277.587828636 3740 0.943609
+278.406311035 3750 0.945189
+279.215821505 3760 0.94696
+280.022348166 3770 0.95012
+280.833824396 3780 0.95596
+281.64380765 3790 0.954236
+282.461834669 3800 0.956199
+283.284318686 3810 0.959167
+284.097840548 3820 0.961034
+284.911821604 3830 0.963236
+285.729817152 3840 0.964959
+286.539826632 3850 0.965821
+287.357831478 3860 0.968119
+288.167846918 3870 0.970129
+288.973842382 3880 0.972666
+289.78581357 3890 0.974677
+290.597810507 3900 0.975969
+291.415832043 3910 0.978554
+292.235818624 3920 0.982767
+293.05233407 3930 0.983293
+293.861827612 3940 0.985017
+294.672331095 3950 0.987267
+295.489836454 3960 0.988846
+296.3043015 3970 0.989804
+297.120321035 3980 0.992915
+297.939902544 3990 0.994351
+298.74982667 4000 1