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

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

diff --git a/research/TCS/2012-10-02/134213.dat.p b/research/TCS/2012-10-02/134213.dat.p
new file mode 100644 (file)
index 0000000..5dfc59c
--- /dev/null
+++ b/research/TCS/2012-10-02/134213.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52879738808 0 0
+3.16168618202 10 0
+3.79416823387 20 0
+4.43207788467 30 0
+5.06168198586 40 0
+5.68968987465 50 0
+6.32166552544 60 0
+6.95767998695 70 0
+7.59416222572 80 0
+8.22568082809 90 0
+8.85768437386 100 0
+9.4976708889 110 0
+10.1376779079 120 0
+10.7801504135 130 0
+11.413736105 140 0
+12.0566539764 150 0
+12.6936709881 160 0
+13.3336744308 170 0
+13.9721848965 180 0
+14.6096842289 190 0
+15.249682188 200 0
+15.8896658421 210 0
+16.5296583176 220 0
+17.1696584225 230 0
+17.8056809902 240 0
+18.4456727505 250 0
+19.085670948 260 0
+19.725669384 270 0
+20.3616797924 280 0
+21.0016915798 290 0
+21.6416714191 300 0
+22.2821648121 310 0
+22.9201748371 320 0
+23.5576784611 330 0
+24.2006499767 340 0
+24.8456733227 350 0
+25.4856808186 360 0
+26.1256849766 370 0
+26.7645590305 380 0
+27.4016754627 390 0
+28.0416748524 400 0
+28.6816637516 410 0
+29.3221890926 420 0
+29.9626657963 430 0
+30.5981032848 440 0
+31.2385869026 450 0
+31.8776738644 460 0
+32.5176713467 470 0
+33.1546823978 480 0
+33.7936937809 490 0
+34.4336760044 500 0
+35.0736703873 510 0
+35.7136805058 520 0
+36.3501880169 530 0
+36.9897005558 540 0
+37.6299374104 550 0
+38.2696728706 560 0
+38.9081714153 570 0
+39.5496714115 580 0
+40.1857428551 590 0
+40.8256585598 600 0
+41.4656684399 610 0
+42.1016795635 620 0
+42.7416918278 630 0
+43.3816742897 640 0
+44.0216710567 650 0
+44.6576659679 660 0
+45.2976682186 670 0
+45.9386718273 680 0
+46.5736808777 690 0
+47.2161562443 700 0
+47.853666544 710 0
+48.493667841 720 0
+49.1346673965 730 0
+49.7696735859 740 0
+50.4096689224 750 0
+51.0496733189 760 0
+51.689668417 770 0
+52.3296687603 780 0
+52.9776690006 790 0
+53.6186625957 800 0
+54.2536838055 810 0
+54.8941709995 820 0
+55.5336687565 830 0
+56.1736643314 840 0
+56.8136742115 850 0
+57.4496798515 860 0
+58.0901772976 870 0
+58.729675293 880 0
+59.3696734905 890 0
+60.0096747875 900 0
+60.6456830502 910 0
+61.2856600285 920 0
+61.9256780148 930 0
+62.5641639233 940 0
+63.21418643 950 0
+63.8506793976 960 0
+64.4905738831 970 0
+65.1296775341 980 0
+65.7696754932 990 0
+66.4101850986 1000 0
+67.0601718426 1010 0
+67.7096788883 1020 0
+68.3581678867 1030 0
+69.0096633434 1040 0
+69.6576478481 1050 0
+70.3056814671 1060 0
+70.9536750317 1070 0
+71.6056683064 1080 0
+72.2536790371 1090 0
+72.9016788006 1100 0
+73.5536682606 1110 0
+74.2016899586 1120 0
+74.8496720791 1130 0
+75.5006716251 1140 0
+76.145665884 1150 0
+76.7947313786 1160 0
+77.4481713772 1170 0
+78.094170332 1180 0
+78.7416934967 1190 0
+79.3896830082 1200 0
+80.0401694775 1210 0
+80.6896734238 1220 0
+81.3376729488 1230 0
+81.9856812954 1240 0
+82.6336889267 1250 0
+83.2856600285 1260 0
+83.9366452694 1270 0
+84.5816574097 1280 0
+85.2296607494 1290 0
+85.8776798248 1300 0
+86.5296757221 1310 0
+87.1776735783 1320 0
+87.8281638622 1330 0
+88.4736688137 1340 0
+89.1241703033 1350 0
+89.7736673355 1360 0
+90.4226808548 1370 0
+91.0696749687 1380 0
+91.7176709175 1390 0
+92.369666338 1400 0
+93.0176727772 1410 0
+93.6656672955 1420 0
+94.3136875629 1430 0
+94.9656534195 1440 0
+95.6161534786 1450 0
+96.2616858482 1460 0
+96.9096763134 1470 0
+97.5576834679 1480 0
+98.2097759247 1490 0
+98.8576798439 1500 0
+99.5056858063 1510 0
+100.15366888 1520 0
+100.840186357 1530 0.000335683
+101.57167387 1540 0.000335683
+102.332175493 1550 0.00194696
+103.108166933 1560 0.00641155
+103.883680344 1570 0.0124874
+104.661667347 1580 0.018899
+105.440185785 1590 0.0268546
+106.220192909 1600 0.0353474
+107.002165794 1610 0.0429339
+107.789661884 1620 0.0521652
+108.577673197 1630 0.060423
+109.358169794 1640 0.0695871
+110.145679235 1650 0.0784827
+110.934170008 1660 0.088184
+111.721671343 1670 0.098288
+112.508155346 1680 0.109701
+113.297683477 1690 0.122524
+114.080158949 1700 0.132964
+114.867886782 1710 0.143303
+115.65367794 1720 0.155052
+116.433665991 1730 0.166331
+117.221660376 1740 0.177442
+118.00167942 1750 0.188553
+118.790679693 1760 0.199228
+119.579674482 1770 0.211413
+120.370082378 1780 0.220879
+121.159662485 1790 0.234374
+121.945677519 1800 0.245049
+122.735665321 1810 0.258812
+123.523675919 1820 0.273078
+124.309690237 1830 0.286606
+125.100072384 1840 0.302719
+125.889675856 1850 0.316851
+126.677656889 1860 0.332998
+127.469663382 1870 0.346727
+128.256157398 1880 0.360725
+129.043685436 1890 0.377946
+129.833675385 1900 0.393421
+130.622177362 1910 0.409063
+131.41565299 1920 0.426083
+132.211684942 1930 0.445787
+133.01164937 1940 0.461732
+133.81166935 1950 0.477308
+134.611650705 1960 0.492481
+135.407677889 1970 0.503961
+136.208570242 1980 0.515072
+137.01015687 1990 0.522524
+137.807672739 2000 0.528197
+138.606173277 2010 0.534911
+139.405674934 2020 0.541893
+140.206166029 2030 0.548238
+141.00167799 2040 0.55334
+141.801660776 2050 0.559047
+142.59817338 2060 0.564283
+143.397675276 2070 0.57234
+144.197681904 2080 0.577274
+144.997671366 2090 0.58184
+145.805685282 2100 0.586942
+146.601674795 2110 0.590702
+147.401674032 2120 0.58993
+148.201680422 2130 0.594696
+148.999671936 2140 0.600067
+149.795681238 2150 0.603693
+150.597677469 2160 0.608761
+151.397660494 2170 0.613427
+152.197664976 2180 0.619637
+153.007663965 2190 0.624236
+153.813657522 2200 0.630111
+154.621646881 2210 0.637462
+155.420166969 2220 0.63951
+156.21766448 2230 0.646022
+157.017683268 2240 0.651594
+157.817665815 2250 0.657167
+158.625655413 2260 0.661128
+159.423649549 2270 0.667002
+160.220174551 2280 0.673716
+161.021678925 2290 0.679053
+161.829685926 2300 0.681772
+162.629659891 2310 0.687009
+163.43767333 2320 0.689728
+164.245684385 2330 0.693622
+165.043667316 2340 0.697382
+165.843656778 2350 0.700067
+166.640171289 2360 0.704129
+167.439669847 2370 0.706076
+168.242157221 2380 0.709802
+169.049660444 2390 0.71101
+169.849659681 2400 0.712689
+170.654667377 2410 0.716348
+171.463678837 2420 0.716247
+172.266147852 2430 0.717523
+173.070696592 2440 0.720376
+173.869687319 2450 0.723397
+174.669646025 2460 0.723733
+175.477685928 2470 0.723968
+176.278155327 2480 0.725478
+177.084185839 2490 0.725747
+177.88566947 2500 0.724975
+178.693667889 2510 0.726754
+179.502159834 2520 0.72709
+180.304657936 2530 0.726217
+181.109675407 2540 0.726687
+181.918166876 2550 0.72719
+182.72668004 2560 0.728063
+183.535662413 2570 0.727996
+184.341687441 2580 0.726788
+185.144667864 2590 0.727358
+185.951673746 2600 0.727358
+186.75967145 2610 0.728063
+187.569745779 2620 0.72625
+188.379652739 2630 0.725411
+189.185667276 2640 0.724706
+189.981673479 2650 0.723599
+190.791665792 2660 0.723296
+191.589671373 2670 0.722222
+192.3976686 2680 0.721517
+193.206650972 2690 0.721349
+194.014182806 2700 0.720678
+194.82167387 2710 0.720175
+195.621658802 2720 0.721014
+196.429663897 2730 0.720745
+197.237668753 2740 0.720846
+198.043665409 2750 0.720007
+198.845657825 2760 0.719705
+199.659672976 2770 0.720107
+200.460171461 2780 0.719302
+201.260144949 2790 0.718026
+202.070167303 2800 0.71806
+202.87814641 2810 0.719235
+203.684174299 2820 0.720107
+204.492175817 2830 0.72286
+205.291672945 2840 0.724706
+206.099704027 2850 0.724975
+206.899670362 2860 0.726217
+207.70566678 2870 0.727828
+208.506181002 2880 0.730446
+209.304173708 2890 0.730581
+210.10365653 2900 0.732259
+210.911732912 2910 0.734542
+211.708162069 2920 0.737831
+212.508178473 2930 0.737731
+213.30617404 2940 0.73951
+214.105666876 2950 0.74243
+214.901668787 2960 0.746224
+215.703652382 2970 0.748976
+216.500669479 2980 0.751393
+217.309696913 2990 0.754716
+218.107677937 3000 0.758241
+218.908165455 3010 0.761128
+219.707686901 3020 0.764619
+220.503659964 3030 0.767741
+221.30366087 3040 0.771198
+222.102164507 3050 0.774622
+222.899661303 3060 0.777744
+223.699660063 3070 0.781772
+224.508241892 3080 0.786002
+225.308689833 3090 0.790131
+226.115665197 3100 0.795133
+226.92168498 3110 0.801947
+227.722174406 3120 0.803693
+228.52816987 3130 0.807351
+229.325671911 3140 0.811782
+230.125682592 3150 0.815072
+230.925658941 3160 0.819436
+231.723089933 3170 0.822927
+232.535654306 3180 0.827727
+233.340237856 3190 0.83189
+234.140188932 3200 0.835784
+234.941666365 3210 0.840248
+235.752169371 3220 0.843202
+236.563663721 3230 0.847063
+237.374161959 3240 0.851796
+238.189680815 3250 0.855723
+239.006158352 3260 0.859282
+239.835650921 3270 0.863713
+240.661679983 3280 0.869084
+241.491657019 3290 0.869251
+242.32166791 3300 0.875797
+243.163659334 3310 0.875529
+244.002156973 3320 0.879993
+244.83966589 3330 0.881974
+245.679656267 3340 0.884626
+246.518092394 3350 0.888184
+247.368166208 3360 0.890735
+248.20367074 3370 0.892212
+249.043668509 3380 0.89577
+249.879664898 3390 0.89661
+250.719663382 3400 0.898926
+251.556666851 3410 0.901309
+252.38815999 3420 0.900403
+253.223679304 3430 0.900906
+254.063666344 3440 0.90235
+254.922173262 3450 0.904297
+255.759664774 3460 0.904465
+256.587671995 3470 0.905404
+257.425671339 3480 0.90574
+258.255681753 3490 0.906848
+259.097658396 3500 0.907385
+259.930205584 3510 0.908124
+260.761669397 3520 0.912722
+261.599669218 3530 0.911212
+262.427665472 3540 0.911648
+263.256166458 3550 0.916079
+264.086174726 3560 0.914468
+264.922190905 3570 0.915676
+265.75165987 3580 0.918429
+266.58364749 3590 0.918228
+267.417673349 3600 0.920779
+268.248168468 3610 0.920879
+269.088171244 3620 0.922021
+269.927657843 3630 0.924203
+270.763664484 3640 0.925277
+271.603658915 3650 0.927056
+272.440167427 3660 0.929406
+273.279669523 3670 0.930816
+274.117656946 3680 0.931588
+274.955673933 3690 0.93565
+275.795649767 3700 0.937597
+276.623668432 3710 0.940282
+277.451676846 3720 0.942229
+278.291660309 3730 0.945284
+279.126605988 3740 0.945317
+279.95964694 3750 0.946962
+280.795675516 3760 0.949648
+281.635671854 3770 0.951695
+282.474148035 3780 0.953676
+283.31167841 3790 0.954985
+284.151108027 3800 0.957033
+284.989659309 3810 0.958845
+285.825676918 3820 0.962739
+286.655683279 3830 0.963243
+287.486157894 3840 0.964955
+288.310685396 3850 0.966163
+289.140168428 3860 0.967909
+289.977674723 3870 0.969419
+290.805685282 3880 0.972239
+291.638169527 3890 0.974287
+292.46566844 3900 0.976166
+293.301666498 3910 0.97959
+294.129980803 3920 0.981705
+294.957685232 3930 0.983887
+295.789661407 3940 0.986506
+296.617654085 3950 0.987378
+297.451684713 3960 0.989493
+298.273668051 3970 0.991239
+299.104157448 3980 0.993286
+299.941654444 3990 0.995938
+300.769668818 4000 1