0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3501105-1308042642.gcnf ***
0.00/0.00	c 
0.18/0.22	c Parsing CPU Time: 0.209968
0.18/0.22	c Running MUSer ...
22.00/22.10	c 0.00% completed ... 
290.09/290.16	c 5.26% completed ... 
788.91/788.92	c 100.00% completed ... 
788.91/788.92	c MUS size: 45246
788.91/788.92	s UNSATISFIABLE
788.91/788.92	v 255 270 271 272 273 274 275 276 460 461 462 463 464 465 466 467 468 469 470 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 531 532 534 535 536 566 567 568 569 570 571 572 573 574 925 926 927 928 929 930 931 946 947 960 961 962 969 970 971 986 987 988 989 990 991 993 994 995 996 1111 1112 1113 1117 1118 1119 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1152 1153 1154 1155 1156 1157 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1199 1200 1201 1203 1204 1205 1206 1207 1208 1209 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1235 1236 1237 1238 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1275 1276 1277 1281 1282 1283 1284 1285 1286 1287 1288 1289 1292 1293 1294 1295 1296 1391 1392 1393 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1469 1514 1515 1516 1517 1530 1536 1550 1552 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1640 1641 1642 1643 1644 1645 1649 1650 1651 1652 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1687 1688 1689 1690 1691 1692 1693 1694 1700 1701 1702 1703 1704 1720 1721 1722 1723 1724 1725 1726 1727 1728 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1783 1784 1785 1786 1787 1792 1793 1794 1795 1796 1797 1798 1803 1804 1805 1806 1807 1817 1818 1819 1820 1821 1823 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2023 2024 2025 2026 2027 2029 2030 2031 2032 2033 2034 2035 2036 2037 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2081 2082 2083 2084 2085 2086 2087 2088 2089 2094 2095 2096 2097 2098 2099 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2164 2165 2166 2167 2168 2169 2170 2180 2181 2182 2183 2184 2193 2194 2195 2201 2202 2203 2204 2205 2220 2221 2222 2223 2278 2279 2280 2281 2282 2283 2284 2285 2286 2338 2339 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2375 2376 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2398 2400 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2448 2449 2450 2451 2452 2460 2461 2462 2463 2464 2465 2466 2467 2468 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2530 2532 2533 2534 2535 2536 2537 2538 2539 2541 2545 2552 2553 2554 2555 2556 2558 2560 2571 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2632 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2718 2719 2720 2721 2722 2723 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2747 2748 2749 2750 2754 2755 2756 2757 2758 2759 2761 2762 2763 2764 2765 2766 2767 2768 2769 2787 2836 2837 2838 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2929 2930 2931 2932 2933 2934 2935 2936 2937 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963 2964 2965 2966 2967 2968 2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025 3026 3027 3028 3029 3030 3031 3032 3033 3034 3035 3036 3039 3040 3041 3042 3043 3044 3045 3046 3049 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3107 3108 3109 3110 3111 3112 3113 3123 3124 3125 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3227 3228 3229 3230 3341 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3448 3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3529 3530 3531 3532 3533 3534 3541 3542 3543 3544 3545 3546 3554 3555 3556 3557 3558 3559 3570 3571 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3668 3669 3670 3671 3672 3680 3681 3682 3709 3710 3714 3715 3716 3717 3721 3727 3729 3730 3733 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3788 3792 3799 3800 3801 3810 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3840 3844 3845 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3890 3891 3896 3911 3919 3920 3921 3922 3924 3966 3967 4296 4301 4306 4307 4355 4364 4365 4377 4379 4380 4381 4382 4383 4384 4385 4478 4479 4496 4497 4514 4515 4559 4564 4565 4566 4567 4639 4669 4670 4671 4672 4675 4676 4677 4678 4679 4684 4687 4690 4722 4723 4724 5034 5035 5234 5235 5236 5237 5238 5239 5240 5241 5242 5271 5272 5273 5274 5275 5276 5277 5279 5280 5284 5286 5316 5317 5321 5322 5323 5324 5325 5326 5331 5332 5333 5334 5335 5336 5337 5339 5340 5342 5343 5344 5345 5346 5347 5348 5349 5350 5354 5355 5356 5357 5358 5359 5360 5361 5362 5363 5364 5373 5374 5375 5376 5377 5378 5384 5385 5386 5387 5388 5389 5390 5391 5392 5393 5394 5395 5396 5397 5398 5399 5400 5401 5402 5403 5404 5405 5406 5408 5409 5410 5411 5412 5413 5414 5415 5416 5417 5418 5419 5420 5421 5422 5423 5424 5425 5426 5427 5428 5429 5430 5431 5435 5436 5437 5438 5439 5440 5441 5442 5443 5444 5445 5448 5449 5450 5451 5452 5453 5454 5455 5456 5457 5458 5459 5460 5461 5462 5463 5464 5494 5495 5496 5513 5514 5515 5516 5517 5518 5519 5520 5521 5522 5523 5526 5527 5528 5529 5530 5531 5534 5535 5536 5537 5538 5539 5540 5541 5542 5543 5544 5545 5546 5547 5548 5549 5550 5551 5552 5553 5554 5555 5556 5557 5558 5559 5560 5561 5562 5563 5564 5565 5566 5567 5568 5569 5570 5571 5575 5576 5577 5579 5580 5581 5582 5584 5585 5586 5587 5588 5589 5592 5593 5594 5595 5596 5654 5655 5656 5735 5736 5737 5738 5739 5794 5795 5796 5797 5798 5799 5800 5801 5802 5803 5804 5807 5808 5809 5810 5811 5812 5813 5815 5816 5826 5827 5828 5829 5830 5834 5835 5839 5840 5841 5842 5843 5844 5845 5846 5847 5848 5849 5850 5851 5852 5853 5854 5855 5856 5857 5858 5859 5860 5861 5862 5863 5864 5865 5866 5867 5868 5869 5870 5871 5872 5873 5874 5875 5876 5877 5878 5879 5880 5881 5882 5883 5884 5952 5953 5954 5955 5956 6055 6077 6295 6296 6299 6300 6301 6302 6315 6316 6317 6323 6325 6328 6340 6341 6342 6343 6344 6345 6346 6347 6348 6349 6350 6351 6353 6357 6358 6359 6360 6361 6368 6369 6370 6371 6372 6373 6374 6375 6376 6377 6378 6379 6380 6381 6382 6383 6384 6385 6386 6387 6388 6389 6390 6391 6392 6393 6394 6395 6396 6397 6398 6399 6400 6401 6402 6403 6404 6405 6406 6407 6408 6409 6417 6422 6423 6424 6425 6426 6427 6428 6429 6430 6431 6432 6433 6434 6435 6436 6437 6438 6439 6443 6444 6445 6446 6447 6448 6449 6450 6451 6452 6453 6465 6466 6469 6470 6472 6473 6474 6475 6476 6477 6478 6479 6480 6481 6482 6498 6499 6500 6501 6502 6506 6507 6508 6509 6510 6514 6515 6516 6517 6518 6519 6527 6528 6529 6530 6531 6532 6533 6534 6535 6536 6537 6538 6539 6540 6549 6550 6551 6552 6553 6554 6555 6556 6557 6559 6560 6561 6562 6563 6564 6565 6566 6567 6568 6569 6570 6571 6572 6573 6574 6575 6576 6577 6578 6579 6583 6584 6586 6587 6588 6589 6590 6591 6592 6593 6594 6595 6596 6597 6598 6599 6600 6601 6602 6603 6604 6605 6607 6608 6609 6610 6611 6612 6613 6614 6615 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6635 6636 6640 6641 6642 6643 6657 6658 6659 6670 6671 6672 6673 6674 6675 6676 6677 6678 6679 6680 6681 6682 6683 6685 6686 6687 6688 6689 6690 6691 6692 6693 6694 6695 6696 6733 6734 6735 6736 6737 6738 6739 6740 6741 6743 6744 6745 6746 6747 6752 6753 6754 6755 6779 6780 6781 6782 6797 6798 6799 6827 6841 6842 6843 6844 6845 6846 6847 6848 6849 6850 6894 6898 6899 6900 6901 6903 6904 6905 6906 6915 6916 6917 6918 6919 6920 6924 6925 6926 6927 6937 6938 6939 6940 6941 6942 6943 6944 6945 6946 6947 6948 6974 6975 6976 6977 6978 6979 6980 6981 6982 6983 6984 6985 6986 6987 6988 6989 6990 6991 6992 7072 7073 7074 7075 7076 7077 7078 7079 7080 7081 7082 7083 7084 7085 7086 7087 7088 7089 7090 7091 7092 7093 7094 7095 7099 7100 7101 7102 7103 7104 7105 7106 7107 7109 7110 7111 7112 7113 7114 7115 7116 7117 7118 7119 7120 7121 7122 7123 7124 7125 7127 7128 7129 7130 7131 7132 7133 7134 7135 7136 7137 7138 7139 7140 7141 7142 7143 7144 7153 7154 7155 7156 7157 7176 7177 7178 7179 7201 7202 7203 7204 7205 7206 7207 7208 7214 7215 7216 7217 7218 7219 7220 7221 7222 7223 7224 7226 7227 7244 7245 7246 7247 7248 7249 7250 7251 7252 7253 7261 7272 7273 7274 7275 7276 7386 7387 7388 7750 7751 7752 7753 7754 7866 7867 7868 7908 7909 7910 7933 7934 7935 7936 7937 7989 7990 7991 7992 7993 7994 7995 8007 8008 8009 8010 8011 8012 8013 8014 8015 8016 8021 8022 8023 8024 8025 8037 8038 8039 8040 8041 8042 8043 8044 8045 8046 8047 8048 8049 8050 8051 8052 8053 8054 8055 8056 8057 8058 8059 8060 8061 8069 8070 8071 8072 8083 8084 8085 8093 8094 8095 8120 8121 8122 8123 8140 8141 8142 8149 8150 8151 8152 8153 8154 8155 8163 8164 8165 8166 8183 8184 8185 8186 8187 8188 8189 8190 8191 8192 8193 8194 8209 8210 8231 8232 8233 8234 8235 8236 8237 8238 8239 8241 8242 8243 8244 8245 8246 8247 8248 8254 8255 8264 8265 8266 8267 8268 8269 8270 8271 8272 8273 8274 8275 8276 8277 8278 8279 8280 8281 8282 8283 8284 8285 8292 8293 8294 8295 8296 8299 8300 8301 8302 8312 8317 8318 8319 8320 8321 8322 8323 8324 8325 8326 8327 8328 8329 8330 8331 8332 8333 8334 8335 8336 8337 8338 8339 8340 8341 8343 8344 8345 8346 8347 8348 8349 8350 8351 8352 8353 8354 8355 8356 8357 8358 8359 8360 8361 8362 8363 8364 8365 8366 8367 8368 8369 8370 8371 8372 8373 8374 8375 8376 8377 8378 8379 8384 8390 8391 8392 8393 8394 8395 8396 8397 8398 8399 8400 8401 8402 8403 8404 8405 8406 8407 8408 8409 8410 8411 8412 8413 8414 8415 8416 8417 8418 8419 8420 8423 8424 8425 8426 8427 8428 8429 8430 8431 8432 8433 8434 8435 8436 8437 8438 8439 8440 8441 8442 8443 8452 8453 8454 8455 8456 8457 8458 8459 8460 8461 8462 8463 8464 8465 8466 8467 8468 8469 8470 8471 8472 8473 8474 8475 8476 8477 8478 8479 8480 8481 8482 8483 8484 8485 8486 8487 8488 8489 8490 8491 8492 8493 8494 8495 8496 8500 8501 8502 8503 8504 8505 8506 8507 8508 8509 8510 8511 8512 8513 8514 8515 8516 8517 8518 8519 8520 8521 8522 8527 8528 8529 8530 8531 8532 8533 8534 8535 8536 8537 8538 8539 8540 8544 8545 8546 8547 8548 8549 8550 8551 8552 8553 8554 8555 8556 8557 8558 8559 8560 8561 8562 8563 8564 8565 8569 8570 8571 8572 8573 8574 8575 8577 8578 8579 8580 8581 8583 8584 8585 8586 8587 8588 8592 8593 8595 8596 8597 8598 8599 8600 8601 8602 8670 8671 8678 8679 8680 8681 8682 8683 8684 8685 8688 8689 8691 8692 8693 8734 8745 8746 8749 8750 8751 8752 8753 8754 8755 8756 8757 8778 8779 8780 8782 8783 8784 8785 8786 8788 8789 8790 8801 8813 8815 8816 8817 8818 8819 8820 8942 8943 8944 8945 9012 9013 9028 9029 9059 9060 9061 9062 9098 9099 9100 9101 9102 9103 9104 9105 9106 9107 9108 9109 9110 9111 9187 9188 9189 9190 9191 9192 9193 9194 9195 9196 9197 9198 9199 9200 9201 9202 9203 9204 9205 9206 9207 9208 9209 9210 9211 9212 9214 9215 9216 9217 9218 9219 9220 9222 9223 9228 9229 9230 9231 9232 9233 9234 9235 9236 9237 9238 9239 9240 9241 9242 9253 9259 9260 9261 9262 9268 9273 9274 9275 9276 9279 9280 9281 9285 9291 9292 9293 9294 9295 9296 9297 9298 9299 9300 9301 9302 9303 9304 9306 9308 9309 9311 9312 9313 9316 9317 9318 9322 9323 9324 9325 9326 9327 9364 9365 9366 9367 9368 9369 9370 9372 9373 9374 9375 9376 9377 9378 9379 9380 9381 9382 9383 9384 9385 9386 9387 9388 9389 9390 9391 9392 9393 9394 9405 9406 9407 9408 9409 9410 9411 9412 9413 9414 9415 9426 9427 9428 9429 9431 9432 9433 9434 9436 9437 9438 9439 9451 9452 9453 9454 9455 9456 9457 9458 9459 9460 9469 9470 9471 9472 9473 9474 9475 9476 9477 9478 9479 9480 9481 9482 9483 9484 9485 9486 9489 9490 9491 9492 9493 9494 9495 9496 9501 9502 9503 9504 9506 9507 9508 9511 9512 9513 9514 9515 9516 9517 9527 9528 9529 9538 9539 9540 9541 9544 9545 9546 9547 9557 9558 9559 9567 9568 9569 9570 9571 9572 9573 9574 9575 9576 9577 9578 9579 9620 9621 9630 9631 9632 9633 9642 9643 9651 9652 9653 9654 9655 9656 9657 9658 9659 9660 9661 9662 9663 9664 9665 9666 9668 9669 9670 9671 9672 9674 9688 9689 9697 9700 9701 9720 9721 9722 9723 9724 9725 9726 9727 9763 9764 9765 9770 9771 9772 9773 9774 9775 9776 9777 9778 9779 9780 9781 9782 9783 9784 9785 9786 9787 9795 9796 9797 9798 9799 9809 9810 9811 9812 9813 9814 9815 9816 9859 9860 9861 9862 9863 9864 9865 9866 9867 9868 9869 9870 9871 9872 9873 9875 9876 9877 9878 9879 9880 9883 9884 9885 9887 9888 9889 9890 9891 9892 9893 9894 9895 9896 9922 9923 9944 9945 9946 9947 9948 9949 9953 9954 9955 9956 9957 9958 9959 9969 9970 9971 9972 9973 9974 9975 9976 9982 9983 9984 9985 9986 9987 9988 9989 9990 9991 9992 9993 9994 9995 9996 9997 9998 9999 10000 10001 10003 10004 10006 10007 10008 10009 10010 10011 10012 10014 10015 10016 10017 10018 10019 10020 10021 10022 10023 10024 10025 10026 10027 10028 10029 10030 10031 10032 10033 10034 10045 10046 10047 10048 10049 10050 10051 10052 10053 10054 10055 10056 10057 10058 10059 10060 10061 10062 10063 10064 10065 10066 10067 10068 10069 10070 10071 10072 10073 10074 10075 10076 10077 10078 10079 10080 10081 10082 10083 10084 10085 10086 10087 10088 10089 10090 10091 10092 10093 10094 10095 10096 10097 10098 10099 10100 10101 10102 10103 10104 10105 10106 10107 10108 10109 10110 10122 10129 10164 10181 10182 10183 10188 10189 10190 10191 10192 10193 10194 10195 10196 10199 10200 10204 10205 10206 10207 10208 10209 10210 10211 10212 10213 10214 10216 10217 10218 10219 10220 10221 10222 10223 10224 10225 10252 10253 10254 10255 10256 10257 10258 10259 10263 10264 10265 10266 10267 10268 10269 10270 10271 10272 10273 10274 10275 10276 10277 10285 10286 10287 10288 10289 10290 10335 10336 10405 10406 10407 10408 10409 10424 10425 10426 10427 10428 10429 10430 10431 10432 10433 10434 10435 10436 10450 10451 10453 10454 10455 10456 10457 10458 10459 10460 10461 10462 10463 10481 10482 10483 10484 10486 10487 10488 10500 10501 10502 10503 10504 10505 10506 10514 10515 10516 10530 10531 10532 10533 10534 10535 10536 10537 10538 10539 10540 10541 10542 10543 10554 10555 10556 10557 10558 10559 10560 10561 10562 10563 10564 10565 10566 10567 10568 10569 10570 10571 10572 10573 10574 10575 10576 10577 10578 10599 10600 10601 10602 10603 10604 10605 10606 10607 10608 10609 10610 10611 10612 10613 10614 10615 10616 10617 10618 10619 10632 10633 10634 10635 10636 10640 10641 10642 10643 10644 10650 10651 10652 10653 10668 10669 10670 10671 10672 10673 10674 10675 10676 10677 10690 10691 10692 10693 10694 10695 10713 10714 10715 10776 10777 10778 10779 10780 10781 10785 10786 10787 10788 10789 10790 10791 10792 10793 10794 10795 10796 10797 10798 10808 10809 10810 10811 10812 10813 10814 10815 10816 10817 10818 10819 10820 10821 10822 10823 10829 10830 10835 10836 10837 10838 10839 10840 10841 10842 10843 10851 10852 10853 10854 10855 10856 10857 10858 10859 10860 10861 10862 10863 10877 10878 10879 10880 10883 10884 10885 10889 10890 10891 10892 10893 10894 10895 10896 10897 10898 10899 10900 10916 10917 10931 10932 10933 10939 10940 10941 10942 10943 10944 10945 10979 10980 10981 10982 10983 10984 10985 10986 10987 10988 10989 11003 11004 11005 11006 11007 11008 11009 11010 11011 11012 11013 11014 11015 11076 11077 11078 11079 11080 11100 11114 11115 11116 11145 11146 11147 11148 11149 11150 11151 11154 11155 11156 11157 11158 11159 11160 11161 11162 11163 11164 11165 11166 11167 11168 11169 11170 11171 11172 11173 11174 11175 11176 11177 11178 11179 11180 11181 11182 11192 11193 11194 11195 11206 11207 11208 11209 11210 11211 11212 11213 11214 11215 11216 11217 11218 11219 11220 11221 11222 11223 11224 11225 11226 11229 11230 11231 11232 11233 11234 11235 11236 11237 11238 11239 11240 11241 11243 11244 11245 11246 11247 11248 11249 11250 11251 11252 11253 11254 11255 11256 11257 11258 11260 11261 11262 11263 11264 11265 11266 11267 11268 11269 11270 11271 11272 11273 11274 11275 11276 11334 11343 11344 11345 11351 11352 11430 11571 11572 11583 11584 11585 11592 11802 11899 11901 12075 12113 12114 12115 12142 12143 12144 12145 12146 12147 12154 12155 12156 12157 12158 12166 12188 12189 12190 12191 12192 12193 12194 12195 12196 12197 12198 12199 12204 12207 12228 12229 12230 12231 12232 12233 12234 12235 12236 12237 12238 12243 12244 12246 12256 12257 12258 12259 12260 12261 12262 12263 12264 12265 12266 12267 12268 12269 12270 12271 12272 12273 12275 12276 12277 12289 12291 12292 12293 12294 12295 12296 12297 12298 12299 12300 12307 12308 12309 12310 12311 12312 12313 12314 12315 12316 12317 12318 12319 12320 12321 12322 12323 12325 12326 12330 12331 12332 12333 12334 12335 12336 12337 12343 12344 12345 12346 12347 12351 12352 12353 12354 12355 12356 12357 12358 12359 12360 12361 12370 12371 12372 12373 12374 12375 12376 12377 12378 12379 12380 12381 12382 12383 12384 12385 12386 12388 12389 12390 12391 12392 12393 12394 12395 12402 12403 12404 12405 12406 12407 12408 12409 12410 12411 12412 12413 12414 12415 12416 12417 12418 12419 12420 12431 12432 12433 12434 12435 12436 12437 12438 12439 12440 12441 12442 12443 12444 12445 12447 12448 12449 12450 12451 12452 12453 12459 12462 12463 12464 12473 12474 12475 12476 12477 12478 12479 12480 12482 12483 12484 12485 12486 12487 12488 12489 12490 12498 12499 12500 12501 12556 12557 12632 12633 12634 12635 12636 12637 12702 12703 12704 12705 12706 12707 12712 12758 12759 12891 12892 12893 12894 12895 12896 12930 12931 12932 12933 12959 12963 12964 12965 12969 12970 12972 12973 12974 12975 12976 12977 12979 12980 12981 12982 12991 12992 12993 12994 13006 13067 13068 13069 13070 13071 13072 13073 13074 13075 13076 13128 13129 13130 13131 13138 13139 13140 13143 13144 13145 13146 13147 13148 13149 13150 13151 13152 13153 13155 13156 13157 13158 13164 13165 13166 13167 13168 13173 13174 13175 13176 13177 13179 13180 13181 13182 13187 13188 13189 13190 13191 13192 13196 13197 13198 13199 13214 13215 13216 13217 13218 13219 13220 13221 13222 13223 13299 13300 13301 13302 13303 13304 13305 13306 13307 13327 13328 13329 13339 13340 13341 13342 13343 13344 13345 13346 13347 13348 13349 13367 13368 13369 13370 13371 13372 13373 13374 13385 13386 13387 13388 13389 13390 13391 13392 13393 13394 13395 13396 13397 13398 13399 13400 13401 13402 13403 13404 13405 13406 13407 13408 13409 13410 13411 13412 13413 13418 13419 13420 13421 13422 13431 13432 13433 13434 13435 13436 13437 13438 13439 13440 13441 13442 13443 13444 13445 13446 13447 13448 13449 13452 13454 13455 13456 13457 13458 13459 13460 13461 13462 13463 13464 13465 13466 13467 13468 13469 13470 13471 13472 13473 13474 13475 13476 13477 13478 13479 13480 13510 13511 13512 13513 13514 13525 13526 13527 13528 13530 13531 13532 13533 13534 13583 13584 13601 13602 13603 13604 13613 13614 13618 13619 13620 13621 13622 13623 13624 13625 13626 13627 13628 13629 13679 13680 13681 13682 13687 13688 13689 13690 13691 13692 13707 13708 13709 13710 13711 13712 13713 13714 13715 13716 13717 13718 13720 13723 13724 13725 13726 13727 13728 13729 13730 13731 13732 13782 13783 13784 13785 13786 13884 13885 13886 13887 13888 13889 13890 13891 13892 13893 13894 13895 13896 13900 13901 13902 13903 13904 13905 13906 13907 13908 13909 13910 13911 13912 13913 13914 13915 13916 13917 13918 13919 13920 13921 13922 13924 13925 13926 13927 13928 13929 13930 13931 13932 13933 13934 13935 13937 13938 13943 13944 13945 13946 13947 13948 13954 13955 13956 13958 13959 13960 13961 13962 13963 13964 13969 13970 13971 13972 13973 13974 13975 13976 13977 13978 13979 13980 13981 13982 13983 13984 13985 13986 13988 13989 13990 13991 13992 13993 13994 13995 13996 13997 13998 13999 14000 14001 14002 14003 14004 14005 14006 14008 14009 14011 14012 14013 14014 14018 14019 14020 14021 14022 14023 14024 14025 14026 14027 14028 14030 14031 14032 14033 14034 14035 14036 14037 14038 14044 14045 14046 14047 14049 14050 14051 14052 14058 14059 14060 14061 14062 14063 14064 14066 14067 14069 14070 14071 14072 14073 14074 14075 14076 14077 14078 14079 14080 14081 14359 14360 14361 14362 14462 14463 14464 14485 14486 14487 14489 14490 14491 14492 14494 14495 14496 14497 14498 14499 14500 14501 14502 14503 14504 14505 14506 14507 14508 14509 14510 14546 14547 14548 14549 14610 14611 14612 14613 14614 14615 14616 14617 14618 14619 14620 14625 14626 14627 14628 14632 14633 14634 14635 14636 14637 14638 14639 14640 14641 14642 14643 14644 14645 14646 14647 14650 14651 14655 14656 14657 14658 14659 14660 14661 14662 14663 14664 14665 14666 14667 14668 14669 14670 14671 14672 14673 14674 14683 14684 14685 14686 14687 14688 14689 14690 14691 14692 14693 14694 14695 14696 14698 14699 14700 14701 14702 14703 14704 14705 14706 14707 14708 14711 14712 14713 14714 14723 14724 14725 14726 14727 14728 14740 14741 14742 14743 14744 14745 14746 14747 14748 14749 14750 14751 14752 14753 14754 14757 14758 14759 14760 14761 14762 14763 14764 14765 14766 14767 14768 14769 14770 14771 14772 14775 14776 14777 14778 14779 14780 14781 14782 14783 14784 14785 14786 14789 14790 14791 14792 14795 14796 14797 14798 14799 14800 14801 14802 14803 14804 14805 14806 14807 14808 14809 14810 14811 14812 14813 14814 14815 14816 14819 14820 14827 14828 14833 14834 14847 14848 14849 14850 14851 14856 14857 14858 14859 14860 14861 14862 14885 14886 14887 14888 14889 14890 14898 14899 14909 14910 14918 14919 14941 14942 14943 14944 14945 14946 14947 14948 14949 14950 14951 14952 14957 14958 14959 14960 14961 14962 14963 14970 14971 14972 14973 14974 14975 14976 14977 14978 14979 14980 14981 14982 14983 14984 14985 14987 14988 14995 14996 14997 14998 15001 15002 15006 15007 15008 15009 15010 15011 15012 15013 15014 15015 15016 15017 15018 15019 15020 15021 15028 15029 15030 15031 15032 15033 15034 15035 15036 15037 15038 15039 15040 15041 15042 15043 15044 15045 15046 15052 15053 15054 15055 15056 15057 15058 15059 15060 15061 15062 15063 15064 15065 15069 15070 15092 15093 15110 15111 15112 15118 15120 15126 15127 15128 15129 15130 15131 15148 15149 15150 15151 15152 15153 15154 15155 15156 15157 15159 15160 15161 15162 15163 15173 15174 15175 15176 15177 15184 15185 15186 15200 15201 15202 15203 15204 15205 15206 15207 15208 15210 15211 15212 15217 15226 15227 15228 15240 15241 15242 15243 15244 15245 15246 15247 15248 15249 15250 15251 15252 15253 15254 15255 15256 15257 15258 15259 15260 15261 15262 15266 15267 15282 15283 15295 15296 15297 15298 15299 15300 15301 15302 15303 15304 15305 15306 15307 15308 15309 15310 15318 15319 15320 15332 15333 15334 15342 15343 15344 15361 15362 15363 15364 15389 15390 15391 15399 15400 15401 15402 15403 15404 15405 15407 15408 15409 15410 15411 15416 15417 15418 15419 15420 15421 15422 15423 15430 15431 15432 15433 15434 15435 15436 15437 15438 15439 15440 15441 15442 15443 15444 15445 15446 15447 15448 15449 15450 15451 15452 15453 15454 15455 15456 15457 15458 15459 15460 15461 15462 15463 15464 15465 15466 15467 15468 15469 15470 15475 15476 15477 15478 15479 15480 15481 15482 15484 15495 15498 15499 15500 15501 15502 15503 15504 15511 15514 15515 15516 15517 15518 15519 15520 15521 15522 15523 15524 15525 15528 15529 15530 15539 15541 15595 15596 15625 15652 15727 15744 15917 15943 15948 15952 15953 15954 15955 15956 15960 15961 15962 15963 15964 15969 15971 15972 15973 15976 15977 15978 15979 15980 15981 15982 15987 15990 15991 15992 15993 15994 15995 15996 15998 15999 16000 16004 16005 16007 16008 16009 16010 16015 16016 16017 16018 16023 16024 16025 16026 16027 16028 16029 16030 16088 16089 16090 16091 16092 16093 16094 16095 16096 16097 16098 16099 16100 16101 16102 16132 16182 16183 16184 16185 16186 16187 16192 16193 16194 16195 16196 16203 16204 16205 16206 16207 16208 16209 16210 16211 16212 16216 16217 16218 16219 16220 16221 16222 16223 16224 16225 16226 16230 16231 16232 16233 16234 16235 16236 16237 16238 16243 16244 16253 16254 16262 16263 16264 16265 16279 16280 16281 16288 16289 16290 16291 16292 16293 16294 16307 16308 16309 16313 16314 16315 16316 16317 16318 16319 16333 16334 16343 16344 16345 16346 16347 16348 16349 16350 16351 16352 16353 16354 16355 16356 16357 16358 16359 16394 16395 16396 16397 16398 16420 16436 16437 16438 16439 16440 16441 16442 16443 16448 16449 16450 16451 16452 16453 16454 16455 16456 16457 16458 16459 16460 16461 16462 16463 16464 16465 16466 16470 16471 16472 16479 16480 16481 16482 16483 16485 16486 16487 16488 16489 16493 16494 16495 16496 16497 16562 16579 16580 16594 16595 16596 16597 16598 16599 16625 16651 16652 16653 16654 16655 16693 16694 16695 16696 16699 16700 16701 16702 16703 16704 16705 16706 16707 16708 16709 16710 16714 16715 16716 16717 16718 16719 16720 16721 16722 16723 16724 16728 16729 16730 16731 16732 16733 16734 16735 16736 16737 16738 16739 16740 16741 16742 16743 16744 16753 16754 16755 16758 16759 16760 16761 16762 16764 16765 16766 16767 16769 16770 16771 16772 16783 16784 16785 16786 16830 16831 16832 16833 16834 16835 16836 16837 16838 16839 16840 16841 16847 16848 16849 16850 16851 16892 16893 16894 16895 16896 16915 16916 16917 16918 16919 16920 16921 16922 16923 16925 16926 16927 16928 16929 16930 16932 16933 16934 16935 16936 16937 16938 16939 16940 16941 16942 16943 16944 16945 16946 16947 16955 16956 16957 16958 16959 16964 16967 16968 16969 16971 16982 16983 16984 16985 16986 16987 16988 16989 17000 17001 17002 17003 17004 17008 17014 17016 17017 17020 17025 17026 17027 17028 17029 17030 17031 17032 17033 17034 17035 17036 17037 17038 17039 17040 17041 17042 17043 17044 17045 17046 17047 17071 17072 17074 17075 17079 17083 17084 17085 17086 17087 17088 17089 17090 17097 17098 17099 17100 17101 17102 17103 17104 17105 17106 17107 17110 17111 17112 17113 18243 18244 18245 18246 18247 18248 18249 18250 18251 18253 18254 18255 18257 18258 18259 18260 18261 18262 18263 18264 18265 18266 18267 18268 18269 18270 18271 18272 18286 18287 18291 18292 18293 18294 18295 18296 18297 18298 18299 18300 18301 18302 18303 18310 18311 18312 18313 18314 18315 18316 18317 18318 18332 18333 18340 18341 18342 18354 18358 18359 18360 18361 18362 18363 18364 18365 18366 18367 18368 18370 18371 18372 18382 18383 18384 18385 18386 18388 18389 18391 18392 18393 18394 18395 18396 18397 18398 18399 18400 18401 18402 18403 18404 18409 18410 18412 18413 18414 18415 18416 18417 18418 18419 18420 18421 18422 18424 18425 18426 18427 18428 18429 18430 18431 18432 18433 18434 18435 18436 18437 18439 18441 18442 18443 18444 18446 18447 18450 18451 18452 18453 18454 18455 18456 18457 18458 18459 18460 18461 18462 18463 18464 18465 18466 18467 18468 18477 18478 18479 18480 18481 18482 18483 18484 18485 18486 18487 18488 18489 18490 18491 18492 18493 18494 18495 18496 18497 18498 18499 18508 18516 18517 18518 18519 18520 18535 18537 18551 18552 18553 18554 18555 18556 18557 18558 18559 18560 18582 18583 18584 18585 18586 18587 18588 18589 18590 18591 18592 18593 18594 18595 18596 18597 18598 18599 18600 18614 18615 18616 18621 18622 18623 18624 18625 18626 18627 18628 18632 18633 18634 18635 18636 18641 18642 18643 18644 18647 18648 18649 18650 18651 18652 18653 18654 18660 18661 18662 18663 18668 18669 18670 18671 18672 18673 18674 18675 18676 18677 18678 18679 18680 18681 18723 18724 18725 18726 18728 18729 18730 18731 18733 18734 18735 18736 18737 18738 18739 18740 18741 18742 18743 18744 18745 18746 18747 18748 18749 18751 18752 18753 18754 18755 18756 18757 18758 18759 18760 18761 18762 18763 18764 18765 18766 18767 18768 18769 18770 18771 18772 18773 18774 18775 18776 18777 18778 18779 18780 18781 18782 18783 18784 18785 18786 18787 18788 18789 18790 18791 18795 18796 18797 18798 18799 18800 18804 18805 18806 18807 18808 18809 18810 18811 18812 18813 18814 18815 18816 18817 18859 18860 18861 18862 18863 18869 18870 18871 18872 18879 18880 18881 18882 18890 18891 18894 18895 18896 18897 18898 18899 18900 18928 18929 18930 18931 18939 18940 18941 18942 18964 18965 18966 18967 18972 18973 18974 18975 18976 18977 18978 19215 19216 19217 19218 19219 19220 19221 19222 19291 19292 19297 19298 19550 19551 19566 19567 19570 19571 19572 19573 19574 19575 19576 19577 19578 19579 19620 19621 19636 19637 19694 19695 19700 19701 19702 19703 19820 19821 19858 19859 19860 19861 19862 19863 19864 19865 19866 19867 19868 19872 19873 19874 19875 19876 19877 19878 19879 19880 19881 19896 19897 19899 19900 19901 19902 19903 19904 19905 19906 19907 19908 19915 19916 19917 19920 19925 19927 19928 19930 19931 19932 19933 19934 19935 19936 19937 19938 19944 19945 19946 19947 19955 19956 19957 19958 19959 19960 19971 19979 19980 19981 19982 19984 19985 19986 19987 19988 19989 19990 19991 19992 19994 19995 19996 19997 19998 19999 20000 20001 20002 20003 20004 20005 20006 20007 20008 20009 20011 20012 20013 20014 20015 20016 20017 20018 20019 20020 20021 20022 20023 20024 20025 20026 20027 20028 20029 20030 20031 20032 20034 20035 20036 20037 20038 20039 20040 20041 20044 20045 20046 20047 20053 20054 20055 20056 20057 20058 20059 20060 20061 20062 20063 20064 20065 20066 20067 20068 20069 20086 20087 20088 20089 20090 20091 20092 20093 20101 20102 20103 20104 20105 20106 20107 20108 20109 20110 20111 20138 20139 20140 20141 20142 20143 20144 20145 20146 20175 20176 20177 20219 20222 20223 20224 20226 20232 20238 20239 20240 20241 20242 20243 20285 20424 20425 20442 20443 20457 20458 20459 20465 20466 20467 20468 20469 20470 20479 20519 20520 20521 20599 20629 20630 20631 20632 20633 20634 20635 20636 20637 20638 20639 20640 20641 20642 20643 20644 20647 20648 20649 20650 20651 20652 20653 20654 20655 20656 20657 20663 20669 20701 20702 20703 20784 20792 20793 20794 20795 20796 20802 20803 20804 21031 21032 21229 21230 23258 23259 23260 23261 23262 23263 23264 23265 23266 23267 23268 23269 23270 23277 23278 23297 23298 23299 23300 23301 23302 23303 23304 23305 23307 23308 23314 23320 23321 23347 23348 23352 23353 23354 23355 23356 23357 23364 23365 23366 23367 23368 23369 23370 23371 23372 23373 23374 23375 23376 23377 23378 23379 23380 23381 23382 23383 23386 23387 23388 23389 23390 23391 23392 23393 23394 23395 23396 23397 23398 23406 23407 23408 23409 23410 23411 23412 23419 23420 23421 23422 23423 23424 23425 23426 23427 23428 23429 23430 23431 23432 23433 23434 23435 23436 23437 23438 23439 23440 23441 23443 23444 23445 23446 23447 23448 23449 23450 23451 23452 23453 23454 23455 23456 23457 23458 23459 23460 23461 23462 23463 23464 23465 23466 23470 23471 23472 23473 23474 23475 23476 23477 23478 23479 23480 23483 23484 23485 23486 23487 23488 23489 23490 23491 23492 23493 23494 23495 23496 23497 23498 23499 23539 23540 23541 23558 23559 23560 23561 23562 23563 23564 23565 23566 23567 23568 23571 23572 23573 23574 23575 23576 23579 23580 23581 23582 23583 23584 23585 23586 23587 23588 23589 23590 23591 23592 23593 23594 23595 23596 23597 23598 23599 23600 23601 23602 23603 23604 23605 23606 23607 23608 23609 23610 23611 23612 23613 23614 23615 23616 23620 23621 23622 23624 23625 23626 23627 23629 23630 23631 23632 23633 23634 23637 23638 23639 23640 23641 23693 23694 23696 23697 23698 23699 23700 23701 23702 23703 23704 23706 23707 23708 23709 23710 23712 23713 23714 23715 23716 23717 23718 23719 23720 23721 23722 23723 23724 23725 23726 23727 23728 23729 23730 23731 23732 23733 23734 23735 23737 23738 23740 23741 23743 23744 23746 23747 23748 23749 23750 23751 23752 23753 23754 23755 23756 23757 23758 23759 23760 23761 23762 23763 23764 23765 23766 23767 23768 23769 23770 23771 23772 23773 23774 23775 23776 23777 23778 23779 23780 23781 23782 23783 23784 23845 23846 23847 23848 23849 23850 23851 23852 23853 23854 23855 23858 23859 23860 23861 23862 23863 23864 23866 23867 23877 23878 23879 23880 23881 23885 23886 23892 23893 23894 23895 23896 23897 23898 23899 23900 23901 23902 23903 23904 23905 23906 23907 23908 23909 23910 23911 23912 23913 23914 23915 23916 23917 23918 23919 23920 23921 23922 23923 23924 23925 23926 23927 23928 23929 23930 23931 23932 23933 23934 23935 23954 23955 24003 24004 24005 24006 24007 24097 24098 24099 24100 24105 24112 24134 24183 24184 24313 24328 24329 24330 24331 24332 24333 24336 24337 24354 24355 24356 24357 24358 24359 24360 24361 24362 24363 24364 24365 24366 24367 24368 24371 24372 24374 24375 24376 24377 24378 24379 24380 24383 24384 24385 24386 24387 24388 24391 24402 24403 24404 24405 24406 24407 24408 24409 24410 24411 24412 24413 24414 24415 24416 24417 24420 24421 24422 24423 24424 24425 24432 24433 24434 24435 24436 24437 24438 24439 24440 24441 24442 24443 24444 24445 24446 24447 24448 24449 24450 24451 24452 24453 24454 24455 24456 24457 24458 24459 24460 24461 24462 24463 24464 24465 24466 24467 24468 24469 24470 24471 24472 24473 24474 24475 24476 24477 24478 24479 24480 24481 24482 24483 24487 24491 24492 24493 24494 24495 24496 24497 24498 24499 24500 24501 24502 24503 24504 24505 24506 24507 24508 24509 24513 24514 24515 24516 24517 24518 24519 24520 24521 24522 24523 24535 24536 24537 24539 24540 24541 24542 24543 24544 24545 24546 24547 24548 24549 24550 24551 24552 24568 24569 24570 24571 24572 24576 24577 24578 24579 24580 24584 24585 24586 24587 24588 24589 24597 24598 24599 24600 24601 24602 24603 24604 24605 24606 24607 24608 24609 24610 24619 24620 24621 24622 24623 24624 24625 24626 24627 24628 24629 24630 24631 24632 24633 24634 24635 24636 24637 24638 24639 24640 24641 24642 24643 24644 24645 24646 24647 24648 24649 24650 24651 24652 24653 24654 24658 24659 24661 24662 24663 24664 24665 24666 24667 24668 24669 24670 24671 24672 24673 24674 24675 24676 24677 24678 24679 24680 24682 24683 24684 24685 24686 24687 24688 24689 24690 24691 24692 24693 24694 24695 24696 24697 24698 24699 24700 24701 24702 24703 24710 24711 24715 24716 24717 24718 24732 24733 24734 24745 24746 24747 24748 24749 24750 24751 24752 24753 24754 24755 24756 24757 24758 24759 24760 24761 24762 24763 24764 24765 24766 24767 24768 24769 24770 24771 24791 24808 24809 24810 24811 24812 24813 24814 24815 24816 24818 24819 24820 24821 24822 24827 24828 24829 24830 24854 24855 24856 24857 24872 24873 24874 24878 24879 24902 24916 24917 24918 24919 24920 24921 24922 24923 24924 24925 24969 24973 24974 24975 24976 24978 24979 24980 24981 24990 24991 24992 24993 24994 24995 24999 25000 25001 25002 25012 25013 25014 25015 25016 25017 25018 25019 25020 25021 25022 25023 25028 25050 25051 25052 25053 25054 25055 25056 25057 25058 25059 25060 25061 25062 25063 25064 25065 25066 25067 25068 25149 25150 25151 25152 25153 25154 25155 25156 25157 25158 25159 25160 25161 25162 25163 25164 25165 25166 25167 25168 25169 25170 25171 25172 25176 25177 25178 25179 25180 25181 25182 25183 25184 25186 25187 25188 25189 25190 25191 25192 25193 25194 25195 25196 25197 25198 25199 25200 25201 25202 25203 25204 25205 25206 25207 25208 25209 25210 25211 25212 25213 25214 25215 25216 25217 25218 25219 25220 25221 25228 25229 25230 25231 25232 25233 25234 25252 25253 25254 25255 25256 25283 25284 25285 25286 25287 25288 25289 25290 25296 25297 25298 25299 25300 25301 25302 25303 25304 25305 25306 25307 25308 25309 25310 25323 25324 25325 25326 25327 25328 25329 25330 25331 25332 25333 25334 25335 25343 25354 25355 25356 25357 25358 25393 25394 25395 25396 25397 25398 25399 25400 25406 25407 25408 25409 25410 25427 25428 25429 25439 25440 25441 25442 25443 25444 25451 25452 25455 25456 25457 25458 25459 25460 25461 25462 25463 25464 25465 25466 25467 25468 25469 25470 25471 25472 25473 25474 25475 25476 25477 25478 25479 25480 25481 25482 25483 25484 25485 25486 25487 25488 25489 25490 25491 25492 25493 25494 25495 25496 25497 25498 25499 25511 25526 25527 25528 25530 25531 25532 25533 25534 25535 25536 25537 25538 25539 25540 25541 25542 25543 25547 25548 25549 25550 25551 25552 25553 25554 25559 25560 25561 25562 25563 25564 25565 25566 25567 25568 25569 25570 25571 25572 25573 25574 25575 25576 25577 25578 25579 25580 25581 25582 25583 25584 25585 25586 25587 25591 25592 25593 25597 25644 25645 25646 25648 25649 25650 25651 25652 25653 25654 25655 25656 25682 25683 25684 25685 25686 25708 25709 25710 25711 25712 25713 25714 25715 25721 25722 25723 25724 25725 25726 25727 25739 25740 25741 25742 25745 25746 25747 25748 25749 25750 25753 25754 25755 25765 25766 25767 25768 25769 25792 25793 25794 25795 25827 25828 25829 25830 25831 25832 25833 25834 25835 25836 25837 25909 25910 25911 25953 25954 25955 25956 25957 25958 25959 25960 25961 25962 25963 25964 25965 25966 25967 25968 25971 25972 25973 25974 25975 25976 25977 25978 25979 25983 25984 25985 25986 25993 25994 25995 25996 25997 25998 25999 26000 26001 26002 26003 26004 26005 26010 26011 26012 26013 26014 26015 26016 26017 26018 26019 26020 26021 26022 26023 26024 26025 26026 26027 26028 26076 26077 26078 26079 26080 26081 26082 26083 26084 26085 26086 26096 26097 26098 26099 26100 26101 26102 26103 26104 26105 26106 26107 26112 26113 26114 26115 26116 26117 26118 26119 26120 26121 26122 26123 26124 26125 26126 26127 26128 26129 26130 26131 26132 26133 26134 26135 26136 26137 26138 26139 26140 26141 26142 26143 26144 26145 26146 26147 26148 26149 26150 26151 26152 26160 26161 26162 26163 26174 26175 26176 26184 26185 26186 26188 26189 26190 26208 26209 26210 26211 26212 26213 26214 26231 26232 26233 26240 26241 26242 26243 26244 26245 26246 26254 26255 26256 26257 26274 26275 26276 26277 26278 26279 26280 26281 26282 26283 26284 26285 26286 26287 26288 26289 26290 26291 26292 26293 26294 26295 26296 26297 26298 26299 26300 26301 26319 26320 26321 26322 26323 26324 26325 26326 26327 26328 26329 26330 26332 26333 26334 26335 26336 26337 26338 26339 26345 26346 26355 26356 26357 26358 26359 26360 26361 26362 26363 26364 26365 26366 26367 26368 26369 26370 26371 26372 26373 26374 26375 26376 26382 26383 26384 26385 26386 26387 26388 26389 26390 26391 26392 26393 26399 26401 26402 26403 26408 26409 26410 26411 26412 26413 26414 26415 26416 26417 26418 26419 26420 26421 26422 26423 26424 26425 26426 26427 26428 26429 26430 26431 26432 26434 26435 26436 26437 26438 26439 26440 26441 26442 26443 26444 26445 26446 26447 26448 26449 26450 26451 26452 26453 26454 26455 26456 26457 26458 26459 26460 26461 26462 26463 26464 26465 26466 26481 26482 26483 26484 26485 26486 26487 26488 26489 26490 26491 26492 26493 26494 26495 26496 26505 26506 26507 26508 26509 26510 26511 26515 26516 26517 26518 26519 26521 26522 26526 26527 26528 26529 26530 26531 26532 26533 26534 26536 26537 26538 26539 26540 26541 26542 26543 26544 26545 26546 26547 26548 26549 26550 26551 26552 26553 26554 26555 26556 26557 26558 26559 26560 26561 26562 26563 26564 26565 26566 26567 26568 26569 26570 26571 26573 26574 26575 26576 26577 26578 26579 26580 26581 26582 26583 26584 26585 26586 26587 26591 26592 26593 26594 26595 26596 26597 26598 26599 26600 26601 26602 26603 26604 26605 26606 26607 26608 26609 26610 26611 26612 26613 26616 26617 26618 26619 26620 26621 26622 26623 26624 26625 26626 26627 26628 26629 26630 26631 26632 26633 26634 26635 26636 26637 26638 26639 26640 26641 26642 26643 26644 26645 26646 26647 26648 26649 26650 26651 26652 26653 26654 26655 26656 26660 26661 26662 26663 26664 26665 26666 26667 26668 26669 26670 26671 26672 26674 26675 26676 26677 26678 26679 26683 26684 26685 26686 26687 26688 26689 26690 26691 26692 26693 26694 26695 26696 26697 26699 26700 26704 26705 26706 26707 26708 26709 26716 26717 26718 26719 26726 26727 26728 26729 26730 26731 26732 26733 26734 26735 26736 26737 26738 26739 26740 26741 26742 26743 26744 26745 26746 26747 26748 26749 26750 26751 26752 26753 26754 26755 26756 26757 26758 26759 26760 26761 26762 26763 26769 26770 26771 26772 26773 26774 26775 26776 26777 26778 26779 26780 26782 26783 26785 26786 26787 26788 26789 26790 26791 26792 26793 26794 26795 26796 26797 26798 26799 26800 26801 26802 26803 26804 26805 26806 26807 26808 26809 26810 26811 26812 26828 26834 26835 26836 26837 26839 26840 26841 26842 26843 26844 26845 26846 26847 26848 26849 26850 26851 26852 26853 26854 26855 26856 26857 26858 26859 26860 26865 26866 26867 26868 26875 26876 26877 26879 26880 26881 26882 26885 26886 26887 26888 26889 26890 26891 26892 26893 26894 26895 26896 26897 26898 26910 26925 26926 26928 26929 26930 26931 26932 26933 26934 26935 26936 26965 26966 26967 26968 26993 26994 26995 27004 27005 27007 27008 27009 27010 27035 27036 27037 27038 27039 27040 27041 27042 27115 27116 27121 27122 27123 27124 27125 27126 27127 27128 27129 27130 27131 27132 27133 27135 27136 27137 27138 27146 27147 27148 27149 27150 27158 27159 27160 27161 27162 27163 27164 27165 27201 27202 27203 27204 27205 27206 27207 27208 27209 27210 27211 27212 27213 27214 27215 27216 27218 27219 27220 27221 27222 27223 27226 27238 27239 27240 27241 27242 27243 27244 27245 27246 27247 27248 27255 27283 27284 27285 27287 27288 27289 27290 27291 27292 27293 27294 27295 27296 27297 27298 27299 27300 27301 27302 27303 27304 27305 27306 27307 27308 27309 27310 27311 27312 27313 27314 27315 27318 27319 27320 27321 27322 27323 27324 27326 27327 27332 27333 27334 27335 27336 27337 27338 27339 27340 27341 27342 27343 27344 27345 27346 27357 27363 27364 27365 27366 27368 27369 27370 27372 27377 27378 27379 27380 27381 27382 27385 27386 27387 27388 27389 27400 27401 27402 27403 27404 27405 27406 27407 27408 27409 27410 27411 27412 27413 27415 27416 27417 27420 27421 27422 27426 27427 27428 27429 27430 27431 27468 27469 27471 27472 27473 27474 27476 27477 27478 27479 27480 27481 27482 27483 27484 27485 27486 27487 27488 27489 27490 27491 27492 27493 27494 27495 27496 27497 27498 27509 27510 27511 27512 27513 27514 27515 27516 27517 27518 27519 27520 27530 27531 27532 27533 27535 27536 27537 27538 27540 27541 27542 27543 27555 27556 27557 27558 27559 27560 27561 27562 27563 27564 27573 27574 27575 27576 27577 27578 27579 27580 27581 27582 27583 27584 27585 27586 27587 27588 27589 27590 27593 27594 27595 27596 27597 27598 27599 27600 27605 27606 27607 27608 27610 27611 27612 27615 27616 27617 27618 27619 27620 27621 27631 27632 27633 27642 27643 27644 27645 27646 27647 27648 27649 27650 27651 27661 27662 27663 27671 27672 27673 27674 27675 27676 27677 27678 27679 27680 27681 27682 27683 27723 27724 27725 27726 27727 27728 27729 27730 27731 27732 27733 27734 27735 27736 27737 27738 27739 27740 27741 27742 27743 27744 27745 27746 27747 27748 27749 27750 27751 27752 27753 27754 27755 27756 27757 27758 27759 27760 27761 27762 27763 27764 27765 27766 27767 27768 27769 27770 27772 27773 27774 27775 27776 27787 27788 27823 27824 27825 27826 27827 27828 27829 27830 27831 27867 27868 27869 27874 27875 27876 27877 27878 27879 27880 27881 27882 27883 27884 27885 27886 27887 27888 27889 27890 27891 27898 27899 27900 27901 27902 27903 27912 27913 27914 27915 27916 27917 27918 27919 27920 27963 27964 27965 27966 27967 27968 27969 27970 27971 27972 27973 27974 27975 27976 27977 27979 27980 27981 27982 27983 27984 27987 27988 27989 27991 27992 27993 27994 27995 27996 27997 27998 27999 28000 28010 28019 28021 28027 28028 28029 28030 28045 28046 28047 28048 28049 28050 28051 28052 28053 28054 28055 28056 28059 28060 28061 28062 28063 28064 28065 28067 28068 28069 28070 28071 28072 28084 28085 28086 28087 28088 28089 28090 28091 28092 28093 28094 28095 28096 28097 28098 28099 28100 28101 28102 28103 28104 28105 28106 28107 28108 28109 28110 28111 28112 28113 28114 28115 28116 28118 28120 28121 28122 28123 28124 28125 28126 28127 28128 28129 28130 28131 28132 28133 28134 28135 28136 28137 28138 28139 28140 28141 28142 28143 28144 28145 28146 28147 28148 28159 28160 28161 28162 28163 28164 28165 28166 28167 28168 28169 28170 28171 28172 28173 28174 28175 28176 28177 28178 28179 28180 28181 28182 28183 28184 28185 28186 28187 28188 28189 28190 28191 28192 28193 28194 28195 28196 28197 28198 28199 28200 28201 28202 28203 28204 28205 28206 28207 28208 28209 28210 28211 28212 28213 28214 28215 28216 28217 28218 28219 28220 28221 28222 28223 28224 28236 28243 28270 28278 28287 28288 28289 28290 28291 28292 28293 28294 28295 28296 28297 28298 28299 28300 28301 28302 28303 28304 28305 28306 28307 28308 28309 28310 28313 28314 28315 28316 28317 28318 28319 28320 28321 28322 28323 28324 28325 28326 28327 28328 28329 28330 28331 28332 28333 28334 28335 28336 28337 28338 28339 28353 28354 28356 28369 28370 28371 28372 28373 28374 28375 28376 28380 28381 28382 28383 28384 28385 28386 28387 28388 28389 28390 28391 28392 28393 28394 28395 28403 28404 28405 28406 28407 28408 28453 28454 28523 28524 28525 28526 28527 28528 28529 28530 28531 28532 28533 28534 28535 28536 28537 28538 28539 28540 28541 28542 28543 28544 28545 28546 28547 28548 28549 28550 28551 28552 28553 28554 28556 28557 28558 28559 28560 28561 28562 28563 28564 28565 28566 28568 28569 28571 28572 28573 28574 28575 28576 28577 28578 28579 28580 28581 28583 28584 28585 28586 28587 28588 28589 28590 28591 28592 28594 28595 28596 28597 28599 28600 28601 28602 28604 28605 28606 28608 28609 28610 28611 28612 28613 28614 28615 28616 28617 28618 28619 28620 28621 28622 28623 28624 28626 28627 28628 28629 28630 28633 28634 28648 28649 28650 28651 28652 28653 28654 28655 28656 28657 28658 28659 28660 28661 28672 28673 28674 28675 28676 28677 28678 28679 28680 28681 28682 28683 28684 28685 28686 28687 28688 28689 28690 28691 28692 28693 28694 28695 28696 28701 28702 28703 28704 28710 28717 28718 28719 28720 28721 28722 28723 28724 28725 28726 28727 28728 28729 28730 28731 28732 28733 28734 28735 28736 28737 28750 28751 28752 28753 28759 28760 28761 28762 28768 28769 28770 28771 28786 28787 28788 28789 28790 28791 28792 28793 28794 28795 28808 28809 28810 28811 28812 28813 28831 28832 28833 28834 28835 28836 28837 28838 28839 28840 28841 28842 28843 28844 28845 28846 28847 28848 28849 28850 28851 28852 28853 28854 28855 28856 28857 28858 28859 28860 28861 28862 28863 28864 28865 28866 28891 28892 28893 28894 28895 28896 28897 28898 28899 28903 28904 28905 28906 28907 28908 28909 28910 28911 28912 28913 28914 28915 28916 28919 28920 28921 28922 28926 28927 28928 28929 28930 28931 28932 28933 28934 28935 28936 28937 28938 28939 28940 28941 28947 28948 28953 28954 28955 28956 28957 28958 28959 28960 28961 28969 28970 28971 28972 28973 28974 28975 28976 28977 28978 28979 28980 28981 28983 28984 28985 28986 28987 28988 28989 28990 28991 28992 28993 28994 28995 28996 28997 28998 29001 29002 29003 29007 29008 29009 29010 29011 29012 29013 29014 29015 29016 29017 29018 29035 29049 29050 29051 29057 29058 29059 29060 29061 29062 29063 29100 29101 29102 29103 29104 29105 29106 29107 29108 29109 29110 29124 29125 29126 29127 29128 29129 29130 29131 29132 29133 29134 29135 29136 29164 29197 29198 29199 29200 29201 29213 29221 29222 29226 29227 29228 29229 29230 29231 29232 29233 29234 29235 29236 29237 29266 29267 29268 29269 29270 29271 29272 29273 29274 29275 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 29316 29317 29318 29319 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 29353 29354 29355 29356 29357 29358 29359 29360 29361 29362 29363 29364 29365 29367 29368 29369 29370 29371 29372 29373 29374 29375 29376 29377 29378 29379 29380 29381 29382 29384 29385 29386 29387 29388 29389 29390 29391 29392 29393 29394 29395 29396 29397 29398 29399 29400 29401 29458 29467 29468 29469 29470 29471 29472 29478 29479 29493 29494 29495 29496 29497 29569 29627 29628 29670 29734 29735 29736 29748 29749 29751 29752 29753 29754 29755 29756 29757 29758 29759 29760 29761 29768 29769 29875 29876 29877 29878 29879 29884 29885 29886 29887 29888 29889 29890 29939 29940 29941 29942 29943 29944 30100 30275 30276 30277 30278 30279 30280 30281 30282 30283 30284 30285 30286 30291 30297 30299 30300 30301 30302 30325 30326 30327 30328 30355 30356 30360 30361 30362 30363 30364 30365 30366 30367 30374 30375 30376 30377 30378 30379 30380 30381 30382 30387 30388 30389 30390 30391 30395 30396 30411 30412 30413 30414 30415 30416 30417 30418 30419 30420 30421 30422 30423 30424 30425 30426 30431 30434 30456 30457 30458 30459 30460 30461 30462 30463 30464 30465 30470 30471 30473 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 30533 30534 30535 30536 30537 30538 30539 30540 30541 30542 30543 30544 30545 30552 30553 30558 30561 30562 30563 30564 30565 30566 30567 30568 30570 30571 30575 30576 30577 30581 30582 30591 30592 30597 30598 30599 30600 30601 30602 30603 30604 30605 30606 30616 30617 30618 30619 30620 30621 30623 30624 30625 30626 30627 30628 30629 30630 30631 30633 30634 30635 30636 30637 30638 30639 30640 30647 30648 30649 30650 30651 30652 30653 30654 30655 30656 30657 30658 30659 30660 30661 30662 30663 30664 30665 30676 30677 30678 30679 30680 30681 30682 30683 30684 30685 30686 30687 30688 30689 30690 30692 30693 30694 30695 30696 30697 30698 30704 30707 30708 30709 30718 30719 30723 30724 30725 30727 30728 30729 30730 30731 30732 30733 30734 30735 30743 30744 30745 30746 30803 30804 30805 30806 30807 30808 30809 30810 30811 30812 30813 30815 30816 30817 30818 30819 30820 30824 30880 30881 30882 30946 30947 30948 30949 30950 30951 30952 31008 31009 31079 31080 31081 31089 31090 31091 31092 31093 31094 31095 31096 31109 31110 31117 31118 31155 31156 31157 31158 31159 31160 31194 31195 31196 31197 31203 31204 31224 31228 31229 31230 31240 31241 31242 31244 31245 31246 31247 31256 31257 31258 31259 31271 31272 31273 31278 31279 31280 31335 31336 31337 31338 31339 31340 31341 31342 31343 31344 31396 31397 31398 31399 31404 31405 31406 31407 31408 31409 31410 31411 31412 31413 31414 31415 31416 31417 31418 31419 31420 31421 31423 31424 31425 31426 31432 31433 31434 31435 31436 31441 31442 31443 31444 31445 31447 31448 31449 31450 31455 31456 31457 31458 31459 31460 31464 31465 31466 31467 31482 31483 31484 31485 31486 31487 31488 31489 31490 31491 31568 31569 31570 31571 31572 31573 31574 31575 31595 31596 31597 31608 31609 31610 31611 31612 31615 31616 31617 31618 31619 31639 31640 31641 31642 31643 31644 31645 31646 31654 31657 31661 31662 31663 31664 31665 31666 31667 31668 31669 31670 31671 31672 31673 31674 31675 31676 31677 31678 31679 31680 31681 31682 31683 31684 31685 31686 31687 31688 31690 31692 31693 31694 31695 31696 31705 31706 31707 31708 31709 31712 31713 31714 31715 31716 31717 31718 31719 31720 31721 31729 31730 31731 31732 31733 31734 31735 31736 31737 31742 31743 31744 31745 31746 31747 31748 31749 31750 31751 31752 31753 31754 31787 31788 31793 31799 31800 31801 31802 31803 31804 31805 31806 31807 31808 31858 31859 31876 31877 31878 31879 31888 31889 31893 31894 31895 31896 31897 31898 31899 31900 31901 31902 31903 31904 31954 31955 31956 31957 31963 31964 31965 31966 31967 31982 31983 31984 31985 31986 31987 31988 31989 31990 31991 31992 31998 31999 32000 32001 32002 32003 32004 32005 32006 32007 32057 32058 32059 32060 32061 32067 32068 32069 32074 32075 32076 32077 32078 32079 32106 32107 32108 32109 32110 32111 32112 32113 32114 32115 32116 32129 32130 32131 32132 32133 32134 32135 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 32189 32190 32191 32192 32193 32194 32195 32196 32197 32198 32199 32200 32201 32202 32203 32204 32205 32206 32207 32208 32209 32210 32211 32212 32213 32214 32215 32216 32217 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 32250 32251 32252 32253 32254 32255 32256 32261 32262 32263 32264 32265 32266 32267 32268 32269 32270 32271 32272 32273 32274 32275 32276 32277 32278 32280 32281 32282 32283 32284 32285 32286 32287 32288 32289 32290 32291 32292 32293 32294 32295 32296 32297 32298 32299 32300 32301 32302 32303 32304 32305 32306 32307 32308 32309 32310 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 32341 32342 32343 32344 32345 32350 32351 32352 32353 32354 32355 32356 32358 32359 32361 32362 32363 32364 32365 32366 32367 32368 32369 32370 32371 32372 32373 32412 32413 32414 32415 32416 32417 32418 32419 32420 32421 32422 32423 32424 32425 32426 32427 32428 32446 32447 32483 32484 32485 32486 32487 32488 32489 32490 32491 32492 32493 32494 32495 32496 32497 32498 32501 32502 32503 32504 32506 32511 32512 32523 32524 32525 32526 32527 32528 32532 32533 32537 32538 32553 32554 32555 32556 32557 32572 32573 32574 32575 32576 32586 32587 32588 32589 32591 32592 32593 32594 32595 32596 32597 32598 32603 32604 32605 32606 32607 32608 32609 32610 32620 32621 32623 32624 32625 32626 32627 32628 32629 32630 32631 32632 32633 32634 32635 32636 32639 32640 32641 32642 32643 32644 32645 32646 32652 32653 32654 32655 32656 32657 32658 32659 32660 32661 32662 32663 32664 32665 32666 32667 32668 32669 32670 32671 32723 32724 32725 32726 32727 32728 32729 32730 32731 32732 32733 32734 32735 32736 32737 32761 32762 32763 32764 32765 32766 32767 32768 32773 32774 32775 32776 32777 32778 32779 32780 32781 32782 32783 32784 32785 32786 32787 32788 32789 32790 32792 32793 32794 32795 32797 32798 32799 32800 32801 32802 32803 32804 32805 32806 32807 32808 32809 32810 32811 32812 32813 32814 32816 32817 32818 32819 32820 32821 32822 32823 32824 32825 32826 32827 32828 32829 32830 32831 32832 32833 32834 32835 32836 32839 32840 32841 32842 32843 32844 32845 32846 32847 32848 32849 32850 32851 32852 32853 32854 32855 32856 32857 32858 32859 32860 32861 32862 32863 32864 32865 32866 32867 32868 32869 32870 32909 32910 32911 32912 32913 32914 32915 32916 32917 32918 32919 32920 32921 32922 32923 32928 32929 32930 32931 32935 32936 32937 32938 32939 32940 32941 32942 32943 32944 32945 32946 32947 32948 32949 32950 32953 32954 32955 32956 32957 32958 32959 32960 32961 32962 32963 32964 32965 32966 32967 32968 32969 32970 32971 32972 32973 32974 32975 32976 32977 32985 32986 32987 32988 32989 32990 32991 32992 32993 32994 32995 32996 32997 32998 32999 33001 33002 33003 33004 33005 33006 33007 33008 33009 33010 33011 33012 33013 33016 33017 33018 33019 33020 33021 33022 33023 33024 33025 33026 33027 33028 33029 33030 33031 33032 33033 33045 33046 33047 33048 33049 33050 33051 33053 33054 33055 33056 33057 33058 33059 33060 33063 33064 33065 33066 33067 33068 33069 33070 33071 33072 33073 33074 33075 33076 33077 33078 33079 33080 33081 33082 33083 33084 33085 33086 33087 33088 33089 33090 33091 33092 33095 33096 33097 33098 33101 33102 33103 33104 33105 33106 33107 33108 33109 33110 33111 33112 33113 33114 33115 33116 33117 33118 33119 33120 33121 33122 33125 33126 33133 33134 33139 33140 33146 33147 33148 33149 33150 33151 33152 33153 33154 33155 33156 33157 33162 33163 33164 33165 33166 33167 33168 33179 33180 33183 33184 33187 33188 33189 33190 33191 33192 33193 33194 33195 33196 33204 33205 33215 33216 33224 33225 33230 33231 33232 33233 33234 33235 33236 33238 33239 33240 33241 33242 33243 33244 33245 33246 33247 33248 33249 33250 33251 33252 33253 33254 33255 33256 33257 33258 33263 33264 33265 33266 33267 33268 33269 33276 33277 33278 33279 33280 33281 33282 33283 33284 33285 33286 33287 33288 33289 33290 33291 33293 33294 33301 33302 33303 33304 33307 33308 33312 33313 33314 33315 33316 33317 33318 33319 33320 33321 33322 33323 33324 33325 33326 33327 33330 33331 33332 33333 33334 33335 33336 33337 33338 33339 33340 33341 33342 33343 33344 33345 33346 33347 33348 33349 33350 33351 33352 33358 33359 33360 33361 33362 33363 33364 33365 33366 33367 33368 33369 33370 33371 33375 33376 33387 33398 33399 33401 33407 33408 33409 33414 33415 33416 33417 33418 33420 33421 33422 33423 33424 33425 33426 33432 33433 33434 33435 33436 33437 33454 33455 33456 33457 33458 33459 33460 33461 33462 33463 33465 33466 33467 33468 33469 33479 33480 33481 33482 33483 33487 33488 33489 33490 33491 33492 33493 33494 33503 33504 33505 33506 33507 33508 33509 33510 33511 33512 33513 33514 33517 33518 33523 33533 33534 33549 33550 33551 33552 33553 33554 33555 33556 33557 33558 33559 33560 33561 33562 33563 33564 33565 33566 33567 33568 33572 33573 33588 33589 33601 33602 33603 33604 33605 33606 33607 33608 33609 33610 33611 33612 33613 33614 33615 33616 33624 33625 33626 33638 33639 33640 33641 33642 33643 33644 33645 33646 33647 33648 33649 33650 33652 33653 33654 33655 33656 33657 33658 33661 33662 33663 33664 33665 33666 33667 33668 33669 33670 33694 33695 33696 33697 33705 33706 33707 33708 33709 33710 33711 33740 33741 33742 33743 33744 33745 33746 33747 33748 33749 33750 33751 33752 33753 33754 33755 33756 33757 33758 33759 33762 33763 33764 33765 33766 33767 33768 33769 33770 33771 33772 33773 33774 33775 33776 33778 33779 33780 33781 33782 33783 33784 33785 33786 33787 33788 33789 33791 33792 33793 33794 33795 33796 33797 33798 33799 33800 33801 33802 33817 33819 33830 33831 33834 33835 33836 33837 33838 33839 33842 33843 33844 33845 33846 33847 33848 33849 33974 33975 34045 34046 34047 34064 34148 34195 34582 34583 34584 34589 34590 34599 34600 34608 34609 34610 34611 34638 34639 34640 34653 34654 34655 34697 34698 34699 34717 34718 34719 34720 34724 34725 34726 34727 34730 34731 34732 34733 34734 34735 34736 34737 34741 34742 34743 34744 34745 34746 34747 34748 34749 34759 34766 34767 34768 34769 34770 34771 34772 34773 34774 34775 34776 34777 34778 34779 34780 34781 34782 34783 34784 34785 34786 34787 34788 34853 34854 34855 34856 34857 34881 34883 34884 34885 34886 34887 34891 34892 34893 34900 34901 34902 34903 34904 34905 34906 34907 34908 34909 34910 34914 34915 34916 34917 34918 34921 34922 34924 34925 34928 34929 34930 34931 34935 34936 34937 34939 34940 34941 34948 34949 34950 34951 34952 34953 34954 34955 34956 34957 34958 34962 34963 34964 34965 34966 34969 34970 34971 34972 34973 34977 34978 34979 34980 34981 34982 34983 35018 35019 35020 35021 35022 35023 35024 35025 35053 35054 35055 35060 35061 35062 35064 35065 35066 35067 35068 35073 35074 35075 35076 35077 35078 35079 35080 35108 35109 35110 35111 35112 35113 35114 35115 35118 35119 35120 35121 35122 35123 35124 35125 35138 35139 35140 35141 35142 35146 35147 35148 35149 35150 35151 35152 35153 35154 35155 35156 35160 35161 35162 35163 35164 35165 35166 35398 35399 35400 35401 35402 35404 35405 35406 35407 35408 35409 35411 35412 35413 35414 35415 35416 35417 35418 35419 35420 35421 35422 35423 35424 35425 35426 35427 35435 35436 35437 35438 35439 35444 35447 35448 35449 35451 35462 35463 35464 35465 35466 35467 35468 35469 35480 35481 35482 35483 35484 35485 35488 35494 35496 35497 35500 35505 35506 35507 35508 35509 35510 35511 35512 35513 35514 35515 35516 35517 35518 35519 35520 35521 35522 35523 35524 35525 35526 35527 35551 35552 35554 35555 35559 35563 35564 35565 35566 35567 35568 35569 35570 35577 35578 35579 35580 35581 35582 35583 35584 35585 35586 35587 35590 35591 35592 35593 36842 36843 36844 36845 36846 36847 36848 36849 36850 36851 36852 36853 36854 36855 36856 36857 36858 36859 36860 36861 36862 36863 36864 36865 36866 36867 36868 36869 36870 36886 36887 36891 36892 36954 36967 36968 36970 36984 36985 36986 36988 36989 36991 36992 36993 36994 37000 37001 37002 37003 37004 37009 37010 37012 37013 37014 37015 37016 37017 37018 37019 37020 37021 37022 37024 37025 37026 37027 37028 37029 37030 37031 37032 37033 37034 37035 37036 37037 37041 37042 37043 37046 37047 37062 37063 37064 37079 37080 37081 37082 37083 37084 37085 37086 37087 37088 37089 37090 37095 37096 37097 37098 37099 37108 37115 37116 37117 37118 37119 37120 37121 37122 37135 37136 37137 37151 37152 37153 37154 37155 37156 37157 37158 37159 37160 37224 37225 37226 37227 37228 37232 37233 37234 37235 37236 37242 37243 37244 37247 37248 37249 37250 37251 37252 37253 37254 37261 37262 37263 37269 37270 37271 37272 37273 37274 37275 37276 37277 37278 37279 37280 37281 37324 37325 37326 37328 37329 37330 37331 37337 37338 37339 37340 37341 37346 37347 37348 37349 37351 37352 37353 37354 37355 37356 37357 37358 37359 37360 37361 37362 37363 37364 37365 37366 37367 37372 37373 37374 37375 37376 37377 37381 37382 37383 37384 37385 37386 37387 37388 37389 37390 37391 37396 37397 37398 37399 37400 37405 37406 37407 37408 37409 37410 37411 37412 37413 37414 37415 37416 37417 37459 37460 37461 37462 39449 39453 39455 39456 39460 39461 39462 39478 39479 39483 39484 39485 39486 39487 39488 39489 39490 39497 39498 39499 39507 39509 39510 39512 39513 39514 39515 39516 39517 39518 39519 39520 39526 39527 39528 39529 39530 39531 39537 39538 39539 39540 39541 39542 39553 39561 39563 39564 39566 39567 39568 39569 39570 39571 39572 39573 39574 39576 39577 39578 39580 39581 39582 39583 39584 39585 39586 39587 39588 39589 39590 39591 39594 39595 39600 39601 39602 39603 39607 39608 39609 39610 39611 39612 39613 39614 39617 39618 39619 39620 39621 39622 39623 39626 39627 39628 39629 39635 39636 39637 39638 39639 39640 39641 39642 39643 39644 39645 39646 39647 39648 39649 39650 39651 39668 39669 39670 39671 39672 39673 39674 39675 39688 39689 39690 39691 39692 39693 39707 39708 39715 39716 39717 39718 39719 39720 39721 39722 39723 39724 39725 39726 39727 39728 39729 39758 39759 39760 39805 39806 39807 39826 40007 40008 40011 40025 40026 40042 40048 40050 40051 40102 40103 40104 40182 40212 40213 40214 40215 40216 40217 40218 40219 40220 40221 40222 40223 40224 40225 40226 40227 40230 40231 40232 40233 40234 40235 40236 40237 40238 40239 40240 40246 40252 40614 40615 40812 40813 41785 43247 43248 43249 43250 43251 43252 43253 43254 43255 43256 43257 43258 43259 43260 43265 43266 43267 43268 43269 43270 43271 43272 43273 43274 43275 43281 43282 43283 43284 43285 43286 43287 43288 43289 43290 43291 43292 43293 43294 43295 43296 43297 43310 43337 43338 43342 43343 43344 43345 43346 43347 43354 43355 43356 43357 43358 43359 43365 43366 43367 43368 43369 43370 43371 43372 43378 43379 43380 43381 43382 43383 43384 43385 43386 43387 43388 43397 43398 43399 43400 43401 43402 43410 43411 43412 43413 43414 43415 43416 43417 43418 43419 43420 43421 43422 43423 43424 43425 43426 43427 43428 43429 43430 43431 43433 43434 43435 43436 43437 43438 43439 43440 43441 43442 43443 43444 43445 43446 43447 43448 43449 43450 43451 43452 43453 43454 43455 43456 43460 43461 43462 43463 43464 43465 43466 43467 43468 43469 43470 43473 43474 43475 43476 43477 43478 43479 43480 43481 43482 43483 43484 43485 43486 43487 43488 43489 43549 43550 43551 43552 43553 43554 43555 43556 43557 43558 43561 43562 43563 43564 43565 43566 43569 43570 43571 43572 43573 43574 43575 43576 43577 43578 43579 43580 43581 43582 43583 43584 43585 43586 43587 43588 43589 43590 43591 43592 43593 43594 43595 43596 43597 43598 43599 43600 43601 43602 43603 43604 43605 43606 43610 43611 43612 43614 43615 43616 43617 43618 43619 43620 43621 43622 43623 43624 43627 43628 43629 43630 43631 43683 43684 43686 43687 43688 43689 43690 43691 43692 43693 43694 43696 43697 43698 43699 43700 43702 43703 43704 43705 43706 43707 43708 43709 43710 43711 43712 43713 43714 43715 43716 43717 43718 43719 43720 43721 43722 43723 43724 43725 43727 43728 43730 43731 43733 43734 43736 43737 43738 43739 43740 43741 43742 43743 43744 43745 43746 43747 43748 43749 43750 43751 43752 43753 43754 43755 43756 43757 43758 43759 43760 43761 43762 43763 43764 43765 43766 43767 43768 43769 43770 43771 43772 43773 43774 43835 43836 43837 43838 43839 43840 43841 43842 43843 43844 43845 43848 43849 43850 43851 43852 43853 43854 43856 43857 43867 43868 43869 43870 43871 43875 43876 43882 43883 43884 43885 43886 43887 43888 43889 43890 43891 43892 43893 43894 43895 43896 43897 43898 43899 43900 43901 43902 43903 43904 43905 43906 43907 43908 43909 43910 43911 43912 43913 43914 43915 43918 43919 43920 43921 43922 43923 43924 43925 43944 43945 43993 43994 43995 43996 43997 44124 44301 44302 44303 44308 44309 44316 44317 44318 44319 44320 44321 44322 44323 44326 44327 44344 44345 44346 44347 44348 44349 44350 44351 44352 44353 44354 44355 44356 44357 44358 44361 44362 44364 44365 44366 44367 44368 44369 44370 44371 44372 44373 44374 44375 44376 44377 44378 44392 44393 44394 44395 44396 44397 44398 44399 44400 44401 44402 44403 44404 44405 44407 44411 44412 44413 44414 44415 44422 44423 44424 44425 44426 44427 44428 44429 44430 44431 44432 44433 44434 44435 44436 44437 44438 44439 44440 44441 44442 44443 44444 44445 44446 44453 44454 44455 44456 44457 44458 44459 44460 44461 44462 44463 44464 44465 44466 44467 44468 44469 44470 44471 44472 44473 44477 44482 44483 44484 44485 44486 44487 44488 44489 44490 44491 44492 44493 44494 44495 44496 44497 44498 44499 44503 44504 44505 44506 44507 44508 44509 44510 44511 44512 44513 44525 44526 44532 44533 44534 44535 44536 44537 44538 44539 44540 44541 44542 44558 44559 44560 44561 44562 44566 44567 44568 44569 44570 44574 44575 44576 44577 44578 44579 44587 44588 44589 44590 44591 44592 44593 44594 44595 44596 44597 44598 44599 44600 44609 44610 44611 44612 44613 44614 44615 44616 44617 44618 44619 44620 44621 44622 44623 44624 44625 44626 44627 44628 44629 44630 44631 44632 44633 44634 44635 44636 44637 44638 44639 44640 44641 44642 44643 44644 44648 44649 44651 44652 44653 44654 44655 44656 44657 44658 44659 44660 44661 44662 44663 44664 44665 44666 44667 44668 44669 44670 44672 44673 44674 44675 44676 44677 44678 44679 44680 44681 44682 44683 44684 44685 44686 44687 44688 44689 44690 44691 44692 44693 44700 44701 44705 44706 44707 44708 44722 44723 44724 44735 44736 44737 44738 44739 44740 44741 44742 44743 44744 44745 44746 44747 44748 44749 44750 44751 44752 44753 44754 44755 44756 44757 44758 44759 44760 44761 44798 44799 44800 44801 44802 44803 44804 44805 44806 44808 44809 44810 44811 44812 44817 44818 44819 44820 44844 44845 44846 44847 44906 44907 44908 44909 44910 44911 44912 44913 44914 44915 44959 44963 44964 44965 44966 44968 44969 44970 44971 44980 44981 44982 44983 44984 44985 44989 44990 44991 44992 45002 45003 45004 45005 45006 45007 45008 45009 45010 45011 45012 45013 45040 45041 45042 45043 45044 45045 45046 45047 45048 45049 45050 45051 45052 45053 45054 45055 45056 45057 45058 45140 45141 45142 45143 45144 45145 45146 45147 45148 45149 45150 45151 45152 45153 45154 45155 45156 45157 45158 45159 45160 45161 45162 45166 45167 45168 45169 45170 45171 45172 45173 45174 45176 45177 45178 45179 45180 45181 45182 45183 45184 45185 45186 45187 45188 45189 45190 45191 45192 45194 45195 45196 45197 45198 45199 45200 45201 45202 45203 45204 45205 45206 45207 45208 45209 45210 45211 45218 45219 45220 45221 45222 45223 45224 45238 45239 45240 45241 45242 45243 45244 45245 45246 45273 45274 45275 45276 45277 45278 45279 45280 45287 45288 45289 45290 45291 45292 45293 45294 45295 45296 45298 45299 45316 45317 45318 45319 45320 45321 45322 45323 45324 45325 45333 45345 45346 45347 45348 45383 45384 45385 45386 45387 45388 45389 45390 45396 45397 45398 45399 45400 45417 45418 45419 45429 45430 45431 45432 45433 45434 45441 45442 45445 45446 45447 45448 45449 45450 45451 45452 45453 45454 45455 45456 45457 45458 45459 45460 45461 45462 45463 45464 45466 45467 45469 45470 45471 45472 45473 45474 45475 45476 45477 45478 45479 45480 45481 45482 45483 45484 45485 45486 45487 45488 45489 45501 45517 45518 45520 45521 45522 45523 45524 45525 45526 45527 45528 45529 45530 45531 45532 45533 45537 45538 45539 45540 45541 45542 45543 45544 45550 45551 45552 45553 45554 45555 45556 45557 45558 45559 45560 45561 45562 45563 45564 45565 45566 45567 45568 45569 45570 45571 45572 45573 45574 45575 45576 45577 45578 45579 45580 45633 45634 45635 45636 45639 45640 45641 45642 45643 45644 45645 45646 45673 45674 45675 45676 45714 45715 45716 45717 45730 45731 45732 45736 45738 45739 45740 45744 45745 45747 45748 45754 45755 45756 45757 45758 45759 45782 45783 45784 45785 45818 45819 45820 45821 45822 45823 45824 45825 45826 45827 45900 45901 45943 45944 45945 45946 45947 45948 45949 45950 45952 45953 45954 45955 45964 45965 45966 45967 45968 45969 45973 45974 45975 45976 45984 45985 45986 45987 45988 45989 45990 45991 45992 45993 45994 45995 46000 46001 46002 46003 46004 46005 46006 46007 46008 46009 46010 46011 46012 46013 46014 46015 46016 46017 46018 46067 46068 46069 46070 46071 46072 46073 46074 46075 46076 46086 46087 46088 46089 46090 46091 46092 46093 46094 46095 46096 46097 46102 46103 46104 46105 46106 46115 46116 46117 46118 46119 46120 46121 46122 46123 46124 46125 46126 46136 46137 46138 46139 46140 46141 46142 46150 46151 46152 46153 46164 46165 46166 46174 46175 46176 46178 46179 46180 46198 46199 46200 46201 46202 46203 46204 46221 46222 46223 46230 46231 46232 46233 46234 46235 46236 46244 46245 46246 46247 46264 46265 46266 46267 46268 46269 46270 46271 46272 46273 46274 46275 46290 46291 46312 46313 46314 46315 46316 46317 46318 46319 46320 46322 46323 46324 46325 46326 46327 46328 46329 46335 46336 46345 46346 46347 46348 46349 46350 46351 46352 46353 46354 46355 46356 46357 46358 46359 46360 46361 46362 46363 46364 46365 46366 46367 46368 46369 46370 46371 46372 46373 46374 46375 46376 46377 46378 46379 46380 46381 46382 46383 46389 46391 46392 46393 46398 46399 46400 46401 46402 46403 46404 46405 46406 46407 46408 46409 46410 46411 46412 46413 46414 46415 46416 46417 46418 46419 46420 46421 46422 46423 46424 46425 46426 46427 46428 46429 46430 46431 46432 46433 46434 46435 46436 46437 46438 46439 46440 46441 46442 46443 46444 46445 46446 46447 46448 46449 46450 46451 46452 46453 46454 46455 46456 46471 46472 46473 46474 46475 46476 46477 46478 46479 46480 46481 46482 46483 46484 46485 46486 46495 46496 46497 46498 46499 46500 46501 46505 46506 46507 46508 46509 46511 46512 46516 46517 46518 46519 46520 46521 46522 46523 46524 46526 46527 46528 46529 46530 46531 46532 46533 46534 46535 46536 46537 46538 46539 46540 46541 46542 46543 46544 46545 46546 46547 46548 46549 46550 46551 46552 46553 46554 46555 46556 46557 46558 46559 46560 46561 46563 46564 46565 46567 46568 46569 46570 46571 46572 46573 46574 46575 46576 46577 46581 46582 46583 46584 46585 46586 46587 46588 46589 46590 46591 46592 46593 46594 46595 46596 46597 46598 46599 46603 46608 46609 46610 46611 46612 46613 46614 46615 46616 46617 46621 46622 46623 46624 46629 46630 46631 46632 46633 46634 46635 46636 46637 46638 46639 46640 46641 46642 46643 46644 46645 46646 46650 46651 46652 46653 46654 46655 46656 46658 46659 46660 46661 46662 46663 46664 46665 46666 46667 46668 46669 46673 46674 46676 46677 46678 46679 46680 46681 46682 46683 46684 46685 46686 46687 46690 46694 46695 46696 46697 46698 46699 46728 46732 46740 46741 46742 46743 46744 46745 46746 46747 46748 46749 46750 46751 46752 46753 46759 46760 46761 46762 46763 46764 46765 46766 46767 46768 46769 46770 46772 46773 46775 46776 46777 46778 46779 46780 46781 46782 46783 46784 46785 46786 46787 46788 46789 46790 46791 46792 46793 46794 46795 46796 46797 46798 46799 46800 46801 46802 46824 46825 46829 46830 46831 46832 46833 46834 46835 46836 46837 46838 46839 46840 46841 46842 46843 46844 46845 46846 46847 46848 46849 46850 46855 46856 46857 46858 46865 46866 46867 46869 46870 46871 46872 46875 46876 46877 46878 46879 46880 46881 46882 46883 46884 46885 46886 46887 46915 46916 46917 46918 46919 46920 46921 46922 46923 46924 46925 46926 46927 46928 46929 46953 46954 46955 46956 46957 46958 46983 46984 46985 46994 46995 46997 46998 46999 47000 47025 47026 47027 47028 47029 47030 47031 47032 47104 47105 47106 47111 47112 47113 47114 47115 47116 47117 47118 47119 47120 47121 47122 47123 47125 47126 47127 47128 47136 47137 47138 47139 47140 47148 47149 47150 47151 47152 47153 47154 47155 47190 47191 47192 47193 47194 47195 47196 47197 47198 47199 47200 47201 47202 47203 47204 47205 47206 47208 47209 47211 47212 47237 47238 47245 47273 47274 47275 47277 47278 47279 47280 47281 47282 47283 47284 47285 47286 47287 47288 47289 47290 47291 47292 47293 47294 47295 47296 47297 47298 47299 47300 47301 47302 47303 47304 47305 47308 47314 47316 47317 47329 47330 47331 47332 47333 47334 47335 47336 47346 47347 47348 47350 47351 47352 47353 47354 47355 47356 47357 47358 47359 47360 47367 47368 47369 47370 47371 47372 47375 47376 47377 47378 47379 47380 47382 47383 47384 47385 47386 47387 47388 47389 47390 47391 47392 47393 47394 47395 47396 47397 47398 47399 47400 47401 47402 47403 47405 47406 47407 47410 47411 47412 47416 47417 47418 47419 47420 47421 47458 47459 47461 47462 47463 47464 47466 47467 47468 47469 47470 47471 47472 47473 47474 47475 47476 47477 47478 47479 47480 47481 47482 47483 47484 47485 47486 47487 47488 47499 47500 47501 47502 47503 47504 47505 47506 47507 47508 47509 47510 47520 47521 47522 47523 47525 47526 47527 47528 47530 47531 47532 47533 47545 47546 47547 47548 47549 47550 47551 47552 47553 47554 47563 47564 47565 47566 47567 47568 47569 47570 47571 47572 47573 47574 47575 47576 47577 47578 47579 47580 47583 47584 47585 47586 47587 47588 47589 47590 47595 47596 47597 47598 47600 47601 47602 47605 47606 47607 47608 47609 47610 47611 47621 47622 47623 47632 47633 47634 47635 47636 47637 47638 47639 47640 47641 47651 47652 47653 47661 47662 47663 47664 47665 47666 47667 47668 47669 47670 47671 47672 47673 47713 47714 47715 47716 47717 47718 47719 47720 47721 47722 47723 47724 47725 47726 47727 47728 47729 47730 47731 47732 47733 47734 47735 47736 47737 47738 47739 47740 47741 47742 47743 47744 47745 47746 47747 47748 47749 47750 47751 47752 47753 47754 47755 47756 47757 47758 47759 47760 47762 47763 47764 47765 47766 47813 47814 47815 47816 47817 47818 47819 47820 47821 47857 47858 47859 47864 47865 47866 47867 47868 47869 47870 47871 47872 47873 47874 47875 47876 47877 47878 47879 47880 47881 47888 47889 47890 47891 47892 47893 47902 47903 47904 47905 47906 47907 47908 47909 47910 47953 47954 47955 47956 47957 47958 47959 47960 47961 47962 47963 47964 47965 47966 47967 47969 47970 47971 47972 47973 47974 47977 47978 47979 47980 47981 47982 47983 47984 47985 47986 47987 47988 47989 47990 48000 48009 48017 48018 48019 48020 48034 48035 48036 48037 48038 48039 48040 48041 48042 48043 48044 48045 48046 48049 48050 48051 48052 48053 48054 48055 48061 48062 48074 48075 48076 48077 48078 48079 48080 48085 48086 48087 48088 48089 48090 48091 48092 48093 48094 48095 48098 48099 48100 48101 48102 48103 48104 48105 48106 48107 48108 48110 48111 48112 48113 48114 48115 48116 48117 48118 48119 48120 48121 48122 48123 48124 48125 48126 48127 48128 48129 48130 48131 48132 48133 48134 48135 48136 48137 48138 48139 48140 48142 48143 48144 48145 48146 48147 48148 48149 48150 48151 48152 48153 48154 48155 48156 48157 48158 48159 48160 48161 48162 48163 48164 48165 48166 48167 48168 48169 48170 48171 48172 48173 48174 48175 48176 48177 48178 48179 48180 48181 48182 48183 48184 48185 48186 48187 48188 48189 48190 48191 48192 48193 48194 48195 48196 48197 48198 48199 48200 48201 48202 48203 48204 48205 48206 48207 48208 48209 48210 48211 48212 48213 48214 48226 48233 48268 48277 48278 48279 48280 48281 48282 48283 48284 48285 48286 48287 48288 48289 48290 48291 48292 48293 48294 48295 48296 48297 48298 48299 48300 48303 48304 48305 48306 48307 48308 48309 48310 48311 48312 48313 48314 48316 48317 48318 48319 48320 48321 48322 48323 48324 48325 48326 48327 48328 48329 48359 48360 48361 48362 48363 48364 48365 48366 48370 48371 48372 48373 48374 48375 48376 48377 48378 48379 48380 48381 48382 48383 48384 48385 48393 48394 48395 48396 48397 48398 48443 48444 48513 48514 48515 48516 48517 48518 48519 48520 48521 48522 48523 48524 48525 48526 48527 48528 48529 48530 48531 48532 48533 48534 48535 48536 48537 48538 48539 48540 48541 48542 48543 48544 48546 48547 48548 48549 48550 48551 48552 48553 48554 48555 48556 48558 48559 48561 48562 48563 48564 48565 48566 48567 48568 48569 48570 48571 48573 48574 48575 48576 48577 48578 48579 48580 48581 48582 48584 48585 48586 48587 48589 48590 48591 48592 48594 48595 48596 48598 48599 48600 48601 48602 48603 48604 48605 48606 48607 48608 48609 48610 48611 48612 48613 48614 48616 48617 48618 48619 48620 48638 48639 48640 48641 48642 48643 48644 48645 48646 48647 48648 48649 48650 48651 48662 48663 48664 48665 48666 48667 48668 48669 48670 48671 48672 48673 48674 48675 48676 48677 48678 48679 48680 48681 48682 48683 48684 48685 48686 48691 48692 48693 48694 48700 48707 48708 48709 48710 48711 48712 48713 48714 48715 48716 48717 48718 48719 48720 48721 48722 48723 48724 48725 48726 48727 48740 48741 48742 48743 48749 48750 48751 48752 48758 48759 48760 48761 48776 48777 48778 48779 48780 48781 48782 48783 48784 48785 48798 48799 48800 48801 48802 48803 48821 48822 48823 48824 48825 48826 48827 48828 48829 48830 48831 48832 48833 48834 48835 48836 48837 48838 48839 48840 48841 48842 48843 48844 48845 48846 48847 48848 48849 48850 48851 48852 48853 48854 48855 48856 48881 48882 48883 48884 48885 48886 48887 48888 48889 48893 48894 48895 48896 48897 48898 48899 48900 48901 48902 48903 48904 48905 48906 48909 48910 48911 48912 48916 48917 48918 48919 48920 48921 48922 48923 48924 48925 48926 48927 48928 48929 48930 48931 48937 48938 48943 48944 48945 48946 48947 48948 48949 48950 48951 48959 48960 48961 48962 48963 48964 48965 48966 48967 48968 48969 48970 48971 48973 48974 48975 48976 48977 48978 48979 48980 48981 48982 48983 48984 48985 48986 48987 48988 48991 48992 48993 48997 48998 48999 49000 49001 49002 49003 49004 49005 49006 49007 49008 49039 49040 49041 49047 49048 49049 49050 49051 49052 49053 49090 49091 49092 49093 49094 49095 49096 49097 49098 49099 49100 49114 49115 49116 49117 49118 49119 49120 49121 49122 49123 49124 49125 49126 49187 49188 49189 49190 49191 49203 49211 49216 49217 49218 49219 49220 49221 49222 49223 49224 49225 49226 49227 49256 49257 49258 49259 49260 49261 49262 49263 49264 49265 49268 49269 49270 49271 49272 49273 49274 49275 49276 49277 49278 49279 49280 49281 49282 49283 49285 49286 49287 49288 49289 49290 49291 49292 49293 49294 49295 49296 49306 49307 49308 49309 49320 49321 49322 49323 49324 49325 49326 49327 49328 49329 49332 49333 49334 49335 49336 49337 49338 49339 49340 49341 49342 49343 49344 49345 49346 49347 49348 49349 49350 49351 49352 49353 49354 49355 49357 49358 49359 49360 49361 49362 49363 49364 49365 49366 52166 52440 53334 53335 53336 53337 53338 53339 53340 53341 53342 53343 53344 53345 53346 53347 53348 53349 53350 53351 53352 53353 53354 53355 53356 53357 53358 53359 53360 53361 53365 53366 53377 53388 53389 53391 53397 53398 53399 53400 53401 53404 53405 53406 53407 53408 53409 53410 53411 53412 53413 53414 53415 53416 53422 53423 53424 53425 53426 53427 53444 53445 53446 53447 53448 53449 53450 53451 53452 53453 53455 53456 53457 53458 53459 53469 53470 53471 53472 53473 53477 53478 53479 53480 53481 53482 53483 53484 53493 53494 53495 53496 53497 53498 53499 53500 53501 53502 53503 53504 53507 53508 53513 53523 53524 53539 53540 53541 53542 53543 53544 53545 53546 53547 53548 53549 53550 53551 53552 53553 53554 53555 53556 53557 53558 53562 53563 53578 53579 53591 53592 53593 53594 53595 53596 53597 53598 53599 53600 53601 53602 53603 53604 53605 53606 53614 53615 53616 53628 53629 53630 53638 53639 53640 53642 53643 53644 53654 53655 53656 53657 53658 53659 53660 53685 53686 53687 53695 53696 53697 53698 53699 53700 53701 53731 53732 53733 53734 53735 53736 53737 53738 53739 53740 53741 53742 53743 53744 53745 53746 53747 53748 53749 53750 53751 53752 53753 53754 53755 53756 53757 53758 53759 53760 53761 53762 53763 53764 53765 53766 53768 53769 53770 53771 53772 53773 53774 53775 53776 53777 53778 53779 53781 53782 53783 53784 53785 53786 53787 53788 53789 53790 53791 53792 53803 53804 53805 53806 53807 53808 53809 53820 53821 53824 53825 53826 53827 53828 53829 53832 53833 53834 53835 53836 53837 53838 53839 53964 53965 53970 53971 53972 53973 53974 54035 54036 54037 54138 54185 54227 54228 54229 54230 54231 54232 54233 54234 54235 54238 54239 54240 54241 54242 54243 54244 54245 54254 54255 54256 54257 54258 54259 54260 54261 54262 54263 54264 54265 54266 54267 54271 54272 54273 54274 54275 54280 54281 54282 54283 54284 54287 54288 54289 54290 54291 54292 54293 54339 54340 54341 54342 54343 54344 54345 54346 54347 54348 54351 54352 54353 54354 54355 54358 54359 54360 54361 54362 54363 54364 54365 54368 54369 54370 54371 54372 54373 54374 54375 54376 54386 54387 54388 54389 54390 54391 54392 54393 54394 54395 54396 54397 54398 54399 54400 54401 54402 54403 54473 54478 54479 54480 54481 54482 54483 54484 54485 54486 54487 54488 54489 54490 54491 54494 54495 54496 54497 54498 54499 54500 54501 54502 54516 54517 54518 54543 54544 54545 54546 54547 54552 54553 54554 54555 54556 54557 54560 54561 54562 54566 54567 54568 54569 54570 54571 54572 54573 54574 54579 54580 54589 54590 54598 54599 54600 54601 54606 54607 54615 54616 54617 54624 54625 54626 54627 54628 54629 54630 54643 54644 54645 54687 54688 54689 54707 54708 54709 54710 54714 54715 54716 54717 54720 54721 54722 54723 54724 54725 54726 54727 54728 54731 54732 54733 54734 54735 54736 54737 54738 54739 54749 54756 54757 54758 54759 54760 54761 54762 54763 54764 54765 54766 54767 54768 54769 54770 54771 54772 54773 54774 54775 54776 54777 54778 54779 54780 54784 54785 54786 54787 54790 54791 54792 54793 54794 54795 54796 54797 54800 54801 54802 54803 54804 54805 54806 54807 54808 54817 54819 54821 54822 54823 54824 54825 54826 54827 54828 54829 54830 54831 54832 54833 54834 54835 54836 54837 54838 54839 54840 54841 54842 54843 54844 54845 54846 54847 54871 54873 54874 54875 54876 54877 54881 54882 54883 54890 54891 54892 54893 54894 54895 54896 54897 54898 54899 54900 54904 54905 54906 54907 54908 54909 54910 54911 54912 54914 54915 54917 54918 54919 54920 54921 54925 54926 54927 54929 54930 54931 54938 54939 54940 54941 54942 54943 54944 54945 54946 54947 54948 54952 54953 54954 54955 54956 54959 54960 54961 54962 54963 54967 54968 54969 54970 54971 54972 54973 54975 54976 54977 54978 54979 54981 54982 54983 54984 54992 54993 54994 54995 54996 54997 54998 55003 55004 55005 55006 55007 55008 55009 55010 55011 55012 55013 55014 55015 55016 55017 55018 55019 55020 55021 55022 55023 55024 55025 55031 55032 55033 55034 55035 55036 55037 55038 55039 55040 55041 55042 55043 55044 55045 55050 55051 55052 55054 55055 55056 55057 55058 55059 55060 55061 55062 55063 55064 55065 55066 55067 55068 55069 55070 55098 55099 55100 55101 55102 55103 55104 55105 55108 55109 55110 55111 55112 55113 55114 55115 55128 55129 55130 55131 55132 55136 55137 55138 55139 55140 55141 55142 55143 55144 55145 55146 55150 55151 55152 55153 55154 55155 55156 55188 55208 55209 55210 55211 55219 55220 55221 55222 55223 55224 55225 55227 55228 55229 55230 55231 55238 55239 55240 55241 55242 55243 55244 55246 55247 55248 55249 55250 55251 55252 55253 55254 55256 55273 55274 55275 55276 55277 55278 55279 55280 55281 55282 55283 55284 55285 55286 55287 55288 55289 55290 55291 55292 55293 55294 55295 55296 55297 55298 55299 55300 55301 55302 55303 55304 55305 55306 55307 55308 55309 55312 55313 55329 55330 55331 55332 55333 55334 55335 55341 55342 55343 55344 55347 55348 55353 55354 55355 55356 55357 55358 55359 55360 55361 55362 55363 55364 55365 55384 55385 55386 55387 55388 55389 55390 55391 55392 55394 55395 55396 55397 55398 55399 55401 55402 55403 55404 55405 55406 55407 55408 55409 55410 55411 55412 55413 55414 0
788.91/788.99	c Terminating MUSer ...
788.91/788.99	c CPU Time: 788.74

OK	15082

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501105-1308042642/watcher-3501105-1308042642 -o /tmp/evaluation-result-3501105-1308042642/solver-3501105-1308042642 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501105-1308042642.gcnf 

running on 2 cores: 0,2

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: 4.02 3.99 3.08 5/189 10864
/proc/meminfo: memFree=28410340/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=3764 CPUtime=0 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 1 0 915862147 3854336 365 33554432000 4194304 5696331 140735718483968 18446744073709551615 5068096 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 941 367 114 367 0 571 0

[startup+0.0734921 s]
/proc/loadavg: 4.02 3.99 3.08 5/189 10864
/proc/meminfo: memFree=28410340/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=14712 CPUtime=0.06 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 3507 0 0 0 6 0 0 0 25 0 1 0 915862147 15065088 3117 33554432000 4194304 5696331 140735718483968 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 3678 3117 114 367 0 3308 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14712

[startup+0.1005 s]
/proc/loadavg: 4.02 3.99 3.08 5/189 10864
/proc/meminfo: memFree=28410340/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=19340 CPUtime=0.08 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 4775 0 0 0 8 0 0 0 25 0 1 0 915862147 19804160 4288 33554432000 4194304 5696331 140735718483968 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 4868 4290 114 367 0 4498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19340

[startup+0.300459 s]
/proc/loadavg: 4.02 3.99 3.08 5/189 10864
/proc/meminfo: memFree=28410340/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=56428 CPUtime=0.29 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 14620 0 0 0 27 2 0 0 25 0 1 0 915862147 57782272 13552 33554432000 4194304 5696331 140735718483968 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 14107 13554 139 367 0 13737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56428

[startup+0.700387 s]
/proc/loadavg: 4.02 3.99 3.08 5/189 10864
/proc/meminfo: memFree=28410340/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=57996 CPUtime=0.69 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 14972 0 0 0 67 2 0 0 25 0 1 0 915862147 59387904 13904 33554432000 4194304 5696331 140735718483968 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 14499 13904 141 367 0 14129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57996

[startup+1.50026 s]
/proc/loadavg: 4.02 3.99 3.08 5/190 10865
/proc/meminfo: memFree=28343892/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=57996 CPUtime=1.49 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 15024 0 0 0 147 2 0 0 25 0 1 0 915862147 59387904 13956 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400276 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 14499 13956 141 367 0 14129 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57996

[startup+3.10097 s]
/proc/loadavg: 4.02 3.99 3.08 5/190 10865
/proc/meminfo: memFree=28336964/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=58392 CPUtime=3.09 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 15139 0 0 0 307 2 0 0 25 0 1 0 915862147 59793408 14071 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 14598 14071 141 367 0 14228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58392

[startup+6.30039 s]
/proc/loadavg: 4.02 3.99 3.09 5/190 10866
/proc/meminfo: memFree=28288608/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=59368 CPUtime=6.29 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 15368 0 0 0 627 2 0 0 25 0 1 0 915862147 60792832 14300 33554432000 4194304 5696331 140735718483968 18446744073709551615 4399971 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 14842 14300 141 367 0 14472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59368

[startup+12.7002 s]
/proc/loadavg: 4.02 3.99 3.09 5/190 10866
/proc/meminfo: memFree=28245128/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=61252 CPUtime=12.69 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 15817 0 0 0 1267 2 0 0 25 0 1 0 915862147 62722048 14749 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 15313 14749 141 367 0 14943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61252

[startup+25.5009 s]
/proc/loadavg: 4.01 3.99 3.10 5/190 10903
/proc/meminfo: memFree=28331004/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=153000 CPUtime=25.49 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 48303 0 0 0 2542 7 0 0 25 0 1 0 915862147 156672000 37771 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400335 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 38250 37771 148 367 0 37880 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153000

[startup+51.1002 s]
/proc/loadavg: 4.01 3.99 3.13 5/190 10904
/proc/meminfo: memFree=28017092/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=313548 CPUtime=51.09 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 88419 0 0 0 5096 13 0 0 25 0 1 0 915862147 321073152 77878 33554432000 4194304 5696331 140735718483968 18446744073709551615 4416862 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 78387 77878 149 367 0 78017 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 313548

[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.17 5/190 10905
/proc/meminfo: memFree=27975356/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=102.29 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97767 0 0 0 10215 14 0 0 25 0 1 0 915862147 359239680 87223 33554432000 4194304 5696331 140735718483968 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87223 149 367 0 87335 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 350820

[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.22 5/190 10907
/proc/meminfo: memFree=27857996/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=162.29 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97770 0 0 0 16214 15 0 0 25 0 1 0 915862147 359239680 87226 33554432000 4194304 5696331 140735718483968 18446744073709551615 4416281 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87226 149 367 0 87335 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 350820

[startup+222.301 s]
/proc/loadavg: 4.00 3.99 3.27 5/190 10908
/proc/meminfo: memFree=26787696/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=222.29 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97771 0 0 0 22213 16 0 0 25 0 1 0 915862147 359239680 87227 33554432000 4194304 5696331 140735718483968 18446744073709551615 4416797 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87227 149 367 0 87335 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 350820

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.31 5/190 10910
/proc/meminfo: memFree=26136516/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=282.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97772 0 0 0 28213 17 0 0 25 0 1 0 915862147 359239680 87228 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400413 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87228 149 367 0 87335 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 350820

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.35 5/190 10911
/proc/meminfo: memFree=25906068/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=342.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97773 0 0 0 34212 18 0 0 25 0 1 0 915862147 359239680 87229 33554432000 4194304 5696331 140735718483968 18446744073709551615 4381159 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87229 149 367 0 87335 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 350820

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.39 5/190 10913
/proc/meminfo: memFree=25906140/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=402.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97774 0 0 0 40211 19 0 0 25 0 1 0 915862147 359239680 87230 33554432000 4194304 5696331 140735718483968 18446744073709551615 4381075 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87230 149 367 0 87335 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 350820

[startup+462.301 s]
/proc/loadavg: 4.08 4.00 3.43 5/190 10915
/proc/meminfo: memFree=25906096/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=462.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97774 0 0 0 46210 20 0 0 25 0 1 0 915862147 359239680 87230 33554432000 4194304 5696331 140735718483968 18446744073709551615 4398436 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87230 149 367 0 87335 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 350820

[startup+522.301 s]
/proc/loadavg: 4.03 4.00 3.46 5/190 10953
/proc/meminfo: memFree=25955660/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=522.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97774 0 0 0 52209 21 0 0 25 0 1 0 915862147 359239680 87230 33554432000 4194304 5696331 140735718483968 18446744073709551615 4381728 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87230 149 367 0 87335 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 350820

[startup+582.301 s]
/proc/loadavg: 4.01 4.00 3.49 5/190 10992
/proc/meminfo: memFree=26070816/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=582.3 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97776 0 0 0 58208 22 0 0 25 0 1 0 915862147 359239680 87232 33554432000 4194304 5696331 140735718483968 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87232 149 367 0 87335 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 350820

[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.52 5/190 10993
/proc/meminfo: memFree=26061128/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=642.31 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97776 0 0 0 64208 23 0 0 25 0 1 0 915862147 359239680 87232 33554432000 4194304 5696331 140735718483968 18446744073709551615 4380923 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87232 149 367 0 87335 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 350820

[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.55 5/190 10995
/proc/meminfo: memFree=26055380/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=702.31 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97776 0 0 0 70207 24 0 0 25 0 1 0 915862147 359239680 87232 33554432000 4194304 5696331 140735718483968 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87232 149 367 0 87335 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 350820

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.57 5/190 11034
/proc/meminfo: memFree=30483868/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=762.31 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 76207 24 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4381125 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 350820

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

[startup+767.901 s]
/proc/loadavg: 4.00 4.00 3.57 5/190 11034
/proc/meminfo: memFree=30465440/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=767.91 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 76767 24 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4370302 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 767.91
Current children cumulated vsize (KiB) 350820

[startup+780.701 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30445252/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=780.71 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78046 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4417453 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 780.71
Current children cumulated vsize (KiB) 350820

[startup+783.901 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30444756/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=783.91 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78366 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 783.91
Current children cumulated vsize (KiB) 350820

[startup+787.101 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30444744/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=787.11 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78686 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4417519 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 787.11
Current children cumulated vsize (KiB) 350820

[startup+787.9 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30444744/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=787.91 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78766 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 787.91
Current children cumulated vsize (KiB) 350820

[startup+788.707 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30444744/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=788.72 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78847 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 788.72
Current children cumulated vsize (KiB) 350820

[startup+788.901 s]
/proc/loadavg: 4.00 4.00 3.58 5/190 11034
/proc/meminfo: memFree=30444744/32951124 swapFree=67051728/67111528
[pid=10864] ppid=10862 vsize=350820 CPUtime=788.91 cores=0,2
/proc/10864/stat : 10864 (muser) R 10862 10864 9930 0 -1 4202496 97777 0 0 0 78866 25 0 0 25 0 1 0 915862147 359239680 87233 33554432000 4194304 5696331 140735718483968 18446744073709551615 4380959 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/10864/statm: 87705 87233 149 367 0 87335 0
Current children cumulated CPU time (s) 788.91
Current children cumulated vsize (KiB) 350820

Child status: 20
Real time (s): 788.999
CPU time (s): 789.019
CPU user time (s): 788.743
CPU system time (s): 0.275958
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 350820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.743
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97779
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= 4
involuntary context switches= 2795

runsolver used 1.36579 second user time and 2.94355 second system time

The end

Begin job on node138 at 2011-06-14 11:10:42
IDJOB=3501105
IDBENCH=90045
IDSOLVER=1998
FILE ID=node138/3501105-1308042642
RUNJOBID= node138-1308041268-9948
PBS_JOBID= 13564386
Free space on /tmp= 74144 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/bjrb07amba5andenv.aig.k10.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501105-1308042642/watcher-3501105-1308042642 -o /tmp/evaluation-result-3501105-1308042642/solver-3501105-1308042642 -C 1800 -W 1850 -M 7680  muser -comp -grp HOME/instance-3501105-1308042642.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2642560c98e6f14cfc9bcdd106f558a2
RANDOM SEED=842425386

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28410884 kB
Buffers:        195128 kB
Cached:        1065060 kB
SwapCached:      13160 kB
Active:        3343736 kB
Inactive:       978864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28410884 kB
SwapTotal:    67111528 kB
SwapFree:     67051728 kB
Dirty:            5496 kB
Writeback:          24 kB
AnonPages:     3059788 kB
Mapped:          11044 kB
Slab:           146128 kB
PageTables:      10972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3296316 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= 74148 MiB
End job on node138 at 2011-06-14 11:23:51