Trace number 3440066

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_SHR 2011-03-02SAT 1.66874 1.66823

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 benchmark1.40479
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.59/1.66	c WARNING: for repeatability, setting FPU to use double precision
1.59/1.66	s SATISFIABLE
1.59/1.66	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-3440066-1306942624/watcher-3440066-1306942624 -o /tmp/evaluation-result-3440066-1306942624/solver-3440066-1306942624 -C 5000 -W 5100 -M 15500 HOME/lr_gl_shr HOME/instance-3440066-1306942624.cnf -verb=0 -model 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.30 1.82 1.93 2/547 9153
/proc/meminfo: memFree=21421740/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=21116 CPUtime=0 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 910 0 0 0 0 0 0 0 21 0 1 0 805862782 21622784 830 33554432000 4194304 4300056 140733938247616 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 5279 830 222 26 0 1911 0

[startup+0.031494 s]
/proc/loadavg: 1.30 1.82 1.93 2/547 9153
/proc/meminfo: memFree=21421740/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=23812 CPUtime=0.02 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 1947 0 0 0 2 0 0 0 21 0 1 0 805862782 24383488 1706 33554432000 4194304 4300056 140733938247616 18446744073709551615 253640859392 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 5953 1706 222 26 0 2585 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23812

[startup+0.100522 s]
/proc/loadavg: 1.30 1.82 1.93 2/547 9153
/proc/meminfo: memFree=21421740/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=34728 CPUtime=0.09 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 5299 0 0 0 8 1 0 0 21 0 1 0 805862782 35561472 4441 33554432000 4194304 4300056 140733938247616 18446744073709551615 253640859392 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 8682 4442 222 26 0 5314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34728

[startup+0.300474 s]
/proc/loadavg: 1.30 1.82 1.93 2/547 9153
/proc/meminfo: memFree=21421740/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=45712 CPUtime=0.29 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 8325 0 0 0 27 2 0 0 22 0 1 0 805862782 46809088 6991 33554432000 4194304 4300056 140733938247616 18446744073709551615 4230341 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 11428 6991 226 26 0 8060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45712

[startup+0.70035 s]
/proc/loadavg: 1.30 1.82 1.93 2/547 9153
/proc/meminfo: memFree=21421740/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=59928 CPUtime=0.69 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 11352 0 0 0 67 2 0 0 23 0 1 0 805862782 61366272 9908 33554432000 4194304 4300056 140733938247616 18446744073709551615 4230435 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 14982 9908 228 26 0 11614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59928

[startup+1.50025 s]
/proc/loadavg: 1.30 1.82 1.93 3/551 9160
/proc/meminfo: memFree=21322268/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=50668 CPUtime=1.49 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 13948 0 0 0 146 3 0 0 25 0 1 0 805862782 51884032 8634 33554432000 4194304 4300056 140733938247616 18446744073709551615 4256272 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 12667 8634 247 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

[startup+1.60124 s]
/proc/loadavg: 1.30 1.82 1.93 3/551 9160
/proc/meminfo: memFree=21322268/32951124 swapFree=53733252/67111528
[pid=9153] ppid=9151 vsize=50668 CPUtime=1.59 cores=0,2,4,6
/proc/9153/stat : 9153 (lr_gl_shr) R 9151 9153 8478 0 -1 4202496 14011 0 0 0 156 3 0 0 25 0 1 0 805862782 51884032 8695 33554432000 4194304 4300056 140733938247616 18446744073709551615 4251352 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/9153/statm: 12667 8695 247 26 0 9299 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 50668

Child status: 10
Real time (s): 1.66823
CPU time (s): 1.66874
CPU user time (s): 1.63475
CPU system time (s): 0.033994
CPU usage (%): 100.031
Max. virtual memory (cumulated for all children) (KiB): 59928

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

runsolver used 0.009998 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-01 17:37:04
IDJOB=3440066
IDBENCH=84802
IDSOLVER=1938
FILE ID=node106/3440066-1306942624
RUNJOBID= node106-1306942624-9139
PBS_JOBID= 13488586
Free space on /tmp= 73700 MiB

SOLVER NAME= minisat hack: LR_GL_SHR 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
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3440066-1306942624/watcher-3440066-1306942624 -o /tmp/evaluation-result-3440066-1306942624/solver-3440066-1306942624 -C 5000 -W 5100 -M 15500  HOME/lr_gl_shr HOME/instance-3440066-1306942624.cnf -verb=0 -model

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=206859950

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21422020 kB
Buffers:        364844 kB
Cached:        5772812 kB
SwapCached:      22744 kB
Active:        5677892 kB
Inactive:      5521956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21422020 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:           10884 kB
Writeback:           0 kB
AnonPages:     5058148 kB
Mapped:          25992 kB
Slab:           181208 kB
PageTables:      77756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167523832 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= 73688 MiB
End job on node106 at 2011-06-01 17:37:06