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

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

diff --git a/research/TCS/2012-10-01/154022.dat.p b/research/TCS/2012-10-01/154022.dat.p
new file mode 100644 (file)
index 0000000..12ef881
--- /dev/null
+++ b/research/TCS/2012-10-01/154022.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.52901554108 0 0
+3.16337752342 10 0
+3.80585384369 20 0
+4.43938207626 30 0
+5.07136869431 40 0
+5.70738101006 50 0
+6.33538532257 60 0
+6.96439409256 70 0
+7.59386634827 80 0
+8.23238158226 90 0
+8.87538290024 100 0
+9.51137208939 110 0
+10.1514539719 120 0
+10.7883849144 130 0
+11.4273715019 140 0
+12.0673635006 150 0
+12.7071774006 160 0
+13.3438673019 170 0
+13.9833750725 180 0
+14.6223804951 190 0
+15.2593815327 200 0
+15.8993594646 210 0
+16.5393686295 220 0
+17.1753783226 230 0
+17.8153653145 240 0
+18.4558639526 250 0
+19.0913674831 260 0
+19.731374979 270 0
+20.3713870049 280 0
+21.0073714256 290 0
+21.6473784447 300 0
+22.2878890038 310 0
+22.9234549999 320 0
+23.5633759499 330 0
+24.2033572197 340 0
+24.8433666229 350 0
+25.4823634624 360 0
+26.1193675995 370 0
+26.7593505383 380 0
+27.3953819275 390 0
+28.0353856087 400 0
+28.6753668785 410 0
+29.3113851547 420 0
+29.9513630867 430 0
+30.5913639069 440 0
+31.2273774147 450 0
+31.8673810959 460 0
+32.507373333 470 0
+33.1433725357 480 0
+33.7833743095 490 0
+34.4233725071 500 0
+35.0663495064 510 0
+35.7113633156 520 0
+36.347369194 530 0
+36.9873859882 540 0
+37.628367424 550 0
+38.2633991241 560 0
+38.9058675766 570 0
+39.5513739586 580 0
+40.1913704872 590 0
+40.8313570023 600 0
+41.4673776627 610 0
+42.107375145 620 0
+42.7474000454 630 0
+43.3833823204 640 0
+44.0258698463 650 0
+44.6713864803 660 0
+45.3138699532 670 0
+45.9518735409 680 0
+46.5938630104 690 0
+47.2378704548 700 0
+47.8753814697 710 0
+48.5153625011 720 0
+49.1553709507 730 0
+49.803365469 740 0
+50.443864584 750 0
+51.0793619156 760 0
+51.7193615437 770 0
+52.3633923531 780 0
+53.0073695183 790 0
+53.6433811188 800 0
+54.2843670845 810 0
+54.9233624935 820 0
+55.5658550262 830 0
+56.2113671303 840 0
+56.853864193 850 0
+57.4993700981 860 0
+58.1393518448 870 0
+58.7753744125 880 0
+59.4153540134 890 0
+60.0538773537 900 0
+60.6913905144 910 0
+61.331371069 920 0
+61.971367836 930 0
+62.6073884964 940 0
+63.2473814487 950 0
+63.8878560066 960 0
+64.5298728943 970 0
+65.1753909588 980 0
+65.8113794327 990 0
+66.4518890381 1000 0
+67.0913844109 1010 0
+67.7413899899 1020 0
+68.391856432 1030 0
+69.0393695831 1040 0
+69.6898903847 1050 0
+70.3353915215 1060 0
+70.983371973 1070 0
+71.6313686371 1080 0
+72.283364296 1090 0
+72.9338684082 1100 0
+73.5793600082 1110 0
+74.2273797989 1120 0
+74.8753800392 1130 0
+75.5233860016 1140 0
+76.1783466339 1150 0
+76.8319010735 1160 0
+77.479373455 1170 0
+78.1313550472 1180 0
+78.7793636322 1190 0
+79.4273738861 1200 0
+80.0753614902 1210 0
+80.7233834267 1220 0
+81.3753650188 1230 0
+82.0233800411 1240 0
+82.671380043 1250 0
+83.3193836212 1260 0
+83.9673790932 1270 0
+84.6153845787 1280 0
+85.267355442 1290 0
+85.9153800011 1300 0
+86.5633716583 1310 0
+87.2113938332 1320 0
+87.8618695736 1330 0
+88.5073904991 1340 0
+89.1583750248 1350 0
+89.807874918 1360 0
+90.4553699493 1370 0
+91.1033790112 1380 0
+91.7518584728 1390 0
+92.3993701935 1400 0
+93.0513687134 1410 0
+93.6993629932 1420 0
+94.3473820686 1430 0
+94.9958543777 1440 0
+95.6434085369 1450 0
+96.2913694382 1460 0
+96.939604044 1470 0
+97.5883750916 1480 0
+98.2393615246 1490 0
+98.8873524666 1500 0
+99.5353751183 1510 0
+100.183374882 1520 0
+100.83137989 1530 0
+101.513860703 1540 0
+102.251877546 1550 0.000553212
+103.021353006 1560 0.00380333
+103.801359653 1570 0.00881682
+104.581354618 1580 0.0158703
+105.357905388 1590 0.0238227
+106.137364864 1600 0.03219
+106.927858353 1610 0.0396584
+107.715363503 1620 0.0479911
+108.505354404 1630 0.0571191
+109.291359901 1640 0.0667312
+110.079355478 1650 0.0768965
+110.868370056 1660 0.086958
+111.655434608 1670 0.0987829
+112.44388485 1680 0.108602
+113.231870651 1690 0.124127
+114.021368504 1700 0.132702
+114.811355114 1710 0.143386
+115.596393108 1720 0.155141
+116.385369062 1730 0.166621
+117.163383961 1740 0.177789
+117.951376915 1750 0.188611
+118.733366013 1760 0.200194
+119.52038908 1770 0.210082
+120.309354067 1780 0.221873
+121.097877502 1790 0.23387
+121.889355659 1800 0.24739
+122.675359011 1810 0.260044
+123.463363171 1820 0.274324
+124.251373529 1830 0.286253
+125.041367531 1840 0.302227
+125.827377319 1850 0.317233
+126.615365028 1860 0.334693
+127.405865192 1870 0.346518
+128.193383694 1880 0.361247
+128.979372501 1890 0.37895
+129.773380518 1900 0.395616
+130.561347008 1910 0.41318
+131.351367474 1920 0.430434
+132.149373055 1930 0.451006
+132.94737339 1940 0.47068
+133.735862494 1950 0.488002
+134.537370443 1960 0.507295
+135.335377455 1970 0.524341
+136.133375645 1980 0.538552
+136.931877136 1990 0.547853
+137.729378462 2000 0.559747
+138.529355526 2010 0.566247
+139.329361439 2020 0.574649
+140.125862122 2030 0.579386
+140.925862551 2040 0.585126
+141.723870993 2050 0.592283
+142.521359444 2060 0.597296
+143.319877625 2070 0.604453
+144.121364594 2080 0.609294
+144.927386999 2090 0.615172
+145.727366924 2100 0.620669
+146.521878004 2110 0.626167
+147.323865891 2120 0.633393
+148.119889975 2130 0.638372
+148.918717384 2140 0.642729
+149.719371557 2150 0.647293
+150.525364876 2160 0.652375
+151.323390484 2170 0.6577
+152.123772621 2180 0.66261
+152.931364536 2190 0.666551
+153.739881039 2200 0.673605
+154.53986311 2210 0.678722
+155.347352982 2220 0.684323
+156.143370628 2230 0.689786
+156.949881554 2240 0.697047
+157.751366615 2250 0.70047
+158.55136919 2260 0.704135
+159.355885506 2270 0.707869
+160.153857946 2280 0.712261
+160.953364372 2290 0.712952
+161.753884554 2300 0.716755
+162.564356327 2310 0.722426
+163.371395588 2320 0.725192
+164.179363489 2330 0.731623
+164.97537756 2340 0.737017
+165.775867462 2350 0.739195
+166.575348854 2360 0.742756
+167.379714966 2370 0.744209
+168.191866398 2380 0.745419
+168.999357224 2390 0.748738
+169.80786252 2400 0.751815
+170.603879452 2410 0.759629
+171.403381348 2420 0.760252
+172.201363564 2430 0.761911
+173.001945496 2440 0.763087
+173.807375908 2450 0.763467
+174.6073699 2460 0.766337
+175.40737009 2470 0.765646
+176.21536684 2480 0.76855
+177.023870945 2490 0.768965
+177.819373608 2500 0.768826
+178.619427443 2510 0.768896
+179.42819953 2520 0.769725
+180.237380028 2530 0.769034
+181.043375015 2540 0.76893
+181.853370667 2550 0.768619
+182.665359974 2560 0.768757
+183.471865177 2570 0.769656
+184.279358387 2580 0.770348
+185.087369442 2590 0.767063
+185.89586401 2600 0.767167
+186.703360081 2610 0.76568
+187.511847496 2620 0.763294
+188.320386887 2630 0.761773
+189.129376411 2640 0.760632
+189.939366341 2650 0.758972
+190.747370481 2660 0.758523
+191.555353642 2670 0.757693
+192.357367516 2680 0.756794
+193.161870003 2690 0.756137
+193.957377911 2700 0.755999
+194.759363651 2710 0.755169
+195.567874432 2720 0.754374
+196.379860401 2730 0.753475
+197.195859909 2740 0.752472
+198.003915548 2750 0.751815
+198.811861515 2760 0.75102
+199.619861126 2770 0.751815
+200.427355528 2780 0.751539
+201.233703613 2790 0.749049
+202.043850899 2800 0.749464
+202.852385521 2810 0.748323
+203.659873486 2820 0.749257
+204.45786047 2830 0.750259
+205.257372379 2840 0.750847
+206.057373524 2850 0.751435
+206.865868092 2860 0.75064
+207.66138649 2870 0.75306
+208.46435833 2880 0.752783
+209.270357132 2890 0.753579
+210.078197956 2900 0.754927
+210.883872032 2910 0.755238
+211.68537569 2920 0.757555
+212.481383562 2930 0.759214
+213.281368494 2940 0.761704
+214.078713894 2950 0.763813
+214.87787652 2960 0.765818
+215.674397945 2970 0.766026
+216.473375559 2980 0.76938
+217.273365021 2990 0.772077
+218.073860407 3000 0.774462
+218.869390011 3010 0.777436
+219.677219868 3020 0.780444
+220.475362539 3030 0.783175
+221.271883488 3040 0.786011
+222.071347952 3050 0.787636
+222.87136507 3060 0.791128
+223.669375896 3070 0.794274
+224.469356537 3080 0.797836
+225.26335597 3090 0.802019
+226.063874006 3100 0.805615
+226.861376524 3110 0.808658
+227.669386864 3120 0.813083
+228.467370987 3130 0.815919
+229.267868996 3140 0.818546
+230.07587862 3150 0.821555
+230.87388134 3160 0.826845
+231.67336297 3170 0.830233
+232.481358528 3180 0.832308
+233.275702 3190 0.838808
+234.077876091 3200 0.839914
+234.877360821 3210 0.844375
+235.685871124 3220 0.849008
+236.493366003 3230 0.851947
+237.301383972 3240 0.855404
+238.109384537 3250 0.859968
+238.909368038 3260 0.866814
+239.71937108 3270 0.866918
+240.529355049 3280 0.870548
+241.337363005 3290 0.872623
+242.147368908 3300 0.877256
+242.965872526 3310 0.879434
+243.785371542 3320 0.882546
+244.607367039 3330 0.886349
+245.425364494 3340 0.888528
+246.255372047 3350 0.892953
+247.083868504 3360 0.89406
+247.911872387 3370 0.897967
+248.745871067 3380 0.899972
+249.581379414 3390 0.902254
+250.409378052 3400 0.904778
+251.239369869 3410 0.906507
+252.077698946 3420 0.908824
+252.915869713 3430 0.908063
+253.755349636 3440 0.910276
+254.5933671 3450 0.910345
+255.429887533 3460 0.910414
+256.271359921 3470 0.91197
+257.106690884 3480 0.912731
+257.94735384 3490 0.913664
+258.78136754 3500 0.915151
+259.621212482 3510 0.915255
+260.459882736 3520 0.916672
+261.297386169 3530 0.918125
+262.135868073 3540 0.918954
+262.973377466 3550 0.919093
+263.801922321 3560 0.919058
+264.629364967 3570 0.920787
+265.463361502 3580 0.921236
+266.29936409 3590 0.923864
+267.139361382 3600 0.923518
+267.97337389 3610 0.926181
+268.811873913 3620 0.928013
+269.649876118 3630 0.928324
+270.489368916 3640 0.930745
+271.32737112 3650 0.931575
+272.165390968 3660 0.933891
+273.007359028 3670 0.933926
+273.841372013 3680 0.935309
+274.682355404 3690 0.937349
+275.519879341 3700 0.938766
+276.357362032 3710 0.943572
+277.193372488 3720 0.942362
+278.030213356 3730 0.944575
+278.861387491 3740 0.945647
+279.695877075 3750 0.948067
+280.525870323 3760 0.949485
+281.365386963 3770 0.951248
+282.203891993 3780 0.954291
+283.045356512 3790 0.954637
+283.881364346 3800 0.956538
+284.717367887 3810 0.957679
+285.54536438 3820 0.960445
+286.373364925 3830 0.962243
+287.211867809 3840 0.966392
+288.049882889 3850 0.967741
+288.889864922 3860 0.970196
+289.732002497 3870 0.971475
+290.577871561 3880 0.974449
+291.413881302 3890 0.978148
+292.255856037 3900 0.978459
+293.101364613 3910 0.981779
+293.937380552 3920 0.98496
+294.777370453 3930 0.986308
+295.615359545 3940 0.987414
+296.441868305 3950 0.990215
+297.279366493 3960 0.992151
+298.107887983 3970 0.993638
+298.947363853 3980 0.996128
+299.783380032 3990 0.99841
+300.617360592 4000 1