Trace number 3349792

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat hack: LR_NOGL_NOSHR 2011-03-02SAT 471.216 471.223

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data

471.08/471.19	c WARNING: for repeatability, setting FPU to use double precision
471.08/471.19	s SATISFIABLE
471.08/471.19	v 1  -2  3  4  -5  -6  -7  8  -9  -10  -11  -12  -13  -14  -15  -16  -17  -18  -19  -20  -21  22  23  24  -25  26  27  28  29  -30  31  -32  33  -34  -35  -36  37  38  39  -40  41  -42  43  -44  -45  -46  47  -48  -49  -50  -51  52  -53  -54  -55  -56  -57  -58  -59  -60  61  -62  -63  -64  65  66  -67  -68  -69  70  -71  -72  -73  74  -75  -76  -77  78  -79  -80  81  82  -83  -84  85  -86  87  -88  -89  -90  -91  92  93  94  -95  -96  -97  -98  -99  -100  -101  102  -103  -104  -105  106  -107  -108  -109  -110  111  -112  113  -114  -115  -116  117  -118  -119  -120  121  -122  -123  -124  -125  126  127  -128  -129  130  -131  -132  -133  -134  -135  -136  -137  -138  139  -140  141  142  143  144  145  146  147  -148  149  150  151  152  153  -154  -155  -156  -157  -158  -159  -160  -161  -162  -163  -164  -165  -166  -167  -168  -169  -170  -171  -172  -173  -174  -175  -176  -177  178  179  180  -181  -182  183  184  185  -186  -187  -188  -189  190  -191  -192  -193  -194  195  -196  -197  -198  -199  -200  -201  -202  -203  204  -205  -206  -207  -208  -209  -210  -211  -212  -213  -214  -215  -216  -217  -218  -219  -220  221  -222  -223  -224  225  226  -227  -228  -229  -230  -231  -232  233  -234  -235  236  237  238  -239  240  241  242  -243  244  -245  246  -247  248  249  250  -251  -252  -253  -254  -255  -256  -257  -258  -259  -260  261  -262  263  -264  265  -266  -267  -268  -269  -270  271  -272  273  -274  275  276  277  -278  279  280  281  -282  -283  -284  285  -286  287  288  289  -290  -291  -292  293  294  -295  -296  -297  298  299  -300  -301  -302  -303  -304  -305  -306  -307  -308  -309  310  311  -312  -313  314  315  -316  -317  -318  319  320  -321  322  -323  -324  -325  326  327  328  -329  330  331  332  -333  334  -335  336  -337  338  339  340  -341  -342  343  -344  345  346  347  -348  349  -350  351  -352  353  354  355  -356  -357  -358  359  360  -361  -362  363  -364  365  -366  367  368  369  -370  -371  -372  -373  -374  -375  -376  -377  -378  379  -380  -381  -382  -383  -384  385  386  -387  388  389  390  -391  392  393  394  -395  396  397  398  399  400  401  402  403  404  405  406  407  -408  -409  -410  -411  -412  -413  -414  -415  -416  -417  -418  419  -420  -421  -422  -423  -424  425  -426  -427  428  -429  430  431  -432  -433  -434  -435  -436  437  -438  -439  440  441  -442  443  444  445  -446  -447  -448  -449  -450  451  -452  453  454  -455  -456  -457  -458  -459  -460  -461  -462  -463  -464  -465  -466  -467  -468  469  -470  -471  -472  -473  -474  -475  -476  -477  -478  -479  -480  -481  -482  -483  -484  -485  -486  -487  488  489  490  491  492  493  494  495  496  -497  -498  -499  -500  -501  -502  -503  -504  -505  -506  -507  -508  -509  -510  -511  -512  -513  -514  515  -516  -517  -518  -519  -520  -521  -522  -523  -524  -525  -526  -527  -528  -529  -530  -531  -532  533  534  535  536  -537  -538  -539  -540  -541  -542  -543  -544  -545  -546  -547  -548  -549  -550  -551  -552  -553  -554  -555  -556  557  558  559  560  561  562  563  -564  -565  -566  -567  -568  -569  -570  -571  -572  573  -574  -575  -576  -577  -578  -579  -580  -581  -582  -583  -584  -585  -586  -587  -588  -589  -590  -591  -592  -593  -594  -595  596  597  598  -599  -600  -601  -602  -603  -604  -605  -606  -607  -608  -609  -610  -611  -612  -613  -614  -615  -616  -617  -618  -619  -620  -621  -622  -623  -624  -625  -626  -627  628  629  -630  -631  -632  -633  -634  -635  -636  -637  -638  -639  -640  641  642  643  644  645  646  647  648  649  650  651  652  653  -654  -655  -656  -657  -658  -659  -660  -661  -662  -663  -664  -665  666  -667  -668  -669  -670  -671  -672  -673  -674  -675  -676  -677  -678  -679  -680  -681  -682  -683  -684  -685  -686  -687  -688  -689  -690  -691  -692  -693  -694  -695  -696  697  -698  -699  -700  -701  -702  -703  -704  -705  -706  -707  -708  -709  -710  -711  -712  -713  714  715  716  717  718  -719  -720  -721  -722  -723  -724  -725  -726  727  728  729  -730  -731  -732  -733  -734  -735  -736  -737  -738  -739  -740  -741  -742  -743  -744  -745  -746  -747  -748  -749  -750  -751  -752  -753  -754  -755  756  757  758  -759  -760  -761  -762  -763  -764  -765  -766  -767  -768  -769  -770  -771  -772  -773  -774  -775  -776  -777  -778  -779  -780  -781  -782  -783  784  -785  -786  -787  -788  -789  -790  -791  -792  -793  -794  -795  -796  -797  -798  -799  -800  -801  -802  -803  -804  -805  806  -807  -808  -809  -810  -811  -812  -813  -814  815  816  -817  -818  -819  -820  -821  -822  -823  -824  -825  -826  -827  -828  -829  -830  -831  -832  -833  -834  -835  -836  -837  -838  -839  -840  841  -842  -843  -844  -845  -846  -847  -848  -849  -850  -851  -852  -853  -854  -855  -856  -857  -858  -859  -860  -861  -862  -863  -864  -865  -866  -867  -868  869  -870  -871  -872  -873  -874  -875  -876  -877  -878  -879  -880  -881  -882  -883  -884  -885  -886  -887  -888  -889  -890  891  -892  -893  -894  -895  -896  -897  -898  -899  -900  -901  -902  -903  -904  -905  -906  -907  -908  -909  -910  -911  -912  -913  -914  915  -916  -917  -918  -919  -920  -921  -922  -923  -924  925  926  927  928  929  -930  -931  -932  -933  -934  -935  -936  -937  -938  -939  -940  -941  -942  -943  -944  -945  -946  -947  -948  -949  -950  -951  -952  953  954  955  956  -957  -958  -959  -960  -961  -962  -963  -964  -965  -966  -967  -968  -969  -970  971  -972  -973  -974  -975  -976  -977  -978  -979  -980  -981  -982  -983  -984  -985  -986  -987  -988  -989  -990  -991  -992  -993  -994  -995  -996  -997  998  999  1000  1001  -1002  -1003  -1004  -1005  -1006  -1007  -1008  -1009  -1010  -1011  -1012  -1013  -1014  -1015  -1016  -1017  -1018  -1019  -1020  -1021  -1022  1023  -1024  -1025  -1026  -1027  -1028  -1029  -1030  -1031  -1032  -1033  -1034  -1035  -1036  -1037  1038  1039  1040  -1041  -1042  -1043  -1044  -1045  -1046  -1047  -1048  -1049  -1050  -1051  -1052  -1053  -1054  -1055  -1056  -1057  -1058  -1059  -1060  -1061  1062  1063  1064  1065  1066  1067  -1068  -1069  -1070  -1071  -1072  -1073  -1074  -1075  -1076  -1077  -1078  -1079  -1080  -1081  -1082  -1083  1084  1085  1086  1087  1088  1089  -1090  -1091  -1092  -1093  -1094  -1095  -1096  -1097  -1098  -1099  -1100  -1101  -1102  -1103  -1104  -1105  -1106  1107  1108  1109  -1110  -1111  -1112  -1113  -1114  -1115  -1116  -1117  -1118  -1119  -1120  -1121  -1122  1123  -1124  -1125  -1126  -1127  -1128  -1129  -1130  -1131  -1132  -1133  -1134  -1135  -1136  -1137  -1138  -1139  -1140  -1141  -1142  -1143  -1144  -1145  -1146  -1147  1148  1149  1150  1151  1152  1153  1154  -1155  -1156  -1157  -1158  -1159  -1160  -1161  -1162  -1163  -1164  -1165  -1166  -1167  1168  1169  1170  1171  1172  1173  1174  1175  1176  1177  -1178  -1179  -1180  -1181  -1182  -1183  -1184  -1185  -1186  -1187  -1188  -1189  -1190  -1191  -1192  -1193  -1194  -1195  -1196  -1197  1198  1199  -1200  -1201  -1202  -1203  -1204  -1205  -1206  -1207  -1208  -1209  -1210  -1211  -1212  1213  -1214  -1215  -1216  -1217  -1218  -1219  -1220  -1221  -1222  -1223  -1224  -1225  -1226  -1227  -1228  -1229  -1230  -1231  -1232  -1233  -1234  -1235  -1236  -1237  -1238  1239  -1240  -1241  -1242  -1243  -1244  -1245  -1246  -1247  -1248  -1249  -1250  -1251  -1252  -1253  -1254  -1255  -1256  1257  1258  1259  -1260  -1261  -1262  -1263  -1264  -1265  -1266  -1267  -1268  -1269  -1270  -1271  -1272  -1273  -1274  -1275  -1276  -1277  -1278  -1279  -1280  -1281  1282  1283  1284  1285  -1286  -1287  -1288  -1289  -1290  -1291  -1292  -1293  -1294  -1295  -1296  -1297  -1298  1299  1300  -1301  -1302  -1303  -1304  -1305  -1306  -1307  -1308  -1309  -1310  -1311  -1312  -1313  -1314  -1315  -1316  -1317  -1318  -1319  -1320  -1321  -1322  -1323  -1324  1325  1326  1327  1328  1329  -1330  -1331  -1332  -1333  -1334  -1335  -1336  -1337  -1338  -1339  -1340  -1341  -1342  -1343  -1344  -1345  -1346  -1347  -1348  1349  1350  -1351  -1352  -1353  -1354  -1355  -1356  -1357  -1358  -1359  -1360  -1361  -1362  -1363  -1364  -1365  -1366  -1367  -1368  -1369  -1370  -1371  -1372  1373  -1374  -1375  -1376  -1377  -1378  -1379  -1380  -1381  -1382  -1383  -1384  -1385  -1386  -1387  1388  1389  -1390  -1391  -1392  -1393  -1394  -1395  -1396  -1397  -1398  -1399  -1400  -1401  -1402  -1403  -1404  -1405  -1406  -1407  -1408  -1409  -1410  -1411  1412  -1413  -1414  -1415  -1416  -1417  -1418  -1419  -1420  -1421  -1422  -1423  -1424  -1425  -1426  -1427  -1428  -1429  -1430  -1431  -1432  -1433  -1434  -1435  -1436  1437  -1438  -1439  -1440  -1441  -1442  -1443  -1444  -1445  -1446  -1447  -1448  -1449  -1450  -1451  -1452  -1453  -1454  -1455  -1456  -1457  -1458  -1459  -1460  -1461  -1462  -1463  -1464  -1465  -1466  -1467  -1468  -1469  -1470  -1471  -1472  -1473  -1474  -1475  -1476  -1477  -1478  -1479  -1480  1481  -1482  -1483  -1484  -1485  -1486  -1487  -1488  -1489  -1490  -1491  -1492  -1493  -1494  -1495  -1496  -1497  -1498  -1499  -1500  -1501  -1502  1503  -1504  -1505  -1506  -1507  -1508  -1509  -1510  -1511  -1512  -1513  -1514  -1515  -1516  -1517  -1518  -1519  -1520  -1521  -1522  -1523  -1524  -1525  -1526  -1527  -1528  -1529  -1530  -1531  -1532  -1533  -1534  -1535  -1536  -1537  -1538  -1539  -1540  -1541  -1542  -1543  -1544  -1545  -1546  -1547  -1548  -1549  -1550  -1551  -1552  -1553  -1554  -1555  -1556  -1557  -1558  -1559  -1560  -1561  -1562  -1563  -1564  -1565  -1566  -1567  -1568  -1569  -1570  -1571  -1572  -1573  -1574  -1575  -1576  -1577  -1578  -1579  -1580  -1581  -1582  -1583  -1584  -1585  -1586  -1587  -1588  -1589  -1590  1591  -1592  -1593  -1594  -1595  -1596  -1597  -1598  -1599  -1600  -1601  -1602  -1603  -1604  -1605  -1606  -1607  -1608  -1609  -1610  -1611  -1612  -1613  -1614  -1615  -1616  -1617  -1618  -1619  -1620  -1621  -1622  -1623  -1624  -1625  -1626  -1627  -1628  -1629  -1630  -1631  -1632  -1633  -1634  -1635  -1636  -1637  -1638  -1639  -1640  -1641  -1642  -1643  -1644  -1645  -1646  -1647  -1648  -1649  -1650  -1651  -1652  -1653  -1654  -1655  -1656  -1657  -1658  -1659  -1660  -1661  -1662  -1663  -1664  -1665  -1666  -1667  -1668  -1669  -1670  -1671  -1672  -1673  -1674  -1675  -1676  -1677  -1678  -1679  -1680  -1681  -1682  -1683  -1684  -1685  -1686  -1687  -1688  -1689  -1690  -1691  -1692  -1693  -1694  -1695  -1696  -1697  -1698  -1699  -1700  -1701  -1702  -1703  -1704  -1705  -1706  -1707  -1708  -1709  -1710  -1711  -1712  -1713  -1714  -1715  -1716  -1717  -1718  -1719  -1720  -1721  -1722  -1723  -1724  -1725  -1726  -1727  -1728  -1729  -1730  -1731  -1732  -1733  -1734  -1735  -1736  -1737  -1738  -1739  -1740  -1741  -1742  -1743  -1744  -1745  -1746  -1747  -1748  -1749  -1750  -1751  -1752  -1753  -1754  -1755  -1756  -1757  -1758  -1759  -1760  -1761  -1762  -1763  -1764  -1765  -1766  -1767  -1768  -1769  -1770  -1771  -1772  -1773  -1774  -1775  -1776  -1777  -1778  -1779  -1780  -1781  -1782  -1783  -1784  -1785  -1786  -1787  -1788  -1789  -1790  -1791  -1792  -1793  -1794  -1795  -1796  -1797  -1798  -1799  -1800  -1801  -1802  -1803  -1804  -1805  -1806  -1807  -1808  -1809  -1810  -1811  -1812  -1813  -1814  -1815  -1816  -1817  -1818  -1819  -1820  -1821  -1822  -1823  -1824  -1825  -1826  -1827  -1828  -1829  -1830  -1831  -1832  -1833  -1834  -1835  -1836  -1837  -1838  -1839  -1840  -1841  -1842  -1843  -1844  -1845  -1846  -1847  -1848  -1849  -1850  -1851  -1852  -1853  -1854  -1855  -1856  -1857  -1858  -1859  -1860  -1861  -1862  -1863  -1864  -1865  -1866  -1867  -1868  -1869  -1870  -1871  -1872  -1873  -1874  -1875  -1876  -1877  -1878  -1879  -1880  -1881  -1882  -1883  -1884  -1885  -1886  -1887  -1888  -1889  -1890  -1891  -1892  -1893  -1894  -1895  -1896  -1897  -1898  -1899  -1900  1901  -1902  -1903  -1904  -1905  -1906  -1907  -1908  -1909  -1910  -1911  -1912  -1913  -1914  -1915  -1916  -1917  -1918  1919  1920  1921  1922  -1923  -1924  -1925  -1926  -1927  -1928  -1929  -1930  -1931  -1932  -1933  -1934  -1935  -1936  -1937  -1938  -1939  -1940  -1941  -1942  1943  1944  1945  1946  1947  1948  -1949  -1950  -1951  -1952  -1953  -1954  -1955  -1956  -1957  -1958  -1959  -1960  -1961  -1962  -1963  -1964  -1965  -1966  -1967  -1968  -1969  -1970  -1971  -1972  -1973  -1974  -1975  -1976  -1977  -1978  -1979  -1980  -1981  -1982  -1983  1984  -1985  -1986  -1987  -1988  -1989  -1990  -1991  -1992  -1993  -1994  -1995  -1996  -1997  -1998  -1999  -2000  -2001  -2002  -2003  -2004  -2005  -2006  -2007  -2008  -2009  -2010  -2011  -2012  -2013  2014  -2015  -2016  -2017  -2018  -2019  -2020  -2021  -2022  -2023  -2024  -2025  -2026  -2027  2028  2029  2030  2031  2032  2033  2034  2035  2036  -2037  -2038  -2039  -2040  -2041  -2042  -2043  -2044  -2045  -2046  -2047  -2048  -2049  -2050  -2051  2052  -2053  -2054  -2055  -2056  -2057  -2058  -2059  -2060  -2061  -2062  -2063  -2064  -2065  -2066  -2067  -2068  -2069  -2070  -2071  -2072  -2073  -2074  -2075  -2076  -2077  -2078  -2079  -2080  -2081  -2082  -2083  -2084  -2085  -2086  -2087  -2088  -2089  -2090  -2091  -2092  -2093  -2094  -2095  -2096  -2097  -2098  -2099  2100  2101  2102  -2103  -2104  -2105  -2106  -2107  -2108  -2109  -2110  -2111  -2112  -2113  -2114  -2115  -2116  -2117  -2118  -2119  -2120  -2121  -2122  -2123  -2124  -2125  -2126  -2127  -2128  -2129  -2130  -2131  -2132  -2133  -2134  -2135  -2136  -2137  -2138  -2139  -2140  -2141  2142  2143  2144  -2145  -2146  -2147  -2148  -2149  -2150  -2151  -2152  -2153  -2154  -2155  -2156  -2157  -2158  -2159  -2160  -2161  -2162  -2163  -2164  -2165  -2166  -2167  -2168  -2169  -2170  -2171  -2172  -2173  -2174  -2175  -2176  -2177  -2178  -2179  -2180  -2181  -2182  -2183  -2184  -2185  -2186  -2187  -2188  -2189  -2190  -2191  -2192  -2193  -2194  -2195  -2196  -2197  -2198  -2199  -2200  -2201  -2202  -2203  -2204  -2205  -2206  -2207  -2208  -2209  -2210  -2211  -2212  -2213  -2214  -2215  -2216  -2217  -2218  -2219  -2220  -2221  -2222  -2223  -2224  -2225  -2226  2227  -2228  -2229  -2230  -2231  -2232  -2233  -2234  -2235  -2236  -2237  -2238  -2239  -2240  -2241  -2242  -2243  -2244  -2245  -2246  -2247  -2248  -2249  -2250  -2251  -2252  -2253  -2254  2255  -2256  -2257  -2258  -2259  -2260  -2261  -2262  -2263  -2264  -2265  -2266  -2267  -2268  -2269  -2270  -2271  -2272  -2273  -2274  -2275  -2276  2277  -2278  -2279  -2280  -2281  -2282  -2283  -2284  -2285  -2286  -2287  -2288  -2289  -2290  -2291  -2292  -2293  -2294  -2295  -2296  -2297  -2298  -2299  -2300  -2301  -2302  -2303  -2304  -2305  -2306  -2307  -2308  -2309  -2310  -2311  -2312  -2313  2314  2315  -2316  -2317  -2318  -2319  -2320  -2321  -2322  -2323  -2324  -2325  -2326  -2327  -2328  -2329  -2330  -2331  -2332  -2333  -2334  -2335  -2336  -2337  -2338  -2339  -2340  -2341  -2342  -2343  -2344  -2345  -2346  -2347  -2348  -2349  -2350  -2351  -2352  -2353  -2354  -2355  -2356  -2357  -2358  -2359  -2360  -2361  -2362  2363  -2364  -2365  -2366  -2367  -2368  -2369  -2370  -2371  -2372  -2373  -2374  -2375  -2376  -2377  -2378  -2379  -2380  -2381  -2382  -2383  -2384  -2385  -2386  -2387  -2388  -2389  -2390  -2391  -2392  -2393  -2394  -2395  -2396  -2397  -2398  -2399  -2400  -2401  -2402  -2403  -2404  -2405  -2406  -2407  -2408  -2409  -2410  -2411  -2412  -2413  -2414  -2415  -2416  -2417  -2418  -2419  -2420  -2421  -2422  -2423  -2424  -2425  -2426  -2427  -2428  -2429  -2430  -2431  -2432  -2433  -2434  -2435  -2436  -2437  -2438  -2439  -2440  -2441  -2442  -2443  -2444  -2445  -2446  -2447  -2448  -2449  -2450  2451  -2452  -2453  -2454  -2455  -2456  -2457  -2458  -2459  -2460  -2461  -2462  -2463  -2464  -2465  -2466  -2467  -2468  -2469  -2470  -2471  -2472  -2473  -2474  -2475  -2476  -2477  -2478  -2479  -2480  -2481  -2482  -2483  -2484  -2485  -2486  -2487  -2488  -2489  -2490  -2491  -2492  -2493  -2494  -2495  -2496  -2497  -2498  -2499  -2500  -2501  -2502  -2503  -2504  -2505  -2506  -2507  -2508  -2509  -2510  -2511  -2512  -2513  -2514  -2515  -2516  -2517  -2518  -2519  -2520  -2521  -2522  -2523  -2524  -2525  -2526  -2527  -2528  -2529  -2530  -2531  -2532  -2533  -2534  -2535  -2536  -2537  -2538  -2539  -2540  -2541  -2542  -2543  -2544  -2545  -2546  -2547  -2548  -2549  -2550  -2551  -2552  -2553  -2554  -2555  -2556  -2557  -2558  -2559  -2560  2561  -2562  -2563  -2564  -2565  -2566  -2567  -2568  -2569  -2570  -2571  -2572  -2573  -2574  -2575  -2576  -2577  -2578  -2579  -2580  -2581  -2582  -2583  -2584  -2585  -2586  -2587  -2588  -2589  -2590  -2591  -2592  -2593  -2594  -2595  -2596  -2597  -2598  -2599  -2600  -2601  -2602  -2603  -2604  -2605  -2606  -2607  -2608  -2609  -2610  -2611  -2612  -2613  -2614  -2615  -2616  -2617  -2618  -2619  -2620  -2621  -2622  -2623  -2624  -2625  -2626  -2627  -2628  -2629  -2630  -2631  -2632  -2633  -2634  -2635  -2636  -2637  -2638  -2639  -2640  -2641  -2642  -2643  -2644  -2645  -2646  -2647  -2648  -2649  -2650  -2651  -2652  -2653  -2654  -2655  -2656  -2657  -2658  -2659  -2660  -2661  -2662  -2663  -2664  -2665  -2666  -2667  -2668  -2669  -2670  -2671  -2672  -2673  -2674  -2675  -2676  -2677  -2678  -2679  -2680  -2681  -2682  -2683  -2684  -2685  -2686  -2687  -2688  -2689  -2690  -2691  -2692  -2693  -2694  -2695  -2696  -2697  -2698  -2699  -2700  -2701  -2702  -2703  -2704  -2705  -2706  -2707  -2708  -2709  -2710  -2711  -2712  -2713  -2714  -2715  -2716  -2717  -2718  -2719  -2720  -2721  -2722  -2723  -2724  -2725  -2726  -2727  -2728  -2729  -2730  -2731  -2732  -2733  -2734  -2735  -2736  -2737  -2738  -2739  -2740  -2741  -2742  -2743  -2744  -2745  -2746  -2747  -2748  -2749  -2750  -2751  -2752  -2753  -2754  -2755  -2756  2757  2758  -2759  -2760  -2761  -2762  -2763  -2764  -2765  -2766  -2767  -2768  -2769  -2770  -2771  -2772  -2773  -2774  -2775  -2776  -2777  -2778  -2779  -2780  -2781  -2782  -2783  -2784  -2785  -2786  -2787  -2788  -2789  -2790  -2791  -2792  -2793  -2794  -2795  -2796  -2797  -2798  -2799  -2800  -2801  -2802  -2803  -2804  -2805  -2806  -2807  -2808  -2809  -2810  -2811  -2812  -2813  -2814  -2815  -2816  -2817  -2818  -2819  -2820  -2821  -2822  -2823  -2824  -2825  -2826  -2827  -2828  -2829  -2830  -2831  -2832  -2833  -2834  -2835  -2836  -2837  -2838  -2839  -2840  -2841  -2842  2843  2844  2845  2846  -2847  -2848  -2849  -2850  -2851  -2852  -2853  -2854  -2855  -2856  -2857  -2858  -2859  -2860  -2861  -2862  -2863  -2864  -2865  2866  -2867  -2868  -2869  -2870  -2871  -2872  -2873  -2874  -2875  -2876  -2877  -2878  -2879  -2880  -2881  -2882  -2883  -2884  -2885  -2886  -2887  -2888  -2889  -2890  -2891  -2892  -2893  -2894  -2895  -2896  -2897  -2898  -2899  -2900  -2901  -2902  -2903  -2904  -2905  -2906  -2907  -2908  -2909  -2910  -2911  -2912  -2913  -2914  -2915  -2916  -2917  -2918  -2919  -2920  -2921  -2922  -2923  -2924  -2925  -2926  -2927  -2928  -2929  -2930  -2931  -2932  -2933  -2934  -2935  -2936  -2937  -2938  -2939  -2940  -2941  -2942  -2943  -2944  -2945  -2946  -2947  -2948  -2949  -2950  -2951  -2952  -2953  -2954  -2955  2956  -2957  -2958  -2959  -2960  -2961  -2962  -2963  -2964  -2965  -2966  -2967  -2968  -2969  -2970  -2971  -2972  -2973  -2974  -2975  -2976  -2977  -2978  -2979  -2980  -2981  -2982  -2983  -2984  -2985  -2986  -2987  -2988  -2989  -2990  -2991  -2992  -2993  -2994  -2995  -2996  -2997  -2998  -2999  -3000  -3001  -3002  -3003  -3004  -3005  -3006  -3007  -3008  -3009  -3010  -3011  -3012  -3013  -3014  -3015  -3016  -3017  -3018  -3019  -3020  -3021  -3022  -3023  -3024  -3025  -3026  -3027  -3028  -3029  -3030  -3031  -3032  -3033  -3034  -3035  -3036  -3037  -3038  -3039  -3040  3041  -3042  -3043  -3044  -3045  -3046  -3047  -3048  -3049  -3050  -3051  -3052  -3053  -3054  -3055  -3056  -3057  -3058  -3059  -3060  -3061  -3062  -3063  -3064  -3065  -3066  -3067  -3068  -3069  -3070  -3071  -3072  -3073  -3074  -3075  -3076  -3077  -3078  -3079  -3080  -3081  -3082  -3083  -3084  -3085  -3086  -3087  -3088  -3089  -3090  -3091  -3092  -3093  -3094  -3095  -3096  -3097  -3098  -3099  -3100  -3101  -3102  -3103  -3104  -3105  -3106  -3107  -3108  -3109  -3110  -3111  -3112  -3113  -3114  -3115  -3116  -3117  -3118  -3119  -3120  -3121  -3122  -3123  -3124  -3125  -3126  -3127  -3128  3129  -3130  -3131  -3132  -3133  -3134  -3135  -3136  -3137  -3138  -3139  -3140  -3141  -3142  -3143  -3144  -3145  -3146  -3147  -3148  -3149  -3150  -3151  -3152  -3153  -3154  -3155  -3156  -3157  -3158  -3159  -3160  -3161  -3162  -3163  -3164  -3165  -3166  -3167  -3168  -3169  -3170  -3171  -3172  -3173  -3174  -3175  -3176  -3177  -3178  -3179  -3180  -3181  -3182  -3183  -3184  -3185  -3186  -3187  -3188  -3189  -3190  -3191  -3192  -3193  -3194  -3195  -3196  -3197  -3198  -3199  -3200  -3201  3202  3203  -3204  -3205  -3206  -3207  -3208  -3209  -3210  -3211  -3212  -3213  -3214  -3215  -3216  -3217  -3218  3219  3220  3221  3222  3223  3224  3225  -3226  -3227  -3228  -3229  -3230  -3231  -3232  -3233  -3234  -3235  -3236  -3237  -3238  -3239  -3240  -3241  -3242  -3243  -3244  -3245  -3246  -3247  -3248  -3249  -3250  -3251  -3252  -3253  -3254  -3255  -3256  -3257  -3258  -3259  -3260  -3261  -3262  -3263  -3264  -3265  -3266  -3267  -3268  -3269  -3270  -3271  -3272  -3273  -3274  -3275  -3276  -3277  -3278  -3279  -3280  -3281  -3282  -3283  -3284  -3285  -3286  -3287  3288  3289  3290  3291  -3292  -3293  -3294  -3295  -3296  -3297  -3298  -3299  -3300  -3301  -3302  -3303  -3304  -3305  -3306  -3307  -3308  -3309  -3310  -3311  -3312  -3313  -3314  -3315  -3316  -3317  -3318  -3319  -3320  -3321  -3322  -3323  -3324  -3325  -3326  -3327  -3328  -3329  3330  3331  3332  -3333  -3334  -3335  -3336  -3337  -3338  -3339  -3340  -3341  -3342  -3343  -3344  -3345  -3346  -3347  -3348  -3349  -3350  -3351  -3352  -3353  -3354  -3355  -3356  -3357  -3358  -3359  -3360  -3361  -3362  -3363  -3364  -3365  -3366  -3367  -3368  -3369  -3370  -3371  -3372  -3373  -3374  -3375  -3376  -3377  -3378  -3379  -3380  -3381  -3382  -3383  -3384  -3385  -3386  -3387  -3388  -3389  -3390  -3391  -3392  -3393  -3394  -3395  -3396  -3397  -3398  -3399  -3400  -3401  -3402  -3403  -3404  -3405  -3406  -3407  -3408  -3409  -3410  -3411  -3412  -3413  -3414  -3415  -3416  -3417  -3418  -3419  -3420  -3421  -3422  -3423  -3424  -3425  -3426  -3427  -3428  -3429  -3430  -3431  -3432  -3433  -3434  -3435  -3436  -3437  -3438  -3439  -3440  -3441  -3442  3443  -3444  -3445  -3446  -3447  -3448  -3449  -3450  -3451  -3452  -3453  -3454  -3455  -3456  -3457  -3458  -3459  -3460  -3461  -3462  -3463  -3464  3465  -3466  -3467  -3468  -3469  -3470  -3471  -3472  -3473  -3474  -3475  -3476  -3477  -3478  -3479  -3480  -3481  -3482  -3483  -3484  -3485  -3486  -3487  -3488  3489  -3490  -3491  -3492  -3493  -3494  -3495  -3496  -3497  -3498  -3499  -3500  -3501  -3502  -3503  -3504  -3505  -3506  -3507  -3508  -3509  -3510  -3511  -3512  -3513  -3514  -3515  -3516  -3517  -3518  -3519  -3520  -3521  -3522  -3523  -3524  -3525  -3526  -3527  -3528  -3529  -3530  -3531  -3532  -3533  -3534  -3535  -3536  -3537  -3538  -3539  -3540  -3541  -3542  -3543  -3544  -3545  -3546  -3547  -3548  -3549  -3550  -3551  -3552  -3553  -3554  -3555  -3556  -3557  -3558  -3559  -3560  -3561  -3562  -3563  -3564  -3565  -3566  -3567  -3568  -3569  -3570  -3571  -3572  -3573  -3574  -3575  -3576  -3577  -3578  -3579  -3580  -3581  -3582  -3583  -3584  -3585  -3586  -3587  -3588  -3589  -3590  -3591  -3592  -3593  -3594  -3595  -3596  -3597  -3598  -3599  -3600  -3601  -3602  -3603  -3604  -3605  -3606  -3607  -3608  -3609  -3610  -3611  -3612  -3613  -3614  -3615  -3616  -3617  -3618  -3619  -3620  -3621  -3622  -3623  -3624  -3625  -3626  -3627  -3628  -3629  -3630  -3631  -3632  -3633  -3634  -3635  -3636  -3637  -3638  -3639  -3640  -3641  -3642  -3643  -3644  -3645  -3646  -3647  -3648  -3649  -3650  -3651  -3652  3653  -3654  -3655  -3656  -3657  -3658  -3659  -3660  -3661  -3662  -3663  -3664  -3665  -3666  -3667  -3668  -3669  -3670  -3671  -3672  -3673  -3674  -3675  -3676  -3677  -3678  -3679  -3680  -3681  -3682  -3683  -3684  -3685  -3686  -3687  -3688  -3689  -3690  -3691  -3692  -3693  -3694  -3695  -3696  -3697  -3698  -3699  -3700  -3701  -3702  -3703  -3704  -3705  -3706  -3707  -3708  -3709  -3710  -3711  -3712  -3713  -3714  -3715  -3716  -3717  -3718  -3719  -3720  -3721  -3722  -3723  -3724  -3725  -3726  -3727  -3728  -3729  -3730  -3731  -3732  -3733  -3734  -3735  -3736  -3737  -3738  -3739  -3740  3741  -3742  -3743  -3744  -3745  -3746  -3747  -3748  -3749  -3750  -3751  -3752  -3753  -3754  -3755  -3756  -3757  -3758  -3759  -3760  -3761  -3762  -3763  -3764  -3765  -3766  -3767  -3768  -3769  -3770  -3771  -3772  -3773  -3774  -3775  -3776  -3777  -3778  -3779  -3780  -3781  -3782  -3783  -3784  -3785  -3786  -3787  -3788  -3789  -3790  -3791  -3792  -3793  -3794  -3795  -3796  -3797  -3798  -3799  -3800  -3801  -3802  -3803  -3804  -3805  -3806  -3807  -3808  -3809  -3810  -3811  -3812  -3813  -3814  -3815  -3816  -3817  -3818  -3819  -3820  -3821  -3822  -3823  -3824  -3825  -3826  -3827  -3828  -3829  -3830  -3831  -3832  -3833  -3834  -3835  -3836  -3837  -3838  -3839  -3840  -3841  -3842  -3843  -3844  -3845  -3846  -3847  -3848  -3849  -3850  3851  -3852  -3853  -3854  -3855  -3856  -3857  -3858  -3859  -3860  -3861  -3862  -3863  -3864  -3865  -3866  -3867  -3868  -3869  -3870  -3871  -3872  -3873  -3874  -3875  -3876  -3877  -3878  -3879  -3880  -3881  -3882  -3883  -3884  -3885  -3886  -3887  -3888  -3889  -3890  -3891  -3892  -3893  -3894  -3895  -3896  3897  3898  -3899  -3900  -3901  -3902  -3903  -3904  -3905  -3906  -3907  -3908  -3909  -3910  -3911  -3912  -3913  -3914  -3915  -3916  -3917  -3918  -3919  -3920  -3921  -3922  -3923  -3924  -3925  -3926  -3927  -3928  -3929  -3930  -3931  -3932  -3933  -3934  -3935  -3936  -3937  -3938  -3939  -3940  -3941  -3942  -3943  -3944  -3945  -3946  -3947  -3948  -3949  -3950  -3951  -3952  -3953  -3954  -3955  -3956  -3957  -3958  -3959  -3960  -3961  -3962  -3963  -3964  -3965  -3966  -3967  -3968  -3969  -3970  -3971  -3972  -3973  -3974  -3975  -3976  -3977  -3978  -3979  -3980  -3981  -3982  -3983  3984  3985  -3986  -3987  -3988  -3989  -3990  -3991  -3992  -3993  -3994  -3995  -3996  -3997  -3998  -3999  -4000  -4001  -4002  -4003  -4004  -4005  -4006  -4007  -4008  -4009  -4010  -4011  -4012  -4013  -4014  -4015  -4016  -4017  -4018  -4019  -4020  -4021  -4022  -4023  -4024  -4025  -4026  -4027  -4028  -4029  -4030  -4031  -4032  -4033  -4034  -4035  -4036  -4037  -4038  -4039  -4040  -4041  -4042  -4043  -4044  -4045  -4046  -4047  -4048  -4049  -4050  -4051  -4052  -4053  -4054  -4055  -4056  -4057  -4058  -4059  -4060  -4061  -4062  -4063  -4064  -4065  -4066  -4067  -4068  -4069  -4070  -4071  4072  -4073  -4074  -4075  -4076  -4077  -4078  -4079  -4080  -4081  -4082  -4083  -4084  -4085  -4086  -4087  -4088  -4089  -4090  -4091  -4092  -4093  -4094  -4095  -4096  -4097  -4098  -4099  -4100  -4101  -4102  -4103  -4104  -4105  -4106  -4107  -4108  -4109  -4110  -4111  -4112  -4113  -4114  -4115  -4116  -4117  -4118  -4119  -4120  -4121  -4122  -4123  -4124  -4125  -4126  -4127  -4128  -4129  -4130  -4131  -4132  -4133  -4134  -4135  -4136  -4137  -4138  -4139  -4140  -4141  -4142  -4143  -4144  -4145  -4146  -4147  -4148  -4149  -4150  -4151  -4152  -4153  -4154  -4155  -4156  -4157  -4158  -4159  -4160  -4161  -4162  -4163  -4164  -4165  -4166  -4167  -4168  -4169  -4170  -4171  -4172  -4173  -4174  -4175  -4176  -4177  -4178  -4179  -4180  -4181  4182  4183  4184  -4185  -4186  -4187  -4188  -4189  -4190  -4191  -4192  -4193  -4194  -4195  -4196  -4197  -4198  -4199  -4200  -4201  -4202  -4203  -4204  -4205  -4206  -4207  -4208  -4209  -4210  -4211  -4212  -4213  4214  4215  -4216  -4217  -4218  -4219  -4220  -4221  -4222  -4223  -4224  -4225  -4226  -4227  -4228  -4229  -4230  -4231  -4232  -4233  -4234  -4235  -4236  -4237  -4238  -4239  -4240  -4241  -4242  -4243  -4244  -4245  -4246  -4247  -4248  -4249  -4250  -4251  -4252  -4253  -4254  -4255  -4256  -4257  -4258  -4259  -4260  -4261  -4262  -4263  -4264  -4265  -4266  -4267  -4268  -4269  -4270  -4271  -4272  -4273  -4274  -4275  -4276  -4277  -4278  -4279  4280  4281  -4282  -4283  -4284  -4285  -4286  -4287  -4288  -4289  -4290  -4291  -4292  -4293  -4294  -4295  -4296  -4297  -4298  -4299  -4300  -4301  -4302  -4303  -4304  -4305  -4306  -4307  -4308  -4309  -4310  -4311  -4312  -4313  -4314  -4315  -4316  -4317  -4318  -4319  -4320  -4321  -4322  -4323  -4324  -4325  -4326  -4327  -4328  -4329  -4330  -4331  -4332  -4333  -4334  -4335  -4336  -4337  -4338  -4339  -4340  -4341  -4342  -4343  -4344  -4345  -4346  -4347  -4348  -4349  -4350  -4351  -4352  -4353  -4354  -4355  -4356  -4357  -4358  -4359  -4360  -4361  -4362  -4363  -4364  -4365  -4366  -4367  -4368  -4369  -4370  -4371  -4372  -4373  -4374  -4375  -4376  -4377  -4378  -4379  -4380  -4381  -4382  -4383  -4384  -4385  -4386  -4387  -4388  -4389  -4390  -4391  -4392  -4393  -4394  -4395  -4396  -4397  -4398  -4399  -4400  -4401  -4402  -4403  -4404  -4405  -4406  -4407  -4408  -4409  -4410  -4411  -4412  -4413  -4414  -4415  -4416  -4417  -4418  -4419  -4420  -4421  -4422  -4423  -4424  -4425  -4426  -4427  -4428  -4429  -4430  -4431  -4432  -4433  -4434  -4435  -4436  -4437  -4438  -4439  -4440  -4441  -4442  -4443  -4444  -4445  -4446  -4447  -4448  -4449  -4450  -4451  -4452  -4453  -4454  -4455  -4456  -4457  -4458  -4459  -4460  -4461  -4462  -4463  -4464  -4465  -4466  -4467  -4468  -4469  -4470  -4471  -4472  -4473  -4474  -4475  -4476  -4477  -4478  4479  -4480  -4481  -4482  -4483  -4484  -4485  -4486  -4487  -4488  -4489  -4490  -4491  -4492  -4493  -4494  -4495  -4496  -4497  -4498  -4499  -4500  -4501  -4502  -4503  -4504  -4505  -4506  -4507  -4508  -4509  -4510  -4511  -4512  -4513  -4514  -4515  4516  -4517  -4518  -4519  -4520  -4521  -4522  -4523  -4524  -4525  -4526  -4527  -4528  -4529  -4530  -4531  -4532  -4533  -4534  -4535  -4536  -4537  -4538  -4539  -4540  -4541  -4542  -4543  -4544  -4545  -4546  4547  -4548  -4549  -4550  -4551  -4552  -4553  -4554  -4555  -4556  -4557  -4558  -4559  -4560  -4561  -4562  -4563  4564  4565  4566  4567  4568  -4569  -4570  -4571  -4572  -4573  -4574  -4575  -4576  -4577  -4578  4579  -4580  -4581  -4582  -4583  -4584  -4585  -4586  -4587  -4588  -4589  -4590  -4591  -4592  -4593  -4594  -4595  -4596  -4597  -4598  -4599  -4600  -4601  -4602  -4603  -4604  -4605  4606  4607  4608  -4609  -4610  -4611  -4612  -4613  -4614  -4615  -4616  -4617  -4618  -4619  -4620  -4621  -4622  -4623  -4624  -4625  -4626  -4627  -4628  -4629  -4630  -4631  -4632  -4633  4634  -4635  -4636  -4637  -4638  -4639  -4640  -4641  -4642  -4643  -4644  -4645  -4646  -4647  -4648  -4649  -4650  -4651  -4652  -4653  -4654  -4655  4656  -4657  -4658  -4659  -4660  -4661  -4662  -4663  -4664  -4665  -4666  -4667  -4668  -4669  -4670  -4671  -4672  -4673  -4674  -4675  -4676  -4677  -4678  -4679  -4680  -4681  -4682  -4683  -4684  -4685  -4686  -4687  -4688  -4689  -4690  4691  -4692  -4693  -4694  -4695  -4696  -4697  -4698  -4699  -4700  -4701  -4702  -4703  -4704  -4705  -4706  -4707  -4708  -4709  -4710  -4711  -4712  -4713  -4714  -4715  -4716  -4717  -4718  4719  -4720  -4721  -4722  -4723  -4724  -4725  -4726  -4727  -4728  -4729  -4730  -4731  -4732  -4733  -4734  -4735  -4736  -4737  -4738  -4739  -4740  4741  -4742  -4743  -4744  -4745  -4746  -4747  -4748  -4749  -4750  -4751  -4752  -4753  -4754  -4755  -4756  -4757  -4758  -4759  -4760  -4761  -4762  -4763  -4764  4765  -4766  -4767  -4768  -4769  -4770  -4771  -4772  -4773  -4774  -4775  -4776  4777  4778  4779  -4780  -4781  -4782  -4783  -4784  -4785  -4786  -4787  -4788  -4789  -4790  -4791  -4792  -4793  -4794  -4795  -4796  -4797  -4798  -4799  -4800  -4801  -4802  -4803  -4804  -4805  -4806  -4807  -4808  -4809  -4810  -4811  -4812  -4813  -4814  -4815  -4816  -4817  -4818  -4819  -4820  -4821  -4822  -4823  -4824  -4825  -4826  -4827  -4828  -4829  -4830  -4831  -4832  -4833  -4834  -4835  -4836  -4837  -4838  -4839  -4840  -4841  -4842  -4843  -4844  -4845  -4846  -4847  -4848  -4849  -4850  -4851  -4852  -4853  -4854  -4855  -4856  -4857  -4858  -4859  -4860  -4861  -4862  -4863  -4864  -4865  -4866  -4867  -4868  -4869  -4870  -4871  -4872  -4873  -4874  -4875  -4876  -4877  -4878  -4879  -4880  -4881  -4882  -4883  -4884  -4885  -4886  -4887  -4888  -4889  -4890  -4891  -4892  -4893  -4894  -4895  -4896  -4897  -4898  -4899  -4900  -4901  -4902  -4903  -4904  -4905  -4906  -4907  -4908  -4909  -4910  -4911  -4912  -4913  -4914  -4915  -4916  -4917  -4918  -4919  -4920  -4921  -4922  -4923  -4924  -4925  -4926  -4927  -4928  -4929  -4930  -4931  -4932  -4933  -4934  -4935  -4936  -4937  -4938  -4939  -4940  -4941  -4942  -4943  -4944  -4945  -4946  -4947  -4948  -4949  -4950  -4951  -4952  -4953  -4954  -4955  -4956  -4957  -4958  -4959  -4960  -4961  -4962  -4963  -4964  -4965  -4966  -4967  -4968  -4969  -4970  -4971  -4972  -4973  -4974  -4975  -4976  -4977  -4978  -4979  -4980  -4981  -4982  -4983  -4984  -4985  -4986  -4987  -4988  -4989  -4990  -4991  -4992  -4993  -4994  -4995  -4996  -4997  -4998  -4999  -5000  -5001  -5002  -5003  -5004  -5005  -5006  -5007  -5008  -5009  -5010  -5011  -5012  -5013  -5014  -5015  -5016  -5017  -5018  -5019  -5020  -5021  -5022  -5023  -5024  -5025  -5026  -5027  -5028  -5029  -5030  -5031  -5032  -5033  -5034  -5035  -5036  -5037  -5038  -5039  -5040  -5041  -5042  -5043  -5044  -5045  -5046  -5047  -5048  -5049  -5050  -5051  -5052  -5053  -5054  -5055  -5056  -5057  -5058  -5059  -5060  -5061  -5062  -5063  -5064  -5065  -5066  -5067  -5068  -5069  -5070  -5071  -5072  -5073  -5074  -5075  -5076  -5077  -5078  -5079  -5080  -5081  -5082  -5083  -5084  -5085  -5086  -5087  -5088  -5089  -5090  -5091  -5092  -5093  -5094  -5095  -5096  -5097  -5098  -5099  -5100  -5101  -5102  -5103  -5104  -5105  -5106  -5107  -5108  -5109  -5110  -5111  -5112  -5113  -5114  -5115  -5116  -5117  -5118  -5119  -5120  -5121  -5122  -5123  -5124  -5125  -5126  -5127  -5128  -5129  -5130  -5131  -5132  -5133  -5134  -5135  -5136  -5137  -5138  -5139  -5140  -5141  -5142  -5143  -5144  -5145  -5146  -5147  -5148  -5149  -5150  -5151  -5152  -5153  -5154  -5155  -5156  -5157  -5158  -5159  -5160  -5161  -5162  -5163  -5164  -5165  -5166  -5167  -5168  -5169  -5170  -5171  -5172  -5173  -5174  -5175  -5176  -5177  -5178  -5179  -5180  -5181  -5182  -5183  -5184  -5185  -5186  -5187  -5188  -5189  -5190  -5191  -5192  -5193  -5194  -5195  -5196  -5197  -5198  -5199  -5200  -5201  -5202  -5203  -5204  -5205  -5206  -5207  -5208  -5209  -5210  -5211  -5212  -5213  -5214  -5215  -5216  -5217  -5218  -5219  -5220  -5221  -5222  -5223  -5224  -5225  -5226  -5227  -5228  -5229  -5230  -5231  -5232  -5233  -5234  -5235  -5236  -5237  -5238  -5239  -5240  -5241  -5242  -5243  -5244  -5245  -5246  -5247  -5248  -5249  -5250  -5251  -5252  -5253  -5254  -5255  -5256  -5257  -5258  -5259  -5260  -5261  -5262  -5263  -5264  -5265  -5266  -5267  -5268  -5269  -5270  -5271  -5272  -5273  -5274  -5275  -5276  -5277  -5278  -5279  -5280  -5281  -5282  -5283  -5284  -5285  -5286  -5287  -5288  -5289  -5290  -5291  -5292  -5293  -5294  -5295  -5296  -5297  -5298  -5299  -5300  -5301  -5302  -5303  -5304  -5305  -5306  -5307  -5308  -5309  -5310  -5311  -5312  -5313  -5314  -5315  -5316  -5317  -5318  -5319  -5320  -5321  -5322  -5323  -5324  -5325  -5326  -5327  -5328  -5329  -5330  -5331  -5332  -5333  5334  -5335  -5336  -5337  -5338  -5339  -5340  -5341  -5342  -5343  -5344  -5345  -5346  -5347  -5348  -5349  -5350  -5351  -5352  -5353  -5354  -5355  -5356  -5357  -5358  -5359  5360  -5361  -5362  -5363  -5364  -5365  -5366  -5367  -5368  -5369  -5370  -5371  -5372  -5373  -5374  -5375  -5376  -5377  -5378  -5379  -5380  -5381  5382  -5383  -5384  -5385  -5386  -5387  -5388  -5389  -5390  -5391  -5392  -5393  -5394  -5395  -5396  -5397  -5398  -5399  -5400  -5401  -5402  -5403  -5404  -5405  -5406  -5407  -5408  -5409  -5410  -5411  -5412  -5413  -5414  -5415  -5416  -5417  -5418  -5419  -5420  -5421  -5422  -5423  -5424  -5425  -5426  -5427  -5428  -5429  -5430  -5431  -5432  -5433  -5434  -5435  -5436  -5437  -5438  -5439  -5440  -5441  -5442  -5443  -5444  5445  -5446  -5447  -5448  -5449  -5450  -5451  -5452  -5453  -5454  -5455  -5456  -5457  -5458  -5459  -5460  -5461  -5462  -5463  -5464  -5465  -5466  5467  -5468  -5469  -5470  -5471  -5472  -5473  -5474  -5475  -5476  -5477  -5478  -5479  -5480  -5481  -5482  -5483  -5484  -5485  -5486  -5487  -5488  -5489  -5490  5491  -5492  -5493  -5494  -5495  -5496  -5497  -5498  -5499  -5500  -5501  -5502  -5503  -5504  -5505  -5506  -5507  -5508  -5509  -5510  -5511  -5512  -5513  -5514  -5515  -5516  -5517  -5518  -5519  -5520  -5521  -5522  -5523  -5524  -5525  -5526  -5527  -5528  -5529  -5530  -5531  -5532  -5533  -5534  -5535  -5536  -5537  -5538  -5539  -5540  -5541  -5542  -5543  -5544  -5545  -5546  -5547  -5548  -5549  -5550  -5551  -5552  -5553  -5554  -5555  -5556  -5557  -5558  -5559  -5560  -5561  -5562  -5563  -5564  -5565  -5566  -5567  -5568  -5569  -5570  -5571  -5572  -5573  -5574  -5575  -5576  -5577  -5578  -5579  -5580  -5581  -5582  -5583  -5584  -5585  -5586  -5587  -5588  5589  5590  -5591  -5592  -5593  -5594  -5595  -5596  -5597  -5598  -5599  -5600  -5601  -5602  -5603  -5604  -5605  -5606  -5607  -5608  -5609  -5610  -5611  -5612  -5613  -5614  -5615  -5616  -5617  -5618  -5619  -5620  -5621  -5622  -5623  -5624  -5625  -5626  -5627  -5628  -5629  -5630  -5631  -5632  -5633  -5634  -5635  -5636  -5637  -5638  -5639  -5640  -5641  -5642  -5643  -5644  -5645  -5646  -5647  -5648  -5649  -5650  -5651  -5652  -5653  -5654  -5655  -5656  -5657  -5658  -5659  -5660  -5661  -5662  -5663  -5664  -5665  -5666  -5667  -5668  -5669  -5670  -5671  -5672  -5673  -5674  -5675  -5676  -5677  -5678  -5679  -5680  -5681  -5682  -5683  -5684  -5685  -5686  -5687  -5688  -5689  -5690  -5691  -5692  -5693  -5694  -5695  -5696  -5697  -5698  5699  5700  5701  -5702  -5703  -5704  -5705  -5706  -5707  -5708  -5709  -5710  -5711  -5712  -5713  -5714  -5715  -5716  -5717  -5718  -5719  -5720  -5721  -5722  -5723  -5724  -5725  -5726  -5727  -5728  -5729  -5730  -5731  -5732  -5733  -5734  -5735  -5736  -5737  -5738  -5739  -5740  -5741  -5742  -5743  -5744  -5745  -5746  -5747  -5748  -5749  -5750  -5751  -5752  -5753  -5754  -5755  -5756  -5757  -5758  -5759  -5760  -5761  -5762  -5763  -5764  -5765  -5766  -5767  -5768  -5769  -5770  -5771  -5772  -5773  -5774  -5775  -5776  -5777  -5778  -5779  -5780  -5781  -5782  -5783  -5784  -5785  -5786  -5787  -5788  -5789  -5790  -5791  -5792  -5793  -5794  -5795  -5796  -5797  -5798  -5799  -5800  -5801  -5802  -5803  -5804  -5805  -5806  -5807  -5808  -5809  -5810  -5811  -5812  -5813  -5814  -5815  -5816  -5817  -5818  -5819  -5820  -5821  -5822  -5823  -5824  -5825  -5826  -5827  -5828  -5829  -5830  -5831  -5832  -5833  -5834  -5835  -5836  -5837  -5838  -5839  -5840  -5841  -5842  -5843  -5844  -5845  -5846  -5847  -5848  -5849  -5850  -5851  -5852  -5853  -5854  -5855  -5856  -5857  -5858  -5859  -5860  -5861  -5862  -5863  -5864  -5865  -5866  -5867  -5868  -5869  -5870  -5871  -5872  -5873  -5874  -5875  -5876  -5877  -5878  -5879  -5880  -5881  -5882  -5883  -5884  -5885  -5886  -5887  -5888  -5889  -5890  -5891  -5892  -5893  -5894  -5895  -5896  -5897  -5898  -5899  -5900  -5901  -5902  -5903  -5904  -5905  -5906  -5907  -5908  -5909  5910  -5911  -5912  -5913  -5914  -5915  -5916  -5917  -5918  -5919  -5920  -5921  -5922  -5923  -5924  -5925  -5926  -5927  -5928  -5929  -5930  -5931  -5932  -5933  -5934  -5935  -5936  -5937  -5938  -5939  -5940  -5941  -5942  -5943  -5944  -5945  -5946  -5947  -5948  -5949  -5950  -5951  -5952  -5953  -5954  -5955  -5956  -5957  -5958  -5959  -5960  -5961  -5962  -5963  -5964  -5965  -5966  -5967  -5968  -5969  -5970  -5971  -5972  -5973  -5974  -5975  -5976  -5977  -5978  -5979  -5980  -5981  -5982  -5983  -5984  -5985  -5986  -5987  -5988  -5989  -5990  -5991  -5992  -5993  -5994  -5995  -5996  -5997  -5998  -5999  -6000  -6001  -6002  -6003  -6004  -6005  -6006  -6007  -6008  -6009  -6010  -6011  -6012  -6013  -6014  -6015  -6016  -6017  -6018  -6019  -6020  -6021  -6022  -6023  -6024  -6025  -6026  -6027  -6028  -6029  -6030  -6031  -6032  -6033  -6034  -6035  -6036  -6037  -6038  -6039  -6040  -6041  -6042  -6043  -6044  -6045  -6046  -6047  -6048  -6049  -6050  -6051  -6052  -6053  -6054  -6055  -6056  -6057  -6058  -6059  -6060  -6061  -6062  -6063  -6064  -6065  -6066  -6067  -6068  -6069  -6070  -6071  -6072  -6073  -6074  -6075  -6076  -6077  -6078  -6079  -6080  -6081  -6082  -6083  -6084  -6085  -6086  -6087  -6088  -6089  -6090  -6091  -6092  -6093  -6094  -6095  -6096  -6097  -6098  -6099  -6100  -6101  -6102  -6103  -6104  -6105  -6106  -6107  -6108  -6109  -6110  -6111  -6112  -6113  -6114  -6115  -6116  -6117  -6118  -6119  -6120  -6121  -6122  -6123  -6124  -6125  -6126  -6127  -6128  -6129  -6130  -6131  -6132  -6133  -6134  -6135  -6136  -6137  -6138  -6139  -6140  -6141  -6142  -6143  -6144  -6145  -6146  -6147  -6148  -6149  -6150  -6151  -6152  -6153  -6154  -6155  -6156  -6157  -6158  -6159  -6160  -6161  -6162  -6163  -6164  -6165  -6166  -6167  -6168  -6169  -6170  -6171  -6172  -6173  -6174  -6175  -6176  -6177  -6178  -6179  -6180  -6181  -6182  -6183  -6184  -6185  -6186  -6187  -6188  -6189  -6190  -6191  -6192  -6193  -6194  -6195  -6196  -6197  -6198  -6199  -6200  -6201  -6202  -6203  -6204  -6205  -6206  -6207  -6208  -6209  -6210  -6211  -6212  -6213  -6214  -6215  -6216  -6217  -6218  -6219  -6220  -6221  -6222  -6223  -6224  -6225  -6226  -6227  -6228  -6229  -6230  -6231  -6232  -6233  -6234  -6235  -6236  -6237  -6238  -6239  -6240  -6241  -6242  -6243  -6244  -6245  -6246  -6247  -6248  -6249  -6250  -6251  -6252  -6253  -6254  -6255  -6256  -6257  -6258  -6259  -6260  -6261  -6262  -6263  -6264  -6265  -6266  -6267  -6268  -6269  -6270  6271  6272  -6273  -6274  -6275  -6276  -6277  -6278  -6279  -6280  -6281  -6282  -6283  -6284  -6285  -6286  -6287  -6288  -6289  -6290  -6291  -6292  -6293  -6294  -6295  -6296  -6297  -6298  -6299  -6300  -6301  -6302  -6303  -6304  -6305  -6306  -6307  -6308  -6309  -6310  -6311  -6312  -6313  -6314  -6315  -6316  -6317  -6318  -6319  -6320  -6321  -6322  -6323  -6324  -6325  -6326  -6327  -6328  -6329  -6330  -6331  -6332  -6333  -6334  -6335  -6336  -6337  -6338  -6339  -6340  -6341  -6342  -6343  -6344  -6345  -6346  -6347  -6348  -6349  -6350  -6351  -6352  -6353  -6354  -6355  -6356  -6357  -6358  -6359  -6360  -6361  -6362  6363  -6364  -6365  -6366  -6367  -6368  -6369  -6370  -6371  -6372  -6373  -6374  -6375  -6376  -6377  -6378  -6379  -6380  -6381  -6382  -6383  -6384  -6385  -6386  -6387  -6388  -6389  -6390  6391  -6392  -6393  -6394  -6395  -6396  -6397  -6398  -6399  -6400  -6401  -6402  -6403  -6404  -6405  -6406  -6407  -6408  -6409  -6410  -6411  -6412  -6413  -6414  -6415  -6416  -6417  -6418  -6419  -6420  -6421  -6422  -6423  -6424  -6425  -6426  -6427  -6428  -6429  -6430  -6431  -6432  -6433  -6434  -6435  -6436  -6437  -6438  -6439  -6440  -6441  -6442  -6443  -6444  -6445  -6446  -6447  -6448  -6449  -6450  -6451  -6452  -6453  -6454  -6455  -6456  -6457  -6458  -6459  -6460  -6461  -6462  -6463  -6464  -6465  -6466  -6467  -6468  -6469  -6470  -6471  -6472  -6473  -6474  -6475  -6476  -6477  -6478  -6479  -6480  -6481  -6482  -6483  -6484  -6485  -6486  -6487  -6488  -6489  -6490  -6491  -6492  -6493  -6494  -6495  -6496  -6497  -6498  -6499  -6500  -6501  -6502  -6503  -6504  -6505  -6506  -6507  -6508  -6509  -6510  -6511  -6512  -6513  -6514  -6515  -6516  -6517  -6518  -6519  -6520  -6521  -6522  -6523  -6524  -6525  -6526  -6527  -6528  -6529  -6530  -6531  -6532  -6533  -6534  -6535  -6536  -6537  -6538  -6539  -6540  -6541  6542  6543  6544  -6545  -6546  -6547  -6548  -6549  -6550  -6551  -6552  -6553  -6554  -6555  -6556  -6557  -6558  -6559  -6560  -6561  -6562  -6563  -6564  -6565  -6566  -6567  -6568  -6569  -6570  -6571  -6572  -6573  -6574  -6575  -6576  -6577  -6578  -6579  -6580  -6581  -6582  -6583  -6584  -6585  -6586  -6587  -6588  -6589  -6590  -6591  -6592  -6593  -6594  -6595  -6596  -6597  -6598  -6599  -6600  -6601  -6602  -6603  -6604  -6605  -6606  6607  6608  6609  6610  -6611  -6612  -6613  -6614  -6615  -6616  -6617  -6618  -6619  -6620  -6621  -6622  -6623  -6624  -6625  -6626  -6627  -6628  6629  6630  6631  6632  -6633  -6634  -6635  -6636  -6637  -6638  -6639  -6640  -6641  -6642  -6643  -6644  -6645  -6646  -6647  -6648  -6649  -6650  6651  6652  6653  -6654  -6655  -6656  -6657  -6658  -6659  -6660  -6661  -6662  -6663  -6664  -6665  -6666  -6667  -6668  -6669  -6670  -6671  -6672  -6673  -6674  -6675  -6676  -6677  -6678  -6679  -6680  -6681  -6682  -6683  -6684  -6685  -6686  -6687  -6688  -6689  -6690  -6691  -6692  -6693  -6694  6695  6696  6697  6698  -6699  -6700  -6701  -6702  -6703  -6704  -6705  -6706  -6707  -6708  -6709  -6710  -6711  -6712  -6713  -6714  -6715  -6716  6717  6718  6719  6720  -6721  -6722  -6723  -6724  -6725  -6726  -6727  -6728  -6729  -6730  -6731  -6732  -6733  -6734  -6735  -6736  -6737  -6738  -6739  -6740  -6741  6742  -6743  -6744  -6745  -6746  -6747  -6748  -6749  -6750  -6751  -6752  -6753  -6754  -6755  -6756  -6757  -6758  -6759  -6760  -6761  -6762  -6763  -6764  -6765  -6766  -6767  -6768  -6769  -6770  -6771  -6772  -6773  -6774  -6775  -6776  -6777  -6778  -6779  -6780  -6781  -6782  6783  -6784  -6785  -6786  -6787  -6788  -6789  -6790  -6791  -6792  -6793  -6794  -6795  -6796  -6797  -6798  -6799  -6800  -6801  -6802  -6803  -6804  -6805  -6806  -6807  -6808  -6809  -6810  -6811  -6812  -6813  -6814  -6815  -6816  -6817  -6818  -6819  -6820  -6821  -6822  -6823  -6824  -6825  -6826  6827  6828  6829  -6830  -6831  -6832  -6833  -6834  -6835  -6836  -6837  -6838  -6839  -6840  -6841  -6842  -6843  -6844  -6845  -6846  -6847  -6848  -6849  -6850  -6851  -6852  -6853  -6854  -6855  -6856  -6857  -6858  -6859  -6860  -6861  -6862  -6863  -6864  -6865  -6866  -6867  -6868  -6869  -6870  6871  6872  6873  -6874  -6875  -6876  -6877  -6878  -6879  -6880  -6881  -6882  -6883  -6884  -6885  -6886  -6887  -6888  -6889  -6890  -6891  -6892  6893  6894  -6895  -6896  -6897  -6898  -6899  -6900  -6901  -6902  -6903  -6904  -6905  -6906  -6907  -6908  -6909  -6910  -6911  -6912  -6913  -6914  -6915  -6916  6917  -6918  -6919  -6920  -6921  -6922  -6923  -6924  -6925  -6926  -6927  -6928  -6929  -6930  -6931  -6932  -6933  -6934  -6935  -6936  -6937  -6938  -6939  -6940  -6941  -6942  -6943  -6944  -6945  -6946  -6947  -6948  -6949  -6950  -6951  -6952  -6953  -6954  -6955  -6956  -6957  -6958  -6959  -6960  -6961  -6962  -6963  -6964  -6965  -6966  -6967  -6968  -6969  -6970  -6971  -6972  -6973  -6974  -6975  -6976  -6977  -6978  -6979  -6980  -6981  -6982  -6983  -6984  -6985  -6986  -6987  -6988  -6989  -6990  -6991  -6992  -6993  -6994  -6995  -6996  -6997  -6998  -6999  -7000  -7001  -7002  -7003  -7004  -7005  -7006  -7007  -7008  -7009  -7010  -7011  -7012  -7013  -7014  -7015  -7016  -7017  -7018  -7019  -7020  -7021  -7022  -7023  -7024  -7025  -7026  -7027  -7028  -7029  -7030  -7031  -7032  -7033  -7034  -7035  -7036  -7037  -7038  -7039  -7040  -7041  -7042  -7043  -7044  -7045  -7046  -7047  -7048  -7049  -7050  -7051  -7052  -7053  -7054  -7055  -7056  -7057  -7058  -7059  -7060  -7061  -7062  -7063  -7064  -7065  -7066  -7067  -7068  -7069  -7070  -7071  -7072  -7073  -7074  -7075  -7076  -7077  -7078  -7079  -7080  -7081  -7082  -7083  -7084  -7085  -7086  -7087  -7088  -7089  -7090  -7091  -7092  -7093  -7094  -7095  -7096  -7097  -7098  -7099  -7100  -7101  -7102  -7103  -7104  -7105  -7106  -7107  -7108  -7109  -7110  -7111  -7112  -7113  -7114  -7115  -7116  -7117  -7118  -7119  -7120  -7121  -7122  -7123  -7124  -7125  -7126  -7127  -7128  -7129  -7130  -7131  -7132  -7133  -7134  -7135  -7136  -7137  -7138  -7139  -7140  -7141  -7142  -7143  -7144  -7145  -7146  -7147  -7148  -7149  -7150  -7151  -7152  7153  -7154  -7155  -7156  -7157  -7158  -7159  -7160  -7161  -7162  -7163  -7164  -7165  -7166  -7167  -7168  -7169  -7170  -7171  -7172  -7173  -7174  -7175  -7176  -7177  -7178  -7179  -7180  -7181  -7182  -7183  -7184  -7185  -7186  -7187  -7188  -7189  -7190  -7191  -7192  -7193  -7194  -7195  -7196  7197  -7198  -7199  -7200  -7201  -7202  -7203  -7204  -7205  -7206  -7207  -7208  -7209  -7210  -7211  -7212  -7213  -7214  -7215  -7216  -7217  -7218  -7219  -7220  -7221  -7222  -7223  -7224  -7225  -7226  -7227  -7228  -7229  -7230  -7231  -7232  -7233  -7234  -7235  -7236  -7237  -7238  -7239  -7240  7241  -7242  -7243  -7244  -7245  -7246  -7247  -7248  -7249  -7250  -7251  -7252  -7253  -7254  -7255  -7256  -7257  -7258  -7259  -7260  -7261  -7262  -7263  -7264  -7265  -7266  -7267  -7268  -7269  -7270  -7271  -7272  -7273  -7274  -7275  -7276  -7277  -7278  -7279  -7280  -7281  -7282  -7283  -7284  -7285  -7286  -7287  -7288  -7289  -7290  -7291  -7292  -7293  -7294  -7295  -7296  -7297  -7298  -7299  -7300  -7301  -7302  -7303  -7304  -7305  -7306  -7307  -7308  -7309  -7310  -7311  -7312  -7313  -7314  -7315  -7316  -7317  -7318  -7319  -7320  -7321  -7322  -7323  -7324  -7325  -7326  -7327  -7328  -7329  -7330  -7331  -7332  -7333  -7334  -7335  -7336  -7337  -7338  -7339  -7340  -7341  -7342  -7343  -7344  -7345  -7346  -7347  -7348  -7349  -7350  -7351  -7352  -7353  -7354  -7355  -7356  -7357  -7358  -7359  -7360  -7361  -7362  -7363  -7364  -7365  -7366  -7367  -7368  -7369  -7370  -7371  -7372  7373  -7374  -7375  -7376  -7377  -7378  -7379  -7380  -7381  -7382  -7383  -7384  -7385  -7386  -7387  -7388  -7389  -7390  -7391  -7392  -7393  -7394  -7395  -7396  -7397  -7398  -7399  -7400  -7401  -7402  -7403  -7404  -7405  -7406  -7407  -7408  -7409  -7410  -7411  -7412  -7413  -7414  -7415  -7416  -7417  -7418  -7419  -7420  -7421  -7422  -7423  -7424  7425  -7426  -7427  -7428  -7429  -7430  -7431  -7432  -7433  -7434  -7435  -7436  -7437  -7438  -7439  -7440  -7441  -7442  -7443  -7444  -7445  -7446  -7447  -7448  -7449  -7450  -7451  -7452  -7453  -7454  -7455  -7456  -7457  -7458  -7459  -7460  -7461  -7462  -7463  -7464  -7465  7466  7467  7468  7469  -7470  -7471  -7472  -7473  -7474  -7475  -7476  -7477  -7478  -7479  -7480  -7481  -7482  -7483  -7484  -7485  -7486  -7487  7488  7489  7490  7491  -7492  -7493  -7494  -7495  -7496  -7497  -7498  -7499  -7500  -7501  -7502  -7503  -7504  -7505  -7506  -7507  -7508  -7509  7510  7511  -7512  -7513  -7514  -7515  -7516  -7517  -7518  -7519  -7520  -7521  -7522  -7523  -7524  -7525  -7526  -7527  -7528  -7529  -7530  -7531  -7532  -7533  -7534  -7535  -7536  -7537  -7538  -7539  -7540  -7541  -7542  -7543  -7544  -7545  -7546  -7547  -7548  -7549  -7550  -7551  -7552  -7553  7554  7555  7556  -7557  -7558  -7559  -7560  -7561  -7562  -7563  -7564  -7565  -7566  -7567  -7568  -7569  -7570  -7571  -7572  -7573  -7574  -7575  7576  7577  7578  7579  -7580  -7581  -7582  -7583  -7584  -7585  -7586  -7587  -7588  -7589  -7590  -7591  -7592  -7593  -7594  -7595  -7596  -7597  -7598  -7599  7600  7601  -7602  -7603  -7604  -7605  -7606  -7607  -7608  -7609  -7610  -7611  -7612  -7613  -7614  -7615  -7616  -7617  -7618  -7619  -7620  -7621  -7622  -7623  -7624  -7625  -7626  -7627  -7628  -7629  -7630  -7631  -7632  -7633  -7634  -7635  -7636  -7637  -7638  -7639  -7640  -7641  -7642  -7643  -7644  -7645  -7646  -7647  -7648  -7649  -7650  -7651  -7652  -7653  -7654  -7655  -7656  -7657  -7658  -7659  -7660  -7661  -7662  -7663  -7664  -7665  -7666  -7667  -7668  -7669  -7670  -7671  -7672  -7673  -7674  -7675  -7676  -7677  -7678  -7679  -7680  -7681  -7682  -7683  -7684  -7685  7686  7687  -7688  -7689  -7690  -7691  -7692  -7693  -7694  -7695  -7696  -7697  -7698  -7699  -7700  -7701  -7702  -7703  -7704  -7705  -7706  -7707  -7708  -7709  -7710  -7711  -7712  -7713  -7714  -7715  -7716  -7717  -7718  -7719  -7720  -7721  -7722  -7723  -7724  -7725  -7726  -7727  -7728  -7729  7730  7731  -7732  -7733  -7734  -7735  -7736  -7737  -7738  -7739  -7740  -7741  -7742  -7743  -7744  -7745  -7746  -7747  -7748  -7749  -7750  -7751  7752  -7753  -7754  -7755  -7756  -7757  -7758  -7759  -7760  -7761  -7762  -7763  -7764  -7765  -7766  -7767  -7768  -7769  -7770  -7771  -7772  -7773  -7774  7775  -7776  -7777  -7778  -7779  -7780  -7781  -7782  -7783  -7784  -7785  -7786  -7787  -7788  -7789  -7790  -7791  -7792  -7793  -7794  -7795  -7796  -7797  -7798  -7799  -7800  -7801  -7802  -7803  -7804  -7805  -7806  -7807  -7808  -7809  -7810  -7811  -7812  -7813  -7814  -7815  -7816  -7817  -7818  -7819  -7820  -7821  -7822  -7823  -7824  -7825  -7826  -7827  -7828  -7829  -7830  -7831  -7832  -7833  -7834  -7835  -7836  -7837  -7838  -7839  -7840  -7841  -7842  -7843  -7844  -7845  -7846  -7847  -7848  -7849  -7850  -7851  -7852  -7853  -7854  -7855  -7856  -7857  -7858  -7859  -7860  -7861  -7862  -7863  -7864  7865  -7866  -7867  -7868  -7869  -7870  -7871  -7872  -7873  -7874  -7875  -7876  -7877  -7878  -7879  -7880  -7881  -7882  -7883  -7884  -7885  -7886  7887  -7888  -7889  -7890  -7891  -7892  -7893  -7894  -7895  -7896  -7897  -7898  -7899  -7900  -7901  -7902  -7903  -7904  -7905  -7906  -7907  -7908  -7909  -7910  -7911  -7912  -7913  -7914  -7915  -7916  -7917  -7918  -7919  -7920  -7921  -7922  -7923  -7924  -7925  -7926  -7927  -7928  -7929  -7930  -7931  -7932  -7933  -7934  -7935  -7936  -7937  -7938  -7939  -7940  -7941  -7942  -7943  -7944  -7945  -7946  -7947  -7948  -7949  -7950  -7951  -7952  -7953  -7954  -7955  -7956  -7957  -7958  -7959  -7960  -7961  -7962  -7963  -7964  -7965  -7966  -7967  -7968  -7969  -7970  -7971  -7972  -7973  -7974  7975  -7976  -7977  -7978  -7979  -7980  -7981  -7982  -7983  -7984  -7985  -7986  -7987  -7988  -7989  -7990  -7991  -7992  -7993  -7994  -7995  -7996  7997  -7998  -7999  -8000  -8001  -8002  -8003  -8004  -8005  -8006  -8007  -8008  -8009  -8010  -8011  -8012  -8013  -8014  -8015  -8016  -8017  -8018  -8019  -8020  -8021  -8022  -8023  -8024  -8025  -8026  -8027  -8028  -8029  -8030  -8031  -8032  -8033  -8034  -8035  -8036  -8037  -8038  -8039  -8040  -8041  -8042  -8043  -8044  -8045  -8046  -8047  -8048  -8049  -8050  -8051  -8052  -8053  -8054  -8055  -8056  -8057  -8058  -8059  -8060  -8061  -8062  -8063  -8064  -8065  -8066  -8067  -8068  -8069  -8070  -8071  -8072  -8073  -8074  -8075  -8076  -8077  -8078  -8079  -8080  -8081  -8082  -8083  -8084  -8085  -8086  -8087  -8088  -8089  -8090  -8091  -8092  -8093  -8094  -8095  -8096  -8097  -8098  -8099  -8100  -8101  -8102  -8103  -8104  -8105  -8106  -8107  -8108  -8109  -8110  -8111  -8112  -8113  -8114  -8115  -8116  -8117  -8118  -8119  -8120  -8121  -8122  -8123  -8124  -8125  -8126  -8127  -8128  -8129  -8130  -8131  -8132  -8133  -8134  -8135  -8136  -8137  -8138  -8139  -8140  -8141  -8142  -8143  -8144  -8145  -8146  -8147  -8148  -8149  -8150  -8151  -8152  -8153  -8154  -8155  -8156  -8157  -8158  -8159  -8160  -8161  -8162  -8163  -8164  -8165  -8166  -8167  -8168  -8169  -8170  -8171  -8172  -8173  -8174  -8175  -8176  -8177  -8178  -8179  -8180  -8181  -8182  -8183  -8184  -8185  -8186  -8187  -8188  -8189  -8190  -8191  -8192  -8193  -8194  -8195  -8196  -8197  -8198  -8199  -8200  -8201  -8202  -8203  -8204  -8205  -8206  -8207  -8208  -8209  -8210  -8211  -8212  -8213  -8214  -8215  -8216  -8217  -8218  -8219  -8220  -8221  -8222  -8223  -8224  -8225  -8226  -8227  -8228  -8229  -8230  -8231  -8232  -8233  8234  -8235  -8236  -8237  -8238  -8239  -8240  -8241  -8242  -8243  -8244  -8245  -8246  -8247  -8248  -8249  -8250  -8251  -8252  -8253  -8254  -8255  8256  -8257  -8258  -8259  -8260  -8261  -8262  -8263  -8264  -8265  -8266  -8267  -8268  -8269  -8270  -8271  -8272  -8273  -8274  -8275  -8276  -8277  -8278  -8279  -8280  -8281  -8282  -8283  -8284  -8285  -8286  -8287  -8288  -8289  -8290  -8291  -8292  -8293  -8294  -8295  -8296  -8297  -8298  -8299  -8300  -8301  -8302  -8303  -8304  -8305  -8306  -8307  -8308  -8309  -8310  -8311  -8312  -8313  -8314  -8315  -8316  -8317  -8318  -8319  8320  8321  8322  -8323  -8324  -8325  -8326  -8327  -8328  -8329  -8330  -8331  -8332  -8333  -8334  -8335  -8336  -8337  -8338  -8339  -8340  -8341  8342  8343  8344  -8345  -8346  -8347  -8348  -8349  -8350  -8351  -8352  -8353  -8354  -8355  -8356  -8357  -8358  -8359  -8360  -8361  -8362  -8363  -8364  -8365  -8366  -8367  -8368  -8369  -8370  -8371  -8372  -8373  -8374  -8375  -8376  -8377  -8378  -8379  -8380  -8381  -8382  -8383  -8384  -8385  -8386  -8387  -8388  -8389  -8390  -8391  -8392  -8393  -8394  -8395  -8396  -8397  -8398  -8399  -8400  -8401  -8402  -8403  -8404  -8405  -8406  -8407  -8408  -8409  -8410  -8411  -8412  -8413  -8414  -8415  -8416  -8417  -8418  -8419  -8420  -8421  -8422  -8423  -8424  -8425  -8426  -8427  -8428  -8429  8430  8431  -8432  -8433  -8434  -8435  -8436  -8437  -8438  -8439  -8440  -8441  -8442  -8443  -8444  -8445  -8446  -8447  -8448  -8449  -8450  -8451  -8452  -8453  8454  -8455  -8456  -8457  -8458  -8459  -8460  -8461  -8462  -8463  -8464  -8465  -8466  -8467  -8468  -8469  -8470  -8471  -8472  -8473  -8474  -8475  -8476  -8477  -8478  -8479  -8480  -8481  -8482  -8483  -8484  -8485  -8486  -8487  -8488  -8489  -8490  -8491  -8492  -8493  -8494  -8495  -8496  8497  8498  -8499  -8500  -8501  -8502  -8503  -8504  -8505  -8506  -8507  -8508  -8509  -8510  -8511  -8512  -8513  -8514  -8515  -8516  -8517  -8518  -8519  -8520  -8521  -8522  -8523  -8524  -8525  -8526  -8527  -8528  -8529  -8530  -8531  -8532  -8533  -8534  -8535  -8536  -8537  -8538  -8539  -8540  -8541  -8542  -8543  -8544  -8545  -8546  -8547  -8548  -8549  -8550  -8551  -8552  -8553  -8554  -8555  -8556  -8557  -8558  -8559  -8560  -8561  -8562  -8563  -8564  -8565  -8566  -8567  -8568  -8569  -8570  -8571  -8572  -8573  -8574  -8575  -8576  -8577  -8578  -8579  -8580  -8581  -8582  -8583  8584  -8585  -8586  -8587  -8588  -8589  -8590  -8591  -8592  -8593  -8594  -8595  -8596  -8597  -8598  -8599  -8600  -8601  -8602  -8603  -8604  -8605  -8606  -8607  8608  8609  8610  8611  8612  8613  -8614  -8615  -8616  -8617  -8618  -8619  -8620  -8621  -8622  -8623  -8624  -8625  -8626  -8627  -8628  -8629  -8630  8631  8632  8633  -8634  -8635  -8636  -8637  -8638  -8639  -8640  -8641  -8642  -8643  -8644  -8645  -8646  -8647  -8648  -8649  -8650  -8651  -8652  -8653  -8654  -8655  -8656  -8657  -8658  -8659  -8660  -8661  -8662  -8663  -8664  -8665  -8666  -8667  -8668  -8669  -8670  -8671  -8672  -8673  8674  8675  8676  8677  8678  -8679  -8680  -8681  -8682  -8683  -8684  -8685  -8686  -8687  -8688  -8689  -8690  -8691  -8692  -8693  -8694  -8695  8696  8697  8698  8699  8700  8701  -8702  -8703  -8704  -8705  -8706  -8707  -8708  -8709  -8710  -8711  -8712  -8713  -8714  -8715  -8716  -8717  -8718  -8719  -8720  -8721  8722  8723  -8724  -8725  -8726  -8727  -8728  -8729  -8730  -8731  -8732  -8733  -8734  -8735  -8736  -8737  -8738  -8739  -8740  -8741  -8742  -8743  -8744  -8745  -8746  -8747  -8748  -8749  -8750  -8751  -8752  -8753  -8754  -8755  -8756  -8757  -8758  -8759  -8760  -8761  -8762  8763  -8764  -8765  -8766  -8767  -8768  -8769  -8770  -8771  -8772  -8773  -8774  -8775  -8776  -8777  -8778  -8779  -8780  -8781  -8782  -8783  -8784  -8785  -8786  -8787  -8788  -8789  -8790  -8791  -8792  -8793  -8794  -8795  -8796  -8797  -8798  -8799  -8800  -8801  -8802  -8803  -8804  -8805  8806  8807  8808  8809  -8810  -8811  -8812  -8813  -8814  -8815  -8816  -8817  -8818  -8819  -8820  -8821  -8822  -8823  -8824  -8825  -8826  -8827  -8828  -8829  -8830  -8831  -8832  -8833  -8834  -8835  -8836  -8837  -8838  -8839  -8840  -8841  -8842  -8843  -8844  -8845  -8846  -8847  -8848  -8849  8850  8851  8852  8853  -8854  -8855  -8856  -8857  -8858  -8859  -8860  -8861  -8862  -8863  -8864  -8865  -8866  -8867  -8868  -8869  -8870  -8871  -8872  8873  8874  -8875  -8876  -8877  -8878  -8879  -8880  -8881  -8882  -8883  -8884  -8885  -8886  -8887  -8888  -8889  -8890  -8891  -8892  -8893  -8894  -8895  -8896  8897  -8898  -8899  -8900  -8901  -8902  -8903  -8904  -8905  -8906  -8907  -8908  -8909  -8910  -8911  -8912  -8913  -8914  -8915  -8916  -8917  -8918  -8919  -8920  -8921  -8922  -8923  -8924  -8925  -8926  -8927  -8928  -8929  -8930  -8931  -8932  -8933  -8934  -8935  -8936  -8937  -8938  -8939  -8940  -8941  -8942  -8943  -8944  -8945  -8946  -8947  -8948  -8949  -8950  -8951  -8952  -8953  -8954  -8955  -8956  -8957  -8958  -8959  -8960  8961  8962  8963  -8964  -8965  -8966  -8967  -8968  -8969  -8970  -8971  -8972  -8973  -8974  -8975  -8976  -8977  -8978  -8979  -8980  -8981  -8982  -8983  -8984  -8985  -8986  -8987  -8988  -8989  -8990  -8991  -8992  -8993  -8994  -8995  -8996  -8997  -8998  -8999  -9000  -9001  -9002  -9003  9004  9005  9006  9007  9008  -9009  -9010  -9011  -9012  -9013  -9014  -9015  -9016  -9017  -9018  -9019  -9020  -9021  -9022  -9023  -9024  -9025  9026  9027  9028  9029  9030  9031  -9032  -9033  -9034  -9035  -9036  -9037  -9038  -9039  -9040  -9041  -9042  -9043  -9044  -9045  -9046  -9047  -9048  -9049  -9050  -9051  9052  9053  -9054  -9055  -9056  -9057  -9058  -9059  -9060  -9061  -9062  -9063  -9064  -9065  -9066  -9067  -9068  -9069  -9070  -9071  -9072  -9073  -9074  -9075  -9076  -9077  -9078  -9079  -9080  -9081  -9082  -9083  -9084  -9085  -9086  -9087  -9088  -9089  -9090  -9091  -9092  9093  -9094  -9095  -9096  -9097  -9098  -9099  -9100  -9101  -9102  -9103  -9104  -9105  -9106  -9107  -9108  -9109  -9110  -9111  -9112  -9113  -9114  -9115  -9116  -9117  -9118  -9119  -9120  -9121  -9122  -9123  -9124  -9125  -9126  -9127  -9128  -9129  -9130  -9131  -9132  -9133  -9134  -9135  9136  9137  9138  9139  -9140  -9141  -9142  -9143  -9144  -9145  -9146  -9147  -9148  -9149  -9150  -9151  -9152  -9153  -9154  -9155  -9156  -9157  -9158  -9159  -9160  -9161  -9162  -9163  -9164  -9165  -9166  -9167  -9168  -9169  -9170  -9171  -9172  -9173  -9174  -9175  -9176  -9177  -9178  -9179  9180  9181  9182  9183  -9184  -9185  -9186  -9187  -9188  -9189  -9190  -9191  -9192  -9193  -9194  -9195  -9196  -9197  -9198  -9199  -9200  -9201  -9202  9203  9204  -9205  -9206  -9207  -9208  -9209  -9210  -9211  -9212  -9213  -9214  -9215  -9216  -9217  -9218  -9219  -9220  -9221  -9222  -9223  -9224  -9225  -9226  9227  -9228  -9229  -9230  -9231  -9232  -9233  -9234  -9235  -9236  -9237  -9238  -9239  -9240  -9241  -9242  -9243  -9244  -9245  -9246  -9247  -9248  -9249  -9250  -9251  -9252  -9253  -9254  -9255  -9256  -9257  -9258  -9259  -9260  -9261  -9262  -9263  -9264  -9265  -9266  -9267  -9268  -9269  -9270  -9271  -9272  -9273  -9274  -9275  -9276  -9277  -9278  -9279  -9280  -9281  -9282  -9283  -9284  -9285  -9286  -9287  -9288  -9289  -9290  -9291  -9292  -9293  -9294  -9295  -9296  -9297  -9298  -9299  -9300  -9301  -9302  -9303  -9304  -9305  -9306  -9307  -9308  -9309  -9310  -9311  -9312  9313  9314  9315  -9316  -9317  -9318  -9319  -9320  -9321  -9322  -9323  -9324  -9325  -9326  -9327  -9328  -9329  -9330  -9331  -9332  -9333  -9334  9335  9336  9337  -9338  -9339  -9340  -9341  -9342  -9343  -9344  -9345  -9346  -9347  -9348  -9349  -9350  -9351  -9352  -9353  -9354  -9355  -9356  -9357  -9358  -9359  -9360  -9361  -9362  -9363  -9364  -9365  -9366  -9367  -9368  -9369  -9370  -9371  -9372  -9373  -9374  -9375  -9376  -9377  -9378  -9379  -9380  -9381  -9382  -9383  -9384  -9385  -9386  -9387  -9388  -9389  -9390  -9391  -9392  -9393  -9394  -9395  -9396  -9397  -9398  -9399  -9400  9401  -9402  -9403  -9404  -9405  -9406  -9407  -9408  -9409  -9410  -9411  -9412  -9413  -9414  -9415  -9416  -9417  -9418  -9419  -9420  -9421  -9422  -9423  -9424  -9425  -9426  -9427  -9428  -9429  -9430  -9431  -9432  -9433  -9434  -9435  -9436  -9437  -9438  -9439  -9440  -9441  -9442  -9443  -9444  9445  9446  9447  -9448  -9449  -9450  -9451  -9452  -9453  -9454  -9455  -9456  -9457  -9458  -9459  -9460  -9461  -9462  -9463  -9464  -9465  -9466  -9467  -9468  -9469  -9470  -9471  -9472  -9473  -9474  -9475  -9476  -9477  -9478  -9479  -9480  -9481  -9482  -9483  -9484  -9485  -9486  -9487  -9488  9489  9490  9491  -9492  -9493  -9494  -9495  -9496  -9497  -9498  -9499  -9500  -9501  -9502  -9503  -9504  -9505  -9506  -9507  -9508  -9509  -9510  9511  9512  -9513  -9514  -9515  -9516  -9517  -9518  -9519  -9520  -9521  -9522  -9523  -9524  -9525  -9526  -9527  -9528  -9529  -9530  -9531  -9532  -9533  -9534  9535  -9536  -9537  -9538  -9539  -9540  -9541  -9542  -9543  -9544  -9545  -9546  -9547  -9548  -9549  -9550  -9551  -9552  -9553  -9554  -9555  -9556  -9557  -9558  -9559  -9560  -9561  -9562  -9563  -9564  -9565  -9566  -9567  -9568  -9569  -9570  -9571  -9572  -9573  -9574  -9575  -9576  -9577  -9578  -9579  -9580  -9581  -9582  -9583  -9584  -9585  -9586  -9587  -9588  -9589  -9590  -9591  -9592  -9593  -9594  -9595  -9596  -9597  -9598  -9599  -9600  -9601  -9602  -9603  -9604  -9605  -9606  -9607  -9608  -9609  -9610  -9611  -9612  -9613  -9614  -9615  -9616  -9617  -9618  -9619  -9620  -9621  -9622  -9623  -9624  -9625  -9626  -9627  -9628  -9629  -9630  -9631  -9632  -9633  -9634  -9635  -9636  -9637  -9638  -9639  -9640  -9641  -9642  -9643  -9644  -9645  -9646  -9647  -9648  -9649  -9650  -9651  -9652  -9653  -9654  -9655  -9656  -9657  -9658  -9659  -9660  -9661  -9662  -9663  -9664  -9665  -9666  -9667  -9668  -9669  -9670  -9671  -9672  -9673  -9674  -9675  -9676  -9677  -9678  -9679  -9680  -9681  -9682  -9683  -9684  -9685  -9686  -9687  -9688  -9689  -9690  -9691  -9692  -9693  -9694  -9695  -9696  -9697  -9698  -9699  -9700  -9701  -9702  -9703  -9704  -9705  -9706  -9707  -9708  -9709  -9710  -9711  -9712  -9713  -9714  -9715  -9716  -9717  -9718  -9719  -9720  -9721  -9722  -9723  -9724  -9725  -9726  -9727  -9728  -9729  -9730  -9731  -9732  -9733  -9734  -9735  -9736  -9737  -9738  -9739  -9740  -9741  -9742  -9743  -9744  -9745  -9746  9747  -9748  -9749  -9750  -9751  -9752  -9753  -9754  -9755  -9756  -9757  -9758  -9759  -9760  -9761  -9762  -9763  -9764  -9765  -9766  -9767  -9768  -9769  -9770  -9771  -9772  -9773  -9774  -9775  -9776  -9777  -9778  -9779  -9780  -9781  -9782  -9783  -9784  -9785  -9786  -9787  -9788  -9789  -9790  -9791  -9792  -9793  -9794  -9795  -9796  -9797  -9798  -9799  -9800  -9801  -9802  -9803  -9804  -9805  -9806  -9807  -9808  -9809  -9810  -9811  -9812  -9813  -9814  -9815  -9816  -9817  -9818  -9819  -9820  -9821  -9822  -9823  -9824  -9825  -9826  -9827  -9828  -9829  -9830  -9831  -9832  -9833  -9834  -9835  -9836  -9837  -9838  -9839  -9840  -9841  -9842  -9843  -9844  -9845  -9846  -9847  -9848  -9849  -9850  -9851  -9852  -9853  -9854  -9855  -9856  -9857  -9858  -9859  -9860  -9861  -9862  -9863  -9864  -9865  -9866  -9867  -9868  -9869  -9870  -9871  -9872  -9873  -9874  -9875  -9876  -9877  -9878  -9879  -9880  -9881  9882  9883  9884  9885  9886  9887  9888  -9889  -9890  -9891  -9892  -9893  -9894  -9895  -9896  -9897  -9898  -9899  -9900  -9901  -9902  -9903  -9904  -9905  -9906  -9907  -9908  -9909  9910  -9911  -9912  -9913  -9914  -9915  -9916  -9917  -9918  -9919  -9920  -9921  -9922  -9923  -9924  -9925  -9926  -9927  -9928  -9929  -9930  -9931  -9932  -9933  -9934  -9935  -9936  -9937  -9938  -9939  -9940  -9941  -9942  -9943  -9944  -9945  -9946  -9947  -9948  -9949  -9950  9951  -9952  -9953  -9954  -9955  -9956  -9957  -9958  -9959  -9960  -9961  -9962  -9963  -9964  -9965  -9966  -9967  -9968  -9969  9970  9971  -9972  -9973  -9974  -9975  -9976  -9977  -9978  -9979  -9980  -9981  -9982  -9983  -9984  -9985  -9986  -9987  -9988  -9989  -9990  -9991  -9992  -9993  9994  9995  9996  9997  -9998  -9999  -10000  -10001  -10002  -10003  -10004  -10005  -10006  -10007  -10008  -10009  -10010  -10011  -10012  -10013  -10014  -10015  -10016  -10017  -10018  -10019  -10020  -10021  -10022  -10023  -10024  -10025  -10026  -10027  -10028  -10029  -10030  -10031  -10032  -10033  -10034  -10035  -10036  10037  10038  10039  10040  10041  -10042  -10043  -10044  -10045  -10046  -10047  -10048  -10049  -10050  -10051  -10052  -10053  -10054  -10055  -10056  -10057  -10058  -10059  -10060  10061  10062  -10063  -10064  -10065  -10066  -10067  -10068  -10069  -10070  -10071  -10072  -10073  -10074  -10075  -10076  -10077  -10078  -10079  -10080  -10081  -10082  -10083  -10084  10085  -10086  -10087  -10088  -10089  -10090  -10091  -10092  -10093  -10094  -10095  -10096  -10097  -10098  -10099  -10100  -10101  -10102  -10103  -10104  -10105  -10106  -10107  -10108  -10109  -10110  -10111  -10112  -10113  -10114  -10115  -10116  -10117  -10118  -10119  -10120  -10121  -10122  -10123  10124  -10125  -10126  -10127  -10128  -10129  -10130  -10131  -10132  -10133  -10134  -10135  -10136  -10137  -10138  -10139  -10140  -10141  -10142  -10143  -10144  -10145  -10146  -10147  -10148  -10149  -10150  -10151  10152  10153  -10154  -10155  -10156  -10157  -10158  -10159  -10160  -10161  -10162  -10163  -10164  -10165  -10166  10167  -10168  -10169  -10170  -10171  -10172  -10173  -10174  -10175  -10176  -10177  -10178  -10179  -10180  -10181  -10182  -10183  -10184  -10185  -10186  -10187  -10188  -10189  -10190  -10191  -10192  10193  -10194  -10195  -10196  -10197  -10198  -10199  -10200  -10201  -10202  -10203  -10204  -10205  -10206  -10207  -10208  -10209  -10210  10211  10212  10213  -10214  -10215  -10216  -10217  -10218  -10219  -10220  -10221  -10222  -10223  -10224  -10225  -10226  -10227  -10228  -10229  -10230  -10231  -10232  -10233  -10234  -10235  10236  10237  10238  10239  -10240  -10241  -10242  -10243  -10244  -10245  -10246  -10247  -10248  -10249  -10250  -10251  -10252  -10253  10254  -10255  -10256  -10257  -10258  -10259  -10260  -10261  -10262  -10263  -10264  -10265  -10266  -10267  -10268  -10269  -10270  -10271  -10272  -10273  -10274  -10275  -10276  -10277  -10278  10279  10280  10281  10282  10283  -10284  -10285  -10286  -10287  -10288  -10289  -10290  -10291  -10292  -10293  -10294  -10295  -10296  -10297  -10298  -10299  -10300  -10301  -10302  10303  10304  -10305  -10306  -10307  -10308  -10309  -10310  -10311  -10312  -10313  -10314  -10315  -10316  -10317  -10318  -10319  -10320  -10321  -10322  -10323  -10324  -10325  -10326  10327  -10328  -10329  -10330  -10331  -10332  -10333  -10334  -10335  -10336  -10337  -10338  -10339  -10340  -10341  10342  10343  -10344  -10345  -10346  -10347  -10348  -10349  -10350  -10351  -10352  -10353  -10354  -10355  -10356  -10357  -10358  -10359  -10360  -10361  -10362  -10363  -10364  -10365  10366  -10367  -10368  -10369  -10370  -10371  -10372  -10373  -10374  -10375  -10376  -10377  -10378  -10379  -10380  -10381  -10382  -10383  -10384  -10385  -10386  -10387  -10388  -10389  -10390  -10391  -10392  -10393  -10394  -10395  -10396  -10397  -10398  -10399  -10400  -10401  -10402  -10403  -10404  -10405  -10406  -10407  -10408  -10409  -10410  -10411  -10412  -10413  -10414  -10415  -10416  -10417  -10418  -10419  -10420  -10421  -10422  -10423  -10424  -10425  -10426  -10427  -10428  -10429  -10430  -10431  -10432  -10433  -10434  -10435  -10436  -10437  -10438  -10439  -10440  -10441  -10442  -10443  -10444  -10445  -10446  -10447  -10448  -10449  -10450  -10451  -10452  -10453  -10454  -10455  -10456  -10457  -10458  -10459  -10460  -10461  -10462  -10463  -10464  -10465  -10466  -10467  -10468  -10469  -10470  -10471  -10472  -10473  -10474  -10475  -10476  -10477  -10478  -10479  -10480  -10481  -10482  -10483  -10484  -10485  -10486  -10487  -10488  -10489  -10490  -10491  -10492  -10493  -10494  -10495  -10496  -10497  -10498  -10499  -10500  -10501  -10502  -10503  -10504  -10505  -10506  -10507  -10508  -10509  -10510  -10511  -10512  -10513  -10514  -10515  -10516  -10517  -10518  -10519  -10520  -10521  -10522  -10523  -10524  -10525  -10526  -10527  -10528  -10529  -10530  -10531  -10532  -10533  -10534  -10535  -10536  -10537  -10538  -10539  -10540  -10541  -10542  -10543  -10544  -10545  -10546  -10547  -10548  -10549  -10550  -10551  -10552  -10553  -10554  -10555  -10556  -10557  -10558  -10559  -10560  -10561  -10562  -10563  -10564  -10565  -10566  -10567  -10568  -10569  -10570  -10571  -10572  -10573  -10574  -10575  -10576  -10577  -10578  -10579  -10580  -10581  -10582  -10583  -10584  -10585  -10586  -10587  -10588  -10589  -10590  -10591  -10592  -10593  -10594  -10595  -10596  -10597  -10598  -10599  -10600  -10601  -10602  -10603  -10604  -10605  -10606  -10607  -10608  -10609  -10610  -10611  -10612  -10613  -10614  -10615  -10616  -10617  -10618  -10619  -10620  -10621  -10622  -10623  -10624  -10625  -10626  -10627  -10628  10629  -10630  -10631  -10632  -10633  -10634  -10635  -10636  -10637  -10638  -10639  -10640  -10641  -10642  -10643  -10644  -10645  -10646  -10647  -10648  -10649  -10650  -10651  -10652  -10653  -10654  -10655  -10656  -10657  -10658  -10659  -10660  -10661  -10662  -10663  -10664  -10665  -10666  -10667  -10668  -10669  -10670  -10671  -10672  -10673  -10674  -10675  -10676  -10677  -10678  -10679  -10680  -10681  -10682  -10683  -10684  -10685  -10686  -10687  -10688  -10689  -10690  -10691  -10692  -10693  -10694  -10695  -10696  -10697  -10698  -10699  -10700  -10701  -10702  -10703  -10704  -10705  -10706  -10707  -10708  -10709  -10710  -10711  -10712  -10713  -10714  -10715  -10716  -10717  -10718  -10719  -10720  -10721  -10722  -10723  -10724  -10725  -10726  -10727  -10728  -10729  -10730  -10731  -10732  -10733  -10734  -10735  -10736  -10737  -10738  -10739  -10740  -10741  -10742  -10743  -10744  -10745  -10746  -10747  -10748  -10749  -10750  -10751  -10752  -10753  -10754  -10755  -10756  -10757  -10758  -10759  -10760  10761  -10762  -10763  -10764  -10765  -10766  -10767  -10768  -10769  -10770  -10771  -10772  -10773  -10774  -10775  -10776  -10777  -10778  -10779  -10780  -10781  -10782  -10783  -10784  -10785  -10786  -10787  -10788  -10789  -10790  -10791  -10792  -10793  -10794  -10795  -10796  -10797  -10798  -10799  -10800  -10801  -10802  -10803  -10804  -10805  -10806  -10807  -10808  -10809  -10810  -10811  -10812  -10813  -10814  -10815  -10816  -10817  -10818  -10819  -10820  -10821  -10822  -10823  -10824  -10825  -10826  -10827  -10828  -10829  -10830  10831  -10832  -10833  -10834  -10835  -10836  -10837  -10838  -10839  -10840  -10841  -10842  -10843  -10844  -10845  -10846  -10847  -10848  -10849  -10850  -10851  -10852  -10853  -10854  -10855  -10856  -10857  -10858  -10859  -10860  -10861  -10862  -10863  -10864  -10865  -10866  -10867  -10868  -10869  -10870  -10871  -10872  -10873  -10874  10875  -10876  -10877  -10878  -10879  -10880  -10881  -10882  -10883  -10884  -10885  -10886  -10887  -10888  -10889  -10890  -10891  -10892  -10893  -10894  -10895  -10896  10897  -10898  -10899  -10900  -10901  -10902  -10903  -10904  -10905  -10906  -10907  -10908  -10909  -10910  -10911  -10912  -10913  -10914  -10915  -10916  -10917  -10918  -10919  -10920  -10921  -10922  -10923  -10924  -10925  -10926  -10927  -10928  -10929  -10930  -10931  -10932  -10933  -10934  -10935  -10936  -10937  -10938  -10939  -10940  -10941  -10942  -10943  -10944  -10945  -10946  -10947  -10948  -10949  -10950  -10951  -10952  -10953  -10954  -10955  -10956  -10957  -10958  -10959  -10960  -10961  -10962  -10963  -10964  -10965  -10966  -10967  -10968  -10969  -10970  -10971  -10972  -10973  -10974  -10975  -10976  -10977  -10978  -10979  -10980  -10981  -10982  -10983  -10984  -10985  -10986  -10987  -10988  -10989  -10990  -10991  -10992  -10993  -10994  -10995  -10996  -10997  -10998  -10999  -11000  -11001  -11002  -11003  -11004  -11005  -11006  -11007  -11008  -11009  -11010  -11011  -11012  -11013  -11014  -11015  -11016  -11017  -11018  -11019  -11020  -11021  -11022  -11023  -11024  -11025  -11026  11027  -11028  -11029  -11030  -11031  -11032  -11033  -11034  -11035  -11036  -11037  -11038  -11039  -11040  -11041  -11042  -11043  -11044  -11045  -11046  -11047  -11048  -11049  -11050  -11051  -11052  -11053  -11054  -11055  -11056  -11057  -11058  -11059  -11060  -11061  -11062  -11063  -11064  -11065  -11066  -11067  -11068  -11069  -11070  -11071  -11072  -11073  -11074  -11075  -11076  -11077  -11078  -11079  -11080  -11081  -11082  -11083  -11084  -11085  -11086  -11087  -11088  -11089  -11090  11091  -11092  -11093  -11094  -11095  -11096  -11097  -11098  -11099  -11100  -11101  -11102  -11103  -11104  -11105  -11106  -11107  -11108  -11109  -11110  -11111  -11112  -11113  11114  -11115  -11116  -11117  -11118  -11119  -11120  -11121  -11122  -11123  -11124  -11125  -11126  -11127  -11128  -11129  -11130  -11131  -11132  -11133  -11134  -11135  -11136  -11137  -11138  -11139  -11140  -11141  -11142  -11143  -11144  -11145  -11146  -11147  -11148  -11149  -11150  -11151  -11152  -11153  -11154  -11155  -11156  -11157  -11158  -11159  11160  11161  11162  11163  -11164  -11165  -11166  -11167  -11168  -11169  -11170  -11171  -11172  -11173  -11174  -11175  -11176  -11177  -11178  -11179  -11180  -11181  -11182  11183  11184  -11185  -11186  -11187  -11188  -11189  -11190  -11191  -11192  -11193  -11194  -11195  -11196  -11197  -11198  -11199  -11200  -11201  -11202  -11203  -11204  -11205  -11206  11207  -11208  -11209  -11210  -11211  -11212  -11213  -11214  -11215  -11216  -11217  -11218  -11219  -11220  -11221  -11222  -11223  -11224  -11225  -11226  -11227  -11228  -11229  -11230  -11231  -11232  -11233  -11234  -11235  -11236  -11237  -11238  -11239  -11240  -11241  -11242  -11243  -11244  -11245  -11246  -11247  -11248  -11249  -11250  -11251  -11252  -11253  -11254  -11255  -11256  -11257  -11258  -11259  -11260  -11261  -11262  -11263  -11264  -11265  -11266  -11267  -11268  -11269  -11270  -11271  -11272  -11273  -11274  -11275  -11276  -11277  -11278  -11279  -11280  -11281  -11282  -11283  -11284  -11285  -11286  -11287  -11288  -11289  -11290  -11291  -11292  -11293  -11294  -11295  -11296  -11297  -11298  -11299  -11300  -11301  -11302  -11303  -11304  -11305  -11306  -11307  -11308  -11309  -11310  -11311  -11312  -11313  -11314  -11315  -11316  -11317  -11318  -11319  -11320  -11321  -11322  -11323  -11324  -11325  -11326  -11327  -11328  -11329  -11330  -11331  11332  -11333  -11334  -11335  -11336  -11337  -11338  -11339  -11340  -11341  -11342  -11343  -11344  -11345  -11346  -11347  -11348  -11349  -11350  -11351  -11352  -11353  -11354  -11355  -11356  -11357  -11358  -11359  -11360  -11361  -11362  -11363  -11364  -11365  -11366  -11367  -11368  -11369  -11370  -11371  -11372  -11373  -11374  -11375  -11376  -11377  -11378  -11379  -11380  11381  11382  -11383  -11384  -11385  -11386  -11387  -11388  -11389  -11390  -11391  -11392  -11393  -11394  -11395  -11396  -11397  -11398  -11399  -11400  -11401  -11402  -11403  -11404  11405  -11406  -11407  -11408  -11409  -11410  -11411  -11412  -11413  -11414  -11415  -11416  -11417  -11418  -11419  -11420  -11421  -11422  -11423  -11424  -11425  -11426  -11427  -11428  -11429  -11430  -11431  -11432  -11433  -11434  -11435  -11436  -11437  -11438  -11439  -11440  -11441  -11442  -11443  -11444  -11445  -11446  -11447  -11448  -11449  -11450  -11451  -11452  -11453  -11454  -11455  -11456  -11457  -11458  -11459  -11460  -11461  -11462  -11463  -11464  -11465  -11466  -11467  -11468  -11469  -11470  -11471  -11472  -11473  -11474  -11475  -11476  -11477  -11478  -11479  -11480  -11481  -11482  -11483  -11484  -11485  -11486  -11487  -11488  -11489  -11490  -11491  -11492  -11493  -11494  -11495  -11496  -11497  -11498  -11499  -11500  -11501  -11502  -11503  -11504  -11505  -11506  -11507  -11508  -11509  -11510  -11511  -11512  -11513  -11514  -11515  -11516  -11517  -11518  -11519  -11520  -11521  -11522  -11523  -11524  -11525  -11526  -11527  -11528  -11529  -11530  -11531  -11532  -11533  -11534  -11535  -11536  -11537  -11538  -11539  -11540  -11541  -11542  -11543  -11544  -11545  -11546  -11547  -11548  -11549  -11550  -11551  -11552  -11553  -11554  -11555  -11556  -11557  -11558  -11559  -11560  -11561  -11562  -11563  -11564  -11565  -11566  -11567  -11568  -11569  -11570  -11571  -11572  -11573  -11574  -11575  -11576  -11577  -11578  -11579  -11580  -11581  -11582  -11583  -11584  -11585  -11586  -11587  -11588  -11589  -11590  -11591  -11592  -11593  -11594  -11595  -11596  -11597  -11598  -11599  -11600  11601  -11602  -11603  -11604  -11605  -11606  -11607  -11608  -11609  -11610  -11611  -11612  -11613  -11614  -11615  -11616  -11617  -11618  -11619  11620  -11621  -11622  -11623  -11624  -11625  -11626  -11627  -11628  -11629  -11630  -11631  -11632  -11633  -11634  -11635  -11636  -11637  -11638  -11639  -11640  -11641  -11642  -11643  -11644  -11645  -11646  11647  -11648  -11649  -11650  -11651  -11652  -11653  -11654  -11655  -11656  -11657  -11658  -11659  -11660  -11661  -11662  -11663  -11664  11665  -11666  -11667  -11668  -11669  -11670  -11671  -11672  -11673  -11674  -11675  -11676  -11677  -11678  -11679  -11680  -11681  -11682  -11683  -11684  -11685  -11686  -11687  -11688  11689  -11690  -11691  -11692  -11693  -11694  -11695  -11696  -11697  -11698  -11699  -11700  -11701  -11702  -11703  -11704  11705  -11706  -11707  -11708  -11709  -11710  -11711  -11712  -11713  -11714  -11715  -11716  -11717  -11718  -11719  -11720  -11721  -11722  -11723  -11724  -11725  -11726  -11727  11728  -11729  -11730  -11731  -11732  -11733  -11734  -11735  -11736  -11737  -11738  -11739  -11740  -11741  -11742  -11743  -11744  -11745  -11746  -11747  -11748  -11749  -11750  -11751  -11752  -11753  -11754  -11755  -11756  -11757  -11758  -11759  11760  -11761  -11762  -11763  -11764  -11765  -11766  -11767  -11768  -11769  -11770  -11771  -11772  11773  -11774  -11775  -11776  -11777  -11778  -11779  -11780  -11781  -11782  -11783  -11784  -11785  -11786  -11787  -11788  -11789  -11790  -11791  -11792  -11793  -11794  -11795  -11796  -11797  11798  -11799  -11800  -11801  -11802  -11803  -11804  -11805  -11806  -11807  -11808  -11809  -11810  -11811  -11812  -11813  -11814  -11815  -11816  -11817  -11818  -11819  -11820  -11821  -11822  -11823  -11824  -11825  -11826  -11827  -11828  11829  -11830  -11831  -11832  -11833  -11834  -11835  -11836  -11837  -11838  -11839  -11840  -11841  -11842  -11843  -11844  -11845  11846  -11847  -11848  -11849  -11850  -11851  -11852  -11853  -11854  -11855  -11856  -11857  -11858  11859  -11860  -11861  -11862  -11863  -11864  -11865  -11866  -11867  -11868  -11869  -11870  -11871  -11872  -11873  -11874  -11875  -11876  -11877  -11878  -11879  -11880  -11881  -11882  -11883  -11884  -11885  -11886  -11887  11888  -11889  -11890  -11891  -11892  -11893  -11894  -11895  -11896  -11897  -11898  -11899  -11900  -11901  -11902  -11903  -11904  -11905  -11906  -11907  -11908  -11909  -11910  -11911  -11912  -11913  -11914  -11915  11916  -11917  -11918  -11919  -11920  -11921  -11922  -11923  -11924  -11925  -11926  -11927  -11928  -11929  -11930  -11931  -11932  -11933  -11934  -11935  -11936  -11937  11938  -11939  -11940  -11941  -11942  -11943  -11944  -11945  -11946  11947  -11948  -11949  -11950  -11951  -11952  -11953  -11954  -11955  -11956  -11957  -11958  -11959  -11960  -11961  -11962  -11963  -11964  -11965  -11966  -11967  -11968  -11969  -11970  -11971  -11972  11973  -11974  -11975  -11976  -11977  -11978  -11979  -11980  -11981  -11982  -11983  -11984  -11985  -11986  -11987  -11988  -11989  -11990  -11991  -11992  -11993  -11994  -11995  -11996  -11997  -11998  -11999  -12000  12001  -12002  -12003  -12004  -12005  -12006  -12007  -12008  -12009  -12010  -12011  -12012  -12013  -12014  -12015  -12016  -12017  -12018  -12019  -12020  -12021  -12022  12023  -12024  -12025  -12026  -12027  -12028  -12029  -12030  -12031  -12032  -12033  -12034  -12035  -12036  -12037  -12038  -12039  -12040  -12041  -12042  -12043  -12044  -12045  -12046  12047  -12048  -12049  -12050  -12051  -12052  -12053  -12054  -12055  -12056  12057  -12058  -12059  -12060  -12061  -12062  -12063  -12064  -12065  -12066  -12067  -12068  -12069  -12070  -12071  -12072  -12073  -12074  -12075  -12076  -12077  -12078  -12079  -12080  -12081  -12082  -12083  -12084  12085  -12086  -12087  -12088  -12089  -12090  -12091  -12092  -12093  -12094  -12095  -12096  -12097  -12098  -12099  -12100  -12101  -12102  12103  -12104  -12105  -12106  -12107  -12108  -12109  -12110  -12111  -12112  -12113  -12114  -12115  -12116  -12117  -12118  -12119  -12120  -12121  -12122  -12123  -12124  -12125  -12126  -12127  -12128  -12129  12130  -12131  -12132  -12133  -12134  -12135  -12136  -12137  -12138  -12139  -12140  -12141  -12142  -12143  -12144  -12145  -12146  -12147  -12148  -12149  -12150  -12151  -12152  -12153  -12154  12155  -12156  -12157  -12158  -12159  -12160  -12161  -12162  -12163  -12164  -12165  -12166  -12167  -12168  -12169  12170  -12171  -12172  -12173  -12174  -12175  -12176  -12177  -12178  -12179  -12180  -12181  -12182  -12183  -12184  -12185  -12186  -12187  -12188  -12189  -12190  -12191  -12192  -12193  12194  -12195  -12196  -12197  -12198  -12199  -12200  -12201  -12202  -12203  -12204  -12205  -12206  -12207  -12208  -12209  -12210  -12211  -12212  -12213  -12214  -12215  12216  -12217  -12218  -12219  -12220  -12221  -12222  -12223  -12224  -12225  -12226  -12227  -12228  -12229  -12230  -12231  -12232  -12233  -12234  -12235  -12236  -12237  -12238  12239  -12240  -12241  -12242  -12243  -12244  -12245  -12246  -12247  -12248  -12249  -12250  -12251  -12252  -12253  -12254  12255  -12256  -12257  -12258  -12259  -12260  -12261  -12262  -12263  -12264  -12265  -12266  -12267  -12268  -12269  -12270  -12271  -12272  -12273  -12274  -12275  -12276  -12277  -12278  -12279  12280  -12281  -12282  -12283  -12284  -12285  -12286  -12287  -12288  -12289  -12290  -12291  -12292  -12293  -12294  -12295  -12296  -12297  -12298  -12299  12300  -12301  -12302  -12303  -12304  -12305  -12306  -12307  -12308  -12309  -12310  -12311  -12312  -12313  -12314  -12315  -12316  -12317  -12318  -12319  -12320  -12321  -12322  -12323  -12324  -12325  -12326  -12327  -12328  -12329  12330  -12331  -12332  -12333  -12334  -12335  -12336  -12337  -12338  -12339  -12340  -12341  -12342  -12343  -12344  12345  -12346  -12347  -12348  -12349  -12350  -12351  -12352  -12353  -12354  -12355  -12356  -12357  -12358  -12359  -12360  -12361  -12362  -12363  -12364  -12365  -12366  -12367  -12368  -12369  -12370  12371  -12372  -12373  -12374  -12375  -12376  -12377  -12378  -12379  -12380  -12381  -12382  -12383  -12384  -12385  -12386  -12387  -12388  12389  -12390  -12391  -12392  -12393  -12394  -12395  -12396  -12397  -12398  -12399  -12400  -12401  -12402  -12403  -12404  -12405  -12406  -12407  -12408  -12409  -12410  -12411  -12412  -12413  12414  -12415  -12416  -12417  -12418  -12419  -12420  -12421  -12422  -12423  -12424  -12425  -12426  -12427  -12428  -12429  -12430  12431  -12432  -12433  -12434  -12435  -12436  -12437  -12438  -12439  -12440  -12441  -12442  -12443  -12444  -12445  -12446  -12447  -12448  -12449  -12450  -12451  -12452  -12453  -12454  -12455  -12456  12457  -12458  -12459  -12460  -12461  -12462  -12463  -12464  -12465  -12466  -12467  -12468  -12469  -12470  -12471  -12472  -12473  -12474  -12475  -12476  -12477  -12478  -12479  -12480  12481  -12482  -12483  -12484  -12485  -12486  -12487  -12488  -12489  -12490  -12491  -12492  -12493  -12494  -12495  -12496  -12497  -12498  -12499  -12500  -12501  -12502  -12503  -12504  12505  -12506  -12507  -12508  -12509  -12510  -12511  -12512  -12513  -12514  -12515  -12516  -12517  -12518  -12519  12520  -12521  -12522  -12523  -12524  -12525  -12526  -12527  -12528  -12529  -12530  -12531  -12532  -12533  -12534  -12535  -12536  -12537  -12538  -12539  -12540  -12541  -12542  -12543  12544  -12545  -12546  -12547  -12548  -12549  -12550  -12551  -12552  -12553  -12554  -12555  -12556  -12557  -12558  -12559  -12560  -12561  -12562  -12563  -12564  -12565  -12566  -12567  -12568  12569  -12570  -12571  -12572  -12573  -12574  -12575  -12576  -12577  -12578  -12579  -12580  -12581  -12582  -12583  -12584  -12585  -12586  -12587  -12588  -12589  -12590  -12591  -12592  -12593  -12594  -12595  12596  -12597  -12598  -12599  -12600  -12601  -12602  -12603  -12604  -12605  -12606  -12607  -12608  -12609  -12610  -12611  -12612  -12613  -12614  12615  -12616  -12617  -12618  -12619  -12620  -12621  -12622  -12623  -12624  -12625  -12626  -12627  -12628  -12629  -12630  -12631  -12632  -12633  -12634  -12635  12636  -12637  -12638  -12639  -12640  -12641  -12642  -12643  -12644  -12645  -12646  -12647  -12648  -12649  -12650  -12651  -12652  -12653  -12654  -12655  -12656  -12657  -12658  -12659  -12660  -12661  -12662  12663  -12664  -12665  -12666  -12667  -12668  -12669  -12670  -12671  -12672  12673  -12674  -12675  -12676  -12677  -12678  -12679  -12680  -12681  -12682  -12683  -12684  -12685  -12686  -12687  -12688  -12689  -12690  -12691  -12692  -12693  -12694  -12695  -12696  -12697  12698  -12699  -12700  -12701  -12702  -12703  -12704  -12705  -12706  -12707  -12708  -12709  -12710  -12711  -12712  -12713  -12714  -12715  -12716  -12717  -12718  -12719  -12720  -12721  -12722  -12723  -12724  -12725  -12726  -12727  -12728  12729  -12730  -12731  -12732  -12733  -12734  -12735  -12736  -12737  -12738  -12739  -12740  -12741  -12742  -12743  -12744  -12745  -12746  -12747  -12748  -12749  -12750  -12751  -12752  12753  -12754  -12755  -12756  -12757  -12758  -12759  -12760  -12761  -12762  -12763  -12764  -12765  12766  -12767  -12768  -12769  -12770  -12771  -12772  -12773  -12774  -12775  -12776  -12777  -12778  -12779  -12780  -12781  -12782  -12783  -12784  -12785  -12786  -12787  -12788  -12789  -12790  -12791  -12792  -12793  -12794  -12795  -12796  12797  -12798  -12799  -12800  -12801  -12802  -12803  -12804  -12805  -12806  -12807  -12808  -12809  -12810  -12811  -12812  -12813  -12814  -12815  -12816  -12817  12818  -12819  -12820  -12821  -12822  -12823  -12824  -12825  -12826  -12827  -12828  12829  -12830  -12831  -12832  -12833  -12834  -12835  -12836  -12837  -12838  -12839  -12840  -12841  -12842  -12843  -12844  -12845  -12846  -12847  -12848  -12849  -12850  -12851  -12852  -12853  -12854  -12855  -12856  -12857  12858  -12859  -12860  -12861  -12862  -12863  -12864  -12865  -12866  -12867  -12868  -12869  -12870  -12871  -12872  -12873  -12874  -12875  -12876  -12877  -12878  -12879  -12880  -12881  -12882  -12883  12884  -12885  -12886  -12887  -12888  -12889  -12890  -12891  -12892  -12893  -12894  -12895  -12896  -12897  -12898  -12899  -12900  -12901  -12902  -12903  -12904  -12905  12906  -12907  -12908  -12909  -12910  -12911  -12912  -12913  -12914  -12915  12916  -12917  -12918  -12919  -12920  -12921  -12922  -12923  -12924  -12925  -12926  -12927  -12928  -12929  -12930  -12931  -12932  -12933  -12934  -12935  -12936  -12937  -12938  -12939  -12940  12941  -12942  -12943  -12944  -12945  -12946  -12947  -12948  -12949  -12950  -12951  -12952  -12953  -12954  -12955  -12956  -12957  -12958  -12959  -12960  -12961  -12962  -12963  -12964  -12965  -12966  -12967  -12968  12969  -12970  -12971  -12972  -12973  -12974  -12975  -12976  -12977  -12978  -12979  -12980  -12981  -12982  -12983  -12984  -12985  -12986  -12987  -12988  -12989  -12990  12991  -12992  -12993  -12994  -12995  -12996  -12997  -12998  -12999  -13000  -13001  -13002  -13003  -13004  -13005  -13006  -13007  -13008  -13009  -13010  -13011  -13012  -13013  -13014  13015  -13016  -13017  -13018  -13019  -13020  -13021  -13022  -13023  -13024  -13025  -13026  -13027  -13028  13029  -13030  -13031  -13032  -13033  -13034  -13035  -13036  -13037  -13038  -13039  -13040  -13041  -13042  -13043  -13044  -13045  -13046  -13047  -13048  -13049  -13050  -13051  -13052  -13053  -13054  -13055  13056  -13057  -13058  -13059  -13060  -13061  -13062  -13063  -13064  -13065  -13066  -13067  -13068  -13069  -13070  13071  -13072  -13073  -13074  -13075  -13076  -13077  -13078  -13079  -13080  -13081  -13082  -13083  -13084  -13085  -13086  -13087  -13088  -13089  -13090  -13091  -13092  -13093  -13094  -13095  -13096  -13097  -13098  -13099  -13100  13101  -13102  -13103  -13104  -13105  -13106  -13107  -13108  -13109  -13110  -13111  -13112  -13113  -13114  -13115  -13116  -13117  -13118  -13119  -13120  -13121  -13122  13123  -13124  -13125  -13126  -13127  -13128  -13129  -13130  -13131  -13132  -13133  -13134  -13135  -13136  -13137  -13138  -13139  13140  -13141  -13142  -13143  -13144  -13145  -13146  -13147  -13148  -13149  -13150  -13151  -13152  -13153  -13154  -13155  -13156  -13157  -13158  -13159  -13160  -13161  -13162  -13163  -13164  -13165  -13166  13167  -13168  -13169  -13170  -13171  -13172  -13173  -13174  -13175  -13176  -13177  -13178  -13179  -13180  -13181  -13182  -13183  -13184  -13185  -13186  -13187  -13188  13189  -13190  -13191  -13192  -13193  -13194  -13195  -13196  -13197  -13198  -13199  -13200  -13201  -13202  -13203  -13204  -13205  -13206  -13207  -13208  13209  -13210  -13211  -13212  -13213  -13214  -13215  -13216  -13217  -13218  -13219  -13220  -13221  -13222  13223  -13224  -13225  -13226  -13227  -13228  -13229  -13230  -13231  -13232  -13233  -13234  -13235  -13236  -13237  -13238  -13239  -13240  -13241  -13242  -13243  -13244  -13245  -13246  -13247  -13248  -13249  -13250  -13251  -13252  -13253  13254  -13255  -13256  -13257  -13258  -13259  -13260  -13261  -13262  -13263  -13264  -13265  -13266  -13267  -13268  -13269  -13270  -13271  -13272  -13273  -13274  -13275  -13276  13277  -13278  -13279  -13280  -13281  -13282  -13283  -13284  -13285  -13286  -13287  -13288  -13289  -13290  -13291  -13292  -13293  -13294  -13295  -13296  -13297  -13298  13299  -13300  -13301  -13302  -13303  -13304  -13305  -13306  -13307  -13308  -13309  -13310  -13311  -13312  13313  -13314  -13315  -13316  -13317  -13318  -13319  -13320  -13321  -13322  -13323  -13324  -13325  -13326  -13327  -13328  -13329  -13330  -13331  -13332  -13333  -13334  -13335  -13336  -13337  -13338  13339  -13340  -13341  -13342  -13343  -13344  -13345  -13346  -13347  -13348  -13349  -13350  -13351  -13352  -13353  -13354  -13355  -13356  -13357  -13358  13359  -13360  -13361  -13362  -13363  -13364  -13365  -13366  -13367  -13368  -13369  -13370  -13371  -13372  -13373  -13374  -13375  -13376  -13377  -13378  -13379  -13380  -13381  -13382  -13383  -13384  13385  -13386  -13387  -13388  -13389  -13390  -13391  -13392  -13393  -13394  -13395  -13396  -13397  -13398  -13399  13400  -13401  -13402  -13403  -13404  -13405  -13406  -13407  -13408  -13409  -13410  -13411  -13412  -13413  -13414  -13415  -13416  -13417  -13418  -13419  -13420  -13421  -13422  -13423  -13424  -13425  -13426  -13427  -13428  13429  -13430  -13431  -13432  -13433  -13434  -13435  -13436  -13437  -13438  -13439  -13440  -13441  -13442  -13443  -13444  -13445  -13446  -13447  -13448  -13449  13450  -13451  -13452  -13453  -13454  -13455  -13456  -13457  -13458  -13459  -13460  -13461  -13462  -13463  -13464  -13465  -13466  -13467  -13468  -13469  -13470  -13471  -13472  13473  -13474  -13475  -13476  -13477  -13478  -13479  -13480  -13481  -13482  -13483  -13484  -13485  -13486  -13487  -13488  13489  -13490  -13491  -13492  -13493  -13494  -13495  -13496  -13497  -13498  -13499  -13500  -13501  -13502  -13503  -13504  -13505  -13506  -13507  -13508  -13509  -13510  -13511  13512  -13513  -13514  -13515  -13516  -13517  -13518  -13519  -13520  -13521  -13522  -13523  -13524  -13525  -13526  -13527  -13528  -13529  -13530  -13531  -13532  -13533  -13534  -13535  -13536  -13537  -13538  -13539  -13540  -13541  -13542  -13543  -13544  -13545  13546  13547  13548  13549  13550  13551  13552  -13553  -13554  -13555  -13556  -13557  -13558  -13559  -13560  -13561  -13562  -13563  13564  13565  13566  13567  13568  13569  13570  13571  13572  13573  13574 0 

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3349792-1304973210/watcher-3349792-1304973210 -o /tmp/evaluation-result-3349792-1304973210/solver-3349792-1304973210 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349792-1304973210.cnf -verb=0 -model -no-shrinking -no-glucose 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.94 3.16 3.18 4/376 24047
/proc/meminfo: memFree=12420384/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=20140 CPUtime=0 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 659 0 0 0 0 0 0 0 23 0 1 0 589737479 20623360 592 33554432000 4194304 4300056 140736349670096 18446744073709551615 212039316165 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 5035 592 218 26 0 1667 0

[startup+0.101123 s]
/proc/loadavg: 3.94 3.16 3.18 4/376 24047
/proc/meminfo: memFree=12420384/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=25752 CPUtime=0.09 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 2992 0 0 0 9 0 0 0 23 0 1 0 589737479 26370048 2899 33554432000 4194304 4300056 140736349670096 18446744073709551615 212039655168 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 6438 2900 219 26 0 3070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25752

[startup+0.201068 s]
/proc/loadavg: 3.94 3.16 3.18 4/376 24047
/proc/meminfo: memFree=12420384/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=41232 CPUtime=0.19 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 6197 0 0 0 19 0 0 0 23 0 1 0 589737479 42221568 5831 33554432000 4194304 4300056 140736349670096 18446744073709551615 212039655168 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 10308 5833 222 26 0 6940 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41232

[startup+0.301075 s]
/proc/loadavg: 3.94 3.16 3.18 4/376 24047
/proc/meminfo: memFree=12420384/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=56708 CPUtime=0.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 9969 0 0 0 28 1 0 0 25 0 1 0 589737479 58068992 9048 33554432000 4194304 4300056 140736349670096 18446744073709551615 212039655168 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 14177 9049 222 26 0 10809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56708

[startup+0.701015 s]
/proc/loadavg: 3.94 3.16 3.18 4/376 24047
/proc/meminfo: memFree=12420384/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=98192 CPUtime=0.69 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 22238 0 0 0 65 4 0 0 25 0 1 0 589737479 100548608 19947 33554432000 4194304 4300056 140736349670096 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 24548 19948 222 26 0 21180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98192

[startup+1.50088 s]
/proc/loadavg: 3.95 3.18 3.18 5/377 24048
/proc/meminfo: memFree=12300468/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=1.49 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 142 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194672

[startup+3.10056 s]
/proc/loadavg: 3.95 3.18 3.18 5/377 24048
/proc/meminfo: memFree=12267980/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=3.09 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 302 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194672

[startup+6.301 s]
/proc/loadavg: 3.95 3.19 3.19 5/377 24049
/proc/meminfo: memFree=12268976/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=6.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 622 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230399 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 194672

[startup+12.7008 s]
/proc/loadavg: 3.96 3.20 3.19 5/377 24049
/proc/meminfo: memFree=12268348/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=12.69 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 1262 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230399 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194672

[startup+25.5005 s]
/proc/loadavg: 3.96 3.23 3.20 5/377 24049
/proc/meminfo: memFree=12267224/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=25.49 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 2542 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230560 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 194672

[startup+51.101 s]
/proc/loadavg: 3.98 3.30 3.22 5/377 24050
/proc/meminfo: memFree=12263808/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=51.09 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 5102 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194672

[startup+102.301 s]
/proc/loadavg: 3.99 3.41 3.26 5/377 24051
/proc/meminfo: memFree=12262844/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=102.3 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 10223 7 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230428 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 194672

[startup+162.301 s]
/proc/loadavg: 4.13 3.54 3.32 5/377 24053
/proc/meminfo: memFree=12260588/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=162.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42899 0 0 0 16221 8 0 0 25 0 1 0 589737479 199344128 37915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37915 226 26 0 45300 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 194672

[startup+222.313 s]
/proc/loadavg: 4.11 3.64 3.36 5/377 24054
/proc/meminfo: memFree=12257080/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=194672 CPUtime=222.3 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 42900 0 0 0 22222 8 0 0 25 0 1 0 589737479 199344128 37916 33554432000 4194304 4300056 140736349670096 18446744073709551615 4230656 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 48668 37916 227 26 0 45300 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 194672

[startup+282.301 s]
/proc/loadavg: 4.09 3.72 3.40 5/377 24056
/proc/meminfo: memFree=12177436/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=319740 CPUtime=282.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 79726 0 0 0 28212 17 0 0 25 0 1 0 589737479 327413760 57912 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 79935 57912 247 26 0 76567 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 319740

[startup+342.301 s]
/proc/loadavg: 4.09 3.78 3.44 5/377 24058
/proc/meminfo: memFree=12098036/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=454492 CPUtime=342.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 99060 0 0 0 34205 24 0 0 25 0 1 0 589737479 465399808 77076 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256040 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 113623 77076 247 26 0 110255 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 454492

[startup+402.301 s]
/proc/loadavg: 4.17 3.85 3.49 5/377 24059
/proc/meminfo: memFree=12031540/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=463092 CPUtime=402.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 115016 0 0 0 40200 29 0 0 25 0 1 0 589737479 474206208 92915 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 115773 92915 247 26 0 112405 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 463092

[startup+462.3 s]
/proc/loadavg: 4.27 3.92 3.53 5/377 24061
/proc/meminfo: memFree=11966156/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=472404 CPUtime=462.29 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 130839 0 0 0 46195 34 0 0 25 0 1 0 589737479 483741696 108622 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118101 108622 247 26 0 114733 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 472404

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

[startup+467.201 s]
/proc/loadavg: 4.25 3.92 3.53 5/377 24061
/proc/meminfo: memFree=11962436/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=473064 CPUtime=467.19 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 131848 0 0 0 46685 34 0 0 25 0 1 0 589737479 484417536 109623 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256309 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118266 109623 247 26 0 114898 0
Current children cumulated CPU time (s) 467.19
Current children cumulated vsize (KiB) 473064

[startup+468.8 s]
/proc/loadavg: 4.25 3.92 3.53 5/377 24061
/proc/meminfo: memFree=11959824/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=473208 CPUtime=468.78 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 132242 0 0 0 46844 34 0 0 25 0 1 0 589737479 484564992 110013 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118302 110013 247 26 0 114934 0
Current children cumulated CPU time (s) 468.78
Current children cumulated vsize (KiB) 473208

[startup+470.401 s]
/proc/loadavg: 4.25 3.92 3.53 5/377 24061
/proc/meminfo: memFree=11958584/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=473208 CPUtime=470.38 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 132737 0 0 0 47004 34 0 0 25 0 1 0 589737479 484564992 110507 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256351 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118302 110507 247 26 0 114934 0
Current children cumulated CPU time (s) 470.38
Current children cumulated vsize (KiB) 473208

[startup+470.801 s]
/proc/loadavg: 4.23 3.93 3.54 5/377 24061
/proc/meminfo: memFree=11957220/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=473348 CPUtime=470.8 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 132851 0 0 0 47046 34 0 0 25 0 1 0 589737479 484708352 110620 33554432000 4194304 4300056 140736349670096 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118337 110620 247 26 0 114969 0
Current children cumulated CPU time (s) 470.8
Current children cumulated vsize (KiB) 473348

[startup+471.201 s]
/proc/loadavg: 4.23 3.93 3.54 5/377 24061
/proc/meminfo: memFree=11957220/32951124 swapFree=65155552/67111528
[pid=24047] ppid=24045 vsize=473348 CPUtime=471.18 cores=0,2
/proc/24047/stat : 24047 (lr_gl_shr) R 24045 24047 22980 0 -1 4202496 132955 0 0 0 47084 34 0 0 25 0 1 0 589737479 484708352 110724 33554432000 4194304 4300056 140736349670096 18446744073709551615 212039290276 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24047/statm: 118337 110724 256 26 0 114969 0
Current children cumulated CPU time (s) 471.18
Current children cumulated vsize (KiB) 473348

Child status: 10
Real time (s): 471.223
CPU time (s): 471.216
CPU user time (s): 470.85
CPU system time (s): 0.365944
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 473348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 470.85
system time used= 0.365944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 2022

runsolver used 1.77873 second user time and 3.79942 second system time

The end

Launcher Data

Begin job on node146 at 2011-05-09 22:33:32
IDJOB=3349792
IDBENCH=83447
IDSOLVER=1814
FILE ID=node146/3349792-1304973210
RUNJOBID= node146-1304972996-23919
PBS_JOBID= 13285604
Free space on /tmp= 41792 MiB

SOLVER NAME= minisat hack: LR_NOGL_NOSHR 2011-03-02
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model -no-shrinking -no-glucose
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3349792-1304973210/watcher-3349792-1304973210 -o /tmp/evaluation-result-3349792-1304973210/solver-3349792-1304973210 -C 2400 -W 1300 -M 7680  HOME/lr_gl_shr HOME/instance-3349792-1304973210.cnf -verb=0 -model -no-shrinking -no-glucose

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=859427045

node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12420532 kB
Buffers:        159680 kB
Cached:        4532644 kB
SwapCached:       9316 kB
Active:       10778384 kB
Inactive:      9439084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12420532 kB
SwapTotal:    67111528 kB
SwapFree:     65155552 kB
Dirty:           64124 kB
Writeback:           0 kB
AnonPages:    15522576 kB
Mapped:          22824 kB
Slab:           187252 kB
PageTables:      59636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81865620 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 41792 MiB
End job on node146 at 2011-05-09 22:41:23