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

[matches/honours.git] / research / TCS / 2012-09-28 / 150745.dat.p

diff --git a/research/TCS/2012-09-28/150745.dat.p b/research/TCS/2012-09-28/150745.dat.p
new file mode 100644 (file)
index 0000000..5d4e1de
--- /dev/null
+++ b/research/TCS/2012-09-28/150745.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53330159187 0 0
+3.170181036 10 0
+3.80967926979 20 0
+4.43818664551 30 0
+5.06819009781 40 0
+5.71018362045 50 0
+6.34768414497 60 0
+6.98576617241 70 0
+7.61768555641 80 0
+8.25968766212 90 0
+8.89968276024 100 0
+9.5401904583 110 0
+10.1776835918 120 0
+10.8196690083 130 0
+11.4601745605 140 0
+12.0996749401 150 0
+12.7376785278 160 0
+13.3736941814 170 0
+14.0141966343 180 0
+14.6561796665 190 0
+15.2957446575 200 0
+15.9336879253 210 0
+16.5756611824 220 0
+17.2156760693 230 0
+17.8517091274 240 0
+18.4936807156 250 0
+19.1316711903 260 0
+19.7716686726 270 0
+20.4116852283 280 0
+21.059684515 290 0
+21.6996777058 300 0
+22.3401801586 310 0
+22.9877250195 320 0
+23.6256844997 330 0
+24.2681856155 340 0
+24.9061770439 350 0
+25.5461866856 360 0
+26.1861870289 370 0
+26.8261840343 380 0
+27.4621999264 390 0
+28.1036784649 400 0
+28.7416884899 410 0
+29.3836739063 420 0
+30.0221905708 430 0
+30.6641657352 440 0
+31.3101820946 450 0
+31.9536621571 460 0
+32.5981955528 470 0
+33.238181591 480 0
+33.8796799183 490 0
+34.5196654797 500 0
+35.1676945686 510 0
+35.8061859608 520 0
+36.4461865425 530 0
+37.0881621838 540 0
+37.7356750965 550 0
+38.3736801147 560 0
+39.0156681538 570 0
+39.6641671658 580 0
+40.3101956844 590 0
+40.9542126656 600 0
+41.5916779041 610 0
+42.2326710224 620 0
+42.8696944714 630 0
+43.5116796494 640 0
+44.1596801281 650 0
+44.8001749516 660 0
+45.437681675 670 0
+46.0781919956 680 0
+46.7181925774 690 0
+47.3601746559 700 0
+48.0076720715 710 0
+48.647683382 720 0
+49.2956745625 730 0
+49.9341931343 740 0
+50.5761716366 750 0
+51.2227666378 760 0
+51.8616950512 770 0
+52.5041577816 780 0
+53.1516685486 790 0
+53.8041565418 800 0
+54.4526605606 810 0
+55.0976965427 820 0
+55.7376720905 830 0
+56.3761827946 840 0
+57.0161702633 850 0
+57.6681625843 860 0
+58.3141977787 870 0
+58.9537904263 880 0
+59.5941922665 890 0
+60.2416710854 900 0
+60.8836696148 910 0
+61.5321714878 920 0
+62.1776826382 930 0
+62.8201761246 940 0
+63.472162962 950 0
+64.1176755428 960 0
+64.7601854801 970 0
+65.4077074528 980 0
+66.0542035103 990 0
+66.7001671791 1000 0
+67.3481695652 1010 0
+67.9937095642 1020 0
+68.6441795826 1030 0
+69.2956645489 1040 0
+69.9421989918 1050 0
+70.5921771526 1060 0
+71.2416865826 1070 0
+71.8901975155 1080 0
+72.5396749973 1090 0
+73.1916666031 1100 0
+73.8396701813 1110 0
+74.4886834621 1120 0
+75.1396815777 1130 0
+75.7857375145 1140 0
+76.4341681004 1150 0
+77.0821974277 1160 0
+77.7356555462 1170 0
+78.3821799755 1180 0
+79.0321731567 1190 0
+79.6816751957 1200 0
+80.3317496777 1210 0
+80.9801599979 1220 0
+81.6276781559 1230 0
+82.2796814442 1240 0
+82.9336872101 1250 0
+83.5861871243 1260 0
+84.234183073 1270 0
+84.8836786747 1280 0
+85.5361645222 1290 0
+86.1816835403 1300 0
+86.8321890831 1310 0
+87.4802587032 1320 0
+88.1277561188 1330 0
+88.7801501751 1340 0
+89.4256837368 1350 0
+90.0761697292 1360 0
+90.7276809216 1370 0
+91.3741829395 1380 0
+92.0241510868 1390 0
+92.6716849804 1400 0
+93.3236720562 1410 0
+93.9701945782 1420 0
+94.6176812649 1430 0
+95.2681996822 1440 0
+95.9196722507 1450 0
+96.5681805611 1460 0
+97.2181861401 1470 0
+97.8656704426 1480 0
+98.5156705379 1490 0
+99.1621861458 1500 0
+99.8156731129 1510 0
+100.463677168 1520 0
+101.121683598 1530 0
+101.771680117 1540 0
+102.419928789 1550 0
+103.072163105 1560 0
+103.727681875 1570 0
+104.3801682 1580 0
+105.095690966 1590 0.00141938
+105.867676973 1600 0.00634287
+106.64768362 1610 0.0164116
+107.427683115 1620 0.0209359
+108.210175037 1630 0.0303393
+108.995680094 1640 0.0388556
+109.779661179 1650 0.0487026
+110.566177607 1660 0.0586826
+111.353688955 1670 0.0689288
+112.147676229 1680 0.0804169
+112.933665037 1690 0.093147
+113.721681595 1700 0.104901
+114.510704279 1710 0.118119
+115.304676056 1720 0.129563
+116.091701269 1730 0.143136
+116.879672766 1740 0.156088
+117.667682171 1750 0.167221
+118.456195116 1760 0.179463
+119.248669147 1770 0.192415
+120.033692122 1780 0.20377
+120.823684931 1790 0.218363
+121.611683607 1800 0.233755
+122.392188311 1810 0.245953
+123.183670759 1820 0.262852
+123.972173452 1830 0.275538
+124.75968051 1840 0.293191
+125.54967618 1850 0.308938
+126.33967042 1860 0.325261
+127.127691031 1870 0.342959
+127.917670965 1880 0.356753
+128.704199076 1890 0.375072
+129.492204666 1900 0.391839
+130.285681963 1910 0.410823
+131.085675955 1920 0.427412
+131.881711721 1930 0.448481
+132.67566514 1940 0.467155
+133.471685171 1950 0.484143
+134.271671057 1960 0.499845
+135.071671009 1970 0.511466
+135.873669147 1980 0.522289
+136.679673433 1990 0.529785
+137.479713678 2000 0.538301
+138.275683165 2010 0.543358
+139.075688601 2020 0.545132
+139.87567544 2030 0.553116
+140.678178072 2040 0.556354
+141.486682177 2050 0.56079
+142.293686628 2060 0.566511
+143.095674038 2070 0.572766
+143.901684999 2080 0.578354
+144.701664209 2090 0.583455
+145.511678934 2100 0.587181
+146.316193104 2110 0.595254
+147.118185043 2120 0.601331
+147.928187609 2130 0.605678
+148.733681679 2140 0.612553
+149.535670996 2150 0.618053
+150.341684103 2160 0.624041
+151.141782522 2170 0.631803
+151.941674948 2180 0.63717
+152.74967742 2190 0.641073
+153.549664259 2200 0.645065
+154.350168943 2210 0.655134
+155.158182621 2220 0.66263
+155.965684175 2230 0.668485
+156.763680696 2240 0.676425
+157.566171169 2250 0.682369
+158.374175787 2260 0.690042
+159.184179544 2270 0.694877
+159.994187117 2280 0.698692
+160.803671122 2290 0.707474
+161.609680653 2300 0.713772
+162.418188572 2310 0.721402
+163.215666533 2320 0.731426
+164.017669916 2330 0.735241
+164.815673113 2340 0.742515
+165.613680124 2350 0.74766
+166.413696527 2360 0.752806
+167.213663578 2370 0.760479
+168.021673203 2380 0.767798
+168.822176218 2390 0.769838
+169.6301682 2400 0.77933
+170.438182592 2410 0.782967
+171.237678051 2420 0.788379
+172.043693066 2430 0.797073
+172.845674515 2440 0.799645
+173.65816164 2450 0.805899
+174.465656042 2460 0.810424
+175.274173021 2470 0.815924
+176.083672285 2480 0.820138
+176.891671658 2490 0.823509
+177.697682142 2500 0.827722
+178.497690678 2510 0.829363
+179.306188107 2520 0.83167
+180.108179092 2530 0.832956
+180.915677071 2540 0.835529
+181.724179983 2550 0.836239
+182.536173582 2560 0.83819
+183.350197554 2570 0.840985
+184.149779558 2580 0.842315
+184.951677561 2590 0.839565
+185.763674498 2600 0.838235
+186.569668531 2610 0.835352
+187.371672153 2620 0.836283
+188.180180073 2630 0.835795
+188.988175154 2640 0.83371
+189.795670271 2650 0.832646
+190.604186296 2660 0.830605
+191.415674448 2670 0.829009
+192.223657608 2680 0.828166
+193.031664133 2690 0.826081
+193.839687586 2700 0.824484
+194.648195505 2710 0.8224
+195.460689545 2720 0.821246
+196.276186705 2730 0.817565
+197.087670565 2740 0.816855
+197.893686056 2750 0.816589
+198.69367671 2760 0.815258
+199.501757145 2770 0.812908
+200.312202692 2780 0.811666
+201.118190527 2790 0.811311
+201.928198099 2800 0.808561
+202.727681637 2810 0.809049
+203.535677671 2820 0.809492
+204.335680723 2830 0.806742
+205.144693136 2840 0.807186
+205.953675508 2850 0.806077
+206.761681795 2860 0.806609
+207.570479631 2870 0.807718
+208.370181084 2880 0.807718
+209.175689936 2890 0.810823
+209.977688074 2900 0.807053
+210.778180122 2910 0.807097
+211.58579421 2920 0.810379
+212.39168334 2930 0.806476
+213.191688061 2940 0.807718
+213.994175673 2950 0.808383
+214.801673651 2960 0.810202
+215.601676702 2970 0.810823
+216.408676147 2980 0.812597
+217.20976162 2990 0.812952
+218.017678499 3000 0.81477
+218.823704958 3010 0.818363
+219.623683691 3020 0.818186
+220.423668623 3030 0.82413
+221.231686115 3040 0.822976
+222.033659697 3050 0.824573
+222.839682102 3060 0.827013
+223.639676809 3070 0.828743
+224.449681044 3080 0.83065
+225.255693197 3090 0.834376
+226.056188583 3100 0.837303
+226.854221582 3110 0.840098
+227.663690329 3120 0.84369
+228.463684082 3130 0.846973
+229.274169683 3140 0.851364
+230.080192089 3150 0.85407
+230.881679296 3160 0.858727
+231.687664747 3170 0.861699
+232.487659693 3180 0.866267
+233.289672136 3190 0.869328
+234.097670078 3200 0.873497
+234.903723001 3210 0.880018
+235.714172602 3220 0.882369
+236.520185232 3230 0.887558
+237.321677446 3240 0.891417
+238.133772612 3250 0.894966
+238.940199614 3260 0.899091
+239.750169039 3270 0.90224
+240.554795027 3280 0.906498
+241.357675552 3290 0.908139
+242.165688038 3300 0.910712
+242.973691702 3310 0.91293
+243.781690598 3320 0.915059
+244.596153021 3330 0.917454
+245.401677608 3340 0.919494
+246.209690094 3350 0.920293
+247.017693758 3360 0.922377
+247.827671766 3370 0.923619
+248.639661551 3380 0.924462
+249.446179628 3390 0.925394
+250.255673647 3400 0.926591
+251.061732531 3410 0.926813
+251.872178078 3420 0.926547
+252.684172153 3430 0.92597
+253.488294125 3440 0.92597
+254.299671888 3450 0.925571
+255.107689142 3460 0.928543
+255.919675112 3470 0.926414
+256.725686073 3480 0.926281
+257.534189939 3490 0.926325
+258.342201471 3500 0.925261
+259.155667543 3510 0.926103
+259.971683264 3520 0.925837
+260.781678438 3530 0.92566
+261.591682196 3540 0.924773
+262.40618825 3550 0.925261
+263.227663517 3560 0.925216
+264.035664797 3570 0.925128
+264.84416914 3580 0.926325
+265.651684046 3590 0.9277
+266.457760096 3600 0.930583
+267.268699408 3610 0.927966
+268.079671144 3620 0.92943
+268.890181541 3630 0.931204
+269.707666159 3640 0.933688
+270.524183989 3650 0.932757
+271.336171627 3660 0.933422
+272.143687963 3670 0.934487
+272.950687647 3680 0.938567
+273.759696245 3690 0.937503
+274.566203594 3700 0.938035
+275.376176119 3710 0.939055
+276.188165665 3720 0.940874
+277.008168936 3730 0.941672
+277.81617713 3740 0.943446
+278.62768507 3750 0.945664
+279.443664551 3760 0.946729
+280.251668215 3770 0.948503
+281.071684599 3780 0.951874
+281.880171537 3790 0.955334
+282.696166754 3800 0.955467
+283.507667065 3810 0.956975
+284.327677965 3820 0.959769
+285.135859728 3830 0.961277
+285.955666542 3840 0.964161
+286.772173166 3850 0.96558
+287.58366704 3860 0.968108
+288.399680614 3870 0.970592
+289.212176085 3880 0.973387
+290.027686119 3890 0.976802
+290.840176582 3900 0.978931
+291.657679081 3910 0.980883
+292.463694572 3920 0.982435
+293.275686026 3930 0.984653
+294.083674669 3940 0.986516
+294.891679525 3950 0.988734
+295.703674555 3960 0.991218
+296.520219088 3970 0.9945
+297.339681625 3980 0.995742
+298.14768362 3990 0.99796
+298.959671736 4000 1