Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 31 | 1797.91 | 1798.4 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_012_area_delay.opb |
MD5SUM | 390f49d8db402e26df87629238cc1aa6 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 33.5149 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 15284 |
Total number of constraints | 49839 |
Number of constraints which are clauses | 49839 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 7495 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7495 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7495 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657262-1276633774.opb 0.00/0.00 c File size is 1499117 bytes. 0.19/0.25 c Highest Coefficient sum: 7495 0.19/0.25 c Parsing was ok!! 0.19/0.25 c Total parsing time: 0.249 s 0.19/0.27 c Var: 15284 Constr: 49839 49839/0/0 Lit: 118721 Watch. Lit: 97954 0.19/0.27 c Obj. Vars: 7495 (49.0382 % of total variables) 0.69/0.73 c Pre-processing Time: 0.733 s 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 11756 38996 95345 2 77992 12998 0 0 0.73 0.69/0.73 c Switching off lower bounding mode. 0.69/0.76 o 34 23.49/23.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.49/23.54 c 0 11756 38997 101116 2 83732 13998 1 0 0.77 23.49/23.54 c 100 11756 39097 106394 2 83932 15398 101 85 1.17 23.49/23.54 c 350 11756 39347 109192 2 84432 16938 351 212 1.65 23.49/23.54 c 825 11756 39822 119806 3 85382 18632 826 266 3.10 23.49/23.54 c 1639 11756 40636 165087 4 87010 20496 1640 246 6.65 23.49/23.54 c 2959 11756 41956 220093 5 89650 22546 2960 252 11.74 23.49/23.54 c 5040 11756 44037 341116 7 93812 24801 5041 255 19.73 23.49/23.54 o 33 30.39/30.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.39/30.49 c 5902 11756 44900 417226 9 101277 13998 5904 250 23.55 30.39/30.49 c 6002 11756 45000 421936 9 101477 15398 6004 249 24.08 30.39/30.49 c 6253 11756 45251 433264 9 101979 16938 6255 247 25.26 30.39/30.49 c 6728 11756 45726 458141 10 102929 18632 6730 246 27.33 30.39/30.49 o 32 271.03/271.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 271.03/271.17 c 7448 11756 46447 521915 11 110111 13998 7451 244 30.50 271.03/271.17 c 7548 11756 46547 526251 11 110311 15398 7551 243 30.97 271.03/271.17 c 7798 11756 46797 540456 11 110811 16938 7801 241 32.25 271.03/271.17 c 8273 11756 47272 565723 11 111761 18632 8276 241 34.29 271.03/271.17 c 9086 11756 48085 614342 12 113387 20496 9089 239 37.97 271.03/271.17 c 10406 11756 49405 673379 13 116027 22546 10409 233 44.62 271.03/271.17 c 12488 11756 51487 804453 15 120191 24801 12491 235 52.98 271.03/271.17 c 15712 11756 54711 1050231 19 126639 27282 15715 230 68.20 271.03/271.17 c 20649 11756 59648 1333935 22 136513 30011 20652 228 90.22 271.03/271.17 c 28156 11756 67155 1948788 29 151527 33013 28159 220 127.83 271.03/271.17 c 39517 11756 50533 828139 16 106806 36315 11537 221 178.26 271.03/271.17 c 56661 11756 67677 2002824 29 141094 39947 28681 220 257.21 271.03/271.17 o 31 1797.91/1798.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.39 c 59631 11756 70648 2170495 30 152777 13998 31652 219 271.12 1797.91/1798.39 c 59731 11756 46096 546970 11 97933 15398 7100 219 272.16 1797.91/1798.39 c 59981 11756 46346 552533 11 98433 16938 7350 219 272.99 1797.91/1798.39 c 60457 11756 46822 572985 12 99385 18632 7826 220 274.77 1797.91/1798.39 c 61270 11756 47635 603539 12 101011 20496 8639 219 278.87 1797.91/1798.39 c 62592 11756 48957 718980 14 103655 22546 9961 220 284.03 1797.91/1798.39 c 64674 11756 51039 882128 17 107819 24801 12043 220 293.17 1797.91/1798.39 c 67897 11756 54262 1047020 19 114265 27282 15266 220 307.41 1797.91/1798.39 c 72833 11756 59198 1315722 22 124137 30011 20202 220 330.83 1797.91/1798.39 c 80339 11756 66704 1744840 26 139149 33013 27708 217 368.64 1797.91/1798.39 c 91701 11756 50487 1200306 23 106715 36315 11491 216 422.61 1797.91/1798.39 c 108845 11756 67631 2318319 34 141003 39947 28635 216 503.87 1797.91/1798.39 c 134665 11756 57982 1448542 24 121705 43942 18986 216 622.81 1797.91/1798.39 c 173497 11756 56907 1163496 20 119555 48337 17911 208 833.94 1797.91/1798.39 c 231849 11756 71854 2279726 31 149449 53171 32858 207 1116.78 1797.91/1798.39 c 319481 11756 63609 2212032 34 132959 58489 24613 200 1596.98 1797.91/1798.39 c Resources Exceeded 1797.91/1798.39 v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x7784 -x7786 -x7788 -x7790 -x7792 -x7794 -x7796 -x7798 -x7800 -x7802 -x7804 -x7806 -x7808 -x7810 -x7812 -x7814 -x7816 -x7818 -x7820 -x7822 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837 -x7839 -x7841 -x7843 -x7845 -x7847 -x7849 -x7851 -x7853 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x7869 -x7871 -x7873 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7897 -x7899 -x7901 -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7921 -x7923 -x7925 -x7927 -x7929 -x7931 -x7933 -x7935 -x7937 -x7939 -x7941 -x7943 -x7945 -x7947 -x7949 -x7951 -x7953 -x7955 -x7957 -x7959 -x7961 -x7963 -x7965 -x7967 -x7969 -x7971 -x7973 -x7975 -x7977 -x7979 -x7981 -x7983 -x7985 -x7987 -x7989 -x7991 -x7993 -x7995 -x7997 -x7999 -x8001 -x8003 -x8005 -x8007 -x8009 -x8011 -x8013 -x8015 -x8017 -x8019 -x8021 -x8023 -x8025 -x8027 -x8029 -x8031 -x8033 -x8035 -x8037 -x8039 -x8041 -x8043 -x8045 -x8047 -x8049 -x8051 -x8053 -x8055 -x8057 -x8059 -x8061 -x8063 -x8065 -x8067 -x8069 -x8071 -x8073 -x8075 -x8077 -x8079 -x8081 -x8083 -x8085 -x8087 -x8089 -x8091 -x8093 -x8095 -x8097 -x8099 -x8101 -x8103 -x8105 -x8107 -x8109 -x8111 -x8113 -x8115 -x8117 -x8119 -x8121 -x8123 -x8125 -x8127 -x8129 -x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x8143 -x8145 -x8147 -x8149 -x8151 -x8153 -x8155 -x8157 -x8159 -x8161 -x8163 -x8165 -x8167 -x8169 -x8171 -x8173 -x8175 -x8177 -x8179 -x8181 -x8183 -x8185 -x8187 -x8189 -x8191 -x8193 -x8195 -x8197 -x8199 -x8201 -x8203 -x8205 -x8207 -x8209 -x8211 -x8213 -x8215 -x8217 -x8219 -x8221 -x8223 -x8225 -x8227 -x8229 -x8231 -x8233 -x8235 -x8237 -x8239 -x8241 -x8243 -x8245 -x8247 -x8249 -x8251 -x8253 -x8255 -x8257 -x8259 -x8261 -x8263 -x8265 -x8267 -x8269 x8271 -x8273 -x8275 -x8277 -x8279 -x8281 -x8283 -x8285 -x8287 -x8289 -x8291 -x8293 -x8295 -x8297 -x8299 -x8301 -x8303 -x8305 -x8307 -x8309 -x8311 -x8313 -x8315 -x8317 -x8319 -x8321 -x8323 -x8325 -x8327 -x8329 -x8331 -x8333 -x8335 -x8337 -x8339 -x8341 -x8343 -x8345 -x8347 -x8349 -x8351 -x8353 -x8355 -x8357 -x8359 -x8361 -x8363 -x8365 -x8367 -x8369 -x8371 -x8373 -x8375 -x8377 -x8379 -x8381 -x8383 -x8385 -x8387 -x8389 -x8391 -x8393 -x8395 -x8397 -x8399 -x8401 -x8403 -x8405 -x8407 -x8409 -x8411 -x8413 -x8415 -x8417 -x8419 -x8421 -x8423 -x8425 -x8427 -x8429 -x8431 -x8433 -x8435 -x8437 -x8439 -x8441 -x8443 -x8445 -x8447 -x8449 -x8451 -x8453 -x8455 -x8457 -x8458 -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472 -x8474 -x8476 -x8478 -x8480 -x8482 -x8484 -x8486 -x8488 -x8490 -x8492 -x8494 -x8496 -x8498 -x8500 -x8502 -x8504 -x8506 -x8508 -x8510 -x8512 -x8514 -x8516 -x8518 -x8520 -x8522 -x8524 -x8526 -x8528 -x8530 -x8532 -x8534 -x8536 -x8538 -x8540 -x8542 -x8544 -x8546 -x8548 -x8550 -x8552 -x8554 -x8556 -x8558 -x8560 -x8562 -x8564 -x8566 -x8568 -x8570 -x8572 -x8574 -x8576 -x8578 -x8580 -x8582 -x8584 -x8586 -x8588 -x8590 -x8592 -x8594 -x8596 -x8598 -x8600 -x8602 -x8604 -x8606 -x8608 -x8610 -x8612 -x8614 -x8616 -x8618 -x8620 -x8622 -x8624 -x8626 -x8628 -x8630 -x8632 -x8634 -x8636 -x8638 -x8640 -x8642 -x8644 -x8646 -x8648 -x8650 -x8652 -x8654 -x8656 -x8658 -x8660 -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 -x8676 -x8678 -x8680 -x8682 -x8684 -x8686 -x8688 -x8690 -x8692 -x8694 -x8696 -x8698 -x8700 -x8702 -x8704 -x8706 -x8708 -x8710 -x8712 -x8714 -x8716 -x8718 -x8720 -x8722 -x8724 -x8726 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 -x8744 -x8746 -x8748 -x8750 -x8752 -x8754 -x8756 -x8758 -x8760 -x8762 -x8764 -x8765 -x8767 -x8769 -x8771 -x8773 -x8775 -x8777 -x8779 -x8781 -x8783 -x8785 -x8787 -x8789 -x8791 -x8793 -x8795 -x8797 -x8799 -x8801 -x8803 -x8805 -x8807 -x8809 -x8811 -x8813 -x8815 -x8817 -x8819 -x8821 -x8823 -x8825 -x8827 -x8829 -x8831 -x8833 -x8835 -x8837 -x8839 -x8841 -x8843 -x8845 -x8847 -x8849 -x8851 -x8853 -x8855 -x8857 -x8859 -x8861 -x8863 -x8865 -x8867 -x8869 -x8871 -x8873 -x8875 -x8877 -x8879 -x8881 -x8883 -x8885 -x8887 -x8889 -x8891 -x8893 -x8895 -x8897 -x8899 -x8901 -x8903 -x8905 -x8907 -x8909 -x8911 -x8913 -x8915 -x8917 -x8919 -x8921 -x8923 -x8925 -x8927 -x8929 -x8931 -x8933 -x8935 -x8937 -x8939 -x8941 -x8943 -x8945 -x8947 -x8949 -x8951 -x8953 -x8955 -x8957 -x8959 -x8961 -x8963 -x8965 -x8967 -x8969 -x8971 -x8973 -x8975 -x8977 -x8979 -x8981 -x8983 -x8985 -x8987 -x8989 -x8991 -x8993 -x8995 -x8997 -x8999 -x9001 -x9003 -x9005 -x9006 -x9008 -x9010 -x9012 -x9014 -x9016 -x9018 -x9020 -x9022 -x9024 -x9026 -x9028 -x9029 -x9031 -x9033 -x9035 -x9037 -x9039 -x9041 -x9043 -x9045 -x9047 -x9049 -x9051 -x9053 -x9055 -x9057 -x9059 -x9061 -x9063 -x9065 -x9067 -x9069 -x9071 -x9073 -x9075 -x9077 -x9079 -x9081 -x9083 -x9085 -x9087 -x9089 -x9091 -x9093 -x9095 -x9097 -x9099 -x9101 -x9103 -x9105 -x9107 -x9109 -x9111 -x9113 -x9115 -x9117 -x9119 -x9121 -x9123 -x9125 -x9127 -x9129 -x9131 -x9133 -x9135 -x9137 -x9139 -x9141 -x9143 -x9145 -x9147 -x9149 -x9151 -x9153 -x9155 -x9157 -x9159 -x9161 -x9163 -x9165 -x9167 -x9169 -x9171 -x9173 -x9175 -x9177 -x9179 -x9181 -x9183 -x9185 -x9187 -x9189 -x9191 -x9193 -x9195 -x9197 -x9199 -x9201 -x9203 -x9205 -x9207 -x9209 -x9211 -x9213 -x9215 -x9217 -x9219 -x9221 -x9223 -x9225 -x9227 -x9229 -x9231 -x9233 -x9235 -x9237 -x9239 -x9241 -x9243 -x9245 -x9247 -x9249 -x9251 -x9253 -x9255 -x9257 -x9259 -x9261 -x9263 -x9265 -x9267 -x9269 -x9271 -x9273 -x9275 -x9277 -x9279 -x9281 -x9283 -x9285 -x9287 -x9289 -x9291 -x9293 -x9295 -x9297 -x9299 -x9301 -x9303 -x9305 -x9307 -x9309 -x9311 -x9313 -x9315 -x9317 -x9319 -x9321 -x9323 -x9325 -x9327 -x9329 -x9331 -x9333 -x9335 -x9337 -x9339 -x9341 -x9343 -x9345 -x9347 -x9349 -x9351 -x9353 -x9355 -x9357 -x9359 -x9361 -x9363 -x9365 -x9367 -x9369 -x9371 -x9373 -x9375 -x9377 -x9379 -x9381 -x9383 -x9385 -x9387 -x9389 -x9391 -x9393 -x9395 -x9397 -x9399 -x9401 -x9403 -x9405 -x9407 -x9409 -x9411 -x9413 -x9415 -x9417 -x9419 -x9421 -x9423 -x9425 -x9427 -x9429 -x9431 -x9433 -x9435 -x9437 -x9439 -x9441 -x9443 -x9445 -x9447 -x9449 -x9451 -x9453 -x9455 -x9457 -x9459 -x9461 -x9463 -x9465 -x9467 -x9469 -x9471 -x9473 -x9475 -x9477 -x9479 -x9481 -x9483 -x9485 -x9487 -x9489 -x9491 -x9493 -x9495 -x9497 -x9499 -x9501 -x9503 -x9505 -x9507 -x9509 -x9511 -x9512 -x9514 -x9516 -x9518 -x9520 -x9522 -x9524 -x9526 -x9528 -x9530 -x9532 -x9534 -x9536 -x9538 -x9540 -x9542 -x9544 -x9546 -x9548 -x9550 -x9552 -x9554 -x9556 -x9558 -x9560 -x9562 -x9564 -x9566 -x9568 -x9570 -x9572 -x9574 -x9576 -x9578 -x9580 -x9582 -x9584 -x9585 -x9587 -x9589 -x9591 -x9593 -x9595 -x9597 -x9599 -x9601 -x9603 -x9605 -x9607 -x9609 -x9611 -x9613 -x9615 -x9617 -x9619 -x9621 -x9623 -x9625 -x9627 -x9629 -x9631 -x9633 -x9635 -x9637 -x9639 -x9641 -x9643 -x9645 -x9647 -x9649 -x9651 -x9653 -x9655 -x9657 -x9659 -x9661 -x9663 -x9665 -x9667 -x9669 -x9671 -x9673 -x9675 -x9677 -x9679 -x9681 -x9683 -x9685 -x9687 -x9689 -x9691 -x9693 -x9695 -x9697 -x9699 -x9701 -x9703 -x9705 -x9707 -x9709 -x9711 -x9713 -x9715 -x9717 -x9719 -x9721 -x9723 -x9725 -x9727 -x9729 -x9731 -x9733 -x9735 -x9736 -x9738 -x9740 -x9742 -x9744 -x9746 -x9748 -x9750 -x9752 -x9754 -x9756 -x9758 -x9760 -x9762 -x9764 -x9766 -x9768 -x9770 -x9772 -x9774 -x9776 -x9778 -x9780 -x9782 -x9784 -x9786 -x9788 -x9790 -x9792 -x9794 -x9796 -x9798 -x9800 -x9802 -x9804 -x9806 -x9808 -x9810 -x9812 -x9814 -x9816 -x9818 -x9820 -x9822 -x9824 -x9826 -x9828 -x9830 -x9832 -x9834 -x9836 -x9838 -x9839 -x9841 -x9843 -x9845 -x9847 -x9849 -x9851 -x9853 -x9855 -x9857 -x9859 -x9861 -x9863 -x9865 -x9867 -x9869 -x9871 -x9873 -x9875 -x9877 -x9879 -x9881 -x9883 -x9885 -x9887 -x9889 -x9891 -x9893 -x9895 -x9897 -x9899 -x9901 -x9903 -x9905 -x9907 -x9909 -x9911 -x9913 -x9915 -x9917 -x9919 -x9921 -x9923 -x9925 -x9927 -x9929 -x9931 -x9933 -x9935 -x9937 -x9939 -x9941 -x9943 -x9945 -x9947 -x9949 -x9951 -x9953 -x9955 -x9957 -x9959 -x9961 -x9963 -x9965 -x9967 -x9969 -x9971 -x9973 -x9975 -x9977 -x9979 -x9981 -x9983 -x9985 -x9987 -x9989 -x9991 -x9993 -x9995 -x9997 -x9999 -x10001 -x10003 -x10005 -x10007 -x10009 -x10011 -x10013 -x10015 -x10017 -x10019 -x10021 -x10023 -x10025 -x10027 -x10029 -x10031 -x10033 -x10035 -x10037 -x10039 -x10041 -x10043 -x10045 -x10047 -x10049 -x10051 -x10053 -x10055 -x10057 -x10059 -x10061 -x10063 -x10065 -x10067 -x10069 -x10071 -x10073 -x10075 -x10077 -x10079 -x10081 -x10083 -x10085 -x10087 -x10089 -x10091 -x10093 -x10095 -x10097 -x10099 -x10101 -x10103 -x10105 -x10107 -x10109 -x10111 -x10113 -x10115 -x10117 -x10119 -x10121 -x10123 -x10125 -x10127 -x10129 -x10131 -x10133 -x10135 -x10137 -x10139 -x10141 -x10143 -x10145 -x10147 -x10149 -x10151 -x10153 -x10155 -x10157 -x10159 -x10161 -x10163 -x10165 -x10167 -x10169 -x10171 -x10173 -x10175 -x10177 -x10179 -x10181 -x10183 -x10185 -x10187 -x10189 -x10191 -x10193 -x10195 -x10197 -x10199 -x10201 -x10203 -x10205 -x10207 -x10209 -x10211 -x10213 -x10215 -x10217 -x10219 -x10221 -x10223 -x10224 -x10226 -x10228 -x10230 -x10232 -x10234 -x10236 -x10238 -x10240 -x10242 -x10244 -x10246 -x10248 -x10250 -x10252 -x10254 -x10256 -x10258 -x10260 -x10262 -x10264 -x10266 -x10268 -x10270 -x10272 -x10274 -x10276 -x10278 -x10280 -x10282 -x10284 -x10286 -x10288 -x10290 -x10292 -x10294 -x10296 -x10298 -x10300 -x10302 -x10304 -x10306 -x10308 -x10310 -x10312 -x10314 -x10316 -x10318 -x10320 -x10322 -x10324 -x10326 -x10328 -x10330 -x10332 -x10334 -x10336 -x10338 -x10340 -x10342 -x10344 -x10346 -x10348 -x10350 -x10352 -x10354 -x10356 -x10358 -x10360 -x10362 -x10364 -x10366 -x10368 -x10370 -x10372 -x10374 -x10376 -x10378 -x10380 -x10382 -x10384 -x10386 -x10388 -x10390 -x10392 -x10394 -x10396 -x10398 -x10400 -x10402 -x10404 -x10406 -x10408 -x10410 -x10412 -x10414 -x10416 -x10418 -x10420 -x10422 -x10424 -x10426 -x10428 -x10430 -x10432 -x10434 -x10436 -x10438 -x10440 -x10442 -x10444 -x10446 -x10448 -x10450 -x10452 -x10454 -x10456 -x10458 -x10460 -x10462 -x10464 -x10466 -x10468 -x10470 -x10472 -x10474 -x10476 -x10478 -x10480 -x10482 -x10484 -x10486 -x10488 -x10490 -x10492 -x10494 -x10496 -x10498 -x10500 -x10502 -x10504 -x10506 -x10508 -x10510 -x10512 -x10514 -x10516 -x10518 -x10520 -x10522 -x10524 -x10526 -x10528 -x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550 -x10552 -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582 -x10584 -x10586 -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616 -x10618 -x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x10632 -x10634 -x10636 -x10638 -x10640 -x10642 -x10644 -x10646 -x10648 -x10650 -x10652 -x10654 -x10656 -x10658 -x10660 -x10662 -x10664 -x10666 -x10668 -x10670 -x10672 -x10674 -x10676 -x10678 -x10680 -x10682 -x10684 -x10686 -x10688 -x10690 -x10692 -x10694 -x10696 -x10698 -x10700 -x10702 -x10704 -x10706 -x10708 -x10710 -x10712 -x10714 -x10716 -x10718 -x10720 -x10722 -x10724 -x10726 -x10728 -x10730 -x10732 -x10734 -x10736 -x10738 -x10740 -x10742 -x10744 -x10746 -x10748 -x10750 -x10752 -x10754 -x10756 -x10758 -x10760 -x10762 -x10764 -x10766 -x10768 -x10770 -x10772 -x10774 -x10776 -x10778 -x10780 -x10782 -x10784 -x10786 -x10788 -x10790 -x10792 -x10794 -x10796 -x10798 -x10800 -x10802 -x10804 -x10806 -x10808 -x10810 -x10812 -x10814 -x10816 -x10818 -x10820 -x10822 -x10824 -x10826 -x10828 -x10830 -x10832 -x10834 -x10836 -x10838 -x10840 -x10842 -x10844 -x10846 -x10848 -x10850 -x10852 -x10854 -x10856 -x10858 -x10860 -x10862 -x10864 -x10866 -x10868 -x10870 -x10872 -x10874 -x10876 -x10878 -x10880 -x10882 -x10884 -x10886 -x10888 -x10890 -x10892 -x10894 -x10896 -x10898 -x10900 -x10902 -x10904 -x10906 -x10908 -x10910 -x10912 -x10914 -x10916 -x10918 -x10920 -x10922 -x10924 -x10926 -x10928 -x10930 -x10932 -x10934 -x10936 -x10938 -x10940 -x10942 -x10944 -x10946 -x10948 -x10950 -x10952 -x10954 -x10956 -x10958 -x10960 -x10962 -x10964 -x10966 -x10968 -x10970 -x10972 -x10974 -x10976 -x10978 -x10980 -x10982 -x10984 -x10986 -x10988 -x10990 -x10992 -x10994 -x10996 -x10998 -x11000 -x11002 -x11004 -x11006 -x11008 -x11010 -x11012 -x11014 -x11016 -x11018 -x11020 -x11022 -x11024 -x11026 -x11028 -x11030 -x11032 -x11034 -x11036 -x11038 -x11040 -x11042 -x11044 -x11046 -x11048 -x11050 -x11052 -x11054 -x11056 -x11058 -x11060 -x11062 -x11064 -x11066 -x11068 -x11070 -x11072 -x11074 -x11076 -x11078 -x11080 -x11082 -x11084 -x11086 -x11088 -x11090 -x11092 -x11094 -x11096 -x11098 -x11100 -x11102 -x11104 -x11106 -x11108 -x11110 -x11112 -x11114 -x11116 -x11118 -x11120 -x11122 -x11124 -x11126 -x11128 -x11130 -x11132 -x11134 -x11136 -x11138 -x11140 -x11142 -x11144 -x11146 -x11148 -x11150 -x11152 -x11154 -x11156 -x11158 -x11160 -x11162 -x11164 -x11166 -x11168 -x11170 -x11172 -x11174 -x11176 -x11178 -x11180 -x11182 -x11184 -x11186 -x11188 -x11190 -x11192 -x11194 -x11196 -x11198 -x11200 -x11202 -x11204 -x11206 -x11208 -x11210 -x11212 -x11214 -x11216 -x11218 -x11220 -x11222 -x11224 -x11226 -x11228 -x11230 -x11232 -x11234 -x11236 -x11238 -x11240 -x11242 -x11244 -x11246 -x11248 -x11250 -x11252 -x11254 -x11256 -x11258 -x11260 -x11262 -x11264 -x11266 -x11268 -x11270 -x11272 -x11274 -x11276 -x11278 -x11280 -x11282 -x11284 -x11286 -x11288 -x11290 -x11292 -x11294 -x11296 -x11298 -x11300 -x11302 -x11304 -x11306 -x11308 -x11310 -x11312 -x11314 -x11316 -x11318 -x11320 -x11322 -x11324 -x11326 -x11328 -x11330 -x11332 -x11334 -x11336 -x11338 -x11340 -x11342 -x11344 -x11346 -x11348 -x11350 -x11352 -x11354 -x11355 -x11357 -x11359 -x11361 -x11363 -x11365 -x11367 x11369 -x11371 -x11373 -x11375 -x11377 -x11379 -x11381 -x11383 -x11385 -x11387 -x11389 -x11391 -x11393 -x11395 -x11397 -x11399 -x11401 -x11403 -x11405 -x11407 -x11409 -x11411 -x11413 -x11415 -x11417 -x11419 -x11421 -x11423 -x11425 -x11427 -x11429 -x11431 -x11433 -x11435 -x11437 -x11439 -x11441 -x11443 -x11445 -x11447 -x11449 -x11451 -x11453 -x11455 -x11457 -x11459 -x11461 -x11463 -x11465 -x11467 -x11469 -x11471 -x11473 -x11475 -x11477 -x11479 -x11480 -x11482 -x11484 -x11486 -x11488 -x11490 -x11492 -x11494 -x11496 -x11498 -x11500 -x11502 -x11504 -x11506 -x11508 -x11510 -x11512 -x11514 -x11516 -x11518 -x11520 -x11522 -x11524 -x11526 -x11528 -x11530 -x11532 -x11534 -x11536 -x11538 -x11540 -x11542 -x11544 -x11546 -x11548 -x11550 -x11552 -x11554 -x11556 -x11558 -x11560 -x11562 -x11564 -x11566 -x11568 -x11570 -x11572 -x11574 -x11576 -x11578 -x11580 -x11582 -x11584 -x11586 -x11588 -x11590 -x11592 -x11594 -x11596 -x11598 -x11600 -x11602 -x11604 -x11606 -x11608 -x11610 -x11612 -x11614 -x11616 -x11618 -x11620 -x11622 -x11624 -x11626 -x11628 -x11630 -x11632 -x11634 -x11636 -x11638 -x11640 -x11642 -x11644 -x11646 -x11648 -x11650 -x11652 -x11654 -x11656 -x11658 -x11660 -x11662 -x11664 -x11666 -x11668 -x11670 -x11672 -x11674 -x11676 -x11678 -x11680 -x11682 -x11684 -x11686 -x11688 -x11690 -x11692 -x11694 -x11696 -x11698 -x11700 -x11702 -x11704 -x11706 -x11708 -x11710 -x11712 -x11714 -x11715 -x11717 -x11719 -x11721 -x11723 -x11725 -x11727 -x11729 -x11731 -x11733 -x11735 -x11737 -x11739 -x11741 -x11743 -x11745 -x11747 -x11749 -x11751 -x11753 -x11755 -x11757 -x11759 -x11761 -x11763 -x11765 -x11767 -x11769 -x11771 -x11773 -x11775 -x11777 -x11779 -x11781 -x11783 -x11785 -x11787 -x11789 -x11791 -x11793 -x11795 -x11797 -x11799 -x11801 -x11803 -x11805 -x11807 -x11809 -x11811 -x11813 -x11815 -x11817 -x11819 -x11821 -x11823 -x11825 -x11827 -x11828 -x11830 -x11832 -x11834 -x11836 -x11838 -x11840 -x11842 -x11844 -x11846 -x11848 -x11850 -x11852 -x11854 -x11856 -x11858 -x11860 -x11862 -x11864 -x11866 -x11868 -x11870 -x11872 -x11874 -x11876 -x11878 -x11880 -x11882 -x11884 -x11886 -x11888 -x11890 -x11892 -x11894 -x11896 -x11898 -x11900 -x11902 -x11904 -x11906 -x11908 -x11910 -x11911 -x11913 -x11915 -x11917 -x11919 -x11921 -x11923 -x11925 -x11927 -x11929 -x11931 -x11933 -x11935 -x11937 -x11939 -x11941 -x11943 -x11945 -x11947 -x11949 -x11951 -x11952 -x11954 -x11956 -x11958 -x11960 -x11962 -x11964 -x11966 -x11968 -x11970 -x11972 -x11974 -x11976 -x11978 -x11980 -x11982 -x11984 -x11986 -x11988 -x11990 -x11992 -x11994 -x11996 -x11998 -x12000 -x12002 -x12004 -x12006 -x12008 -x12010 -x12012 -x12014 -x12016 -x12018 -x12020 -x12022 -x12024 -x12026 -x12028 -x12030 -x12032 -x12034 -x12036 -x12038 -x12040 -x12042 -x12044 -x12046 -x12048 -x12050 -x12052 -x12054 -x12056 -x12058 -x12060 -x12062 -x12064 -x12066 -x12067 -x12069 -x12071 -x12073 -x12075 -x12077 -x12079 -x12081 -x12083 -x12085 -x12087 -x12089 -x12091 -x12093 -x12095 -x12097 -x12099 -x12101 -x12103 -x12105 -x12107 -x12109 -x12111 -x12113 -x12115 -x12117 -x12119 -x12121 -x12123 -x12125 -x12127 -x12129 -x12131 -x12133 -x12135 -x12137 -x12139 -x12141 -x12143 -x12145 -x12147 -x12149 -x12151 -x12153 -x12155 -x12157 -x12159 -x12161 -x12163 -x12165 -x12167 -x12169 -x12171 -x12173 -x12175 -x12177 -x12179 -x12181 -x12183 -x12185 -x12187 -x12189 -x12191 -x12193 -x12195 -x12197 -x12199 -x12201 -x12203 -x12205 -x12207 -x12209 -x12211 -x12213 -x12215 -x12217 -x12219 -x12221 -x12223 -x12225 -x12227 -x12229 -x12231 -x12233 -x12235 -x12237 -x12239 -x12241 -x12243 -x12245 -x12247 -x12249 -x12251 -x12253 -x12255 x12257 -x12259 -x12261 -x12263 -x12265 -x12267 -x12269 -x12271 -x12273 -x12275 -x12277 -x12279 -x12281 -x12283 -x12285 -x12287 -x12289 -x12291 -x12293 -x12295 -x12297 -x12299 -x12301 -x12303 -x12305 -x12307 -x12309 -x12311 -x12313 -x12315 -x12317 -x12319 -x12321 -x12323 -x12325 -x12327 -x12329 -x12331 -x12333 -x12335 -x12337 -x12339 -x12341 -x12343 -x12345 -x12347 -x12349 -x12351 -x12353 -x12355 -x12357 -x12359 -x12361 -x12363 -x12365 -x12367 -x12369 -x12370 -x12372 -x12374 -x12376 -x12378 -x12380 -x12382 -x12384 -x12386 -x12388 -x12390 -x12392 -x12394 -x12396 -x12398 -x12400 -x12402 -x12404 -x12406 -x12408 -x12410 -x12412 -x12414 -x12416 -x12418 -x12420 -x12422 -x12424 -x12426 -x12428 -x12430 -x12432 -x12434 -x12436 -x12438 -x12440 -x12442 -x12444 -x12446 -x12448 -x12450 -x12452 -x12454 -x12455 -x12457 -x12459 -x12461 -x12463 -x12465 -x12467 -x12469 -x12471 -x12473 -x12475 -x12477 -x12479 -x12481 -x12483 -x12485 -x12487 -x12489 -x12491 -x12493 -x12495 -x12497 -x12499 -x12501 -x12503 -x12505 -x12507 -x12509 -x12511 -x12513 -x12515 -x12517 -x12519 -x12520 -x12522 -x12524 -x12526 -x12528 -x12530 -x12532 -x12534 -x12536 -x12538 -x12540 -x12542 -x12544 -x12546 -x12548 -x12550 -x12552 -x12553 -x12555 -x12557 -x12559 -x12561 -x12563 -x12565 -x12567 -x12569 -x12571 -x12573 -x12575 -x12577 -x12579 -x12581 -x12583 -x12585 -x12587 -x12589 -x12591 -x12593 -x12595 -x12597 -x12599 -x12601 -x12603 -x12605 -x12607 -x12609 -x12611 -x12613 -x12615 -x12617 -x12619 -x12621 -x12623 -x12625 -x12627 -x12629 -x12631 -x12633 -x12635 -x12637 -x12639 -x12641 -x12643 -x12645 -x12647 -x12649 -x12651 -x12653 -x12655 -x12657 -x12659 -x12661 -x12663 -x12665 -x12667 -x12669 -x12671 -x12673 -x12675 -x12677 -x12679 -x12681 -x12683 -x12685 -x12687 -x12689 -x12691 -x12693 -x12695 -x12697 -x12699 -x12701 -x12703 -x12705 -x12707 -x12709 -x12711 -x12713 -x12715 -x12717 -x12719 -x12721 -x12723 -x12725 -x12727 -x12729 -x12731 -x12733 -x12735 -x12737 -x12739 -x12741 -x12743 -x12745 -x12747 -x12749 -x12751 -x12753 -x12755 -x12757 -x12759 -x12761 -x12763 -x12765 -x12767 -x12769 -x12771 -x12773 -x12775 -x12777 -x12778 -x12780 -x12782 -x12784 -x12786 -x12788 -x12790 -x12792 -x12794 -x12796 -x12797 -x12799 -x12801 -x12803 -x12805 -x12807 -x12809 -x12811 -x12813 -x12815 -x12817 -x12819 -x12821 -x12823 -x12825 -x12827 -x12829 -x12831 -x12833 -x12835 -x12837 -x12839 -x12841 -x12843 -x12845 -x12847 -x12849 -x12851 -x12853 -x12855 -x12857 -x12859 -x12861 -x12863 -x12865 -x12867 -x12869 -x12871 -x12873 -x12875 -x12877 -x12879 -x12881 -x12883 -x12885 -x12887 -x12889 -x12891 -x12893 -x12895 -x12897 -x12899 -x12901 -x12903 -x12905 -x12907 -x12909 -x12911 -x12913 -x12915 -x12917 -x12919 -x12921 -x12923 -x12925 -x12927 -x12929 -x12931 -x12933 -x12935 -x12937 -x12939 -x12941 -x12943 -x12945 -x12947 -x12949 -x12951 -x12953 -x12955 -x12957 -x12959 -x12961 -x12963 -x12965 -x12967 -x12969 -x12971 -x12973 -x12975 -x12977 -x12979 -x12981 -x12983 -x12985 -x12987 -x12989 -x12991 -x12993 -x12995 -x12997 -x12999 -x13001 -x13003 -x13005 -x13007 -x13009 -x13011 -x13013 -x13015 -x13017 -x13019 -x13021 -x13023 -x13025 -x13027 -x13029 -x13031 -x13033 -x13035 -x13037 -x13039 -x13041 -x13043 -x13045 -x13047 -x13049 -x13051 -x13053 -x13055 -x13057 -x13059 -x13061 -x13063 -x13065 -x13067 -x13069 -x13071 -x13073 -x13075 -x13077 -x13079 -x13080 -x13082 -x13084 -x13086 -x13088 -x13090 -x13092 -x13094 -x13096 -x13098 x13100 -x13102 -x13104 -x13106 -x13108 -x13110 -x13112 -x13114 -x13116 -x13118 -x13120 -x13122 -x13124 -x13126 -x13128 -x13130 -x13132 -x13134 -x13136 -x13138 -x13140 -x13142 -x13144 -x13146 -x13148 -x13150 -x13152 -x13154 -x13156 -x13158 -x13160 -x13162 -x13164 -x13166 -x13168 -x13170 -x13172 -x13174 -x13176 -x13178 -x13180 -x13182 -x13184 -x13186 -x13188 -x13190 -x13192 -x13194 -x13196 -x13198 -x13200 -x13202 -x13204 -x13206 -x13208 -x13210 -x13212 -x13214 -x13216 -x13218 -x13220 -x13222 -x13224 -x13226 -x13228 -x13230 -x13232 -x13234 -x13236 -x13238 -x13240 -x13242 -x13244 -x13246 -x13248 -x13250 -x13252 -x13254 -x13256 -x13258 -x13260 -x13262 -x13264 -x13266 -x13268 -x13270 -x13272 -x13274 -x13276 -x13278 -x13280 -x13282 -x13284 -x13286 -x13288 -x13290 -x13292 -x13294 -x13296 -x13298 -x13300 -x13302 -x13304 -x13306 -x13308 -x13310 -x13312 -x13314 -x13316 -x13318 -x13320 -x13322 -x13324 -x13326 -x13328 -x13330 -x13332 -x13334 -x13336 -x13338 -x13340 -x13342 -x13344 -x13346 -x13348 -x13350 -x13352 -x13354 -x13356 -x13358 -x13360 -x13361 -x13363 -x13365 -x13367 -x13369 -x13371 -x13373 -x13375 -x13377 -x13379 -x13381 -x13383 -x13385 -x13387 -x13389 -x13391 -x13393 -x13395 -x13397 -x13399 -x13401 -x13403 -x13405 -x13407 -x13409 -x13411 -x13413 -x13415 -x13417 -x13419 -x13421 -x13423 -x13425 -x13427 -x13429 -x13431 -x13433 -x13435 -x13437 -x13439 -x13441 -x13443 -x13445 -x13447 -x13449 -x13451 -x13453 -x13455 -x13457 -x13459 -x13461 -x13463 -x13465 -x13467 -x13469 -x13471 -x13473 -x13475 -x13477 -x13479 -x13481 -x13483 -x13485 -x13487 -x13489 -x13491 -x13493 -x13495 -x13497 -x13499 -x13501 -x13503 -x13505 -x13507 -x13509 -x13511 -x13513 -x13515 -x13517 -x13519 -x13521 -x13523 -x13525 -x13527 -x13529 -x13531 -x13533 -x13535 -x13537 -x13539 -x13541 -x13543 -x13545 -x13547 -x13549 -x13551 -x13553 -x13555 -x13557 -x13559 -x13561 -x13563 -x13564 -x13566 -x13568 -x13570 -x13572 -x13574 -x13576 -x13577 -x13579 -x13581 -x13583 -x13585 -x13587 -x13589 -x13591 -x13593 -x13595 -x13597 -x13599 -x13601 -x13603 -x13605 -x13607 -x13609 -x13611 -x13613 -x13615 -x13617 -x13619 -x13621 -x13623 -x13625 -x13627 -x13629 -x13631 -x13633 -x13635 -x13637 -x13639 -x13641 -x13643 -x13645 -x13647 -x13649 -x13651 -x13653 -x13655 -x13657 -x13659 -x13660 -x13662 -x13664 -x13666 -x13668 -x13670 -x13672 -x13674 -x13676 -x13678 -x13680 -x13682 -x13684 -x13686 x13688 -x13690 -x13692 -x13694 -x13696 -x13698 x13700 -x13702 -x13704 -x13706 -x13708 -x13710 -x13712 -x13714 -x13716 -x13718 -x13720 -x13722 -x13724 -x13726 -x13728 -x13730 -x13732 -x13734 -x13736 -x13738 -x13740 -x13742 -x13744 -x13746 -x13748 -x13750 -x13752 -x13754 -x13756 -x13758 -x13760 -x13762 -x13764 -x13766 -x13768 -x13770 -x13772 -x13774 -x13776 -x13778 -x13780 -x13782 -x13784 -x13786 -x13788 -x13790 -x13792 -x13793 -x13795 -x13797 -x13799 -x13801 -x13803 -x13805 -x13807 -x13809 -x13811 -x13813 -x13815 -x13817 -x13819 -x13821 -x13823 -x13825 -x13827 -x13829 -x13831 -x13833 -x13835 -x13837 -x13839 -x13841 -x13843 -x13845 -x13847 -x13849 -x13851 -x13853 -x13855 -x13857 -x13859 -x13860 -x13862 -x13864 -x13866 -x13868 -x13870 -x13872 -x13874 -x13876 -x13878 -x13880 -x13882 -x13884 -x13886 -x13888 -x13890 -x13892 -x13894 x13896 -x13898 -x13900 -x13902 -x13903 -x13905 -x13907 -x13909 -x13911 -x13913 -x13915 -x13917 -x13919 -x13921 -x13923 -x13925 -x13927 -x13929 -x13931 -x13933 -x13935 -x13937 -x13939 x13941 -x13943 -x13945 -x13947 -x13949 -x13951 -x13953 -x13955 -x13957 -x13959 -x13961 -x13963 -x13965 -x13967 -x13969 -x13971 -x13973 -x13975 -x13977 -x13979 -x13981 -x13983 -x13985 -x13987 -x13989 -x13991 -x13993 -x13995 -x13997 -x13999 -x14001 -x14003 -x14005 -x14007 -x14009 -x14011 -x14013 -x14015 -x14017 -x14019 -x14021 -x14023 -x14025 -x14027 -x14029 -x14031 -x14033 -x14035 -x14037 -x14039 -x14041 -x14043 -x14045 -x14047 -x14049 -x14051 -x14053 -x14055 -x14057 -x14059 -x14061 -x14063 -x14065 -x14067 -x14069 -x14071 -x14073 -x14075 -x14077 -x14079 -x14081 -x14083 -x14085 -x14087 -x14089 -x14091 -x14093 -x14095 -x14097 -x14099 -x14101 -x14103 -x14105 -x14107 -x14109 -x14111 -x14113 -x14115 -x14117 -x14119 -x14121 -x14123 -x14125 -x14127 -x14129 -x14131 -x14133 -x14135 -x14137 -x14139 -x14141 -x14143 -x14145 -x14147 -x14149 -x14151 -x14153 -x14155 -x14157 -x14159 -x14161 -x14163 -x14165 -x14167 -x14169 -x14171 -x14173 -x14175 -x14177 -x14179 -x14181 -x14183 -x14185 -x14187 -x14189 -x14191 -x14193 -x14195 -x14197 -x14199 -x14201 -x14203 -x14205 -x14207 -x14209 -x14211 -x14213 -x14215 -x14217 -x14219 -x14221 -x14223 -x14225 -x14227 -x14229 -x14231 -x14233 -x14235 -x14237 -x14239 -x14241 -x14243 -x14245 -x14247 -x14249 -x14251 -x14253 -x14255 -x14257 -x14259 -x14261 -x14263 -x14265 -x14267 -x14269 -x14271 -x14273 -x14275 -x14277 -x14279 -x14281 -x14283 -x14285 -x14287 -x14289 -x14291 -x14293 -x14295 -x14297 -x14299 -x14301 -x14303 -x14305 -x14307 -x14309 -x14311 -x14313 -x14315 -x14317 -x14319 -x14321 -x14323 -x14325 -x14327 -x14329 -x14331 -x14333 -x14335 -x14337 -x14339 -x14341 -x14343 -x14345 -x14347 -x14349 -x14351 -x14353 -x14355 -x14357 -x14359 -x14361 -x14363 -x14365 -x14367 -x14369 -x14371 -x14373 -x14375 -x14377 -x14379 -x14381 -x14383 -x14385 -x14387 -x14389 -x14391 -x14393 -x14395 -x14397 -x14399 -x14401 -x14403 -x14405 -x14407 -x14409 -x14411 -x14413 -x14415 -x14417 -x14419 -x14421 -x14423 -x14425 -x14427 -x14429 -x14431 -x14433 -x14435 -x14437 -x14439 -x14441 -x14443 -x14445 -x14447 -x14449 -x14451 -x14453 -x14455 -x14457 -x14459 -x14461 -x14463 -x14465 -x14467 -x14469 -x14471 -x14473 -x14475 -x14477 -x14479 -x14481 -x14483 -x14485 -x14487 -x14489 -x14491 -x14493 -x14495 -x14497 -x14499 -x14501 -x14503 -x14505 -x14507 -x14509 -x14511 -x14513 -x14515 -x14517 -x14519 -x14521 -x14523 -x14525 -x14527 -x14529 -x14531 -x14533 -x14535 -x14537 -x14539 -x14541 -x14543 -x14545 -x14547 -x14549 -x14551 -x14553 -x14555 -x14557 -x14559 -x14561 -x14563 -x14565 -x14567 -x14569 -x14571 -x14573 -x14575 -x14577 -x14579 -x14581 -x14583 -x14585 -x14587 -x14589 -x14591 -x14592 -x14594 -x14596 -x14598 -x14600 -x14602 -x14604 -x14606 -x14608 -x14610 -x14612 -x14614 -x14616 -x14618 -x14620 -x14622 -x14624 -x14626 -x14627 -x14629 -x14631 -x14633 -x14635 -x14637 -x14639 -x14641 -x14643 -x14645 -x14647 -x14649 -x14651 -x14653 -x14655 -x14657 -x14659 -x14661 -x14663 -x14665 -x14667 -x14669 -x14671 -x14673 -x14675 -x14677 -x14679 -x14681 -x14683 -x14685 -x14687 -x14689 -x14691 -x14693 -x14695 -x14697 -x14699 -x14701 -x14703 -x14705 -x14707 -x14709 -x14711 -x14713 -x14715 -x14717 -x14719 -x14721 -x14723 -x14725 -x14727 -x14729 -x14731 -x14733 -x14735 -x14737 -x14739 -x14741 -x14743 -x14745 -x14747 -x14749 -x14751 -x14753 -x14755 -x14757 -x14759 -x14761 -x14763 -x14765 x14767 -x14769 -x14771 -x14773 -x14775 -x14777 -x14779 x14781 -x14783 -x14785 -x14787 -x14789 -x14791 x14793 -x14795 -x14797 -x14799 -x14801 -x14803 -x14805 -x14807 -x14809 -x14811 -x14813 -x14815 -x14817 -x14819 -x14821 -x14823 -x14825 -x14827 -x14829 -x14831 -x14833 -x14835 -x14837 -x14839 -x14841 -x14843 -x14845 -x14847 -x14849 -x14851 -x14853 -x14855 -x14857 -x14859 -x14861 -x14863 -x14865 -x14867 -x14869 -x14871 -x14873 -x14875 -x14877 -x14879 -x14881 -x14883 -x14885 -x14887 -x14889 -x14891 -x14893 -x14895 -x14897 -x14899 -x14901 -x14903 -x14905 -x14907 -x14909 -x14911 -x14913 -x14915 -x14917 -x14919 -x14921 -x14923 -x14925 -x14927 -x14929 -x14931 -x14933 -x14935 -x14937 -x14939 -x14941 -x14943 -x14945 -x14947 -x14949 -x14951 -x14953 -x14955 -x14957 -x14959 -x14961 -x14963 -x14965 -x14967 -x14969 -x14971 -x14973 -x14974 -x14976 -x14978 -x14980 -x14982 -x14984 -x14986 -x14988 -x14990 -x14992 -x14994 -x14996 -x14998 -x15000 -x15002 -x15004 -x15006 -x15008 -x15010 -x15012 -x15014 -x15016 -x15018 -x15020 -x15022 -x15024 -x15026 -x15028 -x15030 -x15032 -x15034 x15036 -x15038 -x15040 -x15042 -x15044 -x15046 -x15048 -x15050 -x15052 x15054 -x15056 -x15058 -x15060 x15062 -x15063 -x15065 -x15067 -x15069 -x15071 -x15073 -x15075 -x15076 -x15078 -x15080 -x15082 -x15084 -x15086 -x15088 -x15090 -x15092 -x15094 -x15096 -x15098 -x15100 -x15102 -x15104 -x15106 -x15108 -x15110 -x15112 -x15114 -x15116 -x15118 -x15120 -x15122 -x15124 -x15126 -x15128 -x15130 -x15132 -x15134 -x15136 -x15138 -x15140 -x15142 -x15144 -x15146 -x15148 -x15150 -x15152 -x15154 -x15156 -x15158 -x15160 x15162 -x15164 -x15166 -x15168 -x15170 -x15172 -x15174 -x15176 -x15178 -x15180 -x15182 -x15184 -x15186 -x15188 -x15190 -x15192 x15194 -x15196 -x15198 -x15200 -x15202 -x15204 -x15206 -x15208 -x15210 -x15212 x15213 -x15215 -x15217 -x15219 -x15221 -x15223 -x15225 -x15227 -x15229 -x15231 -x15233 -x15235 -x15237 -x15239 -x15241 -x15243 -x15245 -x15247 -x15249 x15251 -x15253 -x15255 -x15257 -x15258 -x15260 -x15262 -x15264 -x15266 -x15268 -x15270 -x15272 -x15274 -x15276 -x15278 -x15280 x15282 x15284 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x1 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x2 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x3 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 x1285 -x1287 -x1289 -x1291 -x1293 -x4 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x5 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x6 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x7 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x8 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x9 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x10 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x11 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x12 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x13 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x14 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x15 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x16 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x17 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x18 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x19 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2919 -x2921 -x20 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x21 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x22 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x23 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x24 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x25 -x3361 -x3363 -x3365 -x3367 -x3369 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x26 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x27 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x28 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x29 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x30 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x31 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x32 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x33 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x34 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x35 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x36 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x37 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x38 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x39 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x40 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x41 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x42 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x43 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x44 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x45 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x46 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x47 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x48 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x49 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x50 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x51 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x52 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x53 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x54 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x55 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x56 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x57 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x58 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x59 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x60 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x61 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x62 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x63 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x64 -x5195 -x5197 -x5199 -x5202 -x5204 -x5206 -x65 -x5208 -x5210 -x5212 -x66 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x67 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x68 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x69 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x70 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5702 -x5704 -x5706 -x5708 -x5710 -x71 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x72 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x73 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x74 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x75 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x76 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x77 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x78 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x79 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x80 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x81 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x82 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x83 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x84 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x85 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x86 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x87 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x88 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x89 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x90 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x91 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x92 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x93 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x94 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x95 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x96 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 x97 -x7092 -x7094 -x7096 -x7098 x7100 -x7102 -x7104 -x98 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x99 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x100 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x101 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x7200 -x7203 -x7205 -x7207 -x102 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 x7229 -x7231 -x7233 -x7235 -x103 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x104 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x105 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x106 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x107 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x108 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x109 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x110 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x111 -x7563 -x7565 -x7567 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591 -x112 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x113 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x114 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x115 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x116 -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x117 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x118 -x7789 -x7791 -x7793 -x7795 -x7797 -x7799 -x119 -x7801 -x7803 -x7805 -x7807 -x7809 -x7811 -x7813 -x7815 -x7817 -x7819 -x7821 -x7824 -x7826 -x7828 -x120 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x121 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x122 -x7858 -x7860 -x7862 -x123 -x7864 -x7866 -x7868 -x7870 -x7872 -x7874 -x7876 -x7878 -x7880 -x7882 -x7884 -x7886 -x7888 -x7890 -x7892 -x7894 -x7896 -x7898 -x7900 -x7902 -x7904 -x7906 -x7908 -x7910 -x7912 -x7914 -x7916 -x7918 -x7920 -x7922 -x7924 -x124 -x7926 -x7928 -x7930 -x7932 -x7934 -x7936 -x7938 -x7940 -x7942 -x7944 -x7946 -x7948 -x7950 -x7952 -x7954 -x125 -x7956 -x7958 -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x7974 -x7976 -x7978 -x7980 -x7982 -x7984 -x126 -x7986 -x7988 -x7990 -x7992 -x7994 -x7996 -x7998 -x127 -x8000 -x8002 -x8004 -x8006 -x8008 -x8010 -x8012 -x8014 -x8016 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x128 -x8030 -x8032 -x8034 -x8036 -x8038 -x8040 -x8042 -x8044 -x8046 -x8048 -x8050 -x8052 -x8054 -x8056 -x8058 -x129 -x8060 -x8062 -x8064 -x8066 -x8068 -x8070 -x8072 -x130 -x8074 -x8076 -x8078 -x8080 -x8082 -x8084 -x8086 -x131 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098 -x8100 -x132 -x8102 -x8104 -x8106 -x133 -x8108 -x8110 -x8112 -x8114 -x8116 -x8118 -x8120 -x8122 -x8124 -x8126 -x8128 -x8130 -x8132 -x8134 -x8136 -x134 -x8138 -x8140 -x8142 -x8144 -x8146 -x8148 -x8150 -x135 -x8152 -x8154 -x8156 -x8158 -x8160 -x8162 -x8164 -x8166 -x8168 -x8170 -x8172 -x8174 -x8176 -x8178 -x8180 -x136 -x8182 -x8184 -x8186 -x8188 -x8190 -x8192 -x8194 -x137 -x8196 -x8198 -x8200 -x8202 -x8204 -x8206 -x8208 -x138 -x8210 -x8212 -x8214 -x139 -x8216 -x8218 -x8220 -x8222 -x8224 -x8226 -x8228 -x140 -x8230 -x8232 -x8234 -x8236 -x8238 -x8240 -x8242 -x141 -x8244 -x8246 -x8248 -x142 -x8250 -x8252 -x8254 -x8256 -x8258 -x8260 -x8262 -x143 -x8264 -x8266 -x8268 x144 x8270 -x8272 -x8274 -x145 -x8276 -x146 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x8292 -x8294 -x8296 -x8298 -x8300 -x8302 -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x8322 -x8324 -x8326 -x8328 -x8330 -x8332 -x8334 -x8336 -x8338 -x147 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x8352 -x8354 -x8356 -x8358 -x8360 -x8362 -x8364 -x8366 -x8368 -x8370 -x8372 -x8374 -x8376 -x8378 -x8380 -x8382 -x8384 -x8386 -x8388 -x8390 -x8392 -x8394 -x8396 -x8398 -x8400 -x8402 -x8404 -x8406 -x8408 -x8410 -x8412 -x8414 -x8416 -x8418 -x8420 -x8422 -x8424 -x8426 -x8428 -x8430 -x8432 -x8434 -x8436 -x8438 -x8440 -x8442 -x8444 -x8446 -x8448 -x8450 -x8452 -x8454 -x8456 -x8459 -x8461 -x8463 -x148 -x8465 -x8467 -x8469 -x8471 -x8473 -x8475 -x8477 -x8479 -x8481 -x8483 -x8485 -x8487 -x8489 -x8491 -x8493 -x8495 -x8497 -x8499 -x8501 -x8503 -x8505 -x8507 -x8509 -x8511 -x8513 -x8515 -x8517 -x8519 -x8521 -x8523 -x8525 -x8527 -x8529 -x8531 -x8533 -x8535 -x8537 -x8539 -x8541 -x8543 -x8545 -x8547 -x8549 -x8551 -x8553 -x8555 -x8557 -x8559 -x8561 -x8563 -x8565 -x8567 -x8569 -x8571 -x8573 -x8575 -x8577 -x8579 -x8581 -x8583 -x8585 -x8587 -x8589 -x149 -x8591 -x8593 -x8595 -x8597 -x8599 -x8601 -x8603 -x8605 -x8607 -x8609 -x8611 -x8613 -x8615 -x8617 -x8619 -x8621 -x8623 -x8625 -x8627 -x8629 -x8631 -x8633 -x8635 -x8637 -x8639 -x8641 -x8643 -x8645 -x8647 -x8649 -x8651 -x150 -x8653 -x8655 -x8657 -x8659 -x8661 -x8663 -x8665 -x8667 -x8669 -x8671 -x8673 -x8675 -x8677 -x8679 -x8681 -x8683 -x8685 -x8687 -x8689 -x8691 -x8693 -x8695 -x8697 -x8699 -x8701 -x8703 -x8705 -x8707 -x8709 -x8711 -x8713 -x151 -x8715 -x8717 -x8719 -x8721 -x8723 -x8725 -x8727 -x8729 -x8731 -x8733 -x8735 -x8737 -x8739 -x8741 -x8743 -x8745 -x8747 -x8749 -x8751 -x8753 -x8755 -x8757 -x8759 -x8761 -x8763 -x8766 -x8768 -x8770 -x8772 -x8774 -x152 -x8776 -x8778 -x8780 -x8782 -x8784 -x8786 -x8788 -x8790 -x8792 -x8794 -x8796 -x8798 -x8800 -x8802 -x8804 -x153 -x8806 -x8808 -x8810 -x8812 -x8814 -x8816 -x8818 -x8820 -x8822 -x8824 -x8826 -x8828 -x8830 -x8832 -x8834 -x8836 -x8838 -x8840 -x8842 -x8844 -x8846 -x8848 -x8850 -x8852 -x8854 -x8856 -x8858 -x8860 -x8862 -x8864 -x8866 -x8868 -x8870 -x8872 -x8874 -x8876 -x8878 -x8880 -x8882 -x8884 -x8886 -x8888 -x8890 -x8892 -x8894 -x8896 -x8898 -x8900 -x8902 -x8904 -x8906 -x8908 -x8910 -x8912 -x8914 -x8916 -x8918 -x8920 -x8922 -x8924 -x8926 -x8928 -x8930 -x154 -x8932 -x8934 -x8936 -x8938 -x8940 -x8942 -x8944 -x8946 -x8948 -x8950 -x8952 -x8954 -x8956 -x8958 -x8960 -x8962 -x8964 -x8966 -x8968 -x8970 -x8972 -x8974 -x8976 -x8978 -x8980 -x8982 -x8984 -x8986 -x8988 -x8990 -x8992 -x155 -x8994 -x8996 -x8998 -x9000 -x9002 -x9004 -x9007 -x9009 -x9011 -x9013 -x9015 -x9017 -x9019 -x9021 -x9023 -x9025 -x9027 -x9030 -x9032 -x9034 -x9036 -x9038 -x9040 -x9042 -x9044 -x9046 -x9048 -x9050 -x9052 -x156 -x9054 -x9056 -x9058 -x9060 -x9062 -x9064 -x9066 -x9068 -x9070 -x9072 -x9074 -x9076 -x9078 -x9080 -x9082 -x157 -x9084 -x9086 -x9088 -x9090 -x9092 -x9094 -x9096 -x9098 -x9100 -x9102 -x9104 -x9106 -x9108 -x9110 -x9112 -x9114 -x9116 -x9118 -x9120 -x9122 -x9124 -x9126 -x9128 -x9130 -x9132 -x9134 -x9136 -x9138 -x9140 -x9142 -x9144 -x158 -x9146 -x9148 -x9150 -x9152 -x9154 -x9156 -x9158 -x9160 -x9162 -x9164 -x9166 -x9168 -x9170 -x9172 -x9174 -x9176 -x9178 -x9180 -x9182 -x9184 -x9186 -x9188 -x9190 -x9192 -x9194 -x9196 -x9198 -x9200 -x9202 -x9204 -x9206 -x159 -x9208 -x9210 -x9212 -x9214 -x9216 -x9218 -x9220 -x9222 -x9224 -x9226 -x9228 -x9230 -x9232 -x9234 -x9236 -x160 -x9238 -x9240 -x9242 -x9244 -x9246 -x9248 -x9250 -x9252 -x9254 -x9256 -x9258 -x9260 -x9262 -x9264 -x9266 -x9268 -x9270 -x9272 -x9274 -x9276 -x9278 -x9280 -x9282 -x9284 -x9286 -x9288 -x9290 -x9292 -x9294 -x9296 -x161 -x9298 -x9300 -x9302 -x9304 -x9306 -x9308 -x9310 -x9312 -x9314 -x9316 -x9318 -x9320 -x9322 -x9324 -x9326 -x162 -x9328 -x9330 -x9332 -x9334 -x9336 -x9338 -x9340 -x9342 -x9344 -x9346 -x9348 -x9350 -x9352 -x9354 -x9356 -x163 -x9358 -x9360 -x9362 -x9364 -x9366 -x9368 -x9370 -x164 -x9372 -x9374 -x9376 -x9378 -x9380 -x9382 -x9384 -x9386 -x9388 -x9390 -x9392 -x9394 -x9396 -x9398 -x9400 -x9402 -x9404 -x9406 -x9408 -x9410 -x9412 -x9414 -x9416 -x9418 -x9420 -x9422 -x9424 -x9426 -x9428 -x9430 -x9432 -x9434 -x9436 -x9438 -x9440 -x9442 -x9444 -x9446 -x9448 -x9450 -x9452 -x9454 -x9456 -x9458 -x9460 -x9462 -x9464 -x9466 -x9468 -x9470 -x9472 -x9474 -x9476 -x9478 -x9480 -x9482 -x9484 -x9486 -x9488 -x9490 -x9492 -x9494 -x9496 -x165 -x9498 -x9500 -x9502 -x9504 -x9506 -x9508 -x9510 -x9513 -x9515 -x9517 -x9519 -x9521 -x9523 -x9525 -x9527 -x9529 -x9531 -x9533 -x9535 -x9537 -x9539 -x9541 -x9543 -x9545 -x9547 -x9549 -x9551 -x9553 -x9555 -x9557 -x166 -x9559 -x9561 -x9563 -x9565 -x9567 -x9569 -x9571 -x9573 -x9575 -x9577 -x9579 -x9581 -x9583 -x9586 -x9588 -x9590 -x9592 -x9594 -x9596 -x9598 -x9600 -x9602 -x9604 -x9606 -x9608 -x9610 -x9612 -x9614 -x9616 -x9618 -x167 -x9620 -x9622 -x9624 -x9626 -x9628 -x9630 -x9632 -x9634 -x9636 -x9638 -x9640 -x9642 -x9644 -x9646 -x9648 -x168 -x9650 -x9652 -x9654 -x9656 -x9658 -x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672 -x9674 -x9676 -x9678 -x9680 -x9682 -x9684 -x9686 -x9688 -x9690 -x9692 -x9694 -x9696 -x9698 -x9700 -x9702 -x9704 -x9706 -x9708 -x9710 -x169 -x9712 -x9714 -x9716 -x9718 -x9720 -x9722 -x9724 -x9726 -x9728 -x9730 -x9732 -x9734 -x9737 -x9739 -x9741 -x9743 -x9745 -x9747 -x9749 -x9751 -x9753 -x9755 -x9757 -x9759 -x9761 -x9763 -x9765 -x9767 -x9769 -x9771 -x170 -x9773 -x9775 -x9777 -x9779 -x9781 -x9783 -x9785 -x9787 -x9789 -x9791 -x9793 -x9795 -x9797 -x9799 -x9801 -x171 -x9803 -x9805 -x9807 -x9809 -x9811 -x9813 -x9815 -x9817 -x9819 -x9821 -x9823 -x9825 -x9827 -x9829 -x9831 -x172 -x9833 -x9835 -x9837 -x9840 -x9842 -x9844 -x9846 -x9848 -x9850 -x9852 -x9854 -x9856 -x9858 -x9860 -x173 -x9862 -x9864 -x9866 -x9868 -x9870 -x9872 -x9874 -x174 -x9876 -x9878 -x9880 -x9882 -x9884 -x9886 -x9888 -x9890 -x9892 -x9894 -x9896 -x9898 -x9900 -x9902 -x9904 -x9906 -x9908 -x9910 -x9912 -x9914 -x9916 -x9918 -x9920 -x9922 -x9924 -x9926 -x9928 -x9930 -x9932 -x9934 -x9936 -x175 -x9938 -x9940 -x9942 -x9944 -x9946 -x9948 -x9950 -x9952 -x9954 -x9956 -x9958 -x9960 -x9962 -x9964 -x9966 -x176 -x9968 -x9970 -x9972 -x9974 -x9976 -x9978 -x9980 -x9982 -x9984 -x9986 -x9988 -x9990 -x9992 -x9994 -x9996 -x9998 -x10000 -x10002 -x10004 -x10006 -x10008 -x10010 -x10012 -x10014 -x10016 -x10018 -x10020 -x10022 -x10024 -x10026 -x10028 -x177 -x10030 -x10032 -x10034 -x10036 -x10038 -x10040 -x10042 -x10044 -x10046 -x10048 -x10050 -x10052 -x10054 -x10056 -x10058 -x178 -x10060 -x10062 -x10064 -x10066 -x10068 -x10070 -x10072 -x10074 -x10076 -x10078 -x10080 -x10082 -x10084 -x10086 -x10088 -x179 -x10090 -x10092 -x10094 -x10096 -x10098 -x10100 -x10102 -x180 -x10104 -x10106 -x10108 -x10110 -x10112 -x10114 -x10116 -x10118 -x10120 -x10122 -x10124 -x10126 -x10128 -x10130 -x10132 -x181 -x10134 -x10136 -x10138 -x10140 -x10142 -x10144 -x10146 -x10148 -x10150 -x10152 -x10154 -x10156 -x10158 -x10160 -x10162 -x182 -x10164 -x10166 -x10168 -x10170 -x10172 -x10174 -x10176 -x183 -x10178 -x10180 -x10182 -x10184 -x10186 -x10188 -x10190 -x10192 -x10194 -x10196 -x10198 -x10200 -x10202 -x10204 -x10206 -x184 -x10208 -x10210 -x10212 -x10214 -x10216 -x10218 -x10220 -x185 -x10222 -x10225 -x10227 -x10229 -x10231 -x10233 -x186 -x10235 -x10237 -x10239 -x187 -x10241 -x10243 -x10245 -x10247 -x10249 -x10251 -x10253 -x10255 -x10257 -x10259 -x10261 -x10263 -x10265 -x10267 -x10269 -x10271 -x10273 -x10275 -x10277 -x10279 -x10281 -x10283 -x10285 -x10287 -x10289 -x10291 -x10293 -x10295 -x10297 -x10299 -x10301 -x188 -x10303 -x10305 -x10307 -x10309 -x10311 -x10313 -x10315 -x10317 -x10319 -x10321 -x10323 -x10325 -x10327 -x10329 -x10331 -x189 -x10333 -x10335 -x10337 -x10339 -x10341 -x10343 -x10345 -x10347 -x10349 -x10351 -x10353 -x10355 -x10357 -x10359 -x10361 -x10363 -x10365 -x10367 -x10369 -x10371 -x10373 -x10375 -x10377 -x10379 -x10381 -x10383 -x10385 -x10387 -x10389 -x10391 -x190 -x10393 -x10395 -x10397 -x10399 -x10401 -x10403 -x10405 -x10407 -x10409 -x10411 -x10413 -x10415 -x10417 -x10419 -x10421 -x10423 -x10425 -x10427 -x10429 -x10431 -x10433 -x10435 -x10437 -x10439 -x10441 -x10443 -x10445 -x10447 -x10449 -x10451 -x10453 -x191 -x10455 -x10457 -x10459 -x10461 -x10463 -x10465 -x10467 -x10469 -x10471 -x10473 -x10475 -x10477 -x10479 -x10481 -x10483 -x192 -x10485 -x10487 -x10489 -x10491 -x10493 -x10495 -x10497 -x10499 -x10501 -x10503 -x10505 -x10507 -x10509 -x10511 -x10513 -x193 -x10515 -x10517 -x10519 -x10521 -x10523 -x10525 -x10527 -x10529 -x10531 -x10533 -x10535 -x10537 -x10539 -x10541 -x10543 -x194 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555 -x10557 -x195 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10585 -x10587 -x10589 -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619 -x196 -x10621 -x10623 -x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10643 -x10645 -x197 -x10647 -x10649 -x10651 -x10653 -x10655 -x10657 -x10659 -x10661 -x10663 -x10665 -x10667 -x10669 -x10671 -x10673 -x10675 -x198 -x10677 -x10679 -x10681 -x10683 -x10685 -x10687 -x10689 -x199 -x10691 -x10693 -x10695 -x10697 -x10699 -x10701 -x10703 -x10705 -x10707 -x10709 -x10711 -x10713 -x10715 -x10717 -x10719 -x200 -x10721 -x10723 -x10725 -x10727 -x10729 -x10731 -x10733 -x10735 -x10737 -x10739 -x10741 -x10743 -x10745 -x10747 -x10749 -x201 -x10751 -x10753 -x10755 -x10757 -x10759 -x10761 -x10763 -x202 -x10765 -x10767 -x10769 -x10771 -x10773 -x10775 -x10777 -x10779 -x10781 -x10783 -x10785 -x10787 -x10789 -x10791 -x10793 -x203 -x10795 -x10797 -x10799 -x10801 -x10803 -x10805 -x10807 -x204 -x10809 -x10811 -x10813 -x10815 -x10817 -x10819 -x10821 -x205 -x10823 -x10825 -x10827 -x206 -x10829 -x10831 -x10833 -x10835 -x10837 -x10839 -x10841 -x10843 -x10845 -x10847 -x10849 -x10851 -x10853 -x10855 -x10857 -x10859 -x10861 -x10863 -x10865 -x10867 -x10869 -x10871 -x10873 -x10875 -x10877 -x10879 -x10881 -x10883 -x10885 -x10887 -x10889 -x207 -x10891 -x10893 -x10895 -x10897 -x10899 -x10901 -x10903 -x10905 -x10907 -x10909 -x10911 -x10913 -x10915 -x10917 -x10919 -x208 -x10921 -x10923 -x10925 -x10927 -x10929 -x10931 -x10933 -x10935 -x10937 -x10939 -x10941 -x10943 -x10945 -x10947 -x10949 -x209 -x10951 -x10953 -x10955 -x10957 -x10959 -x10961 -x10963 -x210 -x10965 -x10967 -x10969 -x10971 -x10973 -x10975 -x10977 -x10979 -x10981 -x10983 -x10985 -x10987 -x10989 -x10991 -x10993 -x211 -x10995 -x10997 -x10999 -x11001 -x11003 -x11005 -x11007 -x11009 -x11011 -x11013 -x11015 -x11017 -x11019 -x11021 -x11023 -x212 -x11025 -x11027 -x11029 -x11031 -x11033 -x11035 -x11037 -x213 -x11039 -x11041 -x11043 -x11045 -x11047 -x11049 -x11051 -x214 -x11053 -x11055 -x11057 -x11059 -x11061 -x11063 -x11065 -x215 -x11067 -x11069 -x11071 -x216 -x11073 -x11075 -x11077 -x11079 -x11081 -x11083 -x11085 -x11087 -x11089 -x11091 -x11093 -x11095 -x11097 -x11099 -x11101 -x217 -x11103 -x11105 -x11107 -x11109 -x11111 -x11113 -x11115 -x218 -x11117 -x11119 -x11121 -x11123 -x11125 -x11127 -x11129 -x11131 -x11133 -x11135 -x11137 -x11139 -x11141 -x11143 -x11145 -x219 -x11147 -x11149 -x11151 -x11153 -x11155 -x11157 -x11159 -x220 -x11161 -x11163 -x11165 -x11167 -x11169 -x11171 -x11173 -x221 -x11175 -x11177 -x222 -x11179 -x11181 -x11183 -x11185 -x11187 -x11189 -x11191 -x223 -x11193 -x11195 -x11197 -x11199 -x11201 -x11203 -x11205 -x224 -x11207 -x11209 -x11211 -x225 -x11213 -x11215 -x11217 -x11219 -x11221 -x11223 -x11225 -x226 -x11227 -x11229 -x11231 -x227 -x11233 -x11235 -x11237 -x228 -x11239 -x11241 -x11243 -x11245 -x11247 -x11249 -x11251 -x11253 -x11255 -x11257 -x11259 -x11261 -x11263 -x11265 -x11267 -x11269 -x11271 -x11273 -x11275 -x11277 -x11279 -x11281 -x11283 -x11285 -x11287 -x11289 -x11291 -x11293 -x11295 -x11297 -x11299 -x11301 -x11303 -x11305 -x11307 -x11309 -x11311 -x11313 -x11315 -x11317 -x11319 -x11321 -x11323 -x11325 -x11327 -x11329 -x11331 -x11333 -x11335 -x11337 -x11339 -x11341 -x11343 -x11345 -x11347 -x11349 -x11351 -x11353 -x11356 -x11358 -x11360 -x11362 -x11364 -x11366 x11368 -x11370 -x11372 -x11374 -x11376 -x11378 -x11380 -x11382 -x11384 -x11386 -x11388 -x11390 -x11392 -x11394 -x11396 -x11398 -x11400 -x11402 -x11404 -x11406 -x11408 -x11410 -x11412 -x11414 -x11416 -x11418 -x11420 -x11422 -x11424 -x11426 -x11428 -x11430 -x11432 -x11434 -x11436 -x11438 -x11440 -x11442 -x11444 -x11446 -x11448 -x11450 -x11452 -x11454 -x11456 -x11458 -x11460 -x11462 -x11464 -x11466 -x11468 -x11470 -x11472 -x11474 -x11476 -x11478 -x11481 -x11483 -x229 -x11485 -x11487 -x11489 -x11491 -x11493 -x11495 -x11497 -x11499 -x11501 -x11503 -x11505 -x11507 -x11509 -x11511 -x11513 -x11515 -x11517 -x11519 -x11521 -x11523 -x11525 -x11527 -x11529 -x11531 -x11533 -x11535 -x11537 -x11539 -x11541 -x11543 -x11545 -x11547 -x11549 -x11551 -x11553 -x11555 -x11557 -x11559 -x11561 -x11563 -x11565 -x11567 -x11569 -x11571 -x11573 -x11575 -x11577 -x11579 -x11581 -x11583 -x11585 -x11587 -x11589 -x11591 -x11593 -x11595 -x11597 -x11599 -x11601 -x11603 -x11605 -x11607 -x11609 -x230 -x11611 -x11613 -x11615 -x11617 -x11619 -x11621 -x11623 -x11625 -x11627 -x11629 -x11631 -x11633 -x11635 -x11637 -x11639 -x11641 -x11643 -x11645 -x11647 -x11649 -x11651 -x11653 -x11655 -x11657 -x11659 -x11661 -x11663 -x11665 -x11667 -x11669 -x11671 -x11673 -x11675 -x11677 -x11679 -x11681 -x11683 -x11685 -x11687 -x11689 -x11691 -x11693 -x11695 -x11697 -x11699 -x11701 -x11703 -x11705 -x11707 -x11709 -x11711 -x11713 -x11716 -x11718 -x11720 -x11722 -x11724 -x11726 -x11728 -x11730 -x11732 -x11734 -x231 -x11736 -x11738 -x11740 -x11742 -x11744 -x11746 -x11748 -x11750 -x11752 -x11754 -x11756 -x11758 -x11760 -x11762 -x11764 -x11766 -x11768 -x11770 -x11772 -x11774 -x11776 -x11778 -x11780 -x11782 -x11784 -x11786 -x11788 -x11790 -x11792 -x11794 -x11796 -x232 -x11798 -x11800 -x11802 -x11804 -x11806 -x11808 -x11810 -x11812 -x11814 -x11816 -x11818 -x11820 -x11822 -x11824 -x11826 -x11829 -x11831 -x11833 -x11835 -x11837 -x11839 -x11841 -x11843 -x11845 -x11847 -x11849 -x11851 -x11853 -x11855 -x11857 -x11859 -x11861 -x11863 -x11865 -x11867 -x11869 -x11871 -x11873 -x11875 -x11877 -x11879 -x11881 -x11883 -x11885 -x11887 -x11889 -x11891 -x11893 -x11895 -x11897 -x11899 -x11901 -x11903 -x11905 -x11907 -x11909 -x11912 -x11914 -x11916 -x11918 -x11920 -x233 -x11922 -x11924 -x11926 -x11928 -x11930 -x11932 -x11934 -x11936 -x11938 -x11940 -x11942 -x11944 -x11946 -x11948 -x11950 -x11953 -x11955 -x11957 -x11959 -x11961 -x11963 -x11965 -x11967 -x11969 -x11971 -x11973 -x11975 -x11977 -x11979 -x11981 -x234 -x11983 -x11985 -x11987 -x11989 -x11991 -x11993 -x11995 -x11997 -x11999 -x12001 -x12003 -x12005 -x12007 -x12009 -x12011 -x12013 -x12015 -x12017 -x12019 -x12021 -x12023 -x12025 -x12027 -x12029 -x12031 -x12033 -x12035 -x12037 -x12039 -x12041 -x12043 -x235 -x12045 -x12047 -x12049 -x12051 -x12053 -x12055 -x12057 -x12059 -x12061 -x12063 -x12065 -x12068 -x12070 -x12072 -x236 -x12074 -x12076 -x12078 -x12080 -x12082 -x12084 -x12086 -x12088 -x12090 -x12092 -x12094 -x12096 -x12098 -x12100 -x12102 -x12104 -x12106 -x12108 -x12110 -x12112 -x12114 -x12116 -x12118 -x12120 -x12122 -x12124 -x12126 -x12128 -x12130 -x12132 -x12134 -x12136 -x12138 -x12140 -x12142 -x12144 -x12146 -x12148 -x12150 -x12152 -x12154 -x12156 -x12158 -x12160 -x12162 -x12164 -x12166 -x12168 -x12170 -x12172 -x12174 -x12176 -x12178 -x12180 -x12182 -x12184 -x12186 -x12188 -x12190 -x12192 -x12194 -x12196 -x12198 -x12200 -x12202 -x12204 -x12206 -x12208 -x12210 -x12212 -x12214 -x12216 -x12218 -x12220 -x12222 -x12224 -x12226 -x12228 -x12230 -x12232 -x12234 -x12236 -x12238 -x12240 -x12242 -x12244 -x12246 -x12248 -x12250 -x12252 -x12254 x12256 -x12258 -x12260 -x237 -x12262 -x12264 -x12266 -x12268 -x12270 -x12272 -x12274 -x12276 -x12278 -x12280 -x12282 -x12284 -x12286 -x12288 -x12290 -x12292 -x12294 -x12296 -x12298 -x12300 -x12302 -x12304 -x12306 -x12308 -x12310 -x12312 -x12314 -x12316 -x12318 -x12320 -x12322 -x238 -x12324 -x12326 -x12328 -x12330 -x12332 -x12334 -x12336 -x12338 -x12340 -x12342 -x12344 -x12346 -x12348 -x12350 -x12352 -x239 -x12354 -x12356 -x12358 -x12360 -x12362 -x12364 -x12366 -x12368 -x12371 -x12373 -x12375 -x12377 -x12379 -x12381 -x12383 -x12385 -x12387 -x12389 -x12391 -x12393 -x12395 -x12397 -x12399 -x12401 -x12403 -x12405 -x12407 -x12409 -x12411 -x240 -x12413 -x12415 -x12417 -x12419 -x12421 -x12423 -x12425 -x12427 -x12429 -x12431 -x12433 -x12435 -x12437 -x12439 -x12441 -x241 -x12443 -x12445 -x12447 -x12449 -x12451 -x12453 -x12456 -x12458 -x12460 -x12462 -x12464 -x12466 -x12468 -x12470 -x242 -x12472 -x12474 -x12476 -x12478 -x12480 -x12482 -x12484 -x243 -x12486 -x12488 -x12490 -x12492 -x12494 -x12496 -x12498 -x12500 -x12502 -x12504 -x12506 -x12508 -x12510 -x12512 -x12514 -x12516 -x12518 -x12521 -x12523 -x12525 -x12527 -x12529 -x12531 -x12533 -x12535 -x12537 -x12539 -x12541 -x12543 -x12545 -x12547 -x12549 -x12551 -x12554 -x12556 -x12558 -x12560 -x12562 -x12564 -x12566 -x12568 -x12570 -x12572 -x12574 -x12576 -x12578 -x12580 -x12582 -x12584 -x12586 -x12588 -x12590 -x12592 -x12594 -x12596 -x12598 -x12600 -x12602 -x12604 -x12606 -x12608 -x244 -x12610 -x12612 -x12614 -x12616 -x12618 -x12620 -x12622 -x12624 -x12626 -x12628 -x12630 -x12632 -x12634 -x12636 -x12638 -x12640 -x12642 -x12644 -x12646 -x12648 -x12650 -x12652 -x12654 -x12656 -x12658 -x12660 -x12662 -x12664 -x12666 -x12668 -x12670 -x245 -x12672 -x12674 -x12676 -x12678 -x12680 -x12682 -x12684 -x12686 -x12688 -x12690 -x12692 -x12694 -x12696 -x12698 -x12700 -x12702 -x12704 -x12706 -x12708 -x12710 -x12712 -x12714 -x12716 -x12718 -x12720 -x12722 -x12724 -x12726 -x12728 -x12730 -x246 -x12732 -x12734 -x12736 -x12738 -x12740 -x12742 -x12744 -x12746 -x12748 -x12750 -x12752 -x12754 -x12756 -x12758 -x12760 -x247 -x12762 -x12764 -x12766 -x12768 -x12770 -x12772 -x12774 -x12776 -x12779 -x12781 -x12783 -x12785 -x12787 -x12789 -x12791 -x12793 -x12795 -x12798 -x12800 -x12802 -x12804 -x12806 -x12808 -x12810 -x12812 -x12814 -x12816 -x12818 -x12820 -x248 -x12822 -x12824 -x12826 -x12828 -x12830 -x12832 -x12834 -x12836 -x12838 -x12840 -x12842 -x12844 -x12846 -x12848 -x12850 -x249 -x12852 -x12854 -x12856 -x12858 -x12860 -x12862 -x12864 -x12866 -x12868 -x12870 -x12872 -x12874 -x12876 -x12878 -x12880 -x250 -x12882 -x12884 -x12886 -x12888 -x12890 -x12892 -x12894 -x251 -x12896 -x12898 -x12900 -x12902 -x12904 -x12906 -x12908 -x12910 -x12912 -x12914 -x12916 -x12918 -x12920 -x12922 -x12924 -x12926 -x12928 -x12930 -x12932 -x12934 -x12936 -x12938 -x12940 -x12942 -x12944 -x12946 -x12948 -x12950 -x12952 -x12954 -x12956 -x252 -x12958 -x12960 -x12962 -x12964 -x12966 -x12968 -x12970 -x12972 -x12974 -x12976 -x12978 -x12980 -x12982 -x12984 -x12986 -x253 -x12988 -x12990 -x12992 -x12994 -x12996 -x12998 -x13000 -x13002 -x13004 -x13006 -x13008 -x13010 -x13012 -x13014 -x13016 -x254 -x13018 -x13020 -x13022 -x13024 -x13026 -x13028 -x13030 -x255 -x13032 -x13034 -x13036 -x13038 -x13040 -x13042 -x13044 -x13046 -x13048 -x13050 -x13052 -x13054 -x13056 -x13058 -x13060 -x256 -x13062 -x13064 -x13066 -x13068 -x13070 -x13072 -x13074 -x257 -x13076 -x13078 -x13081 -x13083 -x13085 -x13087 -x258 -x13089 -x13091 -x13093 -x13095 -x13097 x13099 -x13101 -x13103 -x13105 -x13107 -x13109 -x13111 -x13113 -x13115 -x13117 -x13119 -x13121 -x13123 -x13125 -x13127 -x13129 -x13131 -x13133 -x13135 -x13137 -x13139 -x13141 -x13143 -x13145 -x13147 -x13149 -x13151 -x13153 -x13155 -x13157 -x13159 -x13161 -x13163 -x13165 -x13167 -x13169 -x13171 -x13173 -x13175 -x13177 -x13179 -x13181 -x13183 -x13185 -x13187 -x13189 -x13191 -x13193 -x13195 -x13197 -x13199 -x13201 -x13203 -x13205 -x13207 -x13209 -x13211 -x13213 -x13215 -x13217 -x13219 -x259 -x13221 -x13223 -x13225 -x13227 -x13229 -x13231 -x13233 -x13235 -x13237 -x13239 -x13241 -x13243 -x13245 -x13247 -x13249 -x13251 -x13253 -x13255 -x13257 -x13259 -x13261 -x13263 -x13265 -x13267 -x13269 -x13271 -x13273 -x13275 -x13277 -x13279 -x260 -x13281 -x13283 -x13285 -x13287 -x13289 -x13291 -x13293 -x13295 -x13297 -x13299 -x13301 -x13303 -x13305 -x13307 -x13309 -x13311 -x13313 -x13315 -x13317 -x13319 -x13321 -x13323 -x13325 -x13327 -x13329 -x13331 -x13333 -x13335 -x13337 -x13339 -x13341 -x261 -x13343 -x13345 -x13347 -x13349 -x13351 -x13353 -x13355 -x13357 -x13359 -x13362 -x13364 -x13366 -x13368 -x13370 -x262 -x13372 -x13374 -x13376 -x13378 -x13380 -x13382 -x13384 -x13386 -x13388 -x13390 -x13392 -x13394 -x13396 -x13398 -x13400 -x13402 -x13404 -x13406 -x13408 -x13410 -x13412 -x13414 -x13416 -x13418 -x13420 -x13422 -x13424 -x13426 -x13428 -x13430 -x13432 -x263 -x13434 -x13436 -x13438 -x13440 -x13442 -x13444 -x13446 -x13448 -x13450 -x13452 -x13454 -x13456 -x13458 -x13460 -x13462 -x264 -x13464 -x13466 -x13468 -x13470 -x13472 -x13474 -x13476 -x13478 -x13480 -x13482 -x13484 -x13486 -x13488 -x13490 -x13492 -x265 -x13494 -x13496 -x13498 -x13500 -x13502 -x13504 -x13506 -x266 -x13508 -x13510 -x13512 -x13514 -x13516 -x13518 -x13520 -x13522 -x13524 -x13526 -x13528 -x13530 -x13532 -x13534 -x13536 -x13538 -x13540 -x13542 -x13544 -x13546 -x13548 -x13550 -x13552 -x13554 -x13556 -x13558 -x13560 -x13562 -x13565 -x13567 -x267 -x13569 -x13571 -x13573 -x13575 -x13578 -x13580 -x13582 -x13584 -x13586 -x13588 -x13590 -x13592 -x13594 -x13596 -x268 -x13598 -x13600 -x13602 -x13604 -x13606 -x13608 -x13610 -x13612 -x13614 -x13616 -x13618 -x13620 -x13622 -x13624 -x13626 -x269 -x13628 -x13630 -x13632 -x13634 -x13636 -x13638 -x13640 -x270 -x13642 -x13644 -x13646 -x13648 -x13650 -x13652 -x13654 -x13656 -x13658 -x13661 -x13663 -x13665 -x13667 -x13669 -x271 -x13671 -x13673 -x13675 -x13677 -x13679 -x13681 -x13683 x272 -x13685 x13687 -x13689 -x13691 -x13693 -x13695 -x13697 x13699 -x13701 -x13703 -x273 -x13705 -x13707 -x13709 -x13711 -x13713 -x13715 -x13717 -x13719 -x13721 -x13723 -x13725 -x13727 -x13729 -x13731 -x13733 -x13735 -x13737 -x13739 -x13741 -x13743 -x13745 -x13747 -x13749 -x13751 -x13753 -x13755 -x13757 -x13759 -x13761 -x13763 -x13765 -x274 -x13767 -x13769 -x13771 -x13773 -x13775 -x13777 -x13779 -x13781 -x13783 -x13785 -x13787 -x13789 -x13791 -x13794 -x275 -x13796 -x13798 -x13800 -x13802 -x13804 -x13806 -x13808 -x13810 -x13812 -x13814 -x13816 -x13818 -x13820 -x13822 -x13824 -x276 -x13826 -x13828 -x13830 -x13832 -x13834 -x13836 -x13838 -x277 -x13840 -x13842 -x13844 -x13846 -x13848 -x13850 -x13852 -x13854 -x13856 -x13858 -x13861 -x13863 -x13865 -x13867 -x278 -x13869 -x13871 -x13873 -x13875 -x13877 -x13879 -x13881 -x279 -x13883 -x13885 -x13887 -x13889 -x13891 -x13893 x13895 -x13897 -x13899 -x13901 -x280 -x13904 -x13906 -x13908 -x13910 -x13912 -x13914 -x13916 -x13918 -x13920 -x13922 -x13924 -x13926 -x13928 -x13930 x281 -x13932 -x13934 -x13936 -x13938 x13940 -x13942 -x13944 -x282 -x13946 -x13948 -x13950 -x13952 -x13954 -x13956 -x13958 -x283 -x13960 -x13962 -x13964 -x284 -x13966 -x13968 -x13970 -x13972 -x13974 -x13976 -x13978 -x285 -x13980 -x13982 -x13984 -x286 -x13986 -x13988 -x13990 -x287 -x13992 -x288 -x13994 -x13996 -x13998 -x14000 -x14002 -x14004 -x14006 -x14008 -x14010 -x14012 -x14014 -x14016 -x14018 -x14020 -x14022 -x14024 -x14026 -x14028 -x14030 -x14032 -x14034 -x14036 -x14038 -x14040 -x14042 -x14044 -x14046 -x14048 -x14050 -x14052 -x14054 -x14056 -x14058 -x14060 -x14062 -x14064 -x14066 -x14068 -x14070 -x14072 -x14074 -x14076 -x14078 -x14080 -x14082 -x14084 -x14086 -x14088 -x14090 -x14092 -x14094 -x14096 -x14098 -x14100 -x14102 -x14104 -x14106 -x14108 -x14110 -x14112 -x289 -x14114 -x14116 -x14118 -x14120 -x14122 -x14124 -x14126 -x14128 -x14130 -x14132 -x14134 -x14136 -x14138 -x14140 -x14142 -x14144 -x14146 -x14148 -x14150 -x14152 -x14154 -x14156 -x14158 -x14160 -x14162 -x14164 -x14166 -x14168 -x14170 -x14172 -x14174 -x290 -x14176 -x14178 -x14180 -x14182 -x14184 -x14186 -x14188 -x14190 -x14192 -x14194 -x14196 -x14198 -x14200 -x14202 -x14204 -x14206 -x14208 -x14210 -x14212 -x14214 -x14216 -x14218 -x14220 -x14222 -x14224 -x14226 -x14228 -x14230 -x14232 -x14234 -x14236 -x291 -x14238 -x14240 -x14242 -x14244 -x14246 -x14248 -x14250 -x14252 -x14254 -x14256 -x14258 -x14260 -x14262 -x14264 -x14266 -x292 -x14268 -x14270 -x14272 -x14274 -x14276 -x14278 -x14280 -x14282 -x14284 -x14286 -x14288 -x14290 -x14292 -x14294 -x14296 -x14298 -x14300 -x14302 -x14304 -x14306 -x14308 -x14310 -x14312 -x14314 -x14316 -x14318 -x14320 -x14322 -x14324 -x14326 -x293 -x14328 -x14330 -x14332 -x14334 -x14336 -x14338 -x14340 -x14342 -x14344 -x14346 -x14348 -x14350 -x14352 -x14354 -x14356 -x294 -x14358 -x14360 -x14362 -x14364 -x14366 -x14368 -x14370 -x14372 -x14374 -x14376 -x14378 -x14380 -x14382 -x14384 -x14386 -x295 -x14388 -x14390 -x14392 -x14394 -x14396 -x14398 -x14400 -x296 -x14402 -x14404 -x14406 -x14408 -x14410 -x14412 -x14414 -x14416 -x14418 -x14420 -x14422 -x14424 -x14426 -x14428 -x14430 -x14432 -x14434 -x14436 -x14438 -x14440 -x14442 -x14444 -x14446 -x14448 -x14450 -x14452 -x14454 -x14456 -x14458 -x14460 -x14462 -x297 -x14464 -x14466 -x14468 -x14470 -x14472 -x14474 -x14476 -x14478 -x14480 -x14482 -x14484 -x14486 -x14488 -x14490 -x14492 -x298 -x14494 -x14496 -x14498 -x14500 -x14502 -x14504 -x14506 -x14508 -x14510 -x14512 -x14514 -x14516 -x14518 -x14520 -x14522 -x299 -x14524 -x14526 -x14528 -x14530 -x14532 -x14534 -x14536 -x300 -x14538 -x14540 -x14542 -x14544 -x14546 -x14548 -x14550 -x14552 -x14554 -x14556 -x14558 -x14560 -x14562 -x14564 -x14566 -x301 -x14568 -x14570 -x14572 -x14574 -x14576 -x14578 -x14580 -x302 -x14582 -x14584 -x14586 -x14588 -x14590 -x14593 -x303 -x14595 -x14597 -x14599 -x304 -x14601 -x14603 -x14605 -x14607 -x14609 -x14611 -x14613 -x14615 -x14617 -x14619 -x14621 -x14623 -x14625 -x14628 -x14630 -x14632 -x14634 -x14636 -x14638 -x14640 -x14642 -x14644 -x14646 -x14648 -x14650 -x14652 -x14654 -x14656 -x14658 -x14660 -x305 -x14662 -x14664 -x14666 -x14668 -x14670 -x14672 -x14674 -x14676 -x14678 -x14680 -x14682 -x14684 -x14686 -x14688 -x306 -x14690 -x14692 -x14694 -x14696 -x14698 -x14700 -x14702 -x14704 -x14706 -x14708 -x14710 -x14712 -x14714 -x14716 -x14718 -x307 -x14720 -x14722 -x14724 -x14726 -x14728 -x14730 -x14732 -x308 -x14734 -x14736 -x14738 -x14740 -x14742 -x14744 -x14746 -x14748 -x14750 -x14752 -x14754 -x14756 -x14758 -x14760 -x14762 x309 -x14764 x14766 -x14768 -x14770 -x14772 -x14774 -x14776 -x14778 x14780 -x14782 -x14784 -x14786 -x14788 x310 -x14790 x14792 -x14794 -x311 -x14796 -x14798 -x14800 -x14802 -x14804 -x14806 -x14808 -x14810 -x14812 -x14814 -x14816 -x14818 -x14820 -x14822 -x14824 -x312 -x14826 -x14828 -x14830 -x14832 -x14834 -x14836 -x14838 -x313 -x14840 -x14842 -x14844 -x14846 -x14848 -x14850 -x14852 -x314 -x14854 -x14856 -x315 -x14858 -x14860 -x14862 -x14864 -x14866 -x14868 -x14870 -x316 -x14872 -x14874 -x14876 -x317 -x14878 -x14880 -x14882 -x318 -x14884 -x319 -x14886 -x14888 -x14890 -x14892 -x14894 -x14896 -x14898 -x14900 -x14902 -x14904 -x14906 -x14908 -x14910 -x14912 -x14914 -x14916 -x14918 -x14920 -x14922 -x14924 -x14926 -x14928 -x14930 -x14932 -x14934 -x14936 -x14938 -x14940 -x320 -x14942 -x14944 -x14946 -x14948 -x14950 -x14952 -x14954 -x14956 -x14958 -x14960 -x14962 -x14964 -x14966 -x14968 -x14970 -x321 -x14972 -x14975 -x14977 -x14979 -x14981 -x14983 -x14985 -x14987 -x14989 -x14991 -x14993 -x14995 -x14997 -x14999 -x322 -x15001 -x15003 -x15005 -x15007 -x15009 -x15011 -x15013 -x15015 -x15017 -x15019 -x15021 -x15023 -x15025 -x15027 -x15029 -x15031 -x15033 x15035 -x15037 -x15039 -x15041 -x15043 -x15045 -x15047 -x15049 -x15051 x15053 -x15055 -x15057 x323 -x15059 x15061 -x15064 -x15066 -x15068 -x15070 -x324 -x15072 -x15074 -x325 -x15077 -x15079 -x15081 -x15083 -x15085 -x15087 -x15089 -x15091 -x15093 -x15095 -x15097 -x15099 -x15101 -x15103 -x15105 -x326 -x15107 -x15109 -x15111 -x15113 -x15115 -x15117 -x15119 -x327 -x15121 -x15123 -x15125 -x15127 -x15129 -x15131 -x15133 -x328 -x15135 -x15137 -x15139 -x329 -x15141 -x15143 -x15145 -x15147 -x15149 -x15151 -x15153 -x330 -x15155 -x15157 -x15159 x15161 -x15163 -x15165 -x331 -x15167 -x332 -x15169 -x15171 -x15173 -x15175 -x15177 -x15179 -x15181 -x15183 -x15185 -x15187 -x15189 -x15191 x15193 x333 -x15195 -x15197 -x15199 -x15201 -x15203 -x15205 -x15207 x334 -x15209 -x15211 -x15214 -x15216 -x15218 -x15220 -x335 -x15222 -x15224 -x15226 -x336 -x15228 -x15230 -x15232 -x15234 -x15236 -x15238 -x15240 -x337 -x15242 -x15244 -x338 -x15246 -x15248 x15250 x339 -x15252 -x340 -x15254 -x15256 -x15259 -x15261 -x15263 -x341 -x15265 -x15267 -x15269 -x342 -x15271 -x15273 -x15275 -x343 -x15277 -x344 -x15279 x15281 x345 x15283 x346 1797.91/1798.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.39 c 39 356801 220504 1667979 100929 4441857 61933 198 1798.01 1797.91/1798.39 c Objective: 31 1797.91/1798.39 s SATISFIABLE 1797.91/1798.39 c Total time: 1798.01 s
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657262-1276633774/watcher-2657262-1276633774 -o /tmp/evaluation-result-2657262-1276633774/solver-2657262-1276633774 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657262-1276633774.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.00 1.00 2/106 11137 /proc/meminfo: memFree=1839288/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=20228 CPUtime=0 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 364 0 0 0 0 0 0 0 17 0 1 0 4672793 20713472 283 1992294400 134512640 137138936 4289069456 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5057 284 173 642 0 4047 0 [startup+0.0144831 s] /proc/loadavg: 1.01 1.00 1.00 2/106 11137 /proc/meminfo: memFree=1839288/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=12736 CPUtime=0.01 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 466 0 0 0 1 0 0 0 17 0 1 0 4672793 13041664 385 1992294400 134512640 137138936 4289069456 18446744073709551615 134534954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 3184 385 186 642 0 2174 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12736 [startup+0.101488 s] /proc/loadavg: 1.01 1.00 1.00 2/106 11137 /proc/meminfo: memFree=1839288/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=14964 CPUtime=0.1 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 1165 0 0 0 10 0 0 0 17 0 1 0 4672793 15323136 1084 1992294400 134512640 137138936 4289069456 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 3741 1084 312 642 0 2731 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14964 [startup+0.3015 s] /proc/loadavg: 1.01 1.00 1.00 2/106 11137 /proc/meminfo: memFree=1839288/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=20596 CPUtime=0.29 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3112 0 0 0 28 1 0 0 17 0 1 0 4672793 21090304 2665 1992294400 134512640 137138936 4289069456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5149 2665 184 642 0 4505 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20596 [startup+0.701525 s] /proc/loadavg: 1.01 1.00 1.00 2/106 11137 /proc/meminfo: memFree=1839288/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=20864 CPUtime=0.69 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3297 0 0 0 65 4 0 0 17 0 1 0 4672793 21364736 2730 1992294400 134512640 137138936 4289069456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5216 2730 186 642 0 4572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20864 [startup+1.50158 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1828740/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=20864 CPUtime=1.49 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3340 0 0 0 142 7 0 0 18 0 1 0 4672793 21364736 2773 1992294400 134512640 137138936 4289069456 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5216 2773 192 642 0 4572 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20864 [startup+3.10167 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1828244/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=20864 CPUtime=3.1 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3340 0 0 0 298 12 0 0 21 0 1 0 4672793 21364736 2773 1992294400 134512640 137138936 4289069456 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5216 2773 192 642 0 4572 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 20864 [startup+6.30087 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1828244/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=21288 CPUtime=6.29 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3420 0 0 0 615 14 0 0 25 0 1 0 4672793 21798912 2853 1992294400 134512640 137138936 4289069456 18446744073709551615 134578388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5322 2853 192 642 0 4678 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21288 [startup+12.7003 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1827500/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=21980 CPUtime=12.69 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 3620 0 0 0 1251 18 0 0 25 0 1 0 4672793 22507520 3053 1992294400 134512640 137138936 4289069456 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 5495 3053 192 642 0 4851 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21980 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1824896/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=24840 CPUtime=25.49 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 4308 0 0 0 2527 22 0 0 25 0 1 0 4672793 25436160 3741 1992294400 134512640 137138936 4289069456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 6210 3741 192 642 0 5566 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24840 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11138 /proc/meminfo: memFree=1820060/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=29596 CPUtime=51.08 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 5513 0 0 0 5080 28 0 0 25 0 1 0 4672793 30306304 4946 1992294400 134512640 137138936 4289069456 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 7399 4946 192 642 0 6755 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29596 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11140 /proc/meminfo: memFree=1808528/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=40860 CPUtime=102.27 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 8321 0 0 0 10188 39 0 0 25 0 1 0 4672793 41840640 7754 1992294400 134512640 137138936 4289069456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 10215 7754 192 642 0 9571 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40860 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11145 /proc/meminfo: memFree=1794640/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=54284 CPUtime=162.26 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 11699 0 0 0 16175 51 0 0 25 0 1 0 4672793 55586816 11132 1992294400 134512640 137138936 4289069456 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 13571 11132 192 642 0 12927 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 54284 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11147 /proc/meminfo: memFree=1791664/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=57028 CPUtime=222.24 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12387 0 0 0 22161 63 0 0 25 0 1 0 4672793 58396672 11820 1992294400 134512640 137138936 4289069456 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14257 11820 192 642 0 13613 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 57028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11147 /proc/meminfo: memFree=1791664/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=57028 CPUtime=282.23 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12387 0 0 0 28148 75 0 0 25 0 1 0 4672793 58396672 11820 1992294400 134512640 137138936 4289069456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14257 11820 192 642 0 13613 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 57028 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11149 /proc/meminfo: memFree=1791664/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=57028 CPUtime=342.22 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12387 0 0 0 34137 85 0 0 25 0 1 0 4672793 58396672 11820 1992294400 134512640 137138936 4289069456 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14257 11820 192 642 0 13613 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 57028 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11151 /proc/meminfo: memFree=1791664/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=57028 CPUtime=402.21 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12387 0 0 0 40128 93 0 0 25 0 1 0 4672793 58396672 11820 1992294400 134512640 137138936 4289069456 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14257 11820 192 642 0 13613 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 57028 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11153 /proc/meminfo: memFree=1790052/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=59056 CPUtime=462.19 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12878 0 0 0 46113 106 0 0 25 0 1 0 4672793 60473344 12311 1992294400 134512640 137138936 4289069456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14764 12311 192 642 0 14120 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 59056 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11155 /proc/meminfo: memFree=1790052/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=59056 CPUtime=522.18 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 12878 0 0 0 52104 114 0 0 25 0 1 0 4672793 60473344 12311 1992294400 134512640 137138936 4289069456 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 14764 12311 192 642 0 14120 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 59056 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11155 /proc/meminfo: memFree=1779760/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=69316 CPUtime=582.17 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 15445 0 0 0 58091 126 0 0 25 0 1 0 4672793 70979584 14878 1992294400 134512640 137138936 4289069456 18446744073709551615 136500213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 17329 14878 192 642 0 16685 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 69316 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11157 /proc/meminfo: memFree=1778768/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=70148 CPUtime=642.16 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 15663 0 0 0 64080 136 0 0 25 0 1 0 4672793 71831552 15096 1992294400 134512640 137138936 4289069456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 17537 15096 192 642 0 16893 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 70148 [startup+702.301 s] ################ # More data... # ################ [pid=11137] ppid=11135 vsize=77232 CPUtime=1422 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 17420 0 0 0 141948 252 0 0 25 0 1 0 4672793 79085568 16853 1992294400 134512640 137138936 4289069456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 19308 16853 192 642 0 18664 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 77232 [startup+1482.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 11179 /proc/meminfo: memFree=1771080/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=77232 CPUtime=1481.98 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 17420 0 0 0 147940 258 0 0 25 0 1 0 4672793 79085568 16853 1992294400 134512640 137138936 4289069456 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 19308 16853 192 642 0 18664 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 77232 [startup+1542.3 s] /proc/loadavg: 1.10 1.03 1.00 2/107 11181 /proc/meminfo: memFree=1764012/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84564 CPUtime=1541.97 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19239 0 0 0 153928 269 0 0 25 0 1 0 4672793 86593536 18672 1992294400 134512640 137138936 4289069456 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21141 18672 192 642 0 20497 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 84564 [startup+1602.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 11183 /proc/meminfo: memFree=1763888/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84564 CPUtime=1601.95 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19239 0 0 0 159919 276 0 0 25 0 1 0 4672793 86593536 18672 1992294400 134512640 137138936 4289069456 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21141 18672 192 642 0 20497 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 84564 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 11185 /proc/meminfo: memFree=1763764/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84564 CPUtime=1661.94 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19239 0 0 0 165911 283 0 0 25 0 1 0 4672793 86593536 18672 1992294400 134512640 137138936 4289069456 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21141 18672 192 642 0 20497 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 84564 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11187 /proc/meminfo: memFree=1763640/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84564 CPUtime=1721.92 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19239 0 0 0 171900 292 0 0 25 0 1 0 4672793 86593536 18672 1992294400 134512640 137138936 4289069456 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21141 18672 192 642 0 20497 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 84564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11187 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84564 CPUtime=1781.91 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19239 0 0 0 177891 300 0 0 25 0 1 0 4672793 86593536 18672 1992294400 134512640 137138936 4289069456 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21141 18672 192 642 0 20497 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 84564 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1797.91 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1797.91 s) to the 'lost time'. [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1797.91 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179489 302 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134575222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 84572 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1825516/2059040 swapFree=4164944/4192956 [pid=11137] ppid=-1 vsize=0 CPUtime=0 /proc/11137/stat : -- couldn't open stat file --/proc/11137/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84568 CPUtime=1791.52 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19240 0 0 0 178851 301 0 0 25 0 1 0 4672793 86597632 18673 1992294400 134512640 137138936 4289069456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21142 18673 192 642 0 20498 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (KiB) 84568 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1794.71 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179170 301 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 84572 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1796.31 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179329 302 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (KiB) 84572 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1797.11 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179409 302 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 84572 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1797.51 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179449 302 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 84572 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1763392/2059040 swapFree=4164944/4192956 [pid=11137] ppid=11135 vsize=84572 CPUtime=1797.91 /proc/11137/stat : 11137 (bsolo_pb10) R 11135 11137 10758 0 -1 4202496 19241 0 0 0 179489 302 0 0 25 0 1 0 4672793 86601728 18674 1992294400 134512640 137138936 4289069456 18446744073709551615 134575222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11137/statm: 21143 18674 192 642 0 20499 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 84572 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1825516/2059040 swapFree=4164944/4192956 [pid=11137] ppid=-1 vsize=0 CPUtime=0 /proc/11137/stat : -- couldn't open stat file --/proc/11137/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11137 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=987120 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=31539 # CPU time returned by wait4() is 1798.02 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1797.91 # lost CPU user time (s): 1794.89 # lost CPU system time (s): 3.02 Real time (s): 1798.4 CPU time (s): 1797.91 CPU user time (s): 1794.89 CPU system time (s): 3.02 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 84572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.99 system time used= 3.03154 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19242 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 4274 runsolver used 2.86056 second user time and 8.60269 second system time The end
Begin job on node029 at 2010-06-15 22:29:34 IDJOB=2657262 IDBENCH=24988 IDSOLVER=1163 FILE ID=node029/2657262-1276633774 PBS_JOBID= 11172353 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657262-1276633774/watcher-2657262-1276633774 -o /tmp/evaluation-result-2657262-1276633774/solver-2657262-1276633774 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657262-1276633774.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 390f49d8db402e26df87629238cc1aa6 RANDOM SEED=821611711 node029.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839940 kB Buffers: 22592 kB Cached: 98740 kB SwapCached: 1508 kB Active: 79740 kB Inactive: 75748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839940 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 5384 kB Writeback: 0 kB AnonPages: 32496 kB Mapped: 15080 kB Slab: 41800 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183212 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node029 at 2010-06-15 22:59:32