Merge branch 'master' of git.ucc.asn.au:/matches/honours

[matches/honours.git] / research / TCS / 2012-10-02 / 164325.dat.p

  0
  0
2.53531837463 0 0
3.17368888855 10 0
3.81326436996 20 0
4.45717692375 30 0
5.09370088577 40 0
5.73368477821 50 0
6.37317919731 60 0
7.01318001747 70 0
7.65117621422 80 0
8.2812769413 90 0
8.92169260979 100 0
9.56116747856 110 0
10.2071902752 120 0
10.8501722813 130 0
11.493691206 140 0
12.1336848736 150 0
12.7711822987 160 0
13.4071924686 170 0
14.0491755009 180 0
14.6891698837 190 0
15.337168932 200 0
15.9731743336 210 0
16.6112749577 220 0
17.2491779327 230 0
17.8896825314 240 0
18.5247919559 250 0
19.1651823521 260 0
19.8051638603 270 0
20.4511818886 280 0
21.0911753178 290 0
21.7296738625 300 0
22.3691654205 310 0
23.0151844025 320 0
23.6551718712 330 0
24.2931749821 340 0
24.9336698055 350 0
25.5791761875 360 0
26.2151882648 370 0
26.8576776981 380 0
27.4976658821 390 0
28.1431720257 400 0
28.781175375 410 0
29.4191739559 420 0
30.0611774921 430 0
30.7042057514 440 0
31.3451902866 450 0
31.9851667881 460 0
32.633159399 470 0
33.2811698914 480 0
33.9291722775 490 0
34.5696718693 500 0
35.21169734 510 0
35.8536713123 520 0
36.5011854172 530 0
37.1391844749 540 0
37.7757003307 550 0
38.4171738625 560 0
39.05717206 570 0
39.7031905651 580 0
40.3461687565 590 0
40.9971735477 600 0
41.6391742229 610 0
42.2776978016 620 0
42.9176728725 630 0
43.5581662655 640 0
44.2036898136 650 0
44.8451697826 660 0
45.4931871891 670 0
46.1391968727 680 0
46.7751634121 690 0
47.4171874523 700 0
48.0656793118 710 0
48.7111828327 720 0
49.3521873951 730 0
49.9871919155 740 0
50.625743866 750 0
51.2717010975 760 0
51.9136738777 770 0
52.5611994267 780 0
53.2071893215 790 0
53.8491609097 800 0
54.4976868629 810 0
55.1431910992 820 0
55.7856657505 830 0
56.4331719875 840 0
57.0811822414 850 0
57.73168993 860 0
58.3691818714 870 0
59.0211639404 880 0
59.6691830158 890 0
60.307708025 900 0
60.9476892948 910 0
61.5876924992 920 0
62.229683876 930 0
62.8776829243 940 0
63.5291833878 950 0
64.1771724224 960 0
64.8236796856 970 0
65.4676969051 980 0
66.1091763973 990 0
66.762162447 1000 0
67.4091823101 1010 0
68.0596797466 1020 0
68.7071864605 1030 0
69.35718894 1040 0
70.0096719265 1050 0
70.655705452 1060 0
71.3036987782 1070 0
71.9551844597 1080 0
72.6036798954 1090 0
73.2576754093 1100 0
73.9051964283 1110 0
74.5517990589 1120 0
75.205681324 1130 0
75.8511912823 1140 0
76.5011808872 1150 0
77.1511790752 1160 0
77.8015959263 1170 0
78.4471747875 1180 0
79.0976803303 1190 0
79.7451679707 1200 0
80.3916790485 1210 0
81.0411894321 1220 0
81.6871829033 1230 0
82.3352253437 1240 0
82.9856789112 1250 0
83.6333377361 1260 0
84.281172514 1270 0
84.9336659908 1280 0
85.5791609287 1290 0
86.2256872654 1300 0
86.8771839142 1310 0
87.5336813927 1320 0
88.1851758957 1330 0
88.8301854134 1340 0
89.4816710949 1350 0
90.1351840496 1360 0
90.783210516 1370 0
91.4353535175 1380 0
92.0831928253 1390 0
92.7336769104 1400 0
93.3871893883 1410 0
94.0377304554 1420 0
94.6861917973 1430 0
95.3352849483 1440 0
95.9851830006 1450 0
96.6303269863 1460 0
97.2816727161 1470 0
97.9411795139 1480 0
98.5931575298 1490 0
99.2496688366 1500 0
99.9031908512 1510 0
100.55366993 1520 0
101.199200869 1530 0
101.909689903 1540 0.000332005
102.682183504 1550 0.00172643
103.461683035 1560 0.00584329
104.241172552 1570 0.0119522
105.017181396 1580 0.0193227
105.797178984 1590 0.0285525
106.575197935 1600 0.035425
107.35519433 1610 0.0434927
108.143172503 1620 0.0514608
108.931194067 1630 0.060093
109.719179869 1640 0.0684595
110.507195711 1650 0.0777888
111.28718257 1660 0.0873506
112.077175379 1670 0.0982736
112.867664576 1680 0.108068
113.661702394 1690 0.119223
114.447195292 1700 0.131142
115.235171318 1710 0.143758
116.023190975 1720 0.154449
116.809184313 1730 0.166335
117.589199305 1740 0.176295
118.369673491 1750 0.186853
119.157171965 1760 0.198805
119.949170351 1770 0.208433
120.737170935 1780 0.224768
121.521682024 1790 0.233964
122.313180447 1800 0.245551
123.101173401 1810 0.258865
123.889683962 1820 0.271082
124.675174952 1830 0.285359
125.464179754 1840 0.298373
126.248239756 1850 0.312085
127.041668415 1860 0.329416
127.82819891 1870 0.342696
128.619169474 1880 0.357835
129.415169954 1890 0.374303
130.211182833 1900 0.390173
130.999191523 1910 0.406474
131.789178848 1920 0.421315
132.589733362 1930 0.439143
133.389683008 1940 0.455677
134.185185909 1950 0.474104
134.985188723 1960 0.486388
135.779200315 1970 0.498008
136.581667423 1980 0.510027
137.379168749 1990 0.519555
138.176809549 2000 0.52573
138.973674536 2010 0.533267
139.771696806 2020 0.538446
140.571178198 2030 0.545153
141.371175528 2040 0.548738
142.167196989 2050 0.553918
142.967171907 2060 0.560093
143.775153875 2070 0.564973
144.571197271 2080 0.570452
145.371180296 2090 0.574104
146.167198896 2100 0.578619
146.965688467 2110 0.58257
147.775192976 2120 0.589077
148.583180189 2130 0.594954
149.3792274 2140 0.602922
150.179724455 2150 0.609927
150.979184389 2160 0.616401
151.787187815 2170 0.619854
152.599181414 2180 0.625896
153.403174877 2190 0.628353
154.211664438 2200 0.632271
155.019156933 2210 0.640173
155.826281309 2220 0.645651
156.6341784 2230 0.650498
157.443681955 2240 0.649037
158.251680613 2250 0.65405
159.062166452 2260 0.658433
159.869665861 2270 0.659761
160.673177004 2280 0.666135
161.471692801 2290 0.673373
162.277688742 2300 0.684993
163.079681396 2310 0.689276
163.887192011 2320 0.692629
164.695173979 2330 0.696647
165.50019002 2340 0.700465
166.299681902 2350 0.703021
167.107187033 2360 0.706375
167.915181875 2370 0.710093
168.725687265 2380 0.711421
169.531691313 2390 0.711687
170.339673281 2400 0.70996
171.147179365 2410 0.714442
171.955675364 2420 0.716434
172.763665438 2430 0.719555
173.559693098 2440 0.721514
174.359170914 2450 0.722112
175.159665346 2460 0.722278
175.965179443 2470 0.722942
176.775154352 2480 0.723008
177.57117486 2490 0.723108
178.381181955 2500 0.724635
179.187198877 2510 0.725133
179.995176077 2520 0.726461
180.803676844 2530 0.729615
181.613669872 2540 0.730246
182.421182871 2550 0.731275
183.229690313 2560 0.731441
184.035173416 2570 0.731873
184.833695889 2580 0.732603
185.645667791 2590 0.730943
186.453163862 2600 0.730279
187.259681463 2610 0.731873
188.067689896 2620 0.730345
188.877164364 2630 0.730843
189.685181856 2640 0.730113
190.495674372 2650 0.730345
191.307181358 2660 0.730279
192.107678413 2670 0.729515
192.915677309 2680 0.728818
193.723185778 2690 0.72759
194.531175375 2700 0.727789
195.337685347 2710 0.728752
196.135184526 2720 0.72759
196.947177887 2730 0.725664
197.755665064 2740 0.725166
198.563674927 2750 0.7249
199.371176958 2760 0.724104
200.178294897 2770 0.723307
200.985195398 2780 0.721946
201.793670893 2790 0.719655
202.599295378 2800 0.720286
203.411657333 2810 0.720086
204.217164278 2820 0.72241
205.013180017 2830 0.721879
205.821735859 2840 0.724104
206.617792845 2850 0.724535
207.417181253 2860 0.725332
208.217179537 2870 0.725797
209.01368022 2880 0.729748
209.813667536 2890 0.728984
210.617684364 2900 0.732404
211.417691946 2910 0.733699
212.217666388 2920 0.736155
213.023694754 2930 0.73828
213.821187735 2940 0.740305
214.621670961 2950 0.745452
215.417183876 2960 0.747908
216.215189695 2970 0.751627
217.013180971 2980 0.754515
217.819192171 2990 0.757304
218.619174719 3000 0.760956
219.421785355 3010 0.762218
220.229682446 3020 0.765803
221.037673473 3030 0.769389
221.845169306 3040 0.772975
222.639171362 3050 0.777888
223.441170454 3060 0.781541
224.237685919 3070 0.785027
225.045186758 3080 0.788513
225.843187571 3090 0.794157
226.6391747 3100 0.799469
227.441167355 3110 0.801428
228.250047445 3120 0.804947
229.055684328 3130 0.810757
229.853173494 3140 0.814276
230.651176214 3150 0.819456
231.451675892 3160 0.824037
232.261830807 3170 0.82656
233.067682981 3180 0.829515
233.877697945 3190 0.83423
234.690182924 3200 0.837317
235.495697498 3210 0.841899
236.317185879 3220 0.846448
237.135699034 3230 0.851262
237.958187342 3240 0.856042
238.785177946 3250 0.859761
239.615184069 3260 0.864343
240.443683863 3270 0.867198
241.273192406 3280 0.869622
242.101678848 3290 0.874535
242.929184198 3300 0.87759
243.757189989 3310 0.879781
244.585261583 3320 0.882935
245.425176859 3330 0.884462
246.251704454 3340 0.887583
247.089201927 3350 0.890803
247.929177999 3360 0.893858
248.76918292 3370 0.896746
249.603674889 3380 0.897908
250.433190346 3390 0.900631
251.269692421 3400 0.900564
252.109197378 3410 0.901129
252.937697411 3420 0.901195
253.777174711 3430 0.90259
254.613672018 3440 0.904847
255.449192286 3450 0.906341
256.287674904 3460 0.906375
257.125196695 3470 0.907039
257.953682899 3480 0.907636
258.789698362 3490 0.9084
259.623698473 3500 0.910226
260.465688467 3510 0.91079
261.297177315 3520 0.911554
262.131172895 3530 0.912915
262.969199419 3540 0.913479
263.809181452 3550 0.914874
264.645184755 3560 0.914841
265.485181332 3570 0.917098
266.321676493 3580 0.918559
267.161169767 3590 0.921414
267.994313955 3600 0.924502
268.823684454 3610 0.925631
269.653182745 3620 0.925199
270.482189417 3630 0.92666
271.321180582 3640 0.930644
272.157671928 3650 0.932769
272.99317956 3660 0.934197
273.833178282 3670 0.935823
274.667688608 3680 0.936653
275.497175932 3690 0.93921
276.333691359 3700 0.940936
277.161695719 3710 0.940704
278.001205206 3720 0.943758
278.84117198 3730 0.944688
279.675663948 3740 0.946547
280.513683796 3750 0.948639
281.351693392 3760 0.950764
282.181165457 3770 0.953386
283.015184879 3780 0.958499
283.855698824 3790 0.957703
284.693178415 3800 0.957503
285.531174898 3810 0.959827
286.367202044 3820 0.961786
287.209167957 3830 0.963513
288.033694029 3840 0.967862
288.863177538 3850 0.97012
289.68916893 3860 0.973108
290.519180059 3870 0.972776
291.34717536 3880 0.974236
292.17519021 3890 0.977058
293.003175497 3900 0.977623
293.831685305 3910 0.981873
294.659167051 3920 0.984595
295.487303495 3930 0.98589
296.325211287 3940 0.988911
297.163677454 3950 0.989044
297.999190092 3960 0.990438
298.83917737 3970 0.991899
299.675192833 3980 0.994157
300.503686428 3990 0.996912
301.341693401 4000 1