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

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

diff --git a/research/TCS/2012-09-29/121316.dat.p b/research/TCS/2012-09-29/121316.dat.p
new file mode 100644 (file)
index 0000000..c54f720
--- /dev/null
+++ b/research/TCS/2012-09-29/121316.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53091549873 0 0
+3.16780328751 10 0
+3.79581284523 20 0
+4.42629694939 30 0
+5.05578660965 40 0
+5.68629693985 50 0
+6.32378721237 60 0
+6.96429443359 70 0
+7.60377693176 80 0
+8.23978281021 90 0
+8.87179756165 100 0
+9.51178073883 110 0
+10.1522769928 120 0
+10.7902829647 130 0
+11.4307744503 140 0
+12.0677978992 150 0
+12.7077624798 160 0
+13.3477714062 170 0
+13.9902715683 180 0
+14.6237854958 190 0
+15.2662739754 200 0
+15.9037632942 210 0
+16.5437788963 220 0
+17.1797883511 230 0
+17.8198130131 240 0
+18.4597687721 250 0
+19.0997948647 260 0
+19.7397823334 270 0
+20.3757944107 280 0
+21.0167758465 290 0
+21.6557688713 300 0
+22.2957715988 310 0
+22.9322953224 320 0
+23.5742719173 330 0
+24.211783886 340 0
+24.8517799377 350 0
+25.4877839088 360 0
+26.1277871132 370 0
+26.7677819729 380 0
+27.4077868462 390 0
+28.0502543449 400 0
+28.6837909222 410 0
+29.3267660141 420 0
+29.9637730122 430 0
+30.6037740707 440 0
+31.2437801361 450 0
+31.879799366 460 0
+32.51978302 470 0
+33.1597709656 480 0
+33.7997813225 490 0
+34.438218832 500 0
+35.0797715187 510 0
+35.7157793045 520 0
+36.3582978249 530 0
+36.9957809448 540 0
+37.6357727051 550 0
+38.2717862129 560 0
+38.9117803574 570 0
+39.5517868996 580 0
+40.1917843819 590 0
+40.8317809105 600 0
+41.4687809944 610 0
+42.1077928543 620 0
+42.7477793694 630 0
+43.3862862587 640 0
+44.0237634182 650 0
+44.6637926102 660 0
+45.3037884235 670 0
+45.943785429 680 0
+46.583783865 690 0
+47.2242779732 700 0
+47.8608374596 710 0
+48.5022578239 720 0
+49.1397891045 730 0
+49.7802739143 740 0
+50.418289423 750 0
+51.0677695274 760 0
+51.7037909031 770 0
+52.3437879086 780 0
+52.9867720604 790 0
+53.6317863464 800 0
+54.2717933655 810 0
+54.9117894173 820 0
+55.5517830849 830 0
+56.1917872429 840 0
+56.8322730064 850 0
+57.4687860012 860 0
+58.1077723503 870 0
+58.7477788925 880 0
+59.3877768517 890 0
+60.0242359638 900 0
+60.6642837524 910 0
+61.303798914 920 0
+61.9437770844 930 0
+62.5837759972 940 0
+63.2243235111 950 0
+63.8597929478 960 0
+64.4997868538 970 0
+65.1397874355 980 0
+65.7797684669 990 0
+66.4299550056 1000 0
+67.0802874565 1010 0
+67.7277684212 1020 0
+68.3757894039 1030 0
+69.024230957 1040 0
+69.6637854576 1050 0
+70.3157730103 1060 0
+70.9677648544 1070 0
+71.6127839088 1080 0
+72.2597908974 1090 0
+72.9117817879 1100 0
+73.5597748756 1110 0
+74.2083134651 1120 0
+74.8587853909 1130 0
+75.5077939034 1140 0
+76.1557917595 1150 0
+76.8037910461 1160 0
+77.4542849064 1170 0
+78.1037938595 1180 0
+78.7547750473 1190 0
+79.3997919559 1200 0
+80.0517892838 1210 0
+80.6997849941 1220 0
+81.3477845192 1230 0
+81.9997808933 1240 0
+82.6477766037 1250 0
+83.2957918644 1260 0
+83.9442639351 1270 0
+84.5957689285 1280 0
+85.243778944 1290 0
+85.8917837143 1300 0
+86.539781332 1310 0
+87.1877827644 1320 0
+87.8397669792 1330 0
+88.4877789021 1340 0
+89.135802269 1350 0
+89.7837915421 1360 0
+90.4342808723 1370 0
+91.0837664604 1380 0
+91.7317824364 1390 0
+92.3837776184 1400 0
+93.0317823887 1410 0
+93.6822800636 1420 0
+94.3277840614 1430 0
+94.9782943726 1440 0
+95.627774477 1450 0
+96.276278019 1460 0
+96.9237961769 1470 0
+97.5727908611 1480 0
+98.2242760658 1490 0
+98.8717865944 1500 0
+99.5202908516 1510 0
+100.171776772 1520 0
+100.819787502 1530 0
+101.470277309 1540 0
+102.118295908 1550 0
+102.767766953 1560 0
+103.415780306 1570 0
+104.123795033 1580 0.000487329
+104.894803047 1590 0.00209552
+105.675772905 1600 0.00667641
+106.457774401 1610 0.0142788
+107.237785339 1620 0.0225146
+108.024292946 1630 0.030848
+108.805816889 1640 0.0403021
+109.59175992 1650 0.0495127
+110.37578392 1660 0.06077
+111.1527915 1670 0.0717349
+111.933778763 1680 0.0837232
+112.723781347 1690 0.0971735
+113.508275986 1700 0.109308
+114.287792921 1710 0.122368
+115.068260431 1720 0.136111
+115.858280897 1730 0.146735
+116.649774551 1740 0.163255
+117.43778038 1750 0.17461
+118.22627449 1760 0.187037
+119.011787415 1770 0.202729
+119.79427886 1780 0.212817
+120.580297947 1790 0.227437
+121.36827755 1800 0.240156
+122.156296253 1810 0.25424
+122.935789347 1820 0.270175
+123.727767944 1830 0.284503
+124.51578331 1840 0.301316
+125.307767868 1850 0.318519
+126.104277372 1860 0.333674
+126.891780376 1870 0.348392
+127.681773424 1880 0.363938
+128.469789028 1890 0.377778
+129.259773016 1900 0.391569
+130.048277378 1910 0.404386
+130.840272903 1920 0.415107
+131.635775566 1930 0.427437
+132.430775881 1940 0.436062
+133.225759506 1950 0.441715
+134.025774479 1960 0.446881
+134.82228899 1970 0.451559
+135.621779442 1980 0.455994
+136.421774387 1990 0.459259
+137.221761942 2000 0.462768
+138.019777775 2010 0.469786
+138.817776442 2020 0.476608
+139.617774963 2030 0.474561
+140.418241024 2040 0.478314
+141.214822292 2050 0.480019
+142.013784885 2060 0.484552
+142.81576848 2070 0.48845
+143.615800858 2080 0.49347
+144.415766954 2090 0.499464
+145.224279404 2100 0.503606
+146.031776905 2110 0.509308
+146.840268612 2120 0.514084
+147.639769554 2130 0.518957
+148.439768791 2140 0.523684
+149.235770702 2150 0.528752
+150.033784866 2160 0.533041
+150.835782528 2170 0.537963
+151.636253834 2180 0.543616
+152.443768978 2190 0.550682
+153.241782427 2200 0.558967
+154.052283764 2210 0.561745
+154.850271225 2220 0.569201
+155.646288395 2230 0.576998
+156.448278904 2240 0.579581
+157.245779037 2250 0.586745
+158.045779467 2260 0.593226
+158.841775417 2270 0.598928
+159.641771317 2280 0.603996
+160.440284729 2290 0.612573
+161.239785433 2300 0.617398
+162.041794777 2310 0.624318
+162.847776413 2320 0.630556
+163.659781456 2330 0.638207
+164.467774391 2340 0.643226
+165.276265144 2350 0.649756
+166.083781719 2360 0.656189
+166.885782242 2370 0.662622
+167.691785336 2380 0.671053
+168.494267464 2390 0.676852
+169.301778316 2400 0.683821
+170.107784986 2410 0.691228
+170.907781363 2420 0.698441
+171.708735943 2430 0.70653
+172.515777588 2440 0.712719
+173.323779345 2450 0.72037
+174.126285315 2460 0.725926
+174.931783915 2470 0.732797
+175.733773947 2480 0.740595
+176.542256832 2490 0.747271
+177.34778285 2500 0.75385
+178.14828825 2510 0.759893
+178.9577775 2520 0.764279
+179.756269932 2530 0.768324
+180.563791513 2540 0.772125
+181.363776445 2550 0.775926
+182.171779394 2560 0.780653
+182.971777916 2570 0.784064
+183.779781342 2580 0.787719
+184.587785959 2590 0.790448
+185.389774323 2600 0.793567
+186.198278904 2610 0.797271
+187.003779411 2620 0.795809
+187.811787844 2630 0.79883
+188.613767862 2640 0.798294
+189.421786308 2650 0.798733
+190.227785349 2660 0.802144
+191.028282404 2670 0.800195
+191.835780382 2680 0.799025
+192.638263941 2690 0.798977
+193.45629549 2700 0.798441
+194.264283895 2710 0.802632
+195.072287083 2720 0.798684
+195.873775482 2730 0.797563
+196.682273388 2740 0.798733
+197.490105867 2750 0.796101
+198.299246311 2760 0.796686
+199.108276367 2770 0.798733
+199.915785789 2780 0.793665
+200.72378087 2790 0.793372
+201.532291412 2800 0.792982
+202.343777895 2810 0.792544
+203.148319244 2820 0.793324
+203.947800875 2830 0.792203
+204.748272419 2840 0.792495
+205.556353331 2850 0.794055
+206.366287947 2860 0.794152
+207.172290802 2870 0.795565
+207.971774101 2880 0.796004
+208.772255898 2890 0.796442
+209.5797894 2900 0.797027
+210.387779474 2910 0.797515
+211.199791908 2920 0.79771
+212.007768393 2930 0.798782
+212.814293861 2940 0.800634
+213.623773336 2950 0.802388
+214.421776295 2960 0.803265
+215.22177124 2970 0.805799
+216.01778698 2980 0.806823
+216.820269346 2990 0.809698
+217.62579155 3000 0.812963
+218.440267563 3010 0.814425
+219.246273994 3020 0.815448
+220.059779406 3030 0.819396
+220.861811876 3040 0.822125
+221.669799328 3050 0.824951
+222.481853485 3060 0.826754
+223.289789915 3070 0.829727
+224.099774837 3080 0.834016
+224.905790806 3090 0.837524
+225.706287861 3100 0.841277
+226.50827837 3110 0.845663
+227.313786507 3120 0.850634
+228.113772869 3130 0.854727
+228.922281981 3140 0.859259
+229.721770287 3150 0.864133
+230.530270576 3160 0.866277
+231.329789877 3170 0.871832
+232.137776852 3180 0.875439
+232.938788891 3190 0.880166
+233.745785475 3200 0.885916
+234.547774315 3210 0.890058
+235.355772018 3220 0.894201
+236.162290573 3230 0.89922
+236.971786022 3240 0.902827
+237.784754992 3250 0.906384
+238.591773987 3260 0.911111
+239.399777412 3270 0.914084
+240.207773447 3280 0.915984
+241.019805431 3290 0.919591
+241.826287985 3300 0.924464
+242.635788441 3310 0.923099
+243.444294453 3320 0.924805
+244.2437644 3330 0.928363
+245.052786827 3340 0.92807
+245.861773014 3350 0.92963
+246.674271345 3360 0.931774
+247.490128517 3370 0.931384
+248.301764488 3380 0.931676
+249.117785454 3390 0.931579
+249.926286221 3400 0.931335
+250.735796452 3410 0.930458
+251.544795036 3420 0.930019
+252.353777409 3430 0.927875
+253.165767431 3440 0.928314
+253.981770992 3450 0.927827
+254.791783333 3460 0.92729
+255.601768494 3470 0.928021
+256.409775019 3480 0.927144
+257.216310501 3490 0.930312
+258.028246403 3500 0.927388
+258.846270561 3510 0.925536
+259.653769016 3520 0.925341
+260.464314938 3530 0.925195
+261.271799088 3540 0.925
+262.081791401 3550 0.925195
+262.901774883 3560 0.925828
+263.722277403 3570 0.926559
+264.530267715 3580 0.927047
+265.347767353 3590 0.927096
+266.155791283 3600 0.928119
+266.963778019 3610 0.928411
+267.772290468 3620 0.928655
+268.582289219 3630 0.929678
+269.395772457 3640 0.930702
+270.210269451 3650 0.932212
+271.022269964 3660 0.932602
+271.835791588 3670 0.934113
+272.645798206 3680 0.938109
+273.457759857 3690 0.937963
+274.271783352 3700 0.938791
+275.086259365 3710 0.93923
+275.893773556 3720 0.942251
+276.714261055 3730 0.943616
+277.529797077 3740 0.946199
+278.335796833 3750 0.947953
+279.144258976 3760 0.94883
+279.95834589 3770 0.951608
+280.766231298 3780 0.953606
+281.586736917 3790 0.955019
+282.401783943 3800 0.957115
+283.210306883 3810 0.959162
+284.03027153 3820 0.961891
+284.847780704 3830 0.963791
+285.65777874 3840 0.964766
+286.4677701 3850 0.96847
+287.277781963 3860 0.969542
+288.096277237 3870 0.971979
+288.903779984 3880 0.97461
+289.713764429 3890 0.976511
+290.534265518 3900 0.978216
+291.349772453 3910 0.98153
+292.161778927 3920 0.982602
+292.977796316 3930 0.985429
+293.788247347 3940 0.98694
+294.598258972 3950 0.988596
+295.403777838 3960 0.99152
+296.213776827 3970 0.992544
+297.033762455 3980 0.99537
+297.849787712 3990 0.997271
+298.669806004 4000 1