Trace number 2699145

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 92.5879 92.5849

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo
MD5SUMa305848cf761b3c7939395660924f4d7
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark0.174973
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3939
Total number of constraints10412
Number of soft constraints10412
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 524426
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 524425
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
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.04/0.06	c constraints 0/672 clauses 0/9740 units 0
0.04/0.06	c vars 3939
1.59/1.62	c 1.3268 106.059 285 439249
1.59/1.62	o 7970
2.09/2.13	c 1.65475 107.484 528 714316
2.09/2.13	o 6003
2.39/2.46	c 1.88371 107.484 651 797310
2.39/2.46	o 5225
2.89/2.95	c 2.21966 107.613 871 876961
2.89/2.95	o 5061
2.99/3.03	c 2.27365 107.613 914 909385
2.99/3.03	o 4295
3.79/3.89	c 2.84957 107.871 1356 971873
3.79/3.89	o 4200
3.99/4.01	c 2.91856 107.871 1385 1024786
3.99/4.01	o 4164
4.09/4.14	c 3.00954 107.871 1435 1042444
4.09/4.14	o 4089
4.29/4.40	c 3.19651 107.871 1516 1104269
4.39/4.40	o 4086
4.39/4.46	c 3.23351 107.871 1544 1129800
4.39/4.46	o 3818
4.49/4.51	c 3.2765 107.871 1571 1151423
4.49/4.51	o 3793
4.79/4.82	c 3.48247 107.871 1705 1200182
4.79/4.82	o 3449
4.89/4.97	c 3.58845 107.871 1778 1235539
4.89/4.97	o 3013
5.00/5.02	c 3.62645 107.871 1795 1252793
5.00/5.02	o 2998
5.09/5.19	c 3.73643 108 1865 1260292
5.09/5.19	o 2997
5.29/5.33	c 3.81342 108 1905 1266320
5.29/5.33	o 2995
5.29/5.38	c 3.83942 108 1913 1289015
5.29/5.38	o 2710
5.40/5.42	c 3.86441 108 1927 1303823
5.40/5.42	o 1895
5.59/5.68	c 3.99839 108 1975 1306852
5.59/5.68	o 1894
6.19/6.26	c 4.26435 108 2092 1326634
6.19/6.26	o 1893
7.20/7.26	c 4.94325 108 2346 1360457
7.20/7.26	o 1892
7.40/7.44	c 5.06623 108.129 2400 1393137
7.40/7.44	o 1886
7.40/7.49	c 5.10222 108.129 2406 1406531
7.40/7.49	o 1883
7.89/7.95	c 5.39318 108.129 2529 1423273
7.89/7.95	o 1877
7.99/8.00	c 5.43217 108.129 2537 1436326
7.99/8.00	o 1874
7.99/8.04	c 5.46217 108.129 2539 1451923
7.99/8.04	o 1451
7.99/8.08	c 5.49516 108.129 2543 1462218
7.99/8.08	o 1450
8.09/8.12	c 5.53016 108.129 2548 1471854
8.09/8.12	o 1428
8.19/8.22	c 5.60315 108.129 2569 1487194
8.19/8.22	o 1427
8.29/8.37	c 5.70213 108.129 2603 1496756
8.29/8.37	o 1426
8.39/8.40	c 5.73113 108.129 2610 1503628
8.39/8.40	o 1422
8.59/8.67	c 5.9111 108.129 2661 1507963
8.59/8.67	o 1418
8.69/8.75	c 5.97209 108.129 2701 1517199
8.69/8.75	o 1416
8.90/8.94	c 6.10307 108.129 2746 1518755
8.90/8.94	o 1415
9.09/9.10	c 6.19806 108.129 2791 1520317
9.09/9.10	o 1414
9.09/9.15	c 6.23705 108.129 2804 1535202
9.09/9.15	o 1413
9.19/9.23	c 6.29404 108.129 2819 1547526
9.19/9.23	o 1408
9.30/9.30	c 6.34204 108.129 2830 1566767
9.30/9.30	o 1401
9.30/9.34	c 6.38103 108.129 2840 1577949
9.30/9.34	o 1398
9.30/9.38	c 6.40803 108.129 2849 1591390
9.30/9.38	o 1244
9.39/9.47	c 6.46602 108.129 2866 1593364
9.39/9.47	o 1243
9.49/9.56	c 6.53401 108.129 2887 1599804
9.49/9.56	o 1233
9.60/9.60	c 6.563 108.129 2890 1608299
9.60/9.60	o 1224
9.60/9.65	c 6.604 108.129 2893 1612847
9.60/9.65	o 1209
9.69/9.72	c 6.66299 108.129 2906 1622688
9.69/9.72	o 1205
9.69/9.76	c 6.69398 108.129 2909 1627508
9.69/9.76	o 1204
9.69/9.80	c 6.72398 108.129 2915 1635650
9.69/9.80	o 1198
10.29/10.34	c 7.09192 108.129 3028 1639038
10.29/10.34	o 1196
10.39/10.43	c 7.15091 108.129 3056 1644465
10.39/10.43	o 1190
10.49/10.56	c 7.2409 108.258 3083 1646021
10.49/10.56	o 1189
10.69/10.74	c 7.35988 108.258 3119 1651051
10.69/10.74	o 1188
11.19/11.21	c 7.67283 108.258 3260 1655514
11.19/11.21	o 1187
11.19/11.28	c 7.72183 108.258 3269 1658327
11.19/11.28	o 1186
11.99/12.07	c 8.22475 108.258 3496 1661781
11.99/12.07	o 1185
12.19/12.30	c 8.32673 108.258 3534 1663526
12.19/12.30	o 1184
12.89/12.90	c 8.59569 108.258 3654 1667940
12.89/12.90	o 1183
12.89/12.98	c 8.65868 108.258 3673 1675488
12.89/12.98	o 1182
13.59/13.63	c 9.08662 108.387 3791 1682244
13.59/13.63	o 1178
13.69/13.72	c 9.14461 108.387 3807 1686716
13.69/13.72	o 1176
15.10/15.11	c 10.0095 108.387 4090 1695861
15.10/15.11	o 1173
15.10/15.16	c 10.0455 108.387 4101 1697905
15.10/15.16	o 1169
15.19/15.24	c 10.1075 108.387 4119 1699610
15.19/15.24	o 1167
15.30/15.32	c 10.1625 108.387 4140 1702502
15.30/15.32	o 1166
15.40/15.44	c 10.2434 108.387 4161 1706890
15.40/15.44	o 1165
16.19/16.22	c 10.7484 108.387 4344 1711393
16.19/16.22	o 1164
16.19/16.28	c 10.7914 108.387 4360 1713285
16.19/16.28	o 1163
16.39/16.44	c 10.9063 108.387 4392 1714875
16.39/16.44	o 1162
16.90/16.99	c 11.2643 108.387 4497 1718240
16.90/16.99	o 1156
17.09/17.16	c 11.3813 108.387 4531 1720302
17.09/17.16	o 1155
17.19/17.21	c 11.4143 108.387 4536 1722557
17.19/17.21	o 1154
17.29/17.36	c 11.5043 108.516 4559 1723352
17.29/17.36	o 1153
17.39/17.42	c 11.5492 108.516 4575 1726172
17.39/17.42	o 1151
17.39/17.49	c 11.5942 108.516 4591 1727111
17.39/17.49	o 1150
17.50/17.54	c 11.6262 108.516 4598 1729131
17.50/17.54	o 1148
17.50/17.57	c 11.6562 108.516 4602 1730638
17.50/17.57	o 1147
17.70/17.76	c 11.7842 108.516 4641 1740321
17.70/17.76	o 1146
17.80/17.84	c 11.8482 108.516 4663 1742477
17.80/17.84	o 1145
18.09/18.14	c 12.0392 108.516 4727 1745676
18.09/18.14	o 1144
18.19/18.27	c 12.1152 108.516 4757 1751195
18.19/18.27	o 1142
18.39/18.41	c 12.2091 108.516 4780 1753474
18.39/18.41	o 1141
18.39/18.45	c 12.2311 108.516 4782 1754227
18.39/18.45	o 1140
18.39/18.48	c 12.2561 108.516 4788 1757863
18.39/18.48	o 1130
18.49/18.53	c 12.2821 108.516 4797 1762325
18.49/18.53	o 1126
18.49/18.56	c 12.3011 108.516 4800 1763112
18.49/18.56	o 1125
18.59/18.61	c 12.3241 108.516 4808 1768007
18.59/18.61	o 1122
18.59/18.65	c 12.3451 108.516 4811 1769478
18.59/18.65	o 1121
18.69/18.71	c 12.3771 108.516 4817 1772849
18.69/18.71	o 1120
18.69/18.75	c 12.4031 108.516 4825 1775187
18.69/18.75	o 1119
18.79/18.80	c 12.4221 108.516 4836 1778028
18.79/18.80	o 1118
19.20/19.29	c 12.6141 108.516 4954 1781600
19.20/19.29	o 1117
19.29/19.33	c 12.6491 108.516 4964 1783198
19.29/19.33	o 1116
19.29/19.39	c 12.6801 108.516 4976 1784445
19.29/19.39	o 1115
19.39/19.42	c 12.7091 108.516 4983 1787420
19.39/19.42	o 1113
19.39/19.46	c 12.7461 108.516 4985 1791481
19.39/19.46	o 1111
19.49/19.51	c 12.7791 108.516 4989 1795788
19.49/19.51	o 1108
19.49/19.55	c 12.8091 108.516 4996 1800188
19.49/19.55	o 1106
19.59/19.60	c 12.844 108.516 5007 1803538
19.59/19.60	o 1105
20.09/20.15	c 13.229 108.516 5098 1805524
20.09/20.15	o 1103
20.19/20.20	c 13.269 108.516 5105 1807238
20.19/20.20	o 1102
20.19/20.24	c 13.308 108.516 5115 1810074
20.19/20.24	o 1101
20.19/20.28	c 13.339 108.516 5125 1814949
20.19/20.28	o 1098
20.29/20.34	c 13.377 108.516 5131 1821162
20.29/20.34	o 1083
20.29/20.37	c 13.403 108.516 5134 1824062
20.29/20.37	o 1080
20.39/20.41	c 13.432 108.516 5145 1827090
20.39/20.41	o 1076
20.39/20.45	c 13.468 108.516 5154 1829995
20.39/20.45	o 1074
20.59/20.65	c 13.5839 108.516 5182 1831149
20.59/20.65	o 1073
20.59/20.68	c 13.6139 108.516 5183 1834603
20.59/20.68	o 1068
20.69/20.72	c 13.6439 108.516 5187 1838136
20.69/20.72	o 1067
20.69/20.75	c 13.6699 108.645 5190 1840767
20.69/20.75	o 1064
20.80/20.83	c 13.7249 108.645 5207 1844002
20.80/20.83	o 1062
20.80/20.88	c 13.7629 108.645 5213 1848626
20.80/20.88	o 1061
20.89/20.92	c 13.7929 108.645 5225 1850125
20.89/20.92	o 1059
20.89/20.96	c 13.8239 108.645 5227 1851898
20.89/20.96	o 1054
20.99/21.01	c 13.8589 108.645 5232 1853179
20.99/21.01	o 1052
21.09/21.12	c 13.9359 108.645 5248 1854990
21.09/21.12	o 1048
21.09/21.16	c 13.9689 108.645 5255 1858016
21.09/21.16	o 1047
21.19/21.24	c 14.0169 108.645 5265 1861317
21.19/21.24	o 1043
21.29/21.36	c 14.1039 108.645 5281 1862861
21.29/21.36	o 1042
21.40/21.42	c 14.1478 108.645 5286 1865034
21.40/21.42	o 1041
21.69/21.77	c 14.3678 108.645 5379 1867127
21.69/21.77	o 1040
21.79/21.81	c 14.4008 108.645 5380 1872974
21.79/21.81	o 1026
21.79/21.85	c 14.4298 108.645 5384 1876045
21.79/21.85	o 1022
21.79/21.89	c 14.4518 108.645 5389 1877585
21.79/21.89	o 1016
21.90/21.93	c 14.4858 108.645 5393 1881595
21.90/21.93	o 997
21.90/21.98	c 14.5268 108.645 5409 1885446
21.90/21.98	o 996
22.39/22.46	c 14.8407 108.645 5534 1889366
22.39/22.46	o 992
22.49/22.50	c 14.8687 108.645 5542 1890085
22.49/22.50	o 991
22.49/22.55	c 14.9057 108.645 5557 1892101
22.49/22.55	o 990
23.49/23.53	c 15.5116 108.645 5726 1893404
23.49/23.53	o 989
23.59/23.62	c 15.5706 108.645 5738 1894603
23.59/23.62	o 987
23.59/23.65	c 15.5936 108.645 5744 1896539
23.59/23.65	o 986
23.69/23.72	c 15.6476 108.645 5784 1900499
23.69/23.72	o 983
23.79/23.82	c 15.7176 108.645 5822 1902202
23.79/23.82	o 982
23.89/23.94	c 15.8126 108.645 5849 1904291
23.89/23.94	o 981
23.89/23.98	c 15.8396 108.645 5849 1905745
23.89/23.98	o 976
23.99/24.03	c 15.8816 108.645 5855 1906957
23.99/24.03	o 975
23.99/24.07	c 15.9106 108.645 5860 1908265
23.99/24.07	o 973
24.09/24.13	c 15.9526 108.645 5872 1909901
24.09/24.13	o 972
24.50/24.58	c 16.2265 108.773 5941 1911050
24.50/24.58	o 971
24.60/24.63	c 16.2625 108.773 5946 1917874
24.60/24.63	o 962
24.60/24.69	c 16.3045 108.773 5952 1927536
24.60/24.69	o 960
24.69/24.72	c 16.3285 108.773 5953 1931743
24.69/24.72	o 953
24.69/24.76	c 16.3535 108.773 5958 1935901
24.69/24.76	o 948
24.79/24.80	c 16.3865 108.773 5967 1938504
24.79/24.80	o 947
24.79/24.84	c 16.4225 108.773 5976 1939690
24.79/24.84	o 946
24.89/24.93	c 16.4825 108.773 5989 1943586
24.89/24.93	o 945
24.99/25.02	c 16.5215 108.773 6001 1944788
24.99/25.02	o 942
24.99/25.08	c 16.5555 108.773 6010 1946150
24.99/25.08	o 941
25.49/25.55	c 16.7355 108.773 6122 1948563
25.49/25.56	o 939
25.59/25.64	c 16.7824 108.773 6130 1950198
25.59/25.64	o 937
25.59/25.68	c 16.8054 108.773 6133 1952147
25.59/25.68	o 934
25.69/25.75	c 16.8454 108.773 6144 1956555
25.69/25.75	o 932
25.79/25.82	c 16.8934 108.773 6156 1961392
25.79/25.82	o 931
25.79/25.86	c 16.9204 108.773 6158 1962433
25.79/25.86	o 930
25.89/25.92	c 16.9654 108.773 6174 1964688
25.89/25.92	o 929
25.89/25.99	c 17.0064 108.773 6184 1966450
25.89/25.99	o 928
25.99/26.02	c 17.0344 108.773 6187 1967761
25.99/26.02	o 926
25.99/26.09	c 17.0864 108.773 6197 1973932
25.99/26.09	o 922
26.09/26.16	c 17.1354 108.773 6209 1977914
26.09/26.16	o 919
26.20/26.21	c 17.1774 108.773 6220 1980973
26.20/26.21	o 915
26.30/26.32	c 17.2534 108.773 6242 1983866
26.30/26.32	o 912
26.39/26.45	c 17.3424 108.773 6268 1990072
26.39/26.45	o 906
26.60/26.61	c 17.4633 108.773 6288 1992286
26.60/26.61	o 905
26.69/26.72	c 17.5423 108.773 6317 1993080
26.69/26.72	o 904
26.69/26.79	c 17.5963 108.773 6327 1993885
26.69/26.79	o 903
26.79/26.83	c 17.6283 108.773 6332 1996041
26.79/26.83	o 902
26.79/26.87	c 17.6603 108.773 6339 1999725
26.79/26.87	o 901
26.99/27.01	c 17.7543 108.773 6363 2000640
26.99/27.01	o 900
26.99/27.07	c 17.7983 108.773 6373 2001495
26.99/27.07	o 898
29.09/29.18	c 19.1201 108.902 6945 2006050
29.09/29.18	o 897
29.19/29.22	c 19.1531 108.902 6949 2007311
29.19/29.22	o 896
29.30/29.37	c 19.2541 108.902 6970 2008369
29.30/29.37	o 895
29.39/29.40	c 19.2841 108.902 6975 2009868
29.39/29.40	o 890
29.99/30.00	c 19.684 108.902 7066 2011047
29.99/30.00	o 889
30.09/30.11	c 19.76 108.902 7092 2012530
30.09/30.11	o 887
34.29/34.35	c 22.3696 109.031 7952 2016219
34.29/34.35	o 885
34.69/34.71	c 22.5926 109.031 8027 2017042
34.69/34.71	o 884
36.20/36.21	c 23.5824 109.031 8391 2020569
36.20/36.21	o 882
36.20/36.26	c 23.6164 109.031 8396 2021780
36.20/36.26	o 880
36.59/36.60	c 23.8594 109.16 8478 2022987
36.59/36.60	o 879
36.79/36.81	c 23.9974 109.16 8530 2024344
36.79/36.81	o 878
36.79/36.86	c 24.0343 109.16 8535 2026065
36.79/36.86	o 875
36.99/37.01	c 24.1313 109.16 8564 2027201
36.99/37.01	o 874
37.09/37.17	c 24.2463 109.16 8601 2028470
37.09/37.17	o 873
37.19/37.22	c 24.2873 109.16 8613 2029967
37.19/37.22	o 872
37.19/37.28	c 24.3263 109.16 8622 2032292
37.19/37.28	o 869
37.30/37.35	c 24.3693 109.16 8640 2033190
37.30/37.35	o 868
37.30/37.39	c 24.4043 109.16 8649 2034587
37.30/37.39	o 867
37.39/37.46	c 24.4473 109.16 8671 2035582
37.39/37.46	o 864
37.49/37.53	c 24.5023 109.16 8690 2037559
37.49/37.53	o 863
37.60/37.61	c 24.5493 109.16 8706 2041241
37.60/37.61	o 862
37.60/37.67	c 24.5943 109.16 8720 2043773
37.60/37.67	o 861
37.69/37.72	c 24.6283 109.16 8730 2044252
37.69/37.72	o 860
37.69/37.75	c 24.6553 109.16 8752 2046147
37.69/37.75	o 859
37.69/37.79	c 24.6822 109.16 8759 2047694
37.69/37.79	o 858
37.79/37.84	c 24.7182 109.16 8772 2049582
37.79/37.84	o 857
37.79/37.87	c 24.7382 109.16 8779 2051406
37.79/37.87	o 856
37.89/37.93	c 24.7862 109.16 8795 2057940
37.89/37.93	o 855
37.89/37.98	c 24.8212 109.16 8805 2061214
37.89/37.98	o 854
38.19/38.20	c 24.9272 109.16 8840 2064420
38.19/38.20	o 852
38.29/38.33	c 24.9872 109.16 8866 2065451
38.29/38.33	o 851
38.40/38.43	c 25.0352 109.16 8883 2067044
38.40/38.43	o 848
38.40/38.46	c 25.0572 109.16 8889 2067740
38.40/38.46	o 847
38.50/38.53	c 25.0872 109.16 8898 2068957
38.50/38.53	o 845
38.50/38.59	c 25.1162 109.16 8906 2070514
38.50/38.59	o 844
38.60/38.67	c 25.1562 109.16 8922 2077440
38.60/38.67	o 839
38.69/38.71	c 25.1842 109.16 8929 2079857
38.69/38.71	o 838
38.79/38.81	c 25.2392 109.16 8949 2082298
38.79/38.81	o 836
38.89/38.92	c 25.3032 109.16 8968 2083625
38.89/38.92	o 832
38.89/38.99	c 25.3521 109.16 8988 2084696
38.89/38.99	o 831
38.99/39.09	c 25.4081 109.16 9009 2085587
38.99/39.09	o 830
39.19/39.21	c 25.5021 109.16 9040 2086552
39.19/39.21	o 829
39.29/39.32	c 25.5611 109.16 9063 2087211
39.29/39.32	o 828
39.39/39.48	c 25.6851 109.16 9119 2088413
39.39/39.48	o 825
39.79/39.84	c 25.9191 109.289 9227 2090784
39.79/39.84	o 823
39.89/39.95	c 26.003 109.289 9248 2093304
39.89/39.95	o 822
40.09/40.14	c 26.126 109.289 9288 2096412
40.09/40.14	o 821
40.19/40.20	c 26.166 109.289 9301 2098101
40.19/40.20	o 820
40.29/40.30	c 26.24 109.289 9329 2100568
40.29/40.30	o 818
40.29/40.39	c 26.303 109.289 9355 2101975
40.29/40.39	o 817
40.39/40.49	c 26.37 109.289 9375 2103700
40.39/40.49	o 816
40.49/40.53	c 26.406 109.289 9380 2105400
40.49/40.53	o 813
40.49/40.59	c 26.441 109.289 4697 2107537
40.49/40.59	o 812
40.69/40.70	c 26.519 109.289 4723 2110058
40.69/40.70	o 811
40.69/40.74	c 26.552 109.289 4729 2111727
40.69/40.74	o 810
40.79/40.82	c 26.612 109.289 4749 2113201
40.79/40.82	o 809
40.89/40.97	c 26.7089 109.289 4784 2117696
40.89/40.97	o 808
41.00/41.01	c 26.7409 109.289 4791 2119644
41.00/41.01	o 803
41.00/41.09	c 26.8049 109.289 4813 2122171
41.00/41.09	o 802
41.09/41.19	c 26.8819 109.289 4836 2125495
41.09/41.19	o 801
41.19/41.24	c 26.9209 109.289 4845 2126076
41.19/41.24	o 800
41.40/41.46	c 27.0559 109.289 4885 2127196
41.40/41.46	o 799
41.49/41.55	c 27.1169 109.289 4895 2128295
41.49/41.55	o 798
41.49/41.58	c 27.1449 109.289 4907 2129614
41.49/41.58	o 795
41.70/41.76	c 27.2699 109.289 4946 2131323
41.70/41.76	o 794
41.80/41.82	c 27.3198 109.289 4956 2132209
41.80/41.82	o 793
41.89/41.95	c 27.4038 109.289 4992 2133057
41.89/41.95	o 792
42.09/42.12	c 27.5228 109.289 5026 2133956
42.09/42.12	o 791
42.19/42.20	c 27.5778 109.289 5044 2134925
42.19/42.20	o 790
42.19/42.29	c 27.6448 109.289 5062 2136644
42.19/42.29	o 789
42.29/42.35	c 27.6778 109.289 5092 2138655
42.29/42.35	o 788
42.29/42.39	c 27.7108 109.289 5104 2140680
42.29/42.39	o 787
42.39/42.44	c 27.7508 109.289 5111 2142566
42.39/42.44	o 784
42.39/42.49	c 27.7818 109.289 5121 2145997
42.39/42.49	o 779
42.50/42.55	c 27.8348 109.289 5133 2151997
42.50/42.55	o 778
42.59/42.62	c 27.8888 109.289 5144 2155914
42.59/42.62	o 776
42.59/42.67	c 27.9248 109.289 5152 2158238
42.59/42.67	o 775
42.69/42.79	c 28.0087 109.289 5172 2159972
42.69/42.79	o 773
42.80/42.84	c 28.0427 109.289 5177 2162491
42.80/42.84	o 772
42.80/42.87	c 28.0677 109.289 5180 2164145
42.80/42.87	o 765
42.99/43.05	c 28.1887 109.289 5208 2166664
42.99/43.05	o 764
43.39/43.48	c 28.4517 109.289 5292 2167442
43.39/43.48	o 763
43.49/43.57	c 28.5237 109.289 5306 2168073
43.49/43.57	o 762
45.19/45.21	c 29.4105 109.289 5727 2172789
45.19/45.21	o 760
45.29/45.35	c 29.4675 109.289 5751 2173889
45.29/45.35	o 758
45.39/45.45	c 29.5195 109.289 5768 2174665
45.39/45.45	o 756
45.49/45.50	c 29.5485 109.289 5773 2175145
45.49/45.50	o 755
45.49/45.55	c 29.5745 109.289 5777 2175669
45.49/45.55	o 754
45.49/45.59	c 29.6095 109.289 5788 2176531
45.49/45.59	o 753
45.60/45.66	c 29.6495 109.289 5803 2178260
45.60/45.66	o 752
45.89/45.96	c 29.8405 109.289 5862 2179190
45.89/45.96	o 751
46.10/46.12	c 29.9494 109.289 5937 2179946
46.10/46.12	o 750
47.50/47.59	c 30.9593 109.289 6249 2184105
47.50/47.59	o 749
47.69/47.73	c 31.0513 109.289 6277 2185102
47.69/47.73	o 748
47.90/47.90	c 31.1663 109.289 6311 2186279
47.90/47.90	o 747
48.19/48.23	c 31.3862 109.289 6368 2187604
48.19/48.23	o 746
48.19/48.28	c 31.4242 109.289 6381 2189750
48.19/48.28	o 744
48.69/48.70	c 31.6902 109.289 6489 2191770
48.69/48.70	o 742
48.69/48.78	c 31.7612 109.289 6510 2192771
48.69/48.78	o 741
48.80/48.83	c 31.7982 109.289 6523 2193790
48.80/48.83	o 739
48.89/48.92	c 31.8632 109.289 6540 2194718
48.89/48.92	o 738
48.89/48.98	c 31.9141 109.289 6552 2195754
48.89/48.98	o 736
48.99/49.02	c 31.9431 109.289 6569 2196432
48.99/49.02	o 735
48.99/49.08	c 31.9851 109.289 6578 2197273
48.99/49.08	o 734
49.09/49.13	c 32.0201 109.289 6585 2198494
49.09/49.13	o 733
49.20/49.20	c 32.0601 109.289 6596 2199923
49.20/49.20	o 732
49.20/49.25	c 32.1061 109.289 6608 2201120
49.20/49.25	o 731
49.29/49.33	c 32.1681 109.289 6635 2201760
49.29/49.33	o 730
49.40/49.48	c 32.2641 109.289 6661 2202610
49.40/49.48	o 729
50.49/50.53	c 32.93 109.289 6909 2206058
50.49/50.53	o 728
50.49/50.59	c 32.972 109.289 6913 2207128
50.49/50.59	o 727
50.59/50.63	c 33.007 109.289 6921 2207933
50.59/50.63	o 726
50.69/50.70	c 33.058 109.289 6936 2209489
50.69/50.70	o 723
50.79/50.80	c 33.121 109.289 6977 2210363
50.79/50.80	o 722
50.79/50.86	c 33.158 109.289 7000 2211349
50.79/50.86	o 721
50.99/51.03	c 33.2729 109.289 7032 2213112
50.99/51.03	o 720
51.09/51.11	c 33.3249 109.289 7044 2214646
51.09/51.11	o 719
51.09/51.19	c 33.3799 109.289 7056 2216065
51.09/51.19	o 718
51.20/51.23	c 33.4089 109.289 7062 2217228
51.20/51.23	o 717
51.20/51.28	c 33.4439 109.289 7083 2218217
51.20/51.28	o 715
51.29/51.32	c 33.4629 109.289 7088 2219641
51.29/51.32	o 714
51.29/51.38	c 33.4929 109.289 7096 2220268
51.29/51.38	o 713
51.40/51.43	c 33.5199 109.289 7110 2221055
51.40/51.43	o 712
51.70/51.75	c 33.6349 109.289 7229 2222368
51.70/51.75	o 711
51.80/51.83	c 33.6789 109.289 7247 2223564
51.80/51.83	o 710
52.49/52.50	c 34.0238 109.289 7454 2225824
52.49/52.50	o 708
52.99/53.01	c 34.3368 109.289 7565 2228523
52.99/53.01	o 704
52.99/53.08	c 34.3888 109.289 7577 2229389
52.99/53.08	o 703
53.09/53.14	c 34.4268 109.289 7582 2230633
53.09/53.14	o 702
53.09/53.19	c 34.4608 109.289 7587 2231254
53.09/53.19	o 701
53.29/53.34	c 34.5707 109.289 7620 2232260
53.29/53.34	o 700
53.99/54.01	c 34.9947 109.289 7785 2234359
53.99/54.01	o 699
53.99/54.06	c 35.0327 109.289 7789 2235140
53.99/54.06	o 698
54.10/54.19	c 35.1217 109.289 7808 2235808
54.10/54.19	o 697
54.49/54.58	c 35.3716 109.289 7897 2237019
54.49/54.58	o 696
54.69/54.77	c 35.5126 109.289 7942 2238444
54.69/54.77	o 695
54.90/54.91	c 35.5966 109.289 7971 2239212
54.90/54.91	o 694
55.10/55.13	c 35.7566 109.289 8020 2240390
55.10/55.13	o 693
55.30/55.30	c 35.8715 109.289 8051 2241889
55.30/55.30	o 691
55.39/55.41	c 35.9475 109.289 8076 2243851
55.39/55.41	o 690
55.69/55.77	c 36.1895 109.289 8148 2244620
55.69/55.77	o 689
55.90/55.94	c 36.3055 109.289 8175 2245357
55.90/55.94	o 687
56.00/56.07	c 36.3995 109.289 8198 2246604
56.00/56.07	o 686
56.09/56.12	c 36.4345 109.289 8199 2247605
56.09/56.12	o 685
56.09/56.15	c 36.4615 109.289 8200 2248563
56.09/56.15	o 684
56.09/56.18	c 36.4925 109.289 8205 2249825
56.09/56.18	o 683
56.19/56.25	c 36.5434 109.289 8220 2250956
56.19/56.25	o 682
56.29/56.32	c 36.5954 109.289 8238 2251832
56.29/56.32	o 681
56.29/56.38	c 36.6404 109.289 8254 2252866
56.29/56.38	o 678
56.39/56.43	c 36.6824 109.289 8262 2253662
56.39/56.43	o 677
56.39/56.47	c 36.7114 109.289 8265 2254321
56.39/56.47	o 676
56.49/56.50	c 36.7404 109.289 8271 2255311
56.49/56.50	o 675
56.49/56.55	c 36.7804 109.289 8283 2256637
56.49/56.55	o 673
56.59/56.60	c 36.8164 109.289 8296 2257146
56.59/56.60	o 672
56.59/56.66	c 36.8564 109.289 8307 2257964
56.59/56.66	o 671
56.69/56.72	c 36.9024 109.289 8337 2258914
56.69/56.72	o 669
57.30/57.33	c 37.2893 109.289 8436 2259997
57.30/57.33	o 667
57.30/57.39	c 37.3333 109.289 8449 2261530
57.30/57.39	o 664
57.39/57.43	c 37.3613 109.289 8450 2262306
57.39/57.43	o 663
57.39/57.47	c 37.3943 109.289 8451 2262821
57.39/57.47	o 662
57.49/57.52	c 37.4293 109.289 8453 2263747
57.49/57.52	o 661
57.49/57.55	c 37.4523 109.289 8453 2264733
57.49/57.55	o 660
57.49/57.58	c 37.4743 109.289 8455 2265592
57.49/57.58	o 659
57.59/57.61	c 37.5003 109.289 8457 2266326
57.59/57.61	o 658
57.59/57.64	c 37.5253 109.289 8458 2266990
57.59/57.64	o 657
57.59/57.68	c 37.5493 109.289 8461 2267646
57.59/57.68	o 656
57.69/57.72	c 37.5803 109.289 8463 2268536
57.69/57.72	o 655
57.69/57.75	c 37.6063 109.289 8466 2269530
57.69/57.75	o 654
57.69/57.79	c 37.6303 109.289 8468 2270883
57.69/57.79	o 653
57.79/57.82	c 37.6513 109.289 8469 2271550
57.79/57.82	o 652
57.89/57.91	c 37.6923 109.289 8488 2273417
57.89/57.91	o 648
57.89/57.97	c 37.7293 109.289 8505 2274442
57.89/57.97	o 647
57.99/58.02	c 37.7613 109.289 8522 2275185
57.99/58.02	o 646
57.99/58.05	c 37.7833 109.289 8524 2275732
57.99/58.05	o 645
57.99/58.09	c 37.8043 109.289 8530 2276320
57.99/58.09	o 644
58.09/58.14	c 37.8382 109.289 8547 2276979
58.09/58.14	o 643
58.09/58.18	c 37.8632 109.289 8553 2277775
58.09/58.18	o 642
58.20/58.24	c 37.8952 109.289 8562 2278233
58.20/58.24	o 641
58.20/58.27	c 37.9152 109.289 8567 2278915
58.20/58.27	o 639
58.30/58.32	c 37.9382 109.289 8576 2279752
58.30/58.32	o 636
58.40/58.41	c 37.9832 109.289 8639 2280342
58.40/58.41	o 635
58.49/58.50	c 38.0262 109.289 8652 2281036
58.49/58.50	o 634
58.49/58.54	c 38.0562 109.289 8666 2282038
58.49/58.54	o 633
58.59/58.62	c 38.1042 109.289 8692 2283976
58.59/58.62	o 632
58.59/58.68	c 38.1512 109.289 8700 2284411
58.59/58.68	o 631
58.70/58.75	c 38.1872 109.289 8714 2285902
58.70/58.75	o 630
58.79/58.83	c 38.2452 109.289 8724 2286472
58.79/58.83	o 629
58.89/58.91	c 38.2982 109.289 8744 2287576
58.89/58.91	o 628
59.29/59.31	c 38.5651 109.289 8848 2289006
59.29/59.31	o 627
59.29/59.35	c 38.6031 109.289 8852 2289691
59.29/59.35	o 626
59.40/59.42	c 38.6501 109.289 8857 2291403
59.40/59.42	o 624
59.49/59.53	c 38.7301 109.289 8895 2292137
59.49/59.53	o 622
59.79/59.80	c 38.8951 109.289 8960 2293092
59.79/59.80	o 620
60.20/60.24	c 39.178 109.289 9051 2294072
60.20/60.24	o 619
60.29/60.34	c 39.246 109.289 9068 2294794
60.29/60.34	o 618
60.29/60.38	c 39.277 109.289 9075 2295356
60.29/60.38	o 617
60.40/60.43	c 39.32 109.289 9088 2296237
60.40/60.43	o 615
60.40/60.50	c 39.367 109.289 9115 2297223
60.40/60.50	o 614
60.50/60.55	c 39.404 109.289 9124 2298372
60.50/60.55	o 612
60.79/60.87	c 39.604 109.289 9200 2299210
60.79/60.87	o 611
60.89/60.91	c 39.634 109.289 9201 2299983
60.89/60.91	o 610
60.89/60.97	c 39.679 109.289 9209 2300684
60.89/60.97	o 609
61.00/61.03	c 39.725 109.289 9218 2302425
61.00/61.03	o 608
61.00/61.07	c 39.757 109.289 9221 2303342
61.00/61.07	o 606
61.09/61.12	c 39.789 109.289 9227 2304223
61.09/61.12	o 605
61.09/61.17	c 39.8259 109.289 9246 2305511
61.09/61.17	o 604
61.19/61.22	c 39.8679 109.289 9252 2306385
61.19/61.22	o 603
61.19/61.26	c 39.8989 109.289 9253 2307042
61.19/61.26	o 602
61.29/61.39	c 39.9929 109.289 9268 2307738
61.29/61.39	o 601
61.50/61.58	c 40.1059 109.289 9323 2309074
61.50/61.58	o 600
61.60/61.67	c 40.1699 109.289 9332 2309566
61.60/61.67	o 599
61.69/61.76	c 40.2269 109.289 9349 2310035
61.69/61.76	o 598
61.79/61.80	c 40.2649 109.289 9360 2311214
61.79/61.80	o 596
61.79/61.85	c 40.3019 109.289 9366 2312076
61.79/61.85	o 594
61.89/61.91	c 40.3539 109.289 9394 2312998
61.89/61.91	o 593
61.89/61.95	c 40.3799 109.289 9396 2313916
61.89/61.95	o 590
61.89/61.99	c 40.4079 109.289 9397 2314982
61.89/61.99	o 587
61.99/62.02	c 40.4339 109.289 9400 2316418
61.99/62.02	o 583
61.99/62.05	c 40.4598 109.289 9402 2317186
61.99/62.05	o 582
61.99/62.08	c 40.4858 109.289 9403 2317818
61.99/62.08	o 581
62.09/62.12	c 40.5158 109.289 9408 2319052
62.09/62.12	o 579
62.09/62.19	c 40.5558 109.289 9421 2319527
62.09/62.19	o 578
62.29/62.30	c 40.6408 109.289 9446 2320625
62.29/62.30	o 577
62.39/62.40	c 40.7108 109.289 9458 2321397
62.39/62.40	o 576
62.39/62.46	c 40.7588 109.289 9469 2322552
62.39/62.46	o 575
62.49/62.52	c 40.7968 109.289 9474 2323417
62.49/62.52	o 574
62.49/62.57	c 40.8388 109.289 9494 2324538
62.49/62.57	o 573
62.59/62.64	c 40.8798 109.289 9503 2325555
62.59/62.64	o 572
62.59/62.69	c 40.9158 109.289 9515 2326668
62.59/62.69	o 571
62.70/62.74	c 40.9528 109.289 9525 2327802
62.70/62.74	o 568
62.79/62.83	c 41.0188 109.289 9539 2329068
62.79/62.83	o 567
62.79/62.88	c 41.0608 109.289 9546 2329875
62.79/62.88	o 565
62.89/62.97	c 41.1237 109.289 9560 2330737
62.89/62.97	o 564
62.99/63.01	c 41.1547 109.289 4788 2331840
62.99/63.01	o 560
62.99/63.07	c 41.1937 109.289 4817 2332879
62.99/63.07	o 559
63.10/63.11	c 41.2287 109.289 4820 2333342
63.10/63.11	o 558
63.10/63.18	c 41.2787 109.289 4833 2334710
63.10/63.18	o 557
63.19/63.22	c 41.3057 109.289 4840 2335258
63.19/63.22	o 556
63.30/63.39	c 41.4257 109.289 4876 2336015
63.30/63.39	o 555
63.89/63.95	c 41.8016 109.289 4982 2337043
63.89/63.95	o 554
63.89/63.99	c 41.8386 109.289 4993 2337747
63.89/63.99	o 553
64.00/64.06	c 41.8876 109.289 5010 2338219
64.00/64.06	o 552
64.00/64.09	c 41.9136 109.289 5012 2339022
64.00/64.09	o 550
64.09/64.13	c 41.9386 109.289 5014 2339673
64.09/64.13	o 549
64.09/64.17	c 41.9726 109.289 5017 2340445
64.09/64.17	o 548
64.20/64.23	c 42.0186 109.289 5025 2341348
64.20/64.23	o 545
64.20/64.28	c 42.0636 109.289 5046 2341819
64.20/64.28	o 544
64.29/64.34	c 42.0986 109.289 5057 2343191
64.29/64.34	o 542
64.39/64.40	c 42.1296 109.289 5068 2344203
64.39/64.40	o 541
64.39/64.45	c 42.1616 109.289 5076 2345877
64.39/64.45	o 535
64.50/64.50	c 42.1866 109.289 5077 2346583
64.50/64.50	o 534
64.50/64.55	c 42.2096 109.289 5081 2349251
64.50/64.55	o 532
64.59/64.63	c 42.2506 109.289 5095 2351625
64.59/64.63	o 527
65.09/65.14	c 42.4535 109.289 5171 2352446
65.09/65.14	o 526
65.19/65.20	c 42.4995 109.289 5187 2353007
65.19/65.20	o 525
65.19/65.25	c 42.5235 109.289 5192 2354199
65.19/65.25	o 524
65.29/65.32	c 42.5735 109.289 5212 2355315
65.29/65.32	o 523
65.29/65.38	c 42.6275 109.289 5223 2358286
65.29/65.38	o 522
65.39/65.44	c 42.6695 109.289 5229 2359021
65.39/65.44	o 521
65.39/65.47	c 42.6975 109.289 5232 2359621
65.39/65.47	o 520
65.49/65.50	c 42.7235 109.289 5232 2360315
65.49/65.50	o 518
65.49/65.54	c 42.7495 109.289 5233 2361325
65.49/65.54	o 514
65.49/65.57	c 42.7735 109.289 5235 2362344
65.49/65.57	o 510
65.59/65.62	c 42.8085 109.289 5237 2363093
65.59/65.62	o 509
65.59/65.65	c 42.8405 109.289 5239 2363731
65.59/65.65	o 508
65.59/65.69	c 42.8675 109.289 5243 2364195
65.59/65.69	o 507
65.69/65.72	c 42.8925 109.289 5245 2364771
65.69/65.72	o 506
65.69/65.75	c 42.9155 109.289 5250 2365150
65.69/65.75	o 505
65.80/65.86	c 42.9835 109.289 5269 2365823
65.80/65.86	o 504
65.90/65.91	c 43.0255 109.289 5292 2366410
65.90/65.91	o 503
65.99/66.01	c 43.0964 109.289 5316 2367380
65.99/66.01	o 502
66.09/66.13	c 43.1894 109.289 5383 2368961
66.09/66.13	o 500
66.20/66.25	c 43.2684 109.289 5399 2370527
66.20/66.25	o 499
66.80/66.85	c 43.6744 109.289 5560 2372036
66.80/66.85	o 498
66.89/66.92	c 43.7204 109.289 5567 2372586
66.89/66.92	o 497
66.89/67.00	c 43.7753 109.289 5577 2373311
66.89/67.00	o 496
67.00/67.05	c 43.8143 109.289 5586 2373976
67.00/67.05	o 495
67.10/67.15	c 43.8843 109.289 5648 2375185
67.10/67.15	o 494
67.20/67.20	c 43.9253 109.289 5654 2375920
67.20/67.20	o 491
67.20/67.25	c 43.9603 109.289 5661 2376537
67.20/67.25	o 490
67.20/67.29	c 43.9903 109.289 5665 2377321
67.20/67.29	o 488
67.29/67.35	c 44.0423 109.289 5669 2378366
67.29/67.35	o 484
67.29/67.39	c 44.0713 109.289 5671 2379230
67.29/67.39	o 482
67.39/67.45	c 44.1123 109.289 5679 2381021
67.39/67.45	o 477
67.50/67.53	c 44.1723 109.289 5695 2383283
67.50/67.53	o 475
67.59/67.60	c 44.2203 109.289 5726 2383926
67.59/67.60	o 474
67.59/67.67	c 44.2743 109.289 5743 2384765
67.59/67.67	o 472
67.70/67.72	c 44.3113 109.289 5755 2385396
67.70/67.72	o 470
67.70/67.76	c 44.3443 109.289 5767 2385900
67.70/67.76	o 469
67.79/67.84	c 44.4032 109.289 5779 2386715
67.79/67.84	o 468
67.79/67.89	c 44.4382 109.289 5795 2387752
67.79/67.89	o 467
67.90/67.95	c 44.4702 109.289 5807 2388531
67.90/67.95	o 466
67.90/67.99	c 44.4992 109.289 5811 2389092
67.90/67.99	o 465
68.10/68.10	c 44.5742 109.289 5830 2390894
68.10/68.10	o 464
68.20/68.28	c 44.6942 109.289 5856 2391623
68.20/68.28	o 463
68.30/68.35	c 44.7532 109.289 5877 2392359
68.30/68.35	o 462
68.39/68.43	c 44.8132 109.289 5889 2393183
68.39/68.43	o 461
68.39/68.49	c 44.8572 109.289 5908 2393972
68.39/68.49	o 460
68.49/68.56	c 44.9032 109.289 5921 2394821
68.49/68.56	o 459
69.09/69.15	c 45.2891 109.289 6050 2396934
69.09/69.15	o 458
69.20/69.22	c 45.3431 109.289 6057 2397465
69.20/69.22	o 457
69.20/69.28	c 45.3811 109.289 6064 2398232
69.20/69.28	o 455
69.30/69.33	c 45.4241 109.289 6070 2398984
69.30/69.33	o 454
69.30/69.38	c 45.4611 109.289 6079 2399643
69.30/69.38	o 453
69.49/69.57	c 45.5821 109.289 6119 2400466
69.49/69.57	o 452
70.19/70.20	c 46.002 109.289 6278 2401790
70.19/70.20	o 451
70.19/70.29	c 46.072 109.289 6313 2402376
70.19/70.29	o 450
70.29/70.33	c 46.102 109.289 6320 2403178
70.29/70.33	o 449
70.70/70.74	c 46.3969 109.289 6416 2404512
70.70/70.74	o 448
70.79/70.83	c 46.4529 109.289 6428 2405396
70.79/70.83	o 446
70.79/70.87	c 46.4819 109.289 6435 2405983
70.79/70.87	o 445
70.89/70.94	c 46.5249 109.289 6455 2408041
70.89/70.94	o 444
71.00/71.00	c 46.5659 109.289 6486 2408690
71.00/71.00	o 443
71.00/71.05	c 46.5939 109.289 6490 2409687
71.00/71.05	o 441
71.00/71.09	c 46.6159 109.289 6494 2411184
71.00/71.09	o 440
71.10/71.13	c 46.6429 109.289 6502 2411816
71.10/71.13	o 439
71.10/71.16	c 46.6659 109.289 6507 2413483
71.10/71.16	o 437
71.19/71.24	c 46.7039 109.289 6519 2414494
71.19/71.24	o 434
71.19/71.28	c 46.7259 109.289 6521 2415195
71.19/71.28	o 433
71.29/71.31	c 46.7509 109.289 6525 2416138
71.29/71.31	o 431
71.29/71.35	c 46.7709 109.289 6528 2416599
71.29/71.35	o 430
71.40/71.41	c 46.8239 109.289 6587 2417831
71.40/71.41	o 429
71.40/71.45	c 46.8489 109.289 6587 2418436
71.40/71.45	o 428
71.40/71.49	c 46.8769 109.289 6591 2420103
71.40/71.49	o 427
71.50/71.54	c 46.9099 109.289 6595 2420667
71.50/71.54	o 426
71.50/71.58	c 46.9379 109.289 6623 2421159
71.50/71.58	o 424
71.59/71.62	c 46.9569 109.289 6627 2422016
71.59/71.62	o 421
71.59/71.66	c 46.9799 109.289 6630 2422866
71.59/71.66	o 420
71.69/71.70	c 47.0099 109.289 6632 2423449
71.69/71.70	o 418
71.69/71.73	c 47.0368 109.289 6635 2424861
71.69/71.73	o 417
71.69/71.77	c 47.0678 109.289 6639 2425626
71.69/71.77	o 416
71.80/71.81	c 47.0908 109.289 6641 2426014
71.80/71.81	o 415
71.80/71.85	c 47.1278 109.289 6664 2427244
71.80/71.85	o 411
71.89/71.90	c 47.1688 109.289 6700 2428433
71.89/71.90	o 408
71.89/71.94	c 47.2028 109.289 6704 2429371
71.89/71.94	o 405
71.89/71.98	c 47.2328 109.289 6707 2429775
71.89/71.98	o 404
71.99/72.02	c 47.2638 109.289 6710 2431422
71.99/72.02	o 402
71.99/72.06	c 47.2908 109.289 6711 2431913
71.99/72.06	o 401
71.99/72.09	c 47.3158 109.289 6728 2432484
71.99/72.09	o 399
72.09/72.13	c 47.3508 109.289 6731 2432930
72.09/72.13	o 398
72.09/72.17	c 47.3828 109.289 6735 2434545
72.09/72.17	o 391
72.19/72.21	c 47.4068 109.289 6735 2435492
72.19/72.21	o 386
72.19/72.24	c 47.4328 109.289 6737 2435921
72.19/72.24	o 385
72.29/72.34	c 47.5018 109.289 6748 2437230
72.29/72.34	o 383
72.29/72.38	c 47.5348 109.289 6756 2437847
72.29/72.38	o 382
72.89/72.92	c 47.9177 109.289 6955 2439175
72.89/72.92	o 381
72.89/72.96	c 47.9517 109.289 6964 2439595
72.89/72.96	o 380
73.39/73.41	c 48.2377 109.289 7068 2440704
73.39/73.41	o 379
73.49/73.57	c 48.3616 109.289 7171 2441677
73.49/73.57	o 378
73.49/73.60	c 48.3866 109.289 7171 2442300
73.49/73.60	o 377
73.59/73.63	c 48.4146 109.289 7171 2442950
73.59/73.63	o 376
73.59/73.66	c 48.4376 109.289 7171 2443595
73.59/73.66	o 375
73.59/73.70	c 48.4646 109.289 7171 2444219
73.59/73.70	o 374
73.70/73.73	c 48.4916 109.289 7171 2444860
73.70/73.73	o 373
73.70/73.76	c 48.5186 109.289 7172 2445474
73.70/73.76	o 372
73.70/73.79	c 48.5446 109.289 7172 2446197
73.70/73.79	o 371
73.79/73.83	c 48.5696 109.289 7173 2446904
73.79/73.83	o 370
73.79/73.86	c 48.5916 109.289 7173 2447426
73.79/73.86	o 369
73.79/73.89	c 48.6186 109.289 7173 2448108
73.79/73.89	o 368
73.90/73.93	c 48.6456 109.289 7173 2448796
73.90/73.93	o 367
73.90/73.97	c 48.6786 109.289 7175 2449686
73.90/73.97	o 366
73.99/74.01	c 48.7126 109.289 7177 2450488
73.99/74.01	o 365
73.99/74.05	c 48.7416 109.289 7180 2450866
73.99/74.05	o 364
74.10/74.10	c 48.7786 109.289 7190 2451752
74.10/74.10	o 363
74.29/74.38	c 48.9596 109.289 7238 2452525
74.29/74.38	o 362
74.39/74.42	c 48.9926 109.289 7243 2453057
74.39/74.42	o 361
74.39/74.45	c 49.0225 109.289 7245 2453638
74.39/74.45	o 360
74.39/74.49	c 49.0495 109.289 7246 2454228
74.39/74.49	o 359
74.49/74.54	c 49.0865 109.289 7248 2455056
74.49/74.54	o 357
74.49/74.57	c 49.1135 109.289 7249 2455621
74.49/74.57	o 355
74.59/74.61	c 49.1395 109.289 7250 2456145
74.59/74.61	o 353
74.59/74.64	c 49.1625 109.289 7250 2456879
74.59/74.64	o 352
74.59/74.68	c 49.1885 109.289 7251 2457607
74.59/74.68	o 351
74.70/74.73	c 49.2215 109.289 7256 2458379
74.70/74.73	o 350
74.70/74.77	c 49.2525 109.289 7260 2458762
74.70/74.77	o 349
74.80/74.81	c 49.2855 109.289 7263 2459137
74.80/74.81	o 348
74.80/74.86	c 49.3245 109.289 7268 2459662
74.80/74.86	o 347
74.90/74.95	c 49.3915 109.289 7315 2460272
74.90/74.95	o 346
74.90/74.98	c 49.4225 109.289 7317 2460649
74.90/74.98	o 345
75.00/75.05	c 49.4835 109.289 7335 2461045
75.00/75.05	o 344
75.29/75.36	c 49.7074 109.289 7506 2462308
75.29/75.36	o 343
75.39/75.46	c 49.7744 109.289 7523 2462787
75.39/75.46	o 341
75.39/75.50	c 49.8004 109.289 7529 2463178
75.39/75.50	o 340
75.50/75.55	c 49.8404 109.289 7536 2463556
75.50/75.55	o 339
75.60/75.62	c 49.8914 109.289 7546 2464106
75.60/75.62	o 338
75.70/75.72	c 49.9634 109.289 7574 2464812
75.70/75.72	o 337
75.90/75.94	c 50.0984 109.289 7647 2465526
75.90/75.94	o 336
75.99/76.02	c 50.1524 109.289 7662 2465956
75.99/76.02	o 335
75.99/76.06	c 50.1854 109.289 7667 2466383
75.99/76.06	o 334
76.10/76.10	c 50.2114 109.289 7668 2466953
76.10/76.10	o 333
76.10/76.14	c 50.2504 109.289 7679 2467519
76.10/76.14	o 332
76.10/76.19	c 50.2924 109.289 7687 2467966
76.10/76.19	o 331
76.19/76.23	c 50.3203 109.289 7690 2468346
76.19/76.23	o 330
76.19/76.27	c 50.3573 109.289 7698 2468789
76.19/76.27	o 329
76.29/76.33	c 50.4013 109.289 7705 2469404
76.29/76.33	o 328
76.29/76.37	c 50.4343 109.289 7710 2470056
76.29/76.37	o 327
76.40/76.41	c 50.4633 109.289 7716 2470627
76.40/76.41	o 326
76.49/76.50	c 50.5253 109.289 7738 2471158
76.49/76.50	o 325
76.49/76.55	c 50.5583 109.289 7742 2471538
76.49/76.55	o 324
76.60/76.60	c 50.5943 109.289 7749 2472151
76.60/76.60	o 322
76.60/76.64	c 50.6293 109.289 7765 2472578
76.60/76.64	o 321
76.60/76.69	c 50.6723 109.289 7769 2472978
76.60/76.69	o 320
76.69/76.74	c 50.7083 109.289 7837 2473530
76.69/76.74	o 319
76.69/76.79	c 50.7473 109.289 7844 2474015
76.69/76.79	o 318
77.00/77.04	c 50.9473 109.289 7968 2474953
77.00/77.04	o 317
77.00/77.09	c 50.9862 109.289 7972 2475356
77.00/77.09	o 316
77.10/77.12	c 51.0162 109.289 7991 2475802
77.10/77.12	o 315
77.10/77.16	c 51.0462 109.289 7995 2476404
77.10/77.16	o 314
77.19/77.22	c 51.0972 109.289 8039 2477082
77.19/77.22	o 313
77.19/77.26	c 51.1312 109.289 8051 2477722
77.19/77.26	o 312
77.19/77.29	c 51.1562 109.289 8051 2478248
77.19/77.29	o 311
77.29/77.33	c 51.1872 109.289 8053 2478907
77.29/77.33	o 310
77.29/77.37	c 51.2232 109.289 8058 2479487
77.29/77.37	o 309
77.39/77.42	c 51.2622 109.289 8079 2480264
77.39/77.42	o 308
77.39/77.45	c 51.2852 109.289 8086 2480795
77.39/77.45	o 307
77.39/77.49	c 51.3052 109.289 8090 2481719
77.39/77.49	o 306
77.49/77.53	c 51.3302 109.289 8094 2482201
77.49/77.53	o 305
77.49/77.57	c 51.3522 109.289 8096 2483503
77.49/77.57	o 298
77.59/77.61	c 51.3802 109.289 8100 2484282
77.59/77.61	o 295
77.69/77.79	c 51.4482 109.289 8146 2484972
77.69/77.79	o 294
77.80/77.89	c 51.4982 109.289 8164 2485967
77.80/77.89	o 291
77.90/77.93	c 51.5242 109.289 8169 2486373
77.90/77.93	o 290
77.90/77.98	c 51.5492 109.289 8172 2486741
77.90/77.98	o 289
78.00/78.01	c 51.5702 109.289 8173 2487148
78.00/78.01	o 288
78.00/78.06	c 51.6042 109.289 8183 2487551
78.00/78.06	o 287
78.00/78.10	c 51.6252 109.289 8190 2488276
78.00/78.10	o 286
78.10/78.15	c 51.6491 109.289 8198 2489296
78.10/78.15	o 283
78.29/78.38	c 51.7921 109.289 8243 2490032
78.29/78.38	o 282
78.40/78.43	c 51.8311 109.289 8263 2490531
78.40/78.43	o 281
78.59/78.69	c 51.9941 109.289 8312 2491181
78.59/78.69	o 280
79.20/79.28	c 52.408 109.289 8496 2492498
79.20/79.28	o 279
79.29/79.32	c 52.442 109.289 8504 2492935
79.29/79.32	o 278
79.29/79.36	c 52.469 109.289 8506 2493338
79.29/79.36	o 277
79.39/79.42	c 52.519 109.289 8512 2493912
79.39/79.42	o 275
79.39/79.45	c 52.548 109.289 8517 2494487
79.39/79.45	o 274
79.39/79.49	c 52.573 109.289 8519 2495122
79.39/79.49	o 273
79.49/79.52	c 52.597 109.289 8521 2495794
79.49/79.52	o 272
79.49/79.55	c 52.625 109.289 8521 2496131
79.49/79.55	o 271
79.49/79.59	c 52.652 109.289 8529 2496520
79.49/79.59	o 270
79.59/79.65	c 52.692 109.289 8549 2497348
79.59/79.65	o 269
79.69/79.71	c 52.74 109.289 8557 2497760
79.69/79.71	o 268
79.69/79.74	c 52.772 109.289 8560 2498140
79.69/79.74	o 267
79.69/79.78	c 52.809 109.289 8572 2498713
79.69/79.78	o 266
79.79/79.84	c 52.853 109.289 8583 2499279
79.79/79.84	o 265
80.20/80.24	c 53.0989 109.289 8688 2500099
80.20/80.24	o 264
80.20/80.28	c 53.1349 109.289 8714 2500501
80.20/80.28	o 263
80.30/80.34	c 53.1849 109.289 8750 2500877
80.30/80.34	o 262
80.30/80.38	c 53.2189 109.289 8755 2501299
80.30/80.38	o 261
80.39/80.42	c 53.2529 109.289 8764 2501879
80.39/80.43	o 260
80.39/80.46	c 53.2779 109.289 8777 2502315
80.39/80.46	o 259
80.50/80.51	c 53.3159 109.289 8781 2502723
80.50/80.51	o 258
80.50/80.54	c 53.3419 109.289 8787 2503256
80.50/80.54	o 256
80.59/80.60	c 53.3949 109.289 8814 2503637
80.59/80.60	o 255
80.59/80.66	c 53.4369 109.289 8837 2504082
80.59/80.66	o 254
80.59/80.69	c 53.4679 109.289 8843 2504482
80.59/80.69	o 253
80.69/80.75	c 53.5069 109.289 8849 2504949
80.69/80.75	o 252
80.69/80.78	c 53.5379 109.289 8853 2505403
80.69/80.78	o 251
80.79/80.82	c 53.5629 109.418 8865 2505792
80.79/80.82	o 250
81.30/81.34	c 53.9028 109.418 9103 2507015
81.30/81.34	o 249
81.30/81.39	c 53.9438 109.418 9122 2507505
81.30/81.39	o 248
81.39/81.50	c 54.0068 109.418 9139 2507933
81.39/81.50	o 247
81.49/81.55	c 54.0498 109.418 9171 2508328
81.49/81.55	o 246
81.59/81.60	c 54.0848 109.418 9175 2508779
81.59/81.60	o 245
81.59/81.63	c 54.1118 109.418 9177 2509329
81.59/81.63	o 244
81.59/81.68	c 54.1518 109.418 9183 2509782
81.59/81.68	o 243
81.69/81.73	c 54.1948 109.418 9229 2510269
81.69/81.73	o 242
82.09/82.16	c 54.4767 109.418 9354 2511154
82.09/82.16	o 241
82.19/82.21	c 54.5137 109.418 9375 2511505
82.19/82.21	o 240
82.19/82.25	c 54.5487 109.418 9379 2512062
82.19/82.25	o 239
82.40/82.44	c 54.6867 109.418 9434 2512935
82.40/82.44	o 238
82.50/82.52	c 54.7427 109.418 9445 2513460
82.50/82.52	o 237
82.50/82.57	c 54.7827 109.418 9452 2513911
82.50/82.57	o 236
82.60/82.64	c 54.8297 109.418 9466 2514433
82.60/82.64	o 235
82.60/82.67	c 54.8517 109.418 9467 2514771
82.60/82.67	o 234
82.70/82.70	c 54.8767 109.418 9467 2515094
82.70/82.70	o 233
82.70/82.73	c 54.9027 109.418 9467 2515408
82.70/82.73	o 232
82.70/82.78	c 54.9366 109.418 9468 2515764
82.70/82.78	o 231
82.79/82.82	c 54.9656 109.418 9473 2516168
82.79/82.82	o 230
82.79/82.85	c 54.9976 109.418 9476 2516602
82.79/82.85	o 229
82.79/82.89	c 55.0266 109.418 9478 2517110
82.79/82.89	o 228
82.90/82.92	c 55.0516 109.418 9479 2517583
82.90/82.92	o 227
82.90/82.95	c 55.0756 109.418 9479 2518106
82.90/82.96	o 226
82.99/83.01	c 55.1176 109.418 9483 2518601
82.99/83.01	o 225
82.99/83.06	c 55.1516 109.418 9491 2519035
82.99/83.06	o 224
82.99/83.09	c 55.1806 109.418 9493 2519356
82.99/83.09	o 223
83.10/83.15	c 55.2226 109.547 9529 2519699
83.10/83.15	o 222
83.20/83.22	c 55.2816 109.547 9551 2520011
83.20/83.22	o 221
83.29/83.34	c 55.3736 109.547 9571 2520729
83.29/83.34	o 220
83.29/83.39	c 55.4086 109.547 9582 2521157
83.29/83.39	o 219
83.40/83.43	c 55.4396 109.547 9586 2521523
83.40/83.43	o 218
83.40/83.47	c 55.4716 109.547 9598 2521983
83.40/83.47	o 217
83.49/83.51	c 55.4926 109.547 9598 2522378
83.49/83.51	o 216
83.49/83.54	c 55.5186 109.547 9599 2522806
83.49/83.54	o 215
83.49/83.58	c 55.5546 109.547 9607 2523267
83.49/83.58	o 214
83.60/83.62	c 55.5825 109.547 9609 2523670
83.60/83.62	o 213
83.60/83.65	c 55.6065 109.547 9609 2524049
83.60/83.65	o 212
83.60/83.69	c 55.6335 109.547 9609 2524439
83.60/83.69	o 211
83.70/83.72	c 55.6585 109.547 9609 2524818
83.70/83.72	o 210
83.70/83.75	c 55.6885 109.547 9610 2525193
83.70/83.75	o 209
83.70/83.78	c 55.7155 109.547 9613 2525622
83.70/83.78	o 208
83.79/83.83	c 55.7505 109.547 9617 2525952
83.79/83.83	o 207
83.79/83.86	c 55.7775 109.547 9619 2526258
83.79/83.86	o 206
83.89/83.90	c 55.8055 109.547 9619 2526695
83.89/83.90	o 205
83.89/83.93	c 55.8285 109.547 9620 2527133
83.89/83.93	o 204
83.89/83.96	c 55.8555 109.547 9621 2527600
83.89/83.96	o 203
83.89/83.99	c 55.8835 109.547 9621 2528062
83.89/83.99	o 202
83.99/84.02	c 55.9055 109.547 9621 2528522
83.99/84.02	o 201
83.99/84.06	c 55.9265 109.547 9625 2528963
83.99/84.06	o 200
84.10/84.12	c 55.9555 109.547 9631 2529308
84.10/84.12	o 199
84.10/84.16	c 55.9755 109.547 9635 2529792
84.10/84.16	o 198
84.10/84.19	c 55.9965 109.547 9636 2530141
84.10/84.19	o 197
84.20/84.23	c 56.0225 109.547 9638 2530586
84.20/84.23	o 196
84.20/84.27	c 56.0525 109.547 9643 2531006
84.20/84.27	o 195
84.30/84.31	c 56.0715 109.547 9645 2531352
84.30/84.31	o 194
84.30/84.36	c 56.0955 109.547 9653 2531917
84.30/84.36	o 193
84.39/84.41	c 56.1285 109.547 9670 2532498
84.39/84.41	o 192
84.39/84.44	c 56.1485 109.547 9672 2532850
84.39/84.44	o 191
84.49/84.50	c 56.1805 109.547 9685 2533399
84.49/84.50	o 190
84.49/84.55	c 56.2125 109.547 9699 2533863
84.49/84.55	o 189
84.49/84.60	c 56.2494 109.547 9726 2534321
84.49/84.60	o 188
84.60/84.63	c 56.2724 109.547 9729 2534676
84.60/84.63	o 187
84.60/84.67	c 56.2934 109.547 9733 2535082
84.60/84.67	o 186
84.70/84.70	c 56.3164 109.547 9739 2535481
84.70/84.70	o 185
84.70/84.74	c 56.3394 109.547 9741 2535855
84.70/84.74	o 184
84.70/84.78	c 56.3624 109.547 9750 2536222
84.70/84.78	o 183
84.79/84.82	c 56.3924 109.547 9761 2536776
84.79/84.82	o 182
84.79/84.85	c 56.4194 109.547 9764 2537236
84.79/84.85	o 181
84.79/84.88	c 56.4474 109.547 9767 2537581
84.79/84.88	o 180
84.89/84.91	c 56.4664 109.547 9769 2537998
84.89/84.91	o 179
84.99/85.04	c 56.5424 109.547 9789 2538434
84.99/85.04	o 178
84.99/85.09	c 56.5884 109.547 9811 2539022
84.99/85.09	o 177
85.09/85.13	c 56.6284 109.547 9830 2539539
85.09/85.13	o 175
85.09/85.17	c 56.6574 109.547 9833 2540060
85.09/85.17	o 174
85.19/85.20	c 56.6864 109.547 9834 2540362
85.19/85.20	o 173
85.19/85.24	c 56.7104 109.547 9834 2540694
85.19/85.24	o 172
85.19/85.27	c 56.7344 109.547 9838 2541062
85.19/85.27	o 171
85.29/85.33	c 56.7794 109.547 9855 2541995
85.29/85.33	o 170
85.29/85.36	c 56.8094 109.547 9856 2542393
85.29/85.36	o 169
85.39/85.40	c 56.8394 109.547 9857 2542764
85.39/85.40	o 168
85.39/85.45	c 56.8754 109.547 9866 2543247
85.39/85.45	o 167
85.50/85.54	c 56.9483 109.547 9900 2543858
85.50/85.54	o 166
85.99/86.07	c 57.2953 109.547 5054 2545051
85.99/86.07	o 165
86.10/86.10	c 57.3193 109.547 5055 2545418
86.10/86.10	o 164
86.10/86.13	c 57.3443 109.547 5056 2545754
86.10/86.13	o 163
86.10/86.17	c 57.3713 109.547 5065 2546110
86.10/86.17	o 162
86.20/86.21	c 57.4053 109.547 5080 2546650
86.20/86.21	o 161
86.20/86.27	c 57.4443 109.547 5087 2547367
86.20/86.27	o 160
86.29/86.36	c 57.5153 109.547 5190 2547991
86.29/86.36	o 159
86.39/86.47	c 57.6042 109.547 5216 2548491
86.39/86.47	o 158
86.59/86.61	c 57.7122 109.676 5347 2549794
86.59/86.61	o 157
86.69/86.74	c 57.8032 109.676 5460 2550724
86.69/86.74	o 156
86.69/86.78	c 57.8322 109.676 5482 2551261
86.69/86.78	o 155
86.80/86.83	c 57.8822 109.676 5490 2551864
86.80/86.83	o 154
86.80/86.87	c 57.9132 109.676 5492 2552363
86.80/86.87	o 153
86.90/86.91	c 57.9422 109.676 5493 2552819
86.90/86.91	o 152
86.90/86.94	c 57.9692 109.676 5497 2553318
86.90/86.94	o 151
86.99/87.00	c 58.0212 109.676 5511 2553936
86.99/87.00	o 150
86.99/87.04	c 58.0522 109.676 5531 2554307
86.99/87.04	o 149
86.99/87.09	c 58.0872 109.676 5554 2554652
86.99/87.09	o 148
87.09/87.12	c 58.1152 109.676 5557 2555031
87.09/87.12	o 147
87.09/87.17	c 58.1582 109.676 5568 2555448
87.09/87.17	o 146
87.29/87.35	c 58.2941 109.676 5611 2556261
87.29/87.35	o 145
87.29/87.39	c 58.3231 109.676 5615 2556766
87.29/87.39	o 144
87.40/87.42	c 58.3521 109.676 5615 2557128
87.40/87.42	o 143
87.40/87.45	c 58.3761 109.676 5623 2557496
87.40/87.45	o 142
87.40/87.49	c 58.4011 109.676 5624 2557812
87.40/87.49	o 141
87.49/87.52	c 58.4321 109.676 5629 2558181
87.49/87.52	o 140
87.59/87.63	c 58.5291 109.676 5734 2558843
87.59/87.63	o 139
87.59/87.67	c 58.5571 109.676 5736 2559221
87.59/87.67	o 138
87.69/87.70	c 58.5811 109.676 5737 2559654
87.69/87.70	o 136
87.69/87.73	c 58.6061 109.676 5737 2559974
87.69/87.73	o 135
87.69/87.77	c 58.6351 109.676 5739 2560345
87.69/87.77	o 134
87.80/87.81	c 58.6661 109.676 5745 2560922
87.80/87.81	o 133
87.80/87.85	c 58.6961 109.676 5752 2561351
87.80/87.85	o 132
87.80/87.88	c 58.7231 109.676 5753 2561684
87.80/87.88	o 131
87.90/87.92	c 58.7601 109.676 5755 2562016
87.90/87.92	o 130
87.90/87.98	c 58.8031 109.676 5761 2562391
87.90/87.98	o 129
88.00/88.01	c 58.8301 109.676 5761 2562812
88.00/88.01	o 128
88.00/88.04	c 58.8521 109.676 5761 2563208
88.00/88.04	o 127
88.00/88.07	c 58.878 109.676 5761 2563594
88.00/88.07	o 126
88.10/88.11	c 58.9 109.676 5761 2563917
88.10/88.11	o 125
88.10/88.14	c 58.926 109.676 5761 2564325
88.10/88.14	o 123
88.10/88.17	c 58.951 109.676 5765 2564631
88.10/88.17	o 122
88.19/88.26	c 59.018 109.676 5770 2565185
88.19/88.26	o 120
88.19/88.29	c 59.043 109.676 5774 2565536
88.19/88.29	o 119
88.29/88.33	c 59.069 109.676 5774 2565885
88.29/88.33	o 118
88.29/88.36	c 59.094 109.676 5774 2566206
88.29/88.36	o 117
88.29/88.39	c 59.119 109.676 5775 2566552
88.29/88.39	o 116
88.39/88.43	c 59.153 109.676 5776 2567026
88.39/88.43	o 114
88.50/88.52	c 59.206 109.676 5800 2567655
88.50/88.52	o 113
88.50/88.56	c 59.235 109.676 5807 2567974
88.50/88.56	o 112
88.50/88.59	c 59.262 109.676 5813 2568344
88.50/88.59	o 111
88.59/88.63	c 59.289 109.676 5816 2568721
88.59/88.63	o 110
88.59/88.68	c 59.327 109.676 5827 2569094
88.59/88.68	o 109
88.70/88.71	c 59.359 109.676 5832 2569436
88.70/88.71	o 108
88.70/88.75	c 59.39 109.676 5836 2569815
88.70/88.75	o 107
88.70/88.78	c 59.412 109.676 5838 2570108
88.70/88.78	o 106
88.79/88.84	c 59.456 109.676 5868 2570505
88.79/88.84	o 105
88.79/88.88	c 59.488 109.676 5878 2570900
88.79/88.88	o 104
88.89/88.95	c 59.5459 109.676 5906 2571398
88.89/88.95	o 103
88.89/88.98	c 59.5729 109.676 5908 2571710
88.89/88.98	o 102
89.00/89.03	c 59.6089 109.676 5912 2572073
89.00/89.03	o 101
89.00/89.06	c 59.6409 109.676 5915 2572358
89.00/89.06	o 100
89.00/89.09	c 59.6679 109.676 5917 2572711
89.00/89.10	o 99
89.10/89.13	c 59.6949 109.676 5917 2572989
89.10/89.13	o 98
89.10/89.17	c 59.7239 109.676 5920 2573406
89.10/89.17	o 97
89.19/89.20	c 59.7519 109.676 5921 2573682
89.19/89.20	o 96
89.19/89.23	c 59.7809 109.676 5926 2574035
89.19/89.23	o 95
89.19/89.27	c 59.8169 109.676 5942 2574390
89.19/89.27	o 94
89.29/89.32	c 59.8569 109.676 5943 2574696
89.29/89.32	o 93
89.29/89.35	c 59.8839 109.676 5264 2574988
89.29/89.35	o 92
89.29/89.39	c 59.9139 109.676 5267 2575417
89.29/89.39	o 91
89.39/89.42	c 59.9379 109.676 5268 2575753
89.39/89.42	o 90
89.39/89.45	c 59.9589 109.676 5269 2576083
89.39/89.45	o 89
89.39/89.48	c 59.9849 109.676 5269 2576395
89.39/89.48	o 88
89.49/89.51	c 60.0109 109.676 5269 2576727
89.49/89.51	o 87
89.49/89.54	c 60.0329 109.676 5269 2577078
89.49/89.54	o 86
89.49/89.57	c 60.0589 109.676 5269 2577448
89.49/89.57	o 85
89.59/89.60	c 60.0859 109.676 4754 2577756
89.59/89.60	o 84
89.59/89.63	c 60.1099 109.676 4754 2578043
89.59/89.63	o 83
89.59/89.66	c 60.1319 109.676 4754 2578328
89.59/89.66	o 82
89.59/89.69	c 60.1559 109.676 4754 2578601
89.59/89.69	o 81
89.69/89.72	c 60.1789 109.676 4754 2578884
89.69/89.72	o 80
89.69/89.75	c 60.1978 109.676 4754 2579152
89.69/89.75	o 79
89.79/89.86	c 60.2838 109.805 4518 2581331
89.79/89.86	o 78
89.89/89.90	c 60.3148 109.805 4527 2581878
89.89/89.90	o 77
89.99/90.03	c 60.4198 109.805 4566 2582604
89.99/90.03	o 76
89.99/90.06	c 60.4398 109.805 4567 2583006
89.99/90.06	o 75
90.10/90.11	c 60.4788 109.805 4574 2583473
90.10/90.11	o 74
90.10/90.15	c 60.5078 109.805 4579 2583879
90.10/90.15	o 73
90.10/90.18	c 60.5288 109.805 4579 2584231
90.10/90.18	o 72
90.20/90.21	c 60.5498 109.805 4581 2584589
90.20/90.21	o 71
90.20/90.24	c 60.5798 109.805 4592 2584954
90.20/90.24	o 70
90.20/90.28	c 60.6058 109.805 4595 2585377
90.20/90.28	o 69
90.30/90.30	c 60.6308 109.805 4240 2585715
90.30/90.30	o 68
90.30/90.33	c 60.6548 109.805 4241 2586034
90.30/90.33	o 67
90.30/90.36	c 60.6818 109.805 4244 2586411
90.30/90.36	o 66
90.39/90.40	c 60.7098 109.805 4253 2586736
90.39/90.40	o 65
90.39/90.42	c 60.7308 109.805 4256 2587083
90.39/90.42	o 64
90.39/90.46	c 60.7578 109.805 4260 2587553
90.39/90.46	o 63
90.39/90.49	c 60.7808 109.805 4261 2587915
90.39/90.49	o 62
90.49/90.52	c 60.8118 109.805 4287 2588489
90.49/90.52	o 60
90.49/90.57	c 60.8507 109.805 4306 2588995
90.49/90.57	o 59
90.60/90.61	c 60.8737 109.805 4133 2589397
90.60/90.61	o 58
90.60/90.65	c 60.8957 109.805 4146 2589746
90.60/90.65	o 57
90.60/90.67	c 60.9117 109.805 4146 2590033
90.60/90.67	o 56
90.69/90.72	c 60.9437 109.805 4150 2590424
90.69/90.72	o 55
90.69/90.74	c 60.9617 109.805 4150 2590800
90.69/90.74	o 54
90.69/90.77	c 60.9777 109.805 4150 2591141
90.69/90.77	o 53
90.69/90.79	c 60.9947 109.805 4150 2591458
90.69/90.79	o 52
90.79/90.82	c 61.0137 109.805 4161 2591853
90.79/90.82	o 51
90.89/90.91	c 61.0887 109.805 4245 2593173
90.89/90.91	o 50
90.89/90.95	c 61.1197 109.805 4101 2593637
90.89/90.95	o 49
91.09/91.13	c 61.2657 109.805 4249 2594989
91.09/91.13	o 48
91.09/91.16	c 61.2837 109.805 4203 2595418
91.09/91.16	o 47
91.09/91.18	c 61.3007 109.805 4205 2595716
91.09/91.18	o 46
91.20/91.21	c 61.3277 109.805 4224 2596054
91.20/91.21	o 45
91.20/91.24	c 61.3527 109.805 4252 2596440
91.20/91.24	o 44
91.20/91.27	c 61.3757 109.805 4259 2596905
91.20/91.27	o 43
91.30/91.35	c 61.4277 109.805 4289 2597336
91.30/91.35	o 42
91.39/91.46	c 61.5176 109.805 4343 2597860
91.39/91.46	o 41
91.39/91.48	c 61.5316 109.805 4344 2598328
91.39/91.48	o 39
91.49/91.50	c 61.5516 109.805 4345 2598647
91.49/91.50	o 38
91.49/91.52	c 61.5656 109.805 4346 2598943
91.49/91.52	o 37
91.49/91.54	c 61.5796 109.805 4347 2599229
91.49/91.54	o 36
91.49/91.56	c 61.5936 109.805 4347 2599506
91.49/91.56	o 35
91.49/91.58	c 61.6106 109.805 4347 2599786
91.49/91.58	o 34
91.59/91.60	c 61.6246 109.805 4349 2600331
91.59/91.60	o 33
91.59/91.62	c 61.6396 109.934 4349 2600667
91.59/91.62	o 32
91.59/91.64	c 61.6566 109.934 4349 2600955
91.59/91.64	o 31
91.59/91.66	c 61.6736 109.934 4349 2601245
91.59/91.66	o 30
91.59/91.68	c 61.6916 109.934 4349 2601549
91.59/91.68	o 29
91.69/91.70	c 61.7096 109.934 4297 2601815
91.69/91.70	o 28
91.69/91.72	c 61.7256 109.934 4297 2602094
91.69/91.72	o 27
91.69/91.74	c 61.7436 109.934 4297 2602360
91.69/91.74	o 26
91.69/91.75	c 61.7596 109.934 4297 2602618
91.69/91.75	o 25
91.69/91.77	c 61.7746 109.934 4297 2602883
91.69/91.77	o 24
91.69/91.79	c 61.7876 109.934 4297 2603153
91.69/91.79	o 23
91.80/91.81	c 61.8016 109.934 4297 2603428
91.80/91.81	o 22
91.80/91.82	c 61.8186 109.934 4297 2603687
91.80/91.82	o 21
91.80/91.84	c 61.8326 109.934 4297 2603947
91.80/91.84	o 20
91.80/91.86	c 61.8506 109.934 4300 2604416
91.80/91.86	o 19
91.80/91.88	c 61.8616 109.934 4300 2604825
91.80/91.88	o 18
91.89/91.90	c 61.8806 109.934 4302 2605168
91.89/91.90	o 17
91.89/91.92	c 61.8936 109.934 4302 2605470
91.89/91.92	o 16
91.89/91.94	c 61.9116 109.934 4173 2605763
91.89/91.94	o 15
91.89/91.95	c 61.9256 109.934 4173 2606053
91.89/91.95	o 14
91.89/91.97	c 61.9386 109.934 4173 2606388
91.89/91.97	o 13
91.89/91.98	c 61.9536 109.934 4173 2606684
91.89/91.98	o 12
91.99/92.00	c 61.9686 109.934 4173 2606963
91.99/92.00	o 11
91.99/92.01	c 61.9826 109.934 4173 2607216
91.99/92.01	o 10
91.99/92.04	c 62.0086 109.934 4201 2607694
91.99/92.04	o 9
91.99/92.06	c 62.0256 109.934 4224 2608027
91.99/92.06	o 8
91.99/92.07	c 62.0376 109.934 4226 2608444
91.99/92.07	o 7
92.19/92.21	c 62.1715 109.934 4435 2609561
92.19/92.21	o 6
92.19/92.23	c 62.1865 109.934 4437 2609857
92.19/92.23	o 5
92.19/92.25	c 62.2015 109.934 4441 2610134
92.19/92.25	o 4
92.19/92.26	c 62.2165 109.934 4442 2610420
92.19/92.26	o 3
92.19/92.28	c 62.2285 109.934 4444 2610716
92.19/92.28	o 2
92.30/92.37	c 62.3195 109.934 4666 2611684
92.30/92.37	o 1
92.30/92.39	c 62.3405 109.934 4823 2611924
92.30/92.39	s OPTIMUM FOUND
92.30/92.39	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

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-2699145-1278465305/watcher-2699145-1278465305 -o /tmp/evaluation-result-2699145-1278465305/solver-2699145-1278465305 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699145-1278465305.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: 2.08 2.03 1.96 4/178 14554
/proc/meminfo: memFree=29824808/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=2136 CPUtime=0
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14744094 2187264 175 4089446400 134512640 136422188 4293047792 18446744073709551615 135818609 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14554/statm: 534 175 144 467 0 65 0

[startup+0.040801 s]
/proc/loadavg: 2.08 2.03 1.96 4/178 14554
/proc/meminfo: memFree=29824808/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=2532 CPUtime=0.04
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 357 0 0 0 4 0 0 0 25 0 1 0 14744094 2592768 276 4089446400 134512640 136422188 4293047792 18446744073709551615 135408637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14554/statm: 633 276 144 467 0 164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2532

[startup+0.100805 s]
/proc/loadavg: 2.08 2.03 1.96 4/178 14554
/proc/meminfo: memFree=29824808/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=13300 CPUtime=0.09
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 2972 0 0 0 9 0 0 0 25 0 1 0 14744094 13619200 2891 4089446400 134512640 136422188 4293047792 18446744073709551615 134708365 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 3325 2891 193 467 0 2856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13300

[startup+0.300687 s]
/proc/loadavg: 2.08 2.03 1.96 4/178 14554
/proc/meminfo: memFree=29824808/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=61032 CPUtime=0.29
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 15586 0 0 0 28 1 0 0 25 0 1 0 14744094 62496768 14862 4089446400 134512640 136422188 4293047792 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 15291 14862 193 467 0 14822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61032

[startup+0.700614 s]
/proc/loadavg: 2.08 2.03 1.96 4/178 14554
/proc/meminfo: memFree=29824808/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=107136 CPUtime=0.69
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 27456 0 0 0 66 3 0 0 25 0 1 0 14744094 109707264 25511 4089446400 134512640 136422188 4293047792 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 26784 25511 207 467 0 26315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107136

[startup+1.50047 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14555
/proc/meminfo: memFree=29721880/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=108600 CPUtime=1.49
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 27783 0 0 0 124 25 0 0 25 0 1 0 14744094 111206400 25838 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27150 25838 214 467 0 26681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108600

[startup+3.10023 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14555
/proc/meminfo: memFree=29720888/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=110192 CPUtime=3.09
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 28281 0 0 0 231 78 0 0 25 0 1 0 14744094 112836608 25997 4089446400 134512640 136422188 4293047792 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27548 25997 237 467 0 27079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110192

[startup+6.30064 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14555
/proc/meminfo: memFree=29721032/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=110588 CPUtime=6.29
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 28390 0 0 0 429 200 0 0 25 0 1 0 14744094 113242112 26091 4089446400 134512640 136422188 4293047792 18446744073709551615 135006320 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27647 26091 237 467 0 27178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110588

[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 1.96 3/179 14556
/proc/meminfo: memFree=29721036/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=110852 CPUtime=12.69
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 28493 0 0 0 847 422 0 0 25 0 1 0 14744094 113512448 26159 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27713 26159 237 467 0 27244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110852

[startup+25.5001 s]
/proc/loadavg: 2.06 2.03 1.96 3/179 14556
/proc/meminfo: memFree=29720764/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=111380 CPUtime=25.49
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 28703 0 0 0 1669 880 0 0 25 0 1 0 14744094 114053120 26276 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27845 26276 237 467 0 27376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111380

[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 1.96 3/179 14557
/proc/meminfo: memFree=29720356/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=111908 CPUtime=51.09
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 28985 0 0 0 3331 1778 0 0 25 0 1 0 14744094 114593792 26420 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27977 26420 237 467 0 27508 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111908

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

[startup+76.7007 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14557
/proc/meminfo: memFree=29720196/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=111908 CPUtime=76.69
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29279 0 0 0 5067 2602 0 0 25 0 1 0 14744094 114593792 26428 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 27977 26428 237 467 0 27508 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 111908

[startup+83.1006 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14557
/proc/meminfo: memFree=29719948/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=112040 CPUtime=83.1
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29428 0 0 0 5518 2792 0 0 25 0 1 0 14744094 114728960 26494 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 28010 26494 237 467 0 27541 0
Current children cumulated CPU time (s) 83.1
Current children cumulated vsize (KiB) 112040

[startup+89.5004 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14558
/proc/meminfo: memFree=29719696/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=112304 CPUtime=89.49
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29616 0 0 0 5999 2950 0 0 25 0 1 0 14744094 114999296 26552 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 28076 26552 237 467 0 27607 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 112304

[startup+91.1001 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14558
/proc/meminfo: memFree=29719200/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=112436 CPUtime=91.09
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29694 0 0 0 6123 2986 0 0 25 0 1 0 14744094 115134464 26592 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 28109 26592 237 467 0 27640 0
Current children cumulated CPU time (s) 91.09
Current children cumulated vsize (KiB) 112436

[startup+91.901 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14558
/proc/meminfo: memFree=29719196/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=112568 CPUtime=91.89
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29732 0 0 0 6187 3002 0 0 25 0 1 0 14744094 115269632 26600 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 28142 26600 237 467 0 27673 0
Current children cumulated CPU time (s) 91.89
Current children cumulated vsize (KiB) 112568

[startup+92.3009 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14558
/proc/meminfo: memFree=29719196/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=112568 CPUtime=92.3
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29751 0 0 0 6225 3005 0 0 25 0 1 0 14744094 115269632 26603 4089446400 134512640 136422188 4293047792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 28142 26603 237 467 0 27673 0
Current children cumulated CPU time (s) 92.3
Current children cumulated vsize (KiB) 112568

[startup+92.5008 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 14558
/proc/meminfo: memFree=29719196/32950928 swapFree=67111528/67111528
[pid=14554] ppid=14552 vsize=105064 CPUtime=92.5
/proc/14554/stat : 14554 (pbct) R 14552 14554 13631 0 -1 4202496 29758 0 0 0 6244 3006 0 0 25 0 1 0 14744094 107585536 25266 4089446400 134512640 136422188 4293047792 18446744073709551615 134701821 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14554/statm: 26266 25266 240 467 0 25797 0
Current children cumulated CPU time (s) 92.5
Current children cumulated vsize (KiB) 105064

Child status: 0
Real time (s): 92.5849
CPU time (s): 92.5879
CPU user time (s): 62.5225
CPU system time (s): 30.0654
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 112568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.5225
system time used= 30.0654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29759
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= 1
involuntary context switches= 65

runsolver used 0.151976 second user time and 0.318951 second system time

The end

Launcher Data 

Begin job on node116 at 2010-07-07 03:15:05
IDJOB=2699145
IDBENCH=79338
IDSOLVER=1212
FILE ID=node116/2699145-1278465305
PBS_JOBID= 11233761
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= a305848cf761b3c7939395660924f4d7
RANDOM SEED=76568498

node116.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.858
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.71
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.858
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	: 5332.83
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.858
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.75
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.858
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.83
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.858
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.73
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.858
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.75
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.858
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.75
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.858
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:     32950928 kB
MemFree:      29825328 kB
Buffers:        113848 kB
Cached:        2779932 kB
SwapCached:          0 kB
Active:         946300 kB
Inactive:      2034784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29825328 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2352 kB
Writeback:           0 kB
AnonPages:       87072 kB
Mapped:          15436 kB
Slab:            80344 kB
PageTables:       4588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   229608 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= 73580 MiB
End job on node116 at 2010-07-07 03:16:38