Trace number 3350047

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_GL_NOSHR 2011-03-02SAT 1.52477 1.52528

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
MD5SUM6c3ea795f258ba82c81e44969c0c5fb4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.211967
Satisfiable
(Un)Satisfiability was proved
Number of variables14013
Number of clauses481761
Sum of the clauses size974385
Maximum clause length9
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2480205
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 51552

Solver Data 

1.49/1.52	c WARNING: for repeatability, setting FPU to use double precision
1.49/1.52	s SATISFIABLE
1.49/1.52	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  -13575  -13576  -13577  -13578  -13579  -13580  13581  -13582  -13583  13584  -13585  -13586  -13587  -13588  -13589  -13590  -13591  -13592  -13593  -13594  -13595  -13596  -13597  13598  -13599  -13600  -13601  -13602  -13603  -13604  13605  -13606  -13607  -13608  -13609  13610  -13611  -13612  -13613  -13614  -13615  -13616  -13617  -13618  -13619  -13620  13621  -13622  -13623  -13624  -13625  -13626  -13627  -13628  -13629  -13630  13631  -13632  -13633  -13634  -13635  -13636  -13637  -13638  -13639  -13640  -13641  -13642  13643  -13644  -13645  -13646  -13647  -13648  -13649  -13650  -13651  -13652  13653  -13654  -13655  13656  -13657  -13658  -13659  -13660  -13661  -13662  13663  -13664  -13665  -13666  -13667  -13668  -13669  -13670  -13671  -13672  -13673  -13674  -13675  -13676  -13677  -13678  13679  -13680  -13681  -13682  -13683  -13684  -13685  -13686  -13687  -13688  13689  -13690  -13691  13692  -13693  -13694  -13695  -13696  -13697  -13698  13699  -13700  -13701  -13702  -13703  -13704  -13705  -13706  -13707  -13708  -13709  -13710  -13711  -13712  13713  -13714  -13715  -13716  -13717  -13718  -13719  -13720  -13721  -13722  -13723  13724  -13725  -13726  -13727  -13728  -13729  -13730  13731  -13732  -13733  -13734  -13735  13736  -13737  -13738  -13739  -13740  -13741  -13742  -13743  -13744  -13745  -13746  13747  -13748  -13749  -13750  -13751  -13752  -13753  -13754  -13755  -13756  13757  -13758  -13759  -13760  -13761  13762  -13763  -13764  -13765  -13766  -13767  -13768  -13769  -13770  -13771  -13772  -13773  -13774  -13775  -13776  -13777  13778  -13779  -13780  -13781  -13782  13783  -13784  -13785  -13786  -13787  -13788  -13789  -13790  13791  -13792  -13793  -13794  -13795  -13796  -13797  -13798  -13799  -13800  -13801  -13802  -13803  13804  -13805  -13806  -13807  -13808  -13809  -13810  -13811  -13812  -13813  13814  -13815  -13816  -13817  -13818  -13819  -13820  -13821  -13822  -13823  13824  -13825  -13826  13827  -13828  -13829  -13830  -13831  -13832  -13833  -13834  -13835  -13836  -13837  -13838  -13839  13840  -13841  -13842  -13843  13844  -13845  -13846  -13847  -13848  -13849  -13850  -13851  -13852  -13853  -13854  -13855  -13856  13857  -13858  -13859  -13860  -13861  -13862  -13863  -13864  -13865  -13866  -13867  13868  -13869  -13870  -13871  -13872  -13873  -13874  -13875  -13876  -13877  13878  -13879  -13880  13881  -13882  -13883  -13884  -13885  -13886  -13887  -13888  -13889  -13890  13891  -13892  -13893  -13894  -13895  -13896  -13897  -13898  -13899  -13900  13901  -13902  -13903  -13904  -13905  -13906  -13907  -13908  -13909  -13910  -13911  -13912  13913  -13914  -13915  -13916  -13917  -13918  -13919  -13920  -13921  -13922  13923  -13924  -13925  13926  -13927  -13928  -13929  -13930  -13931  -13932  13933  -13934  -13935  -13936  -13937  -13938  -13939  -13940  -13941  -13942  -13943  -13944  -13945  -13946  13947  -13948  -13949  -13950  -13951  -13952  -13953  -13954  -13955  -13956  -13957  13958  -13959  -13960  -13961  -13962  -13963  -13964  -13965  -13966  -13967  13968  -13969  -13970  13971  -13972  -13973  -13974  -13975  -13976  -13977  -13978  -13979  -13980  -13981  -13982  -13983  13984  -13985  -13986  -13987  13988  -13989  -13990  -13991  -13992  -13993  -13994  -13995  -13996  -13997  -13998  -13999  -14000  14001  -14002  -14003  -14004  -14005  -14006  -14007  -14008  -14009  -14010  -14011  14012  -14013 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3350047-1307649319/watcher-3350047-1307649319 -o /tmp/evaluation-result-3350047-1307649319/solver-3350047-1307649319 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3350047-1307649319.cnf -verb=0 -model -no-shrinking 

running on 2 cores: 1,3

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: 1.67 3.25 3.60 5/183 12752
/proc/meminfo: memFree=31851452/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=20760 CPUtime=0 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 742 0 0 0 0 0 0 0 21 0 1 0 876529682 21258240 673 33554432000 4194304 4300056 140736146845632 18446744073709551615 212687675136 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 5190 673 222 26 0 1822 0

[startup+0.0152169 s]
/proc/loadavg: 1.67 3.25 3.60 5/183 12752
/proc/meminfo: memFree=31851452/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=21892 CPUtime=0.01 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 1146 0 0 0 1 0 0 0 21 0 1 0 876529682 22417408 1051 33554432000 4194304 4300056 140736146845632 18446744073709551615 212687733162 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 5473 1051 222 26 0 2105 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.100204 s]
/proc/loadavg: 1.67 3.25 3.60 5/183 12752
/proc/meminfo: memFree=31851452/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=34596 CPUtime=0.09 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 5283 0 0 0 9 0 0 0 21 0 1 0 876529682 35426304 4425 33554432000 4194304 4300056 140736146845632 18446744073709551615 212687675136 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 8682 4427 222 26 0 5314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34596

[startup+0.300166 s]
/proc/loadavg: 1.67 3.25 3.60 5/183 12752
/proc/meminfo: memFree=31851452/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=45712 CPUtime=0.29 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 8326 0 0 0 29 0 0 0 22 0 1 0 876529682 46809088 6991 33554432000 4194304 4300056 140736146845632 18446744073709551615 4230560 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 11428 6991 226 26 0 8060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45712

[startup+0.701096 s]
/proc/loadavg: 1.67 3.25 3.60 5/183 12752
/proc/meminfo: memFree=31851452/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=59928 CPUtime=0.69 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 11353 0 0 0 68 1 0 0 24 0 1 0 876529682 61366272 9908 33554432000 4194304 4300056 140736146845632 18446744073709551615 4230339 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 14982 9908 228 26 0 11614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59928

[startup+1.50095 s]
/proc/loadavg: 1.67 3.25 3.60 5/190 12773
/proc/meminfo: memFree=31686464/32951124 swapFree=67076880/67111528
[pid=12752] ppid=12750 vsize=50668 CPUtime=1.49 cores=1,3
/proc/12752/stat : 12752 (lr_gl_shr) R 12750 12752 9614 0 -1 4202496 13952 0 0 0 148 1 0 0 25 0 1 0 876529682 51884032 8636 33554432000 4194304 4300056 140736146845632 18446744073709551615 4256480 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/12752/statm: 12667 8636 246 26 0 9299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50668

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

Child status: 10
Real time (s): 1.52528
CPU time (s): 1.52477
CPU user time (s): 1.50877
CPU system time (s): 0.015997
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 59928

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

runsolver used 0.005999 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-09 21:55:19
IDJOB=3350047
IDBENCH=84802
IDSOLVER=1815
FILE ID=node139/3350047-1307649319
RUNJOBID= node139-1307649319-12716
PBS_JOBID= 13549353
Free space on /tmp= 74180 MiB

SOLVER NAME= minisat hack: LR_GL_NOSHR 2011-03-02
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model -no-shrinking 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3350047-1307649319/watcher-3350047-1307649319 -o /tmp/evaluation-result-3350047-1307649319/solver-3350047-1307649319 -C 2400 -W 1300 -M 7680  HOME/lr_gl_shr HOME/instance-3350047-1307649319.cnf -verb=0 -model -no-shrinking 

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

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=1607462823

node139.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.852
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.70
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.852
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.852
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.74
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.852
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.75
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31853468 kB
Buffers:        217520 kB
Cached:         625584 kB
SwapCached:       3520 kB
Active:         438212 kB
Inactive:       449128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31853468 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           21812 kB
Writeback:           0 kB
AnonPages:       42576 kB
Mapped:          14208 kB
Slab:           145696 kB
PageTables:       4948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219044 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= 74156 MiB
End job on node139 at 2011-06-09 21:55:21