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

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

diff --git a/research/TCS/2012-10-01/232824.dat.p b/research/TCS/2012-10-01/232824.dat.p
new file mode 100644 (file)
index 0000000..3c86191
--- /dev/null
+++ b/research/TCS/2012-10-01/232824.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52905464172 0 0
+3.16394472122 10 0
+3.8039226532 20 0
+4.44256448746 30 0
+5.07791495323 40 0
+5.71241855621 50 0
+6.34843850136 60 0
+6.98642063141 70 0
+7.62794208527 80 0
+8.26244115829 90 0
+8.90842103958 100 0
+9.54443740845 110 0
+10.1839289665 120 0
+10.8219389915 130 0
+11.4644200802 140 0
+12.1124134064 150 0
+12.7479250431 160 0
+13.3864300251 170 0
+14.0279245377 180 0
+14.6644310951 190 0
+15.3044104576 200 0
+15.9419310093 210 0
+16.5781626701 220 0
+17.2199187279 230 0
+17.8604264259 240 0
+18.4999215603 250 0
+19.1379394531 260 0
+19.7764270306 270 0
+20.4164144993 280 0
+21.0564227104 290 0
+21.7019250393 300 0
+22.3444151878 310 0
+22.9919195175 320 0
+23.6379513741 330 0
+24.2799139023 340 0
+24.920427084 350 0
+25.5664377213 360 0
+26.2019510269 370 0
+26.8439245224 380 0
+27.4839134216 390 0
+28.1319150925 400 0
+28.7699275017 410 0
+29.4119229317 420 0
+30.0609145164 430 0
+30.7059304714 440 0
+31.3479270935 450 0
+31.9924411774 460 0
+32.6299390793 470 0
+33.2699480057 480 0
+33.9119114876 490 0
+34.5485625267 500 0
+35.1979279518 510 0
+35.8404116631 520 0
+36.485929966 530 0
+37.1239299774 540 0
+37.7619385719 550 0
+38.4039189816 560 0
+39.0524289608 570 0
+39.6979465485 580 0
+40.3399350643 590 0
+40.9799146652 600 0
+41.6279344559 610 0
+42.2764286995 620 0
+42.9224505424 630 0
+43.5650620461 640 0
+44.2124140263 650 0
+44.8519229889 660 0
+45.4999394417 670 0
+46.1379342079 680 0
+46.7759380341 690 0
+47.4164164066 700 0
+48.0639259815 710 0
+48.701925993 720 0
+49.3439190388 730 0
+49.9919085503 740 0
+50.6379284859 750 0
+51.280411005 760 0
+51.9279098511 770 0
+52.5739383698 780 0
+53.2159235477 790 0
+53.8639202118 800 0
+54.5119314194 810 0
+55.1604323387 820 0
+55.8124206066 830 0
+56.457930088 840 0
+57.1079330444 850 0
+57.7539339066 860 0
+58.3944339752 870 0
+59.035918951 880 0
+59.680439949 890 0
+60.3199243546 900 0
+60.9579439163 910 0
+61.5964169502 920 0
+62.2339384556 930 0
+62.8759293556 940 0
+63.5239453316 950 0
+64.1724319458 960 0
+64.8219275475 970 0
+65.4579329491 980 0
+66.0999240875 990 0
+66.7504296303 1000 0
+67.400434494 1010 0
+68.0484445095 1020 0
+68.6939249039 1030 0
+69.3484196663 1040 0
+70.0019412041 1050 0
+70.6499791145 1060 0
+71.2980680466 1070 0
+71.9499294758 1080 0
+72.6004257202 1090 0
+73.2479240894 1100 0
+73.8959274292 1110 0
+74.544428587 1120 0
+75.1939284801 1130 0
+75.8439130783 1140 0
+76.492429018 1150 0
+77.1379470825 1160 0
+77.7879228592 1170 0
+78.4359326363 1180 0
+79.0889165401 1190 0
+79.7364063263 1200 0
+80.395045042 1210 0
+81.0444259644 1220 0
+81.6899251938 1230 0
+82.33791852 1240 0
+82.9884295464 1250 0
+83.6339249611 1260 0
+84.2879219055 1270 0
+84.9419431686 1280 0
+85.5924434662 1290 0
+86.2444124222 1300 0
+86.9004302025 1310 0
+87.5459513664 1320 0
+88.193944931 1330 0
+88.8479325771 1340 0
+89.5024418831 1350 0
+90.1524276733 1360 0
+90.8039226532 1370 0
+91.4499306679 1380 0
+92.1004641056 1390 0
+92.7479228973 1400 0
+93.3944380283 1410 0
+94.0439333916 1420 0
+94.6944298744 1430 0
+95.3439190388 1440 0
+95.9899358749 1450 0
+96.6379404068 1460 0
+97.2859370708 1470 0
+97.9379384518 1480 0
+98.5884215832 1490 0
+99.2359390259 1500 0
+99.8819334507 1510 0
+100.532443523 1520 0
+101.189939976 1530 0
+101.897941113 1540 0
+102.665934563 1550 0.00323067
+103.43793869 1560 0.00283581
+104.21993494 1570 0.00843564
+104.999919415 1580 0.0168713
+105.777928829 1590 0.0220762
+106.566453934 1600 0.0304401
+107.346434116 1610 0.0389475
+108.133929014 1620 0.0465216
+108.924423695 1630 0.0556752
+109.716928959 1640 0.0645775
+110.501922607 1650 0.0749156
+111.289973497 1660 0.0843923
+112.077911377 1670 0.0950176
+112.865940094 1680 0.105356
+113.65507102 1690 0.117022
+114.443934917 1700 0.128042
+115.231932163 1710 0.140606
+116.024416924 1720 0.153349
+116.810433388 1730 0.163974
+117.600425482 1740 0.175282
+118.38393116 1750 0.186266
+119.165945053 1760 0.196532
+119.956418991 1770 0.210065
+120.744422436 1780 0.220403
+121.53399992 1790 0.232357
+122.327958584 1800 0.244526
+123.113933086 1810 0.260248
+123.903944016 1820 0.27134
+124.694448948 1830 0.286489
+125.483930588 1840 0.300991
+126.270426512 1850 0.31639
+127.059924603 1860 0.333549
+127.847934484 1870 0.345682
+128.635931492 1880 0.363235
+129.42593956 1890 0.378419
+130.214049578 1900 0.395219
+131.001931429 1910 0.41331
+131.789943695 1920 0.430002
+132.57841897 1930 0.450284
+133.370441914 1940 0.472001
+134.167924404 1950 0.490811
+134.967914581 1960 0.509261
+135.764445066 1970 0.525199
+136.566431522 1980 0.538876
+137.36392355 1990 0.550327
+138.161932468 2000 0.559229
+138.960414886 2010 0.567054
+139.758430958 2020 0.574844
+140.558423042 2030 0.58091
+141.365925074 2040 0.585936
+142.165923119 2050 0.592254
+142.959934473 2060 0.596489
+143.761924505 2070 0.602161
+144.558433533 2080 0.607366
+145.357922077 2090 0.613109
+146.15791893 2100 0.619642
+146.954447985 2110 0.62535
+147.753939629 2120 0.629945
+148.556422949 2130 0.635078
+149.361926556 2140 0.640032
+150.15791893 2150 0.645883
+150.957907677 2160 0.650118
+151.757931948 2170 0.656257
+152.566429138 2180 0.661498
+153.373925686 2190 0.667241
+154.181932449 2200 0.671692
+154.992933989 2210 0.677902
+155.798437119 2220 0.683179
+156.606446028 2230 0.687989
+157.405924082 2240 0.693661
+158.213942528 2250 0.699404
+159.021920443 2260 0.702671
+159.822937965 2270 0.710209
+160.634495497 2280 0.712542
+161.441936493 2290 0.71667
+162.249931574 2300 0.718896
+163.049926519 2310 0.722414
+163.858436108 2320 0.727008
+164.665929556 2330 0.730419
+165.465944052 2340 0.734044
+166.270443916 2350 0.737813
+167.069950581 2360 0.739895
+167.869065046 2370 0.743449
+168.666426659 2380 0.745746
+169.465939045 2390 0.748223
+170.273932934 2400 0.747649
+171.079942703 2410 0.748259
+171.883926392 2420 0.749659
+172.691945553 2430 0.750987
+173.509930134 2440 0.753069
+174.320937157 2450 0.754182
+175.125941038 2460 0.755869
+175.927922487 2470 0.757018
+176.73391819 2480 0.758489
+177.542446136 2490 0.758059
+178.351925611 2500 0.762223
+179.160422802 2510 0.76233
+179.969929218 2520 0.762797
+180.778439045 2530 0.762797
+181.585915089 2540 0.758956
+182.394425869 2550 0.758813
+183.201931953 2560 0.758238
+184.001929522 2570 0.759172
+184.809941053 2580 0.758023
+185.620428562 2590 0.75691
+186.427923441 2600 0.756946
+187.236450195 2610 0.757377
+188.041945934 2620 0.756407
+188.841929436 2630 0.755115
+189.649940491 2640 0.753787
+190.446434975 2650 0.75271
+191.248492479 2660 0.751885
+192.053916931 2670 0.750592
+192.861943722 2680 0.75131
+193.663947105 2690 0.749874
+194.470427513 2700 0.748618
+195.267923832 2710 0.748259
+196.065942526 2720 0.748439
+196.880921364 2730 0.746285
+197.685926914 2740 0.746213
+198.493920326 2750 0.745746
+199.302886486 2760 0.744382
+200.109946489 2770 0.742946
+200.909929991 2780 0.743449
+201.717926979 2790 0.742408
+202.525937557 2800 0.742839
+203.331932545 2810 0.742875
+204.139951944 2820 0.74431
+204.941917419 2830 0.744454
+205.750428438 2840 0.745387
+206.555934906 2850 0.74808
+207.357925892 2860 0.748474
+208.164411545 2870 0.748008
+208.963946342 2880 0.750233
+209.764422894 2890 0.750987
+210.57044363 2900 0.752531
+211.370434523 2910 0.754613
+212.179929018 2920 0.756336
+212.975933075 2930 0.756982
+213.77592802 2940 0.759423
+214.575926304 2950 0.761648
+215.383930683 2960 0.762905
+216.180448055 2970 0.767248
+216.979943991 2980 0.77091
+217.779913425 2990 0.77371
+218.587927341 3000 0.776186
+219.387916088 3010 0.778699
+220.183948517 3020 0.782935
+220.981939554 3030 0.787924
+221.783923626 3040 0.78753
+222.578445435 3050 0.791873
+223.380525589 3060 0.795319
+224.17991972 3070 0.799268
+224.987923145 3080 0.802642
+225.786435127 3090 0.806447
+226.596437454 3100 0.810503
+227.38993001 3110 0.815206
+228.191941977 3120 0.819729
+228.991925716 3130 0.823534
+229.799902916 3140 0.827087
+230.599934578 3150 0.830964
+231.407925129 3160 0.833872
+232.203926563 3170 0.838179
+233.003967047 3180 0.840943
+233.806447983 3190 0.845071
+234.611928463 3200 0.850025
+235.414432049 3210 0.852861
+236.217578411 3220 0.858389
+237.017076015 3230 0.862445
+237.81594038 3240 0.86643
+238.615932941 3250 0.870235
+239.424458981 3260 0.874147
+240.223933458 3270 0.877594
+241.032057524 3280 0.882691
+241.832438946 3290 0.882404
+242.639922619 3300 0.886316
+243.436422586 3310 0.888937
+244.237915516 3320 0.891952
+245.03592968 3330 0.895613
+245.842449665 3340 0.896008
+246.653961658 3350 0.899024
+247.460455418 3360 0.902793
+248.269933939 3370 0.90387
+249.077937126 3380 0.906059
+249.887949467 3390 0.907495
+250.697908878 3400 0.909613
+251.507919073 3410 0.908752
+252.32792902 3420 0.9099
+253.143940926 3430 0.910331
+253.951940536 3440 0.91148
+254.762439013 3450 0.914997
+255.58207202 3460 0.912736
+256.391916037 3470 0.913669
+257.209914923 3480 0.914531
+258.028450966 3490 0.916074
+258.847931862 3500 0.914962
+259.669944048 3510 0.916038
+260.489924431 3520 0.916433
+261.318436146 3530 0.916685
+262.147925377 3540 0.920382
+262.975933552 3550 0.920059
+263.805941105 3560 0.920597
+264.633930445 3570 0.92049
+265.462440014 3580 0.922392
+266.295064449 3590 0.92372
+267.129959106 3600 0.925013
+267.973932981 3610 0.926771
+268.824939013 3620 0.928997
+269.672408104 3630 0.930253
+270.511911869 3640 0.931761
+271.360442162 3650 0.932587
+272.200437069 3660 0.934274
+273.035934448 3670 0.935351
+273.874429941 3680 0.936679
+274.715919495 3690 0.937792
+275.562426567 3700 0.939551
+276.4119277 3710 0.939371
+277.252918005 3720 0.941058
+278.089926243 3730 0.943894
+278.937930107 3740 0.946299
+279.785915375 3750 0.948561
+280.625939846 3760 0.950176
+281.459933519 3770 0.951899
+282.301926613 3780 0.954771
+283.137927055 3790 0.955883
+283.978431225 3800 0.958324
+284.818427086 3810 0.961806
+285.665923119 3820 0.962919
+286.500457048 3830 0.965181
+287.340565443 3840 0.968088
+288.182434559 3850 0.969883
+289.030447483 3860 0.97218
+289.865932465 3870 0.973293
+290.703943014 3880 0.97638
+291.543926001 3890 0.978247
+292.379937172 3900 0.979324
+293.217935085 3910 0.98198
+294.060433865 3920 0.985713
+294.895945549 3930 0.985929
+295.73791647 3940 0.987508
+296.571946144 3950 0.989375
+297.411932468 3960 0.991385
+298.246450424 3970 0.994041
+299.085925579 3980 0.996554
+299.918438435 3990 0.998277
+300.756433487 4000 1