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

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

diff --git a/research/TCS/2012-09-29/163828.dat.p b/research/TCS/2012-09-29/163828.dat.p
new file mode 100644 (file)
index 0000000..e50fa3b
--- /dev/null
+++ b/research/TCS/2012-09-29/163828.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.5343105793 0 0
+3.17117810249 10 0
+3.79868149757 20 0
+4.42718958855 30 0
+5.05868411064 40 0
+5.68917107582 50 0
+6.32667446136 60 0
+6.95469641685 70 0
+7.58916735649 80 0
+8.22718501091 90 0
+8.8666779995 100 0
+9.50670456886 110 0
+10.1451745033 120 0
+10.7866785526 130 0
+11.4246881008 140 0
+12.062691927 150 0
+12.7026817799 160 0
+13.342674017 170 0
+13.982660532 180 0
+14.6251704693 190 0
+15.2626750469 200 0
+15.8986904621 210 0
+16.5392315388 220 0
+17.1791832447 230 0
+17.818682909 240 0
+18.4586849213 250 0
+19.0986764431 260 0
+19.7346894741 270 0
+20.3746836185 280 0
+21.0146894455 290 0
+21.6546735764 300 0
+22.294665575 310 0
+22.9356820583 320 0
+23.5746715069 330 0
+24.2106845379 340 0
+24.8506743908 350 0
+25.4906885624 360 0
+26.1306810379 370 0
+26.7706882954 380 0
+27.4106686115 390 0
+28.0506665707 400 0
+28.6866915226 410 0
+29.3296701908 420 0
+29.9666829109 430 0
+30.6066634655 440 0
+31.2466750145 450 0
+31.8866643906 460 0
+32.5226964951 470 0
+33.1626780033 480 0
+33.8051674366 490 0
+34.443164587 500 0
+35.0851659775 510 0
+35.730672121 520 0
+36.3706815243 530 0
+37.0106809139 540 0
+37.6506710052 550 0
+38.290671587 560 0
+38.926684618 570 0
+39.5666873455 580 0
+40.2066943645 590 0
+40.8466553688 600 0
+41.4831988811 610 0
+42.1226875782 620 0
+42.765666008 630 0
+43.4151666164 640 0
+44.0506970882 650 0
+44.690682888 660 0
+45.3306844234 670 0
+45.9706699848 680 0
+46.6106715202 690 0
+47.2506759167 700 0
+47.8866870403 710 0
+48.5266909599 720 0
+49.1666820049 730 0
+49.8066804409 740 0
+50.4471709728 750 0
+51.086673975 760 0
+51.7266750336 770 0
+52.3626840115 780 0
+53.0026874542 790 0
+53.6451685429 800 0
+54.2906863689 810 0
+54.9336969852 820 0
+55.5716278553 830 0
+56.2106859684 840 0
+56.8506753445 850 0
+57.4896838665 860 0
+58.1266953945 870 0
+58.7666859627 880 0
+59.4067366123 890 0
+60.0471858978 900 0
+60.6866810322 910 0
+61.3251810074 920 0
+61.9626796246 930 0
+62.6026966572 940 0
+63.2426860332 950 0
+63.8826816082 960 0
+64.5306899548 970 0
+65.170671463 980 0
+65.8106763363 990 0
+66.4506886005 1000 0
+67.1031830311 1010 0
+67.7506725788 1020 0
+68.3986885548 1030 0
+69.0531589985 1040 0
+69.6986863613 1050 0
+70.3471906185 1060 0
+70.9986698627 1070 0
+71.6491703987 1080 0
+72.294747591 1090 0
+72.9466764927 1100 0
+73.5946760178 1110 0
+74.2426974773 1120 0
+74.8947560787 1130 0
+75.5426781178 1140 0
+76.1917040348 1150 0
+76.8426790237 1160 0
+77.4906885624 1170 0
+78.1387000084 1180 0
+78.7877299786 1190 0
+79.4306733608 1200 0
+80.0786912441 1210 0
+80.7266824245 1220 0
+81.3771793842 1230 0
+82.0266759396 1240 0
+82.6751925945 1250 0
+83.3296663761 1260 0
+83.9852159023 1270 0
+84.6386840343 1280 0
+85.2831785679 1290 0
+85.9356706142 1300 0
+86.5826890469 1310 0
+87.2306768894 1320 0
+87.8826749325 1330 0
+88.5306727886 1340 0
+89.1786825657 1350 0
+89.8307459354 1360 0
+90.479170084 1370 0
+91.1266853809 1380 0
+91.7786810398 1390 0
+92.4271938801 1400 0
+93.0871624947 1410 0
+93.734680891 1420 0
+94.3826925755 1430 0
+95.034678936 1440 0
+95.6826629639 1450 0
+96.3306884766 1460 0
+96.9826669693 1470 0
+97.6311759949 1480 0
+98.2814249992 1490 0
+98.930672884 1500 0
+99.5816774368 1510 0
+100.226697445 1520 0
+100.878679991 1530 0
+101.526682138 1540 0
+102.174693346 1550 0
+102.826676607 1560 0
+103.531189442 1570 0.00271101
+104.298678637 1580 0.00329839
+105.08117795 1590 0.0100759
+105.861181498 1600 0.0186156
+106.648672819 1610 0.0263871
+107.431163549 1620 0.0355594
+108.218673468 1630 0.0450027
+109.004694939 1640 0.057383
+109.786666155 1650 0.065019
+110.576671362 1660 0.0745979
+111.363191366 1670 0.0866618
+112.151180029 1680 0.100578
+112.931182146 1690 0.111106
+113.718698025 1700 0.125249
+114.500668287 1710 0.136815
+115.288689852 1720 0.150868
+116.076678038 1730 0.164468
+116.869165659 1740 0.175628
+117.662693977 1750 0.187873
+118.445182085 1760 0.200931
+119.234668493 1770 0.213175
+120.022679567 1780 0.225782
+120.810693979 1790 0.23884
+121.598685503 1800 0.248328
+122.380690813 1810 0.264188
+123.173154116 1820 0.28068
+123.962678194 1830 0.295816
+124.750678301 1840 0.313121
+125.53669095 1850 0.32749
+126.328680992 1860 0.345924
+127.116680861 1870 0.360022
+127.907169104 1880 0.375971
+128.704694986 1890 0.393638
+129.492666006 1900 0.409091
+130.285174608 1910 0.425628
+131.073191881 1920 0.439002
+131.862691641 1930 0.453461
+132.655174971 1940 0.465886
+133.452676058 1950 0.478131
+134.252678156 1960 0.48527
+135.052663565 1970 0.490466
+135.852669001 1980 0.496069
+136.652685404 1990 0.498012
+137.453178883 2000 0.500542
+138.250683069 2010 0.502711
+139.049190521 2020 0.50497
+139.85116291 2030 0.507636
+140.651169538 2040 0.512154
+141.450668573 2050 0.51848
+142.257187128 2060 0.522772
+143.058666468 2070 0.526116
+143.864672422 2080 0.532216
+144.664681435 2090 0.540846
+145.467166424 2100 0.543015
+146.262689352 2110 0.548166
+147.060692549 2120 0.554536
+147.862663507 2130 0.557067
+148.670670986 2140 0.561811
+149.468674898 2150 0.567866
+150.270162582 2160 0.573649
+151.068687439 2170 0.581511
+151.880676985 2180 0.581601
+152.68867898 2190 0.588831
+153.494683981 2200 0.595292
+154.29666996 2210 0.601572
+155.102683544 2220 0.607356
+155.905182123 2230 0.613139
+156.712730408 2240 0.618878
+157.519683599 2250 0.626288
+158.318702936 2260 0.631484
+159.119199038 2270 0.639752
+159.93066287 2280 0.644271
+160.736679554 2290 0.652901
+161.538659573 2300 0.657419
+162.339169025 2310 0.663609
+163.146692991 2320 0.67111
+163.954676867 2330 0.676622
+164.757163525 2340 0.684484
+165.565178156 2350 0.691939
+166.377167463 2360 0.699801
+167.182677984 2370 0.70685
+167.991186857 2380 0.712769
+168.790684462 2390 0.718281
+169.599167585 2400 0.725917
+170.398678541 2410 0.730436
+171.198663473 2420 0.737846
+171.998676062 2430 0.742274
+172.806664705 2440 0.748509
+173.614672899 2450 0.755106
+174.422688007 2460 0.761612
+175.223187923 2470 0.766853
+176.02519393 2480 0.77214
+176.832663059 2490 0.779324
+177.642677069 2500 0.782803
+178.451189995 2510 0.786734
+179.258695841 2520 0.789581
+180.058688879 2530 0.791478
+180.868676901 2540 0.794144
+181.678688049 2550 0.795997
+182.48668313 2560 0.79672
+183.287224054 2570 0.799702
+184.096679926 2580 0.800967
+184.895182848 2590 0.802639
+185.70519495 2600 0.803452
+186.516664505 2610 0.803949
+187.32466054 2620 0.804988
+188.136667013 2630 0.805259
+188.944666147 2640 0.803633
+189.75266552 2650 0.803723
+190.561176538 2660 0.802548
+191.372684956 2670 0.802774
+192.180678606 2680 0.801464
+192.987686872 2690 0.800786
+193.790683985 2700 0.802458
+194.600672483 2710 0.79812
+195.409177542 2720 0.796358
+196.218730211 2730 0.795906
+197.02868104 2740 0.795048
+197.834697008 2750 0.796132
+198.648668051 2760 0.793828
+199.45570159 2770 0.793466
+200.25665307 2780 0.792518
+201.062688589 2790 0.791885
+201.871678591 2800 0.790304
+202.682674646 2810 0.789084
+203.482666016 2820 0.790575
+204.291186571 2830 0.790484
+205.102668047 2840 0.789716
+205.91115737 2850 0.793873
+206.718688011 2860 0.791704
+207.526678562 2870 0.79315
+208.340054512 2880 0.79184
+209.14467907 2890 0.793241
+209.946659327 2900 0.792337
+210.752697468 2910 0.793331
+211.551182985 2920 0.795229
+212.353072882 2930 0.799295
+213.15266633 2940 0.797397
+213.954657316 2950 0.79812
+214.761161089 2960 0.800786
+215.568691492 2970 0.802865
+216.376684904 2980 0.805169
+217.176688433 2990 0.807338
+217.976672888 3000 0.810094
+218.78467989 3010 0.814658
+219.584700823 3020 0.815109
+220.395677328 3030 0.81642
+221.204675913 3040 0.819673
+222.012692451 3050 0.822203
+222.812687397 3060 0.824282
+223.624680281 3070 0.828303
+224.433171988 3080 0.830969
+225.240683317 3090 0.834448
+226.041183472 3100 0.838379
+226.848711491 3110 0.841677
+227.651204348 3120 0.846105
+228.457195044 3130 0.850804
+229.256685019 3140 0.8546
+230.058678865 3150 0.857808
+230.856669426 3160 0.861965
+231.656687021 3170 0.86576
+232.458675146 3180 0.868155
+233.267642021 3190 0.873757
+234.079166174 3200 0.877372
+234.885186911 3210 0.881755
+235.697154045 3220 0.886047
+236.494676828 3230 0.889933
+237.306690931 3240 0.89531
+238.113183022 3250 0.897795
+238.924686432 3260 0.901771
+239.723193407 3270 0.904798
+240.534668922 3280 0.905928
+241.363174915 3290 0.909633
+242.171211958 3300 0.910356
+242.982672453 3310 0.91388
+243.80267787 3320 0.915236
+244.608679533 3330 0.919935
+245.417186975 3340 0.919845
+246.229671478 3350 0.920658
+247.036688089 3360 0.924905
+247.849176645 3370 0.922691
+248.661174536 3380 0.923007
+249.46668005 3390 0.924001
+250.274692059 3400 0.924137
+251.087184668 3410 0.923143
+251.895684004 3420 0.924227
+252.702767611 3430 0.924273
+253.513179541 3440 0.922962
+254.325166941 3450 0.922962
+255.131195307 3460 0.922239
+255.940677881 3470 0.922465
+256.751181364 3480 0.922872
+257.558735609 3490 0.924905
+258.367668867 3500 0.923233
+259.181162119 3510 0.922239
+259.987169504 3520 0.922465
+260.80666256 3530 0.924001
+261.614678621 3540 0.921742
+262.422667027 3550 0.922781
+263.232673407 3560 0.922375
+264.042668104 3570 0.92242
+264.850672483 3580 0.923143
+265.658673525 3590 0.924318
+266.469178915 3600 0.925628
+267.276678085 3610 0.925357
+268.088665009 3620 0.926125
+268.896663904 3630 0.927978
+269.704717398 3640 0.929062
+270.512686491 3650 0.930598
+271.324664831 3660 0.932225
+272.132673025 3670 0.932451
+272.941174507 3680 0.934348
+273.74918437 3690 0.93602
+274.560667038 3700 0.937963
+275.377176046 3710 0.938867
+276.189167976 3720 0.942978
+276.995182514 3730 0.943024
+277.804681063 3740 0.945102
+278.612676859 3750 0.946774
+279.424669027 3760 0.948355
+280.244668961 3770 0.94962
+281.061671495 3780 0.952106
+281.872669935 3790 0.95319
+282.688708544 3800 0.955811
+283.508692503 3810 0.957076
+284.316687822 3820 0.960148
+285.128674984 3830 0.960826
+285.942693472 3840 0.96435
+286.759164095 3850 0.966609
+287.57267046 3860 0.969185
+288.384670973 3870 0.975059
+289.201173544 3880 0.973929
+290.01069808 3890 0.974291
+290.820658922 3900 0.977725
+291.629160166 3910 0.978899
+292.448674917 3920 0.982243
+293.256676912 3930 0.984954
+294.063301802 3940 0.987303
+294.874665499 3950 0.9878
+295.685207605 3960 0.990376
+296.504669905 3970 0.992138
+297.320677519 3980 0.99625
+298.132667542 3990 0.99756
+298.948684931 4000 1