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