362.20/362.27 c - Reading the instance.. OK! Totally clauses: 118192; Vars: 40371; Time: 0.08
362.20/362.27 c - Unit propagation.. OK! Removed clauses: 2; Time: 0.00
362.20/362.27 c - Delete by resolution.. OK! Removed clauses: 1367; Time: 0.83
362.20/362.27 c - Solving the original instance..
362.20/362.27 c - yet UNKNOWN! Continue to clause elimination..
362.20/362.27 c - round: 1; Skips in previous round: 0
362.20/362.27 c - clauses done: 1%; among them skipped: 0.42%;
362.20/362.27 c - clauses done: 10%; among them skipped: 0.20%;
362.20/362.27 c - round: 2; Skips in previous round: 24
362.20/362.27 c - clauses done: 1%; among them skipped: 0.00%;
362.20/362.27 c - clauses done: 10%; among them skipped: 0.00%;
362.20/362.27 c - Finish! Unsat core size: 18679 / 118192; Time: 361.42 s
362.20/362.27 c - ---------------------------------------------------------------------------
362.20/362.27 c - Statistics: | unit | BCE | sat-saved | sat-check | unsat-check |
362.20/362.27 c - | 2 | 88700 | 12731 | 5948 | 10811 |
362.20/362.27 c - ---------------------------------------------------------------------------
362.20/362.27 s UNSATISFIABLE
362.20/362.27 v 3 6 7 8 12 15 16 17 21 24 25 26 30 33 34 35 39 42 43 44 48 51 52 53 57 60 63 66 69 72 73 74 76 77 81 82 83 85 86 90 91 92 94 95 99 100 101 103 104 108 109 110 112 113 117 118 119 121 122 126 127 128 130 131 133 134 136 137 139 140 144 151 152 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 410 547 552 553 554 555 556 557 558 559 560 561 562 563 565 566 570 571 572 573 574 575 576 577 578 579 580 581 583 584 588 589 590 591 592 593 594 595 596 597 598 599 601 602 606 607 608 609 610 611 612 613 614 615 616 617 619 620 624 625 626 627 628 629 630 631 632 633 634 635 637 638 642 643 644 645 646 647 648 649 650 651 652 653 655 656 660 661 662 664 665 667 668 670 671 673 674 676 677 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 771 774 775 776 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 798 801 802 803 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 825 828 829 830 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 852 855 856 857 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 879 882 883 884 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 906 909 910 911 915 918 921 924 927 928 929 931 932 936 939 940 941 945 948 949 950 954 957 958 959 963 966 967 968 972 975 976 977 981 984 985 986 990 993 996 999 1002 1005 1006 1007 1009 1010 1014 1015 1016 1018 1019 1023 1024 1025 1027 1028 1032 1033 1034 1036 1037 1041 1042 1043 1045 1046 1050 1051 1052 1054 1055 1059 1060 1061 1063 1064 1066 1067 1069 1070 1072 1073 1077 1159 1160 1161 1164 1168 1172 1173 1174 1177 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1190 1191 1192 1195 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1208 1209 1210 1213 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1226 1227 1228 1231 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1244 1245 1246 1249 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1262 1263 1264 1267 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1295 1296 1297 1300 1301 1303 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1321 1322 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1339 1340 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1357 1358 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1375 1376 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1393 1394 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1411 1412 1416 1417 1418 1420 1421 1423 1424 1426 1427 1429 1430 1432 1433 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1506 1508 1509 1510 1513 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1566 1569 1570 1571 1574 1575 1576 1579 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1611 1614 1615 1616 1619 1620 1621 1624 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1656 1659 1660 1661 1664 1665 1666 1669 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1701 1704 1705 1706 1709 1710 1711 1714 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1746 1749 1750 1751 1754 1755 1756 1759 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1791 1794 1795 1796 1800 1803 1806 1809 1812 1813 1814 1816 1817 1821 1831 1832 1833 1834 1835 1836 1837 1838 1839 1849 1850 1851 1852 1853 1854 1855 1856 1857 1867 1868 1869 1870 1871 1872 1873 1874 1875 1885 1886 1887 1888 1889 1890 1891 1892 1893 1903 1904 1905 1906 1907 1908 1909 1910 1911 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1947 2074 2077 2080 2081 2082 2084 2085 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2108 2109 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2126 2127 2129 2130 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2150 2151 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2171 2172 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2189 2190 2192 2193 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2213 2214 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2228 2229 2231 2232 2234 2235 2237 2238 2240 2241 2243 2244 2246 2247 2248 2249 2250 2252 2253 2255 2256 2258 2259 2260 2261 2262 2264 2265 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2300 2301 2303 2304 2305 2306 2307 2309 2310 2311 2312 2313 2315 2316 2318 2319 2320 2321 2322 2324 2325 2326 2327 2328 2329 2330 2331 2335 2339 2341 2342 2345 2348 2351 2354 2357 2360 2363 2365 2369 2370 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2405 2406 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2441 2442 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2477 2478 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2513 2514 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2549 2550 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2585 2586 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2737 2738 2739 2740 2741 2742 2743 2747 2748 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2800 2801 2802 2803 2804 2805 2806 2810 2811 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2863 2864 2865 2866 2867 2868 2869 2873 2874 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2926 2927 2928 2929 2930 2931 2932 2936 2937 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2989 2990 2991 2992 2993 2994 2995 2999 3000 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3052 3053 3054 3055 3056 3057 3058 3062 3063 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3618 3619 3620 4663 4777 4778 4780 4784 4787 4790 4791 4793 4794 4796 4797 4799 4800 5110 5116 5119 5120 5121 5123 5124 5125 5127 5128 5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141 5142 5143 5144 5145 5146 5147 5148 5149 5150 5151 5152 5153 5154 5155 5156 5157 5158 5159 5160 5161 5162 5163 5164 5165 5166 5167 5168 5169 5170 5171 5172 5173 5174 5175 5176 5177 5178 5179 5180 5181 5182 5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197 5198 5199 5200 5201 5202 5203 5204 5205 5206 5207 5208 5209 5210 5211 5212 5213 5214 5215 5216 5217 5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230 5231 5232 5233 5234 5235 5236 5237 5238 5239 5240 5241 5242 5243 5244 5245 5246 5247 5248 5249 5250 5251 5252 5253 5254 5255 5256 5257 5258 5259 5260 5261 5262 5263 5264 5265 5266 5267 5268 5269 5270 5271 5272 5273 5274 5276 5277 5278 5279 5280 5281 5282 5283 5284 5285 5286 5287 5288 5289 5290 5291 5292 5293 5294 5295 5296 5297 5298 5299 5300 5301 5302 5303 5304 5305 5306 5307 5308 5309 5310 5311 5312 5313 5314 5315 5316 5317 5318 5319 5320 5321 5322 5323 5324 5325 5326 5327 5328 5329 5330 5331 5332 5333 5334 5335 5336 5337 5338 5339 5340 5341 5342 5343 5344 5345 5346 5347 5348 5349 5352 5355 5356 5357 5361 5364 5365 5366 5370 5373 5374 5375 5379 5382 5383 5384 5388 5391 5392 5393 5397 5400 5401 5402 5406 5409 5412 5415 5418 5419 5421 5422 5423 5424 5425 5426 5427 5429 5430 5431 5432 5433 5436 5439 5440 5441 5443 5444 5445 5447 5448 5449 5450 5451 5454 5457 5458 5459 5461 5462 5463 5464 5465 5466 5467 5468 5469 5471 5472 5473 5474 5475 5477 5478 5479 5481 5482 5483 5484 5485 5486 5487 5489 5490 5491 5492 5493 5495 5496 5497 5499 5500 5501 5502 5504 5505 5506 5507 5508 5510 5511 5513 5514 5515 5516 5518 5519 5523 5533 5545 5546 5547 5548 5549 5550 5551 5552 5553 5554 5555 5556 5557 5558 5559 5561 5562 5564 5565 5567 5568 5578 5581 5582 5583 5593 5594 5595 5596 5597 5598 5599 5600 5601 5602 5603 5604 5605 5606 5607 5608 5609 5610 5611 5612 5613 5614 5615 5616 5618 5619 5621 5622 5624 5625 5635 5638 5639 5640 5650 5651 5652 5653 5654 5655 5656 5657 5658 5659 5660 5661 5662 5663 5664 5665 5666 5667 5668 5669 5670 5671 5672 5673 5674 5675 5676 5678 5679 5681 5682 5684 5685 5695 5698 5699 5700 5710 5711 5712 5713 5714 5715 5716 5717 5718 5719 5720 5721 5722 5723 5724 5725 5726 5727 5728 5729 5730 5731 5732 5733 5734 5735 5736 5738 5739 5741 5742 5744 5745 5755 5758 5759 5760 5770 5771 5772 5773 5774 5775 5776 5777 5778 5779 5780 5781 5782 5783 5784 5785 5786 5787 5788 5789 5790 5791 5792 5793 5794 5795 5796 5798 5799 5801 5802 5804 5805 5815 5818 5819 5820 5830 5831 5832 5833 5834 5835 5836 5837 5838 5839 5840 5841 5842 5843 5844 5845 5846 5847 5848 5849 5850 5851 5852 5853 5854 5855 5856 5858 5859 5861 5862 5864 5865 5875 5878 5879 5880 5890 5891 5892 5893 5894 5895 5896 5897 5898 5899 5900 5901 5902 5903 5904 5905 5906 5907 5908 5909 5910 5911 5912 5913 5914 5915 5916 5918 5919 5921 5922 5924 5925 5935 5936 5937 5938 5939 5940 5941 5942 5943 5945 5946 5948 5949 5951 5952 5953 5954 5955 5956 5957 5958 5959 5960 5961 5963 5964 5966 5967 5968 5969 5970 5971 5972 5973 5975 5976 5977 5978 5979 5981 5982 5984 5985 5987 5988 5989 5990 5991 5992 5993 5994 5995 5996 5997 5999 6000 6002 6003 6005 6006 6007 6008 6009 6011 6012 6013 6014 6015 6017 6018 6020 6021 6022 6023 6024 6025 6026 6027 6029 6030 6031 6032 6033 6035 6036 6038 6039 6119 6122 6125 6128 6130 6131 6133 6134 6136 6137 6139 6140 6142 6143 6145 6146 6148 6149 6151 6152 8110 9730 9917 9931 9942 9943 9944 9945 9946 9947 9948 9949 9950 9951 9952 9953 9954 9956 9957 9958 9959 9960 9961 9962 9963 9964 9965 9966 9967 9968 9970 9971 9972 9973 9974 9975 9976 9977 9985 9989 9992 9995 9997 10002 10005 10006 10007 10009 10011 10013 10014 10015 10016 10017 10019 10020 10021 10023 10024 10025 10026 10030 10035 10038 10039 10040 10042 10046 10047 10049 10050 10052 10053 10055 10056 10058 10059 10060 10061 10062 10063 10064 10065 10067 10068 10069 10070 10071 10072 10073 10074 10075 10076 10077 10079 10080 10082 10083 10095 10098 10099 10100 10102 10105 10106 10107 10108 10109 10110 10111 10112 10113 10115 10116 10118 10119 10131 10134 10135 10136 10138 10141 10142 10143 10144 10145 10146 10147 10148 10149 10151 10152 10154 10155 10167 10170 10171 10172 10174 10177 10178 10179 10180 10181 10182 10183 10184 10185 10187 10188 10190 10191 10203 10206 10207 10208 10210 10213 10214 10215 10216 10217 10218 10219 10220 10221 10223 10224 10226 10227 10239 10242 10243 10244 10246 10249 10250 10251 10252 10253 10254 10255 10256 10257 10259 10260 10262 10263 10275 10278 10279 10280 10282 10285 10286 10287 10288 10289 10290 10291 10292 10293 10295 10296 10298 10299 10311 10314 10315 10316 10320 10323 10326 10329 10332 10335 10336 10339 10340 10341 10342 10343 10344 10345 10346 10347 10349 10350 10352 10353 10356 10359 10360 10361 10363 10366 10367 10368 10369 10370 10371 10372 10373 10374 10376 10377 10379 10380 10383 10386 10387 10388 10390 10393 10394 10395 10396 10397 10398 10399 10400 10401 10403 10404 10406 10407 10410 10413 10414 10415 10417 10420 10421 10422 10423 10424 10425 10426 10427 10428 10430 10431 10433 10434 10437 10440 10441 10442 10444 10447 10448 10449 10450 10451 10452 10453 10454 10455 10457 10458 10460 10461 10464 10467 10468 10469 10471 10474 10475 10476 10477 10478 10479 10480 10481 10482 10484 10485 10487 10488 10491 10494 10495 10496 10498 10501 10502 10503 10504 10505 10506 10507 10508 10509 10511 10512 10514 10515 10518 10521 10522 10523 10527 10530 10533 10536 10539 10542 10543 10544 10548 11650 11652 11796 11799 11800 11801 11805 11807 11811 11813 11817 11819 11823 12209 12211 12214 12218 12222 12225 12227 12231 12234 12237 12242 12271 12272 12276 12280 12283 12284 12288 12290 12292 12293 12296 12333 12336 12339 12342 12343 12344 12347 12349 12350 12353 12427 12431 12434 12437 12440 12443 12446 12449 12452 12454 12455 12458 12655 12658 12659 12662 12664 12668 12670 12671 12674 12677 12680 12683 12686 12689 12692 12695 12863 12866 12869 12872 12875 12878 12881 12884 12887 12890 12893 15487 18131 18134 18137 18140 18143 18146 18149 18152 18155 20578 20878 20882 20883 20911 20915 20916 20918 20919 20947 20951 20952 20954 20955 20983 20987 20988 20990 20991 21019 21023 21024 21026 21027 21055 21059 21060 21062 21063 21091 21095 21096 21098 21099 21127 21131 21132 21134 21135 21176 21191 21193 21196 21197 21198 21199 21200 21201 21202 21203 21204 21206 21207 21209 21210 21213 21214 21215 21217 21218 21220 21221 21487 21490 21491 21492 21493 21494 21495 21496 21497 21498 21500 21501 21503 21504 21541 21544 21545 21546 21547 21548 21549 21550 21551 21552 21554 21555 21557 21558 21595 21598 21599 21600 21601 21602 21603 21604 21605 21606 21608 21609 21611 21612 21649 21652 21653 21654 21655 21656 21657 21658 21659 21660 21662 21663 21665 21666 21703 21706 21707 21708 21709 21710 21711 21712 21713 21714 21716 21717 21719 21720 21757 21760 21761 21762 21763 21764 21765 21766 21767 21768 21770 21771 21773 21774 21811 21814 21815 21816 21817 21818 21819 21820 21821 21822 21824 21825 21827 21828 22142 22146 22148 22152 22154 22158 22160 22163 22165 22166 22169 22172 22175 22178 24180 24213 24217 24222 24224 24228 24229 24230 24234 24236 24240 24288 24294 24296 24300 24302 24306 24308 24312 24314 24318 24366 24372 24374 24378 24380 24384 24386 24390 24392 24396 24444 24450 24452 24456 24458 24462 24464 24468 24470 24474 24522 24528 24530 24534 24536 24540 24542 24546 24548 24552 24600 24606 24608 24612 24614 24618 24620 24624 24626 24630 24645 24651 24653 24657 24660 24662 24666 24669 24670 24673 24678 24680 24682 24684 24686 24687 24688 24689 24690 24692 24693 24695 24696 24698 24699 24701 24702 24704 24705 24706 24709 24710 24713 24715 24720 24722 24725 24729 24731 24735 24736 24738 24739 24740 24743 24744 24745 24748 24750 24752 24753 24755 24756 24757 24758 24759 24760 24761 24762 24764 24765 24767 24768 24776 24806 24809 24811 24815 24819 24822 24823 24824 24828 24831 24834 24835 24836 24839 24841 24845 24849 24850 24851 24853 24854 24858 24859 24860 24863 24949 24952 24953 24955 24956 24958 24959 24961 24962 24964 24965 24967 24968 24970 24971 24973 24974 24976 24977 24980 25177 25180 25181 25184 25187 25190 25192 25193 25196 25199 25202 25205 25208 25211 25214 25217 25384 25385 25388 25391 25394 25397 25400 25403 25406 25409 25412 25415 25610 25613 25616 25619 25622 25625 25628 25631 25634 28897 28901 28902 28904 28905 28907 28908 28909 28911 28912 28913 28915 28916 28917 28918 28919 28920 28921 28922 28923 28924 28925 28926 28927 28928 28929 28930 28931 28932 28933 28934 28935 28936 28937 28938 28939 28940 28941 28942 28943 28944 28945 28946 28947 28948 28949 28950 28951 28952 28953 28954 28955 28956 28957 28958 28959 28960 28961 28962 28963 28964 28965 28966 28967 28968 28969 28970 28971 28972 28973 28974 28975 28976 28977 28978 28979 28980 28981 28982 28983 28984 28985 28986 28987 28988 28989 28990 28991 28992 28993 28994 28995 28996 28997 28998 28999 29000 29001 29008 29134 29206 29215 29216 29217 29218 29219 29220 29221 29222 29223 29224 29225 29226 29227 29228 29229 29230 29231 29232 29233 29234 29235 29236 29237 29238 29239 29240 29241 29242 29243 29244 29245 29246 29247 29248 29249 29250 29251 29252 29253 29254 29255 29256 29257 29258 29259 29260 29261 29262 29263 29264 29265 29266 29267 29268 29269 29270 29271 29272 29273 29274 29275 29276 29277 29278 29279 29280 29281 29282 29283 29284 29285 29286 29287 29288 29289 29290 29291 29292 29293 29294 29295 29296 29297 29298 29299 29300 29301 29302 29303 29304 29305 29306 29307 29308 29309 29310 29311 29312 29313 29314 29315 29316 29317 29318 29319 29320 29321 29322 29323 29324 29325 29326 29327 29328 29329 29330 29331 29332 29333 29334 29335 29336 29337 29338 29339 29340 29341 29342 29343 29344 29345 29346 29347 29348 29349 29350 29351 29352 29353 29354 29355 29356 29357 29358 29359 29360 29361 29362 29363 29364 29365 29366 29367 29368 29369 29370 29371 29372 29373 29374 29375 29376 29377 29378 29379 29380 29381 29382 29383 29384 29385 29386 29387 29388 29389 29390 29391 29392 29393 29394 29395 29396 29397 29398 29399 29400 29401 29402 29403 29404 29405 29406 29407 29408 29409 29410 29411 29412 29413 29414 29415 29416 29417 29418 29419 29420 29421 29422 29423 29424 29425 29426 29427 29428 29429 29430 29431 29432 29433 29434 29435 29436 29437 29438 29439 29440 29441 29442 29443 29444 29445 29446 29447 29448 29449 29450 29451 29452 29453 29454 29455 29456 29457 29458 29459 29460 29461 29462 29463 29464 29465 29466 29467 29468 29469 29470 29471 29472 29473 29474 29475 29476 29477 29478 29479 29480 29481 29482 29483 29484 29485 29486 29487 29488 29489 29490 29491 29492 29493 29494 29495 29496 29497 29498 29499 29500 29501 29502 29503 29504 29505 29506 29507 29508 29509 29510 29511 29512 29513 29514 29515 29516 29517 29518 29519 29520 29521 29522 29523 29524 29525 29526 29527 29528 29529 29530 29531 29532 29533 29534 29535 29536 29537 29538 29539 29540 29541 29542 29543 29544 29545 29546 29547 29548 29549 29550 29551 29552 29553 29554 29555 29556 29557 29558 29559 29560 29561 29562 29563 29564 29565 29566 29567 29568 29569 29570 29571 29572 29573 29574 29575 29576 29577 29578 29579 29580 29581 29582 29583 29584 29585 29586 29587 29588 29589 29590 29591 29592 29593 29594 29595 29596 29597 29598 29599 29600 29601 29602 29603 29604 29605 29606 29607 29608 29609 29610 29611 29612 29613 29614 29615 29616 29617 29618 29619 29620 29621 29622 29623 29624 29625 29626 29627 29628 29629 29630 29631 29632 29633 29634 29635 29636 29637 29638 29639 29640 29641 29642 29643 29644 29645 29646 29647 29648 29649 29650 29651 29652 29653 29654 29655 29656 29657 29658 29659 29660 29661 29662 29663 29664 29665 29666 29667 29668 29669 29670 29671 29672 29673 29674 29675 29676 29677 29678 29679 29680 29681 29682 29683 29684 29685 29686 29687 29688 29689 29690 29691 29692 29693 29694 29695 29696 29697 29698 29699 29700 29701 29702 29703 29704 29705 29706 29707 29708 29709 29710 29711 29712 29713 29714 29715 29716 29717 29718 29719 29720 29721 29722 29723 29724 29725 29726 29727 29728 29729 29730 29731 29732 29733 29734 29735 29736 29737 29738 29739 29740 29741 29742 29743 29744 29745 29746 29747 29748 29749 29750 29751 29752 29753 29754 29755 29756 29757 29758 29759 29760 29761 29762 29763 29764 29765 29766 29767 29768 29769 29770 29771 29772 29773 29774 29775 29776 29777 29778 29779 29780 29781 29782 29783 29784 29785 29786 29787 29788 29789 29790 29791 29792 29793 29794 29795 29796 29797 29798 29799 29800 29801 29802 29803 29804 29805 29806 29807 29808 29809 29810 29811 29812 29813 29814 29815 29816 29817 29818 29819 29820 29821 29822 29823 29824 29825 29826 29827 29828 29829 29830 29831 29832 29833 29834 29835 29836 29837 29838 29839 29840 29841 29842 29843 29844 29845 29846 29847 29848 29849 29850 29851 29852 29853 29854 29855 29856 29857 29858 29859 29860 29861 29862 29863 29864 29865 29866 29867 29868 29869 29870 29871 29872 29873 29874 29875 29876 29877 29878 29879 29880 29881 29882 29883 29884 29885 29886 29887 29888 29889 29890 29891 29892 29893 29894 29895 29896 29897 29898 29899 29900 29901 29902 29903 29904 29905 29906 29907 29908 29909 29910 29911 29912 29913 29914 29915 29916 29917 29918 29919 29920 29921 29922 29923 29924 29925 29926 29927 29928 29940 29942 29945 29947 29948 29949 29950 29951 29952 29953 29954 29955 29956 29957 29958 29959 29960 29961 29962 29963 29964 29965 29966 29967 29968 29969 29970 29971 29972 29973 29974 29975 29976 29977 29978 29979 29980 29981 29982 29984 29985 29998 29999 30000 30001 30002 30003 30004 30005 30006 30007 30008 30009 30010 30011 30012 30013 30014 30015 30016 30017 30018 30019 30020 30021 30022 30023 30024 30025 30026 30027 30028 30029 30030 30031 30032 30033 30034 30035 30036 30046 30047 30048 30049 30050 30051 30052 30053 30054 30055 30056 30057 30058 30059 30060 30061 30062 30063 30064 30065 30066 30067 30068 30069 30070 30071 30072 30073 30074 30075 30076 30077 30078 30091 30092 30093 30094 30095 30096 30097 30098 30099 30100 30101 30102 30103 30104 30105 30106 30107 30108 30109 30110 30111 30112 30113 30114 30115 30116 30117 30118 30119 30120 30131 30134 30136 30138 30139 30140 30141 30143 30144 30145 30146 30147 30157 30158 30159 30160 30161 30162 30163 30164 30165 30193 30196 30197 30198 30199 30200 30201 30202 30203 30204 30206 30207 30209 30210 30211 30212 30213 30214 30215 30216 30217 30218 30219 30220 30221 30222 30223 30224 30225 30226 30227 30228 30229 30230 30231 30232 30233 30234 30235 30236 30237 30238 30239 30240 30241 30242 30243 30244 30245 30246 30247 30248 30249 30250 30251 30252 30253 30254 30255 30256 30257 30258 30259 30260 30261 30262 30263 30264 30265 30266 30267 30268 30269 30270 30271 30272 30273 30274 30275 30276 30277 30278 30279 30280 30281 30282 30283 30284 30285 30286 30287 30288 30289 30290 30291 30292 30293 30294 30295 30296 30297 30298 30299 30300 30301 30302 30303 30304 30305 30306 30307 30308 30309 30310 30311 30312 30313 30314 30315 30316 30317 30318 30319 30320 30321 30322 30323 30324 30325 30326 30327 30328 30329 30330 30331 30332 30333 30334 30335 30336 30337 30338 30339 30340 30341 30342 30343 30344 30345 30346 30347 30348 30349 30350 30351 30352 30353 30354 30355 30356 30357 30358 30359 30360 30361 30362 30363 30364 30365 30366 30367 30368 30369 30370 30371 30372 30373 30374 30375 30376 30377 30378 30379 30380 30381 30382 30383 30384 30385 30386 30387 30388 30389 30390 30391 30392 30393 30394 30395 30396 30397 30398 30399 30400 30401 30402 30403 30404 30405 30406 30407 30408 30409 30410 30411 30412 30413 30414 30415 30416 30417 30418 30419 30420 30421 30422 30423 30424 30425 30426 30427 30428 30429 30430 30431 30432 30433 30434 30435 30436 30437 30438 30439 30440 30441 30442 30443 30444 30445 30446 30447 30448 30449 30450 30451 30452 30453 30454 30455 30456 30457 30458 30459 30460 30461 30462 30463 30464 30465 30466 30467 30468 30469 30470 30471 30472 30473 30474 30475 30476 30477 30478 30479 30480 30481 30482 30483 30484 30485 30486 30487 30488 30489 30490 30491 30492 30493 30494 30495 30496 30497 30498 30499 30500 30501 30502 30503 30504 30505 30506 30507 30508 30509 30510 30511 30512 30513 30514 30515 30516 30517 30518 30519 30520 30521 30522 30523 30524 30525 30526 30527 30528 30529 30530 30531 30532 30533 30534 30535 30536 30537 30538 30539 30540 30541 30542 30543 30544 30545 30546 30547 30548 30549 30550 30551 30552 30553 30554 30555 30556 30557 30558 30559 30560 30561 30562 30563 30564 30565 30566 30567 30568 30569 30570 30571 30572 30573 30574 30575 30576 30577 30578 30579 30580 30581 30582 30583 30584 30585 30586 30587 30588 30589 30590 30591 30592 30593 30594 30595 30596 30597 30598 30599 30600 30601 30602 30603 30604 30605 30606 30607 30608 30609 30610 30611 30612 30613 30614 30615 30616 30617 30618 30619 30620 30621 30622 30623 30624 30625 30626 30627 30628 30629 30630 30631 30632 30633 30634 30635 30636 30637 30638 30639 30640 30641 30642 30643 30644 30645 30646 30647 30648 30649 30650 30651 30652 30653 30654 30655 30656 30657 30658 30659 30660 30661 30662 30663 30664 30665 30666 30667 30668 30669 30670 30671 30672 30673 30674 30675 30676 30677 30678 30679 30680 30681 30682 30683 30684 30685 30686 30687 30688 30689 30690 30691 30692 30693 30694 30695 30696 30697 30698 30699 30700 30701 30702 30703 30704 30705 30706 30707 30708 30709 30710 30711 30712 30713 30714 30715 30716 30717 30718 30719 30720 30721 30722 30723 30724 30725 30726 30727 30728 30729 30730 30731 30732 30733 30734 30735 30736 30737 30738 30739 30740 30741 30742 30743 30744 30745 30746 30747 30748 30749 30750 30751 30752 30753 30754 30755 30756 30757 30758 30759 30760 30761 30762 30763 30764 30765 30766 30767 30768 30769 30770 30771 30772 30773 30774 30775 30776 30777 30778 30779 30780 30781 30782 30783 30784 30785 30786 30787 30788 30789 30790 30791 30792 30793 30794 30795 30796 30797 30798 30799 30800 30801 30802 30803 30804 30805 30806 30807 30808 30809 30810 30811 30812 30813 30814 30815 30816 30817 30818 30819 30820 30821 30822 30823 30824 30825 30826 30827 30828 30829 30830 30831 30832 30833 30834 30835 30836 30837 30838 30839 30840 30841 30842 30843 30844 30845 30846 30847 30848 30849 30850 30851 30852 30853 30854 30855 30856 30857 30858 30859 30860 30861 30862 30863 30864 30865 30866 30867 30868 30869 30870 30871 30872 30873 30874 30875 30876 30877 30878 30879 30880 30881 30882 30883 30884 30885 30886 30887 30888 30889 30890 30891 30892 30893 30894 30895 30896 30897 30898 30899 30900 30901 30902 30903 30904 30905 30906 30907 30908 30909 30910 30911 30912 30913 30914 30915 30916 30917 30918 30919 30920 30921 30922 30923 30924 30925 30926 30927 30928 30929 30930 30931 30932 30933 30934 30935 30936 30937 30938 30939 30940 30941 30942 30943 30944 30945 30946 30947 30948 30949 30950 30951 30952 30953 30954 30955 30956 30957 30958 30959 30960 30961 30962 30963 30964 30965 30966 30967 30968 30969 30970 30971 30972 30973 30974 30975 30976 30977 30978 30979 30980 30981 30982 30983 30984 30985 30986 30987 30988 30989 30990 30991 30992 30993 30994 30995 30996 30997 30998 30999 31000 31001 31002 31003 31004 31005 31006 31007 31008 31009 31010 31011 31012 31013 31014 31015 31016 31017 31018 31019 31020 31021 31022 31023 31024 31025 31026 31027 31028 31029 31030 31031 31032 31033 31034 31035 31036 31037 31038 31039 31040 31041 31042 31043 31044 31045 31046 31047 31048 31049 31050 31051 31052 31053 31054 31055 31056 31057 31058 31059 31060 31061 31062 31063 31064 31065 31066 31067 31068 31069 31070 31071 31072 31073 31074 31075 31076 31077 31078 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31090 31091 31092 31093 31094 31095 31096 31097 31098 31099 31100 31101 31102 31103 31104 31114 31115 31116 31118 31120 31121 31122 31123 31124 31125 31126 31127 31128 31129 31130 31131 31132 31133 31134 31135 31136 31137 31138 31139 31140 31141 31142 31143 31144 31145 31146 31147 31148 31149 31150 31151 31152 31153 31154 31155 31157 31158 31159 31160 31161 31162 31163 31164 31174 31175 31176 31177 31178 31179 31180 31181 31182 31183 31184 31185 31186 31187 31188 31189 31190 31191 31192 31193 31194 31195 31196 31197 31198 31199 31200 31201 31202 31203 31204 31205 31206 31207 31208 31209 31210 31211 31212 31213 31214 31215 31225 31226 31227 31228 31229 31230 31231 31232 31233 31234 31235 31236 31237 31238 31239 31240 31241 31242 31243 31244 31245 31246 31247 31248 31249 31250 31251 31252 31253 31254 31255 31256 31257 31258 31259 31260 31270 31271 31272 31273 31274 31275 31276 31277 31278 31279 31280 31281 31282 31283 31284 31285 31286 31287 31288 31289 31290 31291 31292 31293 31294 31295 31296 31297 31298 31299 31300 31301 31302 31312 31314 31315 31316 31317 31319 31320 31321 31322 31323 31324 31325 31326 31336 31337 31338 31339 31340 31341 31342 31343 31344 31345 31346 31347 31378 31382 31383 31384 31387 31389 31390 31391 31392 31393 31394 31395 31396 31397 31398 31399 31400 31401 31402 31403 31404 31405 31406 31407 31408 31409 31410 31411 31412 31413 31414 31415 31416 31417 31418 31419 31420 31421 31422 31423 31424 31425 31426 31427 31428 31429 31430 31431 31432 31433 31434 31435 31436 31437 31438 31439 31440 31441 31442 31443 31444 31445 31446 31447 31448 31449 31450 31451 31452 31453 31454 31455 31456 31457 31458 31459 31460 31461 31462 31463 31464 31465 31466 31467 31468 31469 31470 31471 31472 31473 31474 31475 31476 31477 31478 31479 31480 31481 31482 31483 31484 31485 31486 31487 31488 31489 31490 31491 31492 31493 31494 31495 31496 31497 31498 31499 31500 31501 31502 31503 31504 31505 31506 31507 31508 31509 31510 31511 31512 31513 31514 31515 31516 31517 31518 31519 31520 31521 31522 31523 31524 31525 31526 31527 31528 31529 31530 31531 31532 31533 31534 31535 31536 31537 31538 31539 31540 31541 31542 31543 31544 31545 31546 31547 31548 31549 31550 31551 31552 31553 31554 31555 31556 31557 31558 31559 31560 31562 31563 31565 31566 31567 31568 31570 31592 31595 31598 31601 31604 31607 31610 31613 31616 31619 31621 31625 31626 31627 31630 31632 31633 31634 31635 31636 31637 31638 31658 31661 31664 31667 31670 31673 31676 31679 31682 31685 31687 31691 31692 31694 31695 31696 31697 31698 31699 31700 31701 31703 31704 31706 31707 31709 31710 31712 31713 31714 31715 31716 31717 31718 31719 31720 31721 31722 31723 31726 31729 31730 31731 31732 31736 31737 31739 31740 31741 31742 31743 31744 31745 31746 31748 31749 31751 31752 31754 31755 31757 31758 31759 31760 31761 31762 31763 31764 31765 31766 31767 31768 31771 31774 31775 31776 31777 31781 31782 31784 31785 31786 31787 31788 31789 31790 31791 31793 31794 31796 31797 31799 31800 31802 31803 31804 31805 31806 31807 31808 31809 31810 31811 31812 31813 31816 31819 31820 31821 31822 31826 31827 31829 31830 31831 31832 31833 31834 31835 31836 31838 31839 31841 31842 31844 31845 31847 31848 31849 31850 31851 31852 31853 31854 31855 31856 31857 31858 31861 31864 31865 31866 31867 31871 31872 31874 31875 31876 31877 31878 31879 31880 31881 31883 31884 31886 31887 31889 31890 31892 31893 31894 31895 31896 31897 31898 31899 31900 31901 31902 31903 31906 31909 31910 31911 31912 31916 31917 31919 31920 31921 31922 31923 31924 31925 31926 31928 31929 31931 31932 31934 31935 31937 31938 31939 31940 31941 31942 31943 31944 31945 31946 31947 31948 31951 31954 31955 31956 31957 31961 31962 31964 31965 31966 31967 31968 31969 31970 31971 31973 31974 31976 31977 31979 31980 31982 31983 31984 31985 31986 31987 31988 31989 31990 31991 31992 31993 31994 31995 31996 31997 31998 31999 32000 32001 32002 32003 32004 32005 32006 32007 32008 32009 32010 32032 32033 32034 32035 32036 32037 32038 32039 32040 32041 32042 32043 32044 32045 32046 32047 32048 32049 32050 32051 32052 32053 32054 32055 32056 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 32074 32075 32076 32077 32078 32079 32080 32081 32082 32083 32084 32085 32086 32087 32088 32089 32090 32091 32092 32093 32094 32095 32096 32097 32098 32099 32100 32101 32102 32103 32104 32105 32106 32107 32108 32109 32110 32111 32112 32125 32126 32127 32128 32129 32130 32131 32132 32133 32134 32135 32136 32137 32138 32139 32140 32141 32142 32143 32144 32145 32146 32147 32148 32149 32150 32151 32152 32153 32154 32155 32156 32157 32158 32159 32160 32161 32162 32163 32164 32165 32166 32167 32168 32169 32170 32171 32172 32173 32174 32175 32176 32177 32178 32179 32180 32181 32182 32183 32184 32185 32186 32187 32188 32189 32190 32191 32192 32193 32194 32195 32196 32197 32198 32199 32200 32201 32202 32203 32204 32205 32218 32219 32220 32221 32222 32223 32224 32225 32226 32227 32228 32229 32230 32231 32232 32233 32234 32235 32236 32237 32238 32239 32240 32241 32242 32243 32244 32245 32246 32247 32248 32249 32250 32251 32252 32253 32254 32255 32256 32257 32258 32259 32260 32261 32262 32263 32264 32265 32266 32267 32268 32269 32270 32271 32272 32273 32274 32275 32276 32277 32278 32279 32280 32281 32282 32283 32284 32285 32286 32287 32288 32289 32290 32291 32292 32293 32294 32295 32296 32297 32298 32311 32312 32313 32314 32315 32316 32317 32318 32319 32320 32321 32322 32323 32324 32325 32326 32327 32328 32329 32330 32331 32332 32333 32334 32335 32336 32337 32338 32339 32340 32341 32342 32343 32344 32345 32346 32347 32348 32349 32350 32351 32352 32353 32354 32355 32356 32357 32358 32359 32360 32361 32362 32363 32364 32365 32366 32367 32368 32369 32370 32371 32372 32373 32374 32375 32376 32377 32378 32379 32380 32381 32382 32383 32384 32385 32386 32387 32388 32389 32390 32391 32449 32452 32455 32456 32457 32458 32462 32463 32465 32466 32467 32468 32469 32470 32471 32472 32474 32475 32477 32478 32480 32481 32483 32484 32575 32578 32581 32582 32583 32584 32588 32589 32591 32592 32593 32594 32595 32596 32597 32598 32600 32601 32603 32604 32606 32607 32609 32610 32701 32704 32707 32708 32709 32710 32714 32715 32717 32718 32719 32720 32721 32722 32723 32724 32726 32727 32729 32730 32732 32733 32735 32736 32827 32830 32833 32834 32835 32836 32840 32841 32843 32844 32845 32846 32847 32848 32849 32850 32852 32853 32855 32856 32858 32859 32861 32862 32953 32956 32959 32960 32961 32962 32966 32967 32969 32970 32971 32972 32973 32974 32975 32976 32978 32979 32981 32982 32984 32985 32987 32988 33079 33082 33085 33086 33087 33088 33092 33093 33095 33096 33097 33098 33099 33100 33101 33102 33104 33105 33107 33108 33110 33111 33113 33114 33368 33372 33535 33536 33537 33538 33539 33540 33541 33542 33543 33544 33545 33546 33547 33548 33549 33550 33551 33552 33553 33554 33555 33556 33557 33558 33559 33560 33561 33562 33563 33564 33565 33566 33567 33568 33569 33570 33571 33572 33573 33574 33575 33576 33577 33578 33579 33580 33581 33582 33583 33584 33585 33586 33587 33588 33589 33590 33591 33592 33593 33594 33595 33596 33597 33598 33599 33600 33601 33602 33603 33604 33605 33606 33607 33608 33609 33610 33611 33612 33613 33614 33615 33616 33617 33618 33619 33620 33621 33622 33623 33624 33625 33626 33627 33628 33629 33630 33631 33632 33633 33634 33635 33636 33637 33638 33639 33640 33641 33642 33643 33644 33645 33646 33647 33648 33649 33650 33651 33652 33653 33654 33655 33656 33657 33658 33659 33660 33661 33662 33663 33664 33665 33666 33667 33668 33669 33670 33671 33672 33673 33674 33675 33676 33677 33678 33679 33680 33681 33682 33683 33684 33685 33686 33687 33688 33689 33690 33691 33692 33693 33694 33695 33696 33697 33698 33699 33700 33701 33702 33703 33704 33705 33706 33707 33708 33709 33710 33711 33712 33713 33714 33715 33716 33717 33718 33719 33720 33721 33722 33723 33724 33725 33726 33727 33728 33729 33730 33731 33732 33733 33734 33735 33736 33737 33738 33739 33740 33741 33742 33743 33744 33745 33746 33747 33748 33749 33750 33751 33752 33753 33754 33755 33756 33757 33758 33759 33760 33761 33762 33763 33764 33765 33766 33767 33768 33769 33770 33771 33772 33773 33774 33775 33776 33777 33778 33779 33780 33781 33782 33783 33784 33785 33786 33787 33788 33789 33790 33791 33792 33793 33794 33795 33796 33797 33798 33799 33800 33801 33802 33803 33804 33805 33806 33807 33808 33809 33810 33811 33812 33813 33814 33815 33816 33817 33818 33819 33820 33821 33822 33823 33824 33825 33826 33827 33828 33829 33830 33831 33832 33833 33834 33835 33836 33837 33838 33839 33840 33841 33842 33843 33844 33845 33846 33847 33848 33849 33850 33851 33852 33853 33854 33855 33856 33857 33858 33859 33860 33861 33862 33863 33864 33865 33866 33867 33868 33869 33870 33871 33872 33873 33874 33875 33876 33877 33878 33879 33880 33881 33882 33883 33884 33885 33886 33887 33888 33889 33890 33891 33892 33893 33894 33895 33896 33897 33898 33899 33900 33901 33902 33903 33904 33905 33906 33907 33908 33909 33910 33911 33912 33913 33914 33915 33916 33917 33918 33919 33920 33921 33922 33923 33924 33925 33926 33927 33928 33929 33930 33931 33932 33933 33934 33935 33936 33937 33938 33939 33940 33941 33942 33943 33944 33945 33946 33947 33948 33949 33950 33951 33952 33953 33954 33955 33956 33957 33958 33959 33960 33961 33962 33963 33964 33965 33966 33967 33968 33969 33970 33971 33972 33973 33974 33975 33976 33977 33978 33979 33980 33981 33982 33983 33984 33985 33986 33987 33988 33989 33990 33991 33992 33993 33994 33995 33996 33997 33998 33999 34000 34001 34002 34003 34004 34005 34006 34007 34008 34009 34010 34011 34012 34013 34015 34016 34020 34147 34148 34149 34150 34151 34152 34153 34154 34155 34156 34157 34158 34159 34160 34161 34162 34163 34164 34165 34166 34167 34168 34169 34170 34171 34172 34173 34174 34175 34176 34177 34178 34179 34180 34181 34182 34183 34184 34185 34186 34187 34188 34189 34190 34191 34192 34193 34194 34195 34196 34197 34198 34199 34200 34201 34202 34203 34204 34205 34206 34207 34208 34209 34210 34211 34212 34213 34214 34215 34216 34217 34218 34219 34220 34221 34222 34223 34224 34225 34226 34227 34228 34229 34231 34232 34236 34363 34364 34365 34366 34367 34368 34369 34370 34371 34372 34373 34374 34375 34376 34377 34378 34379 34380 34381 34382 34383 34384 34385 34386 34387 34388 34389 34390 34391 34392 34393 34394 34395 34396 34397 34398 34399 34400 34401 34402 34403 34404 34405 34406 34407 34408 34409 34410 34411 34412 34413 34414 34415 34416 34417 34418 34419 34420 34421 34422 34423 34424 34425 34426 34427 34428 34429 34430 34431 34432 34433 34434 34435 34436 34437 34438 34439 34440 34441 34442 34443 34444 34445 34447 34448 34452 34579 34580 34581 34582 34583 34584 34585 34586 34587 34588 34589 34590 34591 34592 34593 34594 34595 34596 34597 34598 34599 34600 34601 34602 34603 34604 34605 34606 34607 34608 34609 34610 34611 34612 34613 34614 34615 34616 34617 34618 34619 34620 34621 34622 34623 34624 34625 34626 34627 34628 34629 34630 34631 34632 34633 34634 34635 34636 34637 34638 34639 34640 34641 34642 34643 34644 34645 34646 34647 34648 34649 34650 34651 34652 34653 34654 34655 34656 34657 34658 34659 34660 34661 34663 34664 34668 34795 34796 34797 34798 34799 34800 34801 34802 34803 34804 34805 34806 34807 34808 34809 34810 34811 34812 34813 34814 34815 34816 34817 34818 34819 34820 34821 34822 34823 34824 34825 34826 34827 34828 34829 34830 34831 34832 34833 34834 34835 34836 34837 34838 34839 34840 34841 34842 34843 34844 34845 34846 34847 34848 34849 34850 34851 34852 34853 34854 34855 34856 34857 34858 34859 34860 34861 34862 34863 34864 34865 34866 34867 34868 34869 34870 34871 34872 34873 34874 34875 34876 34877 34879 34880 34884 35011 35012 35013 35014 35015 35016 35017 35018 35019 35020 35021 35022 35023 35024 35025 35026 35027 35028 35029 35030 35031 35032 35033 35034 35035 35036 35037 35038 35039 35040 35041 35042 35043 35044 35045 35046 35047 35048 35049 35050 35051 35052 35053 35054 35055 35056 35057 35058 35059 35060 35061 35062 35063 35064 35065 35066 35067 35068 35069 35070 35071 35072 35073 35074 35075 35076 35077 35078 35079 35080 35081 35082 35083 35084 35085 35086 35087 35088 35089 35090 35091 35092 35093 35095 35096 35100 35101 35102 35104 35105 35107 35108 35110 35111 35113 35114 35118 35119 35120 35206 35209 35212 35213 35214 35215 35216 35217 35218 35219 35220 35221 35222 35223 35224 35225 35226 35227 35228 35229 35230 35231 35232 35233 35234 35235 35236 35237 35238 35239 35240 35241 35242 35243 35244 35245 35246 35247 35248 35249 35250 35251 35252 35253 35254 35255 35256 35257 35258 35259 35260 35261 35262 35263 35264 35265 35266 35267 35268 35269 35270 35271 35272 35273 35274 35275 35276 35277 35278 35279 35280 35281 35282 35283 35284 35285 35286 35287 35288 35289 35290 35291 35292 35293 35294 35295 35296 35297 35298 35299 35300 35301 35302 35303 35304 35305 35306 35307 35309 35310 35312 35313 35314 35316 35319 35322 35323 35324 35328 35331 35332 35333 35336 35337 35338 35340 35341 35342 35343 35345 35346 35347 35349 35350 35351 35352 35353 35355 35357 35358 35360 35361 35362 35363 35364 35366 35367 35369 35370 35371 35372 35373 35376 35379 35380 35381 35388 35390 35394 35398 35403 35407 35412 35415 35418 35421 35424 35427 35429 35430 35611 35614 35616 35617 35618 35619 35620 35621 35622 35623 35624 35625 35626 35629 35630 35631 35632 35633 35634 35635 35636 35637 35639 35640 35642 35643 35644 35646 35647 35648 35649 35650 35651 35652 35653 35654 35655 35656 35657 35658 35659 35660 35661 35662 35663 35664 35665 35666 35667 35668 35669 35670 35672 35673 35674 35675 35676 35677 35678 35679 35681 35682 35684 35685 35686 35687 35688 35689 35690 35691 35728 35731 35739 35741 35748 35750 35754 35758 35763 35766 35769 35772 35775 35778 35781 35784 35787 35790 35793 35794 35796 35797 35798 35799 35800 35801 35802 35803 35804 35805 35806 35807 35808 35810 35811 35813 35814 35815 35818 35819 35820 35821 35822 35823 35824 35825 35826 35828 35829 35831 35832 35833 35834 35836 35837 35841 35842 35845 35846 35847 35848 35849 35850 35851 35852 35853 35855 35856 35858 35859 35860 35863 35864 35865 35866 35867 35868 35869 35870 35871 35873 35874 35876 35877 35878 35879 35881 35882 35886 35887 35890 35891 35892 35893 35894 35895 35896 35897 35898 35900 35901 35903 35904 35905 35908 35909 35910 35911 35912 35913 35914 35915 35916 35918 35919 35921 35922 35923 35924 35926 35927 35931 35932 35935 35936 35937 35938 35939 35940 35941 35942 35943 35945 35946 35948 35949 35950 35953 35954 35955 35956 35957 35958 35959 35960 35961 35963 35964 35966 35967 35968 35969 35971 35972 35976 35977 35980 35981 35982 35983 35984 35985 35986 35987 35988 35990 35991 35993 35994 35995 35998 35999 36000 36001 36002 36003 36004 36005 36006 36008 36009 36011 36012 36013 36014 36016 36017 36021 36022 36025 36026 36027 36028 36029 36030 36031 36032 36033 36035 36036 36038 36039 36040 36043 36044 36045 36046 36047 36048 36049 36050 36051 36053 36054 36056 36057 36058 36059 36061 36062 36066 36067 36070 36071 36072 36073 36074 36075 36076 36077 36078 36080 36081 36083 36084 36085 36088 36089 36090 36091 36092 36093 36094 36095 36096 36098 36099 36101 36102 36103 36104 36106 36107 36111 36112 36113 36115 36116 36118 36119 36121 36122 36124 36125 36127 36128 36130 36132 36133 36134 36135 36136 36137 36139 36141 36144 36146 36147 36148 36150 36151 36152 36153 36182 36186 36189 36192 37378 37379 37380 37382 37383 37388 37392 37394 37398 37400 37404 37406 40273 40276 40278 40279 40280 40281 40282 40283 40284 40294 40295 40296 40297 40298 40299 40300 40301 40302 40303 40304 40305 40307 40308 40372 40375 40377 40378 40379 40380 40381 40382 40383 40393 40394 40395 40396 40397 40398 40399 40400 40401 40402 40403 40404 40405 40406 40407 40409 40410 40477 40480 40482 40483 40484 40485 40486 40487 40488 40498 40499 40500 40501 40502 40503 40504 40505 40506 40507 40508 40509 40510 40511 40512 40514 40515 40582 40585 40587 40588 40589 40590 40591 40592 40593 40603 40604 40605 40606 40607 40608 40609 40610 40611 40612 40613 40614 40615 40616 40617 40619 40620 40687 40690 40692 40693 40694 40695 40696 40697 40698 40708 40709 40710 40711 40712 40713 40714 40715 40716 40717 40718 40719 40720 40721 40722 40724 40725 40792 40795 40797 40798 40799 40800 40801 40802 40803 40813 40814 40815 40816 40817 40818 40819 40820 40821 40822 40823 40824 40825 40826 40827 40829 40830 40897 40900 40902 40903 40904 40905 40906 40907 40908 40918 40919 40920 40921 40922 40923 40948 40951 40952 40954 40956 40958 40959 40984 40987 40989 40990 40991 40992 40993 40994 40995 41020 41023 41024 41026 41028 41029 41030 41031 41032 41033 41035 41038 41039 41041 41042 41046 41049 41050 41051 41055 41056 41058 41059 41060 41061 41062 41063 41064 41066 41067 41071 41072 41092 41095 41097 41098 41099 41100 41102 41105 41107 41111 41115 41118 41119 41120 41124 41125 41127 41128 41129 41130 41131 41132 41135 41137 41141 41145 41146 41147 41149 41150 41154 41155 41156 41158 41159 41161 41162 41163 41188 41191 41192 41194 41196 41479 41482 41483 41486 41686 41687 41690 41693 41696 41699 41702 41705 41708 41711 41714 41717 41912 41915 41918 41921 41924 41927 41930 41933 41936 42140 42143 42146 42149 42152 42155 42158 42161 42164 42167 46099 50437 50440 50441 50442 50443 50444 50445 50446 50447 50448 50450 50451 50453 50454 51976 51979 51980 51981 51982 51983 51984 51985 51986 51987 51989 51990 51992 51993 52000 52001 52002 52004 52005 52006 52007 52008 52018 52019 52020 52022 52023 52024 52025 52026 52036 52037 52038 52040 52041 52042 52043 52044 52054 52055 52056 52058 52059 52060 52061 52062 52072 52073 52074 52076 52077 52078 52079 52080 52090 52091 52092 52094 52095 52096 52097 52098 52124 52128 52130 52134 52135 52137 52139 52140 52142 52143 52147 52168 52172 52174 52246 52250 52252 52256 52258 52261 52262 52263 52264 52265 52266 52267 52268 52269 52270 52271 52272 52273 52274 52275 52276 52277 52278 52279 52280 52281 52282 52283 52284 52285 52286 52287 52288 52289 52290 52291 52292 52293 52294 52295 52296 52297 52298 52299 52300 52301 52302 52303 52304 52305 52306 52307 52308 52309 52310 52311 52312 52313 52314 52315 52316 52317 52318 52319 52320 52321 52322 52323 52324 52325 52326 52327 52328 52329 52335 52337 52341 52345 52349 52350 52352 52353 52354 52355 52356 52357 52358 52359 52360 52361 52362 52363 52364 52365 52366 52367 52368 52370 52371 52373 52374 52376 52377 52379 52380 52558 52559 52560 53149 53152 53155 53156 53157 53158 53159 53160 53161 53162 53163 53165 53166 53168 53169 53171 53172 53174 53175 53428 53431 53434 53435 53436 53437 53438 53439 53440 53441 53442 53444 53445 53447 53448 53450 53451 53453 53454 53707 53710 53713 53714 53715 53716 53717 53718 53719 53720 53721 53723 53724 53726 53727 53729 53730 53732 53733 53986 53989 53992 53993 53994 53995 53996 53997 53998 53999 54000 54002 54003 54005 54006 54008 54009 54011 54012 54265 54268 54271 54272 54273 54274 54275 54276 54277 54278 54279 54281 54282 54284 54285 54287 54288 54290 54291 54559 55291 55295 55296 55298 55299 55300 55304 55305 55307 55308 55309 55313 55314 55316 55317 55318 55322 55323 55325 55326 55327 55331 55332 55334 55335 55336 55340 55341 55343 55344 55345 55349 55350 55352 55353 55355 55356 55358 55361 55362 55364 55365 55366 55370 55371 55373 55374 55376 55379 55380 55382 55383 55385 55388 55389 55391 55392 55393 55397 55398 55400 55401 56065 56067 56069 56078 56082 56120 56124 56127 56128 56130 56132 57580 57596 57600 57602 57606 57608 57612 57614 57618 57620 57634 57637 57638 57652 57656 57659 57662 57667 57671 57674 57678 68212 68350 68354 68425 68497 68500 68521 68525 68529 68530 68531 68534 68537 68608 68680 68693 68695 68700 68702 68704 68709 68710 68714 68718 68719 68720 68722 68723 68726 68797 68869 68872 68875 68879 68883 68917 68989 69061 69064 69065 69066 69067 69071 69075 69077 69079 69084 69086 69088 69093 69094 69098 69102 69103 69104 69106 69107 69109 69110 69181 69253 69257 69259 69261 69263 69264 69266 69267 69269 69270 69272 69273 69275 69276 69278 69279 69281 69282 69284 69285 69287 69288 69290 69291 69293 69294 69295 69296 69297 69298 69299 69300 70554 70556 70559 70563 70566 70568 70571 70575 70577 70580 70584 70587 70588 70590 70592 70593 70594 70595 70596 70679 70680 70682 70683 70685 70686 70688 70689 70691 70692 70694 70695 70697 70698 70700 70701 70703 70704 70706 70707 70708 70709 70710 70793 70796 70800 70803 70806 70809 70811 70875 70878 70880 70883 70886 70889 70891 70893 70952 70955 70958 70961 70964 70967 70970 80101 80104 80105 80106 80107 80108 80109 80111 80112 80114 80115 80116 80119 80121 80122 80123 80124 80126 80128 80130 80132 80133 80135 80136 80138 80139 80140 80143 80145 80146 80147 80148 80149 80154 80155 80159 80160 80162 80163 80165 80166 80167 80170 80172 80173 80174 80175 80176 80177 80178 80179 80180 80181 80182 80183 80184 80185 80186 80187 80188 80189 80190 80191 80192 80193 80194 80195 80196 80197 80198 80199 80200 80201 80202 80204 80205 80206 80209 80211 80212 80213 80214 80216 80217 80218 80221 80223 80224 80225 80226 80227 80231 80232 80234 80235 80237 80238 80239 80242 80244 80245 80246 80247 80248 80249 80250 80251 80252 80253 80254 80255 80256 80257 80258 80259 80260 80261 80262 80263 80264 80265 80266 80267 80268 80269 80270 80271 80272 80273 80274 80276 80277 80278 80281 80283 80284 80285 80286 80288 80289 80290 80293 80295 80296 80297 80298 80299 80303 80304 80306 80307 80309 80310 80311 80314 80316 80317 80318 80319 80320 80321 80322 80323 80324 80325 80326 80327 80328 80329 80330 80331 80332 80333 80334 80335 80336 80337 80338 80339 80340 80341 80342 80343 80344 80345 80346 80348 80349 80350 80353 80355 80356 80357 80358 80360 80361 80362 80365 80367 80368 80369 80370 80371 80375 80376 80378 80379 80381 80382 80383 80386 80388 80389 80390 80391 80392 80393 80394 80395 80396 80397 80398 80399 80400 80401 80402 80403 80404 80405 80406 80407 80408 80409 80410 80411 80412 80413 80414 80415 80416 80417 80418 80420 80421 80422 80425 80427 80428 80429 80430 80432 80433 80434 80437 80439 80440 80441 80442 80443 80447 80448 80450 80451 80453 80454 80455 80458 80460 80461 80462 80463 80464 80465 80466 80467 80468 80469 80470 80471 80472 80473 80474 80475 80476 80477 80478 80479 80480 80481 80482 80483 80484 80485 80486 80487 80488 80489 80490 80492 80493 80494 80497 80499 80500 80501 80502 80504 80505 80506 80509 80511 80512 80513 80514 80515 80519 80520 80522 80523 80525 80526 80527 80530 80532 80533 80534 80535 80536 80537 80538 80539 80540 80541 80542 80543 80544 80545 80546 80547 80548 80549 80550 80551 80552 80553 80554 80555 80556 80557 80558 80559 80560 80561 80562 80564 80565 80566 80569 80571 80572 80573 80574 80576 80577 80578 80581 80583 80584 80585 80586 80587 80591 80592 80594 80595 80597 80598 80599 80602 80604 80605 80606 80607 80608 80609 80610 80611 80612 80613 80614 80615 80616 80617 80618 80619 80620 80621 80622 80623 80624 80625 80626 80627 80628 80629 80630 80631 80633 80634 80635 80638 80640 80641 80642 80643 80645 80646 80647 80650 80652 80653 80654 80655 80656 80660 80661 80663 80664 80666 80667 80668 80671 80673 80674 80675 80676 80677 80678 80679 80680 80681 80682 80683 80684 80685 80686 80687 80688 80689 80690 80691 80692 80693 80694 80695 80696 80697 80698 80699 80700 80702 80703 80704 80707 80709 80710 80711 80712 80714 80715 80716 80719 80721 80722 80723 80724 80725 80729 80730 80732 80733 80735 80736 80737 80740 80742 80743 80744 80745 80746 80747 80748 80749 80750 80751 80752 80753 80754 80755 80756 80757 80758 80759 80760 80761 80762 80763 80764 80765 80766 80767 80768 80769 80770 80771 80772 80774 80775 80776 80779 80781 80782 80783 80784 80786 80787 80788 80791 80793 80794 80795 80796 80797 80801 80802 80804 80805 80807 80808 80809 80812 80814 80815 80816 80817 80818 80819 80820 80821 80822 80823 80824 80825 80826 80827 80828 80829 80830 80831 80832 80834 80835 80836 80837 80838 80839 80840 80841 80842 80843 80844 80846 80847 80848 80851 80853 80854 80855 80856 80858 80859 80860 80863 80865 80866 80867 80868 80869 80873 80874 80876 80877 80879 80880 80881 80884 80886 80887 80888 80889 80890 80891 80892 80893 80894 80895 80896 80897 80898 80899 80900 80901 80902 80903 80904 80905 80906 80907 80908 80909 80910 80911 80912 80913 80914 80915 80916 80918 80919 80920 80923 80925 80926 80927 80928 80930 80931 80932 80935 80937 80938 80939 80940 80941 80945 80946 80948 80949 80951 80952 80953 80956 80958 80959 80960 80961 80962 80963 80964 80965 80966 80967 80968 80969 80970 80971 80972 80973 80974 80975 80976 80977 80978 80979 80980 80981 80982 80983 80988 80991 80995 80998 80999 81000 81006 81008 81011 81012 81013 81016 81018 81019 81020 81021 81022 81023 81024 81025 81026 81027 81028 81029 81030 81031 81032 81033 81035 81036 81037 81040 81041 81044 81046 81051 81052 81053 81054 81055 81059 81063 81065 81066 81067 81070 81072 81073 81074 81075 81076 81077 81078 81079 81080 81081 81082 81083 81084 81085 81086 81087 81089 81090 81091 81092 81093 81094 81095 81096 81098 81099 81100 81103 81105 81106 81107 81108 81110 81111 81112 81115 81117 81118 81119 81120 81121 81125 81126 81128 81129 81131 81132 81133 81136 81138 81139 81140 81141 81142 81143 81144 81145 81146 81147 81148 81149 81150 81151 81152 81153 81154 81155 81156 81158 81159 81160 81161 81162 81165 81168 81172 81176 81178 81179 81182 81185 81188 81191 81194 81197 81200 81203 81205 81207 81208 81209 81210 81211 81212 81213 81215 81216 81218 81219 81221 81222 81223 81224 81225 81227 81228 81230 81231 81232 81233 81234 81236 81237 81238 81239 81240 81243 81246 81247 81248 81252 81255 81256 81257 81261 81264 81265 81266 81270 81273 81274 81275 81279 81282 81283 81284 81288 81291 81292 81293 81297 81300 81301 81302 81306 81309 81310 81311 81315 81318 81319 81320 81324 81327 81328 81329 81333 81336 81337 81338 81342 81345 81346 81347 81351 81354 81357 81360 81363 81366 81369 81372 81375 81378 81381 81384 81387 81390 81391 81395 81398 81401 81404 81407 81410 81413 81416 81419 81422 81425 81428 81431 81593 81596 81599 81602 81605 81608 81611 81614 81617 81620 81623 81812 81815 81818 81821 81824 81827 81830 81833 81836 82034 82037 82040 82043 82046 82049 82052 82055 82058 82061 82259 82262 82265 82268 82271 82274 82277 82280 82283 82286 82289 82293 82295 82299 82301 82305 82307 82311 82313 82315 82317 82319 82320 82342 82345 82346 82349 82372 82375 82376 82379 82396 82399 82400 82404 82407 82410 82411 82413 82414 82415 82416 82417 82418 82419 82420 82421 82422 82423 82424 82425 82426 82427 82428 82429 82430 82431 82432 82433 82434 82435 82436 82437 82438 82439 82440 82441 82442 82443 82444 82445 82446 82447 82448 82449 82450 82451 82452 82453 82454 82455 82456 82457 82458 82459 82460 82461 82462 82463 82464 82465 82466 82467 82468 82469 82470 82471 82472 82473 82474 82475 82476 82478 82479 82481 82482 82483 82484 82485 82487 82488 82490 82491 82492 82493 82494 82496 82497 82498 82499 82500 82501 82502 82503 82504 82505 82506 82507 82508 82509 82510 82511 82512 82513 82514 82515 82516 82517 82518 82519 82520 82521 82522 82523 82524 82525 82529 82530 82879 82882 82884 82886 82887 82889 82890 82891 82892 82893 82894 82895 82896 82897 82898 82899 82900 82901 82902 82903 82904 82905 82906 82907 82908 82909 82910 82911 82912 82913 82914 82915 82916 82917 82918 82922 82923 83023 83026 83028 83030 83031 83033 83034 83035 83036 83037 83038 83039 83040 83041 83042 83043 83044 83045 83046 83047 83048 83049 83050 83051 83052 83053 83054 83055 83056 83057 83058 83059 83060 83061 83062 83066 83067 83167 83170 83172 83174 83175 83177 83178 83179 83180 83181 83182 83183 83184 83185 83186 83187 83188 83189 83190 83191 83192 83193 83194 83195 83196 83197 83198 83199 83200 83201 83202 83203 83204 83205 83206 83210 83211 83311 83314 83316 83318 83319 83321 83322 83323 83324 83325 83326 83327 83328 83329 83330 83331 83332 83333 83334 83335 83336 83337 83338 83339 83340 83341 83342 83343 83344 83345 83346 83347 83348 83349 83350 83354 83355 83455 83458 83460 83462 83463 83465 83466 83467 83468 83469 83470 83471 83472 83473 83474 83475 83476 83477 83478 83479 83480 83481 83482 83483 83484 83485 83486 83487 83488 83489 83490 83491 83492 83493 83494 83498 83499 83599 83602 83604 83606 83607 83609 83610 83611 83612 83613 83614 83615 83616 83617 83618 83619 83620 83621 83622 83623 83624 83625 83626 83627 83628 83629 83630 83631 83632 83633 83634 83635 83636 83637 83638 83642 83643 83743 83746 83748 83750 83751 83753 83754 83755 83756 83757 83758 83759 83760 83761 83762 83763 83764 83765 83766 83767 83768 83769 83770 83771 83772 83773 83774 83775 83776 83777 83778 83779 83780 83781 83782 83783 83784 83785 83786 83787 83788 83789 83790 83791 83792 83793 83794 83795 83796 83797 83798 83799 83800 83804 83805 83905 83908 83910 83912 83913 83915 83916 83917 83918 83919 83920 83921 83922 83923 83924 83925 83926 83927 83928 83929 83930 83931 83932 83933 83934 83935 83936 83937 83938 83939 83940 83941 83942 83943 83944 83948 83949 84049 84052 84054 84056 84057 84059 84060 84061 84062 84063 84064 84065 84066 84067 84068 84069 84070 84071 84072 84073 84074 84075 84076 84077 84078 84079 84080 84081 84082 84083 84084 84085 84086 84087 84088 84092 84093 84193 84196 84198 84200 84201 84203 84204 84205 84206 84207 84208 84209 84210 84211 84212 84213 84214 84215 84216 84217 84218 84219 84220 84221 84222 84223 84224 84225 84226 84227 84228 84229 84230 84231 84232 84236 84237 84337 84340 84342 84344 84345 84347 84348 84349 84350 84351 84352 84353 84354 84355 84356 84357 84358 84359 84360 84361 84362 84363 84364 84365 84366 84367 84368 84369 84370 84371 84372 84373 84374 84375 84376 84380 84381 84481 84484 84486 84488 84489 84491 84492 84493 84494 84495 84496 84497 84498 84499 84500 84501 84502 84503 84504 84505 84506 84507 84508 84509 84510 84511 84512 84513 84514 84515 84516 84517 84518 84519 84520 84524 84525 84625 84628 84630 84632 84633 84635 84636 84637 84638 84639 84640 84641 84642 84643 84644 84645 84646 84647 84648 84649 84650 84651 84652 84653 84654 84655 84656 84657 84658 84659 84660 84661 84662 84663 84664 84665 84666 84667 84668 84669 84670 84671 84672 84673 84674 84675 84676 84677 84678 84679 84680 84681 84682 84683 84684 84685 84686 84687 84688 84689 84690 84691 84692 84693 84694 84695 84696 84697 84698 84699 84700 84701 84702 84703 84704 84705 84706 84707 84708 84709 84710 84711 84712 84713 84714 84715 84716 84717 84718 84719 84720 84721 84722 84723 84724 84725 84726 84727 84728 84729 84730 84731 84732 84733 84734 84735 84736 84737 84738 84739 84740 84741 84742 84743 84744 84745 84746 84747 84748 84749 84750 84751 84752 84753 84754 84755 84756 84757 84758 84759 84760 84761 84762 84763 84764 84765 84766 84767 84768 84769 84770 84771 84772 84773 84774 84775 84776 84777 84778 84779 84780 84781 84782 84783 84784 84785 84786 84787 84788 84789 84790 84791 84792 84793 84794 84795 84796 84797 84798 84799 84800 84801 84802 84803 84804 84805 84806 84807 84808 84809 84810 84811 84812 84813 84814 84815 84816 84817 84818 84819 84820 84821 84822 84823 84824 84825 84826 84827 84828 84829 84830 84831 84832 84833 84834 84837 84840 84841 84842 84846 84849 84850 84851 84855 84858 84859 84860 84864 84867 84868 84869 84873 84876 84877 84878 84882 84885 84886 84887 84891 84894 84895 84896 84900 84903 84906 84909 84912 84915 84918 84921 84922 84923 84927 84930 84931 84932 84936 84939 84940 84941 84945 84948 84949 84950 84954 84957 84958 84959 84963 84966 84967 84968 84972 84975 84978 84981 84984 84987 84989 84990 85801 85804 85806 85807 85808 85809 85810 85811 85812 85813 85814 85815 85816 85817 85818 85819 85820 85821 85822 85823 85824 85825 85826 85827 85828 85829 85830 85831 85832 85833 85835 85836 85882 85885 85887 85888 85889 85890 85891 85892 85893 85894 85895 85896 85897 85898 85899 85900 85901 85902 85903 85904 85905 85906 85907 85908 85909 85910 85911 85912 85913 85914 85916 85917 85963 85966 85968 85969 85970 85971 85972 85973 85974 85975 85976 85977 85978 85979 85980 85981 85982 85983 85984 85985 85986 85987 85988 85989 85990 85991 85992 85993 85994 85995 85997 85998 86044 86047 86049 86050 86051 86052 86053 86054 86055 86056 86057 86058 86059 86060 86061 86062 86063 86064 86065 86066 86067 86068 86069 86070 86071 86072 86073 86074 86075 86076 86078 86079 86125 86128 86130 86131 86132 86133 86134 86135 86136 86137 86138 86139 86140 86141 86142 86143 86144 86145 86146 86147 86148 86149 86150 86151 86152 86153 86154 86155 86156 86157 86159 86160 86206 86209 86211 86212 86213 86214 86215 86216 86217 86218 86219 86220 86221 86222 86223 86224 86225 86226 86227 86228 86229 86230 86231 86232 86233 86234 86235 86236 86237 86238 86239 86240 86241 86242 86243 86244 86245 86246 86247 86248 86249 86250 86253 86256 86257 86258 86262 86265 86266 86267 86271 86274 86275 86276 86280 86283 86284 86285 86289 86292 86293 86294 86298 86301 86302 86303 86307 86310 86313 86316 86319 86320 86322 86325 86329 86334 86338 86343 86346 86349 86350 86351 86352 86353 86354 86355 86356 86357 86358 86359 86360 86361 86362 86363 86364 86365 86366 86367 86368 86369 86370 86371 86372 86373 86374 86375 86376 86377 86378 86379 86380 86381 86382 86383 86384 86385 86386 86387 86388 86389 86390 86391 86392 86393 86394 86395 86396 86397 86398 86399 86400 86401 86402 86403 86404 86405 86406 86407 86408 86409 86410 86411 86412 86413 86414 86415 86416 86417 86418 86420 86421 86424 86427 86428 86429 86433 86436 86437 86438 86442 86445 86446 86447 86451 86454 86455 86456 86460 86463 86464 86465 86469 86472 86473 86474 86478 86481 86484 86487 86490 86493 87730 87733 87735 87736 87737 87738 87739 87740 87741 87744 87747 87748 87749 87784 87788 87790 87791 87793 87795 87798 87801 87802 87803 87832 87836 87838 87840 87841 87842 87843 87845 87846 87847 87849 87850 87851 87852 87868 87872 87874 87875 87878 87882 87886 87904 87908 87910 87911 87913 87915 87918 87921 87922 87923 87940 87944 87946 87947 87949 87951 87953 87954 87955 87957 87958 87959 87960 87961 87962 87963 87965 87966 87968 87969 87970 87971 87972 87974 87975 87977 87978 87981 87984 87985 87986 87990 87993 87994 87995 87999 88002 88003 88004 88008 88012 88017 88020 88021 88022 88026 88029 88030 88031 88035 88038 88041 88044 88047 88050 88198 88201 88203 88204 88205 88207 88208 88209 88211 88212 88312 88315 88317 88318 88319 88320 88321 88322 88323 88324 88325 88327 88328 88332 88333 88334 88335 88337 88338 88366 88369 88371 88372 88373 88374 88375 88376 88377 88378 88379 88381 88382 88386 88387 88388 88389 88391 88392 88420 88423 88425 88426 88427 88428 88429 88430 88431 88432 88433 88435 88436 88440 88441 88442 88443 88445 88446 88474 88477 88479 88480 88481 88482 88483 88484 88485 88486 88487 88489 88490 88494 88495 88496 88497 88499 88500 88528 88531 88533 88534 88535 88536 88537 88538 88539 88540 88541 88543 88544 88548 88549 88550 88551 88553 88554 88582 88585 88587 88588 88589 88590 88591 88592 88593 88594 88595 88597 88598 88602 88603 88604 88605 88607 88608 88636 88639 88641 88642 88643 88644 88645 88646 88647 88648 88649 88651 88652 88656 88657 88658 88660 88661 88663 88664 88666 88667 88669 88670 88672 88673 88675 88676 88678 88679 88681 88684 88685 88686 88687 88688 88689 88690 88691 88692 88693 88694 88695 88696 88697 88698 88699 88700 88701 88702 88703 88704 88705 88706 88707 88708 88709 88710 88711 88712 88713 88714 88715 88716 88717 88718 88719 88720 88721 88722 88723 88724 88725 88726 88727 88728 88729 88730 88731 88732 88733 88734 88735 88736 88737 88738 88739 88740 88741 88742 88743 88744 88745 88746 88747 88748 88749 88750 88751 88752 88753 88754 88755 88756 88757 88758 88759 88760 88761 88762 88763 88764 88765 88766 88767 88768 88769 88770 88771 88772 88773 88774 88775 88776 88777 88778 88779 88780 88781 88782 88783 88784 88785 88786 88787 88788 88789 88790 88791 88792 88793 88794 88795 88796 88797 88798 88799 88800 88801 88802 88803 88804 88805 88806 88807 88808 88809 88810 88811 88812 88813 88814 88815 88816 88817 88818 88819 88820 88821 88822 88823 88824 88825 88826 88827 88828 88829 88830 88831 88832 88833 88834 88835 88836 88837 88838 88839 88840 88841 88842 88843 88844 88845 88846 88847 88848 88849 88850 88851 88852 88853 88854 88855 88856 88857 88858 88859 88860 88861 88862 88863 88864 88865 88866 88867 88868 88869 88870 88871 88872 88873 88874 88875 88876 88877 88878 88879 88880 88881 88882 88883 88884 88885 88886 88887 88888 88889 88890 88891 88892 88893 88894 88895 88896 88897 88898 88899 88900 88901 88902 88903 88904 88905 88906 88907 88908 88909 88910 88911 88912 88913 88914 88915 88916 88917 88918 88919 88920 88921 88922 88923 88924 88925 88926 88927 88928 88929 88930 88931 88932 88933 88934 88935 88936 88937 88938 88939 88940 88941 88942 88943 88944 88945 88946 88947 88948 88949 88950 88951 88952 88953 88954 88955 88956 88957 88958 88959 88960 88961 88962 88963 88964 88965 88966 88967 88968 88969 88970 88971 88972 88973 88974 88975 88976 88977 88978 88979 88980 88981 88982 88983 88984 88985 88986 88987 88988 88989 88990 88991 88992 88993 88994 88995 88996 88997 88998 88999 89000 89001 89002 89003 89004 89005 89006 89007 89008 89009 89010 89011 89012 89013 89014 89015 89016 89017 89018 89019 89020 89021 89022 89023 89024 89025 89026 89027 89028 89029 89030 89031 89032 89033 89034 89035 89036 89037 89038 89039 89040 89041 89042 89043 89044 89045 89046 89047 89048 89049 89050 89051 89052 89053 89054 89055 89056 89057 89058 89059 89060 89061 89062 89063 89064 89065 89066 89067 89068 89069 89070 89071 89072 89073 89074 89075 89076 89077 89078 89079 89080 89081 89082 89083 89084 89085 89086 89087 89088 89089 89090 89091 89092 89093 89094 89095 89096 89097 89098 89099 89100 89101 89102 89103 89104 89105 89106 89107 89108 89109 89110 89111 89112 89113 89114 89115 89116 89117 89118 89119 89120 89121 89122 89123 89124 89125 89126 89127 89128 89129 89130 89131 89132 89133 89134 89135 89136 89137 89138 89139 89140 89141 89142 89143 89144 89145 89146 89147 89148 89149 89150 89151 89152 89153 89154 89155 89156 89157 89158 89159 89160 89161 89162 89163 89164 89165 89166 89167 89168 89169 89170 89171 89172 89173 89174 89175 89176 89177 89178 89179 89180 89181 89182 89183 89184 89185 89186 89187 89188 89189 89190 89191 89192 89193 89194 89195 89196 89197 89198 89199 89200 89201 89202 89203 89204 89205 89206 89207 89208 89209 89210 89211 89212 89213 89214 89215 89216 89217 89218 89219 89220 89221 89222 89223 89224 89225 89226 89227 89228 89229 89230 89231 89232 89233 89234 89235 89236 89237 89238 89239 89240 89241 89242 89243 89244 89245 89246 89247 89248 89249 89250 89251 89252 89253 89254 89255 89256 89257 89258 89259 89260 89261 89262 89263 89264 89265 89266 89267 89268 89269 89270 89271 89272 89273 89274 89275 89276 89277 89278 89279 89280 89281 89282 89283 89284 89285 89286 89287 89288 89289 89290 89291 89292 89293 89294 89295 89296 89297 89298 89299 89300 89301 89302 89303 89304 89305 89306 89307 89308 89309 89310 89311 89312 89313 89314 89315 89316 89317 89318 89319 89320 89321 89322 89323 89324 89325 89326 89327 89328 89329 89330 89331 89332 89333 89334 89335 89336 89337 89338 89339 89340 89341 89342 89343 89344 89345 89346 89347 89348 89349 89350 89351 89352 89353 89354 89355 89356 89357 89358 89359 89360 89361 89362 89363 89364 89365 89366 89367 89368 89369 89370 89371 89372 89373 89374 89375 89376 89377 89378 89379 89380 89381 89382 89383 89384 89385 89386 89387 89388 89389 89390 89391 89392 89393 89394 89395 89396 89397 89398 89399 89400 89401 89402 89403 89404 89405 89406 89407 89408 89409 89410 89411 89412 89413 89414 89415 89416 89417 89418 89419 89420 89421 89422 89423 89424 89425 89426 89427 89428 89429 89430 89431 89432 89433 89434 89435 89436 89437 89438 89439 89440 89441 89442 89443 89444 89445 89446 89447 89448 89449 89450 89451 89454 89457 89458 89459 89463 89466 89467 89468 89472 89475 89476 89477 89481 89484 89485 89486 89490 89493 89494 89495 89499 89502 89503 89504 89508 89511 89512 89513 89517 89520 89523 89526 89529 89532 89950 89953 89955 89956 89957 89958 89959 89960 89961 89962 89963 89964 89965 89966 89967 89968 89969 89970 89971 89972 89973 89974 89975 89976 89977 89978 89979 89980 89981 89982 89983 89984 89985 89986 89987 89988 89990 89991 89993 89994 90004 90008 90010 90011 90012 90013 90014 90015 90028 90031 90033 90034 90035 90036 90037 90038 90039 90040 90041 90042 90043 90044 90045 90046 90047 90048 90049 90050 90051 90052 90053 90054 90055 90056 90057 90058 90059 90060 90061 90062 90063 90065 90066 90068 90069 90071 90072 90082 90085 90086 90087 90088 90089 90090 90091 90092 90093 90103 90106 90108 90109 90110 90111 90112 90113 90114 90115 90116 90117 90118 90119 90120 90121 90122 90123 90124 90125 90126 90127 90128 90129 90130 90131 90132 90133 90134 90135 90136 90137 90138 90139 90140 90141 90143 90144 90146 90147 90157 90169 90172 90174 90175 90176 90177 90178 90179 90180 90181 90182 90183 90184 90185 90186 90187 90188 90189 90190 90191 90192 90193 90194 90195 90196 90197 90198 90199 90200 90201 90202 90203 90204 90205 90206 90207 90209 90210 90212 90213 90223 90226 90227 90228 90229 90230 90231 90232 90233 90234 90235 90236 90237 90238 90239 90240 90241 90242 90243 90244 90245 90246 90247 90248 90249 90250 90251 90252 90253 90254 90255 90257 90258 90260 90261 90271 90274 90276 90277 90278 90279 90281 90282 90283 90284 90285 90287 90288 90290 90291 90301 90302 90303 90304 90305 90306 90307 90308 90309 90311 90312 90340 90341 90342 90344 90345 90373 90376 90378 90379 90380 90381 90382 90383 90384 90385 90386 90388 90389 90393 90394 90395 90396 90398 90399 90427 90430 90432 90433 90434 90435 90436 90437 90438 90439 90440 90442 90443 90447 90448 90449 90450 90452 90453 90481 90484 90486 90487 90488 90489 90490 90491 90492 90493 90494 90496 90497 90501 90502 90503 90504 90506 90507 90535 90538 90540 90541 90542 90543 90544 90545 90546 90547 90548 90550 90551 90555 90556 90557 90558 90560 90561 90589 90592 90594 90595 90596 90597 90598 90599 90600 90601 90602 90604 90605 90609 90610 90611 90612 90614 90615 90643 90646 90648 90649 90650 90651 90652 90653 90654 90655 90656 90658 90659 90663 90664 90665 90666 90668 90669 90697 90700 90702 90703 90704 90705 90706 90707 90708 90709 90710 90712 90713 90717 90718 90719 90721 90722 90724 90725 90727 90728 90730 90731 90733 90734 90736 90737 90739 90740 90742 90745 90746 90747 90748 90749 90750 90751 90752 90753 90754 90755 90756 90757 90758 90759 90760 90761 90762 90763 90764 90765 90766 90767 90768 90769 90770 90771 90772 90773 90774 90775 90776 90777 90778 90779 90780 90781 90782 90783 90784 90785 90786 90787 90788 90789 90790 90791 90792 90793 90794 90795 90796 90797 90798 90799 90800 90801 90802 90803 90804 90805 90806 90807 90808 90809 90810 90811 90812 90813 90814 90815 90816 90817 90818 90819 90820 90821 90822 90823 90824 90825 90826 90827 90828 90829 90830 90831 90832 90833 90834 90835 90836 90837 90838 90839 90840 90841 90842 90843 90844 90845 90846 90847 90848 90849 90850 90851 90852 90853 90854 90855 90856 90857 90858 90859 90860 90861 90862 90863 90864 90865 90866 90867 90868 90869 90870 90871 90872 90873 90874 90875 90876 90877 90878 90879 90880 90881 90882 90883 90884 90885 90886 90887 90888 90889 90890 90891 90892 90893 90894 90895 90896 90897 90898 90899 90900 90901 90902 90903 90904 90905 90906 90907 90908 90909 90910 90911 90912 90913 90914 90915 90916 90917 90918 90919 90920 90921 90922 90923 90924 90925 90926 90927 90928 90929 90930 90931 90932 90933 90934 90935 90936 90937 90938 90939 90940 90941 90942 90943 90944 90945 90946 90947 90948 90949 90950 90951 90952 90953 90954 90955 90956 90957 90958 90959 90960 90961 90962 90963 90964 90965 90966 90967 90968 90969 90970 90971 90972 90973 90974 90975 90976 90977 90978 90979 90980 90981 90982 90983 90984 90985 90986 90987 90988 90989 90990 90991 90992 90993 90994 90995 90996 90997 90998 90999 91000 91001 91002 91003 91004 91005 91006 91007 91008 91009 91010 91011 91012 91013 91014 91015 91016 91017 91018 91019 91020 91021 91022 91023 91024 91025 91026 91027 91028 91029 91030 91031 91032 91033 91034 91035 91036 91037 91038 91039 91040 91041 91042 91043 91044 91045 91046 91047 91048 91049 91050 91051 91052 91053 91054 91055 91056 91057 91058 91059 91060 91061 91062 91063 91064 91065 91066 91067 91068 91069 91070 91071 91072 91073 91074 91075 91076 91077 91078 91079 91080 91081 91082 91083 91084 91085 91086 91087 91088 91089 91090 91091 91092 91093 91094 91095 91096 91097 91098 91099 91100 91101 91102 91103 91104 91105 91106 91107 91108 91109 91110 91111 91112 91113 91114 91115 91116 91117 91118 91119 91120 91121 91122 91123 91124 91125 91126 91127 91128 91129 91130 91131 91132 91133 91134 91135 91136 91137 91138 91139 91140 91141 91142 91143 91144 91145 91146 91147 91148 91149 91150 91151 91152 91153 91154 91155 91156 91157 91158 91159 91160 91161 91162 91163 91164 91165 91166 91167 91168 91169 91170 91171 91172 91173 91174 91175 91176 91177 91178 91179 91180 91181 91182 91183 91184 91185 91186 91187 91188 91189 91190 91191 91192 91193 91194 91195 91196 91197 91198 91199 91200 91201 91202 91203 91204 91205 91206 91207 91208 91209 91210 91211 91212 91213 91214 91215 91216 91217 91218 91219 91220 91221 91222 91223 91224 91225 91226 91227 91228 91229 91230 91231 91232 91233 91234 91235 91236 91237 91238 91239 91240 91241 91242 91243 91244 91245 91246 91247 91248 91249 91250 91251 91252 91253 91254 91255 91256 91257 91258 91259 91260 91261 91262 91263 91264 91265 91266 91267 91268 91269 91270 91271 91272 91273 91274 91275 91276 91277 91278 91279 91280 91281 91282 91283 91284 91285 91286 91287 91288 91289 91290 91291 91292 91293 91294 91295 91296 91297 91298 91299 91300 91301 91302 91303 91304 91305 91306 91307 91308 91309 91310 91311 91312 91313 91314 91315 91316 91317 91318 91319 91320 91321 91322 91323 91324 91325 91326 91327 91328 91329 91330 91331 91332 91333 91334 91335 91336 91337 91338 91339 91340 91341 91342 91343 91344 91345 91346 91347 91348 91349 91350 91351 91352 91353 91354 91355 91356 91357 91358 91359 91360 91361 91362 91363 91364 91365 91366 91367 91368 91369 91370 91371 91372 91373 91374 91375 91376 91377 91378 91379 91380 91381 91382 91383 91384 91385 91386 91387 91388 91389 91390 91391 91392 91393 91394 91395 91396 91397 91398 91399 91400 91401 91402 91403 91404 91405 91406 91407 91408 91409 91410 91411 91412 91413 91414 91415 91416 91417 91418 91419 91420 91421 91422 91423 91424 91425 91426 91427 91428 91429 91430 91431 91432 91433 91434 91435 91436 91437 91438 91439 91440 91441 91442 91443 91444 91445 91446 91447 91448 91449 91450 91451 91452 91453 91454 91455 91456 91457 91458 91459 91460 91461 91462 91463 91464 91465 91466 91467 91468 91469 91470 91471 91472 91473 91474 91475 91476 91477 91478 91479 91480 91481 91482 91483 91484 91485 91486 91487 91488 91489 91490 91491 91492 91493 91494 91495 91496 91497 91498 91499 91500 91501 91502 91503 91504 91505 91506 91507 91508 91509 91510 91511 91512 91513 91514 91515 91516 91517 91518 91519 91520 91521 91522 91523 91524 91525 91526 91527 91528 91529 91530 91531 91532 91533 91534 91535 91536 91537 91538 91539 91540 91541 91542 91543 91544 91545 91546 91547 91548 91549 91550 91551 91552 91553 91554 91555 91556 91557 91558 91559 91560 91561 91562 91563 91564 91565 91566 91567 91568 91569 91570 91571 91572 91573 91574 91575 91576 91577 91578 91579 91580 91581 91582 91583 91584 91585 91586 91587 91588 91589 91590 91591 91592 91593 91596 91599 91600 91601 91605 91608 91609 91610 91614 91617 91618 91619 91623 91626 91627 91628 91632 91635 91636 91637 91641 91644 91645 91646 91650 91653 91654 91655 91659 91662 91665 91668 91671 91674 92092 92095 92097 92098 92099 92100 92101 92102 92103 92104 92105 92106 92107 92108 92109 92110 92111 92112 92113 92114 92115 92116 92117 92118 92119 92120 92121 92122 92123 92124 92125 92126 92127 92128 92129 92130 92131 92132 92133 92135 92136 92138 92139 92149 92153 92155 92156 92157 92158 92159 92160 92170 92174 92176 92178 92179 92180 92181 92182 92183 92184 92185 92186 92187 92188 92189 92190 92191 92192 92193 92194 92195 92196 92197 92198 92199 92200 92201 92202 92203 92204 92205 92206 92207 92208 92210 92211 92213 92214 92216 92217 92227 92230 92231 92232 92233 92234 92235 92236 92237 92238 92245 92249 92251 92253 92254 92255 92256 92257 92258 92259 92260 92261 92262 92263 92264 92265 92266 92267 92268 92269 92270 92271 92272 92273 92274 92275 92276 92277 92278 92279 92280 92281 92282 92283 92284 92285 92286 92288 92289 92291 92292 92302 92311 92315 92317 92319 92320 92321 92322 92323 92324 92325 92326 92327 92328 92329 92330 92331 92332 92333 92334 92335 92336 92337 92338 92339 92340 92341 92342 92343 92344 92345 92346 92347 92348 92349 92350 92351 92352 92354 92355 92357 92358 92368 92371 92372 92373 92374 92375 92376 92377 92378 92379 92380 92381 92382 92383 92384 92385 92386 92387 92388 92389 92390 92391 92392 92393 92394 92395 92396 92397 92398 92399 92400 92402 92403 92405 92406 92416 92419 92421 92422 92423 92424 92426 92427 92428 92429 92430 92432 92433 92435 92436 92446 92447 92448 92449 92450 92451 92452 92453 92454 92456 92457 92488 92491 92495 92496 92497 92500 92502 92503 92504 92505 92506 92507 92508 92509 92510 92511 92512 92513 92514 92515 92516 92517 92518 92519 92520 92521 92522 92523 92524 92525 92526 92527 92528 92529 92530 92531 92532 92533 92534 92535 92536 92537 92538 92539 92540 92541 92542 92543 92544 92545 92546 92547 92548 92549 92550 92551 92552 92553 92554 92555 92556 92557 92558 92559 92560 92561 92562 92563 92564 92565 92566 92567 92568 92569 92570 92571 92572 92573 92574 92575 92576 92577 92578 92579 92580 92581 92582 92583 92584 92585 92586 92587 92588 92589 92590 92591 92592 92593 92594 92595 92596 92597 92598 92599 92600 92601 92602 92603 92604 92605 92606 92607 92608 92609 92610 92611 92612 92613 92614 92615 92616 92617 92618 92619 92620 92621 92622 92623 92624 92625 92626 92627 92628 92629 92630 92631 92632 92633 92634 92635 92636 92637 92638 92639 92640 92641 92642 92643 92644 92645 92646 92647 92648 92649 92650 92651 92652 92653 92654 92655 92656 92657 92658 92659 92660 92661 92662 92663 92664 92665 92666 92667 92668 92669 92670 92671 92672 92673 92674 92675 92676 92679 92682 92683 92684 92686 92689 92691 92694 92697 92698 92699 92703 92706 92707 92708 92712 92715 92718 92721 92722 92723 92727 92730 92731 92732 92736 92739 92740 92741 92745 92748 92749 92750 92754 92757 92758 92759 92763 92766 92767 92768 92772 92775 92776 92777 92781 92784 92787 92790 92793 92796 92799 92802 92803 92804 92808 92811 92812 92813 92817 92820 92821 92822 92826 92829 92830 92831 92835 92838 92839 92840 92844 92847 92848 92849 92853 92856 92857 92858 92862 92865 92868 92871 92874 92877 92880 92883 92885 92886 93097 93100 93102 93103 93104 93105 93106 93107 93108 93110 93111 93113 93114 93117 93120 93121 93122 93126 93129 93130 93131 93134 93135 93136 93138 93139 93140 93141 93142 93144 93146 93147 93148 93149 93150 93153 93156 93157 93158 93160 93162 93164 93165 93166 93167 93168 93170 93171 93173 93174 93175 93176 93177 93180 93183 93184 93185 93192 93194 93198 93202 93210 93212 93216 93220 93225 93228 93231 93234 93237 93239 93240 93580 93583 93585 93586 93587 93588 93589 93590 93591 93592 93593 93594 93631 93634 93642 93644 93651 93653 93657 93661 93666 93669 93672 93675 93678 93681 93684 93687 93690 93693 93696 93699 93700 93702 93703 93704 93705 93706 93707 93708 93711 93714 93715 93716 93720 93723 93724 93725 93729 93732 93733 93734 93738 93741 93742 93743 93747 93750 93751 93752 93756 93759 93760 93761 93765 93768 93769 93770 93774 93777 93778 93779 93783 93786 93787 93788 93792 93795 93796 93797 93801 93804 93805 93806 93810 93813 93814 93815 93819 93822 93825 93828 93831 93834 93837 93840 93843 93846 93849 93852 93855 93858 93861 93864 93866 93867 94042 94045 94047 94048 94049 94050 94051 94052 94053 94055 94056 94058 94059 94060 94061 94062 94063 94064 94065 94066 94067 94068 96353 96362 96366 96368 96369 96370 96371 96372 96419 98335 98340 98343 98345 98346 103360 103363 103365 103366 103367 103368 103369 103370 103371 103372 103373 103374 103375 103376 103377 103378 103379 103380 103381 103382 103383 103386 103389 103390 103391 103393 103396 103397 103398 103400 103401 103411 103414 103416 103417 103418 103419 103420 103421 103422 103424 103425 103427 103428 103429 103430 103431 103432 103433 103434 103435 103436 103437 103438 103439 103440 103441 103442 103443 103444 103445 103446 103447 103448 103449 103451 103452 103579 103582 103584 103585 103586 103587 103588 103589 103590 103591 103592 103593 103594 103595 103596 103597 103598 103599 103600 103601 103602 103605 103608 103609 103610 103612 103615 103616 103617 103619 103620 103630 103633 103635 103636 103637 103638 103639 103640 103641 103643 103644 103646 103647 103648 103649 103650 103651 103652 103653 103654 103655 103656 103657 103658 103659 103660 103661 103662 103663 103664 103665 103666 103667 103668 103669 103670 103671 103673 103674 103807 103810 103812 103813 103814 103815 103816 103817 103818 103819 103820 103821 103822 103823 103824 103825 103826 103827 103828 103829 103830 103833 103836 103837 103838 103840 103843 103844 103845 103847 103848 103858 103861 103863 103864 103865 103866 103867 103868 103869 103871 103872 103874 103875 103876 103877 103878 103879 103880 103881 103882 103883 103884 103885 103886 103887 103888 103889 103890 103891 103892 103893 103894 103895 103896 103897 103898 103899 103901 103902 104035 104038 104040 104041 104042 104043 104044 104045 104046 104047 104048 104049 104050 104051 104052 104053 104054 104055 104056 104057 104058 104061 104064 104065 104066 104068 104071 104072 104073 104075 104076 104086 104089 104091 104092 104093 104094 104095 104096 104097 104099 104100 104102 104103 104104 104105 104106 104107 104108 104109 104110 104111 104112 104113 104114 104115 104116 104117 104118 104119 104120 104121 104122 104123 104124 104125 104126 104127 104129 104130 104263 104266 104268 104269 104270 104271 104272 104273 104274 104275 104276 104277 104278 104279 104280 104281 104282 104283 104284 104285 104286 104289 104292 104293 104294 104296 104299 104300 104301 104303 104304 104314 104317 104319 104320 104321 104322 104323 104324 104325 104327 104328 104330 104331 104332 104333 104334 104335 104336 104337 104338 104339 104340 104341 104342 104343 104344 104345 104346 104347 104348 104349 104350 104351 104352 104353 104354 104355 104357 104358 104491 104494 104496 104497 104498 104499 104500 104501 104502 104503 104504 104505 104506 104507 104508 104509 104510 104511 104512 104513 104514 104517 104520 104521 104522 104524 104527 104528 104529 104531 104532 104542 104545 104547 104548 104549 104550 104551 104552 104553 104555 104556 104558 104559 104560 104561 104562 104563 104564 104565 104566 104567 104568 104569 104570 104571 104572 104573 104574 104575 104576 104577 104578 104579 104580 104581 104582 104583 104585 104586 104719 104722 104724 104725 104726 104727 104728 104729 104730 104731 104732 104733 104734 104735 104736 104737 104738 104739 104740 104741 104742 104745 104748 104749 104750 104752 104753 104754 104755 104759 104760 104762 104763 104764 104765 104766 104767 104768 104769 104771 104772 104839 104842 104844 104845 104846 104847 104848 104849 104850 104851 104852 104853 104854 104855 104856 104857 104858 104859 104860 104861 104862 104865 104868 104869 104870 104872 104875 104877 104879 104881 104883 104884 104885 104886 104887 104888 104889 104891 104892 104959 104962 104964 104965 104966 104967 104968 104969 104970 104971 104972 104973 104974 104975 104976 104977 104978 104979 104980 104981 104982 104985 104988 104989 104990 104993 104995 104997 104999 105001 105003 105004 105005 105006 105007 105008 105009 105011 105012 105079 105082 105084 105085 105086 105087 105088 105089 105090 105091 105092 105093 105094 105095 105096 105097 105098 105099 105100 105101 105102 105105 105108 105109 105110 105113 105115 105117 105119 105121 105123 105124 105125 105126 105127 105128 105129 105131 105132 105199 105202 105204 105205 105206 105207 105208 105209 105210 105211 105212 105213 105214 105215 105216 105217 105218 105219 105220 105221 105222 105225 105228 105229 105230 105233 105235 105237 105239 105241 105243 105244 105245 105246 105247 105248 105249 105251 105252 105319 105322 105324 105325 105326 105327 105328 105329 105330 105331 105332 105333 105334 105335 105336 105337 105338 105339 105340 105341 105342 105345 105348 105349 105350 105353 105357 105361 105365 105367 105368 105369 105371 105372 105439 105442 105444 105445 105446 105447 105448 105449 105450 105451 105452 105453 105454 105455 105456 105457 105458 105459 105462 105466 105470 105472 105476 105480 105482 105484 105485 105486 105488 105489 105556 105559 105561 105562 105563 105564 105565 105566 105567 105568 105569 105570 105571 105572 105573 105574 105575 105576 105582 105584 105586 105589 105591 105593 105595 105597 105598 105599 105600 105601 105602 105603 105605 105606 105673 105676 105678 105679 105680 105681 105682 105683 105684 105685 105686 105687 105688 105689 105690 105691 105692 105693 105694 105695 105696 105699 105702 105703 105704 105708 105711 105714 105717 105720 105723 105726 105729 105732 105735 105738 105741 105744 105747 105748 105749 105750 105752 105753 105781 105784 105786 105787 105788 105789 105790 105791 105792 105793 105794 105795 105796 105797 105798 105799 105800 105801 105802 105803 105804 105806 105807 105835 105838 105840 105841 105842 105843 105844 105845 105846 105847 105848 105849 105850 105851 105852 105853 105854 105855 105856 105857 105858 105860 105861 105889 105892 105894 105895 105896 105897 105898 105899 105900 105901 105902 105903 105904 105905 105906 105907 105908 105909 105910 105911 105912 105914 105915 105943 105946 105948 105949 105950 105951 105952 105953 105954 105955 105956 105957 105958 105959 105960 105961 105962 105963 105964 105965 105966 105968 105969 105997 106000 106002 106003 106004 106005 106006 106007 106008 106009 106010 106011 106012 106013 106014 106015 106016 106017 106018 106019 106020 106022 106023 106051 106054 106056 106057 106058 106059 106060 106061 106062 106063 106064 106065 106066 106067 106068 106069 106070 106071 106072 106073 106074 106076 106077 106105 106108 106110 106111 106112 106113 106114 106115 106116 106117 106118 106119 106120 106121 106122 106123 106124 106125 106126 106127 106128 106129 106130 106131 106132 106133 106134 106135 106136 106137 106138 106139 106140 106141 106142 106143 106144 106145 106146 106148 106149 106177 106180 106182 106183 106184 106185 106186 106187 106188 106189 106190 106191 106192 106193 106194 106196 106197 106207 106210 106212 106213 106214 106215 106216 106217 106218 106219 106220 106221 106223 106224 106243 106246 106248 106249 106250 106251 106252 106253 106254 106255 106256 106257 106258 106259 106260 106261 106262 106263 106273 106276 106278 106279 106280 106281 106282 106283 106284 106285 106286 106287 106298 106301 106303 106304 106305 106307 106308 106318 106319 106320 106330 106331 106332 106342 106343 106344 106354 106355 106356 106387 106390 106391 106392 106393 106394 106395 106396 106397 106398 106399 106400 106401 106402 106403 106404 106405 106406 106407 106408 106409 106410 106411 106412 106413 106414 106415 106416 106417 106418 106419 106420 106421 106422 106423 106424 106425 106426 106427 106428 106429 106430 106431 106432 106433 106434 106435 106436 106437 106438 106439 106440 106441 106442 106443 106444 106445 106446 106447 106448 106449 106450 106451 106452 106453 106454 106455 106456 106457 106458 106459 106460 106461 106462 106463 106464 106465 106466 106467 106468 106469 106470 106471 106472 106473 106474 106475 106476 106479 106482 106483 106484 106488 106491 106492 106493 106497 106500 106501 106502 106506 106509 106510 106511 106515 106518 106519 106520 106524 106527 106528 106529 106533 106536 106537 106538 106542 106545 106548 106551 106554 106557 106560 106563 106741 106744 106746 106748 106749 106750 106753 106755 106757 106758 106760 106763 106765 106769 106772 106777 106780 106781 106785 106786 106788 106789 106790 106829 106832 106835 106838 106841 106844 106847 106850 106853 106856 106859 106862 106865 106866 106867 106870 106872 106873 106874 106875 106877 106879 106884 106886 106888 106893 106913 106916 106918 106919 106921 106922 106925 106928 106931 106934 106937 106940 106943 106946 106950 106953 106954 106955 106959 106962 106963 106964 106968 106971 107221 107226 107228 107232 107234 107237 107245 107249 107252 107256 107259 107261 107263 107268 107269 107271 107273 107274 107276 107277 107279 107280 107281 107283 107285 107286 107288 107289 107291 107292 107293 107294 107297 107300 107302 107305 107308 107311 107312 107313 107314 107318 107319 107410 107413 107415 107417 107418 107420 107421 107422 107423 107424 107425 107426 107427 107429 107430 107432 107433 107435 107436 107438 107439 107441 107442 107444 107445 107446 107447 107448 107449 107450 107451 107452 107453 107454 107455 107458 107461 107464 107465 107466 107467 107471 107472 107518 107521 107523 107525 107526 107528 107529 107530 107531 107532 107533 107534 107535 107537 107538 107540 107541 107543 107544 107546 107547 107549 107550 107552 107553 107554 107555 107556 107557 107558 107559 107560 107561 107562 107563 107566 107569 107572 107573 107574 107575 107579 107580 107626 107629 107631 107633 107634 107636 107637 107638 107639 107640 107641 107642 107643 107645 107646 107648 107649 107651 107652 107654 107655 107657 107658 107660 107661 107662 107663 107664 107665 107666 107667 107668 107669 107670 107671 107674 107677 107680 107681 107682 107683 107687 107688 107734 107737 107739 107741 107742 107744 107745 107746 107747 107748 107749 107750 107751 107753 107754 107756 107757 107759 107760 107762 107763 107765 107766 107768 107769 107770 107771 107772 107773 107774 107775 107776 107777 107778 107779 107782 107785 107788 107789 107790 107791 107795 107796 107842 107845 107847 107849 107850 107852 107853 107854 107855 107856 107857 107858 107859 107861 107862 107864 107865 107867 107868 107870 107871 107873 107874 107876 107877 107878 107879 107880 107881 107882 107883 107884 107885 107886 107887 107890 107893 107896 107897 107898 107899 107903 107904 107950 107953 107955 107957 107958 107960 107961 107962 107963 107964 107965 107966 107967 107969 107970 107972 107973 107975 107976 107978 107979 107981 107982 107984 107985 107986 107987 107988 107989 107990 107991 107992 107993 107994 107995 107998 108001 108004 108005 108006 108007 108011 108012 108058 108061 108063 108065 108066 108068 108069 108070 108071 108072 108073 108074 108075 108077 108078 108080 108081 108083 108084 108086 108087 108089 108090 108092 108093 108094 108095 108096 108097 108098 108099 108100 108101 108102 108103 108104 108105 108106 108107 108108 108109 108110 108111 108112 108113 108114 108115 108116 108117 108118 108119 108120 108121 108122 108123 108124 108127 108130 108133 108134 108135 108136 108140 108141 108187 108190 108192 108194 108195 108197 108198 108199 108200 108201 108202 108203 108204 108206 108207 108209 108210 108212 108213 108215 108216 108218 108219 108221 108222 108223 108224 108225 108226 108227 108228 108229 108230 108231 108232 108235 108238 108241 108242 108243 108244 108248 108249 108295 108298 108300 108302 108303 108305 108306 108307 108308 108309 108310 108311 108312 108314 108315 108317 108318 108320 108321 108323 108324 108326 108327 108329 108330 108331 108332 108333 108334 108335 108336 108337 108338 108339 108340 108343 108346 108349 108350 108351 108352 108356 108357 108403 108406 108408 108410 108411 108413 108414 108415 108416 108417 108418 108419 108420 108422 108423 108425 108426 108428 108429 108431 108432 108434 108435 108437 108438 108439 108440 108441 108442 108443 108444 108445 108446 108447 108448 108451 108454 108457 108458 108459 108460 108464 108465 108511 108514 108516 108518 108519 108521 108522 108523 108524 108525 108526 108527 108528 108530 108531 108533 108534 108536 108537 108539 108540 108542 108543 108545 108546 108547 108548 108549 108550 108551 108552 108553 108554 108555 108556 108559 108562 108565 108566 108567 108568 108572 108573 108619 108622 108624 108626 108627 108629 108630 108631 108632 108633 108634 108635 108636 108638 108639 108641 108642 108644 108645 108647 108648 108650 108651 108653 108654 108655 108656 108657 108658 108659 108660 108661 108662 108663 108664 108667 108670 108673 108674 108675 108676 108680 108681 108727 108730 108732 108734 108735 108737 108738 108739 108740 108741 108742 108743 108744 108746 108747 108749 108750 108752 108753 108755 108756 108758 108759 108761 108762 108763 108764 108765 108766 108767 108768 108769 108770 108771 108772 108773 108774 108775 108776 108777 108778 108779 108780 108781 108782 108783 108784 108785 108786 108787 108788 108789 108790 108791 108792 108793 108794 108795 108796 108797 108798 108799 108800 108801 108802 108803 108804 108805 108806 108807 108808 108809 108810 108811 108812 108813 108814 108815 108816 108817 108818 108819 108820 108821 108822 108823 108824 108825 108826 108827 108828 108829 108830 108831 108832 108833 108834 108835 108836 108837 108838 108839 108840 108841 108842 108843 108844 108845 108846 108847 108848 108849 108850 108851 108852 108853 108854 108855 108856 108857 108858 108859 108860 108861 108862 108863 108864 108865 108866 108867 108868 108869 108870 108871 108872 108873 108874 108875 108876 108877 108878 108879 108880 108881 108882 108883 108884 108885 108886 108887 108888 108889 108890 108891 108892 108893 108894 108895 108896 108897 108898 108899 108900 108901 108902 108903 108904 108905 108906 108907 108908 108909 108910 108911 108912 108913 108914 108915 108916 108917 108918 108919 108920 108921 108922 108923 108924 108925 108926 108927 108928 108929 108930 108931 108932 108933 108934 108935 108936 108937 108938 108939 108940 108941 108942 108943 108944 108945 108946 108947 108948 108949 108950 108951 108952 108953 108954 108955 108956 108957 108958 108959 108960 108961 108962 108963 108964 108965 108966 108967 108968 108969 108970 108971 108972 108973 108974 108975 108976 108977 108978 108979 108980 108981 108982 108983 108984 108985 108986 108987 108988 108989 108990 108991 108992 108993 108994 108995 108996 108997 108998 108999 109000 109001 109002 109003 109004 109005 109006 109007 109008 109009 109010 109011 109012 109013 109014 109015 109016 109017 109018 109019 109020 109021 109022 109023 109024 109025 109026 109027 109028 109029 109030 109031 109032 109033 109034 109035 109036 109037 109038 109039 109040 109041 109042 109043 109044 109045 109046 109047 109048 109049 109050 109051 109052 109053 109054 109055 109056 109057 109058 109059 109060 109061 109062 109063 109064 109065 109066 109067 109068 109069 109070 109071 109072 109073 109074 109075 109076 109077 109078 109079 109080 109081 109082 109083 109084 109085 109086 109087 109088 109089 109090 109091 109092 109093 109094 109095 109096 109097 109098 109099 109100 109101 109102 109103 109104 109105 109106 109107 109108 109109 109110 109111 109112 109113 109114 109115 109116 109117 109118 109119 109120 109121 109122 109123 109124 109125 109126 109127 109128 109129 109130 109131 109132 109133 109134 109135 109136 109137 109138 109139 109140 109141 109142 109143 109144 109145 109146 109147 109148 109149 109150 109151 109152 109153 109154 109155 109156 109157 109158 109159 109160 109161 109162 109163 109164 109165 109166 109167 109168 109169 109170 109171 109172 109173 109174 109175 109176 109177 109178 109179 109180 109181 109182 109183 109184 109185 109186 109187 109188 109189 109190 109191 109192 109193 109194 109195 109196 109197 109198 109199 109200 109201 109202 109203 109204 109205 109206 109207 109208 109209 109210 109211 109212 109213 109214 109215 109216 109217 109218 109219 109220 109221 109222 109223 109224 109225 109226 109227 109228 109229 109230 109231 109232 109233 109234 109235 109236 109237 109238 109239 109240 109241 109242 109243 109244 109245 109246 109247 109248 109249 109250 109251 109252 109253 109254 109255 109256 109257 109258 109259 109260 109261 109262 109263 109264 109265 109266 109267 109268 109269 109270 109271 109272 109273 109274 109275 109276 109277 109278 109279 109280 109281 109282 109283 109284 109285 109286 109287 109288 109289 109290 109291 109292 109293 109294 109295 109296 109297 109298 109299 109300 109301 109302 109303 109304 109305 109306 109307 109308 109309 109310 109311 109312 109313 109314 109315 109316 109317 109318 109319 109320 109321 109322 109323 109324 109325 109326 109327 109328 109329 109330 109331 109332 109333 109334 109335 109336 109337 109338 109339 109340 109341 109342 109343 109344 109345 109346 109347 109348 109349 109350 109351 109352 109353 109354 109355 109356 109357 109358 109359 109360 109361 109362 109363 109364 109365 109366 109367 109368 109369 109370 109371 109372 109373 109374 109375 109376 109377 109378 109379 109380 109381 109382 109383 109384 109385 109386 109387 109388 109389 109390 109391 109392 109393 109394 109395 109396 109397 109398 109399 109400 109401 109402 109403 109404 109405 109406 109407 109408 109409 109410 109411 109412 109413 109414 109415 109416 109417 109418 109419 109420 109421 109422 109423 109424 109425 109426 109427 109428 109429 109430 109431 109432 109433 109434 109435 109436 109437 109438 109439 109440 109441 109442 109443 109444 109445 109446 109447 109448 109449 109450 109451 109452 109453 109454 109455 109456 109457 109458 109459 109460 109461 109464 109467 109468 109469 109473 109476 109477 109478 109482 109485 109486 109487 109491 109494 109495 109496 109500 109503 109504 109505 109509 109512 109513 109514 109518 109521 109522 109523 109527 109530 109533 109536 109539 109542 109545 109548 109549 109550 109554 109557 109558 109559 109563 109566 109567 109568 109572 109575 109576 109577 109581 109584 109585 109586 109590 109593 109594 109595 109599 109602 109605 109608 109611 109614 109616 109617 109942 109945 109947 109948 109949 109950 109951 109952 109953 109954 109955 109956 109957 109958 109959 109960 109961 109962 109963 109964 109965 109966 109967 109968 109969 109970 109971 109972 109973 109974 109975 109976 109977 109978 109979 109980 109981 109982 109983 109984 109985 109986 109987 109988 109989 109990 109991 109992 109993 109994 109995 109996 109997 109998 109999 110000 110001 110011 110012 110013 110014 110015 110016 110017 110018 110019 110020 110021 110022 110023 110024 110025 110026 110027 110028 110029 110030 110031 110032 110033 110034 110035 110036 110037 110039 110040 110059 110062 110064 110065 110066 110067 110068 110069 110070 110071 110072 110073 110074 110075 110076 110077 110078 110079 110080 110081 110082 110083 110084 110085 110086 110087 110088 110089 110090 110091 110092 110093 110094 110095 110096 110097 110098 110099 110100 110101 110102 110103 110104 110105 110106 110107 110108 110109 110110 110111 110112 110113 110114 110115 110116 110117 110118 110128 110129 110130 110131 110132 110133 110134 110135 110136 110137 110138 110139 110140 110141 110142 110143 110144 110145 110146 110147 110148 110149 110150 110151 110152 110153 110154 110156 110157 110176 110179 110181 110182 110183 110184 110185 110186 110187 110188 110189 110190 110191 110192 110193 110194 110195 110196 110197 110198 110199 110200 110201 110202 110203 110204 110205 110206 110207 110208 110209 110210 110211 110212 110213 110214 110215 110216 110217 110218 110219 110220 110221 110222 110223 110224 110225 110226 110227 110228 110229 110230 110231 110232 110233 110234 110235 110245 110246 110247 110248 110249 110250 110251 110252 110253 110254 110255 110256 110257 110258 110259 110260 110261 110262 110263 110264 110265 110266 110267 110268 110269 110270 110271 110273 110274 110293 110296 110298 110299 110300 110301 110302 110303 110304 110305 110306 110307 110308 110309 110310 110311 110312 110313 110314 110315 110316 110317 110318 110319 110320 110321 110322 110323 110324 110325 110326 110327 110328 110329 110330 110331 110332 110333 110334 110335 110336 110337 110338 110339 110340 110341 110342 110343 110344 110345 110346 110347 110348 110349 110350 110351 110352 110362 110363 110364 110365 110366 110367 110368 110369 110370 110371 110372 110373 110374 110375 110376 110377 110378 110379 110380 110381 110382 110383 110384 110385 110386 110387 110388 110390 110391 110410 110413 110415 110416 110417 110418 110419 110420 110421 110422 110423 110424 110425 110426 110427 110428 110429 110430 110431 110432 110433 110434 110435 110436 110437 110438 110439 110440 110441 110442 110443 110444 110445 110446 110447 110448 110449 110450 110451 110452 110453 110454 110455 110456 110457 110458 110459 110460 110461 110462 110463 110464 110465 110466 110467 110468 110469 110479 110480 110481 110482 110483 110484 110485 110486 110487 110488 110489 110490 110491 110492 110493 110494 110495 110496 110497 110498 110499 110500 110501 110502 110503 110504 110505 110507 110508 110527 110530 110532 110533 110534 110535 110536 110537 110538 110539 110540 110541 110542 110543 110544 110545 110546 110547 110548 110549 110550 110551 110552 110553 110554 110555 110556 110557 110558 110559 110560 110561 110562 110563 110564 110565 110566 110567 110568 110569 110570 110571 110572 110573 110574 110575 110576 110577 110578 110579 110580 110581 110582 110583 110584 110585 110586 110611 110683 110695 110699 110703 110704 110705 110708 110711 110782 110854 110863 110935 110956 110960 110964 110965 110966 110969 110972 111043 111115 111119 111122 111193 111196 111200 111204 111238 111310 111382 111386 111387 111388 111392 111463 111466 111470 111474 111508 111580 111652 111660 111662 111666 111670 111674 111675 111677 111678 111679 111680 111681 111682 111683 111684 111685 111686 111687 111688 111689 111690 111691 111692 111693 111694 111695 111696 111697 111698 111699 111700 111701 111702 111703 111704 111705 111706 111707 111708 111709 111710 111711 111712 111713 111714 111715 111716 111717 111718 111719 111720 111721 111722 111723 111724 111725 111726 111727 111728 111729 111730 111731 111732 111733 111734 111735 111736 111737 111738 111739 111740 111741 111742 111743 111744 111745 111746 111747 111748 111749 111750 111751 111755 111759 111761 111763 111768 111770 111772 111777 111778 111782 111786 111787 111788 111790 111791 111793 111794 111865 111937 111945 111947 111951 111955 111960 111963 111964 111965 111969 111972 111973 111974 111978 111981 111984 111987 111990 111991 111992 111996 111999 112000 112001 112005 112008 112009 112010 112014 112017 112018 112019 112023 112026 112027 112028 112032 112035 112036 112037 112041 112044 112047 112050 112053 112056 112369 112374 112376 112378 112380 112382 112383 112385 112386 112388 112389 112391 112392 112394 112395 112397 112398 112400 112401 112403 112404 112406 112407 112409 112410 112412 112413 112415 112416 112418 112419 112421 112422 112423 112424 112425 112426 112427 112428 112429 112430 112431 114001 114002 114003 114004 114005 114006 114007 114008 114009 114010 114011 114012 114013 114014 114015 114016 114017 114018 114019 114020 114021 114022 114023 114024 114025 114026 114027 114028 114029 114030 114031 114032 114033 114034 114035 114036 114037 114038 114039 114040 114041 114042 114043 114044 114045 114046 114047 114048 114049 114050 114051 114052 114053 114054 114055 114056 114057 114058 114059 114060 114061 114062 114063 114064 114065 114066 114067 114068 114069 114070 114071 114072 114073 114074 114075 114076 114077 114078 114079 114080 114081 114082 114083 114084 114085 114086 114087 114088 114089 114090 114091 114092 114093 114094 114095 114096 114097 114098 114099 114100 114101 114102 114105 114108 114109 114110 114115 114120 114123 114125 114128 114132 114135 114137 114140 114144 114147 114149 114152 114156 114159 114162 114164 114166 114168 114170 114171 114172 114173 114174 114175 114176 114177 114253 114254 114255 114256 114257 114258 114259 114260 114261 114262 114263 114264 114265 114266 114267 114270 114273 114274 114275 114277 114281 114284 114286 114288 114290 114291 114293 114294 114296 114297 114299 114300 114302 114303 114305 114306 114308 114309 114311 114312 114314 114315 114317 114318 114320 114321 114323 114324 114326 114327 114329 114330 114331 114333 114334 114335 114336 114337 114338 114339 114415 114416 114417 114418 114419 114420 114421 114422 114423 114424 114425 114426 114427 114428 114429 114432 114435 114436 114437 114439 114443 114446 114449 114452 114455 114458 114462 114464 114467 114470 114474 114477 114480 114483 114486 114489 114491 114494 114498 114500 114559 114560 114561 114563 114564 114565 114566 114568 114569 114570 114572 114573 114576 114579 114580 114581 114585 114588 114591 114593 114596 114599 114602 114605 114609 114610 114612 114613 114614 114615 114655 114656 114657 114658 114659 114660 114661 114662 114663 114664 114665 114666 114667 114668 114669 114672 114675 114676 114677 114680 114683 114686 114689 114692 114695 114698 114701 114705 114707 114709 114711 114734 114735 114736 114737 114738 114739 114741 114743 114744 114745 114746 114747 114750 114753 114754 114755 114769 114770 114771 114772 114773 114774 114777 114780 114781 114782 114786 114789 114792 114795 114798 114801 114804 114805 114806 114807 114809 114810 114820 114823 114825 114826 114827 114828 114829 114830 114831 114832 114833 114834 114835 114836 114837 114838 114839 114840 114841 114842 114843 114844 114845 114846 114847 114848 114849 114850 114851 114852 114853 114854 114855 114856 114857 114858 114859 114860 114861 114862 114863 114864 114865 114866 114867 114868 114869 114870 114871 114872 114873 114874 114875 114876 114877 114878 114879 114880 114881 114882 114883 114884 114885 114886 114887 114888 114889 114890 114891 114892 114893 114894 114895 114896 114897 114898 114899 114900 114901 114902 114903 114904 114905 114906 114907 114908 114909 114910 114911 114912 114913 114914 114915 114916 114917 114918 114919 114920 114921 114922 114923 114924 114925 114926 114927 114928 114929 114930 114931 114932 114933 114934 114935 114936 114937 114938 114939 114940 114941 114942 114943 114944 114945 114946 114947 114948 114949 114950 114951 114952 114953 114954 114955 114956 114957 114958 114959 114960 114961 114962 114963 114964 114965 114966 114967 114968 114969 114970 114971 114972 114973 114974 114975 114976 114977 114978 114979 114980 114981 114982 114983 114984 114985 114986 114987 114988 114989 114990 115009 115013 115015 115087 115091 115093 115096 115100 115102 115105 115106 115107 115108 115109 115110 115111 115112 115113 115116 115119 115121 115122 115252 115255 115257 115258 115259 115260 115261 115262 115263 115265 115266 115268 115269 115271 115272 115274 115275 115277 115278 115280 115281 115282 115283 115284 116113 116114 116115 116116 116117 116118 116119 116120 116121 116122 116123 116124 116125 116126 116127 116128 116129 116130 116131 116132 116133 116134 116135 116136 116137 116138 116139 116140 116141 116142 116143 116144 116145 116146 116147 116148 116149 116150 116151 116152 116153 116154 116155 116156 116157 116158 116159 116160 116161 116162 116163 116164 116165 116166 116167 116168 116169 116170 116171 116172 116173 116174 116175 116176 116177 116178 116179 116180 116181 116182 116183 116184 116185 116186 116187 116188 116189 116190 116191 116192 116193 116194 116195 116196 116197 116198 116199 116200 116201 116202 116203 116204 116205 116206 116207 116208 116209 116210 116211 116212 116213 116214 116215 116216 116217 116218 116219 116220 116221 116222 116223 116224 116225 116226 116227 116228 116229 116230 116231 116232 116233 116234 116235 116236 116237 116238 116239 116240 116241 116242 116243 116244 116245 116246 116247 116248 116249 116250 116251 116252 116253 116254 116255 116256 116257 116258 116259 116260 116261 116262 116665 116666 116667 116668 116669 116670 116671 116672 116673 116674 116675 116676 116677 116678 116679 116680 116681 116682 116683 116684 116685 116686 116687 116688 116691 116694 116695 116696 116698 116701 116704 116707 116708 116709 116711 116712 116722 116725 116727 116728 116729 116730 116731 116732 116733 116735 116736 116738 116739 116741 116742 116744 116745 116747 116748 116750 116751 116752 116753 116754 116872 116873 116874 116875 116876 116877 116878 116879 116880 116881 116882 116883 116884 116885 116886 116889 116892 116893 116894 116896 116899 116902 116905 116906 116907 116909 116910 116920 116923 116925 116926 116927 116928 116929 116930 116931 116933 116934 116936 116937 116939 116940 116942 116943 116945 116946 116948 116949 116950 116951 116952 117070 117071 117072 117073 117074 117075 117076 117077 117078 117079 117080 117081 117082 117083 117084 117087 117090 117091 117092 117094 117097 117100 117103 117104 117105 117107 117108 117118 117121 117123 117124 117125 117126 117127 117128 117129 117131 117132 117134 117135 117137 117138 117140 117141 117143 117144 117146 117147 117148 117149 117150 117268 117269 117270 117271 117272 117273 117274 117275 117276 117277 117278 117279 117280 117281 117282 117285 117288 117289 117290 117292 117295 117298 117301 117302 117303 117305 117306 117316 117319 117321 117322 117323 117324 117325 117326 117327 117329 117330 117332 117333 117335 117336 117338 117339 117341 117342 117344 117345 117346 117347 117348 117466 117467 117468 117469 117470 117471 117472 117473 117474 117475 117476 117477 117478 117479 117480 117483 117486 117487 117488 117490 117493 117496 117499 117500 117501 117503 117504 117514 117517 117519 117520 117521 117522 117523 117524 117525 117527 117528 117530 117531 117533 117534 117536 117537 117539 117540 117542 117543 117544 117545 117546 117664 117665 117666 117667 117668 117669 117670 117671 117672 117673 117674 117675 117676 117677 117678 117681 117684 117685 117686 117690 117693 117696 117699 117702 117705 117708 117711 117712 117713 117717 117720 117721 117722 117726 117729 117730 117731 117735 117738 117739 117740 117744 117747 117748 117749 117753 117756 117757 117758 117762 117765 117766 117767 117771 117774 117775 117776 117780 117783 117784 117785 117789 117792 117793 117794 117798 117801 117802 117803 117807 117810 117811 117812 117816 117819 117820 117821 117825 117828 117829 117830 117834 117837 117838 117839 117843 117846 117849 117852 117855 117858 117861 117864 117867 117870 117873 117876 117879 117882 117885 117888 117889 117890 117894 117897 117898 117899 117903 117906 117907 117908 117912 117915 117916 117917 117921 117924 117925 117926 117930 117933 117934 117935 117939 117942 117943 117944 117948 117951 117954 117957 117960 117963 117966 117969 117972 117973 117974 117978 117981 117982 117983 117987 117990 117991 117992 117996 117999 118000 118001 118005 118008 118009 118010 118014 118017 118018 118019 118023 118026 118029 118032 118035 118038 118039 118042 118043 118045 118046 118048 118049 118065 118071 118073 118075 118078 118079 118081 118082 118084 118085 118089 118092 118095 118098 118101 118107 118109 118114 118117 118118 118120 118121 118125 118128 118131 118134 118137 118138 118139 118141 118146 118147 118148 118152 118153 118154 118158 118161 118164 118165 118166 118170 118171 118172 118176 118177 118178 118182 118183 118184 118186 118187 118191 118192 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3495643-1307808874/watcher-3495643-1307808874 -o /tmp/evaluation-result-3495643-1307808874/solver-3495643-1307808874 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495643-1307808874.cnf
running on 2 cores: 1,3
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 2.43 3.08 5/184 17722
/proc/meminfo: memFree=31666456/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=22612 CPUtime=0 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 1305 0 0 0 0 0 0 0 22 0 1 0 892485354 23154688 1224 33554432000 4194304 4280283 140733331837008 18446744073709551615 228244046032 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 5653 1237 223 21 0 2290 0
[startup+0.0211721 s]
/proc/loadavg: 1.08 2.43 3.08 5/184 17722
/proc/meminfo: memFree=31666456/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=27712 CPUtime=0.01 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 2677 0 0 0 1 0 0 0 22 0 1 0 892485354 28377088 2549 33554432000 4194304 4280283 140733331837008 18446744073709551615 4267193 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 6961 2551 224 21 0 3598 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27712
[startup+0.101161 s]
/proc/loadavg: 1.08 2.43 3.08 5/184 17722
/proc/meminfo: memFree=31666456/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=51664 CPUtime=0.09 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 8281 0 0 0 8 1 0 0 22 0 1 0 892485354 52903936 8084 33554432000 4194304 4280283 140733331837008 18446744073709551615 228244348672 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 12916 8084 239 21 0 9553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51664
[startup+0.301126 s]
/proc/loadavg: 1.08 2.43 3.08 5/184 17722
/proc/meminfo: memFree=31666456/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=58408 CPUtime=0.28 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 10016 0 0 0 27 1 0 0 23 0 1 0 892485354 59809792 9818 33554432000 4194304 4280283 140733331837008 18446744073709551615 4208882 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 14602 9818 251 21 0 11239 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58408
[startup+0.701067 s]
/proc/loadavg: 1.08 2.43 3.08 5/184 17722
/proc/meminfo: memFree=31666456/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=58408 CPUtime=0.68 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 10016 0 0 0 67 1 0 0 25 0 1 0 892485354 59809792 9818 33554432000 4194304 4280283 140733331837008 18446744073709551615 4208913 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 14602 9818 251 21 0 11239 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 58408
[startup+1.50092 s]
/proc/loadavg: 1.08 2.43 3.08 5/190 17738
/proc/meminfo: memFree=31422620/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=60228 CPUtime=1.49 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 11304 0 0 0 147 2 0 0 25 0 1 0 892485354 61673472 10946 33554432000 4194304 4280283 140733331837008 18446744073709551615 4258864 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 15057 10946 270 21 0 11694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60228
[startup+3.10064 s]
/proc/loadavg: 1.23 2.44 3.07 5/190 17776
/proc/meminfo: memFree=31283708/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=137392 CPUtime=3.09 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 26030 0 0 0 305 4 0 0 25 0 1 0 892485354 140689408 25657 33554432000 4194304 4280283 140733331837008 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 34348 25657 270 21 0 30985 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137392
[startup+6.30108 s]
/proc/loadavg: 1.23 2.44 3.07 5/190 17776
/proc/meminfo: memFree=31080196/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=187976 CPUtime=6.29 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 40861 0 0 0 622 7 0 0 25 0 1 0 892485354 192487424 40477 33554432000 4194304 4280283 140733331837008 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 46994 40478 270 21 0 43631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187976
[startup+12.7009 s]
/proc/loadavg: 1.66 2.49 3.08 5/190 17776
/proc/meminfo: memFree=30856816/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=270044 CPUtime=12.69 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 53865 0 0 0 1260 9 0 0 25 0 1 0 892485354 276525056 53477 33554432000 4194304 4280283 140733331837008 18446744073709551615 4237115 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 67511 53477 270 21 0 64148 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 270044
[startup+25.5007 s]
/proc/loadavg: 2.02 2.54 3.09 5/190 17777
/proc/meminfo: memFree=30612292/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=271356 CPUtime=25.49 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 55982 0 0 0 2539 10 0 0 25 0 1 0 892485354 277868544 55592 33554432000 4194304 4280283 140733331837008 18446744073709551615 4243112 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 67839 55592 270 21 0 64476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 271356
[startup+51.1002 s]
/proc/loadavg: 2.69 2.66 3.12 5/190 17777
/proc/meminfo: memFree=29895600/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=404732 CPUtime=51.09 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 76183 0 0 0 5096 13 0 0 25 0 1 0 892485354 414445568 75786 33554432000 4194304 4280283 140733331837008 18446744073709551615 4208863 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 101183 75786 270 21 0 97820 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 404732
[startup+102.307 s]
/proc/loadavg: 3.48 2.88 3.16 5/190 17779
/proc/meminfo: memFree=29404752/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=274496 CPUtime=102.3 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 131425 0 0 0 10210 20 0 0 25 0 1 0 892485354 281083904 63304 33554432000 4194304 4280283 140733331837008 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 68624 63304 270 21 0 65261 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 274496
[startup+162.301 s]
/proc/loadavg: 3.81 3.08 3.21 5/190 17780
/proc/meminfo: memFree=28213824/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=623912 CPUtime=162.29 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 299784 0 0 0 16188 41 0 0 25 0 1 0 892485354 638885888 136250 33554432000 4194304 4280283 140733331837008 18446744073709551615 4256984 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 155978 136250 270 21 0 152615 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 623912
[startup+222.301 s]
/proc/loadavg: 3.93 3.25 3.26 5/190 17782
/proc/meminfo: memFree=28688336/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=976144 CPUtime=222.29 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 500330 0 0 0 22164 65 0 0 25 0 1 0 892485354 999571456 184532 33554432000 4194304 4280283 140733331837008 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 244036 184532 270 21 0 240673 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 976144
[startup+282.301 s]
/proc/loadavg: 4.02 3.40 3.31 5/190 17784
/proc/meminfo: memFree=29870872/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=414428 CPUtime=282.3 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 585406 0 0 0 28153 77 0 0 25 0 1 0 892485354 424374272 84215 33554432000 4194304 4280283 140733331837008 18446744073709551615 228247808074 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 103607 84215 270 21 0 100244 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 414428
[startup+342.301 s]
/proc/loadavg: 4.01 3.50 3.35 5/190 17785
/proc/meminfo: memFree=29781044/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631328 CPUtime=342.3 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 628809 0 0 0 34148 82 0 0 25 0 1 0 892485354 646479872 127608 33554432000 4194304 4280283 140733331837008 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157832 127608 270 21 0 154469 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 631328
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 4.01 3.50 3.35 5/190 17785
/proc/meminfo: memFree=29596780/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631328 CPUtime=345.5 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 629051 0 0 0 34468 82 0 0 25 0 1 0 892485354 646479872 127850 33554432000 4194304 4280283 140733331837008 18446744073709551615 4238805 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157832 127850 270 21 0 154469 0
Current children cumulated CPU time (s) 345.5
Current children cumulated vsize (KiB) 631328
[startup+351.9 s]
/proc/loadavg: 4.00 3.52 3.36 5/190 17785
/proc/meminfo: memFree=29633092/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631592 CPUtime=351.9 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 629123 0 0 0 35108 82 0 0 25 0 1 0 892485354 646750208 127922 33554432000 4194304 4280283 140733331837008 18446744073709551615 4258897 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157898 127922 270 21 0 154535 0
Current children cumulated CPU time (s) 351.9
Current children cumulated vsize (KiB) 631592
[startup+358.3 s]
/proc/loadavg: 4.00 3.53 3.36 5/190 17786
/proc/meminfo: memFree=29656280/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631764 CPUtime=358.29 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 629899 0 0 0 35747 82 0 0 25 0 1 0 892485354 646926336 128698 33554432000 4194304 4280283 140733331837008 18446744073709551615 4242809 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157941 128698 270 21 0 154578 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 631764
[startup+359.901 s]
/proc/loadavg: 4.00 3.53 3.36 5/190 17786
/proc/meminfo: memFree=29568860/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631764 CPUtime=359.9 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 630229 0 0 0 35908 82 0 0 25 0 1 0 892485354 646926336 129028 33554432000 4194304 4280283 140733331837008 18446744073709551615 4242809 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157941 129028 270 21 0 154578 0
Current children cumulated CPU time (s) 359.9
Current children cumulated vsize (KiB) 631764
[startup+361.501 s]
/proc/loadavg: 4.00 3.53 3.36 5/190 17786
/proc/meminfo: memFree=29537612/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631764 CPUtime=361.5 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 630391 0 0 0 36068 82 0 0 25 0 1 0 892485354 646926336 129189 33554432000 4194304 4280283 140733331837008 18446744073709551615 4238829 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157941 129189 270 21 0 154578 0
Current children cumulated CPU time (s) 361.5
Current children cumulated vsize (KiB) 631764
[startup+361.907 s]
/proc/loadavg: 4.00 3.53 3.36 5/190 17786
/proc/meminfo: memFree=29472388/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=631764 CPUtime=361.9 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) R 17720 17722 15558 0 -1 4202496 630451 0 0 0 36108 82 0 0 25 0 1 0 892485354 646926336 129249 33554432000 4194304 4280283 140733331837008 18446744073709551615 4261457 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17722/statm: 157941 129249 270 21 0 154578 0
Current children cumulated CPU time (s) 361.9
Current children cumulated vsize (KiB) 631764
[startup+362.301 s]
/proc/loadavg: 4.00 3.53 3.36 5/190 17786
/proc/meminfo: memFree=29472388/32951124 swapFree=67056676/67111528
[pid=17722] ppid=17720 vsize=0 CPUtime=362.29 cores=1,3
/proc/17722/stat : 17722 (OptimuS_release) S 17720 17722 15558 0 -1 4202500 630658 0 0 0 36145 84 0 0 25 0 1 0 892485354 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/17722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 362.29
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 362.301
CPU time (s): 362.307
CPU user time (s): 361.458
CPU system time (s): 0.84887
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1317544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 361.458
system time used= 0.84887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 622
runsolver used 0.579911 second user time and 1.40079 second system time
The end
Begin job on node136 at 2011-06-11 18:14:34
IDJOB=3495643
IDBENCH=89514
IDSOLVER=1988
FILE ID=node136/3495643-1307808874
RUNJOBID= node136-1307808874-17681
PBS_JOBID= 13551050
Free space on /tmp= 74128 MiB
SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/g6bid.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495643-1307808874/watcher-3495643-1307808874 -o /tmp/evaluation-result-3495643-1307808874/solver-3495643-1307808874 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495643-1307808874.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 506b5f635b81c7e2a4dd5dbcee848ec4
RANDOM SEED=1113666857
node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31668272 kB
Buffers: 258196 kB
Cached: 797752 kB
SwapCached: 8764 kB
Active: 488224 kB
Inactive: 595152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31668272 kB
SwapTotal: 67111528 kB
SwapFree: 67056676 kB
Dirty: 5452 kB
Writeback: 0 kB
AnonPages: 24480 kB
Mapped: 13220 kB
Slab: 134912 kB
PageTables: 4824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 225660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74116 MiB
End job on node136 at 2011-06-11 18:20:36