Trace number 3291750

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
SApperloT2010 2011-03-04SAT 1.47278 1.47454

General information on the benchmark

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

Solver Data

1.39/1.44	c Solved by BasicSolver 
1.39/1.44	
1.39/1.44	s SATISFIABLE
1.39/1.44	c Basic Model
1.39/1.44	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 -14014  0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291750-1303791291/watcher-3291750-1303791291 -o /tmp/evaluation-result-3291750-1303791291/solver-3291750-1303791291 -C 2400 -W 1300 -M 7680 SApperloT2010 HOME/instance-3291750-1303791291.cnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 1.97 2.69 2.91 4/180 11155
/proc/meminfo: memFree=15125476/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=21292 CPUtime=0 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 1790 0 0 0 0 0 0 0 20 0 1 0 471544643 21803008 1729 33554432000 4194304 4395502 140735056705280 18446744073709551615 228095111877 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 5323 1729 249 50 0 2463 0

[startup+0.0689311 s]
/proc/loadavg: 1.97 2.69 2.91 4/180 11155
/proc/meminfo: memFree=15125476/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=29872 CPUtime=0.06 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 3916 0 0 0 6 0 0 0 20 0 1 0 471544643 30588928 3855 33554432000 4194304 4395502 140735056705280 18446744073709551615 228095450880 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 7468 3856 249 50 0 4608 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29872

[startup+0.100925 s]
/proc/loadavg: 1.97 2.69 2.91 4/180 11155
/proc/meminfo: memFree=15125476/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=34228 CPUtime=0.09 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 5010 0 0 0 9 0 0 0 20 0 1 0 471544643 35049472 4949 33554432000 4194304 4395502 140735056705280 18446744073709551615 228095450880 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 8557 4950 249 50 0 5697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34228

[startup+0.300898 s]
/proc/loadavg: 1.97 2.69 2.91 4/180 11155
/proc/meminfo: memFree=15125476/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=66216 CPUtime=0.28 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 12921 0 0 0 25 3 0 0 21 0 1 0 471544643 67805184 12474 33554432000 4194304 4395502 140735056705280 18446744073709551615 228095475607 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 16554 12474 255 50 0 13694 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66216

[startup+0.700818 s]
/proc/loadavg: 1.97 2.69 2.91 4/180 11155
/proc/meminfo: memFree=15125476/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=77692 CPUtime=0.69 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 17647 0 0 0 58 11 0 0 22 0 1 0 471544643 79556608 14521 33554432000 4194304 4395502 140735056705280 18446744073709551615 228095111877 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 19423 14521 266 50 0 16563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77692

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

[startup+1.10674 s]
/proc/loadavg: 2.14 2.71 2.92 5/187 11168
/proc/meminfo: memFree=14897136/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=83032 CPUtime=1.09 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 18989 0 0 0 98 11 0 0 24 0 1 0 471544643 85024768 15863 33554432000 4194304 4395502 140735056705280 18446744073709551615 4299186 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 20758 15863 266 50 0 17898 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 83032

[startup+1.3007 s]
/proc/loadavg: 2.14 2.71 2.92 5/187 11168
/proc/meminfo: memFree=14897136/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=85276 CPUtime=1.29 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 19554 0 0 0 117 12 0 0 25 0 1 0 471544643 87322624 16428 33554432000 4194304 4395502 140735056705280 18446744073709551615 4347564 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 21319 16428 266 50 0 18459 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 85276

[startup+1.40068 s]
/proc/loadavg: 2.14 2.71 2.92 5/187 11168
/proc/meminfo: memFree=14897136/32951124 swapFree=67111528/67111528
[pid=11155] ppid=11153 vsize=86332 CPUtime=1.39 cores=1,3
/proc/11155/stat : 11155 (SApperloT2010) R 11153 11155 9231 0 -1 4202496 19819 0 0 0 127 12 0 0 25 0 1 0 471544643 88403968 16693 33554432000 4194304 4395502 140735056705280 18446744073709551615 4286208 0 0 4096 6 0 0 0 17 1 0 0 0
/proc/11155/statm: 21583 16693 266 50 0 18723 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 86332

Child status: 10
Real time (s): 1.47454
CPU time (s): 1.47278
CPU user time (s): 1.3458
CPU system time (s): 0.12698
CPU usage (%): 99.8806
Max. virtual memory (cumulated for all children) (KiB): 86332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.34579
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20359
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= 23

runsolver used 0.003999 second user time and 0.008998 second system time

The end

Launcher Data

Begin job on node142 at 2011-04-26 06:14:52
IDJOB=3291750
IDBENCH=84802
IDSOLVER=1655
FILE ID=node142/3291750-1303791291
RUNJOBID= node142-1303791291-11133
PBS_JOBID= 13157230
Free space on /tmp= 71440 MiB

SOLVER NAME= SApperloT2010 2011-03-04
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= SApperloT2010 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291750-1303791291/watcher-3291750-1303791291 -o /tmp/evaluation-result-3291750-1303791291/solver-3291750-1303791291 -C 2400 -W 1300 -M 7680  SApperloT2010 HOME/instance-3291750-1303791291.cnf

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

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=1682529657

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15126004 kB
Buffers:       2086800 kB
Cached:       15089016 kB
SwapCached:          0 kB
Active:        7220904 kB
Inactive:     10031012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15126004 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14040 kB
Writeback:           0 kB
AnonPages:       75868 kB
Mapped:          14480 kB
Slab:           508704 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   196592 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= 71384 MiB
End job on node142 at 2011-04-26 06:14:53