Trace number 372757

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)36 1800.12 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark31
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
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 (download as text)

0.00/0.00	c Parsing PB file...
1.09/1.11	c Converting 35444 PB-constraints to clauses...
1.09/1.11	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
1.09/1.13	c   -- Detecting intervals from adjacent constraints: #########
1.09/1.14	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.19/1.22	c ---[32911]---> BDD-cost:    1
1.19/1.22	c ---[31694]---> BDD-cost:    1
1.19/1.22	c ---[30832]---> BDD-cost:    1
1.19/1.22	c ---[30512]---> BDD-cost:    1
1.19/1.22	c ---[30363]---> BDD-cost:    1
1.19/1.22	c ---[30312]---> BDD-cost:    1
1.19/1.22	c ---[30295]---> BDD-cost:    1
1.19/1.22	c ---[30290]---> BDD-cost:    1
1.19/1.22	c ---[30288]---> BDD-cost:    1
1.19/1.22	c ==================================[MINISAT+]==================================
1.19/1.22	c | Conflicts | Original         | Learnt                           | Progress |
1.19/1.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.19/1.22	c ==============================================================================
1.19/1.22	c |         0 |   30473    73536 |   10157       0        0     nan |  0.000 % |
1.19/1.23	c ==============================================================================
1.19/1.23	c Found solution: 37
1.19/1.23	o 37
1.19/1.28	c ---[   0]---> Adder-cost: 8908   maxlim: 4423   bits: 13/13
14.58/14.61	c ==================================[MINISAT+]==================================
14.58/14.61	c | Conflicts | Original         | Learnt                           | Progress |
14.58/14.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.58/14.61	c ==============================================================================
14.58/14.61	c |        17 |   91773   293926 |   30591      16      255    15.9 |  0.000 % |
14.68/14.72	c |       117 |   91379   292519 |   33650      49      605    12.3 | 10.962 % |
14.68/14.79	c |       268 |   91228   291992 |   37015     181     1112     6.1 | 11.101 % |
14.88/14.96	c |       493 |   91066   291450 |   40716     377     1736     4.6 | 11.244 % |
15.18/15.26	c |       830 |   91023   291311 |   44788     709     3020     4.3 | 11.288 % |
15.79/15.80	c |      1336 |   90829   290647 |   49267    1185     4824     4.1 | 11.461 % |
16.49/16.58	c |      2095 |   90743   290361 |   54193    1930     8271     4.3 | 11.545 % |
17.39/17.48	c |      3234 |   90720   290286 |   59613    3065    21892     7.1 | 11.565 % |
18.29/18.32	c |      4943 |   90711   290257 |   65574    4773   131115    27.5 | 11.575 % |
19.39/19.40	c |      7506 |   90711   290257 |   72131    7336   361975    49.3 | 11.575 % |
21.59/21.64	c |     11358 |   90711   290257 |   79345   11188  1126007   100.6 | 11.575 % |
24.48/24.56	c |     17124 |   90711   290257 |   87279   16954  1975814   116.5 | 11.575 % |
30.29/30.30	c |     25775 |   90711   290257 |   96007   25605  3417446   133.5 | 11.575 % |
44.58/44.64	c |     38750 |   90711   290257 |  105608   38580  6284666   162.9 | 11.575 % |
68.18/68.20	c |     58213 |   90711   290257 |  116169   58043 10831176   186.6 | 11.575 % |
112.56/112.67	c |     87405 |   90711   290257 |  127786   87235 16714403   191.6 | 11.575 % |
215.32/215.44	c |    131194 |   90711   290257 |  140564  131024 24838003   189.6 | 11.575 % |
290.01/290.17	c ==============================================================================
290.01/290.17	c Found solution: 36
290.01/290.17	o 36
290.11/290.24	c ---[   0]---> Adder-cost: 0   maxlim: 4424   bits: 13/13
304.20/304.30	c ==================================[MINISAT+]==================================
304.20/304.30	c | Conflicts | Original         | Learnt                           | Progress |
304.20/304.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
304.20/304.30	c ==============================================================================
304.20/304.30	c |    173991 |   90724   290308 |   30241   47549  7399197   155.6 | 11.575 % |
304.70/304.84	c |    174091 |   90724   290308 |   33265   18239  2266074   124.2 | 11.577 % |
304.90/305.09	c |    174241 |   90724   290308 |   36591   18389  2267163   123.3 | 11.577 % |
305.40/305.59	c |    174466 |   90724   290308 |   40250   18614  2268156   121.9 | 11.577 % |
305.90/306.08	c |    174804 |   90724   290308 |   44275   18952  2270053   119.8 | 11.577 % |
306.50/306.64	c |    175310 |   90724   290308 |   48703   19458  2276566   117.0 | 11.577 % |
306.90/307.02	c |    176072 |   90724   290308 |   53573   20220  2361605   116.8 | 11.577 % |
307.50/307.64	c |    177212 |   90724   290308 |   58931   21360  2476457   115.9 | 11.577 % |
308.80/308.93	c |    178920 |   90724   290308 |   64824   23068  2754078   119.4 | 11.577 % |
310.80/310.98	c |    181487 |   90724   290308 |   71306   25635  3166847   123.5 | 11.577 % |
314.10/314.26	c |    185333 |   90724   290308 |   78437   29481  3765337   127.7 | 11.577 % |
319.49/319.61	c |    191103 |   90724   290308 |   86281   35251  4591866   130.3 | 11.577 % |
330.09/330.28	c |    199752 |   90724   290308 |   94909   43900  6004395   136.8 | 11.577 % |
354.49/354.62	c |    212726 |   90724   290308 |  104400   56874  8378313   147.3 | 11.577 % |
396.98/397.20	c |    232188 |   90724   290308 |  114840   76336 12287948   161.0 | 11.577 % |
467.96/468.17	c |    261381 |   90724   290308 |  126324  105529 19354545   183.4 | 11.577 % |
569.13/569.39	c |    305170 |   90724   290308 |  138956   39068  8940847   228.9 | 11.577 % |
745.67/745.92	c |    370857 |   90724   290308 |  152852  104755 23790313   227.1 | 11.577 % |
1032.59/1032.96	c |    469383 |   90724   290308 |  168137   67907 14073412   207.2 | 11.577 % |
1485.46/1485.93	c |    617172 |   90724   290308 |  184951   62692 15864638   253.1 | 11.577 % |
1800.07/1800.61	c 
1800.07/1800.61	c *** TERMINATED ***
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	v -x295 -x297 -x299 -x301 -x303 -x305 x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335
1800.07/1800.61	v -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377
1800.07/1800.61	v -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419
1800.07/1800.61	v -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461
1800.07/1800.61	v -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503
1800.07/1800.61	v -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545
1800.07/1800.61	v -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587
1800.07/1800.61	v -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629
1800.07/1800.61	v -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671
1800.07/1800.61	v -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713
1800.07/1800.61	v -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755
1800.07/1800.61	v -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797
1800.07/1800.61	v -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839
1800.07/1800.61	v -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881
1800.07/1800.61	v -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923
1800.07/1800.61	v -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965
1800.07/1800.61	v -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005
1800.07/1800.61	v -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039
1800.07/1800.61	v -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073
1800.07/1800.61	v -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107
1800.07/1800.61	v -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141
1800.07/1800.61	v -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175
1800.07/1800.61	v -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209
1800.07/1800.61	v -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243
1800.07/1800.61	v -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277
1800.07/1800.61	v -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311
1800.07/1800.61	v -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345
1800.07/1800.61	v -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379
1800.07/1800.61	v -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413
1800.07/1800.61	v -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447
1800.07/1800.61	v -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 x1467 -x1469 -x1471 -x1473 x1475 -x1477 -x1479 -x1481 -x1483
1800.07/1800.61	v -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517
1800.07/1800.61	v -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551
1800.07/1800.61	v -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585
1800.07/1800.61	v -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619
1800.07/1800.61	v -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 x1647 -x1649 -x1651 -x1653
1800.07/1800.61	v -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687
1800.07/1800.61	v -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721
1800.07/1800.61	v -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755
1800.07/1800.61	v -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789
1800.07/1800.61	v -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823
1800.07/1800.61	v -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856
1800.07/1800.61	v -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890
1800.07/1800.61	v -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924
1800.07/1800.61	v -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958
1800.07/1800.61	v -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992
1800.07/1800.61	v -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026
1800.07/1800.61	v -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060
1800.07/1800.61	v -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094
1800.07/1800.61	v -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128
1800.07/1800.61	v -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162
1800.07/1800.61	v -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196
1800.07/1800.61	v -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230
1800.07/1800.61	v -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264
1800.07/1800.61	v -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298
1800.07/1800.61	v -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332
1800.07/1800.61	v -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366
1800.07/1800.61	v -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400
1800.07/1800.61	v -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434
1800.07/1800.61	v -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468
1800.07/1800.61	v -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502
1800.07/1800.61	v -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 x2534 -x2536
1800.07/1800.61	v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570
1800.07/1800.61	v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604
1800.07/1800.61	v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638
1800.07/1800.61	v x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672
1800.07/1800.61	v -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706
1800.07/1800.61	v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740
1800.07/1800.61	v -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774
1800.07/1800.61	v -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808
1800.07/1800.61	v -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842
1800.07/1800.61	v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876
1800.07/1800.61	v -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910
1800.07/1800.61	v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944
1800.07/1800.61	v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978
1800.07/1800.61	v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012
1800.07/1800.61	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1800.07/1800.61	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1800.07/1800.61	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1800.07/1800.61	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1800.07/1800.61	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1800.07/1800.61	v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216
1800.07/1800.61	v -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250
1800.07/1800.61	v -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284
1800.07/1800.61	v -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318
1800.07/1800.61	v -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352
1800.07/1800.61	v -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386
1800.07/1800.61	v -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420
1800.07/1800.61	v -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454
1800.07/1800.61	v -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488
1800.07/1800.61	v -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522
1800.07/1800.61	v -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556
1800.07/1800.61	v -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590
1800.07/1800.61	v -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624
1800.07/1800.61	v -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658
1800.07/1800.61	v -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692
1800.07/1800.61	v -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726
1800.07/1800.61	v -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760
1800.07/1800.61	v -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794
1800.07/1800.61	v -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828
1800.07/1800.61	v -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862
1800.07/1800.61	v -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896
1800.07/1800.61	v -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930
1800.07/1800.61	v -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964
1800.07/1800.61	v -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998
1800.07/1800.61	v -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032
1800.07/1800.61	v -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066
1800.07/1800.61	v -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100
1800.07/1800.61	v -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134
1800.07/1800.61	v -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168
1800.07/1800.61	v -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202
1800.07/1800.61	v -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235
1800.07/1800.61	v -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269
1800.07/1800.61	v -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303
1800.07/1800.61	v -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337
1800.07/1800.61	v -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371
1800.07/1800.61	v -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405
1800.07/1800.61	v -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439
1800.07/1800.61	v -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473
1800.07/1800.61	v -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507
1800.07/1800.61	v -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541
1800.07/1800.61	v -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575
1800.07/1800.61	v -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609
1800.07/1800.61	v -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643
1800.07/1800.61	v -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677
1800.07/1800.61	v -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711
1800.07/1800.61	v -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745
1800.07/1800.61	v -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779
1800.07/1800.61	v -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813
1800.07/1800.61	v -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847
1800.07/1800.61	v -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881
1800.07/1800.61	v -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915
1800.07/1800.61	v -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949
1800.07/1800.61	v -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983
1800.07/1800.61	v -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017
1800.07/1800.61	v -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051
1800.07/1800.61	v -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085
1800.07/1800.61	v -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119
1800.07/1800.61	v -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153
1800.07/1800.61	v -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187
1800.07/1800.61	v -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221
1800.07/1800.61	v -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255
1800.07/1800.61	v -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289
1800.07/1800.61	v -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323
1800.07/1800.61	v -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357
1800.07/1800.61	v -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391
1800.07/1800.61	v -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425
1800.07/1800.61	v -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459
1800.07/1800.61	v -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493
1800.07/1800.61	v -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527
1800.07/1800.61	v -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561
1800.07/1800.61	v x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595
1800.07/1800.61	v -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629
1800.07/1800.61	v -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663
1800.07/1800.61	v -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697
1800.07/1800.61	v -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731
1800.07/1800.61	v -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765
1800.07/1800.61	v -x5767 -x5769 -x5771 -x5773 x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799
1800.07/1800.61	v -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833
1800.07/1800.61	v -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867
1800.07/1800.61	v -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901
1800.07/1800.61	v -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935
1800.07/1800.61	v -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969
1800.07/1800.61	v -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003
1800.07/1800.61	v -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037
1800.07/1800.61	v -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071
1800.07/1800.61	v -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105
1800.07/1800.61	v -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138
1800.07/1800.61	v -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171
1800.07/1800.61	v -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205
1800.07/1800.61	v -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239
1800.07/1800.61	v -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273
1800.07/1800.61	v -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307
1800.07/1800.61	v -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341
1800.07/1800.61	v -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 x6369 -x6371 -x6373 -x6375
1800.07/1800.61	v -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409
1800.07/1800.61	v -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443
1800.07/1800.61	v -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477
1800.07/1800.61	v -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511
1800.07/1800.61	v -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545
1800.07/1800.61	v -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579
1800.07/1800.61	v -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613
1800.07/1800.61	v -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647
1800.07/1800.61	v -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681
1800.07/1800.61	v -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715
1800.07/1800.61	v -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749
1800.07/1800.61	v -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783
1800.07/1800.61	v -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817
1800.07/1800.61	v -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6842 -x6844 -x6846 -x6848 -x6850
1800.07/1800.61	v -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884
1800.07/1800.61	v -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918
1800.07/1800.61	v -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952
1800.07/1800.61	v -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986
1800.07/1800.61	v -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020
1800.07/1800.61	v -x7022 -x7024 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054
1800.07/1800.61	v -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088
1800.07/1800.61	v -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 x7120 -x7122
1800.07/1800.61	v -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156
1800.07/1800.61	v -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190
1800.07/1800.61	v -x7192 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224
1800.07/1800.61	v -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258
1800.07/1800.61	v -x7260 -x7262 x7264 -x7266 -x7268 -x7270 x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294
1800.07/1800.61	v -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328
1800.07/1800.61	v -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362
1800.07/1800.61	v -x7364 -x7366 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396
1800.07/1800.61	v -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430
1800.07/1800.61	v -x7432 -x7434 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464
1800.07/1800.61	v -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498
1800.07/1800.61	v -x7500 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531
1800.07/1800.61	v -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565
1800.07/1800.61	v -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599
1800.07/1800.61	v -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633
1800.07/1800.61	v -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667
1800.07/1800.61	v -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701
1800.07/1800.61	v -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735
1800.07/1800.61	v -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769
1800.07/1800.61	v -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7795 -x7797 -x7799 -x7801 -x7803
1800.07/1800.61	v -x7805 -x7807 -x7809 -x7811 x7813 -x7815 -x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837
1800.07/1800.61	v -x7839 -x7841 -x7843 -x7845 -x7847 -x7849 -x7851 -x7853 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x7869 -x7871
1800.07/1800.61	v -x7873 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7897 -x7899 -x7901 -x7903 -x7905
1800.07/1800.61	v -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7921 -x7923 -x7925 -x7927 -x7929 -x7931 -x7933 -x7935 -x7937 -x7939
1800.07/1800.61	v -x7941 -x7943 -x7945 -x7947 -x7949 -x7951 -x7953 -x7955 -x7957 -x7959 -x7961 -x7963 -x7965 -x7967 -x7969 -x7971 -x7973
1800.07/1800.61	v -x7975 -x7977 -x7979 -x7981 -x7983 -x7985 -x7987 -x7989 -x7991 -x7993 -x7995 -x7997 -x7999 -x8001 -x8003 -x8005 -x8007
1800.07/1800.61	v -x8009 -x8011 -x8013 -x8015 -x8017 -x8019 -x8021 -x8023 -x8025 -x8027 -x8029 -x8031 -x8033 -x8035 -x8037 -x8039 -x8041
1800.07/1800.61	v -x8043 -x8045 -x8047 -x8049 -x8051 -x8053 -x8055 -x8057 -x8059 -x8061 -x8063 -x8065 -x8067 -x8069 -x8071 -x8073 -x8075
1800.07/1800.61	v -x8077 -x8079 -x8081 -x8083 -x8085 -x8087 -x8089 -x8091 -x8093 -x8095 -x8097 -x8099 -x8101 -x8103 -x8105 -x8107 -x8109
1800.07/1800.61	v -x8111 x8113 -x8115 -x8117 -x8119 -x8121 -x8123 -x8125 -x8127 -x8129 x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x8143 -x8145
1800.07/1800.61	v -x8147 -x8149 -x8151 -x8153 -x8155 -x8157 -x8159 -x8161 -x8163 -x8165 -x8167 -x8169 -x8171 -x8173 -x8175 -x8177 -x8179
1800.07/1800.61	v -x8181 -x8183 -x8185 -x8187 -x8189 -x8191 -x8193 -x8195 -x8197 -x8199 -x8201 -x8203 -x8205 -x8207 -x8209 -x8211 -x8213
1800.07/1800.61	v -x8215 -x8217 -x8219 -x8221 -x8223 -x8225 -x8227 -x8229 -x8231 -x8233 -x8235 -x8237 -x8239 -x8241 -x8243 -x8245 -x8247
1800.07/1800.61	v -x8249 -x8251 -x8253 -x8255 -x8257 -x8259 -x8261 -x8263 -x8265 -x8267 -x8269 -x8271 -x8273 -x8275 -x8277 -x8279 -x8281
1800.07/1800.61	v -x8283 -x8285 -x8287 -x8289 -x8291 -x8293 -x8295 -x8297 -x8299 -x8301 -x8303 -x8305 -x8307 -x8309 -x8311 -x8313 -x8315
1800.07/1800.61	v -x8317 -x8319 -x8321 -x8323 -x8325 -x8327 -x8329 -x8331 -x8333 -x8335 -x8337 -x8339 -x8341 -x8343 -x8345 -x8347 -x8349
1800.07/1800.61	v -x8351 -x8353 -x8355 -x8357 -x8359 -x8361 -x8363 -x8365 -x8367 -x8369 -x8371 -x8373 -x8375 -x8377 -x8379 -x8381 -x8383
1800.07/1800.61	v -x8385 -x8387 -x8389 -x8391 -x8393 -x8395 -x8397 -x8399 -x8401 -x8403 -x8405 -x8407 -x8409 -x8411 -x8413 -x8415 -x8417
1800.07/1800.61	v -x8419 -x8421 -x8423 -x8425 -x8427 -x8429 -x8431 -x8433 -x8435 -x8437 -x8439 -x8441 -x8443 -x8445 -x8447 -x8449 -x8451
1800.07/1800.61	v -x8453 -x8455 -x8457 -x8459 -x8461 -x8463 -x8465 -x8467 -x8469 -x8471 -x8473 -x8475 -x8477 -x8479 -x8481 -x8483 x8485
1800.07/1800.61	v -x8487 -x8489 -x8491 -x8493 -x8495 -x8497 -x8499 -x8501 -x8503 -x8505 -x8507 -x8509 -x8511 -x8513 -x8515 -x8517 -x8519
1800.07/1800.61	v -x8521 -x8523 -x8525 -x8527 -x8529 -x8531 -x8533 -x8535 -x8537 -x8539 -x8541 -x8543 -x8545 -x8547 -x8549 -x8551 -x8553
1800.07/1800.61	v -x8555 -x8557 -x8559 -x8561 -x8563 -x8565 -x8567 -x8569 -x8571 -x8573 -x8575 -x8577 -x8579 -x8581 -x8583 -x8585 -x8587
1800.07/1800.61	v -x8589 -x8591 -x8593 -x8595 -x8597 -x8599 -x8601 -x8603 -x8605 -x8607 -x8609 -x8611 -x8613 -x8615 -x8617 -x8619 -x8621
1800.07/1800.61	v -x8623 -x8625 -x8627 -x8629 -x8631 -x8633 -x8635 -x8637 -x8639 -x8641 -x8643 -x8645 -x8647 -x8649 -x8651 -x8653 -x8655
1800.07/1800.61	v -x8657 -x8659 -x8661 -x8663 -x8665 -x8667 -x8669 -x8671 -x8673 -x8675 -x8677 -x8679 -x8681 -x8683 -x8685 -x8687 -x8689
1800.07/1800.61	v -x8691 -x8693 -x8695 -x8697 -x8699 -x8701 -x8703 -x8705 -x8707 -x8709 -x8711 -x8713 -x8715 -x8717 -x8719 -x8721 -x8723
1800.07/1800.61	v -x8725 -x8727 -x8729 -x8731 -x8733 -x8735 -x8737 -x8739 -x8741 -x8743 -x8745 -x8747 -x8749 -x8751 -x8753 -x8755 -x8757
1800.07/1800.61	v -x8759 -x8761 -x8763 -x8765 -x8767 -x8769 -x8771 -x8773 -x8775 -x8777 -x8779 -x8781 -x8783 -x8785 -x8787 -x8789 -x8791
1800.07/1800.61	v -x8793 -x8795 -x8797 -x8799 -x8801 -x8803 -x8805 -x8807 -x8809 -x8811 -x8813 -x8815 -x8817 -x8819 -x8821 -x8823 -x8825
1800.07/1800.61	v -x8827 -x8829 -x8831 -x8833 -x8835 -x8837 -x8839 -x8841 -x8843 -x8845 -x8847 -x8849 -x8851 -x8853 -x8855 -x8857 -x8859
1800.07/1800.61	v -x8861 -x8863 -x8865 -x8867 -x8869 -x8871 -x8873 -x8875 -x8877 -x8879 -x8881 -x8883 -x8885 -x8887 -x8889 -x8891 -x8893
1800.07/1800.61	v -x8895 -x8897 -x8899 -x8901 -x8903 -x8905 -x8907 -x8909 -x8911 -x8913 -x8915 -x8917 -x8919 -x8921 -x8923 -x8925 -x8927
1800.07/1800.61	v -x8929 -x8931 -x8932 -x8934 -x8936 -x8938 -x8940 -x8942 -x8944 -x8946 -x8948 -x8950 x8951 -x8953 -x8955 -x8957 -x8959
1800.07/1800.61	v -x8961 -x8963 -x8965 -x8967 -x8969 -x8971 -x8973 -x8975 -x8977 -x8979 -x8981 -x8983 -x8985 -x8987 -x8989 -x8991 -x8993
1800.07/1800.61	v -x8995 -x8997 -x8999 -x9001 -x9003 -x9005 x9007 -x9009 -x9011 -x9013 -x9015 -x9017 -x9019 -x9021 -x9023 -x9025 -x9027
1800.07/1800.61	v -x9029 -x9031 -x9033 -x9035 -x9037 -x9039 -x9041 -x9043 -x9045 -x9047 -x9049 -x9051 -x9053 -x9055 -x9057 -x9059 -x9061
1800.07/1800.61	v -x9063 -x9065 -x9067 -x9069 -x9071 -x9073 -x9075 -x9077 -x9079 -x9081 -x9083 -x9085 -x9087 -x9089 -x9091 -x9093 -x9095
1800.07/1800.61	v -x9097 -x9099 -x9101 -x9103 -x9105 -x9107 -x9109 -x9111 -x9113 -x9115 -x9117 -x9119 -x9121 -x9123 -x9125 -x9127 -x9129
1800.07/1800.61	v -x9131 -x9133 -x9134 -x9136 -x9138 -x9140 -x9142 -x9144 -x9146 -x9148 -x9150 -x9152 -x9154 -x9156 -x9158 -x9160 -x9162
1800.07/1800.61	v -x9164 -x9166 -x9168 -x9170 -x9172 -x9174 -x9176 -x9178 -x9180 -x9182 -x9184 -x9186 -x9188 -x9190 -x9192 -x9194 -x9196
1800.07/1800.61	v -x9198 -x9200 -x9202 -x9204 -x9206 -x9208 -x9210 -x9212 -x9214 -x9216 -x9218 -x9220 -x9222 -x9224 -x9226 -x9228 -x9230
1800.07/1800.61	v -x9232 -x9234 -x9236 -x9238 -x9240 -x9242 -x9244 -x9246 -x9248 -x9250 -x9252 -x9254 -x9256 -x9258 -x9260 -x9262 -x9264
1800.07/1800.61	v -x9266 -x9268 -x9270 -x9272 -x9274 -x9276 -x9278 -x9280 -x9282 -x9284 -x9286 -x9288 -x9290 -x9292 -x9294 -x9296 -x9298
1800.07/1800.61	v -x9300 -x9302 -x9304 -x9306 -x9308 -x9310 -x9312 -x9314 -x9316 -x9318 -x9320 -x9322 -x9324 -x9326 -x9328 -x9330 -x9332
1800.07/1800.61	v -x9334 -x9336 -x9338 -x9340 -x9342 -x9344 -x9346 -x9348 -x9350 -x9352 -x9354 -x9356 -x9358 -x9360 -x9362 -x9364 -x9366
1800.07/1800.61	v -x9368 -x9370 -x9372 -x9374 -x9376 -x9378 -x9380 -x9382 -x9384 -x9386 -x9388 -x9390 -x9392 -x9394 -x9396 -x9398 -x9400
1800.07/1800.61	v -x9402 -x9404 -x9406 -x9408 -x9410 -x9412 -x9414 -x9416 -x9418 -x9420 -x9422 -x9424 -x9426 -x9428 -x9430 -x9432 -x9434
1800.07/1800.61	v -x9436 -x9438 -x9440 -x9442 -x9444 -x9446 -x9448 -x9450 -x9452 -x9454 -x9456 -x9458 -x9460 -x9462 -x9464 -x9466 -x9468
1800.07/1800.61	v -x9470 -x9472 -x9474 -x9476 -x9478 -x9480 -x9482 -x9484 -x9486 -x9488 -x9490 -x9492 -x9494 -x9496 -x9498 -x9500 -x9502
1800.07/1800.61	v -x9504 -x9506 -x9508 -x9510 -x9512 -x9514 -x9516 -x9518 -x9520 -x9522 -x9524 -x9526 -x9528 -x9530 -x9532 -x9534 -x9536
1800.07/1800.61	v -x9538 -x9540 -x9542 -x9544 -x9546 -x9548 -x9550 -x9552 -x9554 -x9556 -x9558 -x9560 -x9562 -x9564 -x9566 -x9568 -x9570
1800.07/1800.61	v -x9572 -x9574 -x9576 -x9578 -x9580 -x9582 -x9584 -x9586 -x9588 -x9590 -x9592 -x9594 -x9596 -x9598 -x9600 -x9602 -x9604
1800.07/1800.61	v -x9606 -x9608 -x9610 -x9612 -x9614 -x9616 -x9618 -x9620 -x9622 -x9624 -x9626 -x9628 -x9630 -x9632 -x9634 -x9636 -x9638
1800.07/1800.61	v -x9640 -x9642 -x9644 -x9646 -x9648 -x9650 -x9652 -x9654 -x9656 -x9658 -x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672
1800.07/1800.61	v -x9674 -x9676 -x9678 -x9680 -x9682 -x9684 -x9686 -x9688 -x9690 -x9692 -x9694 -x9696 -x9698 -x9700 -x9702 -x9704 -x9706
1800.07/1800.61	v -x9708 -x9710 -x9712 -x9714 -x9716 -x9718 -x9720 -x9722 -x9724 -x9726 -x9728 -x9730 -x9732 -x9734 x9736 -x9738 -x9740
1800.07/1800.61	v -x9742 -x9744 -x9746 -x9748 -x9750 -x9752 -x9754 -x9756 -x9758 -x9760 -x9762 -x9764 -x9766 -x9768 -x9770 -x9772 -x9774
1800.07/1800.61	v -x9776 -x9778 x9780 -x9782 -x9784 -x9786 -x9788 -x9790 -x9792 -x9794 -x9796 -x9798 -x9800 -x9802 -x9804 -x9806 -x9808
1800.07/1800.61	v -x9810 -x9812 -x9814 -x9816 -x9818 -x9820 -x9822 -x9824 -x9826 -x9828 -x9830 -x9832 -x9834 -x9836 -x9838 -x9840 -x9842
1800.07/1800.61	v -x9844 -x9846 -x9848 -x9850 -x9852 -x9854 -x9856 -x9858 -x9860 -x9862 -x9864 -x9866 -x9868 -x9870 -x9872 -x9874 -x9876
1800.07/1800.61	v -x9878 -x9880 -x9882 -x9884 -x9886 -x9888 -x9890 -x9892 -x9894 -x9896 -x9898 -x9900 -x9902 -x9904 -x9906 -x9908 -x9910
1800.07/1800.61	v -x9912 -x9914 -x9916 -x9918 -x9920 -x9922 -x9924 -x9926 -x9928 -x9930 -x9932 -x9934 -x9936 -x9938 -x9940 -x9942 -x9944
1800.07/1800.61	v -x9946 -x9948 -x9950 -x9952 -x9954 -x9956 -x9958 -x9960 -x9962 -x9964 -x9966 -x9968 -x9970 -x9972 -x9974 -x9976 -x9978
1800.07/1800.61	v -x9980 -x9982 -x9984 -x9986 -x9988 -x9990 -x9992 -x9994 -x9996 -x9998 -x10000 -x10002 -x10004 -x10006 -x10008 -x10010
1800.07/1800.61	v -x10012 -x10014 -x10016 -x10018 -x10020 -x10022 -x10024 -x10026 -x10028 -x10030 -x10032 -x10034 -x10036 -x10038 -x10040
1800.07/1800.61	v -x10042 -x10044 -x10046 -x10048 -x10050 -x10052 -x10054 -x10056 -x10058 -x10060 -x10062 -x10064 -x10066 -x10068 -x10070
1800.07/1800.61	v -x10072 -x10074 -x10076 -x10078 -x10080 -x10082 -x10084 -x10086 -x10088 -x10090 -x10092 -x10094 -x10096 -x10098 -x10100
1800.07/1800.61	v -x10102 -x10104 -x10106 -x10108 -x10110 -x10112 -x10114 -x10116 -x10118 -x10120 -x10122 -x10124 -x10126 -x10128 -x10130
1800.07/1800.61	v -x10132 -x10134 -x10136 -x10138 -x10140 -x10142 -x10144 -x10146 -x10148 -x10150 -x10152 -x10154 -x10156 -x10158 -x10160
1800.07/1800.61	v -x10162 -x10164 -x10166 -x10168 -x10170 -x10172 -x10174 -x10176 -x10178 -x10180 -x10182 -x10184 -x10186 -x10188 -x10190
1800.07/1800.61	v -x10192 -x10194 -x10196 -x10198 -x10200 -x10202 -x10204 -x10206 -x10208 -x10210 -x10212 -x10214 -x10216 -x10218 -x10220
1800.07/1800.61	v -x10222 -x10224 -x10226 -x10228 -x10230 -x10232 -x10234 -x10236 -x10238 -x10240 -x10242 -x10244 -x10246 -x10248 -x10250
1800.07/1800.61	v -x10252 -x10254 -x10256 -x10258 -x10260 -x10262 x10264 -x10266 -x10268 -x10270 -x10272 -x10274 -x10276 x10278 -x10280
1800.07/1800.61	v -x10282 -x10284 -x10286 -x10288 -x10290 -x10292 -x10294 -x10296 -x10298 -x10300 -x10302 -x10304 -x10306 -x10308 -x10310
1800.07/1800.61	v -x10312 -x10314 -x10316 -x10318 -x10320 -x10322 -x10324 -x10326 -x10328 -x10330 -x10332 -x10334 -x10336 -x10338 -x10340
1800.07/1800.61	v -x10342 -x10344 -x10346 -x10348 -x10350 -x10352 -x10354 -x10356 -x10358 -x10360 -x10362 -x10364 -x10366 -x10368 -x10370
1800.07/1800.61	v -x10372 -x10374 -x10376 -x10378 -x10380 -x10382 -x10384 -x10386 -x10388 -x10390 -x10392 -x10394 -x10396 -x10398 -x10400
1800.07/1800.61	v -x10402 -x10404 -x10406 -x10408 -x10410 -x10412 -x10414 -x10416 -x10418 -x10420 -x10422 -x10424 -x10426 -x10428 -x10430
1800.07/1800.61	v -x10432 -x10434 -x10436 -x10438 -x10440 -x10442 -x10444 -x10446 -x10448 -x10450 -x10452 -x10454 -x10456 -x10458 -x10460
1800.07/1800.61	v -x10462 -x10464 -x10466 -x10468 -x10470 -x10472 -x10474 -x10476 -x10478 -x10480 -x10482 -x10484 -x10486 -x10488 -x10490
1800.07/1800.61	v -x10492 -x10494 -x10496 -x10498 -x10500 -x10502 -x10504 -x10506 -x10508 -x10510 -x10512 -x10514 -x10516 -x10518 -x10520
1800.07/1800.61	v -x10522 -x10524 -x10526 -x10528 -x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550
1800.07/1800.61	v -x10552 -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580
1800.07/1800.61	v -x10582 -x10584 -x10586 -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610
1800.07/1800.61	v -x10612 -x10614 -x10616 -x10618 -x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x10632 -x10634 -x10636 -x10638 -x10640
1800.07/1800.61	v -x10642 -x10644 -x10646 -x10648 -x10650 -x10652 -x10654 -x10656 -x10658 -x10660 -x10662 -x10664 -x10666 -x10668 -x10670
1800.07/1800.61	v -x10672 -x10674 -x10676 -x10678 -x10680 -x10682 -x10684 -x10686 -x10688 -x10690 -x10692 -x10694 -x10696 -x10698 -x10700
1800.07/1800.61	v -x10702 -x10704 -x10706 -x10708 -x10710 -x10712 -x10714 -x10716 -x10718 -x10720 -x10722 -x10724 -x10726 -x10728 -x10730
1800.07/1800.61	v -x10732 x10734 -x10736 -x10738 -x10740 -x10742 -x10744 -x10746 -x10748 -x10750 -x10752 -x10754 -x10756 -x10758 -x10760
1800.07/1800.61	v -x10762 -x10764 -x10766 -x10768 -x10770 -x10772 -x10774 -x10776 -x10778 -x10780 -x10782 -x10784 -x10786 -x10788 -x10790
1800.07/1800.61	v -x10792 -x10794 -x10796 -x10798 -x10800 -x10802 -x10804 -x10806 -x10808 -x10810 -x10812 -x10814 -x10816 -x10818 -x10820
1800.07/1800.61	v -x10822 -x10824 -x10826 -x10828 -x10830 -x10832 -x10834 -x10836 -x10838 -x10840 -x10842 -x10844 -x10846 -x10848 -x10850
1800.07/1800.61	v -x10852 -x10854 -x10856 -x10858 -x10860 -x10862 -x10864 -x10866 -x10868 -x10870 -x10872 -x10874 -x10876 -x10878 -x10880
1800.07/1800.61	v -x10882 -x10884 -x10886 -x10888 -x10890 -x10892 -x10894 -x10896 -x10898 -x10900 -x10902 -x10904 -x10906 -x10908 -x10910
1800.07/1800.61	v -x10912 -x10914 -x10916 -x10918 -x10920 -x10922 -x10924 -x10926 -x10928 -x10930 -x10932 -x10934 -x10936 -x10938 -x10940
1800.07/1800.61	v -x10942 -x10944 -x10946 -x10948 -x10950 -x10952 -x10954 -x10956 -x10958 -x10960 -x10962 -x10964 -x10966 -x10968 -x10970
1800.07/1800.61	v -x10972 -x10974 -x10976 -x10978 -x10980 -x10982 -x10984 -x10986 -x10988 -x10990 -x10992 -x10994 -x10996 -x10998 -x11000
1800.07/1800.61	v -x11002 -x11004 -x11006 -x11008 -x11010 -x11012 -x11014 -x11016 -x11018 -x11020 -x11022 -x11024 -x11026 -x11028 -x11030
1800.07/1800.61	v -x11032 -x11034 -x11036 -x11038 -x11040 -x11042 -x11044 -x11046 -x11048 -x11050 -x11052 -x11054 -x11056 -x11058 -x11060
1800.07/1800.61	v -x11062 -x11064 -x11066 -x11068 -x11070 -x11072 -x11074 -x11076 -x11078 -x11080 -x11082 -x11084 -x11086 -x11088 -x11090
1800.07/1800.61	v -x11092 -x11094 -x11096 -x11098 -x11100 -x11102 -x11104 -x11106 -x11108 -x11110 -x11112 -x11114 -x11116 -x11118 -x11120
1800.07/1800.61	v x11122 -x11124 -x11126 -x11128 -x11130 -x11132 -x11134 -x11136 -x11138 -x11140 -x11142 -x11144 -x11146 -x11148 -x11150
1800.07/1800.61	v -x11152 -x11154 -x11156 -x11158 -x11160 -x11162 -x11164 -x11166 -x11168 -x11170 -x11172 x11174 -x11176 -x11178 -x11180
1800.07/1800.61	v -x11182 -x11184 -x11186 -x11188 -x11190 -x11192 -x11194 -x11196 -x11198 -x11200 -x11202 -x11204 -x11206 -x11208 -x11210
1800.07/1800.61	v -x11212 -x11214 -x11216 -x11218 -x11220 -x11222 -x11224 -x11226 -x11228 -x11230 -x11232 -x11234 -x11236 -x11238 -x11240
1800.07/1800.61	v -x11242 -x11244 -x11246 -x11248 -x11250 -x11252 -x11254 -x11256 -x11258 -x11260 -x11262 -x11264 -x11266 -x11268 -x11270
1800.07/1800.61	v -x11272 -x11274 -x11276 -x11278 x11280 -x11282 -x11284 -x11286 -x11288 -x11290 x11292 -x11294 -x11296 -x11298 x11300
1800.07/1800.61	v -x11302 -x11304 -x11306 -x11308 -x11310 -x11312 -x11314 -x11316 -x11318 -x11320 -x11322 -x11324 -x11326 -x11328 -x11330
1800.07/1800.61	v x11332 x11334 -x294 -x296 -x298 -x300 -x302 -x304 x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328
1800.07/1800.61	v -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370
1800.07/1800.61	v -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412
1800.07/1800.61	v -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454
1800.07/1800.61	v -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496
1800.07/1800.61	v -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538
1800.07/1800.61	v -x540 -x542 -x544 -x546 -x548 -x1 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578
1800.07/1800.61	v -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620
1800.07/1800.61	v -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662
1800.07/1800.61	v -x664 -x666 -x668 -x670 -x672 -x674 -x2 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702
1800.07/1800.61	v -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744
1800.07/1800.61	v -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786
1800.07/1800.61	v -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x3 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826
1800.07/1800.61	v -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x4 -x864 -x866
1800.07/1800.61	v -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908
1800.07/1800.61	v -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950
1800.07/1800.61	v -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x5 -x990
1800.07/1800.61	v -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026
1800.07/1800.61	v -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x6 -x1052 -x1054 -x1056 -x1058 -x1060
1800.07/1800.61	v -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094
1800.07/1800.61	v -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x7 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128
1800.07/1800.61	v -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x8 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162
1800.07/1800.61	v -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196
1800.07/1800.61	v -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230
1800.07/1800.61	v -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264
1800.07/1800.61	v -x1266 -x1268 -x9 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298
1800.07/1800.61	v -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x10 -x1332
1800.07/1800.61	v -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366
1800.07/1800.61	v -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x11 -x1394 -x1396 -x1398 -x1400
1800.07/1800.61	v -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434
1800.07/1800.61	v -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468
1800.07/1800.61	v -x1470 -x1472 x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x12 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502
1800.07/1800.61	v -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x13 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536
1800.07/1800.61	v -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570
1800.07/1800.61	v -x1572 -x1574 -x1576 -x14 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604
1800.07/1800.61	v -x1606 -x15 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638
1800.07/1800.61	v -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x16 -x1668 -x1670 -x1672
1800.07/1800.61	v -x1674 -x1676 -x1678 -x1680 -x17 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706
1800.07/1800.61	v -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740
1800.07/1800.61	v -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774
1800.07/1800.61	v -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x18 -x1808
1800.07/1800.61	v -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843
1800.07/1800.61	v -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x19 -x1869 -x1871 -x1873 -x1875 -x1877
1800.07/1800.61	v -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911
1800.07/1800.61	v -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x20 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945
1800.07/1800.61	v -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x21 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979
1800.07/1800.61	v -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013
1800.07/1800.61	v -x2015 -x2017 -x2019 -x2021 -x22 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047
1800.07/1800.61	v -x2049 -x2051 -x23 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 x2081
1800.07/1800.61	v x24 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x25 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113
1800.07/1800.61	v -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147
1800.07/1800.61	v -x2149 -x2151 -x2153 -x2155 -x2157 -x26 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181
1800.07/1800.61	v -x2183 -x2185 -x2187 -x27 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215
1800.07/1800.61	v -x2217 -x28 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x29 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247
1800.07/1800.61	v -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x30 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x31 -x2277 -x2279
1800.07/1800.61	v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x32 -x2307 -x2309 -x2311 -x2313
1800.07/1800.61	v -x2315 -x2317 -x2319 -x33 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x34 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345
1800.07/1800.61	v -x2347 -x35 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379
1800.07/1800.61	v -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413
1800.07/1800.61	v -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447
1800.07/1800.61	v -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481
1800.07/1800.61	v -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515
1800.07/1800.61	v -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549
1800.07/1800.61	v -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583
1800.07/1800.61	v -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x36 -x2609 -x2611 -x2613 -x2615 -x2617
1800.07/1800.61	v -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651
1800.07/1800.61	v -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685
1800.07/1800.61	v -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719
1800.07/1800.61	v -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x37 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753
1800.07/1800.61	v -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787
1800.07/1800.61	v -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821
1800.07/1800.61	v -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855
1800.07/1800.61	v -x2857 -x2859 -x38 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889
1800.07/1800.61	v -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x39 -x2923
1800.07/1800.61	v -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957
1800.07/1800.61	v -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991
1800.07/1800.61	v -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025
1800.07/1800.61	v -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x40 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059
1800.07/1800.61	v -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093
1800.07/1800.61	v -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x41 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127
1800.07/1800.61	v -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161
1800.07/1800.61	v -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195
1800.07/1800.61	v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229
1800.07/1800.61	v -x3231 -x3233 -x3235 -x42 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263
1800.07/1800.61	v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297
1800.07/1800.61	v -x43 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331
1800.07/1800.61	v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x44 -x3361 -x3363 -x3365
1800.07/1800.61	v -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x45 -x3391 -x3393 -x3395 -x3397 -x3399
1800.07/1800.61	v -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433
1800.07/1800.61	v -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467
1800.07/1800.61	v -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501
1800.07/1800.61	v -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x46 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535
1800.07/1800.61	v -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569
1800.07/1800.61	v -x3571 -x3573 -x3575 -x3577 -x47 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603
1800.07/1800.61	v -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637
1800.07/1800.61	v -x3639 -x48 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x49
1800.07/1800.61	v -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703
1800.07/1800.61	v -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x50 -x3733 -x3735 -x3737
1800.07/1800.61	v -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x51 -x3763 -x3765 -x3767 -x3769 -x3771
1800.07/1800.61	v -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805
1800.07/1800.61	v -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x52 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839
1800.07/1800.61	v -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x53 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873
1800.07/1800.61	v -x3875 -x3877 -x3879 -x3881 -x3883 -x54 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x55 -x3899 -x3901 -x3903 -x3905
1800.07/1800.61	v -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939
1800.07/1800.61	v -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973
1800.07/1800.61	v -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007
1800.07/1800.61	v -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x56 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041
1800.07/1800.61	v -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075
1800.07/1800.61	v -x4077 -x4079 -x4081 -x4083 -x57 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109
1800.07/1800.61	v -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143
1800.07/1800.61	v -x4145 -x58 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x59
1800.07/1800.61	v -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4204 -x4206 -x4208 -x4210
1800.07/1800.61	v -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x60 -x4238 -x4240 -x4242 -x4244
1800.07/1800.61	v -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x61 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278
1800.07/1800.61	v -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312
1800.07/1800.61	v -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x62 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346
1800.07/1800.61	v -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x63 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380
1800.07/1800.61	v -x4382 -x4384 -x4386 -x4388 -x64 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x65 -x4404 -x4406 -x4408 -x4410 -x4412
1800.07/1800.61	v -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446
1800.07/1800.61	v -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x66 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480
1800.07/1800.61	v -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x67 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514
1800.07/1800.61	v -x4516 -x4518 -x4520 -x4522 -x4524 -x68 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x69 -x4540 -x4542 -x4544 -x4546
1800.07/1800.61	v -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x70 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580
1800.07/1800.61	v -x4582 -x71 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x72
1800.07/1800.61	v -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x73 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x74 -x4642 -x4644
1800.07/1800.61	v -x4646 -x75 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678
1800.07/1800.61	v -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712
1800.07/1800.61	v -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746
1800.07/1800.61	v -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x76 -x4774 -x4776 -x4778 -x4780
1800.07/1800.61	v -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814
1800.07/1800.61	v -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x77 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848
1800.07/1800.61	v -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882
1800.07/1800.61	v -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x78 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916
1800.07/1800.61	v -x4918 -x4920 -x4922 -x4924 -x4926 -x79 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950
1800.07/1800.61	v -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984
1800.07/1800.61	v -x4986 -x4988 -x80 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018
1800.07/1800.61	v -x81 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052
1800.07/1800.61	v -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x82 -x5082 -x5084 -x5086
1800.07/1800.61	v -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x83 -x5112 -x5114 -x5116 -x5118 -x5120
1800.07/1800.61	v -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x84 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154
1800.07/1800.61	v -x85 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188
1800.07/1800.61	v -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x86 -x5218 -x5220 -x5222
1800.07/1800.61	v -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x87 -x5248 -x5250 -x5252 -x5254 -x5256
1800.07/1800.61	v -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x88 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290
1800.07/1800.61	v -x89 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x90 -x5322
1800.07/1800.61	v -x5324 -x5326 -x5328 -x5330 -x5332 -x91 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356
1800.07/1800.61	v -x5358 -x5360 -x5362 -x92 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x93 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388
1800.07/1800.61	v -x5390 -x94 -x5392 -x5394 -x5396 -x95 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420
1800.07/1800.61	v -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454
1800.07/1800.61	v -x5456 -x5458 -x96 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488
1800.07/1800.61	v -x97 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x98 -x5520
1800.07/1800.61	v -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554
1800.07/1800.61	v -x5556 -x5558 -x5560 x5562 x99 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x100 -x5578 -x5580 -x5582 -x5584 -x5586
1800.07/1800.61	v -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x101 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618
1800.07/1800.61	v -x5620 -x102 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x103 -x5636 -x5638 -x5640 -x104 -x5642 -x5644 -x5646 -x5648
1800.07/1800.61	v -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x105 -x5672 -x5674 -x5676 -x5678 -x5680
1800.07/1800.61	v -x5682 -x5684 -x106 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x107 -x5700 -x5702 -x5704 -x108 -x5706 -x5708 -x5710
1800.07/1800.61	v -x5712 -x5714 -x5716 -x5718 -x109 -x5720 -x5722 -x5724 -x110 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x111 -x5740
1800.07/1800.61	v -x5742 -x5744 -x112 -x5746 -x5748 x5750 x113 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772
1800.07/1800.61	v x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806
1800.07/1800.61	v -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840
1800.07/1800.61	v -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874
1800.07/1800.61	v -x5876 -x5878 -x114 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906
1800.07/1800.61	v -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940
1800.07/1800.61	v -x115 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5972
1800.07/1800.61	v -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006
1800.07/1800.61	v -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040
1800.07/1800.61	v -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x116 -x6068 -x6070 -x6072
1800.07/1800.61	v -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106
1800.07/1800.61	v -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6125 -x6127 -x117 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139
1800.07/1800.61	v -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174
1800.07/1800.61	v -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x118 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206
1800.07/1800.61	v -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x119 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238
1800.07/1800.61	v -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272
1800.07/1800.61	v -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306
1800.07/1800.61	v -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340
1800.07/1800.61	v -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 x6368 -x6370 -x6372 -x6374
1800.07/1800.61	v -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x120
1800.07/1800.61	v -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440
1800.07/1800.61	v -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x121 -x6470 -x6472
1800.07/1800.61	v -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506
1800.07/1800.61	v -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x122 -x6532 -x6534 -x6536 -x6538
1800.07/1800.61	v -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x123 -x6562 -x6564 -x6566 -x6568 -x6570
1800.07/1800.61	v -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604
1800.07/1800.61	v -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x124 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636
1800.07/1800.61	v -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670
1800.07/1800.61	v -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 x6700 -x6702 -x6704
1800.07/1800.61	v -x6706 -x6708 -x6710 -x6712 -x125 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736
1800.07/1800.61	v -x6738 -x6740 -x6742 -x126 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768
1800.07/1800.61	v -x6770 -x6772 -x127 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x128 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800
1800.07/1800.61	v -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834
1800.07/1800.61	v -x6836 -x6838 -x6840 -x6843 -x6845 -x6847 -x129 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867
1800.07/1800.61	v -x6869 -x6871 -x6873 -x6875 -x6877 -x130 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899
1800.07/1800.61	v -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933
1800.07/1800.61	v -x6935 -x6937 -x6939 -x131 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965
1800.07/1800.61	v -x6967 -x6969 -x132 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997
1800.07/1800.61	v -x6999 -x133 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x134 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029
1800.07/1800.61	v -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x135 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061
1800.07/1800.61	v -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095
1800.07/1800.61	v -x7097 -x7099 -x7101 -x7103 -x7105 -x136 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127
1800.07/1800.61	v -x7129 -x7131 -x7133 -x7135 -x137 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159
1800.07/1800.61	v -x7161 -x7163 -x7165 -x138 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x139 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191
1800.07/1800.61	v -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x140 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223
1800.07/1800.61	v -x141 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255
1800.07/1800.61	v -x7257 -x7259 -x7261 x7263 -x7265 -x7267 x142 -x7269 x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x143 -x7283 -x7285 -x7287
1800.07/1800.61	v -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321
1800.07/1800.61	v -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355
1800.07/1800.61	v -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 x7381 -x7383 -x7385 -x7387 -x7389
1800.07/1800.61	v -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x144 -x7415 -x7417 -x7419 -x7421
1800.07/1800.61	v -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455
1800.07/1800.61	v -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x145 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487
1800.07/1800.61	v -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522
1800.07/1800.61	v -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x146 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554
1800.07/1800.61	v -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x147 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7582 -x7584 -x7586
1800.07/1800.61	v -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620
1800.07/1800.61	v -x7622 -x7624 -x7626 -x148 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652
1800.07/1800.61	v -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686
1800.07/1800.61	v -x7688 -x149 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718
1800.07/1800.61	v -x150 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x151 -x7750
1800.07/1800.61	v -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 -x7778 -x152 -x7780 -x7782
1800.07/1800.61	v -x7784 -x7786 -x7788 -x7790 -x7792 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 x7812 -x7814 -x7816
1800.07/1800.61	v -x7818 -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x7844 -x7846 -x7848 -x7850
1800.07/1800.61	v -x7852 -x7854 -x153 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7876 -x7878 -x7880 -x7882
1800.07/1800.61	v -x7884 -x154 -x7886 -x7888 -x7890 -x7892 -x7894 -x7896 -x7898 -x7900 -x7902 -x7904 -x7906 -x7908 -x7910 -x7912 -x7914
1800.07/1800.61	v -x7916 -x7918 -x7920 -x7922 -x7924 -x7926 -x7928 -x7930 -x7932 -x7934 -x7936 -x7938 -x7940 -x7942 -x7944 -x7946 -x155
1800.07/1800.61	v -x7948 -x7950 -x7952 -x7954 -x7956 -x7958 -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x156 -x7974 -x7976 -x7978
1800.07/1800.61	v -x7980 -x7982 -x7984 -x7986 -x7988 -x7990 -x7992 -x7994 -x7996 -x7998 -x8000 -x8002 -x157 -x8004 -x8006 -x8008 -x8010
1800.07/1800.61	v -x8012 -x8014 -x8016 -x158 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x8030 -x8032 -x8034 -x8036 -x8038 -x8040 -x8042
1800.07/1800.61	v -x8044 -x8046 -x159 -x8048 -x8050 -x8052 -x8054 -x8056 -x8058 -x8060 -x8062 -x8064 -x8066 -x8068 -x8070 -x8072 -x8074
1800.07/1800.61	v -x8076 -x160 -x8078 -x8080 -x8082 -x8084 -x8086 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098 -x8100 -x8102 -x8104 -x8106
1800.07/1800.61	v -x8108 -x8110 x8112 -x8114 -x8116 -x8118 -x8120 x161 -x8122 -x8124 -x8126 -x8128 x8130 -x8132 -x8134 -x162 -x8136 -x8138
1800.07/1800.61	v -x8140 -x8142 -x8144 -x8146 -x8148 -x163 -x8150 -x8152 -x8154 -x164 -x8156 -x8158 -x8160 -x8162 -x8164 -x8166 -x8168 -x8170
1800.07/1800.61	v -x8172 -x8174 -x8176 -x8178 -x8180 -x8182 -x8184 -x8186 -x8188 -x8190 -x8192 -x8194 -x8196 -x8198 -x8200 -x8202 -x8204
1800.07/1800.61	v -x8206 -x8208 -x8210 -x8212 -x8214 -x8216 -x165 -x8218 -x8220 -x8222 -x8224 -x8226 -x8228 -x8230 -x8232 -x8234 -x8236
1800.07/1800.61	v -x8238 -x8240 -x8242 -x8244 -x8246 -x166 -x8248 -x8250 -x8252 -x8254 -x8256 -x8258 -x8260 -x8262 -x8264 -x8266 -x8268
1800.07/1800.61	v -x8270 -x8272 -x8274 -x8276 -x167 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x168 -x8292 -x8294 -x8296 -x8298 -x8300
1800.07/1800.61	v -x8302 -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x169 -x8322 -x8324 -x8326 -x8328 -x8330 -x8332
1800.07/1800.61	v -x8334 -x8336 -x8338 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x170 -x8352 -x8354 -x8356 -x8358 -x8360 -x8362 -x8364
1800.07/1800.61	v -x171 -x8366 -x8368 -x8370 -x8372 -x8374 -x8376 -x8378 -x172 -x8380 -x8382 -x8384 -x8386 -x8388 -x8390 -x8392 -x173 -x8394
1800.07/1800.61	v -x8396 -x8398 -x174 -x8400 -x8402 -x8404 -x8406 -x8408 -x8410 -x8412 -x8414 -x8416 -x8418 -x8420 -x8422 -x8424 -x8426
1800.07/1800.61	v -x8428 -x175 -x8430 -x8432 -x8434 -x8436 -x8438 -x8440 -x8442 -x176 -x8444 -x8446 -x8448 -x8450 -x8452 -x8454 -x8456 -x8458
1800.07/1800.61	v -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472 x177 -x8474 -x8476 -x8478 -x8480 -x8482 x8484 -x8486 -x178 -x8488 -x8490
1800.07/1800.61	v -x8492 -x8494 -x8496 -x8498 -x8500 -x179 -x8502 -x8504 -x180 -x8506 -x8508 -x8510 -x8512 -x8514 -x8516 -x8518 -x181 -x8520
1800.07/1800.61	v -x8522 -x8524 -x8526 -x8528 -x8530 -x8532 -x182 -x8534 -x8536 -x8538 -x183 -x8540 -x8542 -x8544 -x8546 -x8548 -x8550 -x8552
1800.07/1800.61	v -x184 -x8554 -x8556 -x8558 -x185 -x8560 -x8562 -x8564 -x186 -x8566 -x187 -x8568 -x8570 -x8572 -x8574 -x8576 -x8578 -x8580
1800.07/1800.61	v -x8582 -x8584 -x8586 -x8588 -x8590 -x8592 -x8594 -x8596 -x8598 -x8600 -x8602 -x8604 -x8606 -x8608 -x8610 -x8612 -x8614
1800.07/1800.61	v -x8616 -x8618 -x8620 -x8622 -x8624 -x8626 -x8628 -x8630 -x8632 -x8634 -x8636 -x8638 -x8640 -x8642 -x8644 -x8646 -x8648
1800.07/1800.61	v -x8650 -x8652 -x8654 -x8656 -x8658 -x8660 -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 -x8676 -x8678 -x8680 -x8682
1800.07/1800.61	v -x8684 -x8686 -x8688 -x8690 -x8692 -x188 -x8694 -x8696 -x8698 -x8700 -x8702 -x8704 -x8706 -x8708 -x8710 -x8712 -x8714
1800.07/1800.61	v -x8716 -x8718 -x8720 -x8722 -x8724 -x8726 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 -x8744 -x8746 -x8748
1800.07/1800.61	v -x8750 -x8752 -x8754 -x189 -x8756 -x8758 -x8760 -x8762 -x8764 -x8766 -x8768 -x8770 -x8772 -x8774 -x8776 -x8778 -x8780
1800.07/1800.61	v -x8782 -x8784 -x8786 -x8788 -x8790 -x8792 -x8794 -x8796 -x8798 -x8800 -x8802 -x8804 -x8806 -x8808 -x8810 -x8812 -x8814
1800.07/1800.61	v -x8816 -x8818 -x8820 -x8822 -x8824 -x8826 -x8828 -x8830 -x8832 -x8834 -x8836 -x8838 -x8840 -x8842 -x8844 -x8846 -x8848
1800.07/1800.61	v -x8850 -x8852 -x8854 -x8856 -x8858 -x8860 -x8862 -x8864 -x8866 -x8868 -x8870 -x8872 -x8874 -x8876 -x8878 -x8880 -x190
1800.07/1800.61	v -x8882 -x8884 -x8886 -x8888 -x8890 -x8892 -x8894 -x8896 -x8898 -x8900 -x8902 -x8904 -x8906 -x8908 -x8910 -x8912 -x8914
1800.07/1800.61	v -x8916 -x8918 -x8920 -x8922 -x8924 -x8926 -x8928 -x8930 -x8933 -x8935 -x8937 -x8939 -x8941 -x8943 -x8945 -x8947 -x8949
1800.07/1800.61	v -x8952 -x8954 -x8956 -x8958 -x8960 -x8962 -x8964 -x8966 -x8968 -x8970 -x8972 -x8974 -x8976 -x8978 -x8980 -x8982 -x8984
1800.07/1800.61	v -x8986 -x8988 -x8990 -x8992 -x8994 -x8996 -x8998 -x9000 -x9002 -x191 -x9004 -x9006 -x9008 -x9010 -x9012 -x9014 -x9016
1800.07/1800.61	v -x9018 -x9020 -x9022 -x9024 -x9026 -x9028 -x9030 -x9032 -x192 -x9034 -x9036 -x9038 -x9040 -x9042 -x9044 -x9046 -x9048
1800.07/1800.61	v -x9050 -x9052 -x9054 -x9056 -x9058 -x9060 -x9062 -x9064 -x9066 -x9068 -x9070 -x9072 -x9074 -x9076 -x9078 -x9080 -x9082
1800.07/1800.61	v -x9084 -x9086 -x9088 -x9090 -x9092 -x9094 -x193 -x9096 -x9098 -x9100 -x9102 -x9104 -x9106 -x9108 -x9110 -x9112 -x9114
1800.07/1800.61	v -x9116 -x9118 -x9120 -x9122 -x9124 -x9126 -x9128 -x9130 -x9132 -x9135 -x9137 -x9139 -x9141 -x9143 -x9145 -x9147 -x9149
1800.07/1800.61	v -x9151 -x9153 -x9155 -x194 -x9157 -x9159 -x9161 -x9163 -x9165 -x9167 -x9169 -x9171 -x9173 -x9175 -x9177 -x9179 -x9181
1800.07/1800.61	v -x9183 -x9185 -x195 -x9187 -x9189 -x9191 -x9193 -x9195 -x9197 -x9199 -x9201 -x9203 -x9205 -x9207 -x9209 -x9211 -x9213
1800.07/1800.61	v -x9215 -x9217 -x9219 -x9221 -x9223 -x9225 -x9227 -x9229 -x9231 -x9233 -x9235 -x9237 -x9239 -x9241 -x9243 -x9245 -x196
1800.07/1800.61	v -x9247 -x9249 -x9251 -x9253 -x9255 -x9257 -x9259 -x9261 -x9263 -x9265 -x9267 -x9269 -x9271 -x9273 -x9275 -x197 -x9277
1800.07/1800.61	v -x9279 -x9281 -x9283 -x9285 -x9287 -x9289 -x9291 -x9293 -x9295 -x9297 -x9299 -x9301 -x9303 -x9305 -x198 -x9307 -x9309
1800.07/1800.61	v -x9311 -x9313 -x9315 -x9317 -x9319 -x199 -x9321 -x9323 -x9325 -x9327 -x9329 -x9331 -x9333 -x9335 -x9337 -x9339 -x9341
1800.07/1800.61	v -x9343 -x9345 -x9347 -x9349 -x9351 -x9353 -x9355 -x9357 -x9359 -x9361 -x9363 -x9365 -x9367 -x9369 -x9371 -x9373 -x9375
1800.07/1800.61	v -x9377 -x9379 -x200 -x9381 -x9383 -x9385 -x9387 -x9389 -x9391 -x9393 -x9395 -x9397 -x9399 -x9401 -x9403 -x9405 -x9407
1800.07/1800.61	v -x9409 -x201 -x9411 -x9413 -x9415 -x9417 -x9419 -x9421 -x9423 -x9425 -x9427 -x9429 -x9431 -x9433 -x9435 -x9437 -x9439
1800.07/1800.61	v -x9441 -x9443 -x9445 -x9447 -x9449 -x9451 -x9453 -x9455 -x9457 -x9459 -x9461 -x9463 -x9465 -x9467 -x9469 -x9471 -x202
1800.07/1800.61	v -x9473 -x9475 -x9477 -x9479 -x9481 -x9483 -x9485 -x9487 -x9489 -x9491 -x9493 -x9495 -x9497 -x9499 -x9501 -x203 -x9503
1800.07/1800.61	v -x9505 -x9507 -x9509 -x9511 -x9513 -x9515 -x9517 -x9519 -x9521 -x9523 -x9525 -x9527 -x9529 -x9531 -x204 -x9533 -x9535
1800.07/1800.61	v -x9537 -x9539 -x9541 -x9543 -x9545 -x205 -x9547 -x9549 -x9551 -x9553 -x9555 -x9557 -x9559 -x9561 -x9563 -x9565 -x9567
1800.07/1800.61	v -x9569 -x9571 -x9573 -x9575 -x206 -x9577 -x9579 -x9581 -x9583 -x9585 -x9587 -x9589 -x9591 -x9593 -x9595 -x9597 -x9599
1800.07/1800.61	v -x9601 -x9603 -x9605 -x207 -x9607 -x9609 -x9611 -x9613 -x9615 -x9617 -x9619 -x208 -x9621 -x9623 -x9625 -x9627 -x9629 -x9631
1800.07/1800.61	v -x9633 -x9635 -x9637 -x9639 -x9641 -x9643 -x9645 -x9647 -x9649 -x209 -x9651 -x9653 -x9655 -x9657 -x9659 -x9661 -x9663
1800.07/1800.61	v -x210 -x9665 -x9667 -x9669 -x9671 -x9673 -x9675 -x9677 -x211 -x9679 -x9681 -x9683 -x212 -x9685 -x9687 -x9689 -x9691 -x9693
1800.07/1800.61	v -x9695 -x9697 -x9699 -x9701 -x9703 -x9705 -x9707 -x9709 -x9711 -x9713 -x9715 -x9717 -x9719 -x9721 -x9723 -x9725 -x9727
1800.07/1800.61	v -x9729 -x9731 -x9733 -x9735 -x9737 -x9739 -x9741 -x9743 -x9745 -x9747 -x9749 -x9751 -x9753 -x9755 -x9757 -x9759 -x9761
1800.07/1800.61	v -x9763 -x9765 -x9767 -x9769 -x9771 -x9773 -x9775 -x9777 x9779 -x9781 -x9783 -x9785 -x9787 -x9789 -x9791 -x9793 -x9795
1800.07/1800.61	v -x9797 -x9799 -x9801 -x9803 -x9805 -x213 -x9807 -x9809 -x9811 -x9813 -x9815 -x9817 -x9819 -x9821 -x9823 -x9825 -x9827
1800.07/1800.61	v -x9829 -x9831 -x9833 -x9835 -x214 -x9837 -x9839 -x9841 -x9843 -x9845 -x9847 -x9849 -x9851 -x9853 -x9855 -x9857 -x9859
1800.07/1800.61	v -x9861 -x9863 -x9865 -x9867 -x9869 -x9871 -x9873 -x9875 -x9877 -x9879 -x9881 -x9883 -x9885 -x9887 -x9889 -x9891 -x9893
1800.07/1800.61	v -x9895 -x9897 -x215 -x9899 -x9901 -x9903 -x9905 -x9907 -x9909 -x9911 -x9913 -x9915 -x9917 -x9919 -x9921 -x9923 -x9925
1800.07/1800.61	v -x9927 -x216 -x9929 -x9931 -x9933 -x9935 -x9937 -x9939 -x9941 -x9943 -x9945 -x9947 -x9949 -x9951 -x9953 -x9955 -x9957
1800.07/1800.61	v -x217 -x9959 -x9961 -x9963 -x9965 -x9967 -x9969 -x9971 -x218 -x9973 -x9975 -x9977 -x9979 -x9981 -x9983 -x9985 -x9987 -x9989
1800.07/1800.61	v -x9991 -x9993 -x9995 -x9997 -x9999 -x10001 -x219 -x10003 -x10005 -x10007 -x10009 -x10011 -x10013 -x10015 -x10017 -x10019
1800.07/1800.61	v -x10021 -x10023 -x10025 -x10027 -x10029 -x10031 -x220 -x10033 -x10035 -x10037 -x10039 -x10041 -x10043 -x10045 -x221
1800.07/1800.61	v -x10047 -x10049 -x10051 -x10053 -x10055 -x10057 -x10059 -x10061 -x10063 -x10065 -x10067 -x10069 -x10071 -x10073 -x10075
1800.07/1800.61	v -x222 -x10077 -x10079 -x10081 -x10083 -x10085 -x10087 -x10089 -x223 -x10091 -x10093 -x10095 -x10097 -x10099 -x10101
1800.07/1800.61	v -x10103 -x224 -x10105 -x10107 -x10109 -x225 -x10111 -x10113 -x10115 -x10117 -x10119 -x10121 -x10123 -x10125 -x10127
1800.07/1800.61	v -x10129 -x10131 -x10133 -x10135 -x10137 -x10139 -x226 -x10141 -x10143 -x10145 -x10147 -x10149 -x10151 -x10153 -x10155
1800.07/1800.61	v -x10157 -x10159 -x10161 -x10163 -x10165 -x10167 -x10169 -x227 -x10171 -x10173 -x10175 -x10177 -x10179 -x10181 -x10183
1800.07/1800.61	v -x228 -x10185 -x10187 -x10189 -x10191 -x10193 -x10195 -x10197 -x10199 -x10201 -x10203 -x10205 -x10207 -x10209 -x10211
1800.07/1800.61	v -x10213 -x229 -x10215 -x10217 -x10219 -x10221 -x10223 -x10225 -x10227 -x230 -x10229 -x10231 -x10233 -x10235 -x10237
1800.07/1800.61	v -x10239 -x10241 -x231 -x10243 -x10245 -x10247 -x232 -x10249 -x10251 -x10253 -x10255 -x10257 -x10259 -x10261 x233 x10263
1800.07/1800.61	v -x10265 -x10267 -x10269 -x10271 -x10273 -x10275 x10277 -x10279 -x10281 -x234 -x10283 -x10285 -x10287 -x10289 -x10291
1800.07/1800.61	v -x10293 -x10295 -x235 -x10297 -x10299 -x10301 -x236 -x10303 -x10305 -x10307 -x237 -x10309 -x238 -x10311 -x10313 -x10315
1800.07/1800.61	v -x10317 -x10319 -x10321 -x10323 -x10325 -x10327 -x10329 -x10331 -x10333 -x10335 -x10337 -x10339 -x10341 -x10343 -x10345
1800.07/1800.61	v -x10347 -x10349 -x10351 -x10353 -x10355 -x10357 -x10359 -x10361 -x10363 -x10365 -x10367 -x10369 -x10371 -x239 -x10373
1800.07/1800.61	v -x10375 -x10377 -x10379 -x10381 -x10383 -x10385 -x10387 -x10389 -x10391 -x10393 -x10395 -x10397 -x10399 -x10401 -x10403
1800.07/1800.61	v -x10405 -x10407 -x10409 -x10411 -x10413 -x10415 -x10417 -x10419 -x10421 -x10423 -x10425 -x10427 -x10429 -x10431 -x10433
1800.07/1800.61	v -x240 -x10435 -x10437 -x10439 -x10441 -x10443 -x10445 -x10447 -x10449 -x10451 -x10453 -x10455 -x10457 -x10459 -x10461
1800.07/1800.61	v -x10463 -x241 -x10465 -x10467 -x10469 -x10471 -x10473 -x10475 -x10477 -x10479 -x10481 -x10483 -x10485 -x10487 -x10489
1800.07/1800.61	v -x10491 -x10493 -x10495 -x10497 -x10499 -x10501 -x10503 -x10505 -x10507 -x10509 -x10511 -x10513 -x10515 -x10517 -x10519
1800.07/1800.61	v -x10521 -x10523 -x242 -x10525 -x10527 -x10529 -x10531 -x10533 -x10535 -x10537 -x10539 -x10541 -x10543 -x10545 -x10547
1800.07/1800.61	v -x10549 -x10551 -x10553 -x10555 -x10557 -x10559 -x10561 -x10563 -x10565 x10567 -x10569 -x10571 -x10573 -x10575 -x10577
1800.07/1800.61	v -x10579 -x10581 -x10583 -x243 -x10585 -x10587 -x10589 -x10591 -x10593 -x10595 -x10597 -x244 -x10599 -x10601 -x10603
1800.07/1800.61	v -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619 -x10621 -x10623 -x10625 -x10627 -x245 -x10629 -x10631
1800.07/1800.61	v -x10633 -x10635 -x10637 -x10639 -x10641 -x10643 -x10645 -x10647 -x10649 -x10651 -x10653 -x10655 -x10657 -x246 -x10659
1800.07/1800.61	v -x10661 -x10663 -x10665 -x10667 -x10669 -x10671 -x247 -x10673 -x10675 -x10677 -x10679 -x10681 -x10683 -x10685 -x10687
1800.07/1800.61	v -x10689 -x10691 -x10693 -x10695 -x10697 -x10699 -x10701 -x248 -x10703 -x10705 -x10707 -x10709 -x10711 -x10713 -x10715
1800.07/1800.61	v -x249 -x10717 -x10719 -x10721 -x10723 -x10725 -x10727 -x10729 -x10731 x10733 -x10735 -x250 -x10737 -x10739 -x10741 -x10743
1800.07/1800.61	v -x10745 -x10747 -x10749 -x10751 -x10753 -x10755 -x10757 -x10759 -x10761 -x10763 -x251 -x10765 -x10767 -x10769 -x10771
1800.07/1800.61	v -x10773 -x10775 -x10777 -x10779 -x10781 -x10783 -x10785 -x10787 -x10789 -x10791 -x10793 -x252 -x10795 -x10797 -x10799
1800.07/1800.61	v -x10801 -x10803 -x10805 -x10807 -x253 -x10809 -x10811 -x10813 -x10815 -x10817 -x10819 -x10821 -x10823 -x10825 -x10827
1800.07/1800.61	v -x10829 -x10831 -x10833 -x10835 -x10837 -x254 -x10839 -x10841 -x10843 -x10845 -x10847 -x10849 -x255 -x10851 -x10853
1800.07/1800.61	v -x10855 -x10857 -x10859 -x10861 -x10863 -x256 -x10865 -x10867 -x10869 -x257 -x10871 -x10873 -x10875 -x10877 -x10879
1800.07/1800.61	v -x10881 -x10883 -x258 -x10885 -x10887 -x10889 -x10891 -x10893 -x10895 -x10897 -x259 -x10899 -x10901 -x260 -x10903 -x10905
1800.07/1800.61	v -x10907 -x10909 -x10911 -x10913 -x10915 -x261 -x10917 -x10919 -x10921 -x262 -x10923 -x10925 -x10927 -x263 -x10929 -x264
1800.07/1800.61	v -x10931 -x10933 -x10935 -x10937 -x10939 -x10941 -x10943 -x10945 -x10947 -x10949 -x10951 -x10953 -x10955 -x10957 -x10959
1800.07/1800.61	v -x10961 -x10963 -x10965 -x10967 -x10969 -x10971 -x10973 -x10975 -x10977 -x10979 -x10981 -x10983 -x10985 -x265 -x10987
1800.07/1800.61	v -x10989 -x10991 -x10993 -x10995 -x10997 -x10999 -x11001 -x11003 -x11005 -x11007 -x11009 -x11011 -x11013 -x11015 -x266
1800.07/1800.61	v -x11017 -x11019 -x11021 -x11023 -x11025 -x11027 -x11029 -x11031 -x11033 -x11035 -x11037 -x11039 -x11041 -x11043 -x11045
1800.07/1800.61	v -x267 -x11047 -x11049 -x11051 -x11053 -x11055 -x11057 -x11059 -x268 -x11061 -x11063 -x11065 -x11067 -x11069 -x11071
1800.07/1800.61	v -x11073 -x11075 -x11077 -x11079 -x11081 -x11083 -x11085 -x11087 -x11089 -x269 -x11091 -x11093 -x11095 -x11097 -x11099
1800.07/1800.61	v -x11101 -x11103 -x270 -x11105 -x11107 -x11109 -x11111 -x11113 -x11115 -x11117 -x11119 x11121 -x11123 -x271 -x11125 -x11127
1800.07/1800.61	v -x11129 -x11131 -x11133 -x11135 -x11137 -x11139 -x11141 -x11143 -x11145 -x11147 -x11149 -x11151 -x11153 -x272 -x11155
1800.07/1800.61	v -x11157 -x11159 -x11161 -x11163 -x11165 -x11167 -x11169 -x11171 x11173 -x11175 -x11177 -x11179 -x11181 -x273 -x11183
1800.07/1800.61	v -x11185 -x11187 -x274 -x11189 -x11191 -x11193 -x11195 -x11197 -x11199 -x11201 -x275 -x11203 -x11205 -x11207 -x276 -x11209
1800.07/1800.61	v -x11211 -x11213 -x277 -x11215 -x278 -x11217 -x11219 -x11221 -x11223 -x11225 -x11227 -x11229 -x11231 -x11233 -x11235
1800.07/1800.61	v -x11237 -x11239 -x11241 -x279 -x11243 -x11245 -x11247 -x11249 -x11251 -x11253 -x11255 -x280 -x11257 -x11259 -x11261
1800.07/1800.61	v -x11263 -x11265 -x11267 -x11269 -x281 -x11271 -x11273 -x11275 x282 -x11277 x11279 -x11281 -x11283 -x11285 -x11287 -x11289
1800.07/1800.61	v x283 x11291 -x11293 -x284 -x11295 -x11297 x11299 x285 -x11301 -x286 -x11303 -x11305 -x11307 -x11309 -x11311 -x11313 -x287
1800.07/1800.61	v -x11315 -x11317 -x11319 -x288 -x11321 -x11323 -x11325 -x289 -x11327 -x290 -x11329 x11331 x291 x11333 x292 x293

Verifier Data (download as text)

OK	36

Conversion Script Data (download as text)

/tmp/evaluation/372757-1177132234/instance-372757-1177132234.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-372757-1177132234 -o ROOT/results/node1/solver-372757-1177132234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372757-1177132234/minisat+ /tmp/evaluation/372757-1177132234/instance-372757-1177132234.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21008
/proc/meminfo: memFree=1788608/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=1352 CPUtime=0
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 189261246 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 338 173 67 215 0 120 0

[startup+0.0515879 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21008
/proc/meminfo: memFree=1788608/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=2388 CPUtime=0.04
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 449 0 0 0 4 0 0 0 18 0 1 0 189261246 2445312 434 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 597 434 74 215 0 379 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2388

[startup+0.101593 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21008
/proc/meminfo: memFree=1788608/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=3144 CPUtime=0.09
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 605 0 0 0 9 0 0 0 18 0 1 0 189261246 3219456 590 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 786 590 74 215 0 568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3144

[startup+0.301618 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21008
/proc/meminfo: memFree=1788608/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=5116 CPUtime=0.29
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 1091 0 0 0 29 0 0 0 20 0 1 0 189261246 5238784 1076 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 1279 1076 74 215 0 1061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5116

[startup+0.701664 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21008
/proc/meminfo: memFree=1788608/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=8228 CPUtime=0.69
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 1893 0 0 0 69 0 0 0 23 0 1 0 189261246 8425472 1878 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 2057 1879 74 215 0 1839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8228

[startup+1.50176 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1779000/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=14380 CPUtime=1.49
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 3509 0 0 0 144 5 0 0 19 0 1 0 189261246 14725120 3427 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 3595 3427 104 215 0 3377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14380

[startup+3.10295 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1775160/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=14532 CPUtime=3.09
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 3536 0 0 0 304 5 0 0 25 0 1 0 189261246 14880768 3454 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 3633 3454 104 215 0 3415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14532

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1774776/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=14532 CPUtime=6.29
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 3550 0 0 0 623 6 0 0 25 0 1 0 189261246 14880768 3468 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 3633 3468 104 215 0 3415 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14532

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1774328/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=15000 CPUtime=12.69
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 3719 0 0 0 1263 6 0 0 25 0 1 0 189261246 15360000 3578 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838350 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 3750 3578 104 215 0 3532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15000

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1750392/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=40608 CPUtime=25.49
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 11105 0 0 0 2539 10 0 0 25 0 1 0 189261246 41582592 9643 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 10152 9643 123 215 0 9934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40608

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1728312/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=62964 CPUtime=51.08
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 16670 0 0 0 5093 15 0 0 25 0 1 0 189261246 64475136 15208 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 15741 15208 123 215 0 15523 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62964

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1695032/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=95812 CPUtime=102.27
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 24878 0 0 0 10204 23 0 0 25 0 1 0 189261246 98111488 23416 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 23953 23416 123 215 0 23735 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 95812

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1671544/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=119616 CPUtime=162.24
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 30800 0 0 0 16195 29 0 0 25 0 1 0 189261246 122486784 29338 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 29904 29338 123 215 0 29686 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 119616

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1653112/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=137752 CPUtime=222.23
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 35349 0 0 0 22189 34 0 0 25 0 1 0 189261246 141058048 33887 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 34438 33887 123 215 0 34220 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 137752

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644664/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=282.21
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37417 0 0 0 28184 37 0 0 25 0 1 0 189261246 149774336 35955 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574486 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35955 123 215 0 36348 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 146264

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644600/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=342.19
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37445 0 0 0 34181 38 0 0 25 0 1 0 189261246 149774336 35983 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35983 123 215 0 36348 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 146264

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644600/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=402.17
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37446 0 0 0 40179 38 0 0 25 0 1 0 189261246 149774336 35984 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35984 123 215 0 36348 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 146264

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644600/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=462.16
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37449 0 0 0 46177 39 0 0 25 0 1 0 189261246 149774336 35987 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35987 123 215 0 36348 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 146264

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644600/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=522.13
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37449 0 0 0 52174 39 0 0 25 0 1 0 189261246 149774336 35987 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35987 123 215 0 36348 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 146264

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644536/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=582.12
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37449 0 0 0 58172 40 0 0 25 0 1 0 189261246 149774336 35987 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006266 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35987 123 215 0 36348 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 146264

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1644600/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=146264 CPUtime=642.1
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 37450 0 0 0 64170 40 0 0 25 0 1 0 189261246 149774336 35988 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 36566 35988 123 215 0 36348 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 146264


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1631032/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=160036 CPUtime=822.05
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 40898 0 0 0 82159 46 0 0 25 0 1 0 189261246 163876864 39436 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 40009 39436 123 215 0 39791 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 160036

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1613560/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=177356 CPUtime=882.03
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 45211 0 0 0 88152 51 0 0 25 0 1 0 189261246 181612544 43749 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 44339 43749 123 215 0 44121 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 177356

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602296/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=942.01
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48008 0 0 0 94147 54 0 0 25 0 1 0 189261246 193064960 46546 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46546 123 215 0 46917 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 188540

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602232/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=1002
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48009 0 0 0 100145 55 0 0 25 0 1 0 189261246 193064960 46547 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46547 123 215 0 46917 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 188540

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602296/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=1061.97
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48010 0 0 0 106142 55 0 0 25 0 1 0 189261246 193064960 46548 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46548 123 215 0 46917 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 188540

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602296/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=1121.96
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48012 0 0 0 112140 56 0 0 25 0 1 0 189261246 193064960 46550 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46550 123 215 0 46917 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 188540

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602296/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=1181.94
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48013 0 0 0 118138 56 0 0 25 0 1 0 189261246 193064960 46551 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46551 123 215 0 46917 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 188540

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1602232/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=188540 CPUtime=1241.93
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 48013 0 0 0 124136 57 0 0 25 0 1 0 189261246 193064960 46551 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 47135 46551 123 215 0 46917 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 188540

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21009
/proc/meminfo: memFree=1590328/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=200536 CPUtime=1301.91
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 50986 0 0 0 130131 60 0 0 25 0 1 0 189261246 205348864 49524 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 50134 49524 123 215 0 49916 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 200536

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1573112/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=217740 CPUtime=1361.89
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 55306 0 0 0 136124 65 0 0 25 0 1 0 189261246 222965760 53844 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 54435 53844 123 215 0 54217 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 217740

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559800/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1421.87
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58614 0 0 0 142118 69 0 0 25 0 1 0 189261246 236535808 57152 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57152 123 215 0 57530 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 230992

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559800/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1481.86
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58616 0 0 0 148116 70 0 0 25 0 1 0 189261246 236535808 57154 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57154 123 215 0 57530 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 230992

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559800/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1541.84
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58617 0 0 0 154114 70 0 0 25 0 1 0 189261246 236535808 57155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57155 123 215 0 57530 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 230992

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559736/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1601.82
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58617 0 0 0 160111 71 0 0 25 0 1 0 189261246 236535808 57155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57155 123 215 0 57530 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 230992

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559800/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1661.8
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58619 0 0 0 166109 71 0 0 25 0 1 0 189261246 236535808 57157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57157 123 215 0 57530 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 230992

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559736/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1721.78
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58620 0 0 0 172107 71 0 0 25 0 1 0 189261246 236535808 57158 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57158 123 215 0 57530 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 230992

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559736/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1781.77
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58620 0 0 0 178105 72 0 0 25 0 1 0 189261246 236535808 57158 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57158 123 215 0 57530 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 230992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21011
/proc/meminfo: memFree=1559736/2055920 swapFree=4145780/4192956
[pid=21008] ppid=21006 vsize=230992 CPUtime=1800.07
/proc/21008/stat : 21008 (minisat+) R 21006 21008 20270 0 -1 4194304 58620 0 0 0 179935 72 0 0 25 0 1 0 189261246 236535808 57158 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21008/statm: 57748 57158 123 215 0 57530 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 230992

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 10
Real time (s): 1800.66
CPU time (s): 1800.12
CPU user time (s): 1799.36
CPU system time (s): 0.765883
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 230992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.765883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58622
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= 218
involuntary context switches= 36761

runsolver used 2.28765 second user time and 4.23436 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Apr 21 05:10:34 UTC 2007

IDJOB= 372757
IDBENCH= 24995
IDSOLVER= 156
FILE ID= node1/372757-1177132234

PBS_JOBID= 4648775

Free space on /tmp= 66446 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= /tmp/evaluation/372757-1177132234/minisat+ /tmp/evaluation/372757-1177132234/instance-372757-1177132234.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-372757-1177132234 -o ROOT/results/node1/conversion-372757-1177132234 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372757-1177132234/instance-372757-1177132234.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-372757-1177132234 -o ROOT/results/node1/solver-372757-1177132234 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372757-1177132234/minisat+ /tmp/evaluation/372757-1177132234/instance-372757-1177132234.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  22488dc65cdc0686edc96d304bd4d620

RANDOM SEED= 85819689

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1789080 kB
Buffers:         37820 kB
Cached:         153936 kB
SwapCached:      14216 kB
Active:         103580 kB
Inactive:       110848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789080 kB
SwapTotal:     4192956 kB
SwapFree:      4145780 kB
Dirty:            3408 kB
Writeback:           0 kB
Mapped:          29676 kB
Slab:            37924 kB
Committed_AS:  5097428 kB
PageTables:       1832 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66446 MiB

End job on node1 on Sat Apr 21 05:40:37 UTC 2007