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

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

diff --git a/research/TCS/2012-10-02/145242.dat.p b/research/TCS/2012-10-02/145242.dat.p
new file mode 100644 (file)
index 0000000..a5bade4
--- /dev/null
+++ b/research/TCS/2012-10-02/145242.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53446006775 0 0
+3.16885256767 10 0
+3.80933451653 20 0
+4.44285011292 30 0
+5.0753455162 40 0
+5.71134400368 50 0
+6.33884167671 60 0
+6.97282719612 70 0
+7.60884070396 80 0
+8.2468380928 90 0
+8.88933110237 100 0
+9.52681851387 110 0
+10.164835453 120 0
+10.8053491116 130 0
+11.4453251362 140 0
+12.0788218975 150 0
+12.7188379765 160 0
+13.3588399887 170 0
+13.9973375797 180 0
+14.6348316669 190 0
+15.2753288746 200 0
+15.9108409882 210 0
+16.5528345108 220 0
+17.1933255196 230 0
+17.838835001 240 0
+18.4748446941 250 0
+19.1148293018 260 0
+19.7558538914 270 0
+20.3938345909 280 0
+21.0308363438 290 0
+21.6708359718 300 0
+22.3088304996 310 0
+22.9488310814 320 0
+23.5855066776 330 0
+24.2228405476 340 0
+24.862849474 350 0
+25.4988470078 360 0
+26.1388342381 370 0
+26.7793443203 380 0
+27.4173355103 390 0
+28.056832552 400 0
+28.6948421001 410 0
+29.3308289051 420 0
+29.9708344936 430 0
+30.607344389 440 0
+31.2498323917 450 0
+31.8948423862 460 0
+32.5348441601 470 0
+33.1708335876 480 0
+33.8108420372 490 0
+34.4533815384 500 0
+35.0988304615 510 0
+35.740830183 520 0
+36.3865234852 530 0
+37.0233571529 540 0
+37.6628315449 550 0
+38.3048379421 560 0
+38.95084548 570 0
+39.5888359547 580 0
+40.2288324833 590 0
+40.8668284416 600 0
+41.5048425198 610 0
+42.1428663731 620 0
+42.7853314877 630 0
+43.4308431149 640 0
+44.0738341808 650 0
+44.717343092 660 0
+45.3568370342 670 0
+45.9953286648 680 0
+46.6333379745 690 0
+47.2718503475 700 0
+47.9108355045 710 0
+48.5498204231 720 0
+49.187340498 730 0
+49.826820612 740 0
+50.462821722 750 0
+51.1048331261 760 0
+51.752831459 770 0
+52.3993461132 780 0
+53.0388333797 790 0
+53.6813204288 800 0
+54.326816082 810 0
+54.9628741741 820 0
+55.6030175686 830 0
+56.2413408756 840 0
+56.8808295727 850 0
+57.518838644 860 0
+58.1588304043 870 0
+58.7948439121 880 0
+59.4348380566 890 0
+60.0748274326 900 0
+60.7108509541 910 0
+61.3508379459 920 0
+61.9893443584 930 0
+62.6373355389 940 0
+63.2748479843 950 0
+63.914839983 960 0
+64.5538270473 970 0
+65.2038366795 980 0
+65.8398394585 990 0
+66.4828300476 1000 0
+67.1328399181 1010 0
+67.7788436413 1020 0
+68.4288160801 1030 0
+69.074860096 1040 0
+69.7253324986 1050 0
+70.4248375893 1060 0
+71.0733325481 1070 0
+71.7253360748 1080 0
+72.3708429337 1090 0
+73.0188338757 1100 0
+73.6688463688 1110 0
+74.3148581982 1120 0
+74.9628610611 1130 0
+75.6133460999 1140 0
+76.2633459568 1150 0
+76.9133310318 1160 0
+77.5613369942 1170 0
+78.2073340416 1180 0
+78.8568384647 1190 0
+79.5028970242 1200 0
+80.1573209763 1210 0
+80.8100249767 1220 0
+81.4593360424 1230 0
+82.1118366718 1240 0
+82.7613260746 1250 0
+83.4068343639 1260 0
+84.0568344593 1270 0
+84.70282197 1280 0
+85.3508410454 1290 0
+85.9988410473 1300 0
+86.65081954 1310 0
+87.3013265133 1320 0
+87.9468419552 1330 0
+88.5948450565 1340 0
+89.2453444004 1350 0
+89.8918375969 1360 0
+90.5388355255 1370 0
+91.1888289452 1380 0
+91.8388426304 1390 0
+92.486833334 1400 0
+93.1348364353 1410 0
+93.7848434448 1420 0
+94.4308469296 1430 0
+95.0788528919 1440 0
+95.7328300476 1450 0
+96.3868629932 1460 0
+97.0373821259 1470 0
+97.6833436489 1480 0
+98.3358435631 1490 0
+98.982845068 1500 0
+99.6308386326 1510 0
+100.278831959 1520 0
+100.929829597 1530 0
+101.59284234 1540 0.000332779
+102.303344965 1550 0.00109817
+103.074852467 1560 0.00489185
+103.858838081 1570 0.0115141
+104.647835493 1580 0.0181364
+105.432814121 1590 0.0258902
+106.214815378 1600 0.0338436
+107.002843142 1610 0.0418303
+107.790831089 1620 0.0522463
+108.580846548 1630 0.0585025
+109.366841555 1640 0.0672879
+110.154852629 1650 0.0774043
+110.943328142 1660 0.0875208
+111.732838392 1670 0.0972047
+112.520839453 1680 0.108186
+113.30934906 1690 0.118536
+114.096836329 1700 0.130483
+114.888821363 1710 0.140765
+115.67483902 1720 0.152546
+116.462832451 1730 0.164626
+117.250837564 1740 0.174942
+118.040855646 1750 0.187288
+118.82732892 1760 0.199334
+119.617832422 1770 0.209484
+120.404843092 1780 0.220166
+121.192900419 1790 0.230216
+121.981352091 1800 0.243594
+122.768844604 1810 0.256739
+123.556832552 1820 0.271381
+124.342861414 1830 0.284226
+125.131355524 1840 0.298669
+125.920831919 1850 0.314809
+126.708839655 1860 0.328952
+127.49883604 1870 0.343295
+128.28933692 1880 0.360399
+129.079320669 1890 0.374676
+129.874845505 1900 0.391248
+130.662830114 1910 0.407854
+131.452857494 1920 0.42193
+132.251298189 1930 0.439268
+133.048833132 1940 0.454908
+133.848822594 1950 0.471314
+134.644837618 1960 0.484692
+135.444844007 1970 0.498003
+136.245835543 1980 0.507621
+137.043324232 1990 0.515075
+137.840831041 2000 0.523161
+138.637335062 2010 0.530782
+139.438830614 2020 0.535241
+140.234847546 2030 0.540666
+141.032830477 2040 0.544892
+141.830855131 2050 0.551015
+142.63082695 2060 0.556972
+143.430839062 2070 0.567354
+144.233523607 2080 0.573045
+145.03485465 2090 0.5801
+145.84383893 2100 0.587687
+146.642842054 2110 0.591514
+147.451342106 2120 0.595275
+148.247335672 2130 0.600932
+149.059324503 2140 0.606323
+149.866831541 2150 0.609484
+150.674837351 2160 0.614509
+151.485340595 2170 0.619401
+152.290839434 2180 0.623794
+153.090839148 2190 0.629451
+153.891343594 2200 0.634077
+154.698832035 2210 0.639468
+155.506833076 2220 0.643627
+156.302845955 2230 0.648619
+157.102829218 2240 0.652912
+157.902834177 2250 0.65777
+158.710836649 2260 0.662795
+159.518831015 2270 0.667454
+160.318836927 2280 0.670516
+161.126847982 2290 0.675042
+161.935349703 2300 0.677671
+162.734829664 2310 0.680699
+163.543509722 2320 0.686123
+164.350843191 2330 0.691281
+165.156035185 2340 0.694842
+165.957522631 2350 0.695241
+166.768834591 2360 0.699601
+167.574841976 2370 0.701165
+168.374828577 2380 0.703062
+169.182829618 2390 0.706755
+169.980042219 2400 0.709451
+170.776851416 2410 0.711048
+171.577339888 2420 0.712546
+172.379333973 2430 0.713644
+173.186839104 2440 0.716705
+173.99682641 2450 0.717371
+174.802831888 2460 0.719334
+175.610841036 2470 0.721597
+176.419356108 2480 0.722862
+177.218828917 2490 0.723794
+178.026839972 2500 0.723295
+178.83485055 2510 0.724093
+179.634835958 2520 0.72812
+180.444821596 2530 0.727887
+181.252830505 2540 0.728353
+182.060834646 2550 0.72792
+182.860931158 2560 0.72426
+183.66684413 2570 0.723794
+184.463017225 2580 0.722696
+185.264873743 2590 0.721897
+186.070837498 2600 0.723661
+186.870827436 2610 0.724459
+187.68083024 2620 0.72193
+188.48883152 2630 0.72183
+189.294822931 2640 0.721764
+190.094823122 2650 0.723494
+190.899356127 2660 0.723561
+191.708829165 2670 0.721431
+192.507338047 2680 0.720632
+193.314851999 2690 0.719601
+194.114840031 2700 0.720166
+194.922813177 2710 0.719334
+195.730839491 2720 0.719534
+196.529426813 2730 0.718336
+197.338826418 2740 0.718702
+198.147331953 2750 0.717271
+198.954824686 2760 0.717105
+199.763322115 2770 0.715973
+200.57083106 2780 0.718037
+201.376839399 2790 0.718037
+202.174837112 2800 0.718003
+202.973348379 2810 0.718203
+203.772832155 2820 0.719401
+204.579347849 2830 0.719567
+205.388837576 2840 0.721298
+206.196835995 2850 0.722063
+207.004832983 2860 0.72396
+207.810845613 2870 0.726123
+208.608864069 2880 0.726722
+209.408829451 2890 0.727987
+210.20483613 2900 0.728386
+211.016830206 2910 0.729651
+211.812833548 2920 0.731082
+212.609452963 2930 0.73401
+213.409841537 2940 0.736772
+214.216841459 2950 0.740765
+215.022833586 2960 0.74396
+215.824831486 2970 0.747121
+216.620832682 2980 0.751281
+217.420835495 2990 0.755175
+218.220822573 3000 0.758502
+219.028034449 3010 0.761963
+219.83484602 3020 0.765358
+220.632839441 3030 0.769517
+221.44084239 3040 0.772512
+222.241330862 3050 0.775241
+223.046839952 3060 0.780699
+223.846826315 3070 0.78203
+224.6448524 3080 0.786223
+225.444828987 3090 0.790582
+226.252834558 3100 0.794576
+227.061321497 3110 0.798502
+227.856830359 3120 0.803561
+228.656829119 3130 0.807255
+229.45334053 3140 0.81188
+230.251333475 3150 0.815973
+231.048827887 3160 0.819401
+231.846833944 3170 0.823295
+232.644842386 3180 0.827488
+233.446830034 3190 0.829817
+234.25485754 3200 0.833777
+235.066835165 3210 0.838968
+235.886836052 3220 0.843561
+236.703362942 3230 0.847188
+237.52732873 3240 0.851414
+238.352828979 3250 0.85614
+239.180839062 3260 0.860067
+240.003760576 3270 0.864426
+240.831334114 3280 0.868253
+241.659356117 3290 0.870782
+242.491344929 3300 0.874875
+243.328854561 3310 0.878203
+244.165826559 3320 0.881032
+245.005339384 3330 0.884093
+245.838846922 3340 0.886955
+246.680832624 3350 0.889285
+247.517336607 3360 0.891381
+248.354835987 3370 0.893877
+249.182827711 3380 0.897304
+250.01285243 3390 0.898103
+250.848844051 3400 0.900732
+251.688812971 3410 0.902496
+252.527847052 3420 0.905557
+253.365341425 3430 0.906256
+254.205341578 3440 0.906622
+255.052825928 3450 0.907421
+255.886844873 3460 0.909351
+256.726823092 3470 0.909784
+257.556829691 3480 0.911281
+258.392838717 3490 0.912646
+259.231029034 3500 0.91371
+260.068838596 3510 0.914576
+260.907884598 3520 0.914775
+261.735328913 3530 0.917271
+262.564843893 3540 0.917171
+263.400869131 3550 0.918802
+264.24083662 3560 0.919767
+265.074847937 3570 0.921131
+265.908859968 3580 0.920732
+266.744839907 3590 0.92223
+267.572834969 3600 0.924559
+268.408828974 3610 0.926456
+269.237025499 3620 0.925857
+270.065355062 3630 0.928785
+270.897408724 3640 0.930483
+271.722826481 3650 0.930782
+272.553349018 3660 0.933877
+273.391343832 3670 0.934908
+274.228828192 3680 0.93827
+275.064859629 3690 0.939002
+275.905364037 3700 0.940899
+276.744844198 3710 0.942829
+277.581339121 3720 0.943661
+278.407342196 3730 0.947022
+279.237346411 3740 0.948253
+280.076842546 3750 0.949551
+280.912909508 3760 0.952113
+281.751341581 3770 0.95381
+282.588853121 3780 0.955474
+283.425339937 3790 0.95787
+284.26483202 3800 0.960799
+285.102823019 3810 0.962629
+285.938842535 3820 0.964326
+286.778854132 3830 0.96589
+287.615340471 3840 0.969052
+288.443040133 3850 0.968985
+289.282842875 3860 0.972446
+290.124835014 3870 0.974875
+290.970829487 3880 0.977604
+291.806842566 3890 0.977438
+292.634860039 3900 0.979002
+293.462828398 3910 0.981331
+294.303343058 3920 0.984027
+295.13883996 3930 0.985358
+295.978821039 3940 0.987454
+296.80684495 3950 0.989617
+297.642854929 3960 0.990782
+298.484817505 3970 0.992612
+299.319865465 3980 0.996007
+300.149377584 3990 1
+300.981328964 4000 0.999301