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

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

diff --git a/research/TCS/2012-09-29/184336.dat.p b/research/TCS/2012-09-29/184336.dat.p
new file mode 100644 (file)
index 0000000..517d49d
--- /dev/null
+++ b/research/TCS/2012-09-29/184336.dat.p
@@ -0,0 +1,403 @@
+  0
+  0
+2.53398346901 0 0
+3.17038083076 10 0
+3.81285715103 20 0
+4.44687700272 30 0
+5.07836651802 40 0
+5.70736932755 50 0
+6.33486652374 60 0
+6.96933889389 70 0
+7.6048707962 80 0
+8.24237108231 90 0
+8.87438154221 100 0
+9.51438093185 110 0
+10.1548655033 120 0
+10.7943668365 130 0
+11.4343569279 140 0
+12.0743408203 150 0
+12.7103829384 160 0
+13.3503520489 170 0
+13.9928607941 180 0
+14.6303935051 190 0
+15.2728319168 200 0
+15.9133367538 210 0
+16.5583565235 220 0
+17.1983428001 230 0
+17.8383684158 240 0
+18.4743638039 250 0
+19.1168518066 260 0
+19.7548575401 270 0
+20.3943674564 280 0
+21.0328433514 290 0
+21.6743555069 300 0
+22.3103709221 310 0
+22.9503641129 320 0
+23.5903449059 330 0
+24.2303609848 340 0
+24.8703553677 350 0
+25.5063591003 360 0
+26.1463665962 370 0
+26.7863631248 380 0
+27.4263606071 390 0
+28.0628659725 400 0
+28.7023620605 410 0
+29.3424088955 420 0
+29.9823684692 430 0
+30.6223599911 440 0
+31.262358427 450 0
+31.9008510113 460 0
+32.5383598804 470 0
+33.1783690453 480 0
+33.8183534145 490 0
+34.45835495 500 0
+35.1008310318 510 0
+35.7458457947 520 0
+36.38636446 530 0
+37.0248625278 540 0
+37.662879467 550 0
+38.3023753166 560 0
+38.9424309731 570 0
+39.5823554993 580 0
+40.2223575115 590 0
+40.8612995148 600 0
+41.4983594418 610 0
+42.1383719444 620 0
+42.7808535099 630 0
+43.4173059464 640 0
+44.0583379269 650 0
+44.694357872 660 0
+45.3343706131 670 0
+45.9738178253 680 0
+46.6143584251 690 0
+47.2553489208 700 0
+47.8943514824 710 0
+48.5328629017 720 0
+49.1703579426 730 0
+49.8103475571 740 0
+50.4503569603 750 0
+51.0903594494 760 0
+51.730348587 770 0
+52.3663878441 780 0
+53.0063447952 790 0
+53.6468493938 800 0
+54.2863574028 810 0
+54.9263589382 820 0
+55.5663485527 830 0
+56.2023630142 840 0
+56.8433859348 850 0
+57.4833729267 860 0
+58.122344017 870 0
+58.7623558044 880 0
+59.4023604393 890 0
+60.0383706093 900 0
+60.6783676147 910 0
+61.3183569908 920 0
+61.9583759308 930 0
+62.5973644257 940 0
+63.2468614578 950 0
+63.8873565197 960 0
+64.5263533592 970 0
+65.1623668671 980 0
+65.8023767471 990 0
+66.4433751106 1000 0
+67.0823745728 1010 0
+67.7223644257 1020 0
+68.3708815575 1030 0
+69.0103673935 1040 0
+69.6623744965 1050 0
+70.3108594418 1060 0
+70.9583730698 1070 0
+71.6128463745 1080 0
+72.2583658695 1090 0
+72.9068398476 1100 0
+73.5553703308 1110 0
+74.2063574791 1120 0
+74.8568572998 1130 0
+75.5023589134 1140 0
+76.1543774605 1150 0
+76.8047890663 1160 0
+77.4503669739 1170 0
+78.1023640633 1180 0
+78.7503829002 1190 0
+79.398375988 1200 0
+80.0503621101 1210 0
+80.6983423233 1220 0
+81.3463668823 1230 0
+81.998354435 1240 0
+82.6463727951 1250 0
+83.2943768501 1260 0
+83.9469175339 1270 0
+84.5943655968 1280 0
+85.2423629761 1290 0
+85.8943638802 1300 0
+86.5423469543 1310 0
+87.1908533573 1320 0
+87.8448629379 1330 0
+88.4903702736 1340 0
+89.1408553123 1350 0
+89.7903532982 1360 0
+90.4383468628 1370 0
+91.0863585472 1380 0
+91.7383430004 1390 0
+92.3863489628 1400 0
+93.034362793 1410 0
+93.6828508377 1420 0
+94.3343544006 1430 0
+94.9823698997 1440 0
+95.6343383789 1450 0
+96.2823579311 1460 0
+96.9308605194 1470 0
+97.5823569298 1480 0
+98.2303638458 1490 0
+98.8783679008 1500 0
+99.5303645134 1510 0
+100.178365469 1520 0
+100.826352119 1530 0
+101.478361607 1540 0
+102.126848936 1550 0
+102.774360418 1560 0
+103.428353786 1570 0
+104.136859894 1580 0.00266606
+104.908359051 1590 0.00881157
+105.688346863 1600 0.017352
+106.468345404 1610 0.0254406
+107.248854399 1620 0.0348396
+108.024863482 1630 0.0436512
+108.804358006 1640 0.054225
+109.586354494 1650 0.0648441
+110.376371384 1660 0.075418
+111.162376881 1670 0.0871667
+111.940860748 1680 0.0983281
+112.722366333 1690 0.111839
+113.5108459 1700 0.124356
+114.2983675 1710 0.137506
+115.080358028 1720 0.151695
+115.868354797 1730 0.1662
+116.654877901 1740 0.177948
+117.43885541 1750 0.19146
+118.226349354 1760 0.202621
+119.016353607 1770 0.217352
+119.802360535 1780 0.229372
+120.58486104 1790 0.240307
+121.374346972 1800 0.257162
+122.164351463 1810 0.270673
+122.952862978 1820 0.285404
+123.74285078 1830 0.301762
+124.53280592 1840 0.317533
+125.320350647 1850 0.334252
+126.108364105 1860 0.351378
+126.896379471 1870 0.365477
+127.688862801 1880 0.383326
+128.478840828 1890 0.40009
+129.26634407 1900 0.415499
+130.058347464 1910 0.430908
+130.858335018 1920 0.444736
+131.648355961 1930 0.457795
+132.446855545 1940 0.467962
+133.248356819 1950 0.476774
+134.048841 1960 0.482829
+134.844362974 1970 0.486173
+135.644850016 1980 0.489426
+136.442883968 1990 0.491685
+137.246352911 2000 0.491957
+138.044351578 2010 0.494803
+138.840376854 2020 0.497967
+139.642357826 2030 0.501401
+140.440346479 2040 0.505197
+141.242873669 2050 0.507998
+142.038861275 2060 0.511658
+142.838895798 2070 0.515996
+143.636390448 2080 0.521374
+144.438357353 2090 0.525531
+145.238841057 2100 0.531089
+146.038454056 2110 0.534614
+146.838840961 2120 0.538861
+147.646351814 2130 0.547673
+148.454352856 2140 0.549842
+149.254841805 2150 0.553728
+150.062815905 2160 0.561094
+150.860360384 2170 0.564483
+151.662349939 2180 0.570086
+152.461352825 2190 0.577813
+153.272343874 2200 0.583371
+154.076868534 2210 0.590601
+154.87834549 2220 0.592725
+155.682284355 2230 0.599955
+156.498855114 2240 0.60714
+157.306354523 2250 0.614053
+158.116339922 2260 0.618843
+158.924881458 2270 0.624492
+159.732850552 2280 0.629733
+160.542356968 2290 0.641211
+161.340867043 2300 0.644871
+162.152858496 2310 0.651514
+162.960362911 2320 0.659015
+163.770344973 2330 0.665883
+164.575356007 2340 0.674876
+165.378343582 2350 0.679575
+166.186360359 2360 0.686218
+166.994352341 2370 0.695165
+167.794336796 2380 0.70131
+168.605338573 2390 0.70845
+169.410345078 2400 0.714867
+170.212858438 2410 0.719205
+171.018365383 2420 0.726525
+171.818358421 2430 0.733394
+172.632825375 2440 0.739313
+173.44034791 2450 0.746362
+174.246362925 2460 0.752779
+175.056847572 2470 0.758834
+175.866843462 2480 0.763217
+176.6743505 2490 0.771035
+177.483365059 2500 0.774559
+178.282372475 2510 0.779123
+179.090371132 2520 0.783371
+179.890363932 2530 0.785947
+180.698349476 2540 0.787935
+181.500802517 2550 0.791505
+182.308359623 2560 0.794984
+183.12084341 2570 0.796611
+183.928389549 2580 0.803344
+184.73436451 2590 0.80479
+185.536850452 2600 0.806055
+186.348336935 2610 0.805468
+187.15436101 2620 0.807049
+187.964357376 2630 0.806462
+188.770887852 2640 0.806462
+189.570820332 2650 0.805739
+190.378357887 2660 0.799141
+191.180346012 2670 0.799458
+191.988357067 2680 0.798915
+192.796873569 2690 0.796746
+193.606389999 2700 0.797018
+194.41633606 2710 0.795255
+195.222372532 2720 0.796204
+196.024351597 2730 0.796023
+196.832868576 2740 0.794984
+197.64543581 2750 0.794623
+198.460352421 2760 0.794216
+199.269351482 2770 0.793312
+200.080802917 2780 0.792228
+200.886862516 2790 0.792318
+201.696338415 2800 0.790375
+202.494361877 2810 0.790149
+203.294371605 2820 0.790511
+204.100361824 2830 0.791685
+204.902879 2840 0.791957
+205.702855587 2850 0.791595
+206.510347843 2860 0.79164
+207.311377048 2870 0.792137
+208.118362904 2880 0.793267
+208.918858051 2890 0.793719
+209.725822926 2900 0.794894
+210.524355888 2910 0.798464
+211.32434988 2920 0.79643
+212.126353025 2930 0.798464
+212.934837341 2940 0.799503
+213.740376949 2950 0.800723
+214.540369034 2960 0.803028
+215.348376036 2970 0.804925
+216.148361921 2980 0.806959
+216.960857391 2990 0.811116
+217.768354893 3000 0.811839
+218.565379858 3010 0.814912
+219.364366531 3020 0.816855
+220.164361477 3030 0.819611
+220.964344501 3040 0.822413
+221.764338493 3050 0.824763
+222.564348936 3060 0.827655
+223.372357845 3070 0.830818
+224.17235899 3080 0.833077
+224.968355417 3090 0.836873
+225.768358946 3100 0.840127
+226.568352938 3110 0.842431
+227.368354321 3120 0.84817
+228.176366329 3130 0.852101
+228.984363556 3140 0.857117
+229.784342527 3150 0.860506
+230.584820747 3160 0.863669
+231.392357826 3170 0.868188
+232.202854872 3180 0.873023
+233.000358582 3190 0.877542
+233.808868408 3200 0.880389
+234.608347893 3210 0.884049
+235.420346498 3220 0.889471
+236.238358974 3230 0.892228
+237.046360493 3240 0.895888
+237.85686636 3250 0.899864
+238.654830933 3260 0.903118
+239.466351986 3270 0.906236
+240.274338245 3280 0.907817
+241.086845875 3290 0.909761
+241.894353867 3300 0.912381
+242.702860355 3310 0.913873
+243.506372929 3320 0.917759
+244.310845375 3330 0.918798
+245.111359596 3340 0.919792
+245.920361519 3350 0.920696
+246.727844954 3360 0.923226
+247.54084897 3370 0.923588
+248.346360445 3380 0.923588
+249.148370504 3390 0.925621
+249.966854572 3400 0.923
+250.776351452 3410 0.923859
+251.584364891 3420 0.924401
+252.396346569 3430 0.922549
+253.204850435 3440 0.923181
+254.024350882 3450 0.921057
+254.832856417 3460 0.921554
+255.638878345 3470 0.922277
+256.450349808 3480 0.921193
+257.25885725 3490 0.92056
+258.068352938 3500 0.920877
+258.876346111 3510 0.920967
+259.688841343 3520 0.921419
+260.504350424 3530 0.922368
+261.314355373 3540 0.921645
+262.122364998 3550 0.923407
+262.933311462 3560 0.924537
+263.742348909 3570 0.923272
+264.55238843 3580 0.923181
+265.370859146 3590 0.923949
+266.180351257 3600 0.923769
+266.988358974 3610 0.926796
+267.808872461 3620 0.927022
+268.626839399 3630 0.928604
+269.436826468 3640 0.930276
+270.244358063 3650 0.931586
+271.062367916 3660 0.933303
+271.862363815 3670 0.939449
+272.670358419 3680 0.937912
+273.472345352 3690 0.937551
+274.280367374 3700 0.938906
+275.090856075 3710 0.942476
+275.898359537 3720 0.942657
+276.708874464 3730 0.944058
+277.516867638 3740 0.946136
+278.340344906 3750 0.948125
+279.148848534 3760 0.949977
+279.968846798 3770 0.951966
+280.786362886 3780 0.954044
+281.604855061 3790 0.956349
+282.422846317 3800 0.958427
+283.232355595 3810 0.95906
+284.04485178 3820 0.960371
+284.860364437 3830 0.961726
+285.672338963 3840 0.965115
+286.480835438 3850 0.966787
+287.300336838 3860 0.969544
+288.116350412 3870 0.972436
+288.928874016 3880 0.974424
+289.742384434 3890 0.978762
+290.556851387 3900 0.978671
+291.36636734 3910 0.980298
+292.182864666 3920 0.9831
+292.992348909 3930 0.985992
+293.810865402 3940 0.987935
+294.622853041 3950 0.99033
+295.438354492 3960 0.992273
+296.248353004 3970 0.993493
+297.066344261 3980 0.99643
+297.878347397 3990 0.999458
+298.694365501 4000 1