Trace number 3362350

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
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20SAT 3.85641 2.35933

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3362350-1305303916/watcher-3362350-1305303916 -o /tmp/evaluation-result-3362350-1305303916/solver-3362350-1305303916 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3362350-1305303916.cnf aimd 1 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.89 3.95 5.37 2/357 27008
/proc/meminfo: memFree=21284984/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=0 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 622807292 8908800 249 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27008/statm: 2175 249 209 178 0 68 0

[startup+0.0491521 s]
/proc/loadavg: 2.89 3.95 5.37 2/357 27008
/proc/meminfo: memFree=21284984/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=0 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 622807292 8908800 249 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27008/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101161 s]
/proc/loadavg: 2.89 3.95 5.37 2/357 27008
/proc/meminfo: memFree=21284984/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=0 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 622807292 8908800 249 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27008/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301105 s]
/proc/loadavg: 2.89 3.95 5.37 2/357 27008
/proc/meminfo: memFree=21284984/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=0 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 622807292 8908800 249 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27008/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701031 s]
/proc/loadavg: 2.89 3.95 5.37 2/357 27008
/proc/meminfo: memFree=21284984/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=0 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 622807292 8908800 249 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27008/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50088 s]
/proc/loadavg: 2.89 3.95 5.37 2/359 27010
/proc/meminfo: memFree=21239072/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=1.34 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 356 11573 0 0 0 0 130 4 18 0 1 0 622807292 8908800 252 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/27008/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 8700

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

[startup+1.90076 s]
/proc/loadavg: 2.89 3.95 5.37 2/359 27010
/proc/meminfo: memFree=21239072/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=1.34 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 356 11573 0 0 0 0 130 4 18 0 1 0 622807292 8908800 252 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/27008/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 8700

[startup+2.30072 s]
/proc/loadavg: 2.89 3.95 5.37 5/362 27014
/proc/meminfo: memFree=21162044/32951124 swapFree=66341972/67111528
[pid=27008] ppid=27006 vsize=8700 CPUtime=1.34 cores=0-7
/proc/27008/stat : 27008 (manysat.sh) S 27006 27008 26982 0 -1 4202496 356 11573 0 0 0 0 130 4 18 0 1 0 622807292 8908800 252 33554432000 4194304 4922060 140735890268496 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/27008/statm: 2175 252 209 178 0 68 0
[pid=27011] ppid=27008 vsize=147964 CPUtime=2.39 cores=0-7
/proc/27011/stat : 27011 (manysat1.1_stat) R 27008 27008 26982 0 -1 4202496 28577 0 0 0 233 6 0 0 18 0 4 0 622807427 151515136 28528 33554432000 134512640 135305190 4294871760 18446744073709551615 134528501 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/27011/statm: 36991 28528 84 194 0 36795 0
[pid=27011/tid=27012] ppid=27008 vsize=147964 CPUtime=0.48 cores=0-7
/proc/27011/task/27012/stat : 27012 (manysat1.1_stat) R 27008 27008 26982 0 -1 4202560 1076 0 0 0 48 0 0 0 23 0 4 0 622807473 151515136 28528 33554432000 134512640 135305190 4294871760 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=27011/tid=27013] ppid=27008 vsize=147964 CPUtime=0.47 cores=0-7
/proc/27011/task/27013/stat : 27013 (manysat1.1_stat) R 27008 27008 26982 0 -1 4202560 1013 0 0 0 47 0 0 0 18 0 4 0 622807473 151515136 28528 33554432000 134512640 135305190 4294871760 18446744073709551615 134839991 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=27011/tid=27014] ppid=27008 vsize=147964 CPUtime=0.47 cores=0-7
/proc/27011/task/27014/stat : 27014 (manysat1.1_stat) R 27008 27008 26982 0 -1 4202560 997 0 0 0 47 0 0 0 18 0 4 0 622807473 151515136 28528 33554432000 134512640 135305190 4294871760 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 156664

Child status: 10
Real time (s): 2.35933
CPU time (s): 3.85641
CPU user time (s): 3.73743
CPU system time (s): 0.118981
CPU usage (%): 163.453
Max. virtual memory (cumulated for all children) (KiB): 156664

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

runsolver used 0.014997 second user time and 0.026995 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-13 18:25:17
IDJOB=3362350
IDBENCH=84802
IDSOLVER=1839
FILE ID=node141/3362350-1305303916
RUNJOBID= node141-1305303914-26996
PBS_JOBID= 13321464
Free space on /tmp= 48928 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362350-1305303916/watcher-3362350-1305303916 -o /tmp/evaluation-result-3362350-1305303916/solver-3362350-1305303916 -C 40000 -W 5100 -M 31000  manysat.sh HOME/instance-3362350-1305303916.cnf aimd 1

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=1456326161

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      21285388 kB
Buffers:        222104 kB
Cached:        5965460 kB
SwapCached:      22860 kB
Active:        3098840 kB
Inactive:      8322884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21285388 kB
SwapTotal:    67111528 kB
SwapFree:     66341972 kB
Dirty:           10072 kB
Writeback:           0 kB
AnonPages:     5217056 kB
Mapped:          18896 kB
Slab:           140348 kB
PageTables:      37684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86228652 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= 48912 MiB
End job on node141 at 2011-05-13 18:25:19