Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 31 | 1798.01 | 1798.34 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
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 | 28 |
Best CPU time to get the best result obtained on this benchmark | 23.6794 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 12852 |
Total number of constraints | 41686 |
Number of constraints which are clauses | 41686 |
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 | 6267 |
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 | 6267 |
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 | 6267 |
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3735855-1338724601.opb 0.00/0.00 c File size is 1248060 bytes. 0.02/0.09 c Highest Coefficient sum: 6267 0.02/0.09 c Parsing was ok!! 0.02/0.09 c Total parsing time: 0.089 s 0.02/0.09 c Var: 12852 Constr: 41686 41686/0/0 Lit: 100084 Watch. Lit: 82178 0.02/0.09 c Obj. Vars: 6267 (48.7628 % of total variables) 0.19/0.26 c Pre-processing Time: 0.259 s 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 10454 33823 83094 2 67646 11274 0 0 0.26 0.19/0.26 c Switching off lower bounding mode. 0.19/0.26 o 32 17.39/17.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.39/17.49 c 4 10454 33830 88262 2 72701 12274 7 14 0.27 17.39/17.49 c 106 10454 33939 96628 2 72919 13502 116 176 0.60 17.39/17.49 c 356 10454 34267 104587 3 73575 14853 444 281 1.27 17.39/17.49 c 832 10454 35014 120076 3 75069 16339 1191 380 2.19 17.39/17.49 c 1645 10454 36037 159539 4 77115 17973 2214 369 4.45 17.39/17.49 c 2965 10454 37566 223236 5 80173 19771 3743 347 8.53 17.39/17.49 c 5046 10454 39751 321915 8 84543 21749 5928 327 15.38 17.39/17.49 o 31 1797.96/1798.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.33 c 5676 10454 40453 364300 9 90989 12274 6630 324 17.50 1797.96/1798.33 c 5776 10454 40555 373967 9 96230 13502 6732 323 17.86 1797.96/1798.33 c 6026 10454 40837 392624 9 96794 14853 7014 322 18.71 1797.96/1798.33 c 6501 10454 41314 417944 10 97748 16339 7491 318 20.43 1797.96/1798.33 c 7314 10454 42166 463744 10 99452 17973 8343 314 23.25 1797.96/1798.33 c 8634 10454 43518 537834 12 107188 19771 9695 310 27.82 1797.96/1798.33 c 10715 10454 45601 627232 13 111354 21749 11778 305 35.12 1797.96/1798.33 c 13938 10454 48906 832109 17 117964 23924 15083 300 46.39 1797.96/1798.33 c 18874 10454 54051 1274805 23 133280 26317 20228 292 64.59 1797.96/1798.33 c 26380 10454 61782 1805681 29 153771 28949 27959 288 91.33 1797.96/1798.33 c 37741 10454 51053 1091215 21 107148 31844 17230 283 133.24 1797.96/1798.33 c 54885 10454 45219 831469 18 95480 35029 11396 289 189.84 1797.96/1798.33 c 80705 10454 45723 930354 20 96488 38532 11900 297 271.53 1797.96/1798.33 c 119537 10454 53043 1604915 30 111128 42386 19220 294 406.42 1797.96/1798.33 c 177889 10454 76905 2017460 26 158852 46625 43082 295 602.23 1797.96/1798.33 c 265522 10454 47481 2726388 57 110039 51288 13658 282 938.70 1797.96/1798.33 c 397074 10454 50905 2219772 43 111878 56417 17082 266 1489.02 1797.96/1798.33 c Resources Exceeded 1797.96/1798.33 v -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -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 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -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 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -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 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 x3614 -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 -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 -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 -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 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -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 -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 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -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 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -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 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -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 -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 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -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 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -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 -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 -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 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -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 -x5702 x5704 -x5706 -x5708 -x5710 -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 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -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 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -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 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -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 -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 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -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 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -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 -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 -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 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -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 -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 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -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 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -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 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x7200 -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 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -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 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x7842 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -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 -x7926 -x7928 -x7930 -x7932 -x7934 -x7936 -x7938 -x7940 -x7942 -x7944 -x7946 -x7948 -x7950 -x7952 -x7954 -x7956 -x7958 -x7960 -x7962 -x7964 -x7966 -x7968 -x7970 -x7972 -x7974 -x7976 -x7978 -x7980 -x7982 -x7984 -x7986 -x7988 -x7990 -x7992 -x7994 -x7996 -x7998 -x8000 -x8002 -x8004 -x8006 x8008 -x8010 -x8012 -x8014 -x8016 -x8018 -x8020 -x8022 -x8024 -x8026 -x8028 -x8030 -x8032 -x8034 -x8036 -x8038 -x8040 -x8042 -x8044 -x8046 -x8048 -x8050 -x8052 -x8054 -x8056 -x8058 -x8060 -x8062 -x8064 -x8066 -x8068 -x8070 -x8072 -x8074 -x8076 -x8078 -x8080 -x8082 -x8084 -x8086 -x8088 -x8090 -x8092 -x8094 -x8096 -x8098 -x8100 -x8102 -x8104 -x8106 -x8108 -x8110 -x8112 -x8114 -x8116 -x8118 -x8120 -x8122 -x8124 -x8126 -x8128 -x8130 -x8132 -x8134 -x8136 -x8138 -x8140 -x8142 -x8144 -x8146 -x8148 -x8150 -x8152 -x8154 -x8156 -x8158 -x8160 -x8162 -x8164 -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 -x8459 -x8461 -x8463 -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 -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 -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 -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 -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 -x9007 -x9009 -x9011 -x9013 -x9015 -x9017 -x9019 -x9021 -x9023 -x9025 -x9027 -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 -x9513 -x9515 -x9517 -x9519 -x9521 -x9523 -x9525 -x9527 -x9529 -x9531 -x9533 -x9535 -x9537 -x9539 -x9541 -x9543 -x9545 -x9547 -x9549 -x9551 -x9553 -x9555 -x9557 -x9559 -x9561 -x9563 -x9565 -x9567 -x9569 -x9571 -x9573 -x9575 -x9577 -x9579 -x9581 -x9583 -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 -x9737 -x9739 -x9741 -x9743 -x9745 -x9747 -x9749 -x9751 -x9753 -x9755 -x9757 -x9759 -x9761 -x9763 -x9765 -x9767 -x9769 -x9771 -x9773 -x9775 -x9777 -x9779 -x9781 -x9783 -x9785 -x9787 -x9789 -x9791 -x9793 -x9795 -x9797 -x9799 -x9801 -x9803 -x9805 -x9807 -x9809 -x9811 -x9813 -x9815 -x9817 -x9819 -x9821 -x9823 -x9825 -x9827 -x9829 -x9831 -x9833 -x9835 -x9837 -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 -x10225 -x10227 -x10229 -x10231 -x10233 -x10235 -x10237 -x10239 -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 -x10303 -x10305 -x10307 -x10309 -x10311 -x10313 -x10315 -x10317 -x10319 -x10321 -x10323 -x10325 -x10327 -x10329 -x10331 -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 -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 -x10455 -x10457 -x10459 -x10461 -x10463 -x10465 -x10467 -x10469 -x10471 -x10473 -x10475 -x10477 -x10479 -x10481 -x10483 -x10485 -x10487 -x10489 -x10491 -x10493 -x10495 -x10497 -x10499 -x10501 -x10503 -x10505 -x10507 -x10509 -x10511 -x10513 -x10515 -x10517 -x10519 -x10521 -x10523 -x10525 -x10527 -x10529 -x10531 -x10533 -x10535 -x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555 -x10557 -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 -x10621 -x10623 -x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10643 -x10645 -x10647 -x10649 -x10651 -x10653 -x10655 -x10657 -x10659 -x10661 -x10663 -x10665 -x10667 -x10669 -x10671 -x10673 -x10675 -x10677 -x10679 -x10681 -x10683 -x10685 -x10687 -x10689 -x10691 -x10693 -x10695 -x10697 -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 -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 -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 -x11716 -x11718 -x11720 -x11722 -x11724 -x11726 -x11728 -x11730 -x11732 -x11734 -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 -x11798 -x11800 -x11802 -x11804 -x11806 -x11808 -x11810 -x11812 -x11814 -x11816 -x11818 -x11820 -x11822 -x11824 -x11826 -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 -x11912 -x11914 -x11916 -x11918 -x11920 -x11922 -x11924 -x11926 -x11928 -x11930 -x11932 -x11934 -x11936 -x11938 -x11940 -x11942 -x11944 -x11946 -x11948 -x11950 -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 -x12068 -x12070 -x12072 -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 -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 -x12324 -x12326 -x12328 -x12330 -x12332 -x12334 -x12336 -x12338 -x12340 -x12342 -x12344 x12346 -x12348 -x12350 -x12352 -x12354 -x12356 -x12358 -x12360 -x12362 -x12364 -x12366 -x12368 -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 -x12456 -x12458 -x12460 -x12462 -x12464 -x12466 -x12468 -x12470 -x12472 -x12474 -x12476 -x12478 -x12480 -x12482 -x12484 -x12486 -x12488 -x12490 -x12492 -x12494 -x12496 -x12498 -x12500 -x12502 -x12504 -x12506 -x12508 -x12510 -x12512 -x12514 -x12516 -x12518 -x12520 -x12522 -x12524 -x12526 -x12528 -x12530 -x12532 -x12534 -x12536 -x12538 -x12540 -x12542 -x12544 -x12546 -x12548 -x12550 -x12552 -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 -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 -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 -x12732 -x12734 -x12736 -x12738 -x12740 -x12742 -x12744 -x12746 -x12748 -x12750 -x12752 -x12754 -x12756 -x12758 -x12760 -x12762 -x12764 x12766 -x12768 -x12770 -x12772 -x12774 -x12776 -x12778 x12780 -x12782 -x12784 -x12786 -x12788 -x12790 x12792 -x12794 -x12796 -x12798 -x12800 -x12802 -x12804 -x12806 -x12808 -x12810 -x12812 -x12814 -x12816 -x12818 -x12820 -x12822 -x12824 -x12826 -x12828 -x12830 -x12832 -x12834 -x12836 x12838 -x12840 -x12842 -x12844 -x12846 -x12848 -x12850 x12852 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -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 -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 -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 -x1 -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 -x2 -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 -x3 -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 -x4 -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 -x5 -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 -x6 -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 -x7 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x8 -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 -x9 -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 -x10 -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 -x11 -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 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x12 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x13 -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 -x14 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x15 -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 -x16 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x17 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x18 -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 -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 -x1984 -x1986 -x1988 -x1990 -x19 -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 -x2046 -x2048 -x2050 -x2052 -x20 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x21 -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 -x22 -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 -x23 -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 -x24 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x25 -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 -x26 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x27 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x28 -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 -x29 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x30 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x31 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x32 -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 -x33 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x34 -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 -x35 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x36 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x37 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x38 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x39 -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 -x40 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x41 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x42 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x43 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x44 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x45 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x46 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x47 -x3149 -x3151 -x3153 -x48 -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 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x49 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x50 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x51 -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 -x52 -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 -x53 -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 -x54 -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 -x55 -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 -x56 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x57 -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 -x58 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x59 -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 -x60 -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 -x61 -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 -x62 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x63 -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 -x64 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x65 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 x4689 -x4691 -x4693 -x4695 x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x66 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x67 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x68 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x69 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x70 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x71 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -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 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x72 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x73 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x74 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x75 -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 -x76 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x77 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x78 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x79 -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 -x80 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x81 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x82 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x83 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x84 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x85 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 x5535 x86 -x5537 -x5539 -x5541 -x87 -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 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -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 -x5701 x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x88 -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 -x89 -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 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x90 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x91 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x92 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x93 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x94 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 x6035 x95 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x96 -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 -x97 -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 -x98 -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 -x99 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x100 -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 -x101 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x102 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x103 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x104 -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 -x105 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x106 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x107 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x108 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x109 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x110 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x111 -x6659 -x6661 -x6663 -x112 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x113 -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 -x114 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x115 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x116 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x117 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x118 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x119 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x120 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x121 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x122 -x6933 -x6935 -x6937 -x123 -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 -x124 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x125 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x126 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x127 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x128 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x129 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x130 -x7133 -x7135 -x7137 -x131 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x132 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x133 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x134 -x7197 -x7199 -x7201 x135 x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x136 -x7217 -x7219 -x7221 -x137 -x7223 -x7225 x7227 x138 -x7229 -x139 -x7231 -x7233 -x7235 -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 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x140 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x141 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -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 -x142 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7583 -x7585 -x7587 -x7589 -x7591 -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 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x143 -x7667 -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735 -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769 -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7795 -x7797 -x7799 -x7801 -x7803 -x7805 -x7807 -x7809 -x7811 -x7813 -x7815 -x7817 -x7819 -x7821 -x144 -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 -x145 -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 -x146 -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 -x147 -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 -x148 -x8101 -x8103 -x8105 -x8107 -x8109 -x8111 -x8113 -x8115 -x8117 -x8119 -x8121 -x8123 -x8125 -x8127 -x8129 -x149 -x8131 -x8133 -x8135 -x8137 -x8139 -x8141 -x8143 -x8145 -x8147 -x8149 -x8151 -x8153 -x8155 -x8157 -x8159 -x8161 -x8163 -x8166 -x8168 -x8170 -x8172 -x8174 -x8176 -x8178 -x8180 -x8182 -x8184 -x8186 -x8188 -x150 -x8190 -x8192 -x8194 -x8196 -x8198 -x8200 -x8202 -x8204 -x8206 -x8208 -x8210 -x8212 -x8214 -x8216 -x8218 -x151 -x8220 -x8222 -x8224 -x8226 -x8228 -x8230 -x8232 -x8234 -x8236 -x8238 -x8240 -x8242 -x8244 -x8246 -x8248 -x152 -x8250 -x8252 -x8254 -x8256 -x8258 -x8260 -x8262 -x153 -x8264 -x8266 -x8268 -x8270 -x8272 -x8274 -x8276 -x8278 -x8280 -x8282 -x8284 -x8286 -x8288 -x8290 -x8292 -x8294 -x8296 -x8298 -x8300 -x8302 -x8304 -x8306 -x8308 -x8310 -x8312 -x8314 -x8316 -x8318 -x8320 -x8322 -x8324 -x154 -x8326 -x8328 -x8330 -x8332 -x8334 -x8336 -x8338 -x8340 -x8342 -x8344 -x8346 -x8348 -x8350 -x8352 -x8354 -x155 -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 -x156 -x8418 -x8420 -x8422 -x8424 -x8426 -x8428 -x8430 -x8432 -x8434 -x8436 -x8438 -x8440 -x8442 -x8444 -x8446 -x157 -x8448 -x8450 -x8452 -x8454 -x8456 -x8458 -x8460 -x8462 -x8464 -x8466 -x8468 -x8470 -x8472 -x8474 -x8476 -x158 -x8478 -x8480 -x8482 -x8484 -x8486 -x8488 -x8490 -x159 -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 -x160 -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 -x161 -x8646 -x8648 -x8650 -x8652 -x8654 -x8656 -x8658 -x8660 -x8662 -x8664 -x8666 -x8668 -x8670 -x8672 -x8674 -x162 -x8676 -x8678 -x8680 -x8682 -x8684 -x8686 -x8688 -x8690 -x8692 -x8694 -x8696 -x8698 -x8700 -x8702 -x8704 -x163 -x8706 -x8708 -x8710 -x8712 -x8714 -x8716 -x8718 -x164 -x8720 -x8722 -x8724 -x8726 -x8728 -x8730 -x8732 -x8734 -x8736 -x8738 -x8740 -x8742 -x8744 -x8746 -x8748 -x165 -x8750 -x8752 -x8754 -x8756 -x8758 -x8760 -x8762 -x8764 -x8766 -x8768 -x8770 -x8772 -x8774 -x8776 -x8778 -x166 -x8780 -x8782 -x8784 -x8786 -x8788 -x8790 -x8792 -x167 -x8794 -x8796 -x8798 -x8800 -x8802 -x8804 -x8806 -x8808 -x8810 -x8812 -x8814 -x8816 -x8818 -x8820 -x8822 -x168 -x8824 -x8826 -x8828 -x8830 -x8832 -x8834 -x8836 -x169 -x8838 -x8840 -x8842 -x8844 -x8846 -x8848 -x8850 x170 x8852 -x8854 -x8856 -x171 -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 -x172 -x8920 -x8922 -x8924 -x8926 -x8928 -x8930 -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 -x173 -x8982 -x8984 -x8986 -x8988 -x8990 -x8992 -x8994 -x8996 -x8998 -x9000 -x9002 -x9004 -x9006 -x9008 -x9010 -x174 -x9012 -x9014 -x9016 -x9018 -x9020 -x9022 -x9024 -x9026 -x9028 -x9030 -x9032 -x9034 -x9036 -x9038 -x9040 -x9042 -x9044 -x9046 -x9048 -x9050 -x9052 -x9054 -x9056 -x9058 -x9060 -x9062 -x9064 -x9066 -x9068 -x9070 -x9072 -x9074 -x9076 -x9078 -x9080 -x9082 -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 -x175 -x9138 -x9140 -x9142 -x9144 -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 -x176 -x9198 -x9200 -x9202 -x9204 -x9206 -x9208 -x9210 -x9212 -x9214 -x9216 -x9218 -x9220 -x9222 -x9224 -x9226 -x9228 -x9230 -x9232 -x9234 -x9236 -x9238 -x9240 -x9242 -x9244 -x9246 -x9248 -x9250 -x9252 -x9254 -x9256 -x9258 -x177 -x9260 -x9262 -x9264 -x9266 -x9268 -x9270 -x9272 -x9274 -x9276 -x9278 -x9280 -x9282 -x9284 -x9286 -x9288 -x178 -x9290 -x9292 -x9294 -x9296 -x9298 -x9300 -x9302 -x9304 -x9306 -x9308 -x9310 -x9312 -x9314 -x9316 -x9318 -x9320 -x9322 -x9324 -x9326 -x9328 -x9330 -x9332 -x9334 -x9336 -x9338 -x9340 -x9342 -x9344 -x9346 -x9348 -x9350 -x179 -x9352 -x9354 -x9356 -x9358 -x9360 -x9362 -x9364 -x9366 -x9368 -x9370 -x9372 -x9374 -x9376 -x9378 -x9380 -x180 -x9382 -x9384 -x9386 -x9388 -x9390 -x9392 -x9394 -x9396 -x9398 -x9400 -x9402 -x9404 -x9406 -x9408 -x9410 -x181 -x9412 -x9414 -x9416 -x9418 -x9420 -x9422 -x9424 -x182 -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 -x183 -x9488 -x9490 -x9492 -x9494 -x9496 -x9498 -x9500 -x9502 -x9504 -x9506 -x9508 -x9510 -x9512 -x9514 -x9516 -x184 -x9518 -x9520 -x9522 -x9524 -x9526 -x9528 -x9530 -x9532 -x9534 -x9536 -x9538 -x9540 -x9542 -x9544 -x9546 -x185 -x9548 -x9550 -x9552 -x9554 -x9556 -x9558 -x9560 -x186 -x9562 -x9564 -x9566 -x9568 -x9570 -x9572 -x9574 -x9576 -x9578 -x9580 -x9582 -x9584 -x9586 -x9588 -x9590 -x9592 -x9594 -x9596 -x9598 -x9600 -x9602 -x9604 -x9606 -x9608 -x9610 -x9612 -x9614 -x9616 -x9618 -x9620 -x9622 -x187 -x9624 -x9626 -x9628 -x9630 -x9632 -x9634 -x9636 -x9638 -x9640 -x9642 -x9644 -x9646 -x9648 -x9650 -x9652 -x188 -x9654 -x9656 -x9658 -x9660 -x9662 -x9664 -x9666 -x9668 -x9670 -x9672 -x9674 -x9676 -x9678 -x9680 -x9682 -x189 -x9684 -x9686 -x9688 -x9690 -x9692 -x9694 -x9696 -x190 -x9698 -x9700 -x9702 -x9704 -x9706 -x9708 -x9710 -x9712 -x9714 -x9716 -x9718 -x9720 -x9722 -x9724 -x9726 -x191 -x9728 -x9730 -x9732 -x9734 -x9736 -x9738 -x9740 -x192 -x9742 -x9744 -x9746 -x9748 -x9750 -x9752 -x9754 -x193 -x9756 -x9758 -x9760 -x194 -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 -x195 -x9824 -x9826 -x9828 -x9830 -x9832 -x9834 -x9836 -x9838 -x9840 -x9842 -x9844 -x9846 -x9848 -x9850 -x9852 -x196 -x9854 -x9856 -x9858 -x9860 -x9862 -x9864 -x9866 -x9868 -x9870 -x9872 -x9874 -x9876 -x9878 -x9880 -x9882 -x197 -x9884 -x9886 -x9888 -x9890 -x9892 -x9894 -x9896 -x198 -x9898 -x9900 -x9902 -x9904 -x9906 -x9908 -x9910 -x9912 -x9914 -x9916 -x9918 -x9920 -x9922 -x9924 -x9926 -x9928 -x9930 -x9932 -x9934 -x9936 -x9938 -x9940 -x9942 -x9944 -x9946 -x9948 -x9950 -x9952 -x9954 -x9956 -x9958 -x199 -x9960 -x9962 -x9964 -x9966 -x9968 -x9970 -x9972 -x9974 -x9976 -x9978 -x9980 -x9982 -x9984 -x9986 -x9988 -x200 -x9990 -x9992 -x9994 -x9996 -x9998 -x10000 -x10002 -x10004 -x10006 -x10008 -x10010 -x10012 -x10014 -x10016 -x10018 -x201 -x10020 -x10022 -x10024 -x10026 -x10028 -x10030 -x10032 -x202 -x10034 -x10036 -x10038 -x10040 -x10042 -x10044 -x10046 -x10048 -x10050 -x10052 -x10054 -x10056 -x10058 -x10060 -x10062 -x203 -x10064 -x10066 -x10068 -x10070 -x10072 -x10074 -x10076 -x204 -x10078 -x10080 -x10082 -x10084 -x10086 -x10088 -x10090 -x205 -x10092 -x10094 -x10096 -x206 -x10098 -x10100 -x10102 -x10104 -x10106 -x10108 -x10110 -x10112 -x10114 -x10116 -x10118 -x10120 -x10122 -x10124 -x10126 -x207 -x10128 -x10130 -x10132 -x10134 -x10136 -x10138 -x10140 -x208 -x10142 -x10144 -x10146 -x10148 -x10150 -x10152 -x10154 -x10156 -x10158 -x10160 -x10162 -x10164 -x10166 -x10168 -x10170 -x209 -x10172 -x10174 -x10176 -x10178 -x10180 -x10182 -x10184 -x210 -x10186 -x10188 -x10190 -x10192 -x10194 -x10196 -x10198 -x211 -x10200 -x10202 -x212 -x10204 -x10206 -x10208 -x10210 -x10212 -x10214 -x10216 -x10218 -x10220 -x10222 -x10224 -x10226 -x10228 -x10230 -x10232 -x213 -x10234 -x10236 -x10238 -x10240 -x10242 -x10244 -x10246 -x214 -x10248 -x10250 -x10252 -x10254 -x10256 -x10258 -x10260 -x215 -x10262 -x10264 -x10266 -x216 -x10268 -x10270 -x10272 -x10274 -x10276 -x10278 x10280 -x10282 -x10284 -x10286 x217 -x10288 x10290 x10292 x218 -x10294 -x219 -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 -x220 -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 -x221 -x10420 -x10422 -x10424 -x10426 -x10428 -x10430 -x10432 -x10434 -x10436 -x10438 -x10440 -x10442 -x10444 -x10446 -x10448 -x222 -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 -x223 -x10512 -x10514 -x10516 -x10518 -x10520 -x10522 -x10524 -x10526 -x10528 -x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x224 -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 -x225 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616 -x10618 -x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x226 -x10632 -x10634 -x10636 -x10638 -x10640 -x10642 -x10644 -x10646 -x10648 -x10650 -x10652 -x10654 -x10656 -x10658 -x10660 -x227 -x10662 -x10664 -x10666 -x10668 -x10670 -x10672 -x10674 -x228 -x10676 -x10678 -x10680 -x10682 -x10684 -x10686 -x10688 -x10690 -x10692 -x10694 -x10696 -x10699 -x10701 -x10703 -x10705 -x10707 -x10709 -x10711 -x10713 -x10715 -x10717 -x10719 -x10721 -x10723 -x10725 -x10727 -x10729 -x10731 -x10733 -x10735 -x10737 -x10739 -x10741 -x10743 -x10745 -x10747 -x10749 -x10751 -x10753 -x10755 -x10757 -x10759 -x10761 -x10763 -x10765 -x10767 -x10769 -x10771 -x10773 -x10775 -x10777 -x10779 -x10781 -x10783 -x10785 -x10787 -x10789 -x10791 -x10793 -x10795 -x10797 -x10799 -x229 -x10801 -x10803 -x10805 -x10807 -x10809 -x10811 -x10813 -x10815 -x10817 -x10819 -x10821 -x10823 -x10825 -x10827 -x10829 -x10831 -x10833 -x10835 -x10837 -x10839 -x10841 -x10843 -x10845 -x10847 -x10849 -x10851 -x10853 -x10855 -x10857 -x10859 -x10861 -x230 -x10863 -x10865 -x10867 -x10869 -x10871 -x10873 -x10875 -x10877 -x10879 -x10881 -x10883 -x10885 -x10887 -x10889 -x10891 -x10893 -x10895 -x10897 -x10899 -x10901 -x10903 -x10905 -x10907 -x10909 -x10911 -x10913 -x10915 -x10917 -x10919 -x10921 -x231 -x10923 -x10925 -x10927 -x10929 -x10931 -x10933 -x10935 -x10937 -x10939 -x10941 -x10943 -x10945 -x10947 -x10949 -x10951 -x232 -x10953 -x10955 -x10957 -x10959 -x10961 -x10963 -x10965 -x10967 -x10969 -x10971 -x10973 -x10975 -x10977 -x10979 -x10981 -x10983 -x10985 -x10987 -x10989 -x10991 -x10993 -x10995 -x10997 -x10999 -x11001 -x11003 -x11005 -x11007 -x11009 -x11011 -x11013 -x233 -x11015 -x11017 -x11019 -x11021 -x11023 -x11025 -x11027 -x11029 -x11031 -x11033 -x11035 -x11037 -x11039 -x11041 -x11043 -x234 -x11045 -x11047 -x11049 -x11051 -x11053 -x11055 -x11057 -x11059 -x11061 -x11063 -x11065 -x11067 -x11069 -x11071 -x11073 -x235 -x11075 -x11077 -x11079 -x11081 -x11083 -x11085 -x11087 -x236 -x11089 -x11091 -x11093 -x11095 -x11097 -x11099 -x11101 -x11103 -x11105 -x11107 -x11109 -x11111 -x11113 -x11115 -x11117 -x11119 -x11121 -x11123 -x11125 -x11127 -x11129 -x11131 -x11133 -x11135 -x11137 -x11139 -x11141 -x11143 -x11145 -x11147 -x11149 -x237 -x11151 -x11153 -x11155 -x11157 -x11159 -x11161 -x11163 -x11165 -x11167 -x11169 -x11171 -x11173 -x11175 -x11177 -x11179 -x238 -x11181 -x11183 -x11185 -x11187 -x11189 -x11191 -x11193 -x11195 -x11197 -x11199 -x11201 -x11203 -x11205 -x11207 -x11209 -x239 -x11211 -x11213 -x11215 -x11217 -x11219 -x11221 -x11223 -x240 -x11225 -x11227 -x11229 -x11231 -x11233 -x11235 -x11237 -x11239 -x11241 -x11243 -x11245 -x11247 -x11249 -x11251 -x11253 -x241 -x11255 -x11257 -x11259 -x11261 -x11263 -x11265 -x11267 -x11269 -x11271 x11273 -x11275 -x11277 -x11279 -x11281 -x242 -x11283 -x11285 -x11287 -x243 -x11289 -x11291 -x11293 -x11295 -x11297 -x11299 -x11301 -x11303 -x11305 -x11307 -x11309 -x11311 -x11313 -x11315 -x11317 -x244 -x11319 -x11321 -x11323 -x11325 -x11327 -x11329 -x11331 -x11333 -x11335 -x11337 -x11339 -x11341 -x11343 -x11345 -x11347 -x11349 -x11351 -x11353 -x11355 -x11357 -x11359 -x11361 -x11363 -x11365 -x11367 -x11369 -x11371 -x11373 -x11375 -x11377 -x11379 -x245 -x11381 -x11383 -x11385 -x11387 -x11389 -x11391 -x11393 -x11395 -x11397 -x11399 -x11401 -x11403 -x11405 -x11407 -x11409 -x246 -x11411 -x11413 -x11415 -x11417 -x11419 -x11421 -x11423 -x11425 -x11427 -x11429 -x11431 -x11433 -x11435 -x11437 -x11439 -x247 -x11441 -x11443 -x11445 -x11447 -x11449 -x11451 -x11453 -x248 -x11455 -x11457 -x11459 -x11461 -x11463 -x11465 -x11467 -x11469 -x11471 -x11473 -x11475 -x11477 -x11479 -x11481 -x11483 -x249 -x11485 -x11487 -x11489 -x11491 -x11493 -x11495 -x11497 -x11499 -x11501 -x11503 -x11505 -x11507 -x11509 -x11511 -x11513 -x250 -x11515 -x11517 -x11519 -x11521 -x11523 -x11525 -x11527 -x251 -x11529 -x11531 -x11533 -x11535 -x11537 -x11539 -x11541 -x11543 -x11545 -x11547 -x11549 -x11551 -x11553 -x11555 -x11557 -x252 -x11559 -x11561 -x11563 -x11565 -x11567 -x11569 -x11571 -x253 -x11573 -x11575 -x11577 -x11579 -x11581 -x11583 -x11585 -x254 -x11587 -x11589 -x11591 -x255 -x11593 -x11595 -x11597 -x11599 -x11601 -x11603 -x11605 -x11607 -x11609 -x11611 -x11613 -x11615 -x11617 -x11619 -x11621 -x11623 -x11625 -x11627 -x11629 -x11631 -x11633 -x11635 -x11637 -x11639 -x11641 -x11643 -x11645 -x11647 -x11649 -x11651 -x11653 -x256 -x11655 -x11657 -x11659 -x11661 -x11663 -x11665 -x11667 -x11669 -x11671 -x11673 -x11675 -x11677 -x11679 -x11681 -x11683 -x257 -x11685 -x11687 -x11689 -x11691 -x11693 -x11695 -x11697 -x11699 -x11701 -x11703 -x11705 -x11707 -x11709 -x11711 -x11713 -x258 -x11715 -x11717 -x11719 -x11721 -x11723 -x11725 -x11727 -x259 -x11729 -x11731 -x11733 -x11735 -x11737 -x11739 -x11741 -x11743 -x11745 -x11747 -x11749 -x11751 -x11753 -x11755 -x11757 -x260 -x11759 -x11761 -x11763 -x11765 -x11767 -x11769 -x11771 -x261 -x11773 -x11775 -x11777 -x11779 -x11781 -x11783 -x11785 -x262 -x11787 -x11789 -x11791 -x263 -x11793 -x11795 -x11797 -x11799 -x11801 -x11803 -x11805 -x11807 -x11809 -x11811 -x11813 -x11815 -x11817 -x11819 -x11821 -x264 -x11823 -x11825 -x11827 -x11829 -x11831 -x11833 -x11835 -x265 -x11837 -x11839 -x11841 -x11843 -x11845 -x11847 -x11849 -x266 -x11851 -x11853 -x11855 -x267 -x11857 -x11859 -x11861 -x11863 -x11865 -x11867 -x11869 -x268 -x11871 -x11873 -x11875 -x269 -x11877 -x11879 -x11881 -x270 -x11883 -x271 -x11885 -x11887 -x11889 -x11891 -x11893 -x11895 -x11897 -x11899 -x11901 -x11903 -x11905 -x11907 -x11909 -x11911 -x11913 -x272 -x11915 -x11917 -x11919 -x11921 -x11923 -x11925 -x11927 -x11929 -x11931 -x11933 -x11935 -x11937 -x11939 -x11941 -x11943 -x11945 -x11947 -x11949 -x11951 -x11953 -x11955 -x11957 -x11959 -x11961 -x11963 -x11965 -x11967 -x11969 -x11971 -x11973 -x273 -x11975 -x11977 -x11979 -x11981 -x11983 -x11985 -x11987 -x11989 -x11991 -x11993 -x11995 -x11997 -x11999 -x12001 -x12003 -x274 -x12005 -x12007 -x12009 -x12011 -x12013 -x12015 -x12017 -x12019 -x12021 -x12023 -x12025 -x12027 -x12029 -x12031 -x12033 -x275 -x12035 -x12037 -x12039 -x12041 -x12043 -x12045 -x12047 -x276 -x12049 -x12051 -x12053 -x12055 -x12057 -x12059 -x12061 -x12063 -x12065 -x12067 -x12069 -x12071 -x12073 -x12075 -x12077 -x12079 -x12081 -x12083 -x12085 -x12087 -x12089 -x12091 -x12093 -x12095 -x12097 -x12099 -x12101 -x12103 -x12105 -x12107 -x12109 -x277 -x12111 -x12113 -x12115 -x12117 -x12119 -x12121 -x12123 -x12125 -x12127 -x12129 -x12131 -x12133 -x12135 -x12137 -x12139 -x278 -x12141 -x12143 -x12145 -x12147 -x12149 -x12151 -x12153 -x12155 -x12157 -x12159 -x12161 -x12163 -x12165 -x12167 -x12169 -x279 -x12171 -x12173 -x12175 -x12177 -x12179 -x12181 -x12183 -x280 -x12185 -x12187 -x12189 -x12191 -x12193 -x12195 -x12197 -x12199 -x12201 -x12203 -x12205 -x12207 -x12209 -x12211 -x12213 -x281 -x12215 -x12217 -x12219 -x12221 -x12223 -x12225 -x12227 -x282 -x12229 -x12231 -x12233 -x12235 -x12237 -x12239 -x12241 -x12243 x12245 -x12247 -x283 -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 -x284 -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 -x285 -x12369 -x12371 -x12373 -x12375 -x12377 -x12379 -x12381 -x286 -x12383 -x12385 -x12387 -x12389 -x12391 -x12393 -x12395 -x12397 -x12399 -x12401 -x12403 -x12405 -x12407 -x12409 -x12411 -x287 -x12413 -x12415 -x12417 -x12419 -x12421 -x12423 -x288 -x12425 -x12427 -x12429 -x12431 -x12433 -x12435 -x12437 -x289 -x12439 -x12441 -x12443 -x290 -x12445 -x12447 -x12449 -x12451 -x12453 -x12455 -x12457 -x12459 -x12461 -x12463 -x12465 -x12467 -x12469 -x12471 -x12473 -x291 -x12475 -x12477 -x12479 -x12481 -x12483 -x12485 -x12487 -x292 -x12489 -x12491 -x12493 -x12495 -x12497 -x12499 -x12501 -x293 -x12503 -x12505 -x294 -x12507 -x12509 -x12511 -x12513 -x12515 -x12517 -x12519 -x295 -x12521 -x12523 -x12525 -x296 -x12527 -x12529 -x12531 -x297 -x12533 -x298 -x12535 -x12537 -x12539 -x12541 -x12543 -x12545 -x12547 -x12549 -x12551 -x12553 -x12555 -x12557 -x12559 -x12561 -x12563 -x12565 -x12567 -x12569 -x12571 x12573 -x12575 -x12577 -x299 -x12579 -x12581 -x12583 -x12585 -x12587 -x12589 -x12591 -x12593 -x12595 -x12597 -x12599 -x12601 -x12603 -x12605 -x12607 -x300 -x12609 -x12611 -x12613 -x12615 -x12617 -x12619 -x12621 -x12623 -x12625 -x12627 -x12629 x12631 -x12633 -x12635 x301 x12637 -x12639 -x12641 -x302 -x12643 -x12645 -x12647 -x12649 -x12651 -x12653 -x12655 -x12657 -x12659 -x12661 -x12663 -x12665 -x12667 -x12669 -x12671 -x303 -x12673 -x12675 -x12677 -x12679 -x12681 -x12683 -x12685 -x304 -x12687 -x12689 -x12691 -x12693 -x12695 -x12697 -x12699 -x305 -x12701 -x12703 -x12705 -x306 -x12707 -x12709 -x12711 -x12713 -x12715 -x12717 -x12719 -x307 -x12721 -x12723 -x12725 -x308 -x12727 -x12729 -x12731 -x309 -x12733 -x310 -x12735 -x12737 -x12739 -x12741 -x12743 -x12745 -x12747 -x12749 -x12751 -x12753 -x12755 -x12757 -x12759 -x12761 -x12763 x12765 -x12767 -x12769 -x12771 -x12773 -x12775 -x12777 x12779 -x12781 -x12783 -x12785 -x12787 x311 -x12789 x12791 -x12793 -x312 -x12795 -x12797 -x12799 -x12801 -x12803 -x12805 -x12807 -x313 -x12809 -x12811 -x314 -x12813 -x12815 -x12817 -x315 -x12819 -x316 -x12821 -x12823 -x12825 -x12827 -x12829 -x12831 -x317 -x12833 -x12835 x12837 x318 -x12839 -x12841 -x12843 -x319 -x12845 -x320 -x12847 -x12849 -x321 x12851 x322 x323 1797.96/1798.33 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.33 c 24 469094 298341 1997403 77305 6941958 43482 260 1798.01 1797.96/1798.33 c Objective: 31 1797.96/1798.33 s SATISFIABLE 1797.96/1798.33 c Total time: 1798.01 s
OK 31
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735855-1338724601/watcher-3735855-1338724601 -o /tmp/evaluation-result-3735855-1338724601/solver-3735855-1338724601 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735855-1338724601.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/174 20418 /proc/meminfo: memFree=25853348/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=12444 CPUtime=0 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 338585537 12742656 375 33554432000 134512640 137136520 4288298032 4288296280 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 3111 375 189 641 0 2162 0 [startup+0.0224389 s] /proc/loadavg: 2.02 2.01 2.00 3/174 20418 /proc/meminfo: memFree=25853348/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=13592 CPUtime=0.02 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 776 0 0 0 2 0 0 0 20 0 1 0 338585537 13918208 730 33554432000 134512640 137136520 4288298032 4288296560 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 3398 731 245 641 0 2449 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13592 [startup+0.100266 s] /proc/loadavg: 2.02 2.01 2.00 3/174 20418 /proc/meminfo: memFree=25853348/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=18920 CPUtime=0.09 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2631 0 0 0 9 0 0 0 20 0 1 0 338585537 19374080 2280 33554432000 134512640 137136520 4288298032 4288142508 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 4730 2280 189 641 0 4086 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18920 [startup+0.300285 s] /proc/loadavg: 2.02 2.01 2.00 3/174 20418 /proc/meminfo: memFree=25853348/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=19392 CPUtime=0.28 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2855 0 0 0 26 2 0 0 20 0 1 0 338585537 19857408 2402 33554432000 134512640 137136520 4288298032 4288296624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 4848 2402 198 641 0 4204 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 19392 [startup+0.700236 s] /proc/loadavg: 2.02 2.01 2.00 3/174 20418 /proc/meminfo: memFree=25853348/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=19392 CPUtime=0.68 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2857 0 0 0 66 2 0 0 20 0 1 0 338585537 19857408 2404 33554432000 134512640 137136520 4288298032 4288296628 136499618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 4848 2404 198 641 0 4204 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 19392 [startup+1.50026 s] /proc/loadavg: 2.02 2.01 2.00 3/175 20419 /proc/meminfo: memFree=25844204/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=19392 CPUtime=1.49 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2870 0 0 0 145 4 0 0 20 0 1 0 338585537 19857408 2417 33554432000 134512640 137136520 4288298032 4288297148 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 4848 2417 198 641 0 4204 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19392 [startup+3.10024 s] /proc/loadavg: 2.01 2.01 2.00 3/175 20419 /proc/meminfo: memFree=25843832/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=19456 CPUtime=3.09 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 11501 0 0 0 304 5 0 0 20 0 1 0 338585537 19922944 2435 33554432000 134512640 137136520 4288298032 4288296960 134544398 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 4864 2435 198 641 0 4220 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19456 [startup+6.30024 s] /proc/loadavg: 2.01 2.01 2.00 3/175 20419 /proc/meminfo: memFree=25842560/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=20088 CPUtime=6.28 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 33260 0 0 0 620 8 0 0 20 0 1 0 338585537 20570112 2593 33554432000 134512640 137136520 4288298032 4288297148 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 5022 2593 198 641 0 4378 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20088 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/175 20419 /proc/meminfo: memFree=25839344/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=21268 CPUtime=12.69 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 94630 0 0 0 1251 18 0 0 20 0 1 0 338585537 21778432 2888 33554432000 134512640 137136520 4288298032 4288296396 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 5358 2897 198 641 0 4714 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21268 [startup+25.5002 s] /proc/loadavg: 2.01 2.01 2.00 3/175 20419 /proc/meminfo: memFree=25834312/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=24912 CPUtime=25.48 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 220650 0 0 0 2513 35 0 0 20 0 1 0 338585537 25509888 3799 33554432000 134512640 137136520 4288298032 4288296540 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 6228 3799 198 641 0 5584 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24912 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20419 /proc/meminfo: memFree=25826988/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=31532 CPUtime=51.08 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 530250 0 0 0 5027 81 0 0 20 0 1 0 338585537 32288768 5437 33554432000 134512640 137136520 4288298032 4288296688 134598069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 7883 5437 198 641 0 7239 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31532 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20420 /proc/meminfo: memFree=25779152/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=46976 CPUtime=102.26 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 935448 0 0 0 10086 140 0 0 20 0 1 0 338585537 48103424 9330 33554432000 134512640 137136520 4288298032 4288296884 136509014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 11744 9330 198 641 0 11100 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 46976 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20420 /proc/meminfo: memFree=25771004/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=50376 CPUtime=162.25 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1038876 0 0 0 16065 160 0 0 20 0 1 0 338585537 51585024 10163 33554432000 134512640 137136520 4288298032 4288297148 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 12594 10163 198 641 0 11950 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 50376 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 20423 /proc/meminfo: memFree=25804228/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=50380 CPUtime=222.24 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1038877 0 0 0 22059 165 0 0 20 0 1 0 338585537 51589120 10164 33554432000 134512640 137136520 4288298032 4288296356 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 12595 10164 198 641 0 11951 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 50380 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 20446 /proc/meminfo: memFree=25770548/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=54872 CPUtime=282.23 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1160469 0 0 0 28039 184 0 0 20 0 1 0 338585537 56188928 11289 33554432000 134512640 137136520 4288298032 4288296688 134598079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 13718 11289 198 641 0 13074 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 54872 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20446 /proc/meminfo: memFree=25769428/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=54872 CPUtime=342.22 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1160471 0 0 0 34035 187 0 0 20 0 1 0 338585537 56188928 11289 33554432000 134512640 137136520 4288298032 4288235096 134598538 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 13718 11289 198 641 0 13074 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 54872 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20447 /proc/meminfo: memFree=25760800/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=64908 CPUtime=402.2 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1531485 0 0 0 39973 247 0 0 20 0 1 0 338585537 66465792 13802 33554432000 134512640 137136520 4288298032 4288296960 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 16227 13802 198 641 0 15583 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 64908 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20447 /proc/meminfo: memFree=25755640/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=64908 CPUtime=462.19 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1531485 0 0 0 45968 251 0 0 20 0 1 0 338585537 66465792 13802 33554432000 134512640 137136520 4288298032 4288296960 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 16227 13802 198 641 0 15583 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 64908 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20447 /proc/meminfo: memFree=25762692/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=64920 CPUtime=522.19 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1531488 0 0 0 51962 257 0 0 20 0 1 0 338585537 66478080 13805 33554432000 134512640 137136520 4288298032 4288235272 134599210 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 16230 13805 198 641 0 15586 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 64920 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20447 /proc/meminfo: memFree=25745188/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=64920 CPUtime=582.17 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 1531488 0 0 0 57956 261 0 0 20 0 1 0 338585537 66478080 13805 33554432000 134512640 137136520 4288298032 4288296800 134574410 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 16230 13805 198 641 0 15586 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 64920 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25631908/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=113484 CPUtime=1062.08 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2308924 0 0 0 105799 409 0 0 20 0 1 0 338585537 116207616 25925 33554432000 134512640 137136520 4288298032 4288296960 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28371 25925 198 641 0 27727 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 113484 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20452 /proc/meminfo: memFree=25639040/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115460 CPUtime=1122.07 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 111792 415 0 0 20 0 1 0 338585537 118231040 26419 33554432000 134512640 137136520 4288298032 4288297136 134545059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28865 26419 198 641 0 28221 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 115460 [startup+1182.3 s] /proc/loadavg: 2.08 2.02 2.01 3/175 20452 /proc/meminfo: memFree=25646072/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115460 CPUtime=1182.06 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 117787 419 0 0 20 0 1 0 338585537 118231040 26419 33554432000 134512640 137136520 4288298032 4288296800 134573541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28865 26419 198 641 0 28221 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 115460 [startup+1242.3 s] /proc/loadavg: 2.03 2.01 2.00 3/175 20452 /proc/meminfo: memFree=25673108/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115460 CPUtime=1242.05 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 123782 423 0 0 20 0 1 0 338585537 118231040 26419 33554432000 134512640 137136520 4288298032 4288297148 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28865 26419 198 641 0 28221 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 115460 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/175 20453 /proc/meminfo: memFree=25641856/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115100 CPUtime=1302.05 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 129779 426 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288296960 134544348 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 115100 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20453 /proc/meminfo: memFree=25672920/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115100 CPUtime=1362.03 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 135772 431 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288296356 136498241 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 115100 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/176 20456 /proc/meminfo: memFree=25640172/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115100 CPUtime=1422.03 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326233 0 0 0 141766 437 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288296624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 115100 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20456 /proc/meminfo: memFree=25628932/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115100 CPUtime=1482.01 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326289 0 0 0 147761 440 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288296952 135982505 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 115100 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/175 20456 /proc/meminfo: memFree=25625956/32873852 swapFree=6860/6860 [pid=20418] ppid=20416 vsize=115100 CPUtime=1542 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326289 0 0 0 153755 445 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288297148 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 115100 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 20457 /proc/meminfo: memFree=25636688/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=115100 CPUtime=1602 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2326289 0 0 0 159750 450 0 0 20 0 1 0 338585537 117862400 26361 33554432000 134512640 137136520 4288298032 4288296624 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 28775 26361 198 641 0 28131 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 115100 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20457 /proc/meminfo: memFree=25636028/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=124272 CPUtime=1661.99 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2334189 0 0 0 165742 457 0 0 20 0 1 0 338585537 127254528 28643 33554432000 134512640 137136520 4288298032 4288296960 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31068 28643 198 641 0 30424 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 124272 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20457 /proc/meminfo: memFree=25604448/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1721.97 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336394 0 0 0 171735 462 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296672 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 127340 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20457 /proc/meminfo: memFree=25602888/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1781.96 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 177728 468 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296408 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 127340 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25741924/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1791.56 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 178688 468 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296960 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 127340 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25735996/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1794.76 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 179008 468 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296672 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 127340 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25734012/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1796.36 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 179167 469 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296960 134544127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1796.36 Current children cumulated vsize (KiB) 127340 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25731656/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1797.16 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 179247 469 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296860 136293435 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 127340 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25731656/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1797.56 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 179287 469 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296960 134544890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (KiB) 127340 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 20505 /proc/meminfo: memFree=25731656/32873852 swapFree=6856/6856 [pid=20418] ppid=20416 vsize=127340 CPUtime=1797.96 cores=1,3,5,7 /proc/20418/stat : 20418 (bsolo) R 20416 20418 18547 0 -1 4202496 2336400 0 0 0 179327 469 0 0 20 0 1 0 338585537 130396160 29405 33554432000 134512640 137136520 4288298032 4288296960 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/20418/statm: 31835 29405 198 641 0 31191 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 127340 Child status: 0 Real time (s): 1798.34 CPU time (s): 1798.01 CPU user time (s): 1793.32 CPU system time (s): 4.69229 CPU usage (%): 99.9815 Max. virtual memory (cumulated for all children) (KiB): 127340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.32 system time used= 4.69229 maximum resident set size= 117624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2336402 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= 57 involuntary context switches= 1845 runsolver used 2.97955 second user time and 8.5767 second system time The end
Begin job on node129 at 2012-06-03 13:56:41 IDJOB=3735855 IDBENCH=25001 IDSOLVER=2320 FILE ID=node129/3735855-1338724601 RUNJOBID= node129-1338702975-18564 PBS_JOBID= 14636718 Free space on /tmp= 70476 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735855-1338724601/watcher-3735855-1338724601 -o /tmp/evaluation-result-3735855-1338724601/solver-3735855-1338724601 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735855-1338724601.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=379560315 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.957 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25853892 kB Buffers: 463032 kB Cached: 5641016 kB SwapCached: 0 kB Active: 2608712 kB Inactive: 3533532 kB Active(anon): 29624 kB Inactive(anon): 10748 kB Active(file): 2579088 kB Inactive(file): 3522784 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13036 kB Writeback: 0 kB AnonPages: 97492 kB Mapped: 15172 kB Shmem: 204 kB Slab: 741652 kB SReclaimable: 183792 kB SUnreclaim: 557860 kB KernelStack: 1464 kB PageTables: 3884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 158396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 53248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735855-1338724601.opb Free space on /tmp at the end= 70472 MiB End job on node129 at 2012-06-03 14:26:39