Trace number 459204

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)221 1800.11 1801.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
MD5SUM5c1765191809ee7ecd7781ce5c7fb9aa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark330.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables9333
Total number of constraints28773
Number of constraints which are clauses28773
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 4585
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4585
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4585
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	221

Conversion Script Data (download as text)

/tmp/evaluation/459204-1178651326/instance-459204-1178651326.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node75/watcher-459204-1178651326 -o ROOT/results/node75/solver-459204-1178651326 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459204-1178651326/instance-459204-1178651326.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.99 0.97 0.92 3/64 29816
/proc/meminfo: memFree=1527112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=2624 CPUtime=0
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 434 0 0 0 0 0 0 0 18 0 1 0 313046491 2686976 416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 656 416 84 219 0 433 0

[startup+0.0215749 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 29816
/proc/meminfo: memFree=1527112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=2936 CPUtime=0.02
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 503 0 0 0 2 0 0 0 18 0 1 0 313046491 3006464 485 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 734 487 86 219 0 511 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2936

[startup+0.10159 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 29816
/proc/meminfo: memFree=1527112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=2936 CPUtime=0.1
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 522 0 0 0 10 0 0 0 18 0 1 0 313046491 3006464 504 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586979 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 734 504 86 219 0 511 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2936

[startup+0.301628 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 29816
/proc/meminfo: memFree=1527112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=5068 CPUtime=0.29
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 1061 0 0 0 29 0 0 0 19 0 1 0 313046491 5189632 897 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 1267 897 86 219 0 1044 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5068

[startup+0.701708 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 29816
/proc/meminfo: memFree=1527112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=5920 CPUtime=0.7
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 1412 0 0 0 68 2 0 0 23 0 1 0 313046491 6062080 1248 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 1480 1248 102 219 0 1257 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 5920

[startup+1.50287 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1522048/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=7232 CPUtime=1.49
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 1661 0 0 0 147 2 0 0 25 0 1 0 313046491 7405568 1497 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 1808 1497 102 219 0 1585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7232

[startup+3.10118 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1520768/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=9280 CPUtime=3.09
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 2046 0 0 0 307 2 0 0 25 0 1 0 313046491 9502720 1882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 2320 1882 102 219 0 2097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9280

[startup+6.30182 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1517576/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=13512 CPUtime=6.29
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 2787 0 0 0 626 3 0 0 25 0 1 0 313046491 13836288 2623 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 3378 2623 102 219 0 3155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13512

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1511752/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=22596 CPUtime=12.68
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 4388 0 0 0 1263 5 0 0 25 0 1 0 313046491 23138304 4031 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 5649 4031 102 219 0 5426 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22596

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1504904/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=39336 CPUtime=25.48
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 5975 0 0 0 2540 8 0 0 25 0 1 0 313046491 40280064 5618 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 9834 5618 102 219 0 9611 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39336

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1494536/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=42708 CPUtime=51.05
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 8560 0 0 0 5091 14 0 0 25 0 1 0 313046491 43732992 8203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 10677 8203 102 219 0 10454 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 42708

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1491400/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=46032 CPUtime=102.23
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 9328 0 0 0 10205 18 0 0 25 0 1 0 313046491 47136768 8971 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 11508 8971 102 219 0 11285 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 46032

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1488968/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=48592 CPUtime=162.19
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 9934 0 0 0 16197 22 0 0 25 0 1 0 313046491 49758208 9577 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 12148 9577 102 219 0 11925 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 48592

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1486728/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=50872 CPUtime=222.15
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 10497 0 0 0 22188 27 0 0 25 0 1 0 313046491 52092928 10140 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 12718 10140 102 219 0 12495 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 50872

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1484168/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=55252 CPUtime=282.1
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 11543 0 0 0 28179 31 0 0 25 0 1 0 313046491 56578048 10801 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 13813 10801 102 219 0 13590 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 55252

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1482888/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=56636 CPUtime=342.05
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 11856 0 0 0 34170 35 0 0 25 0 1 0 313046491 57995264 11114 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 14159 11114 102 219 0 13936 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 56636

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1481992/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=57564 CPUtime=401.98
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 12087 0 0 0 40160 38 0 0 25 0 1 0 313046491 58945536 11345 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 14391 11345 102 219 0 14168 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 57564

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1480840/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=58772 CPUtime=461.93
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 12370 0 0 0 46152 41 0 0 25 0 1 0 313046491 60182528 11628 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 14693 11628 102 219 0 14470 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 58772

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1480328/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=59340 CPUtime=521.88
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 12503 0 0 0 52146 42 0 0 25 0 1 0 313046491 60764160 11761 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 14835 11761 102 219 0 14612 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 59340

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1479112/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=60468 CPUtime=581.84
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 12786 0 0 0 58139 45 0 0 25 0 1 0 313046491 61919232 12044 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 15117 12044 102 219 0 14894 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 60468

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1477576/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=62108 CPUtime=641.77
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 13188 0 0 0 64128 49 0 0 25 0 1 0 313046491 63598592 12446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 15527 12446 102 219 0 15304 0
Current children cumulated CPU time (s) 641.77
Current children cumulated vsize (KiB) 62108


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1474632/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=64604 CPUtime=881.59
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 13907 0 0 0 88097 62 0 0 25 0 1 0 313046491 66154496 13165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560677 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 16151 13165 102 219 0 15928 0
Current children cumulated CPU time (s) 881.59
Current children cumulated vsize (KiB) 64604

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1473736/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=68284 CPUtime=941.55
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 14867 0 0 0 94089 66 0 0 25 0 1 0 313046491 69922816 13356 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545314 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17071 13356 102 219 0 16848 0
Current children cumulated CPU time (s) 941.55
Current children cumulated vsize (KiB) 68284

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1473224/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=68896 CPUtime=1001.52
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15030 0 0 0 100083 69 0 0 25 0 1 0 313046491 70549504 13519 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17224 13519 102 219 0 17001 0
Current children cumulated CPU time (s) 1001.52
Current children cumulated vsize (KiB) 68896

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1472904/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=69388 CPUtime=1061.46
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15120 0 0 0 106075 71 0 0 25 0 1 0 313046491 71053312 13609 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17347 13609 102 219 0 17124 0
Current children cumulated CPU time (s) 1061.46
Current children cumulated vsize (KiB) 69388

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1471432/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=70640 CPUtime=1121.41
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15485 0 0 0 112066 75 0 0 25 0 1 0 313046491 72335360 13974 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17660 13974 102 219 0 17437 0
Current children cumulated CPU time (s) 1121.41
Current children cumulated vsize (KiB) 70640

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1470856/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=71208 CPUtime=1181.36
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15629 0 0 0 118058 78 0 0 25 0 1 0 313046491 72916992 14118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17802 14118 102 219 0 17579 0
Current children cumulated CPU time (s) 1181.36
Current children cumulated vsize (KiB) 71208

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1469960/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=71596 CPUtime=1241.3
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15812 0 0 0 124048 82 0 0 25 0 1 0 313046491 73314304 14301 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 17899 14301 102 219 0 17676 0
Current children cumulated CPU time (s) 1241.3
Current children cumulated vsize (KiB) 71596

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1469256/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=72344 CPUtime=1301.28
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 15996 0 0 0 130040 88 0 0 25 0 1 0 313046491 74080256 14485 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18086 14485 102 219 0 17863 0
Current children cumulated CPU time (s) 1301.28
Current children cumulated vsize (KiB) 72344

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1469128/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=72344 CPUtime=1361.24
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16039 0 0 0 136034 90 0 0 25 0 1 0 313046491 74080256 14528 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18086 14528 102 219 0 17863 0
Current children cumulated CPU time (s) 1361.24
Current children cumulated vsize (KiB) 72344

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1468488/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=72892 CPUtime=1421.19
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16199 0 0 0 142027 92 0 0 25 0 1 0 313046491 74641408 14688 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18223 14688 102 219 0 18000 0
Current children cumulated CPU time (s) 1421.19
Current children cumulated vsize (KiB) 72892

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1467848/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=73616 CPUtime=1481.14
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16376 0 0 0 148018 96 0 0 25 0 1 0 313046491 75382784 14865 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18404 14865 102 219 0 18181 0
Current children cumulated CPU time (s) 1481.14
Current children cumulated vsize (KiB) 73616

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1467400/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=73804 CPUtime=1541.11
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16493 0 0 0 154011 100 0 0 25 0 1 0 313046491 75575296 14982 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18451 14982 102 219 0 18228 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 73804

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1466504/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=74776 CPUtime=1601.05
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16720 0 0 0 160001 104 0 0 25 0 1 0 313046491 76570624 15209 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18694 15209 102 219 0 18471 0
Current children cumulated CPU time (s) 1601.05
Current children cumulated vsize (KiB) 74776

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1465672/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=75464 CPUtime=1660.99
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 16920 0 0 0 165991 108 0 0 25 0 1 0 313046491 77275136 15409 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544696 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18866 15409 102 219 0 18643 0
Current children cumulated CPU time (s) 1660.99
Current children cumulated vsize (KiB) 75464

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1465160/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=75904 CPUtime=1720.96
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 17039 0 0 0 171984 112 0 0 25 0 1 0 313046491 77725696 15528 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 18976 15528 102 219 0 18753 0
Current children cumulated CPU time (s) 1720.96
Current children cumulated vsize (KiB) 75904

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1464584/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=76224 CPUtime=1780.91
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 17150 0 0 0 177976 115 0 0 25 0 1 0 313046491 78053376 15639 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 19056 15639 102 219 0 18833 0
Current children cumulated CPU time (s) 1780.91
Current children cumulated vsize (KiB) 76224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.5 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1464456/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=76352 CPUtime=1800.09
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 17194 0 0 0 179893 116 0 0 25 0 1 0 313046491 78184448 15683 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 19088 15683 102 219 0 18865 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 76352

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

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

[startup+1801.5 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 29817
/proc/meminfo: memFree=1464456/2055920 swapFree=4183972/4192956
[pid=29816] ppid=29814 vsize=76352 CPUtime=1800.09
/proc/29816/stat : 29816 (PBS4_SAT07v2) R 29814 29816 28889 0 -1 4194304 17194 0 0 0 179893 116 0 0 25 0 1 0 313046491 78184448 15683 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29816/statm: 19088 15683 102 219 0 18865 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 76352

Child status: 0
Real time (s): 1801.52
CPU time (s): 1800.11
CPU user time (s): 1798.94
CPU system time (s): 1.17682
CPU usage (%): 99.9218
Max. virtual memory (cumulated for all children) (KiB): 76352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.17682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17197
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= 9
involuntary context switches= 7983

runsolver used 1.53577 second user time and 3.52046 second system time

The end

Launcher Data (download as text)

Begin job on node75 on Tue May  8 19:08:46 UTC 2007

IDJOB= 459204
IDBENCH= 24975
IDSOLVER= 200
FILE ID= node75/459204-1178651326

PBS_JOBID= 5218386

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459204-1178651326/instance-459204-1178651326.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node75/convwatcher-459204-1178651326 -o ROOT/results/node75/conversion-459204-1178651326 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459204-1178651326/instance-459204-1178651326.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  5c1765191809ee7ecd7781ce5c7fb9aa

RANDOM SEED= 626730927

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node75.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.257
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.257
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1527520 kB
Buffers:         37692 kB
Cached:         396768 kB
SwapCached:       2848 kB
Active:         177844 kB
Inactive:       266952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1527520 kB
SwapTotal:     4192956 kB
SwapFree:      4183972 kB
Dirty:            3084 kB
Writeback:           0 kB
Mapped:          16256 kB
Slab:            69576 kB
Committed_AS:  3402376 kB
PageTables:       1436 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= 66561 MiB

End job on node75 on Tue May  8 19:38:50 UTC 2007