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

[matches/honours.git] / research / TCS / 2012-09-28 / 114245.dat.p

diff --git a/research/TCS/2012-09-28/114245.dat.p b/research/TCS/2012-09-28/114245.dat.p
new file mode 100644 (file)
index 0000000..8b9d2e0
--- /dev/null
+++ b/research/TCS/2012-09-28/114245.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52797198296 0 0
+3.16537213326 10 0
+3.80188393593 20 0
+4.43288254738 30 0
+5.06136703491 40 0
+5.68886756897 50 0
+6.31986355782 60 0
+6.95687603951 70 0
+7.59137010574 80 0
+8.22885155678 90 0
+8.87085008621 100 0
+9.51134157181 110 0
+10.1511340141 120 0
+10.7889192104 130 0
+11.4248569012 140 0
+12.0648720264 150 0
+12.7073471546 160 0
+13.3448514938 170 0
+13.9848458767 180 0
+14.6208660603 190 0
+15.2638604641 200 0
+15.9008686543 210 0
+16.5378935337 220 0
+17.18085742 230 0
+17.8179814816 240 0
+18.456861496 250 0
+19.0968515873 260 0
+19.7368414402 270 0
+20.3753464222 280 0
+21.0128660202 290 0
+21.6528680325 300 0
+22.292858839 310 0
+22.932860136 320 0
+23.574846983 330 0
+24.2208600044 340 0
+24.8608438969 350 0
+25.4968688488 360 0
+26.1393561363 370 0
+26.776859045 380 0
+27.4173560143 390 0
+28.0528659821 400 0
+28.6928594112 410 0
+29.3353545666 420 0
+29.9728605747 430 0
+30.6126379967 440 0
+31.2528555393 450 0
+31.8908574581 460 0
+32.5288631916 470 0
+33.1688706875 480 0
+33.8088560104 490 0
+34.4513804913 500 0
+35.0956590176 510 0
+35.7333819866 520 0
+36.3768575191 530 0
+37.0128929615 540 0
+37.6528871059 550 0
+38.2928488255 560 0
+38.9328639507 570 0
+39.5718801022 580 0
+40.2088820934 590 0
+40.8488795757 600 0
+41.4888589382 610 0
+42.1288607121 620 0
+42.7648630142 630 0
+43.4048650265 640 0
+44.0448565483 650 0
+44.6848595142 660 0
+45.324852705 670 0
+45.9608736038 680 0
+46.6008608341 690 0
+47.2408695221 700 0
+47.8778755665 710 0
+48.5168755054 720 0
+49.157384634 730 0
+49.7968494892 740 0
+50.4368674755 750 0
+51.0738835335 760 0
+51.712874651 770 0
+52.3528754711 780 0
+52.9948441982 790 0
+53.6328585148 800 0
+54.2758514881 810 0
+54.9213690758 820 0
+55.5608620644 830 0
+56.2008595467 840 0
+56.8376729488 850 0
+57.4768640995 860 0
+58.1168811321 870 0
+58.7574059963 880 0
+59.3988645077 890 0
+60.0453531742 900 0
+60.68486619 910 0
+61.3248505592 920 0
+61.9628527164 930 0
+62.600869894 940 0
+63.240865469 950 0
+63.8813605309 960 0
+64.5313541889 970 0
+65.1768629551 980 0
+65.8180615902 990 0
+66.4688761234 1000 0
+67.1208565235 1010 0
+67.768859148 1020 0
+68.4173705578 1030 0
+69.064864397 1040 0
+69.7168624401 1050 0
+70.3658704758 1060 0
+71.0133709908 1070 0
+71.6608655453 1080 0
+72.3149044514 1090 0
+72.9633600712 1100 0
+73.6128630638 1110 0
+74.2608599663 1120 0
+74.9088613987 1130 0
+75.5633544922 1140 0
+76.2088549137 1150 0
+76.8568689823 1160 0
+77.5053675175 1170 0
+78.1598620415 1180 0
+78.8068399429 1190 0
+79.453363657 1200 0
+80.1048481464 1210 0
+80.7528545856 1220 0
+81.4008686543 1230 0
+82.0488679409 1240 0
+82.7009088993 1250 0
+83.3488748074 1260 0
+83.9968636036 1270 0
+84.6508586407 1280 0
+85.2968614101 1290 0
+85.9448649883 1300 0
+86.5961649418 1310 0
+87.2448794842 1320 0
+87.8953485489 1330 0
+88.5448524952 1340 0
+89.1928627491 1350 0
+89.8408620358 1360 0
+90.4888546467 1370 0
+91.1393685341 1380 0
+91.7893555164 1390 0
+92.4393594265 1400 0
+93.0893509388 1410 0
+93.7368524075 1420 0
+94.3848555088 1430 0
+95.0331609249 1440 0
+95.6848695278 1450 0
+96.3348596096 1460 0
+96.9813871384 1470 0
+97.6328570843 1480 0
+98.2808740139 1490 0
+98.9328649044 1500 0
+99.5808525085 1510 0
+100.230859995 1520 0
+100.876862049 1530 0
+101.531346083 1540 0
+102.176864624 1550 0
+102.827362537 1560 0
+103.476845503 1570 0
+104.126841545 1580 0
+104.834866524 1590 0.000920302
+105.605350256 1600 0.00248482
+106.37886548 1610 0.00750046
+107.162869692 1620 0.0144487
+107.946868658 1630 0.0237438
+108.725341082 1640 0.0309682
+109.50487709 1650 0.0406313
+110.295376539 1660 0.051813
+111.072844505 1670 0.0618903
+111.867342234 1680 0.0741303
+112.652855635 1690 0.0897294
+113.441161871 1700 0.0991625
+114.228891134 1710 0.112461
+115.008858442 1720 0.126035
+115.796868563 1730 0.139334
+116.578858137 1740 0.15231
+117.366868019 1750 0.162939
+118.159426451 1760 0.174397
+118.947350025 1770 0.185947
+119.732864618 1780 0.199199
+120.531350374 1790 0.21213
+121.320863485 1800 0.228235
+122.102874517 1810 0.240705
+122.890861034 1820 0.258421
+123.679383993 1830 0.272685
+124.470864534 1840 0.288469
+125.260852098 1850 0.305402
+126.050853968 1860 0.318977
+126.838851213 1870 0.3343
+127.627360106 1880 0.3522
+128.415373564 1890 0.370468
+129.205371141 1900 0.388183
+129.994852543 1910 0.401988
+130.783383608 1920 0.42205
+131.572856188 1930 0.440595
+132.361377001 1940 0.457436
+133.154855967 1950 0.471839
+133.954868078 1960 0.485137
+134.749406099 1970 0.496641
+135.549376011 1980 0.506074
+136.350815058 1990 0.51339
+137.150855541 2000 0.516749
+137.948860884 2010 0.521765
+138.747374058 2020 0.527149
+139.546867132 2030 0.53129
+140.34985137 2040 0.534741
+141.157346487 2050 0.541184
+141.956858397 2060 0.546107
+142.755366564 2070 0.551169
+143.550863504 2080 0.555908
+144.351350546 2090 0.561338
+145.150864601 2100 0.566814
+145.953346968 2110 0.572152
+146.762844086 2120 0.580526
+147.566857576 2130 0.584392
+148.368861437 2140 0.589913
+149.175362825 2150 0.596678
+149.978850603 2160 0.600681
+150.786845446 2170 0.606157
+151.594851494 2180 0.611771
+152.402866125 2190 0.617062
+153.200845957 2200 0.624379
+154.001377106 2210 0.630131
+154.810846567 2220 0.636343
+155.616865873 2230 0.642831
+156.416863441 2240 0.647708
+157.2253685 2250 0.656175
+158.024853468 2260 0.660685
+158.833160639 2270 0.663077
+159.632863522 2280 0.674351
+160.443367243 2290 0.681852
+161.249366522 2300 0.689122
+162.056913137 2310 0.690687
+162.856843233 2320 0.696484
+163.656853437 2330 0.702696
+164.457869053 2340 0.709691
+165.264870882 2350 0.716271
+166.07488203 2360 0.723495
+166.881345034 2370 0.73118
+167.692862511 2380 0.738818
+168.500854254 2390 0.743374
+169.31084609 2400 0.751334
+170.115149498 2410 0.759203
+170.916862011 2420 0.768084
+171.717347383 2430 0.774802
+172.525867939 2440 0.780554
+173.32486105 2450 0.787364
+174.132848978 2460 0.792794
+174.932858229 2470 0.79942
+175.741357088 2480 0.805862
+176.54885149 2490 0.809359
+177.351340532 2500 0.815295
+178.160866976 2510 0.816906
+178.967363119 2520 0.820495
+179.777855158 2530 0.825557
+180.58485055 2540 0.831953
+181.392871618 2550 0.830803
+182.191376448 2560 0.832643
+183.000860929 2570 0.83545
+183.810860872 2580 0.837383
+184.619354486 2590 0.838763
+185.429353952 2600 0.84019
+186.238852739 2610 0.839131
+187.046875238 2620 0.839269
+187.854861975 2630 0.840466
+188.664892912 2640 0.838395
+189.473352671 2650 0.837475
+190.283364058 2660 0.837015
+191.090857029 2670 0.834806
+191.902856588 2680 0.835956
+192.710863113 2690 0.832643
+193.519365549 2700 0.830849
+194.330862999 2710 0.82956
+195.138877153 2720 0.827581
+195.94736743 2730 0.827121
+196.75536561 2740 0.826937
+197.566841602 2750 0.824222
+198.372857571 2760 0.823072
+199.183367014 2770 0.821738
+199.988862991 2780 0.820725
+200.800865412 2790 0.82183
+201.607370138 2800 0.817412
+202.417359114 2810 0.816814
+203.225353956 2820 0.8164
+204.038846016 2830 0.814237
+204.844842672 2840 0.816768
+205.645364523 2850 0.814283
+206.452860117 2860 0.815572
+207.260850191 2870 0.814191
+208.068860531 2880 0.818148
+208.87086463 2890 0.817228
+209.677863121 2900 0.81212
+210.48685956 2910 0.812258
+211.297364473 2920 0.813225
+212.104846478 2930 0.811614
+212.914870501 2940 0.812258
+213.722833395 2950 0.812719
+214.52136898 2960 0.813133
+215.320860624 2970 0.814375
+216.13336587 2980 0.815249
+216.93884635 2990 0.816998
+217.738861084 3000 0.818286
+218.538844347 3010 0.820449
+219.346863031 3020 0.821461
+220.147865057 3030 0.825511
+220.956848383 3040 0.824636
+221.763160944 3050 0.827259
+222.571357012 3060 0.831953
+223.378865957 3070 0.830526
+224.181355476 3080 0.834208
+224.986862421 3090 0.837291
+225.787351608 3100 0.839729
+226.587362528 3110 0.844653
+227.382869959 3120 0.845757
+228.19486165 3130 0.849301
+228.994859457 3140 0.852798
+229.80334115 3150 0.859102
+230.602845907 3160 0.862323
+231.413347006 3170 0.863887
+232.221344471 3180 0.867937
+233.030861139 3190 0.871802
+233.841349363 3200 0.87852
+234.646868944 3210 0.88395
+235.446851969 3220 0.887631
+236.257865191 3230 0.890806
+237.05685544 3240 0.895638
+237.862859011 3250 0.899595
+238.66488862 3260 0.903368
+239.472876549 3270 0.909028
+240.28485465 3280 0.911927
+241.093360662 3290 0.915102
+241.899373531 3300 0.914964
+242.70135355 3310 0.917955
+243.508850813 3320 0.921222
+244.321856976 3330 0.92113
+245.128871441 3340 0.922327
+245.937352896 3350 0.923845
+246.749353647 3360 0.92587
+247.558842421 3370 0.92633
+248.364874601 3380 0.927664
+249.176860571 3390 0.928539
+249.984859705 3400 0.927894
+250.792865992 3410 0.929413
+251.60334897 3420 0.928861
+252.414850473 3430 0.932634
+253.229376078 3440 0.928539
+254.039368868 3450 0.92725
+254.848854542 3460 0.926146
+255.6733675 3470 0.927204
+256.479342699 3480 0.924627
+257.297346592 3490 0.928124
+258.112848043 3500 0.927204
+258.925367594 3510 0.924581
+259.74174571 3520 0.924121
+260.549363613 3530 0.923385
+261.349378347 3540 0.922695
+262.159181595 3550 0.923385
+262.971347094 3560 0.923155
+263.791351557 3570 0.924351
+264.598851442 3580 0.924397
+265.407360554 3590 0.925548
+266.224846125 3600 0.928585
+267.034850597 3610 0.925916
+267.847342491 3620 0.92748
+268.662868023 3630 0.927802
+269.474843025 3640 0.927802
+270.288862467 3650 0.931345
+271.090883493 3660 0.930793
+271.902843475 3670 0.931484
+272.718854666 3680 0.931852
+273.530868053 3690 0.933278
+274.346871138 3700 0.935487
+275.16685605 3710 0.936361
+275.972863913 3720 0.937926
+276.786858559 3730 0.939582
+277.602859259 3740 0.941607
+278.411359072 3750 0.942067
+279.225339174 3760 0.944322
+280.043358088 3770 0.946116
+280.861354113 3780 0.948601
+281.670858622 3790 0.950396
+282.478885889 3800 0.952052
+283.297366858 3810 0.953755
+284.107170105 3820 0.956424
+284.918853045 3830 0.958494
+285.732905149 3840 0.959415
+286.544857979 3850 0.963556
+287.355377436 3860 0.965903
+288.174844027 3870 0.970918
+288.991354704 3880 0.969216
+289.801348448 3890 0.973035
+290.608851671 3900 0.978741
+291.419360399 3910 0.980766
+292.237366915 3920 0.982928
+293.046859503 3930 0.987484
+293.858853579 3940 0.984125
+294.673371553 3950 0.990705
+295.486858606 3960 0.989094
+296.294851065 3970 0.990705
+297.103357077 3980 0.997607
+297.910860062 3990 0.997239
+298.722849607 4000 1