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

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

diff --git a/research/TCS/2012-09-29/225858.dat.p b/research/TCS/2012-09-29/225858.dat.p
new file mode 100644 (file)
index 0000000..fb0e029
--- /dev/null
+++ b/research/TCS/2012-09-29/225858.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52551388741 0 0
+3.16190123558 10 0
+3.79389595985 20 0
+4.42190623283 30 0
+5.05389666557 40 0
+5.68243312836 50 0
+6.30991196632 60 0
+6.94198441505 70 0
+7.56991553307 80 0
+8.20044660568 90 0
+8.84239006042 100 0
+9.48453903198 110 0
+10.1218969822 120 0
+10.7618989944 130 0
+11.4019486904 140 0
+12.0418770313 150 0
+12.6778972149 160 0
+13.3179008961 170 0
+13.9579055309 180 0
+14.5978906155 190 0
+15.2378895283 200 0
+15.8803861141 210 0
+16.5178930759 220 0
+17.1578881741 230 0
+17.7978916168 240 0
+18.4349141121 250 0
+19.080883503 260 0
+19.725887537 270 0
+20.3658995628 280 0
+21.0029075146 290 0
+21.6483604908 300 0
+22.2843596935 310 0
+22.9219167233 320 0
+23.5618999004 330 0
+24.2019510269 340 0
+24.8423931599 350 0
+25.4829032421 360 0
+26.1218936443 370 0
+26.7618882656 380 0
+27.4023895264 390 0
+28.0443732738 400 0
+28.6819295883 410 0
+29.3178961277 420 0
+29.9579079151 430 0
+30.5978929996 440 0
+31.2379176617 450 0
+31.8778910637 460 0
+32.5178940296 470 0
+33.1578938961 480 0
+33.7978947163 490 0
+34.4383890629 500 0
+35.073900938 510 0
+35.7144005299 520 0
+36.3538429737 530 0
+36.9939081669 540 0
+37.6368844509 550 0
+38.2819170952 560 0
+38.9248869419 570 0
+39.5699095726 580 0
+40.2098958492 590 0
+40.849886179 600 0
+41.4898910522 610 0
+42.1328742504 620 0
+42.7778880596 630 0
+43.4179193974 640 0
+44.0579001904 650 0
+44.6978929043 660 0
+45.3378593922 670 0
+45.9778876305 680 0
+46.6178929806 690 0
+47.2578856945 700 0
+47.8939096928 710 0
+48.5338990688 720 0
+49.1739094257 730 0
+49.8138866425 740 0
+50.4539015293 750 0
+51.0943953991 760 0
+51.7338969707 770 0
+52.3768770695 780 0
+53.021903038 790 0
+53.6618895531 800 0
+54.3018860817 810 0
+54.9408810139 820 0
+55.5779058933 830 0
+56.217908144 840 0
+56.857891798 850 0
+57.4979145527 860 0
+58.1378996372 870 0
+58.7778930664 880 0
+59.4179036617 890 0
+60.0578985214 900 0
+60.697555542 910 0
+61.3463242054 920 0
+61.9858996868 930 0
+62.6268951893 940 0
+63.2658879757 950 0
+63.9082462788 960 0
+64.553914547 970 0
+65.1938941479 980 0
+65.8338890076 990 0
+66.4738991261 1000 0
+67.1139185429 1010 0
+67.7658846378 1020 0
+68.413895607 1030 0
+69.0618946552 1040 0
+69.713893652 1050 0
+70.3619000912 1060 0
+71.0163867474 1070 0
+71.6618921757 1080 0
+72.3123939037 1090 0
+72.9618952274 1100 0
+73.6098930836 1110 0
+74.2643766403 1120 0
+74.9098894596 1130 0
+75.5578975677 1140 0
+76.2083930969 1150 0
+76.8580944538 1160 0
+77.505897522 1170 0
+78.1583759785 1180 0
+78.8059105873 1190 0
+79.4539055824 1200 0
+80.1058850288 1210 0
+80.7538974285 1220 0
+81.4058630466 1230 0
+82.0538825989 1240 0
+82.7021505833 1250 0
+83.3523256779 1260 0
+84.0019013882 1270 0
+84.6499071121 1280 0
+85.3018910885 1290 0
+85.9498989582 1300 0
+86.6018900871 1310 0
+87.2498810291 1320 0
+87.8979330063 1330 0
+88.5499010086 1340 0
+89.1978971958 1350 0
+89.8498840332 1360 0
+90.4978981018 1370 0
+91.1483819485 1380 0
+91.7978889942 1390 0
+92.4483850002 1400 0
+93.097880125 1410 0
+93.7458994389 1420 0
+94.3938980103 1430 0
+95.0458800793 1440 0
+95.6938979626 1450 0
+96.3419010639 1460 0
+96.9938895702 1470 0
+97.6418983936 1480 0
+98.2938873768 1490 0
+98.9418971539 1500 0
+99.5908970833 1510 0
+100.241896391 1520 0
+100.889896154 1530 0
+101.537899494 1540 0
+102.189891577 1550 0
+102.838392973 1560 0
+103.547324896 1570 0
+104.320383549 1580 0.000857265
+105.0899086 1590 0.00433395
+105.871892214 1600 0.0109539
+106.65190196 1610 0.0233367
+107.431898594 1620 0.0269086
+108.211889505 1630 0.0372434
+108.994385004 1640 0.0471496
+109.781899691 1650 0.0560556
+110.561888456 1660 0.0704863
+111.352387667 1670 0.078916
+112.142371416 1680 0.0928704
+112.929905176 1690 0.104301
+113.717906713 1700 0.115493
+114.499882936 1710 0.129399
+115.289901972 1720 0.142116
+116.07989192 1730 0.154689
+116.867894411 1740 0.168881
+117.659882069 1750 0.179502
+118.447895527 1760 0.194456
+119.233901024 1770 0.208458
+120.013962984 1780 0.221889
+120.793902636 1790 0.235034
+121.581911564 1800 0.250036
+122.361896038 1810 0.261609
+123.156380415 1820 0.278849
+123.946378469 1830 0.294185
+124.73389864 1840 0.308901
+125.523893595 1850 0.326618
+126.312383413 1860 0.341287
+127.099900007 1870 0.355194
+127.89390707 1880 0.370529
+128.694384575 1890 0.384817
+129.491886854 1900 0.399581
+130.279887438 1910 0.412059
+131.07038188 1920 0.422822
+131.860902071 1930 0.433062
+132.657896519 1940 0.440063
+133.451884031 1950 0.445635
+134.247890472 1960 0.451017
+135.039898157 1970 0.450588
+135.839881182 1980 0.453731
+136.639914036 1990 0.456637
+137.443866968 2000 0.458208
+138.239868879 2010 0.460875
+139.035885096 2020 0.463447
+139.836387396 2030 0.465495
+140.636405706 2040 0.467305
+141.436410666 2050 0.472829
+142.237890005 2060 0.476878
+143.037880659 2070 0.483783
+143.837885141 2080 0.487736
+144.632394552 2090 0.49207
+145.433897734 2100 0.497547
+146.231901407 2110 0.503358
+147.031887054 2120 0.508025
+147.83389163 2130 0.512645
+148.634392977 2140 0.516598
+149.445893526 2150 0.521932
+150.241887093 2160 0.526313
+151.042388201 2170 0.531171
+151.849893093 2180 0.535743
+152.649893522 2190 0.541506
+153.447883368 2200 0.547602
+154.249897003 2210 0.552984
+155.046401978 2220 0.559175
+155.850383997 2230 0.567272
+156.657316923 2240 0.574082
+157.45588851 2250 0.585322
+158.254318953 2260 0.585512
+159.053889513 2270 0.591465
+159.852387667 2280 0.598324
+160.652395487 2290 0.604848
+161.453900576 2300 0.610516
+162.255880594 2310 0.617993
+163.063880682 2320 0.625661
+163.863890171 2330 0.631233
+164.674408197 2340 0.637377
+165.481890917 2350 0.645568
+166.283882856 2360 0.655856
+167.093882084 2370 0.660142
+167.9018929 2380 0.668048
+168.713340044 2390 0.674192
+169.524377584 2400 0.680097
+170.330398083 2410 0.687289
+171.131881952 2420 0.689384
+171.93789649 2430 0.696861
+172.738393545 2440 0.703577
+173.546404123 2450 0.710578
+174.358375549 2460 0.717055
+175.166401148 2470 0.723341
+175.97390008 2480 0.729771
+176.775896072 2490 0.738105
+177.586396933 2500 0.743678
+178.391896009 2510 0.751536
+179.196377516 2520 0.751917
+180.004381418 2530 0.758061
+180.815923452 2540 0.762966
+181.623927355 2550 0.766538
+182.436370611 2560 0.769157
+183.243885517 2570 0.772729
+184.05587697 2580 0.77592
+184.863879442 2590 0.778635
+185.67289114 2600 0.78035
+186.478396177 2610 0.78254
+187.281885386 2620 0.784255
+188.092378378 2630 0.785446
+188.897895098 2640 0.786779
+189.712456942 2650 0.787827
+190.519892454 2660 0.787398
+191.327902555 2670 0.788208
+192.139881134 2680 0.787922
+192.947890997 2690 0.78816
+193.759866476 2700 0.787922
+194.568389177 2710 0.788065
+195.375891447 2720 0.786731
+196.188372135 2730 0.787303
+196.996142149 2740 0.787589
+197.803890944 2750 0.786684
+198.615886927 2760 0.786493
+199.42237401 2770 0.78535
+200.221871614 2780 0.78535
+201.031912088 2790 0.785684
+201.844372511 2800 0.78535
+202.661879539 2810 0.782826
+203.467890501 2820 0.782731
+204.269891024 2830 0.784445
+205.077883005 2840 0.783302
+205.886389494 2850 0.783969
+206.697863102 2860 0.785493
+207.506395578 2870 0.787779
+208.313904047 2880 0.788446
+209.113887548 2890 0.788351
+209.92189765 2900 0.789684
+210.721913099 2910 0.790399
+211.532388926 2920 0.791923
+212.327875137 2930 0.793447
+213.142373085 2940 0.793399
+213.95038867 2950 0.796685
+214.755907059 2960 0.798495
+215.555891514 2970 0.801734
+216.363898039 2980 0.804305
+217.163896561 2990 0.806068
+217.975894213 3000 0.809116
+218.786380053 3010 0.811687
+219.590411425 3020 0.815259
+220.39239049 3030 0.817688
+221.199895144 3040 0.822165
+221.999895573 3050 0.825356
+222.811870575 3060 0.827023
+223.614369154 3070 0.831119
+224.419893503 3080 0.835548
+225.221873999 3090 0.838786
+226.025898695 3100 0.84393
+226.82988143 3110 0.847216
+227.638921499 3120 0.852169
+228.449870586 3130 0.856599
+229.258390188 3140 0.861171
+230.064405203 3150 0.865838
+230.876343012 3160 0.869648
+231.683892488 3170 0.874315
+232.493900061 3180 0.87803
+233.300415993 3190 0.882317
+234.104378462 3200 0.886936
+234.911890268 3210 0.890175
+235.721899271 3220 0.894842
+236.534379721 3230 0.89789
+237.341875553 3240 0.901843
+238.149893522 3250 0.905415
+238.949894667 3260 0.909035
+239.749899626 3270 0.910892
+240.561883211 3280 0.914416
+241.369879007 3290 0.915131
+242.175900459 3300 0.918274
+242.977880239 3310 0.920036
+243.78441906 3320 0.921655
+244.585898161 3330 0.922513
+245.400871992 3340 0.923322
+246.207885504 3350 0.924561
+247.025902987 3360 0.926323
+247.835888147 3370 0.926085
+248.642780066 3380 0.926799
+249.455903053 3390 0.926513
+250.261900187 3400 0.926942
+251.075890541 3410 0.925561
+251.883883715 3420 0.926275
+252.695868731 3430 0.924608
+253.507881403 3440 0.924465
+254.321894646 3450 0.924894
+255.131886959 3460 0.923227
+255.941895247 3470 0.921941
+256.751889944 3480 0.922846
+257.559893847 3490 0.921179
+258.371883631 3500 0.921132
+259.179888964 3510 0.92056
+259.994412184 3520 0.921417
+260.807892561 3530 0.921513
+261.619889975 3540 0.921179
+262.436399221 3550 0.920893
+263.237889051 3560 0.922084
+264.046396017 3570 0.922798
+264.856398582 3580 0.923275
+265.668383598 3590 0.924561
+266.473917007 3600 0.925942
+267.281895638 3610 0.926228
+268.093891621 3620 0.927752
+268.903895617 3630 0.929371
+269.724377871 3640 0.930847
+270.535871506 3650 0.931705
+271.339901209 3660 0.9328
+272.153882742 3670 0.934181
+272.961894989 3680 0.936181
+273.77238965 3690 0.936943
+274.591892958 3700 0.937896
+275.413882017 3710 0.940372
+276.231893063 3720 0.941706
+277.040394545 3730 0.943563
+277.859881639 3740 0.94604
+278.669907093 3750 0.947564
+279.48790288 3760 0.949469
+280.299882174 3770 0.951803
+281.115905523 3780 0.953565
+281.934408426 3790 0.95547
+282.750373602 3800 0.957899
+283.567879438 3810 0.960518
+284.387884617 3820 0.96328
+285.195887566 3830 0.963376
+286.015864611 3840 0.971091
+286.824369669 3850 0.968996
+287.636839151 3860 0.97052
+288.451893568 3870 0.972949
+289.26437211 3880 0.97433
+290.072401762 3890 0.976901
+290.891895056 3900 0.979283
+291.699892521 3910 0.980569
+292.510339975 3920 0.983236
+293.31789279 3930 0.984236
+294.125957966 3940 0.988236
+294.940375566 3950 0.988617
+295.747881174 3960 0.992237
+296.560390711 3970 0.993332
+297.36790514 3980 0.996238
+298.187867403 3990 0.998333
+298.9961555 4000 1