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

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

diff --git a/research/TCS/2012-09-29/213847.dat.p b/research/TCS/2012-09-29/213847.dat.p
new file mode 100644 (file)
index 0000000..c7c443e
--- /dev/null
+++ b/research/TCS/2012-09-29/213847.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.5284049511 0 0
+3.1692814827 10 0
+3.80778408051 20 0
+4.44777655602 30 0
+5.08727478981 40 0
+5.72726607323 50 0
+6.36578941345 60 0
+7.0077688694 70 0
+7.64726614952 80 0
+8.28775691986 90 0
+8.92526936531 100 0
+9.56777358055 110 0
+10.2057824135 120 0
+10.8457763195 130 0
+11.4857909679 140 0
+12.1237874031 150 0
+12.7637774944 160 0
+13.4014143944 170 0
+14.0412833691 180 0
+14.6817848682 190 0
+15.3237683773 200 0
+15.9633154869 210 0
+16.6092813015 220 0
+17.2552697659 230 0
+17.9032590389 240 0
+18.5497815609 250 0
+19.1917724609 260 0
+19.8297917843 270 0
+20.4712674618 280 0
+21.1172735691 290 0
+21.759773016 300 0
+22.4077785015 310 0
+23.04576087 320 0
+23.6853954792 330 0
+24.3272640705 340 0
+24.9672749043 350 0
+25.6137888432 360 0
+26.2537858486 370 0
+26.8952748775 380 0
+27.5432884693 390 0
+28.1837599277 400 0
+28.8232674599 410 0
+29.4632585049 420 0
+30.1032583714 430 0
+30.7417676449 440 0
+31.3797829151 450 0
+32.0192739964 460 0
+32.6592686176 470 0
+33.2972939014 480 0
+33.9397673607 490 0
+34.5777938366 500 0
+35.2192533016 510 0
+35.8572750092 520 0
+36.4997594357 530 0
+37.147279501 540 0
+37.7857911587 550 0
+38.4257729053 560 0
+39.0677719116 570 0
+39.707264185 580 0
+40.3557655811 590 0
+40.9952783585 600 0
+41.6337935925 610 0
+42.2752680779 620 0
+42.9217822552 630 0
+43.5632820129 640 0
+44.2032773495 650 0
+44.8537633419 660 0
+45.4897758961 670 0
+46.1312820911 680 0
+46.7712664604 690 0
+47.4112713337 700 0
+48.0497834682 710 0
+48.6894259453 720 0
+49.3312728405 730 0
+49.9777705669 740 0
+50.6192901134 750 0
+51.2592718601 760 0
+51.8972964287 770 0
+52.5397689342 780 0
+53.1912639141 790 0
+53.8392736912 800 0
+54.4892539978 810 0
+55.1274006367 820 0
+55.7677619457 830 0
+56.4072725773 840 0
+57.0457789898 850 0
+57.6872699261 860 0
+58.3273479939 870 0
+58.9773957729 880 0
+59.6137907505 890 0
+60.2557799816 900 0
+60.895387888 910 0
+61.5477714539 920 0
+62.1958873272 930 0
+62.8352730274 940 0
+63.485278368 950 0
+64.1257822514 960 0
+64.77577281 970 0
+65.4252724648 980 0
+66.0677649975 990 0
+66.715773344 1000 0
+67.3677718639 1010 0
+68.0172860622 1020 0
+68.6652834415 1030 0
+69.315274477 1040 0
+69.9658629894 1050 0
+70.6137859821 1060 0
+71.267260313 1070 0
+71.9132950306 1080 0
+72.5677630901 1090 0
+73.215767622 1100 0
+73.8624379635 1110 0
+74.5152754784 1120 0
+75.1617939472 1130 0
+75.8152594566 1140 0
+76.4632709026 1150 0
+77.1097910404 1160 0
+77.7517888546 1170 0
+78.4032714367 1180 0
+79.0537700653 1190 0
+79.703776598 1200 0
+80.3557634354 1210 0
+81.003254652 1220 0
+81.6512799263 1230 0
+82.3012735844 1240 0
+82.9512729645 1250 0
+83.6017689705 1260 0
+84.2512705326 1270 0
+84.9017703533 1280 0
+85.5497934818 1290 0
+86.203255415 1300 0
+86.8492820263 1310 0
+87.5017902851 1320 0
+88.1512725353 1330 0
+88.7972838879 1340 0
+89.4512650967 1350 0
+90.0992748737 1360 0
+90.7517669201 1370 0
+91.3997600079 1380 0
+92.0492680073 1390 0
+92.6974084377 1400 0
+93.3492863178 1410 0
+94.0002810955 1420 0
+94.6517546177 1430 0
+95.3112673759 1440 0
+95.9712760448 1450 0
+96.6192579269 1460 0
+97.2677638531 1470 0
+97.9177639484 1480 0
+98.5677835941 1490 0
+99.2197787762 1500 0
+99.8797585964 1510 0
+100.535265446 1520 0
+101.187769413 1530 0
+101.835281134 1540 0
+102.485757589 1550 0
+103.135271788 1560 0
+103.787757158 1570 0
+104.507269621 1580 0.000799097
+105.277269602 1590 0.00404249
+106.059422016 1600 0.0114224
+106.839782953 1610 0.0230328
+107.621765852 1620 0.0274043
+108.407784939 1630 0.041365
+109.189270973 1640 0.0464417
+109.969769001 1650 0.0587572
+110.749782801 1660 0.0677823
+111.543267012 1670 0.0780765
+112.33226347 1680 0.0910971
+113.121268034 1690 0.1044
+113.909284592 1700 0.115493
+114.68977952 1710 0.129172
+115.481261015 1720 0.1405
+116.271275043 1730 0.154837
+117.059278965 1740 0.167904
+117.851260424 1750 0.17834
+118.63727951 1760 0.193194
+119.429260969 1770 0.20565
+120.219264984 1780 0.217966
+121.007267952 1790 0.233383
+121.7992661 1800 0.245746
+122.587273359 1810 0.260882
+123.379283428 1820 0.275454
+124.167272329 1830 0.290636
+124.961270571 1840 0.30737
+125.755280018 1850 0.322647
+126.547277451 1860 0.339945
+127.335784912 1870 0.354893
+128.129270792 1880 0.370781
+128.927273035 1890 0.386622
+129.717784166 1900 0.401476
+130.505284548 1910 0.414732
+131.297268629 1920 0.42606
+132.097767591 1930 0.440444
+132.885794401 1940 0.447448
+133.68777585 1950 0.454075
+134.48531127 1960 0.459998
+135.285792589 1970 0.463242
+136.087265015 1980 0.465028
+136.887426615 1990 0.469634
+137.690263033 2000 0.470527
+138.495280027 2010 0.473442
+139.29579854 2020 0.477014
+140.097275019 2030 0.480164
+140.89774847 2040 0.482749
+141.693278551 2050 0.48839
+142.495285034 2060 0.489377
+143.297763586 2070 0.493278
+144.097276449 2080 0.497979
+144.905791044 2090 0.503525
+145.705271959 2100 0.508743
+146.505267382 2110 0.516076
+147.313283682 2120 0.519413
+148.113274336 2130 0.524819
+148.911414862 2140 0.530225
+149.711283445 2150 0.53469
+150.513258934 2160 0.539344
+151.321791887 2170 0.547288
+152.125261068 2180 0.552364
+152.933286428 2190 0.558569
+153.733269453 2200 0.566889
+154.53325963 2210 0.570838
+155.333324909 2220 0.578077
+156.130289793 2230 0.583905
+156.927775383 2240 0.591097
+157.731273413 2250 0.596597
+158.543776512 2260 0.601344
+159.351266146 2270 0.607784
+160.15927887 2280 0.612062
+160.969275951 2290 0.618266
+161.777291536 2300 0.627292
+162.579258204 2310 0.634248
+163.387275934 2320 0.640547
+164.199756384 2330 0.647504
+165.007272959 2340 0.653991
+165.813283443 2350 0.662311
+166.613785028 2360 0.668892
+167.416289568 2370 0.676554
+168.22776103 2380 0.679233
+169.033776522 2390 0.690044
+169.843274355 2400 0.694134
+170.643771887 2410 0.698928
+171.455259085 2420 0.705885
+172.263755083 2430 0.711009
+173.069791079 2440 0.719846
+173.869297981 2450 0.727649
+174.681273937 2460 0.73423
+175.489792585 2470 0.740058
+176.30028224 2480 0.745323
+177.108413935 2490 0.7496
+177.912267923 2500 0.754536
+178.71926856 2510 0.758814
+179.965289831 2520 0.762997
+180.76579833 2530 0.767181
+181.5792768 2540 0.7708
+182.387787104 2550 0.77409
+183.195274591 2560 0.775266
+184.007893324 2570 0.779778
+184.815259457 2580 0.782645
+185.629778624 2590 0.784526
+186.443279028 2600 0.785513
+187.255274057 2610 0.786077
+188.061275959 2620 0.788098
+188.875258446 2630 0.788568
+189.681777954 2640 0.788615
+190.491264582 2650 0.789555
+191.303750992 2660 0.791154
+192.111304998 2670 0.790777
+192.923274755 2680 0.790166
+193.729778528 2690 0.789414
+194.539273024 2700 0.789414
+195.351258516 2710 0.788286
+196.159269094 2720 0.788286
+196.967270136 2730 0.788004
+197.779263973 2740 0.78885
+198.587766409 2750 0.787675
+199.393782377 2760 0.787628
+200.197268963 2770 0.787111
+201.007270098 2780 0.785936
+201.827261925 2790 0.784385
+202.633273363 2800 0.785466
+203.445258379 2810 0.78368
+204.23928237 2820 0.784197
+205.043268919 2830 0.784009
+205.853766203 2840 0.784996
+206.661278009 2850 0.784385
+207.461273909 2860 0.784996
+208.269897938 2870 0.786265
+209.08126235 2880 0.786782
+209.88978076 2890 0.788803
+210.687285423 2900 0.790636
+211.489260435 2910 0.791248
+212.295763493 2920 0.79294
+213.097280025 2930 0.794068
+213.903791428 2940 0.797687
+214.705281973 2950 0.795525
+215.517262697 2960 0.79905
+216.313269377 2970 0.802341
+217.123780012 2980 0.808029
+217.9257586 2990 0.806101
+218.731765985 3000 0.809345
+219.541275978 3010 0.8124
+220.349786997 3020 0.81381
+221.151768923 3030 0.817383
+221.959270477 3040 0.819874
+222.75927043 3050 0.82354
+223.557790518 3060 0.826173
+224.367258787 3070 0.828523
+225.167276621 3080 0.832519
+225.967259884 3090 0.839052
+226.77726388 3100 0.840604
+227.585275888 3110 0.844599
+228.3832829 3120 0.849112
+229.183789968 3130 0.85306
+229.985764503 3140 0.857761
+230.791282892 3150 0.861192
+231.592279673 3160 0.866316
+232.393285513 3170 0.870687
+233.201270342 3180 0.874072
+233.9992764 3190 0.879477
+234.801265001 3200 0.882627
+235.602292299 3210 0.887656
+236.409266949 3220 0.891934
+237.221269369 3230 0.895318
+238.02978158 3240 0.899925
+238.829285383 3250 0.903403
+239.635274887 3260 0.907211
+240.43828392 3270 0.909514
+241.24544549 3280 0.911394
+242.057762861 3290 0.913838
+242.863282919 3300 0.91539
+243.675279856 3310 0.918257
+244.485781431 3320 0.919338
+245.297282457 3330 0.920936
+246.105258942 3340 0.922488
+246.913781881 3350 0.92324
+247.72527504 3360 0.923945
+248.535800457 3370 0.925778
+249.341449976 3380 0.925496
+250.141280413 3390 0.926483
+250.955763578 3400 0.925825
+251.76325345 3410 0.925543
+252.571285009 3420 0.925731
+253.381786585 3430 0.924039
+254.189769983 3440 0.924462
+254.998928785 3450 0.92465
+255.809262514 3460 0.922911
+256.617267847 3470 0.922582
+257.419756413 3480 0.922253
+258.239260435 3490 0.922347
+259.053277493 3500 0.922394
+259.867771387 3510 0.922864
+260.687762499 3520 0.922488
+261.495272875 3530 0.922441
+262.303280115 3540 0.923287
+263.113774061 3550 0.92418
+263.921289444 3560 0.923851
+264.731272936 3570 0.924415
+265.541269541 3580 0.924086
+266.351277113 3590 0.925261
+267.167788982 3600 0.930243
+267.97928834 3610 0.927705
+268.791766405 3620 0.928175
+269.599276304 3630 0.929162
+270.407281637 3640 0.932218
+271.219267368 3650 0.932124
+272.039777994 3660 0.932688
+272.857268095 3670 0.933769
+273.669270277 3680 0.935179
+274.487273932 3690 0.936495
+275.307783365 3700 0.938658
+276.115270853 3710 0.939786
+276.92591691 3720 0.9427
+277.73577714 3730 0.94458
+278.555281401 3740 0.945285
+279.371279001 3750 0.948482
+280.179790497 3760 0.950597
+280.989759922 3770 0.952477
+281.799280882 3780 0.954216
+282.60976696 3790 0.956614
+283.427274466 3800 0.957554
+284.237266541 3810 0.961361
+285.04528451 3820 0.963006
+285.855274439 3830 0.965968
+286.66378808 3840 0.967284
+287.483272314 3850 0.970245
+288.29379344 3860 0.971938
+289.105265856 3870 0.974335
+289.921779394 3880 0.97692
+290.733277082 3890 0.97833
+291.549788952 3900 0.980352
+292.361269474 3910 0.98383
+293.179267883 3920 0.983877
+293.993276834 3930 0.986603
+294.810273409 3940 0.988155
+295.631269932 3950 0.989941
+296.449270487 3960 0.991492
+297.258291006 3970 0.993607
+298.075260401 3980 0.995534
+298.887274981 3990 0.998167
+299.695283413 4000 1