Trace number 458751

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
PBS4_v2 2007-03-23SAT (TO)8466 1800.11 1800.93

General information on the benchmark

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

Verifier Data (download as text)

OK	8466

Conversion Script Data (download as text)

/tmp/evaluation/458751-1178642312/instance-458751-1178642312.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node66/watcher-458751-1178642312 -o ROOT/results/node66/solver-458751-1178642312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458751-1178642312/instance-458751-1178642312.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: 1.00 1.00 0.96 3/64 994
/proc/meminfo: memFree=1471544/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=2704 CPUtime=0
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 340220874 2768896 435 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 676 435 84 219 0 453 0

[startup+0.0444899 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 994
/proc/meminfo: memFree=1471544/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=3284 CPUtime=0.04
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 612 0 0 0 4 0 0 0 18 0 1 0 340220874 3362816 594 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 821 594 86 219 0 598 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3284

[startup+0.101501 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 994
/proc/meminfo: memFree=1471544/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=3284 CPUtime=0.09
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 340220874 3362816 594 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 821 594 86 219 0 598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3284

[startup+0.30154 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 994
/proc/meminfo: memFree=1471544/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=3284 CPUtime=0.29
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 612 0 0 0 29 0 0 0 19 0 1 0 340220874 3362816 594 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 821 594 86 219 0 598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3284

[startup+0.701619 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 994
/proc/meminfo: memFree=1471544/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=4324 CPUtime=0.69
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 984 0 0 0 69 0 0 0 22 0 1 0 340220874 4427776 873 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 1081 873 86 219 0 858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4324

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1465712/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=12772 CPUtime=1.49
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 3349 0 0 0 148 1 0 0 25 0 1 0 340220874 13078528 2563 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 3193 2563 86 219 0 2970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12772

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1456176/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=30044 CPUtime=3.08
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 8966 0 0 0 304 4 0 0 25 0 1 0 340220874 30765056 5874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134786739 0 0 4096 16384 0 0 0 17 0 0 0
/proc/994/statm: 7511 5874 86 219 0 7288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30044

[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1431408/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=54564 CPUtime=6.28
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 17154 0 0 0 612 16 0 0 25 0 1 0 340220874 55873536 10969 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 13641 10969 102 219 0 13418 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54564

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1427696/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=54564 CPUtime=12.68
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 17219 0 0 0 1233 35 0 0 25 0 1 0 340220874 55873536 11034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 13641 11034 102 219 0 13418 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54564

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1425200/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=72796 CPUtime=25.48
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 17861 0 0 0 2456 92 0 0 25 0 1 0 340220874 74543104 11676 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 18199 11676 102 219 0 17976 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72796

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1418800/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=73720 CPUtime=51.04
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 19498 0 0 0 4970 134 0 0 25 0 1 0 340220874 75489280 13313 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 18430 13313 102 219 0 18207 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 73720

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1404976/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=78228 CPUtime=102.22
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 22941 0 0 0 9975 247 0 0 25 0 1 0 340220874 80105472 16756 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 19557 16756 102 219 0 19334 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 78228

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1403568/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=79624 CPUtime=162.2
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 23320 0 0 0 15858 362 0 0 25 0 1 0 340220874 81534976 17135 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 19906 17135 102 219 0 19683 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 79624

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1402160/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=80936 CPUtime=222.17
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 23634 0 0 0 21681 536 0 0 25 0 1 0 340220874 82878464 17449 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 20234 17449 102 219 0 20011 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 80936

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1399984/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=82948 CPUtime=282.14
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 24177 0 0 0 27360 854 0 0 25 0 1 0 340220874 84938752 17992 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 20737 17992 102 219 0 20514 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 82948

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 995
/proc/meminfo: memFree=1399408/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=83336 CPUtime=342.13
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 24302 0 0 0 33246 967 0 0 25 0 1 0 340220874 85336064 18117 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 20834 18117 102 219 0 20611 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 83336

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 997
/proc/meminfo: memFree=1397872/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=84700 CPUtime=402.1
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 24665 0 0 0 38915 1295 0 0 25 0 1 0 340220874 86732800 18480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 21175 18480 102 219 0 20952 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 84700

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 997
/proc/meminfo: memFree=1396720/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=85896 CPUtime=462.08
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 24966 0 0 0 44618 1590 0 0 25 0 1 0 340220874 87957504 18781 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 21474 18781 102 219 0 21251 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 85896

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 997
/proc/meminfo: memFree=1396400/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=86204 CPUtime=522.06
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 25068 0 0 0 50489 1717 0 0 25 0 1 0 340220874 88272896 18883 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 21551 18883 102 219 0 21328 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 86204

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 997
/proc/meminfo: memFree=1395248/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=87156 CPUtime=582.04
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 25334 0 0 0 56141 2063 0 0 25 0 1 0 340220874 89247744 19149 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 21789 19149 102 219 0 21566 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 87156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 997
/proc/meminfo: memFree=1394288/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=88100 CPUtime=642.02
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 25563 0 0 0 61796 2406 0 0 25 0 1 0 340220874 90214400 19378 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545960 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22025 19378 102 219 0 21802 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 88100


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

[startup+882.301 s]
/proc/loadavg: 1.03 1.01 0.97 2/65 997
/proc/meminfo: memFree=1392368/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=89636 CPUtime=881.92
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26029 0 0 0 85072 3120 0 0 25 0 1 0 340220874 91787264 19844 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22409 19844 102 219 0 22186 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 89636

[startup+942.302 s]
/proc/loadavg: 1.01 1.00 0.97 2/65 997
/proc/meminfo: memFree=1392368/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=89696 CPUtime=941.9
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26043 0 0 0 90993 3197 0 0 25 0 1 0 340220874 91848704 19858 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22424 19858 102 219 0 22201 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 89696

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1391600/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=90484 CPUtime=1001.88
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26226 0 0 0 96648 3540 0 0 25 0 1 0 340220874 92655616 20041 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22621 20041 102 219 0 22398 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 90484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1391280/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=90700 CPUtime=1061.85
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26319 0 0 0 102406 3779 0 0 25 0 1 0 340220874 92876800 20134 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22675 20134 102 219 0 22452 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 90700

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1391088/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=90808 CPUtime=1121.83
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26357 0 0 0 108313 3870 0 0 25 0 1 0 340220874 92987392 20172 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22702 20172 102 219 0 22479 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 90808

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1390320/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=91356 CPUtime=1181.81
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26544 0 0 0 114053 4128 0 0 25 0 1 0 340220874 93548544 20359 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 22839 20359 102 219 0 22616 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 91356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1389872/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=92004 CPUtime=1241.78
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26654 0 0 0 119821 4357 0 0 25 0 1 0 340220874 94212096 20469 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23001 20469 102 219 0 22778 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 92004

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 997
/proc/meminfo: memFree=1389296/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=92440 CPUtime=1301.77
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26801 0 0 0 125603 4574 0 0 25 0 1 0 340220874 94658560 20616 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23110 20616 102 219 0 22887 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 92440

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/71 1080
/proc/meminfo: memFree=1387576/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=92728 CPUtime=1361.71
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26893 0 0 0 131353 4818 0 0 25 0 1 0 340220874 94953472 20708 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23182 20708 102 219 0 22959 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 92728

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1388336/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=92968 CPUtime=1421.62
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 26997 0 0 0 137068 5094 0 0 25 0 1 0 340220874 95199232 20812 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23242 20812 102 219 0 23019 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 92968

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1387952/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=93316 CPUtime=1481.59
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27108 0 0 0 142765 5394 0 0 25 0 1 0 340220874 95555584 20923 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134584067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23329 20923 102 219 0 23106 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 93316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1387568/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=93612 CPUtime=1541.57
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27211 0 0 0 148472 5685 0 0 25 0 1 0 340220874 95858688 21026 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23403 21026 102 219 0 23180 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 93612

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1387184/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=94156 CPUtime=1601.55
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27311 0 0 0 154150 6005 0 0 25 0 1 0 340220874 96415744 21126 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23539 21126 102 219 0 23316 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 94156

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1386288/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=94656 CPUtime=1661.52
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27521 0 0 0 159881 6271 0 0 25 0 1 0 340220874 96927744 21336 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23664 21336 102 219 0 23441 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 94656

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 1196
/proc/meminfo: memFree=1385968/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=95208 CPUtime=1721.5
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27614 0 0 0 165561 6589 0 0 25 0 1 0 340220874 97492992 21429 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23802 21429 102 219 0 23579 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 95208

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 0.97 2/65 1196
/proc/meminfo: memFree=1385520/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=95428 CPUtime=1781.47
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27705 0 0 0 171303 6844 0 0 25 0 1 0 340220874 97718272 21520 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23857 21520 102 219 0 23634 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 95428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.03 1.01 0.97 2/65 1196
/proc/meminfo: memFree=1385584/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=95500 CPUtime=1800.08
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27730 0 0 0 173047 6961 0 0 25 0 1 0 340220874 97792000 21545 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23875 21545 102 219 0 23652 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 95500

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

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

[startup+1800.9 s]
/proc/loadavg: 1.03 1.01 0.97 2/65 1196
/proc/meminfo: memFree=1385584/2055920 swapFree=4183156/4192956
[pid=994] ppid=992 vsize=95500 CPUtime=1800.08
/proc/994/stat : 994 (PBS4_SAT07v2) R 992 994 584 0 -1 4194304 27730 0 0 0 173047 6961 0 0 25 0 1 0 340220874 97792000 21545 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/994/statm: 23875 21545 102 219 0 23652 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 95500

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.11
CPU user time (s): 1730.48
CPU system time (s): 69.6254
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 95500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.48
system time used= 69.6254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27733
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= 10
involuntary context switches= 3400

runsolver used 1.42878 second user time and 3.55646 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue May  8 16:38:33 UTC 2007

IDJOB= 458751
IDBENCH= 1968
IDSOLVER= 200
FILE ID= node66/458751-1178642312

PBS_JOBID= 5218334

Free space on /tmp= 66546 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458751-1178642312/instance-458751-1178642312.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-458751-1178642312 -o ROOT/results/node66/conversion-458751-1178642312 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458751-1178642312/instance-458751-1178642312.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-458751-1178642312 -o ROOT/results/node66/solver-458751-1178642312 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458751-1178642312/instance-458751-1178642312.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  ca3282cf347faf21ba3550ec87dd7af4

RANDOM SEED= 213335231

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1472016 kB
Buffers:         33916 kB
Cached:         449164 kB
SwapCached:       3732 kB
Active:          88420 kB
Inactive:       404352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472016 kB
SwapTotal:     4192956 kB
SwapFree:      4183156 kB
Dirty:           19084 kB
Writeback:           0 kB
Mapped:          15788 kB
Slab:            77188 kB
Committed_AS:  5140156 kB
PageTables:       1376 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= 66546 MiB

End job on node66 on Tue May  8 17:08:36 UTC 2007