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

[matches/honours.git] / research / TCS / 2012-10-02 / 194943.dat.p

diff --git a/research/TCS/2012-10-02/194943.dat.p b/research/TCS/2012-10-02/194943.dat.p
new file mode 100644 (file)
index 0000000..81a4229
--- /dev/null
+++ b/research/TCS/2012-10-02/194943.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53286981583 0 0
+3.16724300385 10 0
+3.79524898529 20 0
+4.42407035828 30 0
+5.05773639679 40 0
+5.69124174118 50 0
+6.32323551178 60 0
+6.95922446251 70 0
+7.58726072311 80 0
+8.22172188759 90 0
+8.85926198959 100 0
+9.49927282333 110 0
+10.1352593899 120 0
+10.7752509117 130 0
+11.4152493477 140 0
+12.0542407036 150 0
+12.6912403107 160 0
+13.3312354088 170 0
+13.9702293873 180 0
+14.6072421074 190 0
+15.2502083778 200 0
+15.8872432709 210 0
+16.5237574577 220 0
+17.1632523537 230 0
+17.8032150269 240 0
+18.4457154274 250 0
+19.0797483921 260 0
+19.7217297554 270 0
+20.3592374325 280 0
+20.9993028641 290 0
+21.6352367401 300 0
+22.2752227783 310 0
+22.9152398109 320 0
+23.5512337685 330 0
+24.1912453175 340 0
+24.8312184811 350 0
+25.4672448635 360 0
+26.1097354889 370 0
+26.7472319603 380 0
+27.3872175217 390 0
+28.0232288837 400 0
+28.6637320518 410 0
+29.303229332 420 0
+29.939237833 430 0
+30.5792284012 440 0
+31.2192869186 450 0
+31.8552522659 460 0
+32.49523592 470 0
+33.1312394142 480 0
+33.771238327 490 0
+34.4112393856 500 0
+35.0472638607 510 0
+35.6872434616 520 0
+36.3277263641 530 0
+36.9632382393 540 0
+37.6032474041 550 0
+38.2432353497 560 0
+38.8817362785 570 0
+39.5192480087 580 0
+40.1592845917 590 0
+40.7977433205 600 0
+41.4352416992 610 0
+42.0752289295 620 0
+42.7177248001 630 0
+43.363240242 640 0
+44.0032334328 650 0
+44.6402440071 660 0
+45.2792334557 670 0
+45.9192452431 680 0
+46.5552377701 690 0
+47.1952364445 700 0
+47.8352098465 710 0
+48.4712500572 720 0
+49.1112253666 730 0
+49.7542183399 740 0
+50.399230957 750 0
+51.0392351151 760 0
+51.6757369041 770 0
+52.3177280426 780 0
+52.9657225609 790 0
+53.6112384796 800 0
+54.2517185211 810 0
+54.8912324905 820 0
+55.5272464752 830 0
+56.1672420502 840 0
+56.8072347641 850 0
+57.4432477951 860 0
+58.0832304955 870 0
+58.7266740799 880 0
+59.371243 890 0
+60.0112314224 900 0
+60.6481568813 910 0
+61.2872338295 920 0
+61.9272398949 930 0
+62.5752325058 940 0
+63.211234808 950 0
+63.8542504311 960 0
+64.4992454052 970 0
+65.1392397881 980 0
+65.7872364521 990 0
+66.4392294884 1000 0
+67.087225914 1010 0
+67.7352318764 1020 0
+68.3832387924 1030 0
+69.0357270241 1040 0
+69.6837339401 1050 0
+70.3312203884 1060 0
+70.9792394638 1070 0
+71.627243042 1080 0
+72.2752437592 1090 0
+72.9270634651 1100 0
+73.5752420425 1110 0
+74.2238535881 1120 0
+74.8712630272 1130 0
+75.5192365646 1140 0
+76.1672508717 1150 0
+76.8197293282 1160 0
+77.4672398567 1170 0
+78.1152262688 1180 0
+78.7637395859 1190 0
+79.4112467766 1200 0
+80.0632109642 1210 0
+80.7112298012 1220 0
+81.3592419624 1230 0
+82.0072479248 1240 0
+82.6597290039 1250 0
+83.3072247505 1260 0
+83.9557363987 1270 0
+84.6057384014 1280 0
+85.2517442703 1290 0
+85.8992414474 1300 0
+86.5537648201 1310 0
+87.1992378235 1320 0
+87.8499059677 1330 0
+88.4952383041 1340 0
+89.143235445 1350 0
+89.7952418327 1360 0
+90.44323349 1370 0
+91.0912377834 1380 0
+91.7392430305 1390 0
+92.3872404099 1400 0
+93.0397384167 1410 0
+93.6877365112 1420 0
+94.3352565765 1430 0
+94.9832482338 1440 0
+95.6357283592 1450 0
+96.283249855 1460 0
+96.9312343597 1470 0
+97.5792438984 1480 0
+98.2272520065 1490 0
+98.8802242279 1500 0
+99.5272288322 1510 0
+100.175244808 1520 0
+100.823226452 1530 0
+101.515237331 1540 0
+102.261743546 1550 0.000719622
+103.031720877 1560 0.00335823
+103.805235863 1570 0.0089096
+104.581263065 1580 0.0151806
+105.363237858 1590 0.0221027
+106.149236917 1600 0.0305325
+106.929229736 1610 0.0394079
+107.711730957 1620 0.0462957
+108.499232769 1630 0.0575697
+109.289239407 1640 0.0632582
+110.07524085 1650 0.0737098
+110.86322093 1660 0.0829278
+111.651228428 1670 0.0938935
+112.433732986 1680 0.103865
+113.221244812 1690 0.115208
+114.009227753 1700 0.124392
+114.801221371 1710 0.13779
+115.583745003 1720 0.149064
+116.363255501 1730 0.160201
+117.143217087 1740 0.170276
+117.931758881 1750 0.181413
+118.719247818 1760 0.192516
+119.509236336 1770 0.203173
+120.301743507 1780 0.21527
+121.089234829 1790 0.226544
+121.877241373 1800 0.240662
+122.665239811 1810 0.252245
+123.453230381 1820 0.266466
+124.241237879 1830 0.279179
+125.031738281 1840 0.294702
+125.821735859 1850 0.310602
+126.609225988 1860 0.324995
+127.397231817 1870 0.340621
+128.187240601 1880 0.355082
+128.973744392 1890 0.370845
+129.76173687 1900 0.387568
+130.555719376 1910 0.403708
+131.34924078 1920 0.421493
+132.141236305 1930 0.440888
+132.939229488 1940 0.459187
+133.729225397 1950 0.478
+134.525764465 1960 0.494826
+135.325749874 1970 0.509698
+136.125741959 1980 0.524878
+136.921250343 1990 0.536187
+137.721242428 2000 0.544651
+138.52124238 2010 0.553115
+139.319229603 2020 0.56038
+140.119236946 2030 0.567165
+140.919228077 2040 0.573881
+141.721762896 2050 0.580495
+142.523211479 2060 0.587108
+143.323722363 2070 0.592489
+144.119729519 2080 0.597869
+144.919250965 2090 0.603763
+145.719230413 2100 0.608526
+146.519235373 2110 0.608697
+147.319238901 2120 0.614111
+148.119241953 2130 0.619252
+148.927242279 2140 0.624357
+149.727757931 2150 0.628298
+150.531219959 2160 0.631485
+151.339241982 2170 0.638167
+152.139226437 2180 0.647317
+152.941239834 2190 0.655301
+153.751238823 2200 0.659859
+154.551234245 2210 0.664074
+155.352242947 2220 0.668905
+156.150580883 2230 0.674731
+156.95428443 2240 0.678329
+157.763741016 2250 0.681482
+158.571473598 2260 0.685354
+159.375229836 2270 0.687924
+160.183246374 2280 0.693613
+160.98323679 2290 0.696594
+161.781746387 2300 0.702145
+162.58323884 2310 0.703345
+163.383228302 2320 0.707457
+164.185723305 2330 0.710164
+164.995234966 2340 0.71407
+165.795237064 2350 0.717017
+166.607742786 2360 0.719964
+167.415243387 2370 0.722123
+168.223244905 2380 0.72531
+169.021241426 2390 0.728531
+169.82722187 2400 0.728531
+170.633244991 2410 0.73093
+171.435237408 2420 0.73189
+172.235235691 2430 0.73302
+173.033241272 2440 0.733329
+173.835725307 2450 0.734117
+174.645228863 2460 0.735865
+175.443738461 2470 0.73912
+176.247235298 2480 0.739874
+177.057228804 2490 0.741073
+177.856060982 2500 0.740936
+178.655357361 2510 0.740594
+179.463747978 2520 0.74121
+180.272252083 2530 0.739394
+181.071234703 2540 0.738675
+181.879230499 2550 0.739086
+182.679756403 2560 0.739771
+183.489720345 2570 0.738914
+184.294244766 2580 0.73631
+185.103244781 2590 0.737921
+185.911227226 2600 0.739497
+186.719235897 2610 0.734939
+187.527243614 2620 0.733946
+188.335231304 2630 0.734014
+189.14124155 2640 0.734939
+189.943254471 2650 0.733671
+190.749740839 2660 0.732986
+191.553718328 2670 0.732678
+192.355747223 2680 0.732506
+193.155251503 2690 0.731273
+193.963231087 2700 0.730896
+194.7632339 2710 0.730245
+195.572261333 2720 0.730519
+196.379587412 2730 0.728634
+197.187743664 2740 0.7286
+197.995232582 2750 0.729251
+198.803236008 2760 0.728257
+199.611245394 2770 0.729114
+200.417255878 2780 0.727503
+201.217242241 2790 0.728052
+202.025738955 2800 0.727709
+202.833248615 2810 0.727366
+203.641731977 2820 0.728771
+204.443227291 2830 0.728908
+205.237238407 2840 0.728908
+206.037245274 2850 0.730553
+206.835744858 2860 0.732404
+207.633724928 2870 0.73422
+208.433238983 2880 0.734425
+209.229244947 2890 0.736481
+210.029246807 2900 0.739086
+210.829226971 2910 0.741039
+211.637714386 2920 0.74169
+212.445226908 2930 0.744294
+213.241749287 2940 0.745974
+214.041234016 2950 0.750223
+214.839735508 2960 0.752793
+215.647741318 2970 0.756288
+216.447727919 2980 0.75903
+217.245227337 2990 0.759578
+218.043756485 3000 0.766226
+218.841242313 3010 0.767528
+219.639755487 3020 0.772325
+220.437567234 3030 0.775855
+221.245743752 3040 0.77702
+222.045224905 3050 0.781029
+222.845229387 3060 0.784559
+223.653220892 3070 0.787814
+224.45922637 3080 0.792235
+225.259567261 3090 0.796793
+226.069223881 3100 0.801384
+226.865238905 3110 0.806045
+227.665223122 3120 0.810465
+228.471772909 3130 0.815366
+229.269238472 3140 0.821739
+230.067237377 3150 0.823007
+230.857734919 3160 0.827359
+231.657238007 3170 0.831334
+232.45772934 3180 0.83507
+233.258231878 3190 0.838908
+234.065237522 3200 0.843362
+234.865710258 3210 0.848331
+235.673268318 3220 0.851038
+236.473228931 3230 0.855767
+237.273725033 3240 0.859777
+238.079257965 3250 0.863375
+238.895225525 3260 0.86759
+239.711257458 3270 0.871119
+240.533234835 3280 0.875334
+241.356242895 3290 0.877801
+242.171239376 3300 0.879412
+242.995230436 3310 0.883901
+243.823748589 3320 0.886403
+244.651731968 3330 0.889144
+245.48124361 3340 0.892502
+246.321245432 3350 0.89497
+247.163734913 3360 0.897026
+248.009727478 3370 0.89987
+248.837748528 3380 0.899904
+249.66571784 3390 0.900898
+250.495782375 3400 0.902817
+251.335249901 3410 0.905524
+252.175721407 3420 0.905387
+253.023933411 3430 0.906346
+253.869248867 3440 0.906963
+254.697246552 3450 0.907237
+255.529236317 3460 0.907066
+256.365242481 3470 0.909191
+257.207226276 3480 0.909842
+258.055217743 3490 0.910356
+258.891232967 3500 0.910801
+259.729223251 3510 0.91272
+260.567243338 3520 0.913817
+261.40322113 3530 0.917689
+262.236227036 3540 0.916353
+263.081249237 3550 0.916935
+263.909725904 3560 0.918374
+264.7372365 3570 0.919437
+265.565672874 3580 0.920053
+266.405241966 3590 0.922349
+267.243726969 3600 0.922589
+268.093238831 3610 0.923549
+268.931230545 3620 0.925948
+269.763756275 3630 0.929683
+270.597231388 3640 0.929306
+271.435733795 3650 0.93191
+272.27521944 3660 0.932424
+273.113242388 3670 0.933521
+273.949222326 3680 0.936159
+274.783750534 3690 0.937975
+275.617734909 3700 0.939929
+276.453238487 3710 0.941299
+277.281744957 3720 0.943561
+278.121223927 3730 0.944829
+278.957737923 3740 0.946131
+279.797717333 3750 0.948324
+280.624073982 3760 0.949729
+281.46158886 3770 0.955041
+282.293237686 3780 0.955966
+283.12924242 3790 0.956788
+283.969245434 3800 0.958879
+284.805231333 3810 0.960489
+285.641749859 3820 0.965321
+286.473732471 3830 0.966315
+287.311257362 3840 0.966692
+288.149245262 3850 0.967514
+288.977237225 3860 0.971386
+289.809229851 3870 0.975944
+290.645242691 3880 0.976287
+291.485232353 3890 0.977315
+292.321250916 3900 0.980604
+293.159231901 3910 0.984511
+293.995239735 3920 0.98643
+294.835727215 3930 0.98828
+295.663738489 3940 0.988932
+296.491725922 3950 0.992735
+297.319247484 3960 0.991981
+298.159726858 3970 0.994277
+298.99774456 3980 0.996059
+299.835252762 3990 0.998903
+300.663239956 4000 1