Trace number 3498498

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
borg-sat 11.03.02-seq-industrial (fixed)SAT 13.8429 14.1318

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.32/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.32/0.69	c INFO: solving HOME/instance-3498498-1307956271.cnf
0.32/0.69	c INFO: computing task features
1.50/1.87	c INFO: computed variable-clause graph statistics
1.60/1.92	c INFO: computed clause balance statistics
6.70/7.02	c INFO: computed variable balance statistics
11.60/11.96	c INFO: computed small-clause counts
11.60/11.99	c INFO: computed Horn-clause counts
12.00/12.32	c INFO: computed variable graph statistics
12.00/12.32	c INFO: collected features for HOME/instance-3498498-1307956271.cnf in 11.58 s
12.00/12.35	c INFO: running lingeling-276@0 for 97 with 4988 remaining (b = 0.16)
13.68/14.09	s SATISFIABLE
13.68/14.09	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.1 (svn: 989)

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 /var/tmp/evaluation-result-3498498-1307956271/watcher-3498498-1307956271 -o /var/tmp/evaluation-result-3498498-1307956271/solver-3498498-1307956271 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498498-1307956271.cnf -seed 145861740 -budget 5000 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 1.90 2/188 16003
/proc/meminfo: memFree=24240604/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 721 0 0 0 0 0 0 0 17 0 1 0 985857860 15548416 611 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895533703 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 3796 615 321 364 0 283 0

[startup+0.039241 s]
/proc/loadavg: 2.03 2.01 1.90 2/188 16003
/proc/meminfo: memFree=24240604/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 1238 0 0 0 1 0 0 0 17 0 1 0 985857860 19341312 1093 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 4722 1093 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888

[startup+0.100237 s]
/proc/loadavg: 2.03 2.01 1.90 2/188 16003
/proc/meminfo: memFree=24240604/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 2559 0 0 0 4 1 0 0 17 0 1 0 985857860 87408640 2285 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895151301 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 21340 2293 707 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360

[startup+0.30123 s]
/proc/loadavg: 2.03 2.01 1.90 2/188 16003
/proc/meminfo: memFree=24240604/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=135748 CPUtime=0.18 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 5971 932 1 0 13 5 0 0 17 0 1 0 985857860 139005952 4149 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895486469 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 33937 4149 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.701084 s]
/proc/loadavg: 2.03 2.01 1.90 2/188 16003
/proc/meminfo: memFree=24240604/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=284972 CPUtime=0.4 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 10405 932 1 0 27 13 0 0 15 0 1 0 985857860 291811328 8074 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895490304 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 71243 8114 1758 364 0 7167 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 284972

[startup+1.50095 s]
/proc/loadavg: 2.03 2.01 1.90 3/189 16008
/proc/meminfo: memFree=24191880/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=340324 CPUtime=1.2 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 24297 932 1 0 105 15 0 0 16 0 1 0 985857860 348491776 21966 33554432000 4194304 5683644 140735433152528 18446744073709551615 5114208 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 85081 21966 1761 364 0 21005 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 340324

[startup+3.10063 s]
/proc/loadavg: 2.03 2.01 1.90 3/189 16008
/proc/meminfo: memFree=24137816/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=358456 CPUtime=2.8 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 43559 932 1 0 263 17 0 0 18 0 1 0 985857860 367058944 26999 33554432000 4194304 5683644 140735433152528 18446744073709551615 47958199585264 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 89614 26999 1826 364 0 25538 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 358456

[startup+6.30104 s]
/proc/loadavg: 2.03 2.01 1.90 3/189 16008
/proc/meminfo: memFree=24137384/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=358456 CPUtime=6 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 43559 932 1 0 583 17 0 0 25 0 1 0 985857860 367058944 26999 33554432000 4194304 5683644 140735433152528 18446744073709551615 4500500 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16003/statm: 89614 26999 1826 364 0 25538 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 358456

[startup+12.7008 s]
/proc/loadavg: 2.02 2.01 1.91 3/189 16009
/proc/meminfo: memFree=24139192/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=365844 CPUtime=12.05 cores=1,3,5,7
/proc/16003/stat : 16003 (python) S 16001 16003 15646 0 -1 4202496 44877 932 1 0 1187 18 0 0 20 0 2 0 985857860 374624256 26324 33554432000 4194304 5683644 140735433152528 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16003/statm: 91461 26324 1867 364 0 27379 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 365844

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

[startup+13.5007 s]
/proc/loadavg: 2.02 2.01 1.91 3/192 16012
/proc/meminfo: memFree=24125420/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=365844 CPUtime=12.05 cores=1,3,5,7
/proc/16003/stat : 16003 (python) S 16001 16003 15646 0 -1 4202496 44877 932 1 0 1187 18 0 0 20 0 2 0 985857860 374624256 26324 33554432000 4194304 5683644 140735433152528 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16003/statm: 91461 26324 1867 364 0 27379 0
[pid=16010] ppid=16003 vsize=355600 CPUtime=0 cores=1,3,5,7
/proc/16010/stat : 16010 (python) S 16003 16003 15646 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 985859095 364134400 24811 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895510543 0 0 16781312 514 4527783389918396415 0 0 17 3 0 0 0
/proc/16010/statm: 88900 24811 358 364 0 24818 0
[pid=16012] ppid=16010 vsize=33764 CPUtime=1.13 cores=1,3,5,7
/proc/16012/stat : 16012 (lingeling) R 16010 16012 16012 0 -1 4202496 9350 0 0 0 112 1 0 0 25 0 1 0 985859096 34574336 6642 33554432000 4194304 4352236 140734773682176 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16012/statm: 8441 6642 129 39 0 7521 0
[pid=16003/tid=16011] ppid=16001 vsize=365844 CPUtime=0 cores=1,3,5,7
/proc/16003/task/16011/stat : 16011 (python) S 16001 16003 15646 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 985859096 374624256 26324 33554432000 4194304 5683644 140735433152528 18446744073709551615 231907314097 0 0 16781312 2 18446604471133284288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 755208

[startup+13.9006 s]
/proc/loadavg: 2.02 2.01 1.91 3/192 16012
/proc/meminfo: memFree=24125420/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=365844 CPUtime=12.05 cores=1,3,5,7
/proc/16003/stat : 16003 (python) S 16001 16003 15646 0 -1 4202496 44877 932 1 0 1187 18 0 0 20 0 2 0 985857860 374624256 26324 33554432000 4194304 5683644 140735433152528 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16003/statm: 91461 26324 1867 364 0 27379 0
[pid=16010] ppid=16003 vsize=355600 CPUtime=0 cores=1,3,5,7
/proc/16010/stat : 16010 (python) S 16003 16003 15646 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 985859095 364134400 24811 33554432000 4194304 5683644 140735433152528 18446744073709551615 231895510543 0 0 16781312 514 4527783389918396415 0 0 17 3 0 0 0
/proc/16010/statm: 88900 24811 358 364 0 24818 0
[pid=16012] ppid=16010 vsize=33764 CPUtime=1.53 cores=1,3,5,7
/proc/16012/stat : 16012 (lingeling) R 16010 16012 16012 0 -1 4202496 9414 0 0 0 152 1 0 0 25 0 1 0 985859096 34574336 6706 33554432000 4194304 4352236 140734773682176 18446744073709551615 4207655 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16012/statm: 8441 6706 129 39 0 7521 0
[pid=16003/tid=16011] ppid=16001 vsize=365844 CPUtime=0 cores=1,3,5,7
/proc/16003/task/16011/stat : 16011 (python) S 16001 16003 15646 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 2 0 985859096 374624256 26324 33554432000 4194304 5683644 140735433152528 18446744073709551615 231907314097 0 0 16781312 2 18446604471133284288 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 755208

[startup+14.1005 s]
/proc/loadavg: 2.02 2.01 1.91 3/192 16012
/proc/meminfo: memFree=24125420/32950928 swapFree=67054844/67111528
[pid=16003] ppid=16001 vsize=365820 CPUtime=13.79 cores=1,3,5,7
/proc/16003/stat : 16003 (python) R 16001 16003 15646 0 -1 4202496 47388 12142 1 0 1188 18 171 2 18 0 1 0 985857860 374599680 26322 33554432000 4194304 5683644 140735433152528 18446744073709551615 5114087 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/16003/statm: 91455 26322 1865 364 0 27379 0
Current children cumulated CPU time (s) 13.79
Current children cumulated vsize (KiB) 365820

Child status: 0
Real time (s): 14.1318
CPU time (s): 13.8429
CPU user time (s): 13.6189
CPU system time (s): 0.223965
CPU usage (%): 97.9559
Max. virtual memory (cumulated for all children) (KiB): 755208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6189
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70221
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2900
involuntary context switches= 42

runsolver used 0.023996 second user time and 0.051992 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-13 11:11:12
IDJOB=3498498
IDBENCH=84802
IDSOLVER=1991
FILE ID=node114/3498498-1307956271
RUNJOBID= node114-1307953126-15665
PBS_JOBID= 13559714
Free space on /var/tmp= 2844 MiB

SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498498-1307956271/watcher-3498498-1307956271 -o /var/tmp/evaluation-result-3498498-1307956271/solver-3498498-1307956271 -C 5000 -W 5100 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498498-1307956271.cnf -seed 145861740 -budget 5000

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

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=145861740

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      24241048 kB
Buffers:         30856 kB
Cached:        7999392 kB
SwapCached:      10332 kB
Active:         441872 kB
Inactive:      7897092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24241048 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           38816 kB
Writeback:           0 kB
AnonPages:      306112 kB
Mapped:          19168 kB
Slab:           298708 kB
PageTables:       7784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   745180 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 /var/tmp at the end= 2812 MiB
End job on node114 at 2011-06-13 11:11:26