Trace number 2698854

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 70.2073 70.2052

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
MD5SUM2dda6fbf8d261259c880dca3531a1919
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.32765
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints8453
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 425712
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 425711
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.02/0.08	c constraints 271/545 clauses 3844/7907 units 1
0.02/0.08	c vars 4622
1.49/1.53	c 1.17082 104.406 133 511502
1.49/1.53	o 10343
1.69/1.74	c 1.3038 105.805 178 642201
1.69/1.74	o 9106
1.79/1.89	c 1.40479 105.805 222 738302
1.79/1.89	o 8511
1.99/2.03	c 1.50377 105.805 262 817905
1.99/2.03	o 8347
1.99/2.09	c 1.54177 105.805 290 846871
1.99/2.09	o 8338
2.10/2.14	c 1.57376 105.805 311 869403
2.10/2.14	o 7606
2.20/2.24	c 1.64075 105.805 345 926407
2.20/2.24	o 6934
2.29/2.32	c 1.69174 105.805 383 964637
2.29/2.32	o 5747
2.39/2.45	c 1.77973 105.805 443 1022355
2.39/2.45	o 5515
2.59/2.66	c 1.91471 105.805 555 1054840
2.59/2.66	o 5425
2.79/2.80	c 2.01569 105.805 597 1094988
2.79/2.80	o 4702
2.79/2.86	c 2.05369 105.805 619 1112325
2.79/2.86	o 4256
4.09/4.17	c 2.93555 106.062 1148 1179247
4.09/4.17	o 4204
4.19/4.25	c 2.99354 106.062 1163 1212572
4.19/4.25	o 3959
4.19/4.28	c 3.02154 106.062 1166 1229409
4.19/4.28	o 3552
4.39/4.40	c 3.09953 106.062 1207 1254581
4.39/4.40	o 3545
4.59/4.66	c 3.2685 106.062 1300 1291008
4.59/4.66	o 3544
4.79/4.81	c 3.37249 106.062 1366 1323236
4.79/4.81	o 3499
4.79/4.87	c 3.42248 106.191 1385 1351361
4.79/4.87	o 3055
4.89/4.92	c 3.45847 106.191 1402 1364341
4.89/4.92	o 3054
5.19/5.26	c 3.70244 106.191 1544 1386519
5.19/5.26	o 3052
5.30/5.32	c 3.74843 106.191 1556 1411463
5.30/5.32	o 3004
5.30/5.37	c 3.78143 106.191 1579 1421668
5.30/5.37	o 3002
5.40/5.41	c 3.81042 106.191 1592 1431862
5.40/5.41	o 3001
5.40/5.47	c 3.85741 106.191 1610 1449227
5.40/5.47	o 3000
5.50/5.50	c 3.88341 106.191 1616 1455284
5.50/5.50	o 2987
5.50/5.58	c 3.9324 106.191 1636 1468162
5.50/5.58	o 2986
5.59/5.67	c 3.99539 106.191 1656 1499149
5.59/5.67	o 2449
5.69/5.78	c 4.07738 106.191 1695 1512966
5.69/5.78	o 2448
6.79/6.86	c 4.75128 106.32 2004 1530448
6.79/6.86	o 2438
6.90/6.90	c 4.78527 106.32 2010 1539840
6.90/6.90	o 2437
6.90/6.95	c 4.82527 106.32 2027 1555030
6.90/6.95	o 2404
6.99/7.00	c 4.85926 106.32 2038 1573579
6.99/7.00	o 2237
6.99/7.04	c 4.89126 106.32 2047 1592367
6.99/7.04	o 2019
6.99/7.08	c 4.91625 106.32 2052 1600433
6.99/7.08	o 2000
7.10/7.11	c 4.94025 106.32 2052 1607942
7.10/7.11	o 1993
7.10/7.15	c 4.97424 106.32 2057 1619345
7.10/7.15	o 1985
7.10/7.18	c 4.99824 106.32 2057 1628903
7.10/7.18	o 1894
7.20/7.22	c 5.02724 106.32 2059 1632351
7.20/7.22	o 1892
7.20/7.27	c 5.06523 106.32 2066 1636911
7.20/7.27	o 1891
7.59/7.70	c 5.34819 106.32 2177 1662821
7.59/7.70	o 1874
7.89/7.90	c 5.47617 106.32 2217 1671795
7.89/7.90	o 1869
7.89/7.95	c 5.51816 106.32 2233 1678303
7.89/7.95	o 1861
8.00/8.00	c 5.55616 106.32 2242 1689783
8.00/8.00	o 1852
8.00/8.09	c 5.62814 106.32 2258 1693986
8.00/8.09	o 1849
8.39/8.45	c 5.85011 106.457 2341 1698163
8.39/8.45	o 1848
8.59/8.64	c 5.99309 106.457 2387 1706635
8.59/8.64	o 1847
8.89/8.90	c 6.15906 106.457 2448 1708494
8.89/8.90	o 1846
9.09/9.13	c 6.31104 106.457 2521 1718356
9.09/9.13	o 1842
9.39/9.45	c 6.52301 106.457 2586 1720682
9.39/9.45	o 1841
9.59/9.67	c 6.66899 106.457 2653 1724753
9.59/9.67	o 1839
9.80/9.82	c 6.77597 106.457 2691 1729648
9.80/9.82	o 1837
9.80/9.85	c 6.80696 106.457 2701 1740256
9.80/9.85	o 1811
9.80/9.89	c 6.83496 106.457 2703 1747900
9.80/9.89	o 1805
9.90/9.93	c 6.86796 106.457 2710 1755858
9.90/9.93	o 1801
9.99/10.09	c 6.97694 106.457 2738 1763254
9.99/10.09	o 1793
10.09/10.19	c 7.04793 106.457 2761 1765247
10.09/10.19	o 1792
10.19/10.24	c 7.08392 106.457 2784 1767094
10.19/10.24	o 1791
10.30/10.30	c 7.12692 106.457 2797 1768975
10.30/10.30	o 1789
10.39/10.40	c 7.20191 106.457 2823 1779830
10.39/10.40	o 1788
10.39/10.44	c 7.2389 106.457 2831 1792639
10.39/10.44	o 1780
10.49/10.51	c 7.29189 106.457 2843 1813597
10.49/10.51	o 1765
10.49/10.56	c 7.33688 106.457 2859 1820278
10.49/10.56	o 1760
10.59/10.66	c 7.40787 106.457 2883 1822643
10.59/10.66	o 1759
11.39/11.42	c 7.9088 106.586 3091 1835871
11.39/11.42	o 1749
11.39/11.45	c 7.93379 106.586 3098 1842024
11.39/11.45	o 1726
11.39/11.48	c 7.95679 106.586 3103 1846145
11.39/11.48	o 1715
11.69/11.78	c 8.16176 106.586 3171 1850783
11.69/11.78	o 1709
11.79/11.89	c 8.23475 106.586 3205 1852981
11.79/11.89	o 1708
12.00/12.10	c 8.38472 106.586 3256 1854935
12.00/12.10	o 1707
12.10/12.19	c 8.45271 106.586 3269 1861438
12.10/12.19	o 1706
12.29/12.32	c 8.5417 106.586 3313 1871001
12.29/12.32	o 1705
12.59/12.61	c 8.73167 106.586 3417 1877645
12.59/12.61	o 1689
12.69/12.74	c 8.82066 106.586 3440 1883582
12.69/12.74	o 1688
12.69/12.77	c 8.83966 106.586 3441 1891767
12.69/12.77	o 1685
12.79/12.81	c 8.87465 106.586 3445 1901379
12.79/12.81	o 1666
12.79/12.85	c 8.90465 106.586 3451 1913466
12.79/12.85	o 1653
12.79/12.89	c 8.93564 106.586 3452 1917915
12.79/12.89	o 1647
12.89/12.93	c 8.96264 106.586 3456 1921925
12.89/12.93	o 1630
12.89/12.98	c 8.99763 106.586 3465 1925016
12.89/12.98	o 1620
13.00/13.02	c 9.02963 106.586 3475 1928982
13.00/13.02	o 1611
13.00/13.06	c 9.06562 106.586 3489 1939101
13.00/13.06	o 1564
13.00/13.10	c 9.09562 106.586 3496 1945301
13.00/13.10	o 1556
13.10/13.13	c 9.11761 106.586 3499 1955538
13.10/13.13	o 1420
13.10/13.16	c 9.14461 106.586 3501 1957274
13.10/13.16	o 1418
13.59/13.61	c 9.44256 106.586 3604 1963244
13.59/13.61	o 1405
13.89/13.93	c 9.66753 106.715 3682 1965236
13.89/13.93	o 1404
14.20/14.24	c 9.8675 106.715 3820 1971710
14.20/14.24	o 1400
14.20/14.27	c 9.8925 106.715 3822 1974176
14.20/14.27	o 1399
14.20/14.30	c 9.91549 106.715 3823 1980364
14.20/14.30	o 1392
14.29/14.33	c 9.94249 106.715 3824 1991820
14.29/14.33	o 1346
14.29/14.37	c 9.97148 106.715 3827 1996963
14.29/14.37	o 1342
14.59/14.61	c 10.1335 106.715 3871 2003306
14.59/14.61	o 1339
14.69/14.70	c 10.1974 106.715 3887 2004785
14.69/14.70	o 1335
14.89/14.99	c 10.3964 106.715 3994 2007579
14.89/14.99	o 1334
15.30/15.36	c 10.6604 106.715 4097 2010351
15.30/15.36	o 1332
15.50/15.55	c 10.7994 106.715 4156 2012013
15.50/15.55	o 1331
15.59/15.63	c 10.8653 106.715 4173 2016530
15.59/15.63	o 1330
15.69/15.71	c 10.9223 106.715 4188 2019962
15.69/15.71	o 1329
15.69/15.75	c 10.9503 106.715 4191 2023172
15.69/15.75	o 1324
15.79/15.80	c 10.9843 106.715 4197 2026045
15.79/15.80	o 1320
16.09/16.10	c 11.1883 106.715 4266 2027055
16.09/16.10	o 1319
16.39/16.47	c 11.4373 106.844 4388 2029974
16.39/16.47	o 1318
16.50/16.56	c 11.5013 106.844 4407 2032428
16.50/16.56	o 1317
16.99/17.00	c 11.7922 106.844 4529 2037070
16.99/17.00	o 1315
16.99/17.08	c 11.8512 106.844 4571 2041283
16.99/17.08	o 1312
17.09/17.12	c 11.8822 106.844 4574 2043278
17.09/17.12	o 1311
17.50/17.55	c 12.1662 106.844 4668 2045888
17.50/17.55	o 1310
17.60/17.61	c 12.2161 106.844 4680 2047165
17.60/17.61	o 1309
17.60/17.66	c 12.2531 106.844 4685 2051279
17.60/17.66	o 1300
17.60/17.69	c 12.2771 106.844 4686 2052523
17.60/17.69	o 1297
17.69/17.76	c 12.3281 106.844 4696 2053994
17.69/17.76	o 1296
18.19/18.22	c 12.6211 106.844 4812 2057007
18.19/18.22	o 1295
18.19/18.25	c 12.6421 106.844 4816 2059542
18.19/18.25	o 1293
18.39/18.43	c 12.7701 106.844 4858 2060867
18.39/18.43	o 1291
18.39/18.46	c 12.7941 106.844 4866 2061909
18.39/18.46	o 1289
18.50/18.60	c 12.891 106.844 4891 2063094
18.50/18.60	o 1288
18.60/18.67	c 12.947 106.844 4912 2064551
18.60/18.67	o 1287
18.70/18.76	c 13.013 106.844 4931 2066211
18.70/18.76	o 1286
18.70/18.79	c 13.039 106.844 4934 2068247
18.70/18.79	o 1285
18.79/18.84	c 13.085 106.844 4939 2071095
18.79/18.84	o 1284
18.89/18.95	c 13.166 106.844 4960 2079016
18.89/18.95	o 1282
18.99/19.06	c 13.233 106.844 4986 2080615
18.99/19.06	o 1281
19.09/19.12	c 13.283 106.844 4992 2086722
19.09/19.12	o 1280
19.19/19.20	c 13.336 106.844 5002 2087810
19.19/19.20	o 1279
19.19/19.23	c 13.36 106.844 5005 2088842
19.19/19.23	o 1278
19.40/19.46	c 13.5179 106.973 5064 2090272
19.40/19.46	o 1277
19.40/19.49	c 13.5519 106.973 5073 2091900
19.40/19.49	o 1276
19.49/19.53	c 13.5759 106.973 5077 2094103
19.49/19.53	o 1273
19.49/19.56	c 13.6049 106.973 5083 2097531
19.49/19.56	o 1272
19.59/19.60	c 13.6409 106.973 5093 2100843
19.59/19.60	o 1263
19.70/19.80	c 13.7749 106.973 5162 2102223
19.70/19.80	o 1262
19.99/20.04	c 13.9389 106.973 5217 2103156
19.99/20.04	o 1261
19.99/20.07	c 13.9709 106.973 5234 2104264
19.99/20.07	o 1260
20.09/20.11	c 13.9929 106.973 5237 2105430
20.09/20.11	o 1259
20.09/20.15	c 14.0219 106.973 5242 2106960
20.09/20.15	o 1256
20.09/20.18	c 14.0479 106.973 5243 2108455
20.09/20.18	o 1254
20.19/20.22	c 14.0789 106.973 5249 2111049
20.19/20.22	o 1253
20.19/20.29	c 14.1279 106.973 5261 2113245
20.19/20.29	o 1251
20.29/20.33	c 14.1528 106.973 5266 2115385
20.29/20.33	o 1249
20.29/20.36	c 14.1808 106.973 5273 2117827
20.29/20.36	o 1247
20.29/20.38	c 14.2068 106.973 5277 2119509
20.29/20.38	o 1245
20.39/20.43	c 14.2388 106.973 5280 2124466
20.39/20.43	o 1243
20.39/20.46	c 14.2638 106.973 5282 2126939
20.39/20.46	o 1236
20.50/20.52	c 14.3078 106.973 5291 2131046
20.50/20.52	o 1234
20.50/20.55	c 14.3338 106.973 5294 2134408
20.50/20.55	o 1233
20.50/20.58	c 14.3578 106.973 5294 2136679
20.50/20.58	o 1231
20.59/20.61	c 14.3798 106.973 5294 2138137
20.59/20.61	o 1230
20.59/20.64	c 14.4068 106.973 5296 2139959
20.59/20.64	o 1227
20.59/20.68	c 14.4418 106.973 5302 2141794
20.59/20.68	o 1226
20.80/20.85	c 14.5618 106.973 5335 2143737
20.80/20.85	o 1224
20.80/20.88	c 14.5838 106.973 5337 2145784
20.80/20.88	o 1217
20.89/20.92	c 14.6148 106.973 5340 2147650
20.89/20.92	o 1211
20.89/20.96	c 14.6418 106.973 5343 2149640
20.89/20.96	o 1210
20.99/21.00	c 14.6728 106.973 5351 2151780
20.99/21.00	o 1206
21.49/21.51	c 15.0067 106.973 5478 2155329
21.49/21.51	o 1205
21.49/21.53	c 15.0317 106.973 5480 2157149
21.49/21.53	o 1203
21.59/21.60	c 15.0777 106.973 5491 2159513
21.59/21.60	o 1199
21.59/21.67	c 15.1357 106.973 5504 2162322
21.59/21.67	o 1198
21.70/21.72	c 15.1737 106.973 5510 2163876
21.70/21.72	o 1197
21.70/21.78	c 15.2167 106.973 5521 2165204
21.70/21.78	o 1194
21.90/21.98	c 15.3457 106.973 5581 2171830
21.90/21.98	o 1192
22.69/22.73	c 15.8226 107.102 5804 2175427
22.69/22.73	o 1191
23.29/23.33	c 16.2015 107.102 5921 2178715
23.29/23.33	o 1190
23.39/23.41	c 16.2605 107.102 5936 2179978
23.39/23.41	o 1188
23.39/23.44	c 16.2905 107.102 5940 2184481
23.39/23.44	o 1184
23.39/23.48	c 16.3185 107.102 5947 2186139
23.39/23.48	o 1183
23.50/23.56	c 16.3755 107.102 5966 2188576
23.50/23.56	o 1182
24.59/24.64	c 17.0664 107.102 6295 2191770
24.59/24.64	o 1178
24.59/24.70	c 17.1024 107.102 6304 2193440
24.59/24.70	o 1175
24.69/24.76	c 17.1474 107.102 6311 2197213
24.69/24.76	o 1174
24.79/24.80	c 17.1804 107.102 6318 2201586
24.79/24.80	o 1172
24.79/24.89	c 17.2384 107.23 6332 2205701
24.79/24.89	o 1170
24.99/25.03	c 17.3324 107.23 6361 2211974
24.99/25.03	o 1166
24.99/25.08	c 17.3694 107.23 6366 2213807
24.99/25.08	o 1163
25.09/25.19	c 17.4453 107.23 6397 2216265
25.09/25.19	o 1162
25.19/25.29	c 17.5143 107.23 6416 2218047
25.19/25.29	o 1160
25.30/25.33	c 17.5443 107.23 6425 2221096
25.30/25.33	o 1157
25.30/25.38	c 17.5813 107.23 6433 2228763
25.30/25.38	o 1154
25.39/25.41	c 17.6083 107.23 6437 2234048
25.39/25.41	o 1146
25.39/25.45	c 17.6353 107.23 6441 2237733
25.39/25.45	o 1144
25.39/25.48	c 17.6603 107.23 6441 2239196
25.39/25.48	o 1139
25.49/25.52	c 17.6943 107.23 6446 2240648
25.49/25.52	o 1132
25.49/25.56	c 17.7183 107.23 6449 2244433
25.49/25.56	o 1129
25.59/25.60	c 17.7523 107.23 6454 2246386
25.59/25.60	o 1124
25.69/25.71	c 17.8193 107.23 6475 2247434
25.69/25.71	o 1123
25.69/25.74	c 17.8423 107.23 6477 2250063
25.69/25.74	o 1121
25.69/25.77	c 17.8653 107.23 6483 2254291
25.69/25.77	o 1119
25.79/25.80	c 17.8883 107.23 6485 2259515
25.79/25.80	o 1097
25.79/25.85	c 17.9193 107.23 6496 2267336
25.79/25.85	o 1083
25.79/25.89	c 17.9503 107.23 6502 2272571
25.79/25.89	o 1071
26.49/26.53	c 18.3802 107.23 6658 2277362
26.49/26.53	o 1069
26.79/26.85	c 18.6242 107.23 6763 2280547
26.79/26.85	o 1068
26.79/26.88	c 18.6482 107.23 6765 2282147
26.79/26.88	o 1067
26.89/26.91	c 18.6702 107.23 6766 2284734
26.89/26.91	o 1048
26.89/26.96	c 18.7072 107.23 6775 2286336
26.89/26.96	o 1044
26.99/27.02	c 18.7511 107.23 6783 2287910
26.99/27.02	o 1042
26.99/27.06	c 18.7861 107.23 6789 2291368
26.99/27.06	o 1027
27.09/27.13	c 18.8301 107.23 6800 2292358
27.09/27.13	o 1026
27.09/27.19	c 18.8731 107.23 6807 2293824
27.09/27.19	o 1022
27.19/27.22	c 18.8951 107.23 6807 2297512
27.19/27.22	o 1007
27.19/27.25	c 18.9211 107.23 6809 2299146
27.19/27.25	o 1004
27.29/27.32	c 18.9851 107.23 6824 2308217
27.29/27.32	o 1000
27.29/27.36	c 19.0161 107.23 6828 2311610
27.29/27.36	o 996
27.29/27.38	c 19.0401 107.23 6829 2313304
27.29/27.38	o 991
27.40/27.42	c 19.0641 107.23 6834 2315457
27.40/27.42	o 990
27.40/27.45	c 19.0871 107.23 6838 2316900
27.40/27.45	o 988
27.50/27.50	c 19.1251 107.23 6842 2324597
27.50/27.50	o 987
27.50/27.56	c 19.1711 107.23 6853 2327301
27.50/27.56	o 986
27.79/27.83	c 19.3521 107.23 6958 2330368
27.79/27.83	o 983
27.89/27.92	c 19.415 107.23 6967 2331729
27.89/27.92	o 979
27.89/27.96	c 19.441 107.359 6976 2334575
27.89/27.96	o 975
27.89/27.99	c 19.471 107.359 6986 2338836
27.89/27.99	o 970
27.99/28.03	c 19.505 107.359 6993 2343577
27.99/28.03	o 966
28.10/28.10	c 19.545 107.359 7003 2345996
28.10/28.10	o 958
28.10/28.16	c 19.585 107.359 7008 2347005
28.10/28.16	o 955
28.19/28.21	c 19.625 107.359 7012 2351745
28.19/28.21	o 938
28.19/28.25	c 19.665 107.359 7016 2352848
28.19/28.25	o 937
28.30/28.33	c 19.711 107.359 7039 2359178
28.30/28.33	o 923
28.30/28.37	c 19.742 107.359 7042 2363187
28.30/28.37	o 920
29.19/29.23	c 20.3239 107.359 7328 2366320
29.19/29.23	o 917
29.19/29.28	c 20.3579 107.359 7333 2369385
29.19/29.28	o 915
29.30/29.34	c 20.4009 107.359 7341 2370996
29.30/29.34	o 913
29.30/29.37	c 20.4279 107.359 7344 2377195
29.30/29.37	o 882
29.39/29.41	c 20.4589 107.359 7352 2378305
29.39/29.41	o 879
29.89/29.93	c 20.7968 107.359 7469 2380483
29.89/29.93	o 877
29.89/29.98	c 20.8368 107.359 7474 2383052
29.89/29.98	o 870
29.99/30.03	c 20.8808 107.359 7500 2385901
29.99/30.03	o 865
30.09/30.13	c 20.9538 107.359 7557 2387656
30.09/30.13	o 864
30.09/30.17	c 20.9888 107.359 7564 2388496
30.09/30.17	o 862
30.29/30.30	c 21.0848 107.359 7621 2389133
30.29/30.30	o 861
30.29/30.34	c 21.1198 107.359 7623 2390213
30.29/30.34	o 858
30.39/30.40	c 21.1648 107.359 7636 2390804
30.39/30.40	o 857
30.39/30.45	c 21.2028 107.359 7649 2391590
30.39/30.45	o 856
30.50/30.50	c 21.2338 107.359 7654 2392858
30.50/30.50	o 853
30.60/30.62	c 21.3188 107.359 7681 2393607
30.60/30.62	o 852
30.80/30.84	c 21.4707 107.359 7728 2394386
30.80/30.84	o 851
30.89/30.99	c 21.5727 107.488 7752 2394862
30.89/30.99	o 850
31.00/31.02	c 21.5997 107.488 7758 2395491
31.00/31.02	o 849
31.00/31.07	c 21.6387 107.488 7769 2396093
31.00/31.07	o 847
31.09/31.12	c 21.6707 107.488 7778 2398250
31.09/31.12	o 838
31.39/31.43	c 21.8797 107.488 7843 2400186
31.39/31.43	o 837
31.49/31.51	c 21.9417 107.488 7862 2400787
31.49/31.51	o 836
31.49/31.55	c 21.9697 107.488 7868 2401484
31.49/31.55	o 835
31.59/31.66	c 22.0466 107.488 7893 2402483
31.59/31.66	o 834
31.80/31.82	c 22.1696 107.488 7954 2403315
31.80/31.82	o 832
31.80/31.88	c 22.2126 107.488 7967 2404465
31.80/31.88	o 831
31.89/31.92	c 22.2486 107.488 7979 2405733
31.89/31.93	o 830
31.89/31.98	c 22.2836 107.488 7986 2407045
31.89/31.98	o 829
32.19/32.21	c 22.4296 107.488 8045 2407923
32.19/32.21	o 828
32.29/32.31	c 22.5026 107.488 8060 2408926
32.29/32.31	o 827
32.29/32.34	c 22.5246 107.488 8063 2409659
32.29/32.34	o 826
32.29/32.38	c 22.5576 107.488 8066 2410857
32.29/32.38	o 825
32.79/32.87	c 22.8705 107.488 8173 2412790
32.79/32.87	o 824
32.90/32.96	c 22.9425 107.488 8205 2414028
32.90/32.96	o 823
32.99/33.07	c 23.0165 107.488 8226 2414644
32.99/33.07	o 822
33.09/33.12	c 23.0545 107.488 8248 2415384
33.09/33.12	o 821
33.19/33.22	c 23.1275 107.488 8269 2415970
33.19/33.22	o 820
33.19/33.29	c 23.1805 107.488 8283 2416637
33.19/33.29	o 819
33.39/33.41	c 23.2655 107.488 8313 2418169
33.39/33.41	o 818
34.00/34.03	c 23.6804 107.488 8436 2419407
34.00/34.03	o 817
34.00/34.09	c 23.7244 107.617 8452 2420561
34.00/34.09	o 816
34.10/34.15	c 23.7714 107.617 8464 2421440
34.10/34.15	o 815
34.59/34.66	c 24.0973 107.617 8585 2423129
34.59/34.67	o 814
34.69/34.74	c 24.1533 107.617 8604 2423604
34.69/34.74	o 813
34.69/34.78	c 24.1853 107.617 8610 2424094
34.69/34.78	o 812
34.79/34.82	c 24.2153 107.617 8624 2425287
34.79/34.82	o 810
34.89/34.90	c 24.2683 107.617 8647 2426516
34.89/34.90	o 809
34.89/34.95	c 24.3113 107.617 8658 2427551
34.89/34.95	o 808
34.89/34.98	c 24.3353 107.617 8660 2428172
34.89/34.98	o 806
34.99/35.04	c 24.3823 107.617 8669 2428814
34.99/35.04	o 804
35.10/35.14	c 24.4493 107.617 8691 2429547
35.10/35.14	o 803
35.20/35.20	c 24.4873 107.617 8701 2430244
35.20/35.20	o 802
35.20/35.26	c 24.5293 107.617 8717 2430986
35.20/35.26	o 800
35.29/35.30	c 24.5573 107.617 8723 2432089
35.29/35.30	o 796
35.29/35.33	c 24.5823 107.617 8725 2433439
35.29/35.33	o 795
35.29/35.36	c 24.6033 107.617 8727 2434230
35.29/35.36	o 794
35.40/35.41	c 24.6433 107.617 8732 2435363
35.40/35.41	o 793
35.40/35.46	c 24.6802 107.617 8739 2435854
35.40/35.46	o 792
35.40/35.49	c 24.7062 107.617 8742 2436930
35.40/35.49	o 789
35.49/35.52	c 24.7322 107.617 8745 2437567
35.49/35.52	o 788
35.49/35.56	c 24.7662 107.617 8752 2439081
35.49/35.56	o 787
35.49/35.59	c 24.7922 107.617 8754 2439608
35.49/35.59	o 786
35.59/35.64	c 24.8252 107.617 8756 2440802
35.59/35.64	o 783
35.59/35.68	c 24.8532 107.617 8764 2441492
35.59/35.68	o 782
35.69/35.71	c 24.8832 107.617 8766 2442381
35.69/35.71	o 779
35.69/35.76	c 24.9182 107.617 8777 2443819
35.69/35.76	o 776
35.80/35.83	c 24.9792 107.617 8797 2447598
35.80/35.83	o 775
35.89/35.98	c 25.0872 107.617 8831 2452171
35.89/35.98	o 774
36.00/36.03	c 25.1252 107.617 8843 2452678
36.00/36.03	o 773
36.00/36.09	c 25.1682 107.617 8861 2453687
36.00/36.09	o 772
36.30/36.38	c 25.3611 107.617 8963 2455882
36.30/36.38	o 771
36.40/36.41	c 25.3811 107.617 8965 2457043
36.40/36.41	o 769
36.40/36.45	c 25.4171 107.617 8990 2458505
36.40/36.45	o 768
37.00/37.09	c 25.8321 107.617 9163 2460294
37.00/37.09	o 767
37.09/37.17	c 25.8851 107.617 9177 2461292
37.09/37.17	o 766
37.19/37.21	c 25.9221 107.617 9183 2462139
37.19/37.21	o 764
37.19/37.26	c 25.9601 107.617 9195 2463446
37.19/37.26	o 763
37.30/37.34	c 26.018 107.746 9205 2465087
37.30/37.34	o 762
37.59/37.60	c 26.191 107.746 9271 2466034
37.59/37.60	o 761
37.59/37.67	c 26.24 107.746 9289 2467302
37.59/37.67	o 759
37.69/37.72	c 26.277 107.746 9298 2468484
37.69/37.72	o 758
37.79/37.81	c 26.339 107.746 9316 2469221
37.79/37.81	o 757
38.09/38.16	c 26.556 107.746 9421 2472139
38.09/38.16	o 751
38.09/38.19	c 26.584 107.746 9422 2474211
38.09/38.19	o 748
38.19/38.22	c 26.609 107.746 9426 2476631
38.19/38.22	o 747
38.19/38.28	c 26.6479 107.746 9435 2477504
38.19/38.28	o 745
38.29/38.32	c 26.6829 107.746 9442 2479463
38.29/38.32	o 744
38.29/38.37	c 26.7159 107.746 9446 2481870
38.29/38.37	o 741
38.40/38.40	c 26.7479 107.746 9452 2484350
38.40/38.40	o 740
38.40/38.45	c 26.7819 107.746 9455 2486634
38.40/38.45	o 739
38.40/38.49	c 26.8139 107.746 9460 2488185
38.40/38.49	o 737
38.50/38.53	c 26.8479 107.746 9467 2490364
38.50/38.53	o 736
38.50/38.56	c 26.8799 107.746 9480 2491568
38.50/38.56	o 735
38.59/38.60	c 26.9099 107.746 9494 2493059
38.59/38.60	o 733
38.69/38.76	c 27.0179 107.746 9530 2494969
38.69/38.76	o 732
38.79/38.84	c 27.0729 107.746 9545 2495880
38.79/38.84	o 731
39.19/39.21	c 27.3188 107.746 9631 2497294
39.19/39.21	o 727
39.19/39.24	c 27.3428 107.746 9633 2498974
39.19/39.24	o 726
39.19/39.27	c 27.3658 107.746 9635 2500663
39.19/39.27	o 725
39.29/39.30	c 27.3938 107.746 9637 2502412
39.29/39.30	o 723
39.29/39.33	c 27.4168 107.746 9642 2504433
39.29/39.33	o 717
39.29/39.39	c 27.4628 107.746 9654 2506138
39.29/39.39	o 715
39.49/39.56	c 27.5768 107.746 9689 2506618
39.49/39.56	o 714
39.60/39.61	c 27.6218 107.746 9707 2507035
39.60/39.61	o 713
39.60/39.69	c 27.6728 107.746 9722 2507801
39.60/39.69	o 712
39.79/39.87	c 27.7828 107.746 9764 2508600
39.79/39.87	o 710
39.89/39.97	c 27.8568 107.746 9787 2509555
39.89/39.97	o 708
39.99/40.02	c 27.8918 107.746 9793 2510712
39.99/40.02	o 704
39.99/40.07	c 27.9268 107.746 9800 2511684
39.99/40.07	o 703
40.09/40.16	c 27.9927 107.746 9819 2512599
40.09/40.16	o 701
40.19/40.21	c 28.0307 107.746 9827 2513962
40.19/40.21	o 697
40.19/40.26	c 28.0657 107.746 9837 2514897
40.19/40.26	o 695
40.19/40.30	c 28.0947 107.746 9840 2517464
40.19/40.30	o 689
40.29/40.33	c 28.1207 107.746 9844 2518270
40.29/40.33	o 688
40.29/40.39	c 28.1637 107.746 9854 2519024
40.29/40.39	o 686
40.40/40.44	c 28.2017 107.746 9859 2519577
40.40/40.44	o 685
40.49/40.50	c 28.2517 107.746 9869 2520456
40.49/40.50	o 684
40.49/40.53	c 28.2767 107.746 9871 2521820
40.49/40.53	o 682
40.49/40.56	c 28.2997 107.746 9871 2523755
40.49/40.56	o 677
40.59/40.61	c 28.3337 107.746 9880 2524749
40.59/40.61	o 675
40.59/40.65	c 28.3647 107.875 9890 2525988
40.59/40.65	o 674
40.59/40.68	c 28.3947 107.875 9894 2527007
40.59/40.68	o 673
40.70/40.72	c 28.4217 107.875 9896 2527695
40.70/40.72	o 672
40.70/40.77	c 28.4597 107.875 9903 2529328
40.70/40.77	o 666
40.79/40.81	c 28.4887 107.875 9906 2530747
40.79/40.81	o 665
40.79/40.85	c 28.5227 107.875 9925 2531671
40.79/40.85	o 664
41.19/41.21	c 28.7896 107.875 10057 2533606
41.19/41.21	o 659
41.19/41.25	c 28.8206 107.875 10058 2534385
41.19/41.25	o 658
41.19/41.30	c 28.8486 107.875 10062 2535609
41.19/41.30	o 655
41.29/41.34	c 28.8796 107.875 10065 2536660
41.29/41.34	o 650
41.29/41.38	c 28.9056 107.875 10066 2537573
41.29/41.38	o 648
41.40/41.41	c 28.9296 107.875 10067 2538747
41.40/41.41	o 647
41.60/41.60	c 29.0556 107.875 10111 2539462
41.60/41.60	o 646
41.70/41.73	c 29.1406 107.875 10135 2540611
41.70/41.73	o 643
41.70/41.78	c 29.1796 107.875 10147 2541698
41.70/41.78	o 642
41.80/41.84	c 29.2216 107.875 10160 2543876
41.80/41.84	o 638
41.80/41.89	c 29.2636 107.875 10167 2545007
41.80/41.89	o 637
41.89/41.97	c 29.3215 107.875 10178 2546453
41.89/41.97	o 634
41.99/42.00	c 29.3495 107.875 10186 2546940
41.99/42.00	o 633
41.99/42.06	c 29.3955 107.875 10202 2547374
41.99/42.06	o 632
42.10/42.10	c 29.4255 107.875 10210 2549555
42.10/42.10	o 621
42.39/42.41	c 29.6275 107.875 10283 2551118
42.39/42.41	o 620
42.60/42.61	c 29.7545 107.875 10311 2551912
42.60/42.61	o 619
42.69/42.73	c 29.8465 107.875 10338 2552588
42.69/42.73	o 618
42.69/42.77	c 29.8775 107.875 10342 2553522
42.69/42.77	o 617
42.69/42.80	c 29.9015 107.875 10343 2554855
42.69/42.80	o 613
42.90/42.93	c 29.9854 107.875 10369 2555626
42.90/42.93	o 612
42.90/42.98	c 30.0254 107.875 10377 2556320
42.90/42.98	o 609
42.99/43.03	c 30.0604 107.875 10399 2558747
42.99/43.03	o 599
43.09/43.13	c 30.1344 107.875 10432 2559230
43.09/43.13	o 598
43.09/43.16	c 30.1664 107.875 10443 2559950
43.09/43.16	o 595
43.19/43.22	c 30.2164 107.875 10449 2560931
43.19/43.22	o 592
43.19/43.26	c 30.2454 107.875 10457 2561950
43.19/43.26	o 590
43.40/43.40	c 30.3454 107.875 10491 2562695
43.40/43.40	o 589
43.79/43.90	c 30.6813 107.875 5303 2563734
43.79/43.90	o 587
43.90/43.94	c 30.7163 107.875 5311 2564167
43.90/43.94	o 586
43.90/43.98	c 30.7533 107.875 5317 2564680
43.90/43.98	o 585
44.00/44.02	c 30.7823 107.875 5322 2565204
44.00/44.02	o 584
44.09/44.10	c 30.8313 107.875 5332 2566368
44.09/44.10	o 582
44.09/44.17	c 30.8843 107.875 5354 2567047
44.09/44.17	o 581
44.19/44.22	c 30.9213 107.875 5365 2567865
44.19/44.22	o 579
44.29/44.32	c 30.9983 107.875 5382 2568987
44.29/44.32	o 577
44.69/44.79	c 31.3032 107.875 5485 2570030
44.69/44.79	o 575
44.79/44.82	c 31.3262 107.875 5487 2571075
44.79/44.82	o 571
44.79/44.86	c 31.3572 107.875 5490 2571895
44.79/44.86	o 568
44.89/44.90	c 31.3902 107.875 5495 2572632
44.89/44.90	o 567
44.89/44.94	c 31.4222 107.875 5500 2573226
44.89/44.94	o 565
44.89/44.97	c 31.4462 107.875 5501 2573794
44.89/44.97	o 564
44.89/45.00	c 31.4732 107.875 5503 2574497
44.89/45.00	o 561
45.00/45.05	c 31.5082 107.875 5509 2575415
45.00/45.05	o 560
45.00/45.08	c 31.5342 107.875 5511 2576022
45.00/45.08	o 559
45.10/45.13	c 31.5712 107.875 5515 2576927
45.10/45.13	o 557
45.10/45.16	c 31.5942 107.875 5517 2577715
45.10/45.16	o 556
45.19/45.20	c 31.6262 107.875 5520 2579265
45.19/45.20	o 554
45.19/45.24	c 31.6572 107.875 5522 2580857
45.19/45.24	o 550
45.19/45.27	c 31.6842 107.875 5524 2582279
45.19/45.27	o 547
45.29/45.30	c 31.7062 107.875 5525 2583015
45.29/45.30	o 546
45.29/45.33	c 31.7292 107.875 5525 2583629
45.29/45.33	o 545
45.29/45.36	c 31.7542 107.875 5526 2584386
45.29/45.36	o 544
45.29/45.39	c 31.7772 107.875 5526 2585071
45.29/45.39	o 542
45.39/45.42	c 31.8022 107.875 5527 2586048
45.39/45.42	o 539
45.39/45.45	c 31.8292 107.875 5530 2587016
45.39/45.45	o 538
45.49/45.51	c 31.8752 107.875 5539 2587612
45.49/45.51	o 537
45.49/45.56	c 31.9121 107.875 5546 2588155
45.49/45.56	o 536
45.49/45.59	c 31.9371 107.875 5549 2588881
45.49/45.59	o 534
45.59/45.62	c 31.9661 107.875 5550 2590239
45.59/45.62	o 533
45.59/45.67	c 31.9971 107.875 5553 2590993
45.59/45.67	o 532
45.69/45.71	c 32.0271 107.875 5557 2593728
45.69/45.71	o 531
45.69/45.76	c 32.0611 107.875 5563 2596113
45.69/45.76	o 530
45.69/45.79	c 32.0851 107.875 5564 2596680
45.69/45.79	o 527
45.79/45.82	c 32.1091 107.875 5566 2597515
45.79/45.82	o 526
45.79/45.85	c 32.1341 107.875 5566 2598265
45.79/45.85	o 524
45.79/45.87	c 32.1591 107.875 5568 2599145
45.79/45.87	o 523
45.89/45.90	c 32.1831 107.875 5569 2599713
45.89/45.90	o 522
45.89/45.93	c 32.2101 107.875 5571 2600286
45.89/45.93	o 520
45.89/45.96	c 32.2341 107.875 5571 2601419
45.89/45.96	o 519
45.89/45.99	c 32.2561 107.875 5573 2602648
45.89/45.99	o 518
45.99/46.02	c 32.2851 107.875 5577 2603602
45.99/46.02	o 517
45.99/46.05	c 32.3091 107.875 5578 2604416
45.99/46.05	o 515
45.99/46.10	c 32.3441 107.875 5581 2605448
45.99/46.10	o 512
46.09/46.13	c 32.3651 107.875 5584 2606663
46.09/46.13	o 506
46.09/46.16	c 32.3861 107.875 5585 2607232
46.09/46.16	o 505
46.09/46.18	c 32.4111 107.875 5585 2607920
46.09/46.18	o 503
46.20/46.21	c 32.4351 107.875 5585 2608996
46.20/46.21	o 498
46.20/46.24	c 32.4581 107.875 5585 2609872
46.20/46.24	o 497
46.20/46.27	c 32.4841 107.875 5586 2610616
46.20/46.27	o 496
46.29/46.31	c 32.5161 107.875 5588 2612035
46.29/46.31	o 495
46.29/46.34	c 32.5431 107.875 5591 2613009
46.29/46.34	o 494
46.29/46.38	c 32.571 107.875 5596 2613535
46.29/46.38	o 493
46.39/46.41	c 32.598 107.875 5599 2614426
46.39/46.41	o 492
46.39/46.44	c 32.624 107.875 5601 2615452
46.39/46.44	o 491
46.39/46.47	c 32.651 107.875 5603 2616096
46.39/46.47	o 490
46.50/46.51	c 32.678 107.875 5606 2617621
46.50/46.51	o 488
46.50/46.55	c 32.712 107.875 5609 2619121
46.50/46.55	o 487
46.50/46.58	c 32.736 107.875 5611 2620034
46.50/46.58	o 486
46.59/46.62	c 32.763 107.875 5612 2620986
46.59/46.62	o 484
46.99/47.00	c 33.018 107.875 5716 2622447
46.99/47.00	o 482
46.99/47.04	c 33.051 107.875 5720 2623459
46.99/47.04	o 479
47.09/47.10	c 33.095 107.875 5727 2623985
47.09/47.10	o 477
47.09/47.14	c 33.128 107.875 5732 2624935
47.09/47.14	o 476
47.09/47.17	c 33.15 107.875 5734 2625483
47.09/47.17	o 475
47.20/47.21	c 33.182 107.875 5739 2627685
47.20/47.22	o 474
47.20/47.25	c 33.2139 107.875 5749 2629327
47.20/47.25	o 473
47.30/47.34	c 33.2769 107.875 5783 2629805
47.30/47.34	o 472
47.69/47.74	c 33.5509 107.875 5957 2630841
47.69/47.74	o 471
47.69/47.78	c 33.5799 107.875 5961 2631431
47.69/47.78	o 470
47.80/47.89	c 33.6589 107.875 5985 2631874
47.80/47.89	o 469
47.89/47.93	c 33.6909 107.875 5989 2632471
47.89/47.93	o 467
47.89/47.97	c 33.7169 107.875 5993 2633140
47.89/47.97	o 466
47.89/47.99	c 33.7409 107.875 5993 2633934
47.89/47.99	o 464
47.99/48.02	c 33.7679 107.875 5993 2634550
47.99/48.02	o 463
47.99/48.06	c 33.7929 107.875 5996 2635194
47.99/48.06	o 462
47.99/48.09	c 33.8209 107.875 5997 2635778
47.99/48.09	o 461
48.09/48.12	c 33.8469 107.875 5998 2636361
48.09/48.12	o 460
48.09/48.16	c 33.8768 107.875 6000 2637162
48.09/48.16	o 458
48.09/48.19	c 33.9028 107.875 6001 2637773
48.09/48.19	o 456
48.20/48.22	c 33.9308 107.875 6002 2638316
48.20/48.22	o 455
48.20/48.25	c 33.9538 107.875 6002 2638938
48.20/48.25	o 454
48.20/48.28	c 33.9758 107.875 6003 2639745
48.20/48.28	o 451
48.29/48.31	c 34.0008 107.875 6005 2640466
48.29/48.31	o 450
48.29/48.34	c 34.0248 107.875 6007 2641086
48.29/48.34	o 449
48.29/48.38	c 34.0548 107.875 6011 2641762
48.29/48.38	o 448
48.39/48.41	c 34.0778 107.875 6015 2642594
48.39/48.41	o 445
48.39/48.44	c 34.1018 107.875 6017 2643250
48.39/48.44	o 443
48.39/48.48	c 34.1318 107.875 6020 2644250
48.39/48.48	o 441
48.49/48.52	c 34.1628 107.875 6021 2644618
48.49/48.52	o 440
48.49/48.55	c 34.1908 107.875 6025 2645149
48.49/48.55	o 437
48.49/48.59	c 34.2218 107.875 6028 2645454
48.49/48.59	o 436
48.59/48.62	c 34.2478 107.875 6031 2646311
48.59/48.62	o 433
48.59/48.66	c 34.2708 107.875 6035 2646849
48.59/48.66	o 432
48.69/48.73	c 34.3128 107.875 6051 2648074
48.69/48.73	o 431
48.69/48.76	c 34.3418 107.875 6054 2648425
48.69/48.76	o 430
48.79/48.80	c 34.3658 107.875 6058 2648830
48.79/48.80	o 429
48.79/48.83	c 34.3938 107.875 6059 2649387
48.79/48.83	o 428
48.79/48.86	c 34.4158 107.875 6061 2650279
48.79/48.86	o 427
48.79/48.89	c 34.4378 107.875 6062 2650712
48.79/48.89	o 426
48.89/48.93	c 34.4758 107.875 6064 2651975
48.89/48.93	o 424
48.89/48.96	c 34.4998 107.875 6068 2652569
48.89/48.96	o 423
49.09/49.10	c 34.5987 107.875 6108 2653081
49.09/49.10	o 422
49.29/49.30	c 34.7327 107.875 6150 2653636
49.29/49.30	o 420
49.29/49.37	c 34.7797 107.875 6172 2654579
49.29/49.37	o 419
49.40/49.42	c 34.8147 107.875 6174 2655162
49.40/49.42	o 416
49.40/49.47	c 34.8567 107.875 6181 2655697
49.40/49.47	o 414
49.50/49.52	c 34.8867 107.875 6188 2656367
49.50/49.52	o 412
49.59/49.64	c 34.9767 107.875 6212 2657134
49.59/49.64	o 408
49.59/49.67	c 35.0007 107.875 6213 2657626
49.59/49.67	o 407
49.69/49.70	c 35.0277 107.875 6214 2658200
49.69/49.70	o 405
49.69/49.74	c 35.0567 107.875 6218 2658885
49.69/49.74	o 404
49.69/49.78	c 35.0837 107.875 6220 2659827
49.69/49.78	o 402
49.80/49.82	c 35.1187 107.875 6225 2660446
49.80/49.82	o 400
49.80/49.87	c 35.1567 107.875 6240 2660898
49.80/49.87	o 399
49.89/49.91	c 35.1917 107.875 6250 2661554
49.89/49.91	o 398
49.89/49.95	c 35.2236 107.875 6255 2662112
49.89/49.95	o 397
49.99/50.01	c 35.2746 107.875 6262 2662794
49.99/50.01	o 395
50.09/50.11	c 35.3546 107.875 6288 2663324
50.09/50.11	o 393
50.09/50.15	c 35.3906 107.875 6293 2664388
50.09/50.15	o 392
50.19/50.20	c 35.4326 107.875 6299 2664897
50.19/50.20	o 391
50.19/50.25	c 35.4716 107.875 6306 2665406
50.19/50.25	o 390
50.29/50.34	c 35.5316 107.875 6321 2665862
50.29/50.34	o 389
50.29/50.37	c 35.5546 107.875 6326 2666300
50.29/50.37	o 388
50.40/50.41	c 35.5806 107.875 6333 2666831
50.40/50.41	o 386
50.40/50.44	c 35.6066 107.875 6336 2667279
50.40/50.44	o 384
50.40/50.47	c 35.6316 107.875 6338 2667520
50.40/50.47	o 383
50.50/50.54	c 35.6786 107.875 6348 2667941
50.50/50.54	o 381
50.50/50.58	c 35.7076 107.875 6354 2668366
50.50/50.58	o 380
50.60/50.61	c 35.7336 107.875 6357 2668873
50.60/50.61	o 379
50.60/50.65	c 35.7636 107.875 6358 2669355
50.60/50.65	o 378
50.60/50.67	c 35.7906 107.875 6359 2669982
50.60/50.67	o 376
50.69/50.72	c 35.8286 107.875 6362 2670362
50.69/50.72	o 375
50.69/50.76	c 35.8545 107.875 6364 2670849
50.69/50.76	o 373
50.79/50.85	c 35.9315 107.875 6386 2671310
50.79/50.85	o 372
50.89/50.91	c 35.9715 107.875 6396 2672241
50.89/50.91	o 370
50.89/50.96	c 36.0025 107.875 6404 2673102
50.89/50.96	o 368
50.89/50.99	c 36.0285 107.875 6407 2673466
50.89/50.99	o 367
51.00/51.04	c 36.0675 107.875 6413 2673724
51.00/51.04	o 366
51.00/51.07	c 36.0945 107.875 6415 2674279
51.00/51.07	o 364
51.10/51.16	c 36.1545 107.875 6429 2674615
51.10/51.16	o 363
51.19/51.22	c 36.2025 107.875 6434 2675242
51.19/51.22	o 362
51.19/51.25	c 36.2305 107.875 6441 2675709
51.19/51.25	o 361
51.30/51.30	c 36.2665 107.875 6451 2676126
51.30/51.30	o 360
51.30/51.34	c 36.2935 107.875 6463 2676787
51.30/51.34	o 358
51.30/51.38	c 36.3205 107.875 6476 2677409
51.30/51.38	o 356
51.39/51.41	c 36.3455 107.875 6479 2678430
51.39/51.41	o 351
51.39/51.44	c 36.3695 107.875 6481 2678825
51.39/51.44	o 349
51.39/51.48	c 36.4025 107.875 6485 2679376
51.39/51.48	o 348
51.50/51.53	c 36.4325 107.875 6487 2679891
51.50/51.53	o 347
51.50/51.56	c 36.4555 107.875 6491 2680714
51.50/51.56	o 346
51.50/51.59	c 36.4825 107.875 6492 2681466
51.50/51.59	o 344
51.60/51.62	c 36.5074 107.875 6493 2682211
51.60/51.62	o 343
51.60/51.65	c 36.5304 107.875 6493 2682752
51.60/51.65	o 340
51.60/51.68	c 36.5544 107.875 6494 2683563
51.60/51.68	o 339
51.70/51.71	c 36.5814 107.875 6494 2684145
51.70/51.71	o 338
51.70/51.74	c 36.6034 107.875 6497 2685170
51.70/51.74	o 337
51.70/51.77	c 36.6294 107.875 6497 2685748
51.70/51.77	o 336
51.79/51.80	c 36.6504 107.875 6497 2686778
51.79/51.80	o 334
51.79/51.83	c 36.6744 107.875 6497 2687513
51.79/51.83	o 332
51.79/51.88	c 36.7074 107.875 6501 2688367
51.79/51.88	o 330
51.90/51.96	c 36.7654 107.875 6517 2688769
51.90/51.96	o 329
51.99/52.00	c 36.7974 107.875 6522 2689234
51.99/52.00	o 328
51.99/52.03	c 36.8224 107.875 6525 2689789
51.99/52.03	o 327
51.99/52.06	c 36.8524 107.875 6529 2690411
51.99/52.06	o 324
52.09/52.13	c 36.9044 107.875 6543 2690948
52.09/52.13	o 321
52.19/52.20	c 36.9574 107.875 6563 2691421
52.19/52.20	o 320
52.19/52.23	c 36.9834 107.875 6566 2692117
52.19/52.23	o 319
52.19/52.29	c 37.0314 107.875 6585 2693093
52.19/52.29	o 314
52.29/52.33	c 37.0674 107.875 6593 2693577
52.29/52.33	o 312
52.29/52.38	c 37.1074 107.875 6599 2694143
52.29/52.38	o 311
52.39/52.41	c 37.1304 107.875 6599 2694501
52.39/52.41	o 310
52.39/52.44	c 37.1564 107.875 6600 2694966
52.39/52.44	o 308
52.39/52.47	c 37.1843 107.875 6601 2695309
52.39/52.47	o 307
52.49/52.51	c 37.2173 107.875 6603 2695675
52.49/52.51	o 306
52.49/52.55	c 37.2513 107.875 6638 2696064
52.49/52.55	o 305
52.59/52.64	c 37.3103 107.875 6656 2696447
52.59/52.64	o 304
52.59/52.67	c 37.3373 107.875 6661 2697147
52.59/52.68	o 301
52.70/52.71	c 37.3673 107.875 6662 2697514
52.70/52.71	o 300
52.70/52.76	c 37.4013 107.875 6668 2698164
52.70/52.76	o 299
52.79/52.81	c 37.4363 107.875 6676 2698703
52.79/52.81	o 297
52.79/52.84	c 37.4583 107.875 6677 2698975
52.79/52.84	o 296
52.79/52.87	c 37.4893 107.875 6689 2699334
52.79/52.87	o 294
52.89/52.91	c 37.5193 107.875 6691 2699608
52.89/52.91	o 293
52.89/52.95	c 37.5503 107.875 6698 2700046
52.89/52.95	o 292
53.00/53.04	c 37.6123 107.875 6714 2700451
53.00/53.04	o 291
53.00/53.07	c 37.6333 107.875 6723 2700876
53.00/53.07	o 289
53.09/53.10	c 37.6623 107.875 6733 2701252
53.09/53.10	o 288
53.09/53.16	c 37.7063 107.875 6769 2702452
53.09/53.16	o 284
53.39/53.42	c 37.9132 107.875 6884 2703169
53.39/53.42	o 283
53.39/53.46	c 37.9522 107.875 6894 2703505
53.39/53.46	o 282
53.49/53.50	c 37.9832 107.875 6906 2703853
53.49/53.50	o 281
53.49/53.53	c 38.0092 107.875 6907 2704220
53.49/53.53	o 280
53.49/53.55	c 38.0332 107.875 6908 2704545
53.49/53.55	o 279
53.59/53.60	c 38.0652 107.875 6913 2704893
53.59/53.60	o 278
53.59/53.63	c 38.0932 107.875 6917 2705374
53.59/53.63	o 277
53.59/53.67	c 38.1222 107.875 6918 2705934
53.59/53.67	o 274
53.69/53.70	c 38.1462 107.875 6924 2706327
53.69/53.70	o 273
53.69/53.73	c 38.1732 107.875 6926 2706636
53.69/53.73	o 272
53.69/53.76	c 38.2032 107.875 6928 2706995
53.69/53.76	o 271
53.69/53.80	c 38.2292 107.875 6930 2707313
53.69/53.80	o 270
53.80/53.83	c 38.2542 107.875 6936 2707600
53.80/53.83	o 269
53.89/53.90	c 38.3112 107.875 6965 2708036
53.89/53.90	o 268
53.89/53.94	c 38.3452 107.875 6970 2708581
53.89/53.94	o 267
53.89/53.98	c 38.3762 107.875 6979 2708898
53.89/53.98	o 266
53.99/54.04	c 38.4162 107.875 6987 2709234
53.99/54.04	o 265
53.99/54.06	c 38.4422 107.875 6988 2709595
53.99/54.07	o 263
53.99/54.09	c 38.4672 107.875 6990 2709872
53.99/54.09	o 262
54.09/54.12	c 38.4911 107.875 6990 2710220
54.09/54.12	o 260
54.09/54.15	c 38.5151 107.875 6990 2710491
54.09/54.15	o 259
54.09/54.18	c 38.5421 107.875 6990 2710747
54.09/54.18	o 258
54.19/54.21	c 38.5601 107.875 6990 2710998
54.19/54.21	o 257
54.19/54.24	c 38.5811 107.875 6991 2711331
54.19/54.24	o 256
54.19/54.28	c 38.6141 107.875 6994 2711736
54.19/54.28	o 254
54.30/54.34	c 38.6701 107.875 7027 2712114
54.30/54.34	o 253
54.39/54.43	c 38.7321 107.875 7049 2712840
54.39/54.43	o 252
54.39/54.48	c 38.7721 107.875 7053 2713262
54.39/54.48	o 251
54.50/54.52	c 38.8051 107.875 7058 2713539
54.50/54.52	o 250
54.50/54.55	c 38.8351 107.875 7061 2713837
54.50/54.55	o 249
54.50/54.58	c 38.8571 107.875 7062 2714120
54.50/54.58	o 248
54.59/54.62	c 38.8931 107.875 7066 2714531
54.59/54.62	o 247
54.59/54.66	c 38.9241 107.875 7068 2714852
54.59/54.66	o 246
54.69/54.72	c 38.9721 107.875 7080 2715440
54.69/54.72	o 245
54.69/54.79	c 39.0321 107.875 7090 2715780
54.69/54.79	o 244
54.79/54.82	c 39.0581 107.875 7092 2716099
54.79/54.82	o 243
54.79/54.85	c 39.0871 107.875 7094 2716411
54.79/54.85	o 242
54.79/54.88	c 39.1131 107.875 7107 2716841
54.79/54.88	o 240
54.90/54.91	c 39.138 107.875 7114 2717158
54.90/54.91	o 239
54.90/54.94	c 39.163 107.875 7118 2717570
54.90/54.94	o 238
54.90/54.98	c 39.191 107.875 7139 2718063
54.90/54.98	o 237
55.00/55.06	c 39.25 107.875 7151 2718576
55.00/55.06	o 236
55.09/55.11	c 39.293 107.875 7165 2718886
55.09/55.11	o 235
55.09/55.16	c 39.33 107.875 7176 2719416
55.09/55.16	o 234
55.19/55.21	c 39.369 107.875 7181 2719950
55.19/55.21	o 233
55.19/55.25	c 39.406 107.875 7199 2720406
55.19/55.25	o 232
55.29/55.30	c 39.443 107.875 7205 2720921
55.29/55.30	o 231
55.39/55.41	c 39.515 107.875 7232 2721502
55.39/55.41	o 229
55.39/55.45	c 39.554 107.875 7237 2721983
55.39/55.45	o 228
55.39/55.48	c 39.58 107.875 7238 2722224
55.39/55.48	o 227
55.50/55.51	c 39.605 107.875 7238 2722480
55.50/55.51	o 226
55.50/55.54	c 39.629 107.875 7239 2722760
55.50/55.54	o 225
55.50/55.57	c 39.654 107.875 7239 2722970
55.50/55.57	o 224
55.59/55.60	c 39.682 107.875 7264 2723241
55.59/55.60	o 223
55.59/55.68	c 39.74 107.875 7284 2723580
55.59/55.68	o 222
55.69/55.75	c 39.7919 107.875 7334 2724002
55.69/55.75	o 221
55.69/55.78	c 39.8249 107.875 7337 2724326
55.69/55.78	o 220
55.79/55.81	c 39.8499 107.875 7339 2724789
55.79/55.81	o 219
55.79/55.85	c 39.8749 107.875 7342 2725276
55.79/55.85	o 217
55.90/55.90	c 39.9139 107.875 7349 2725870
55.90/55.90	o 216
55.90/55.94	c 39.9439 107.875 7351 2726420
55.90/55.94	o 215
55.90/55.97	c 39.9659 107.875 7353 2726933
55.90/55.97	o 214
56.00/56.00	c 39.9919 107.875 7355 2727402
56.00/56.00	o 213
56.00/56.04	c 40.0219 107.875 7356 2727962
56.00/56.04	o 211
56.00/56.08	c 40.0569 107.875 7359 2728310
56.00/56.08	o 210
56.10/56.11	c 40.0809 107.875 7359 2728751
56.10/56.11	o 208
56.10/56.14	c 40.1049 107.875 7359 2729099
56.10/56.14	o 207
56.10/56.17	c 40.1309 107.875 7360 2729425
56.10/56.17	o 206
56.20/56.20	c 40.1539 107.875 7361 2729757
56.20/56.20	o 205
56.20/56.23	c 40.1759 107.875 7361 2730053
56.20/56.23	o 204
56.20/56.26	c 40.1979 107.875 7363 2731116
56.20/56.26	o 198
56.20/56.30	c 40.2279 107.875 7369 2731608
56.20/56.30	o 197
56.29/56.33	c 40.2539 107.875 7374 2731853
56.29/56.33	o 196
56.29/56.36	c 40.2789 107.875 7379 2732263
56.29/56.36	o 195
56.39/56.40	c 40.3069 107.875 7387 2732578
56.39/56.40	o 194
56.39/56.45	c 40.3489 107.875 7398 2732837
56.39/56.45	o 193
56.39/56.48	c 40.3749 107.875 7406 2733075
56.39/56.48	o 192
56.49/56.51	c 40.4009 107.875 7406 2733385
56.49/56.51	o 191
56.49/56.54	c 40.4239 107.875 7409 2733613
56.49/56.54	o 190
56.49/56.57	c 40.4509 107.875 7418 2733888
56.49/56.57	o 189
56.59/56.61	c 40.4798 107.875 7424 2734189
56.59/56.61	o 188
56.59/56.68	c 40.5278 107.875 7451 2734438
56.59/56.68	o 187
56.69/56.78	c 40.6208 107.875 7523 2734746
56.69/56.78	o 186
56.79/56.81	c 40.6478 107.875 7530 2735118
56.79/56.81	o 185
56.79/56.86	c 40.6858 107.875 7550 2735499
56.79/56.86	o 184
56.79/56.89	c 40.7128 107.875 7552 2735888
56.79/56.89	o 182
56.89/56.93	c 40.7448 107.875 7563 2736244
56.89/56.93	o 181
56.89/56.98	c 40.7828 107.875 7568 2736578
56.89/56.98	o 180
56.99/57.01	c 40.8058 107.875 7569 2736819
56.99/57.01	o 179
56.99/57.05	c 40.8448 107.875 7603 2737232
56.99/57.05	o 178
57.50/57.55	c 41.2247 107.875 7953 2738497
57.50/57.55	o 177
57.50/57.59	c 41.2517 107.875 7955 2738814
57.50/57.59	o 176
57.59/57.63	c 41.2867 107.875 7976 2739231
57.59/57.63	o 175
57.59/57.66	c 41.3117 107.875 7978 2739531
57.59/57.66	o 174
57.69/57.70	c 41.3407 107.875 7981 2739882
57.69/57.70	o 173
57.69/57.74	c 41.3687 107.875 7987 2740412
57.69/57.74	o 172
57.69/57.77	c 41.3897 107.875 7987 2740730
57.69/57.77	o 171
57.80/57.80	c 41.4147 107.875 7988 2741077
57.80/57.80	o 170
57.80/57.83	c 41.4387 107.875 7990 2741460
57.80/57.83	o 169
57.80/57.86	c 41.4597 107.875 7990 2741809
57.80/57.86	o 168
57.80/57.89	c 41.4867 107.875 7993 2742120
57.80/57.89	o 167
57.89/57.92	c 41.5157 107.875 7994 2742581
57.89/57.92	o 165
57.89/57.95	c 41.5447 107.875 7996 2742935
57.89/57.95	o 164
57.89/57.99	c 41.5757 107.875 8000 2743371
57.89/57.99	o 162
57.99/58.04	c 41.6157 107.875 8012 2743735
57.99/58.04	o 161
57.99/58.09	c 41.6527 107.875 8032 2744079
57.99/58.09	o 160
58.10/58.12	c 41.6787 107.875 8037 2744516
58.10/58.12	o 158
58.10/58.20	c 41.7487 107.875 8056 2744960
58.10/58.20	o 156
58.19/58.28	c 41.8136 107.875 8068 2745512
58.19/58.28	o 155
58.29/58.35	c 41.8646 107.875 8077 2745947
58.29/58.35	o 154
58.29/58.38	c 41.8876 107.875 8082 2746230
58.29/58.38	o 153
58.39/58.44	c 41.9366 107.875 8107 2746569
58.39/58.44	o 152
58.39/58.48	c 41.9726 107.875 8133 2746895
58.39/58.48	o 151
58.49/58.52	c 42.0026 107.875 8136 2747132
58.49/58.52	o 150
58.49/58.56	c 42.0356 107.875 8153 2747439
58.49/58.56	o 149
58.59/58.63	c 42.0916 107.875 8173 2747711
58.59/58.63	o 148
58.69/58.73	c 42.1706 107.875 8210 2748122
58.69/58.73	o 147
58.69/58.77	c 42.2056 107.875 8218 2748519
58.69/58.77	o 146
58.79/58.84	c 42.2516 107.875 8226 2748888
58.79/58.84	o 145
58.79/58.87	c 42.2776 107.875 8228 2749254
58.79/58.87	o 143
58.89/58.91	c 42.3116 107.875 8237 2749710
58.89/58.91	o 142
58.89/58.94	c 42.3316 107.875 8237 2749986
58.89/58.94	o 141
58.89/58.97	c 42.3586 107.875 8237 2750258
58.89/58.97	o 140
59.00/59.00	c 42.3846 107.875 8237 2750526
59.00/59.00	o 139
59.00/59.03	c 42.4086 107.875 8238 2750886
59.00/59.03	o 137
59.00/59.06	c 42.4335 107.875 8241 2751151
59.00/59.06	o 136
59.09/59.12	c 42.4795 107.875 8262 2751570
59.09/59.12	o 135
59.19/59.30	c 42.6115 107.875 8335 2752508
59.19/59.30	o 134
59.30/59.33	c 42.6345 107.875 8335 2752870
59.30/59.33	o 132
59.30/59.35	c 42.6605 107.875 8336 2753149
59.30/59.35	o 131
59.30/59.38	c 42.6855 107.875 8336 2753505
59.30/59.38	o 129
59.40/59.41	c 42.7075 107.875 8336 2753858
59.40/59.41	o 127
59.40/59.44	c 42.7325 107.875 8336 2754194
59.40/59.44	o 125
59.40/59.47	c 42.7555 107.875 8336 2754538
59.40/59.47	o 123
59.49/59.50	c 42.7805 107.875 8336 2754796
59.49/59.50	o 122
59.49/59.53	c 42.8095 107.875 8338 2755128
59.49/59.53	o 121
59.60/59.64	c 42.9035 107.875 8475 2756231
59.60/59.64	o 119
59.60/59.68	c 42.9335 107.875 8487 2756513
59.60/59.68	o 118
59.69/59.72	c 42.9675 107.875 8493 2756904
59.69/59.72	o 117
59.69/59.75	c 42.9945 107.875 8495 2757159
59.69/59.75	o 116
59.69/59.79	c 43.0295 107.875 8509 2757591
59.69/59.79	o 115
59.80/59.83	c 43.0575 107.875 8515 2757859
59.80/59.83	o 114
59.80/59.87	c 43.0934 107.875 8528 2758182
59.80/59.87	o 113
59.89/59.92	c 43.1354 107.875 8558 2758489
59.89/59.92	o 112
59.89/59.95	c 43.1614 107.875 8561 2758826
59.89/59.95	o 111
59.89/59.99	c 43.1914 107.875 8562 2759180
59.89/59.99	o 109
59.99/60.02	c 43.2154 107.875 8562 2759411
59.99/60.02	o 108
59.99/60.06	c 43.2484 107.875 8569 2759709
59.99/60.06	o 107
59.99/60.09	c 43.2744 107.875 8570 2760009
59.99/60.09	o 105
60.10/60.12	c 43.2964 107.875 8570 2760264
60.10/60.12	o 104
60.40/60.40	c 43.5274 107.875 8635 2760577
60.40/60.40	o 103
60.40/60.44	c 43.5514 107.875 8636 2760809
60.40/60.44	o 102
60.40/60.47	c 43.5744 107.875 8637 2761023
60.40/60.47	o 101
60.40/60.49	c 43.5994 107.875 8638 2761263
60.40/60.49	o 100
60.50/60.52	c 43.6264 107.875 8640 2761511
60.50/60.52	o 99
60.50/60.55	c 43.6464 107.875 8640 2761761
60.50/60.55	o 98
60.50/60.58	c 43.6714 107.875 8641 2762037
60.50/60.58	o 97
60.60/60.61	c 43.6974 107.875 8642 2762311
60.60/60.61	o 96
60.60/60.64	c 43.7214 107.875 8643 2762570
60.60/60.64	o 95
60.60/60.67	c 43.7433 107.875 8644 2762802
60.60/60.67	o 94
60.69/60.70	c 43.7663 107.875 8644 2763016
60.69/60.70	o 93
60.69/60.73	c 43.7863 107.875 8644 2763234
60.69/60.73	o 92
60.69/60.75	c 43.8083 107.875 8644 2763481
60.69/60.75	o 91
60.69/60.78	c 43.8353 107.875 4849 2763712
60.69/60.78	o 90
60.79/60.81	c 43.8573 107.875 4849 2763928
60.79/60.81	o 89
61.09/61.14	c 44.1013 107.875 4638 2766810
61.09/61.14	o 88
61.09/61.17	c 44.1243 107.875 4639 2767137
61.09/61.17	o 87
61.09/61.19	c 44.1443 107.875 4644 2767408
61.09/61.19	o 86
61.19/61.23	c 44.1743 107.875 4646 2767743
61.19/61.23	o 85
61.19/61.26	c 44.1973 107.875 4647 2768143
61.19/61.26	o 83
61.19/61.28	c 44.2183 107.875 4649 2768486
61.19/61.28	o 82
61.29/61.32	c 44.2443 107.875 4650 2769017
61.29/61.32	o 80
61.29/61.34	c 44.2673 107.875 4243 2769413
61.29/61.34	o 78
61.29/61.37	c 44.2903 107.875 4243 2769782
61.29/61.37	o 76
61.40/61.40	c 44.3113 107.875 4243 2770061
61.40/61.40	o 75
61.40/61.42	c 44.3333 107.875 4243 2770365
61.40/61.42	o 74
61.40/61.45	c 44.3583 107.875 4244 2770691
61.40/61.45	o 73
61.40/61.48	c 44.3793 107.875 4244 2770998
61.40/61.48	o 72
61.49/61.51	c 44.4072 107.875 4246 2771433
61.49/61.51	o 71
61.49/61.54	c 44.4322 107.875 3960 2771761
61.49/61.54	o 70
61.49/61.56	c 44.4532 107.875 3960 2772030
61.49/61.56	o 69
61.49/61.58	c 44.4742 107.875 3961 2772301
61.49/61.58	o 68
61.60/61.61	c 44.4952 107.875 3961 2772575
61.60/61.61	o 67
61.60/61.63	c 44.5132 107.875 3962 2772956
61.60/61.63	o 65
61.60/61.66	c 44.5402 107.875 3964 2773341
61.60/61.66	o 64
61.60/61.69	c 44.5602 107.875 3964 2773789
61.60/61.69	o 63
61.69/61.71	c 44.5822 107.875 3908 2774134
61.69/61.71	o 62
61.69/61.74	c 44.6042 107.875 3908 2774602
61.69/61.74	o 60
61.69/61.76	c 44.6242 107.875 3908 2774945
61.69/61.76	o 59
61.69/61.78	c 44.6472 107.875 3909 2775293
61.69/61.78	o 58
61.79/61.84	c 44.6962 107.875 3928 2775794
61.79/61.84	o 57
61.79/61.87	c 44.7222 107.875 3934 2776098
61.79/61.87	o 56
61.89/61.90	c 44.7502 107.875 3902 2776423
61.89/61.90	o 55
61.89/61.94	c 44.7822 107.875 3918 2776891
61.89/61.94	o 54
61.89/61.99	c 44.8292 107.875 3936 2777448
61.89/61.99	o 52
62.00/62.02	c 44.8502 107.875 3938 2777703
62.00/62.02	o 51
62.00/62.04	c 44.8692 107.875 3939 2777943
62.00/62.04	o 50
62.00/62.06	c 44.8862 107.875 3807 2778175
62.00/62.06	o 49
62.00/62.08	c 44.9042 107.875 3808 2778419
62.00/62.08	o 48
62.09/62.11	c 44.9282 107.875 3812 2778704
62.09/62.11	o 47
62.09/62.13	c 44.9522 107.875 3813 2779090
62.09/62.13	o 46
62.09/62.16	c 44.9722 107.875 3815 2779364
62.09/62.16	o 45
62.09/62.19	c 45.0012 107.875 3823 2779747
62.09/62.19	o 44
62.19/62.25	c 45.0562 107.875 3845 2780115
62.19/62.25	o 43
62.29/62.30	c 45.1011 107.875 3871 2780836
62.29/62.30	o 42
62.29/62.35	c 45.1391 107.875 3886 2781449
62.29/62.35	o 41
62.39/62.40	c 45.1951 107.875 3939 2782024
62.39/62.40	o 40
62.39/62.43	c 45.2171 107.875 3917 2782361
62.39/62.43	o 39
62.39/62.47	c 45.2451 107.875 3924 2782688
62.39/62.47	o 38
62.39/62.49	c 45.2701 107.875 3931 2783289
62.39/62.49	o 37
62.49/62.51	c 45.2901 107.875 3935 2783575
62.49/62.51	o 36
62.49/62.53	c 45.3081 107.875 3936 2783904
62.49/62.53	o 34
62.49/62.55	c 45.3261 107.875 3936 2784117
62.49/62.55	o 33
62.49/62.57	c 45.3461 107.875 3943 2784423
62.49/62.57	o 32
62.49/62.60	c 45.3661 107.875 3887 2784718
62.49/62.60	o 31
62.60/62.63	c 45.3941 107.875 3902 2785178
62.60/62.63	o 29
62.60/62.66	c 45.4211 107.875 3910 2785478
62.60/62.66	o 28
62.70/62.72	c 45.4811 107.875 3992 2785881
62.70/62.72	o 27
62.70/62.76	c 45.5201 107.875 4000 2786187
62.70/62.76	o 26
62.70/62.78	c 45.5371 107.875 4003 2786390
62.70/62.78	o 25
62.80/62.80	c 45.5531 107.875 4004 2786695
62.80/62.80	o 23
62.80/62.82	c 45.5701 107.875 4006 2786900
62.80/62.82	o 22
62.80/62.84	c 45.5891 107.875 4010 2787151
62.80/62.84	o 21
62.80/62.86	c 45.6071 107.875 4013 2787437
62.80/62.86	o 20
62.80/62.87	c 45.6231 107.875 4016 2787652
62.80/62.87	o 19
62.80/62.89	c 45.6421 107.875 3998 2787874
62.80/62.89	o 18
62.89/62.91	c 45.6581 107.875 3999 2788188
62.89/62.91	o 16
62.89/62.93	c 45.6781 107.875 4007 2788454
62.89/62.93	o 15
62.89/62.98	c 45.722 107.875 4056 2788809
62.89/62.98	o 13
62.99/63.01	c 45.748 107.875 4073 2789048
62.99/63.01	o 12
62.99/63.03	c 45.764 107.875 4006 2789251
62.99/63.03	o 11
62.99/63.08	c 45.812 107.875 4117 2789940
62.99/63.08	o 10
62.99/63.09	c 45.827 107.875 4117 2790133
62.99/63.09	o 9
63.10/63.11	c 45.842 107.875 4118 2790334
63.10/63.11	o 8
63.10/63.15	c 45.881 107.875 4164 2790742
63.10/63.15	o 7
63.19/63.21	c 45.936 107.875 4212 2791288
63.19/63.21	o 6
63.30/63.31	c 46.031 107.875 4353 2792041
63.30/63.31	o 5
63.30/63.32	c 46.047 107.875 4359 2792262
63.30/63.32	o 4
63.30/63.34	c 46.068 107.875 4372 2792615
63.30/63.34	o 3
63.30/63.36	c 46.081 107.875 4373 2792812
63.30/63.36	o 2
63.30/63.38	c 46.098 107.875 4383 2793141
63.30/63.38	o 1
70.00/70.01	c 52.618 110.617 18668 2832094
70.00/70.01	s OPTIMUM FOUND
70.00/70.01	v x1 x2 x3 x4 -x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 x15 x16 -x17 -x18 -x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 x38 x39 x40 x41 -x42 x43 x44 x45 x46 -x47 x48 -x49 x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 x71 -x72 -x73 x74 x75 x76 -x77 -x78 -x79 -x80 x81 x82 x83 x84 x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 x141 -x142 -x143 x144 x145 x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 x169 x170 x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 x227 x228 x229 x230 -x231 -x232 x233 x234 x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 x246 x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 -x303 x304 -x305 x306 -x307 -x308 x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 x328 x329 x330 -x331 -x332 x333 x334 x335 -x336 -x337 x338 x339 x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 x377 -x378 x379 -x380 -x381 x382 -x383 x384 -x385 -x386 x387 -x388 x389 -x390 -x391 x392 -x393 x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 x416 x417 -x418 x419 -x420 -x421 x422 -x423 x424 -x425 -x426 x427 x428 x429 -x430 -x431 -x432 x433 -x434 x435 x436 x437 x438 x439 x440 -x441 -x442 x443 x444 x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 x455 x456 x457 x458 -x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 x515 x516 x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 -x587 -x588 x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 x637 x638 x639 -x640 -x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 x688 x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 x714 x715 x716 x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 x812 x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 x856 -x857 -x858 x859 -x860 x861 -x862 -x863 x864 -x865 x866 -x867 x868 -x869 -x870 x871 -x872 x873 -x874 -x875 x876 -x877 -x878 x879 -x880 x881 -x882 x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 -x919 x920 -x921 x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 x954 -x955 x956 -x957 -x958 x959 -x960 x961 -x962 -x963 x964 -x965 x966 -x967 -x968 x969 -x970 x971 -x972 x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 x1148 x1149 x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 x1639 x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 -x1741 -x1742 -x1743 x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 x1842 x1843 -x1844 -x1845 -x1846 x1847 x1848 x1849 x1850 x1851 x1852 x1853 x1854 x1855 x1856 x1857 x1858 x1859 x1860 x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 x1873 -x1874 x1875 -x1876 x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 x1908 x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 -x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 x2357 -x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 x2487 x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 x2544 x2545 x2546 x2547 x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 x2580 x2581 x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 x2794 x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 x3439 x3440 x3441 x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 x3478 x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 -x3512 -x3513 -x3514 -x3515 x3516 x3517 -x3518 -x3519 -x3520 -x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 x3536 x3537 x3538 -x3539 -x3540 -x3541 x3542 -x3543 x3544 x3545 x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 x3564 x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 x3598 x3599 x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 x3629 x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 x3643 x3644 x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 x3662 x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 x3686 x3687 x3688 x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 x3723 -x3724 -x3725 x3726 -x3727 x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 x3741 x3742 x3743 x3744 x3745 x3746 x3747 x3748 x3749 x3750 x3751 -x3752 x3753 x3754 x3755 x3756 x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 x3771 x3772 x3773 x3774 x3775 x3776 x3777 x3778 x3779 -x3780 -x3781 -x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 x4195 x4196 -x4197 -x4198 -x4199 x4200 x4201 x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 x4279 x4280 -x4281 -x4282 -x4283 x4284 x4285 x4286 x4287 x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 x4447 x4448 x4449 -x4450 -x4451 x4452 x4453 x4454 -x4455 -x4456 x4457 x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 x4483 x4484 x4485 -x4486 -x4487 x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 x4497 x4498 x4499 x4500 -x4501 x4502 x4503 x4504 x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 x4514 -x4515 -x4516 x4517 x4518 x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 x4558 x4559 -x4560 x4561 x4562 x4563 x4564 -x4565 x4566 x4567 x4568 x4569 x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 -x4578 -x4579 x4580 x4581 x4582 x4583 x4584 x4585 -x4586 x4587 -x4588 -x4589 x4590 x4591 -x4592 -x4593 -x4594 -x4595 x4596 x4597 -x4598 x4599 x4600 x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 x4609 x4610 -x4611 x4612 x4613 x4614 -x4615 x4616 x4617 x4618 x4619 -x4620 -x4621 -x4622

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698854-1278461670/watcher-2698854-1278461670 -o /tmp/evaluation-result-2698854-1278461670/solver-2698854-1278461670 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698854-1278461670.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12699
/proc/meminfo: memFree=30025244/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=2136 CPUtime=0
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14379820 2187264 175 4089446400 134512640 136422188 4292648352 18446744073709551615 135160473 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12699/statm: 534 175 144 467 0 65 0

[startup+0.0269211 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12699
/proc/meminfo: memFree=30025244/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=2400 CPUtime=0.02
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 306 0 0 0 2 0 0 0 25 0 1 0 14379820 2457600 226 4089446400 134512640 136422188 4292648352 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12699/statm: 600 226 144 467 0 131 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2400

[startup+0.100411 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12699
/proc/meminfo: memFree=30025244/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=11864 CPUtime=0.09
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 2661 0 0 0 9 0 0 0 25 0 1 0 14379820 12148736 2581 4089446400 134512640 136422188 4292648352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 2966 2586 187 467 0 2497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11864

[startup+0.300386 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12699
/proc/meminfo: memFree=30025244/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=59120 CPUtime=0.29
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 15121 0 0 0 28 1 0 0 25 0 1 0 14379820 60538880 14340 4089446400 134512640 136422188 4292648352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 14780 14341 193 467 0 14311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59120

[startup+0.700317 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12699
/proc/meminfo: memFree=30025244/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=105000 CPUtime=0.69
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 26951 0 0 0 67 2 0 0 25 0 1 0 14379820 107520000 25095 4089446400 134512640 136422188 4292648352 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 26250 25095 207 467 0 25781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105000

[startup+1.50018 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12701
/proc/meminfo: memFree=29923556/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=106908 CPUtime=1.49
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 27395 0 0 0 115 34 0 0 25 0 1 0 14379820 109473792 25539 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 26727 25539 214 467 0 26258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106908

[startup+3.1009 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12701
/proc/meminfo: memFree=29922192/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=108472 CPUtime=3.09
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 27867 0 0 0 222 87 0 0 25 0 1 0 14379820 111075328 25675 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27118 25675 237 467 0 26649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108472

[startup+6.30031 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12701
/proc/meminfo: memFree=29922512/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=108736 CPUtime=6.29
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 27965 0 0 0 438 191 0 0 25 0 1 0 14379820 111345664 25756 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27184 25756 237 467 0 26715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108736

[startup+12.7002 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12701
/proc/meminfo: memFree=29922632/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=109140 CPUtime=12.69
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 28105 0 0 0 878 391 0 0 25 0 1 0 14379820 111759360 25852 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27285 25852 237 467 0 26816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109140

[startup+25.5009 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29922584/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=109800 CPUtime=25.49
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 28372 0 0 0 1767 782 0 0 25 0 1 0 14379820 112435200 26010 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27450 26010 237 467 0 26981 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109800

[startup+51.1004 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29921684/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=110460 CPUtime=51.1
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 28908 0 0 0 3611 1499 0 0 25 0 1 0 14379820 113111040 26211 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27615 26211 237 467 0 27146 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 110460

Solver just ended. Dumping a history of the last processes samples

[startup+63.9001 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29921540/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=110460 CPUtime=63.89
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29211 0 0 0 4660 1729 0 0 25 0 1 0 14379820 113111040 26224 4089446400 134512640 136422188 4292648352 18446744073709551615 135025984 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27615 26224 237 467 0 27146 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 110460

[startup+67.1056 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29920788/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=111516 CPUtime=67.1
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29464 0 0 0 4976 1734 0 0 25 0 1 0 14379820 114192384 26477 4089446400 134512640 136422188 4292648352 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 27879 26477 237 467 0 27410 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 111516

[startup+68.7003 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29920168/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=112476 CPUtime=68.69
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29693 0 0 0 5131 1738 0 0 25 0 1 0 14379820 115175424 26706 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 28119 26706 237 467 0 27650 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 112476

[startup+69.5002 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29919548/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=112872 CPUtime=69.49
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29814 0 0 0 5210 1739 0 0 25 0 1 0 14379820 115580928 26827 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 28218 26827 237 467 0 27749 0
Current children cumulated CPU time (s) 69.49
Current children cumulated vsize (KiB) 112872

[startup+69.9011 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29919548/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=113136 CPUtime=69.9
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29874 0 0 0 5250 1740 0 0 25 0 1 0 14379820 115851264 26887 4089446400 134512640 136422188 4292648352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 28284 26887 237 467 0 27815 0
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (KiB) 113136

[startup+70.1011 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29919548/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=103704 CPUtime=70.09
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29891 0 0 0 5269 1740 0 0 25 0 1 0 14379820 106192896 25074 4089446400 134512640 136422188 4292648352 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 25926 25074 240 467 0 25457 0
Current children cumulated CPU time (s) 70.09
Current children cumulated vsize (KiB) 103704

[startup+70.201 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12702
/proc/meminfo: memFree=29919548/32951124 swapFree=67111528/67111528
[pid=12699] ppid=12697 vsize=97840 CPUtime=70.19
/proc/12699/stat : 12699 (pbct) R 12697 12699 12183 0 -1 4202496 29891 0 0 0 5279 1740 0 0 25 0 1 0 14379820 100188160 24127 4089446400 134512640 136422188 4292648352 18446744073709551615 135801488 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12699/statm: 24460 24127 240 467 0 23991 0
Current children cumulated CPU time (s) 70.19
Current children cumulated vsize (KiB) 97840

Child status: 0
Real time (s): 70.2052
CPU time (s): 70.2073
CPU user time (s): 52.799
CPU system time (s): 17.4084
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 113268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.799
system time used= 17.4084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 122

runsolver used 0.114982 second user time and 0.286956 second system time

The end

Launcher Data 

Begin job on node140 at 2010-07-07 02:14:30
IDJOB=2698854
IDBENCH=79025
IDSOLVER=1212
FILE ID=node140/2698854-1278461670
PBS_JOBID= 11233713
Free space on /tmp= 73856 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698854-1278461670/watcher-2698854-1278461670 -o /tmp/evaluation-result-2698854-1278461670/solver-2698854-1278461670 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698854-1278461670.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=145763372

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5261.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30025896 kB
Buffers:        101312 kB
Cached:        2606680 kB
SwapCached:          0 kB
Active:         840828 kB
Inactive:      1948284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30025896 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2472 kB
Writeback:           0 kB
AnonPages:       80800 kB
Mapped:          15616 kB
Slab:            72476 kB
PageTables:       5016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   222400 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node140 at 2010-07-07 02:15:40