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

[matches/honours.git] / research / TCS / 2012-10-01 / 133947.dat.p

diff --git a/research/TCS/2012-10-01/133947.dat.p b/research/TCS/2012-10-01/133947.dat.p
new file mode 100644 (file)
index 0000000..2856f34
--- /dev/null
+++ b/research/TCS/2012-10-01/133947.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.5283434391 0 0
+3.16117453575 10 0
+3.78918457031 20 0
+4.41965889931 30 0
+5.05716705322 40 0
+5.6856815815 50 0
+6.31715512276 60 0
+6.95318102837 70 0
+7.58116364479 80 0
+8.21018242836 90 0
+8.84165692329 100 0
+9.4811694622 110 0
+10.1171560287 120 0
+10.7571656704 130 0
+11.3971545696 140 0
+12.0396430492 150 0
+12.6851556301 160 0
+13.3252341747 170 0
+13.9616539478 180 0
+14.6020555496 190 0
+15.2411663532 200 0
+15.877161026 210 0
+16.51816535 220 0
+17.1596550941 230 0
+17.8051679134 240 0
+18.4436640739 250 0
+19.0811700821 260 0
+19.7212126255 270 0
+20.3616573811 280 0
+21.0011866093 290 0
+21.6396510601 300 0
+22.2771821022 310 0
+22.9156596661 320 0
+23.5536715984 330 0
+24.1931800842 340 0
+24.8331644535 350 0
+25.473146677 360 0
+26.1096615791 370 0
+26.7491660118 380 0
+27.3901600838 390 0
+28.0251774788 400 0
+28.6681730747 410 0
+29.306150198 420 0
+29.9411699772 430 0
+30.5811624527 440 0
+31.222162962 450 0
+31.8571622372 460 0
+32.4971625805 470 0
+33.1371605396 480 0
+33.7756626606 490 0
+34.4141740799 500 0
+35.0531613827 510 0
+35.697147131 520 0
+36.3412060738 530 0
+36.9811666012 540 0
+37.6171765327 550 0
+38.2571618557 560 0
+38.8961670399 570 0
+39.5331730843 580 0
+40.1731579304 590 0
+40.8131635189 600 0
+41.4556539059 610 0
+42.1031386852 620 0
+42.7411625385 630 0
+43.381175518 640 0
+44.023663044 650 0
+44.6756594181 660 0
+45.3211610317 670 0
+45.9611730576 680 0
+46.597162962 690 0
+47.2371630669 700 0
+47.8731601238 710 0
+48.5131905079 720 0
+49.1531751156 730 0
+49.7956440449 740 0
+50.4411640167 750 0
+51.0771725178 760 0
+51.7171676159 770 0
+52.3571650982 780 0
+52.9936659336 790 0
+53.6331715584 800 0
+54.2731626034 810 0
+54.9116740227 820 0
+55.5491917133 830 0
+56.189157486 840 0
+56.8251731396 850 0
+57.4651730061 860 0
+58.1051585674 870 0
+58.7456555367 880 0
+59.3931519985 890 0
+60.0291650295 900 0
+60.6696665287 910 0
+61.3091671467 920 0
+61.9451739788 930 0
+62.5851676464 940 0
+63.2221801281 950 0
+63.8616549969 960 0
+64.5016605854 970 0
+65.1412110329 980 0
+65.7771584988 990 0
+66.4181785583 1000 0
+67.071652174 1010 0
+67.7171635628 1020 0
+68.3661735058 1030 0
+69.0131762028 1040 0
+69.6611816883 1050 0
+70.313169241 1060 0
+70.9611580372 1070 0
+71.609162569 1080 0
+72.2581725121 1090 0
+72.9051575661 1100 0
+73.5531475544 1110 0
+74.2051770687 1120 0
+74.8531501293 1130 0
+75.5011560917 1140 0
+76.1491811275 1150 0
+76.7971730232 1160 0
+77.4451785088 1170 0
+78.0971691608 1180 0
+78.745143652 1190 0
+79.3931601048 1200 0
+80.0411727428 1210 0
+80.6891784668 1220 0
+81.3376791477 1230 0
+81.9856805801 1240 0
+82.6356635094 1250 0
+83.2851595879 1260 0
+83.9332330227 1270 0
+84.5811696053 1280 0
+85.811652422 1290 0
+86.4571754932 1300 0
+87.1051726341 1310 0
+87.7556650639 1320 0
+88.4051554203 1330 0
+89.0531470776 1340 0
+89.7036602497 1350 0
+90.3576829433 1360 0
+91.0091588497 1370 0
+91.657173872 1380 0
+92.3051674366 1390 0
+92.9531629086 1400 0
+93.6051695347 1410 0
+94.2531580925 1420 0
+94.9011766911 1430 0
+95.5491654873 1440 0
+96.1971690655 1450 0
+96.8451936245 1460 0
+97.4981684685 1470 0
+98.1451923847 1480 0
+98.7936608791 1490 0
+99.4411609173 1500 0
+100.091665983 1510 0
+100.737159014 1520 0
+101.386196613 1530 0
+102.037172556 1540 0
+102.70916152 1550 0
+103.439171076 1560 0.00261418
+104.205661535 1570 0.00324906
+104.983648062 1580 0.00873884
+105.7651546 1590 0.0162079
+106.551674128 1600 0.0241999
+107.331650496 1610 0.0320424
+108.111668587 1620 0.0409306
+108.88967061 1630 0.0483251
+109.677181482 1640 0.0579228
+110.45915556 1650 0.0669978
+111.245662451 1660 0.0768943
+112.033668995 1670 0.0881727
+112.821521044 1680 0.0989282
+113.609167576 1690 0.11002
+114.391174078 1700 0.121896
+115.180536509 1710 0.132016
+115.967668533 1720 0.145573
+116.75316453 1730 0.159465
+117.543655634 1740 0.168652
+118.329148054 1750 0.178474
+119.119664907 1760 0.190835
+119.909159422 1770 0.201031
+120.695167542 1780 0.215857
+121.47516942 1790 0.222803
+122.263163328 1800 0.235911
+123.053162575 1810 0.250215
+123.84166503 1820 0.262651
+124.631164551 1830 0.278523
+125.419488668 1840 0.291033
+126.20766139 1850 0.306009
+126.993669987 1860 0.321171
+127.783668518 1870 0.336557
+128.571158171 1880 0.352765
+129.359173536 1890 0.370878
+130.153646469 1900 0.38802
+130.949667931 1910 0.406506
+131.747177362 1920 0.42544
+132.537155867 1930 0.444822
+133.32517457 1940 0.4623
+134.125159025 1950 0.482504
+134.923182487 1960 0.501811
+135.723665953 1970 0.518915
+136.523663044 1980 0.535049
+137.319200993 1990 0.546999
+138.119669199 2000 0.556074
+138.919147015 2010 0.566158
+139.715167046 2020 0.571386
+140.517158031 2030 0.578108
+141.315165997 2040 0.583747
+142.113152027 2050 0.591216
+142.911162615 2060 0.600889
+143.709690094 2070 0.602831
+144.509648085 2080 0.607574
+145.315168142 2090 0.614034
+146.115156412 2100 0.618815
+146.917660475 2110 0.625051
+147.725154638 2120 0.631027
+148.521669626 2130 0.635807
+149.321154356 2140 0.640587
+150.11916995 2150 0.646973
+150.917169094 2160 0.649363
+151.717163324 2170 0.653919
+152.513652563 2180 0.663256
+153.313156605 2190 0.666729
+154.113157034 2200 0.674945
+154.921165228 2210 0.677559
+155.721167564 2220 0.682489
+156.529162645 2230 0.686111
+157.32517457 2240 0.691638
+158.123176575 2250 0.697987
+158.925166368 2260 0.701199
+159.733654022 2270 0.704971
+160.533169508 2280 0.710162
+161.341751575 2290 0.716324
+162.149665594 2300 0.721515
+162.955658674 2310 0.727117
+163.751543522 2320 0.729469
+164.553147554 2330 0.734287
+165.361164093 2340 0.739403
+166.167670488 2350 0.744669
+166.967673063 2360 0.74691
+167.765658617 2370 0.750644
+168.57317853 2380 0.753781
+169.381674051 2390 0.755835
+170.189156055 2400 0.758972
+170.985682011 2410 0.759719
+171.787652969 2420 0.759757
+172.591681004 2430 0.762333
+173.393151522 2440 0.765508
+174.201445341 2450 0.767151
+175.00917697 2460 0.766889
+175.805674076 2470 0.768383
+176.607637167 2480 0.76984
+177.415151358 2490 0.768197
+178.221183538 2500 0.770811
+179.021659136 2510 0.771035
+179.829176188 2520 0.771072
+180.637165546 2530 0.770997
+181.437032938 2540 0.771035
+182.247658491 2550 0.769056
+183.061174631 2560 0.770773
+183.869194984 2570 0.768383
+184.679157019 2580 0.768719
+185.48715353 2590 0.765993
+186.295167685 2600 0.76506
+187.105161905 2610 0.763118
+187.911674023 2620 0.762968
+188.721158028 2630 0.761698
+189.531152487 2640 0.760205
+190.345689058 2650 0.757889
+191.149168968 2660 0.758972
+191.961673021 2670 0.756209
+192.776154518 2680 0.756507
+193.580162048 2690 0.756171
+194.391163111 2700 0.753707
+195.197156191 2710 0.754005
+196.005163431 2720 0.753669
+196.813163996 2730 0.752661
+197.621661425 2740 0.75042
+198.429167032 2750 0.751279
+199.237175226 2760 0.749524
+200.045161963 2770 0.749636
+200.857668638 2780 0.749972
+201.665148973 2790 0.749486
+202.471160173 2800 0.747955
+203.267663002 2810 0.74915
+204.06916213 2820 0.748254
+204.875160456 2830 0.749636
+205.671164513 2840 0.749673
+206.473655939 2850 0.751316
+207.279169559 2860 0.751802
+208.079228163 2870 0.75296
+208.875176668 2880 0.754864
+209.675672531 2890 0.755051
+210.471667051 2900 0.756134
+211.2711761 2910 0.757703
+212.067663431 2920 0.757777
+212.865660429 2930 0.758935
+213.667649984 2940 0.762669
+214.47517705 2950 0.763865
+215.281153917 2960 0.766329
+216.079741478 2970 0.768234
+216.879152536 2980 0.770213
+217.679158926 2990 0.772603
+218.487154007 3000 0.776525
+219.28316617 3010 0.778653
+220.091245413 3020 0.782313
+220.891150713 3030 0.78489
+221.691148043 3040 0.787803
+222.487654924 3050 0.791351
+223.287172079 3060 0.793181
+224.087653637 3070 0.795384
+224.89566493 3080 0.798633
+225.691161394 3090 0.803339
+226.487682581 3100 0.808455
+227.287162542 3110 0.811629
+228.085669041 3120 0.815215
+228.883173227 3130 0.820107
+229.689671993 3140 0.823916
+230.491147041 3150 0.828061
+231.291661978 3160 0.831422
+232.087543726 3170 0.834298
+232.895169973 3180 0.839489
+233.703151941 3190 0.842813
+234.499670029 3200 0.847332
+235.299237967 3210 0.852933
+236.099544525 3220 0.856332
+236.907166004 3230 0.860477
+237.703166723 3240 0.864062
+238.503668547 3250 0.869029
+239.311168909 3260 0.872652
+240.111170053 3270 0.876611
+240.919162512 3280 0.880196
+241.729153395 3290 0.882623
+242.535167456 3300 0.886881
+243.343156099 3310 0.89181
+244.151170969 3320 0.89181
+244.949668646 3330 0.895619
+245.761675119 3340 0.897375
+246.569154501 3350 0.901034
+247.377152205 3360 0.902192
+248.183174372 3370 0.906748
+248.991155863 3380 0.906076
+249.799662352 3390 0.906001
+250.609192133 3400 0.907981
+251.417205095 3410 0.909437
+252.225175142 3420 0.909699
+253.033161402 3430 0.911043
+253.841162443 3440 0.911902
+254.641166925 3450 0.911939
+255.450174093 3460 0.91306
+256.265165091 3470 0.915973
+257.065163612 3480 0.916085
+257.873162031 3490 0.917205
+258.683157444 3500 0.914591
+259.489166498 3510 0.915935
+260.297670126 3520 0.915935
+261.097162962 3530 0.917242
+261.905660391 3540 0.918139
+262.725161552 3550 0.920193
+263.535652399 3560 0.919969
+264.351671934 3570 0.920529
+265.15959549 3580 0.922247
+265.97766614 3590 0.923516
+266.787669897 3600 0.925533
+267.603658915 3610 0.925421
+268.409168482 3620 0.927811
+269.223649025 3630 0.927475
+270.037177563 3640 0.928633
+270.847144127 3650 0.930276
+271.655653 3660 0.932666
+272.463649988 3670 0.934384
+273.2711761 3680 0.937372
+274.07767272 3690 0.93726
+274.889659643 3700 0.939202
+275.697671652 3710 0.941928
+276.503665209 3720 0.944617
+277.313661098 3730 0.945214
+278.131153107 3740 0.947343
+278.941179514 3750 0.94921
+279.75366354 3760 0.950555
+280.572176456 3770 0.955671
+281.395168543 3780 0.955895
+282.225649118 3790 0.957165
+283.061408997 3800 0.95765
+283.903155565 3810 0.960638
+284.739665508 3820 0.963103
+285.581152439 3830 0.964671
+286.415169477 3840 0.966389
+287.245675087 3850 0.968592
+288.087148428 3860 0.970908
+288.935168028 3870 0.972514
+289.771669149 3880 0.97524
+290.619665384 3890 0.978041
+291.457160711 3900 0.981253
+292.299145937 3910 0.981775
+293.145165205 3920 0.98495
+293.98515439 3930 0.987078
+294.81966424 3940 0.988311
+295.659173965 3950 0.990888
+296.495686054 3960 0.992718
+297.329663038 3970 0.994361
+298.175129175 3980 0.99578
+299.011185408 3990 0.999739
+299.853152037 4000 1