Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OptimuS x100_source | UNSAT | 1589.42 | 1589.39 |
Name | mus/marques-silva/ hardware-verification/f7b.cnf |
MD5SUM | 1e9d259858c4cb5da52919540e6fc087 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1589.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 70985 |
Number of clauses | 211126 |
Sum of the clauses size | 492626 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 140750 |
Number of clauses of size 3 | 70375 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
1589.32/1589.33 c - Reading the instance.. OK! Totally clauses: 211126; Vars: 70985; Time: 0.15 1589.32/1589.33 c - Unit propagation.. OK! Removed clauses: 5; Time: 0.00 1589.32/1589.33 c - Delete by resolution.. OK! Removed clauses: 664; Time: 1.85 1589.32/1589.33 c - Solving the original instance.. 1589.32/1589.33 c - yet UNKNOWN! Continue to clause elimination.. 1589.32/1589.33 c - round: 1; Skips in previous round: 0 1589.32/1589.33 c - clauses done: 1%; among them skipped: 5.45%; 1589.32/1589.33 c - clauses done: 10%; among them skipped: 1.08%; 1589.32/1589.33 c - round: 2; Skips in previous round: 228 1589.32/1589.33 c - clauses done: 1%; among them skipped: 0.00%; 1589.32/1589.33 c - clauses done: 10%; among them skipped: 0.00%; 1589.32/1589.33 c - Finish! Unsat core size: 26043 / 211126; Time: 1582.10 s 1589.32/1589.33 c - --------------------------------------------------------------------------- 1589.32/1589.33 c - Statistics: | unit | BCE | sat-saved | sat-check | unsat-check | 1589.32/1589.33 c - | 5 | 170911 | 17512 | 8531 | 14167 | 1589.32/1589.33 c - --------------------------------------------------------------------------- 1589.32/1589.33 s UNSATISFIABLE 1589.32/1589.33 v 7 8 9 157 161 163 164 415 419 420 421 423 425 426 427 428 429 431 432 436 440 442 443 446 448 452 453 455 456 688 692 703 704 705 721 722 723 727 731 735 736 737 740 769 773 775 776 777 778 781 785 786 788 789 791 792 794 795 807 810 811 812 814 817 821 822 824 825 827 828 830 831 843 846 847 848 850 853 857 858 860 861 863 864 866 867 879 882 883 884 886 889 893 894 896 897 899 900 902 903 915 918 919 920 922 925 929 930 932 933 935 936 938 939 951 954 955 956 958 961 965 966 968 969 971 972 974 975 987 990 991 992 996 999 1002 1005 1008 1009 1012 1016 1017 1019 1020 1022 1023 1025 1026 1029 1032 1033 1034 1036 1039 1043 1044 1046 1047 1049 1050 1052 1053 1056 1059 1060 1061 1063 1066 1070 1071 1073 1074 1076 1077 1079 1080 1083 1086 1087 1088 1090 1093 1097 1098 1100 1101 1103 1104 1106 1107 1110 1113 1114 1115 1117 1120 1124 1125 1127 1128 1130 1131 1133 1134 1137 1140 1141 1142 1144 1147 1151 1152 1154 1155 1157 1158 1160 1161 1164 1167 1168 1169 1173 1176 1179 1182 1185 1186 1187 1189 1191 1192 1195 1196 1197 1198 1199 1200 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1217 1220 1221 1223 1225 1227 1228 1229 1230 1231 1232 1233 1235 1238 1240 1242 1243 1244 1245 1246 1248 1251 1254 1257 1260 1261 1262 1264 1266 1267 1268 1269 1271 1274 1285 1288 1289 1292 1294 1298 1300 1305 1306 1307 1310 1312 1317 1320 1321 1322 1324 1326 1328 1329 1330 1331 1332 1338 1340 1344 1347 1348 1349 1353 1356 1359 1360 1362 1363 1364 1365 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1379 1380 1382 1383 1385 1386 1388 1389 1390 1393 1397 1398 1400 1401 1403 1404 1406 1407 1417 1420 1423 1424 1425 1426 1427 1428 1429 1430 1431 1433 1434 1436 1437 1439 1440 1442 1443 1444 1447 1451 1452 1454 1455 1457 1458 1460 1461 1471 1474 1477 1478 1479 1480 1481 1482 1483 1484 1485 1487 1488 1490 1491 1493 1494 1496 1497 1498 1501 1505 1506 1508 1509 1511 1512 1514 1515 1525 1528 1531 1532 1533 1534 1535 1536 1537 1538 1539 1541 1542 1544 1545 1547 1548 1550 1551 1552 1555 1559 1560 1562 1563 1565 1566 1568 1569 1579 1582 1585 1586 1587 1588 1589 1590 1591 1592 1593 1595 1596 1598 1599 1601 1602 1604 1605 1606 1609 1613 1614 1616 1617 1619 1620 1622 1623 1633 1636 1639 1640 1641 1642 1643 1644 1645 1646 1647 1649 1650 1652 1653 1655 1656 1658 1659 1660 1663 1667 1668 1670 1671 1673 1674 1676 1677 1702 1705 1708 1709 1710 1711 1712 1713 1714 1715 1716 1718 1719 1721 1722 1724 1725 1727 1728 1738 1741 1744 1745 1746 1747 1748 1749 1750 1751 1752 1754 1755 1757 1758 1760 1761 1763 1764 1774 1777 1780 1781 1782 1783 1784 1785 1786 1787 1788 1790 1791 1793 1794 1796 1797 1799 1800 1810 1813 1816 1817 1818 1819 1820 1821 1822 1823 1824 1826 1827 1829 1830 1832 1833 1835 1836 1846 1849 1852 1853 1854 1855 1856 1857 1858 1859 1860 1862 1863 1865 1866 1868 1869 1871 1872 1882 1885 1888 1889 1890 1891 1892 1893 1894 1895 1896 1898 1899 1901 1902 1904 1905 1907 1908 1936 1943 1944 1945 1949 1950 1951 1952 1953 1954 1955 1956 1957 1960 1961 1962 1963 1966 1967 1968 1969 1972 1973 1974 1975 1978 1979 1980 1981 1984 1985 1986 1989 1990 1991 1992 1994 1997 1999 2000 2001 2148 2152 2157 2159 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3090 3093 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3247 3248 3252 3254 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4249 4250 4251 4252 4253 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4318 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4360 4361 4362 4363 4364 4365 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 4377 4387 4388 4389 4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4404 4407 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4428 4429 4430 4431 4432 4433 4434 4438 4439 4443 4445 4480 4483 4487 4488 4490 4491 4492 4494 4495 4499 4500 4502 4503 4504 4505 4506 4525 4528 4531 4536 4539 4542 4543 4545 4547 4548 4549 4550 4552 4553 4557 4558 4561 4562 4563 4565 4566 4568 4569 4571 4572 4574 4575 4577 4578 4579 4580 4581 4585 4589 4592 4594 4598 4599 4601 4602 4621 4624 4627 4631 4632 4634 4635 4637 4638 4640 4641 4643 4644 4646 4647 4648 4649 4651 4652 4656 4657 4661 4662 4664 4665 4684 4687 4690 4694 4695 4697 4698 4700 4701 4703 4704 4706 4707 4709 4710 4711 4712 4714 4715 4719 4720 4724 4725 4727 4728 4747 4750 4753 4757 4758 4760 4761 4763 4764 4766 4767 4769 4770 4772 4773 4774 4775 4777 4778 4782 4783 4787 4788 4790 4791 4810 4813 4816 4820 4821 4823 4824 4826 4827 4829 4830 4832 4833 4835 4836 4837 4838 4840 4841 4845 4846 4850 4851 4853 4854 4873 4876 4879 4883 4884 4886 4887 4889 4890 4892 4893 4895 4896 4898 4899 4900 4901 4903 4904 4908 4909 4913 4914 4916 4917 4936 4939 4942 4946 4947 4949 4950 4952 4953 4955 4956 4958 4959 4961 4962 4963 4964 4966 4967 4971 4972 4973 4975 4976 4978 4979 4981 4982 4984 4985 4987 4988 4989 4990 4991 4992 6668 6671 6673 6678 6688 7130 7144 7145 7146 7147 7148 7149 7150 7151 7152 7155 7156 7157 7158 7159 7160 7161 7164 7165 7168 7169 7170 7171 7197 7199 7201 7205 7209 7225 7229 7232 7235 7237 7241 7242 7244 7245 7247 7248 7250 7251 7252 7253 7254 7255 7256 7257 7259 7260 7262 7263 7264 7265 7266 7267 7268 7271 7274 7276 7278 7279 7280 7281 7283 7284 7285 7286 7287 7327 7330 7333 7334 7335 7336 7337 7338 7339 7340 7341 7343 7344 7346 7347 7349 7350 7352 7353 7399 7402 7405 7406 7407 7408 7409 7410 7411 7412 7413 7415 7416 7418 7419 7421 7422 7424 7425 7471 7474 7477 7478 7479 7480 7481 7482 7483 7484 7485 7487 7488 7490 7491 7493 7494 7496 7497 7543 7546 7549 7550 7551 7552 7553 7554 7555 7556 7557 7559 7560 7562 7563 7565 7566 7568 7569 7615 7618 7621 7622 7623 7624 7625 7626 7627 7628 7629 7631 7632 7634 7635 7637 7638 7640 7641 7687 7690 7693 7694 7695 7696 7697 7698 7699 7700 7701 7703 7704 7706 7707 7709 7710 7712 7713 8029 8030 8033 8036 8039 8043 8045 8048 8051 8062 8065 8066 8067 8068 8069 8070 8071 8072 8073 8074 8077 8078 8079 8080 8081 8082 8083 8084 8085 8086 8089 8090 8091 8092 8093 8094 8095 8096 8097 8098 8101 8102 8103 8104 8105 8106 8107 8108 8109 8110 8113 8114 8115 8116 8117 8118 8119 8120 8121 8122 8125 8126 8127 8128 8129 8130 8131 8132 8133 8135 8139 8140 8141 8142 8143 8144 8145 8146 8147 8148 8149 8150 8151 8153 8157 8158 8159 8160 8162 8165 8167 8168 8169 8170 8171 8172 8464 8467 8471 8475 8478 8491 8518 8521 8522 8525 8528 8569 8573 8577 8579 8581 8586 8593 8596 8597 8600 8603 8626 8630 8631 8633 8634 8636 8638 8643 8659 8662 8663 8666 8669 9625 9628 9629 9630 9632 9633 9697 9700 9702 9704 9705 9707 9708 10022 10023 10078 10079 10358 10359 10361 10362 10363 10364 10365 10367 10368 10369 10370 10371 10373 10374 10376 10379 10382 10385 10386 10462 10466 10467 10469 10470 10471 10472 10473 10744 10828 10831 10835 10836 10838 10839 10841 10842 10844 10845 10847 10850 10852 10853 10854 10856 10857 10869 10870 10872 10874 10875 10876 10877 10878 10889 10891 10892 10893 10895 10896 10906 10907 10908 10910 10911 10921 10923 10925 10926 10927 10928 10929 10939 10940 10941 10951 10952 10953 10963 10964 10965 10999 11002 11006 11155 11159 11162 11164 11169 11179 11182 11186 11189 11191 11192 11193 11194 11195 11196 11197 11198 11199 11200 11202 11204 11205 11206 11207 11208 11218 11219 11220 11230 11231 11232 11242 11243 11244 11267 11269 11271 11273 11274 11275 11277 11279 11280 11281 11283 11285 11286 11290 11293 11294 11296 11297 11298 11299 11300 11301 11302 11303 11304 11305 11306 11307 11308 11309 11310 11311 11312 11313 11314 11315 11316 11317 11318 11319 11320 11321 11322 11323 11324 11325 11326 11327 11328 11329 11330 11331 11332 11333 11334 11335 11336 11337 11338 11339 11340 11341 11342 11343 11344 11345 11346 11347 11348 11349 11350 11351 11352 11353 11354 11355 11356 11357 11358 11359 11360 11361 11362 11363 11364 11365 11366 11367 11368 11370 11373 11386 11392 11393 11394 11395 11396 11397 11398 11399 11400 11401 11402 11403 11404 11405 11406 11407 11408 11409 11410 11411 11412 11413 11414 11415 11416 11417 11418 11419 11420 11421 11422 11423 11424 11425 11426 11427 11428 11429 11430 11431 11432 11433 11434 11435 11436 11437 11438 11439 11440 11441 11442 11443 11444 11445 11446 11447 11448 11449 11450 11451 11452 11453 11454 11455 11456 11457 11458 11459 11460 11461 11462 11463 11464 11465 11466 11467 11468 11469 11470 11471 11472 11473 11474 11475 11476 11477 11478 11479 11480 11481 11482 11483 11484 11485 11486 11487 11488 11489 11490 11491 11492 11493 11494 11495 11496 11497 11498 11499 11500 11501 11502 11503 11504 11505 11506 11507 11508 11509 11510 11511 11512 11513 11514 11515 11516 11517 11518 11519 11520 11521 11522 11523 11524 11525 11526 11527 11528 11529 11530 11531 11532 11533 11534 11535 11536 11537 11538 11539 11540 11541 11542 11543 11544 11545 11546 11547 11548 11549 11550 11551 11552 11553 11554 11555 11556 11557 11558 11559 11560 11561 11562 11563 11564 11565 11566 11567 11568 11569 11570 11571 11572 11573 11574 11575 11576 11577 11578 11579 11580 11581 11582 11583 11584 11585 11586 11587 11588 11589 11590 11591 11592 11593 11594 11595 11596 11597 11598 11599 11600 11601 11602 11603 11604 11605 11606 11607 11608 11609 11610 11611 11612 11613 11614 11615 11616 11617 11618 11619 11620 11621 11622 11623 11624 11625 11626 11627 11628 11629 11630 11631 11632 11633 11634 11635 11636 11637 11638 11639 11640 11641 11642 11643 11644 11645 11646 11647 11648 11649 11650 11651 11652 11653 11654 11655 11656 11657 11658 11659 11660 11661 11662 11663 11664 11665 11666 11667 11668 11669 11670 11671 11672 11673 11674 11675 11676 11677 11678 11679 11680 11681 11682 11683 11684 11685 11686 11687 11688 11689 11690 11691 11692 11693 11694 11695 11696 11697 11698 11699 11700 11701 11702 11703 11704 11705 11706 11707 11708 11709 11710 11711 11712 11713 11714 11715 11716 11717 11718 11719 11720 11721 11722 11723 11724 11725 11726 11727 11728 11729 11730 11731 11732 11733 11734 11735 11736 11737 11738 11739 11740 11741 11742 11743 11744 11745 11746 11747 11748 11749 11750 11751 11752 11753 11754 11755 11756 11757 11758 11759 11760 11761 11762 11763 11764 11765 11766 11767 11768 11769 11770 11771 11772 11773 11774 11775 11776 11777 11778 11779 11780 11781 11782 11783 11784 11785 11786 11787 11788 11789 11790 11791 11792 11793 11794 11795 11796 11797 11798 11799 11800 11801 11802 11803 11804 11805 11806 11807 11808 11809 11810 11811 11812 11813 11814 11815 11816 11817 11818 11819 11820 11821 11822 11823 11824 11825 11826 11827 11828 11829 11830 11831 11832 11833 11834 11835 11836 11837 11838 11839 11840 11841 11842 11843 11844 11845 11846 11847 11848 11849 11850 11851 11852 11853 11854 11855 11856 11857 11858 11859 11860 11861 11862 11863 11864 11865 11866 11867 11868 11869 11870 11871 11872 11873 11874 11875 11876 11877 11878 11879 11880 11881 11882 11883 11884 11885 11886 11887 11888 11889 11890 11891 11892 11893 11894 11895 11896 11897 11898 11899 11900 11901 11902 11903 11904 11905 11906 11907 11908 11909 11910 11911 11912 11913 11914 11915 11916 11917 11918 11919 11920 11921 11922 11923 11924 11925 11926 11927 11928 11929 11930 11931 11932 11933 11934 11935 11936 11937 11938 11939 11940 11941 11942 11943 11944 11945 11946 11947 11948 11949 11950 11951 11952 11953 11954 11955 11956 11957 11958 11959 11960 11961 11962 11963 11964 11965 11966 11967 11968 11969 11970 11971 11972 11973 11974 11975 11976 11977 11978 11979 11980 11981 11982 11983 11984 11985 11986 11987 11988 11989 11990 11991 11992 11993 11994 11995 11996 11997 11998 11999 12000 12001 12002 12003 12004 12005 12006 12007 12008 12009 12010 12011 12012 12013 12014 12015 12016 12017 12018 12019 12020 12021 12022 12023 12024 12025 12026 12027 12028 12029 12030 12031 12032 12033 12034 12035 12036 12037 12038 12039 12040 12041 12042 12043 12044 12045 12046 12047 12048 12049 12050 12051 12052 12053 12054 12055 12056 12057 12058 12059 12060 12061 12062 12063 12064 12065 12066 12067 12068 12069 12070 12071 12072 12073 12074 12075 12076 12077 12078 12079 12080 12081 12082 12083 12084 12085 12086 12087 12088 12089 12090 12091 12092 12093 12094 12095 12096 12097 12098 12099 12100 12101 12102 12103 12104 12105 12106 12107 12108 12109 12110 12111 12112 12113 12114 12115 12116 12117 12118 12119 12120 12121 12122 12123 12124 12125 12126 12127 12128 12129 12130 12131 12132 12133 12134 12135 12136 12137 12138 12139 12140 12141 12142 12143 12144 12145 12146 12147 12148 12149 12150 12151 12152 12153 12154 12155 12156 12157 12158 12159 12160 12161 12162 12163 12164 12165 12166 12167 12168 12169 12170 12171 12172 12173 12174 12175 12176 12177 12178 12179 12180 12181 12182 12183 12184 12185 12186 12187 12188 12189 12190 12191 12192 12193 12194 12195 12196 12197 12198 12199 12200 12201 12202 12203 12204 12205 12206 12207 12208 12209 12210 12211 12212 12213 12214 12215 12216 12217 12218 12219 12220 12221 12222 12223 12224 12225 12242 12244 12245 12246 12247 12248 12249 12250 12251 12252 12253 12254 12255 12256 12257 12258 12259 12260 12261 12262 12263 12264 12265 12266 12267 12268 12269 12270 12271 12272 12273 12274 12275 12276 12277 12278 12279 12280 12281 12282 12283 12284 12285 12295 12296 12298 12299 12300 12301 12302 12303 12304 12305 12306 12307 12308 12309 12310 12311 12312 12313 12314 12315 12316 12317 12318 12319 12320 12321 12322 12323 12324 12325 12326 12327 12328 12329 12330 12331 12332 12333 12334 12335 12336 12337 12338 12339 12340 12341 12342 12343 12344 12345 12346 12347 12348 12349 12350 12351 12352 12353 12354 12355 12356 12357 12358 12359 12360 12370 12371 12372 12373 12374 12375 12376 12377 12378 12379 12380 12381 12382 12383 12384 12385 12386 12387 12388 12389 12390 12391 12392 12393 12403 12404 12405 12406 12407 12408 12409 12410 12411 12412 12413 12414 12415 12416 12417 12418 12419 12420 12421 12422 12423 12424 12425 12426 12427 12428 12429 12430 12431 12432 12433 12434 12435 12436 12437 12438 12439 12440 12441 12442 12443 12444 12445 12446 12447 12457 12458 12459 12460 12461 12462 12463 12464 12465 12466 12467 12468 12469 12470 12471 12472 12473 12474 12475 12476 12477 12508 12511 12514 12515 12516 12517 12518 12519 12520 12521 12522 12524 12525 12527 12528 12530 12531 12533 12534 12536 12537 12539 12540 12541 12542 12543 12544 12545 12546 12547 12548 12549 12550 12551 12552 12553 12554 12555 12556 12557 12558 12559 12560 12561 12562 12563 12564 12565 12566 12567 12568 12569 12570 12571 12572 12573 12574 12575 12576 12577 12578 12579 12580 12581 12582 12583 12584 12585 12586 12587 12588 12589 12590 12591 12592 12593 12594 12595 12596 12597 12598 12599 12600 12601 12602 12603 12604 12605 12606 12607 12608 12609 12610 12611 12612 12613 12614 12615 12616 12618 12619 12620 12621 12622 12623 12624 12625 12626 12627 12628 12629 12630 12631 12632 12633 12634 12635 12636 12637 12638 12639 12640 12641 12642 12643 12644 12645 12646 12647 12648 12649 12650 12651 12652 12653 12654 12655 12656 12657 12658 12659 12660 12661 12662 12663 12664 12665 12666 12667 12668 12669 12670 12671 12672 12673 12674 12675 12676 12677 12678 12679 12680 12681 12682 12683 12684 12685 12686 12687 12688 12689 12690 12691 12692 12693 12694 12695 12696 12697 12698 12699 12700 12701 12702 12703 12704 12705 12706 12707 12708 12709 12710 12711 12712 12713 12714 12715 12716 12717 12718 12719 12720 12721 12722 12723 12724 12725 12726 12727 12728 12729 12730 12731 12732 12733 12734 12735 12736 12737 12738 12739 12740 12741 12742 12743 12744 12745 12746 12747 12748 12749 12750 12751 12752 12753 12754 12755 12756 12757 12758 12759 12760 12761 12762 12763 12764 12765 12766 12767 12768 12769 12770 12771 12772 12773 12774 12775 12776 12777 12778 12779 12780 12781 12782 12783 12784 12785 12786 12787 12788 12789 12790 12791 12792 12793 12794 12795 12796 12797 12798 12799 12800 12801 12802 12803 12804 12805 12806 12807 12808 12809 12810 12811 12812 12813 12814 12815 12816 12817 12818 12819 12820 12821 12822 12823 12824 12825 12826 12827 12828 12829 12830 12831 12832 12833 12834 12835 12836 12837 12838 12839 12840 12841 12842 12843 12844 12845 12846 12847 12848 12849 12850 12851 12852 12853 12854 12855 12856 12857 12858 12859 12860 12861 12862 12863 12864 12865 12866 12867 12868 12869 12870 12871 12872 12873 12874 12875 12876 12877 12878 12879 12880 12881 12882 12883 12884 12885 12886 12887 12888 12889 12890 12891 12892 12893 12894 12895 12896 12897 12898 12899 12900 12901 12902 12903 12904 12905 12906 12907 12908 12909 12910 12911 12912 12913 12914 12915 12916 12917 12918 12919 12920 12921 12922 12923 12924 12925 12926 12927 12928 12929 12930 12931 12932 12933 12934 12935 12936 12937 12938 12939 12940 12941 12942 12943 12944 12945 12946 12947 12948 12949 12950 12951 12952 12953 12954 12955 12956 12957 12958 12959 12960 12961 12962 12963 12964 12965 12966 12967 12968 12969 12970 12971 12972 12973 12974 12975 12976 12977 12978 12979 12980 12981 12982 12983 12984 12985 12986 12987 12988 12989 12990 12991 12992 12993 12994 12995 12996 12997 12998 12999 13000 13001 13002 13003 13004 13005 13006 13007 13008 13009 13010 13011 13012 13013 13014 13015 13016 13017 13018 13019 13020 13021 13022 13023 13024 13025 13026 13027 13028 13029 13030 13031 13032 13033 13034 13035 13036 13037 13038 13039 13040 13041 13042 13043 13044 13045 13046 13047 13048 13049 13050 13051 13052 13053 13054 13055 13056 13057 13058 13059 13060 13061 13062 13063 13064 13065 13066 13067 13068 13069 13070 13071 13072 13073 13074 13075 13076 13077 13078 13079 13080 13081 13082 13083 13084 13085 13086 13087 13088 13089 13090 13091 13092 13093 13094 13095 13096 13097 13098 13099 13100 13101 13102 13103 13104 13105 13106 13107 13108 13109 13110 13111 13112 13113 13114 13115 13116 13117 13118 13119 13120 13121 13122 13123 13124 13125 13126 13127 13128 13129 13130 13131 13132 13133 13134 13135 13136 13137 13138 13139 13140 13141 13142 13143 13144 13145 13146 13147 13148 13149 13150 13151 13152 13153 13154 13155 13156 13157 13158 13159 13160 13161 13162 13163 13164 13165 13166 13167 13168 13169 13170 13171 13172 13173 13174 13175 13176 13177 13178 13179 13180 13181 13182 13183 13184 13185 13186 13187 13188 13189 13190 13191 13192 13193 13194 13195 13196 13197 13198 13199 13200 13201 13202 13203 13204 13205 13206 13207 13208 13209 13210 13211 13212 13213 13214 13215 13216 13217 13218 13219 13220 13221 13222 13223 13224 13225 13226 13227 13228 13229 13230 13231 13232 13233 13234 13235 13236 13237 13238 13239 13240 13241 13242 13243 13244 13245 13246 13247 13248 13249 13250 13251 13252 13253 13254 13255 13256 13257 13258 13259 13260 13261 13262 13263 13264 13265 13266 13267 13268 13269 13270 13271 13272 13273 13274 13275 13276 13277 13278 13279 13280 13281 13282 13283 13284 13285 13286 13287 13288 13289 13290 13291 13292 13293 13294 13295 13296 13297 13298 13299 13300 13301 13302 13303 13304 13305 13306 13307 13308 13309 13310 13311 13312 13313 13314 13315 13316 13317 13318 13319 13320 13321 13322 13323 13324 13325 13326 13327 13328 13329 13330 13331 13332 13333 13334 13335 13336 13337 13338 13339 13340 13341 13342 13343 13344 13345 13346 13347 13348 13349 13350 13351 13352 13353 13354 13355 13356 13357 13358 13359 13360 13361 13362 13363 13364 13365 13366 13367 13368 13369 13370 13371 13372 13373 13374 13375 13376 13377 13378 13379 13380 13381 13382 13383 13384 13385 13386 13387 13388 13389 13390 13391 13392 13393 13394 13395 13396 13397 13398 13399 13400 13401 13402 13403 13404 13405 13406 13407 13408 13409 13410 13411 13412 13413 13414 13415 13416 13417 13418 13419 13420 13421 13422 13423 13424 13425 13426 13427 13428 13429 13430 13431 13432 13433 13434 13435 13436 13437 13438 13439 13440 13441 13442 13443 13444 13445 13446 13447 13448 13449 13450 13451 13452 13453 13454 13455 13456 13457 13458 13459 13460 13461 13462 13463 13464 13465 13466 13467 13468 13469 13470 13471 13472 13473 13474 13475 13476 13477 13478 13479 13480 13481 13482 13483 13484 13485 13486 13487 13488 13489 13490 13491 13492 13493 13494 13495 13496 13497 13498 13499 13500 13501 13502 13503 13504 13505 13506 13507 13508 13509 13510 13511 13512 13513 13514 13515 13516 13517 13518 13519 13520 13521 13522 13523 13524 13525 13526 13527 13528 13529 13530 13542 13543 13545 13546 13547 13548 13549 13550 13551 13552 13553 13554 13555 13556 13557 13558 13559 13560 13561 13562 13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 13575 13576 13577 13578 13579 13580 13581 13582 13583 13584 13585 13586 13587 13589 13590 13591 13592 13593 13604 13606 13607 13608 13609 13610 13611 13612 13613 13614 13615 13616 13617 13618 13619 13620 13621 13622 13623 13624 13625 13626 13627 13628 13629 13630 13631 13632 13633 13634 13635 13636 13637 13638 13639 13640 13641 13642 13643 13644 13645 13646 13647 13649 13650 13660 13661 13662 13663 13664 13665 13666 13667 13668 13669 13670 13671 13672 13673 13674 13675 13676 13677 13678 13679 13680 13681 13682 13683 13684 13685 13686 13688 13689 13699 13701 13702 13703 13704 13705 13706 13707 13708 13709 13710 13711 13712 13713 13714 13715 13716 13717 13718 13719 13720 13721 13722 13723 13724 13725 13727 13728 13729 13730 13731 13741 13742 13743 13744 13745 13746 13747 13748 13749 13750 13751 13752 13753 13754 13755 13756 13757 13758 13759 13760 13761 13762 13763 13764 13774 13775 13776 13777 13778 13779 13780 13781 13782 13783 13784 13785 13786 13787 13788 13789 13790 13791 13792 13793 13794 13795 13796 13797 13798 13799 13800 13810 13811 13812 13813 13814 13815 13816 13817 13818 13819 13820 13821 13822 13823 13824 13825 13826 13827 13828 13829 13830 13831 13832 13833 13867 13871 13930 13934 13938 13951 13954 13955 14146 14154 14156 14163 14165 14169 14170 14172 14174 14175 14176 14178 14180 14181 14182 14183 14184 14186 14187 14188 14190 14191 14192 14193 14195 14196 14197 14199 14200 14201 14202 14203 14205 14207 14208 14209 14210 14211 14212 14214 14216 14217 14218 14219 14220 14223 14226 14227 14228 14232 14235 14236 14237 14241 14244 14245 14246 14250 14253 14254 14256 14257 14258 14259 14260 14261 14262 14263 14264 14265 14266 14267 14268 14269 14271 14273 14274 14275 14276 14277 14279 14280 14281 14283 14284 14285 14286 14288 14289 14290 14292 14293 14294 14295 14296 14298 14300 14301 14302 14303 14304 14305 14307 14309 14310 14311 14312 14313 14316 14319 14320 14321 14325 14328 14329 14330 14334 14337 14338 14339 14343 14346 14347 14349 14350 14351 14352 14353 14354 14355 14356 14357 14358 14359 14360 14361 14362 14363 14364 14365 14366 14367 14369 14370 14372 14373 14375 14377 14382 14384 14385 14387 14388 14390 14392 14397 14399 14401 14406 14407 14408 14410 14411 14414 14418 14419 14421 14423 14424 14425 14426 14427 14506 14510 14511 14521 14524 14526 14528 14529 14531 14532 14534 14537 14541 14544 14545 14546 14550 14553 14554 14555 14559 14562 14563 14564 14566 14567 14571 14574 14575 14576 14580 14583 14586 14589 14592 14596 14599 14603 14604 14606 14607 14610 14614 14617 14619 14621 14622 14624 14625 14627 14628 14630 14631 14633 14634 14635 14637 14638 14639 14640 15718 15720 15722 15723 15724 15725 15726 15730 15731 15732 15734 15735 15736 15737 15738 15740 15742 15744 15818 15824 15825 15827 15828 15829 15831 15832 15833 15834 15899 15900 15902 15903 15904 15905 15906 18442 18445 18448 18450 18452 18453 18454 18455 18456 18458 18459 18460 18462 18463 18464 18465 18467 18468 18469 18471 18472 18473 18474 18477 18480 18481 18482 18484 18486 18488 18489 18490 18491 18492 18495 18498 18499 18500 18504 18507 18508 18509 18511 18513 18515 18516 18517 18518 18519 18521 18522 18524 18525 18526 18527 18528 18530 18531 18532 18533 18534 18535 18536 18537 18538 18539 18540 18541 18542 18543 18544 18545 18546 18547 18548 18549 18646 18649 18652 18653 18655 18656 18660 18661 18662 18664 18665 18669 18691 18694 18695 18886 18889 18893 18894 18896 18897 18899 18900 18902 18903 18904 18905 18906 18907 18908 18909 18911 18912 18914 18915 18916 18917 18918 18919 18922 18923 18924 18934 18938 18941 18943 18946 18976 18980 18983 18985 19033 19037 19040 19042 19090 19094 19097 19099 19102 19106 19107 19109 19110 19112 19113 19115 19116 19118 19119 19121 19122 19124 19125 19127 19128 19130 19131 19133 19134 19136 19137 19139 19140 19141 19142 19143 19144 19145 19146 19148 19149 19151 19152 19153 19154 19155 19156 19157 19158 19160 19162 19167 19169 19173 19177 19182 19183 19184 19201 19204 19212 19214 19218 19222 19226 19227 19229 19230 19231 19232 19233 19235 19236 19237 19238 19239 19240 19241 19242 19243 19244 19245 19258 19261 19265 19266 19268 19269 19270 19271 19272 19273 19274 19275 19277 19278 19280 19281 19282 19285 19286 19287 19289 19290 19300 19303 19305 19306 19307 19308 19309 19310 19311 19313 19314 19316 19317 19318 19319 19320 19321 19322 19323 19324 19325 19326 19327 19330 19331 19332 19333 19337 19338 19340 19341 19342 19343 19344 19345 19346 19347 19349 19350 19352 19353 19354 19357 19358 19359 19361 19362 19372 19375 19377 19378 19379 19380 19381 19382 19383 19385 19386 19388 19389 19390 19391 19392 19393 19394 19395 19396 19397 19398 19399 19402 19403 19404 19405 19409 19410 19412 19413 19414 19415 19416 19417 19418 19419 19421 19422 19424 19425 19426 19429 19430 19431 19433 19434 19444 19447 19449 19450 19451 19452 19453 19454 19455 19457 19458 19460 19461 19462 19463 19464 19465 19466 19467 19468 19469 19470 19471 19474 19475 19476 19477 19481 19482 19484 19485 19486 19487 19488 19489 19490 19491 19493 19494 19496 19497 19498 19501 19502 19503 19505 19506 19516 19519 19521 19522 19523 19524 19525 19526 19527 19529 19530 19532 19533 19534 19535 19536 19537 19538 19539 19540 19541 19542 19543 19546 19547 19548 19549 19553 19554 19556 19557 19558 19559 19560 19561 19562 19563 19565 19566 19568 19569 19570 19573 19574 19575 19577 19578 19588 19591 19593 19594 19595 19596 19597 19598 19599 19601 19602 19604 19605 19606 19607 19608 19609 19610 19611 19612 19613 19614 19615 19618 19619 19620 19621 19625 19626 19628 19629 19630 19631 19632 19633 19634 19635 19637 19638 19640 19641 19642 19645 19646 19647 19649 19650 19660 19663 19665 19666 19667 19668 19669 19670 19671 19673 19674 19676 19677 19678 19679 19680 19681 19682 19683 19684 19685 19686 19687 19688 19689 19690 19691 19692 19693 19694 19695 19696 19697 19698 19699 19700 19701 19702 19703 19704 19705 19706 19707 19708 19710 19711 19712 19713 19714 19715 19716 19717 19718 19719 19724 19727 19730 19733 19737 19739 19742 19745 19771 19774 19775 19778 19782 19785 24548 24734 24736 24738 24740 24741 24760 24762 24764 24766 24768 25358 25361 25370 25376 25379 25399 25796 25798 25800 25802 25803 25822 25824 25826 25828 25830 26690 26692 26695 26698 26701 26703 26704 26705 26706 26707 26708 26709 26710 26713 26714 26715 26716 26717 26718 26719 26720 26721 26722 26723 26724 26725 26726 26727 26728 26729 26730 26732 26733 26734 26735 26736 26738 26739 26740 26741 26742 26744 26745 26747 26748 26750 26751 26753 26754 26756 26757 26759 26760 26762 26763 26765 26766 26776 26779 26791 26794 26797 26798 26800 26801 26802 26803 26804 26805 26806 26809 26810 26811 26812 26813 26814 26815 26816 26817 26819 26820 26821 26822 26823 26825 26826 26828 26829 26830 26831 26832 26834 26835 26837 26838 26840 26841 26843 26844 26846 26847 26849 26850 26852 26853 26855 26856 26858 26859 26861 26862 26875 26878 26893 26896 26899 26900 26901 26902 26903 26904 26905 26908 26909 26910 26911 26912 26913 26914 26915 26916 26918 26919 26920 26921 26922 26924 26925 26927 26928 26929 26930 26931 26933 26934 26936 26937 26939 26940 26942 26943 26945 26946 26948 26949 26951 26952 26954 26955 26957 26958 26971 26974 26989 26992 26995 26996 26997 26998 26999 27000 27001 27004 27005 27006 27007 27008 27009 27010 27011 27012 27014 27015 27016 27017 27018 27020 27021 27023 27024 27025 27026 27027 27029 27030 27032 27033 27035 27036 27038 27039 27041 27042 27044 27045 27047 27048 27050 27051 27053 27054 27067 27070 27085 27088 27091 27092 27093 27094 27095 27096 27097 27100 27101 27102 27103 27104 27105 27106 27107 27108 27110 27111 27112 27113 27114 27116 27117 27119 27120 27121 27122 27123 27125 27126 27128 27129 27131 27132 27134 27135 27137 27138 27140 27141 27143 27144 27146 27147 27149 27150 27163 27166 27181 27184 27187 27188 27189 27190 27191 27192 27193 27196 27197 27198 27199 27200 27201 27202 27203 27204 27206 27207 27208 27209 27210 27212 27213 27215 27216 27217 27218 27219 27221 27222 27224 27225 27227 27228 27230 27231 27233 27234 27236 27237 27239 27240 27242 27243 27245 27246 27250 27256 27260 27263 27267 27268 27271 27274 27275 27276 27277 27278 27279 27281 27285 27286 27287 27288 27289 27290 27291 27292 27293 27294 27296 27297 27299 27300 27301 27302 27303 27305 27306 27308 27309 27311 27312 27314 27315 27317 27318 27320 27321 27322 27325 27328 27329 27330 27331 27332 27333 27334 27337 27338 27339 27340 27341 27342 27343 27344 27345 27346 27347 27348 27349 27350 27351 27352 27353 27354 27355 27356 27357 27358 27359 27360 27361 27362 27363 27365 27366 27368 27369 27371 27372 27374 27375 27377 27378 27380 27381 27382 27385 27388 27390 27391 27392 27393 27394 27395 27396 27397 27398 27399 27401 27402 27403 27404 27405 27406 27407 27408 27410 27411 27412 27413 27414 27416 27417 27419 27420 27422 27423 27425 27426 27428 27429 27431 27432 27433 27436 27439 27440 27441 27442 27443 27444 27446 27450 27451 27452 27453 27454 27455 27456 27457 27458 27459 27461 27462 27463 27464 27465 27466 27467 27468 27470 27471 27473 27474 27476 27477 27479 27480 27482 27483 27485 27486 27487 27490 27493 27494 27495 27496 27497 27498 27499 27500 27501 27503 27504 27505 27506 27507 27509 27510 27512 27513 27515 27516 27518 27519 27521 27522 27524 27525 27527 27528 27529 27532 27536 27539 27542 27543 27545 27546 27548 27549 27551 27552 27554 27555 27557 27558 27560 27561 27563 27564 27566 27567 27569 27570 27571 27574 27577 27578 27579 27580 27581 27582 27583 27584 27585 27587 27588 27589 27590 27591 27593 27594 27596 27597 27599 27600 27602 27603 27605 27606 27608 27609 27611 27612 27615 27618 27621 27624 27627 27630 27633 27636 27639 27642 27645 27648 27651 27654 27660 27662 27669 27671 27675 27679 27684 27687 27690 27693 27696 27699 27702 27705 27708 27711 27714 28036 28040 28044 28048 28054 28058 28060 28064 28065 28067 28068 28075 28083 28085 28089 28093 28098 28101 28104 28107 28108 28110 28112 28113 28115 28116 28117 28120 28122 28123 28127 28128 28130 28131 28137 28139 28142 28143 28144 28147 28149 28150 28154 28155 28157 28158 28159 28160 28161 28163 28164 28165 28166 28167 28169 28170 28171 28172 28173 28174 28175 28176 28179 28183 28191 28193 28200 28202 28206 28210 28218 28220 28224 28227 28230 28233 28236 28239 28241 28242 28243 28246 28248 28249 28253 28254 28256 28257 28263 28265 28268 28269 28270 28273 28275 28276 28280 28281 28283 28284 28285 28286 28287 28289 28290 28291 28292 28293 28295 28296 28297 28298 28299 28300 28301 28302 28303 28306 28308 28309 28310 28311 28317 28319 28322 28324 28326 28329 28330 28332 28334 28335 28336 28337 28338 28340 28341 28360 28363 28365 28366 28367 28368 28369 28370 28371 28381 28382 28383 28385 28386 28405 28408 28410 28411 28412 28413 28414 28415 28416 28426 28427 28428 28430 28431 28450 28453 28455 28456 28457 28458 28459 28460 28461 28471 28472 28473 28475 28476 28495 28498 28500 28501 28502 28503 28504 28505 28506 28516 28517 28518 28520 28521 28540 28543 28545 28546 28547 28548 28549 28550 28551 28561 28562 28563 28565 28566 28585 28588 28590 28591 28592 28593 28594 28595 28596 28621 28624 28627 28630 28631 28632 28633 28634 28635 28636 28637 28638 28639 28640 28641 28642 28643 28644 28645 28646 28647 28648 28649 28650 28651 28652 28653 28654 28655 28656 28657 28658 28659 28660 28661 28662 28663 28664 28665 28666 28667 28668 28669 28670 28671 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 28697 28698 28699 28700 28701 28702 28703 28704 28705 28706 28707 28708 28709 28710 28711 28712 28713 28714 28715 28716 28717 28718 28719 28720 28721 28722 28723 28724 28725 28726 28727 28728 28729 28730 28731 28732 28733 28734 28735 28736 28737 28738 28739 28740 28741 28742 28743 28744 28745 28746 28747 28748 28749 28750 28751 28752 28753 28754 28755 28756 28757 28758 28759 28760 28761 28762 28763 28764 28765 28766 28767 28768 28769 28770 28771 28772 28773 28774 28775 28776 28777 28778 28779 28780 28781 28782 28783 28784 28785 28786 28787 28788 28789 28790 28791 28792 28793 28794 28795 28796 28797 28798 28799 28800 28801 28802 28803 28804 28805 28806 28807 28808 28809 28810 28811 28812 28813 28814 28815 28816 28817 28818 28819 28820 28821 28822 28823 28824 28825 28826 28827 28828 28829 28830 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 28867 28868 28869 28870 28871 28872 28873 28874 28875 28876 28877 28878 28879 28880 28881 28882 28883 28884 28885 28886 28887 28888 28889 28890 28891 28892 28893 28894 28895 28896 28897 28898 28899 28900 28901 28902 28903 28904 28905 28906 28907 28908 28909 28910 28911 28912 28913 28914 28915 28916 28917 28918 28919 28920 28921 28922 28923 28924 28925 28926 28927 28928 28929 28930 28931 28932 28933 28934 28935 28936 28937 28938 28939 28940 28941 28942 28943 28944 28945 28946 28947 28948 28949 28950 28951 28952 28953 28954 28955 28956 28957 28958 28959 28960 28961 28962 28963 28964 28965 28966 28967 28968 28969 28970 28971 28972 28973 28974 28975 28976 28977 28978 28979 28980 28981 28982 28983 28984 28985 28986 28987 28988 28989 28990 28991 28992 28993 28994 28995 28996 28997 28998 28999 29000 29001 29002 29003 29004 29005 29006 29007 29008 29009 29010 29011 29012 29013 29014 29015 29016 29017 29018 29019 29020 29021 29022 29023 29024 29025 29026 29027 29028 29029 29030 29031 29032 29033 29034 29035 29036 29037 29038 29039 29040 29041 29042 29043 29044 29045 29046 29047 29048 29049 29050 29051 29052 29053 29054 29055 29056 29057 29058 29059 29060 29061 29062 29063 29064 29065 29066 29067 29068 29069 29070 29071 29072 29073 29074 29075 29076 29077 29078 29079 29080 29081 29082 29083 29084 29085 29086 29087 29088 29089 29090 29091 29092 29093 29094 29095 29096 29097 29098 29099 29100 29101 29102 29103 29104 29105 29106 29107 29108 29109 29110 29111 29112 29113 29114 29115 29116 29117 29118 29119 29120 29121 29122 29123 29124 29125 29126 29127 29128 29129 29130 29131 29132 29133 29134 29135 29136 29137 29138 29139 29140 29141 29142 29143 29144 29145 29146 29147 29148 29149 29150 29151 29152 29153 29154 29155 29156 29157 29158 29159 29160 29161 29162 29163 29164 29165 29166 29167 29168 29169 29170 29171 29172 29173 29174 29175 29176 29177 29178 29179 29180 29181 29182 29183 29184 29185 29186 29187 29188 29189 29190 29191 29192 29193 29194 29195 29196 29197 29198 29199 29200 29201 29202 29203 29204 29205 29206 29207 29208 29209 29210 29211 29212 29213 29214 29215 29216 29217 29218 29219 29220 29221 29222 29223 29224 29225 29226 29227 29228 29229 29230 29231 29232 29233 29234 29235 29236 29237 29238 29239 29240 29241 29242 29243 29244 29245 29246 29247 29248 29249 29250 29251 29252 29253 29254 29255 29256 29257 29258 29259 29260 29261 29262 29263 29264 29265 29266 29267 29268 29269 29270 29271 29272 29273 29274 29275 29276 29277 29278 29279 29280 29281 29282 29283 29284 29285 29286 29287 29288 29289 29290 29291 29292 29293 29294 29295 29296 29297 29298 29299 29300 29301 29302 29303 29304 29305 29306 29307 29308 29309 29310 29311 29312 29313 29314 29315 29316 29317 29318 29319 29320 29321 29322 29323 29324 29325 29326 29327 29328 29329 29330 29331 29332 29333 29334 29335 29336 29337 29338 29339 29340 29341 29342 29343 29344 29345 29346 29347 29348 29349 29350 29351 29352 29353 29354 29355 29356 29357 29358 29359 29360 29361 29362 29363 29364 29365 29366 29367 29368 29369 29370 29371 29372 29373 29374 29375 29376 29377 29378 29379 29380 29381 29382 29383 29384 29385 29386 29387 29388 29389 29390 29391 29392 29393 29394 29395 29396 29397 29398 29399 29400 29401 29402 29403 29404 29405 29406 29407 29408 29409 29410 29411 29412 29413 29414 29415 29416 29417 29418 29419 29420 29421 29422 29423 29424 29425 29426 29427 29428 29429 29430 29431 29432 29433 29434 29435 29436 29437 29438 29439 29440 29441 29442 29443 29444 29445 29446 29447 29448 29449 29450 29451 29452 29453 29454 29455 29456 29457 29458 29459 29460 29461 29462 29463 29464 29465 29466 29467 29468 29469 29470 29471 29472 29473 29474 29475 29476 29477 29478 29479 29480 29481 29482 29483 29484 29485 29486 29487 29488 29489 29490 29491 29492 29493 29494 29495 29496 29497 29498 29499 29500 29501 29502 29503 29504 29505 29506 29507 29508 29509 29510 29511 29512 29513 29514 29515 29516 29517 29518 29519 29520 29521 29522 29523 29524 29525 29526 29527 29528 29529 29530 29531 29532 29533 29534 29535 29536 29537 29538 29539 29540 29541 29542 29543 29544 29545 29546 29547 29548 29549 29550 29551 29552 29553 29554 29555 29556 29557 29558 29559 29560 29561 29562 29563 29564 29565 29566 29567 29568 29569 29570 29571 29572 29573 29574 29575 29576 29577 29580 29583 29584 29585 29589 29592 29593 29594 29598 29601 29602 29603 29607 29610 29611 29612 29616 29619 29620 29621 29625 29628 29629 29630 29634 29637 29640 29643 29646 30004 30007 30009 30010 30011 30012 30013 30014 30015 30016 30017 30018 30019 30020 30021 30022 30023 30024 30025 30026 30027 30028 30029 30030 30031 30032 30033 30034 30035 30036 30037 30038 30039 30040 30041 30042 30043 30044 30045 30046 30047 30048 30049 30050 30051 30052 30053 30054 30056 30057 30059 30060 30061 30063 30065 30066 30067 30068 30069 30070 30073 30074 30075 30076 30077 30078 30091 30094 30096 30097 30098 30099 30100 30101 30102 30103 30104 30105 30106 30107 30108 30109 30110 30111 30112 30113 30114 30115 30116 30117 30118 30119 30120 30121 30122 30123 30124 30125 30126 30127 30128 30129 30130 30131 30132 30133 30134 30135 30136 30137 30138 30139 30140 30141 30143 30144 30146 30147 30149 30150 30151 30153 30154 30155 30156 30157 30160 30161 30162 30163 30165 30166 30167 30168 30175 30179 30182 30184 30186 30187 30188 30189 30190 30191 30192 30193 30194 30195 30196 30197 30198 30199 30200 30201 30202 30203 30204 30205 30206 30207 30208 30209 30210 30211 30212 30213 30215 30216 30217 30218 30219 30220 30221 30222 30223 30224 30225 30227 30228 30230 30231 30233 30234 30235 30237 30238 30239 30240 30241 30242 30243 30244 30245 30246 30247 30251 30254 30257 30260 30263 30265 30267 30268 30269 30270 30271 30272 30273 30274 30275 30276 30277 30278 30279 30280 30281 30282 30283 30284 30285 30286 30287 30288 30289 30290 30291 30292 30293 30294 30296 30297 30300 30303 30304 30305 30307 30308 30309 30310 30311 30312 30313 30314 30315 30316 30317 30318 30319 30320 30321 30322 30323 30324 30325 30326 30327 30328 30329 30330 30331 30332 30333 30335 30336 30339 30342 30343 30344 30349 30353 30356 30359 30362 30365 30367 30369 30370 30371 30372 30373 30374 30375 30376 30377 30378 30379 30380 30381 30382 30383 30384 30385 30386 30387 30388 30389 30390 30391 30392 30393 30395 30396 30399 30402 30403 30404 30406 30409 30410 30411 30412 30413 30414 30415 30416 30417 30418 30419 30420 30421 30422 30423 30424 30425 30426 30427 30428 30429 30430 30431 30432 30433 30434 30435 30436 30437 30438 30439 30440 30441 30443 30444 30446 30447 30449 30450 30451 30453 30454 30455 30456 30457 30458 30459 30460 30461 30462 30463 30464 30465 30466 30467 30468 30469 30470 30471 30472 30473 30474 30475 30476 30477 30478 30479 30480 30482 30483 30486 30489 30490 30491 30493 30495 30497 30498 30500 30501 30503 30504 30505 30506 30507 30508 30509 30510 30511 30512 30513 30514 30515 30516 30518 30519 30538 30541 30543 30544 30545 30546 30547 30548 30549 30559 30560 30561 30563 30564 30583 30586 30588 30589 30590 30591 30592 30593 30594 30604 30605 30606 30608 30609 30628 30631 30633 30634 30635 30636 30637 30638 30639 30649 30650 30651 30653 30654 30673 30676 30678 30679 30680 30681 30682 30683 30684 30694 30695 30696 30698 30699 30718 30721 30723 30724 30725 30726 30727 30728 30729 30739 30740 30741 30743 30744 30763 30766 30768 30769 30770 30771 30772 30773 30774 30799 30802 30805 30808 30809 30810 30811 30812 30813 30814 30815 30816 30817 30818 30819 30820 30821 30822 30823 30824 30825 30826 30827 30828 30829 30830 30831 30832 30833 30834 30835 30836 30837 30838 30839 30840 30841 30842 30843 30844 30845 30846 30847 30848 30849 30850 30851 30852 30853 30854 30855 30856 30857 30858 30859 30860 30861 30862 30863 30864 30865 30866 30867 30868 30869 30870 30871 30872 30873 30874 30875 30876 30877 30878 30879 30880 30881 30882 30883 30884 30885 30886 30887 30888 30889 30890 30891 30892 30893 30894 30895 30896 30897 30898 30899 30900 30901 30902 30903 30904 30905 30906 30907 30908 30909 30910 30911 30912 30913 30914 30915 30916 30917 30918 30919 30920 30921 30922 30923 30924 30925 30926 30927 30928 30929 30930 30931 30932 30933 30934 30935 30936 30937 30938 30939 30940 30941 30942 30943 30944 30945 30946 30947 30948 30949 30950 30951 30952 30953 30954 30955 30956 30957 30958 30959 30960 30961 30962 30963 30964 30965 30966 30967 30968 30969 30970 30971 30972 30973 30974 30975 30976 30977 30978 30979 30980 30981 30982 30983 30984 30985 30986 30987 30988 30989 30990 30991 30992 30993 30994 30995 30996 30997 30998 30999 31000 31001 31002 31003 31004 31005 31006 31007 31008 31009 31010 31011 31012 31013 31014 31015 31016 31017 31018 31019 31020 31021 31022 31023 31024 31025 31026 31027 31028 31029 31030 31031 31032 31033 31034 31035 31036 31037 31038 31039 31040 31041 31042 31043 31044 31045 31046 31047 31048 31049 31050 31051 31052 31053 31054 31055 31056 31057 31058 31059 31060 31061 31062 31063 31064 31065 31066 31067 31068 31069 31070 31071 31072 31073 31074 31075 31076 31077 31078 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31090 31091 31092 31093 31094 31095 31096 31097 31098 31099 31100 31101 31102 31103 31104 31105 31106 31107 31108 31109 31110 31111 31112 31113 31114 31115 31116 31117 31118 31119 31120 31121 31122 31123 31124 31125 31126 31127 31128 31129 31130 31131 31132 31133 31134 31135 31136 31137 31138 31139 31140 31141 31142 31143 31144 31145 31146 31147 31148 31149 31150 31151 31152 31153 31154 31155 31156 31157 31158 31159 31160 31161 31162 31163 31164 31165 31166 31167 31168 31169 31170 31171 31172 31173 31174 31175 31176 31177 31178 31179 31180 31181 31182 31183 31184 31185 31186 31187 31188 31189 31190 31191 31192 31193 31194 31195 31196 31197 31198 31199 31200 31201 31202 31203 31204 31205 31206 31207 31208 31209 31210 31211 31212 31213 31214 31215 31216 31217 31218 31219 31220 31221 31222 31223 31224 31225 31226 31227 31228 31229 31230 31231 31232 31233 31234 31235 31236 31237 31238 31239 31240 31241 31242 31243 31244 31245 31246 31247 31248 31249 31250 31251 31252 31253 31254 31255 31256 31257 31258 31259 31260 31261 31262 31263 31264 31265 31266 31267 31268 31269 31270 31271 31272 31273 31274 31275 31276 31277 31278 31279 31280 31281 31282 31283 31284 31285 31286 31287 31288 31289 31290 31291 31292 31293 31294 31295 31296 31297 31298 31299 31300 31301 31302 31303 31304 31305 31306 31307 31308 31309 31310 31311 31312 31313 31314 31315 31316 31317 31318 31319 31320 31321 31322 31323 31324 31325 31326 31327 31328 31329 31330 31331 31332 31333 31334 31335 31336 31337 31338 31339 31340 31341 31342 31343 31344 31345 31346 31347 31348 31349 31350 31351 31352 31353 31354 31355 31356 31357 31358 31359 31360 31361 31362 31363 31364 31365 31366 31367 31368 31369 31370 31371 31372 31373 31374 31375 31376 31377 31378 31379 31380 31381 31382 31383 31384 31385 31386 31387 31388 31389 31390 31391 31392 31393 31394 31395 31396 31397 31398 31399 31400 31401 31402 31403 31404 31405 31406 31407 31408 31409 31410 31411 31412 31413 31414 31415 31416 31417 31418 31419 31420 31421 31422 31423 31424 31425 31426 31427 31428 31429 31430 31431 31432 31433 31434 31435 31436 31437 31438 31439 31440 31441 31442 31443 31444 31445 31446 31447 31448 31449 31450 31451 31452 31453 31454 31455 31456 31457 31458 31459 31460 31461 31462 31463 31464 31465 31466 31467 31468 31469 31470 31471 31472 31473 31474 31475 31476 31477 31478 31479 31480 31481 31482 31483 31484 31485 31486 31487 31488 31489 31490 31491 31492 31493 31494 31495 31496 31497 31498 31499 31500 31501 31502 31503 31504 31505 31506 31507 31508 31509 31510 31511 31512 31513 31514 31515 31516 31517 31518 31519 31520 31521 31522 31523 31524 31525 31526 31527 31528 31529 31530 31531 31532 31533 31534 31535 31536 31537 31538 31539 31540 31541 31542 31543 31544 31545 31546 31547 31548 31549 31550 31551 31552 31553 31554 31555 31556 31557 31558 31559 31560 31561 31562 31563 31564 31565 31566 31567 31568 31569 31570 31571 31572 31573 31574 31575 31576 31577 31578 31579 31580 31581 31582 31583 31584 31585 31586 31587 31588 31589 31590 31591 31592 31593 31594 31595 31596 31597 31598 31599 31600 31601 31602 31603 31604 31605 31606 31607 31608 31609 31610 31611 31612 31613 31614 31615 31616 31617 31618 31619 31620 31621 31622 31623 31624 31625 31626 31627 31628 31629 31630 31631 31632 31633 31634 31635 31636 31637 31638 31639 31640 31641 31642 31643 31644 31645 31646 31647 31648 31649 31650 31651 31652 31653 31654 31655 31656 31657 31658 31659 31660 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 31689 31690 31691 31692 31693 31694 31695 31696 31697 31698 31699 31700 31701 31702 31703 31704 31705 31706 31707 31708 31709 31710 31711 31712 31713 31714 31715 31716 31717 31718 31719 31720 31721 31722 31723 31724 31725 31726 31727 31728 31729 31730 31731 31732 31733 31734 31735 31736 31737 31738 31739 31740 31741 31742 31743 31744 31745 31746 31747 31748 31749 31750 31751 31752 31753 31754 31755 31756 31757 31758 31759 31760 31761 31762 31763 31764 31765 31766 31767 31768 31769 31770 31771 31772 31773 31774 31775 31776 31777 31778 31779 31780 31781 31782 31783 31784 31785 31786 31787 31788 31789 31790 31791 31792 31793 31794 31795 31796 31797 31798 31799 31800 31801 31802 31803 31804 31805 31806 31807 31808 31809 31810 31811 31812 31813 31814 31815 31816 31817 31818 31819 31820 31821 31822 31823 31824 31827 31830 31831 31832 31836 31839 31840 31841 31845 31848 31849 31850 31854 31857 31858 31859 31863 31866 31867 31868 31872 31875 31876 31877 31881 31884 31887 31890 31893 32251 32254 32256 32257 32258 32259 32260 32261 32262 32263 32264 32265 32266 32267 32268 32269 32270 32271 32272 32273 32274 32275 32276 32277 32278 32279 32280 32281 32282 32283 32284 32285 32286 32287 32288 32289 32290 32291 32292 32293 32294 32295 32296 32297 32298 32299 32300 32301 32302 32303 32304 32306 32307 32309 32310 32311 32313 32315 32316 32317 32318 32319 32320 32323 32324 32325 32326 32327 32328 32338 32342 32344 32346 32347 32348 32349 32350 32351 32352 32353 32354 32355 32356 32357 32358 32359 32360 32361 32362 32363 32364 32365 32366 32367 32368 32369 32370 32371 32372 32373 32374 32375 32376 32377 32378 32379 32380 32381 32382 32383 32384 32385 32386 32387 32388 32389 32390 32391 32393 32394 32396 32397 32399 32400 32401 32403 32404 32405 32406 32407 32410 32411 32412 32413 32415 32416 32417 32418 32422 32426 32429 32432 32434 32436 32437 32438 32439 32440 32441 32442 32443 32444 32445 32446 32447 32448 32449 32450 32451 32452 32453 32454 32455 32456 32457 32458 32459 32460 32461 32462 32463 32465 32466 32467 32468 32469 32470 32471 32472 32473 32474 32475 32477 32478 32480 32481 32483 32484 32485 32487 32488 32489 32490 32491 32492 32493 32494 32495 32496 32498 32501 32504 32507 32510 32513 32515 32517 32518 32519 32520 32521 32522 32523 32524 32525 32526 32527 32528 32529 32530 32531 32532 32533 32534 32535 32536 32537 32538 32539 32540 32541 32542 32543 32544 32546 32547 32550 32553 32554 32555 32557 32558 32559 32560 32561 32562 32563 32564 32565 32566 32567 32568 32569 32570 32571 32572 32573 32574 32575 32576 32577 32578 32579 32580 32581 32582 32583 32585 32586 32589 32592 32593 32594 32596 32600 32603 32606 32609 32612 32615 32617 32619 32620 32621 32622 32623 32624 32625 32626 32627 32628 32629 32630 32631 32632 32633 32634 32635 32636 32637 32638 32639 32640 32641 32642 32643 32645 32646 32649 32652 32653 32654 32656 32659 32660 32661 32662 32663 32664 32665 32666 32667 32668 32669 32670 32671 32672 32673 32674 32675 32676 32677 32678 32679 32680 32681 32682 32683 32684 32685 32686 32687 32688 32689 32690 32691 32693 32694 32696 32697 32699 32700 32701 32703 32704 32705 32706 32707 32708 32709 32710 32711 32712 32713 32714 32715 32716 32717 32718 32719 32720 32721 32722 32723 32724 32725 32726 32727 32728 32729 32730 32732 32733 32736 32739 32740 32741 32743 32745 32747 32748 32750 32751 32753 32754 32755 32756 32757 32758 32759 32760 32761 32762 32763 32764 32765 32766 32767 32768 32769 32770 32771 32772 32773 32777 32781 32785 32788 32789 32980 32983 32986 32987 32989 32990 32991 32993 32994 32997 33000 33001 33002 33004 33005 33006 33007 33008 33009 33010 33011 33012 33013 33014 33015 33017 33018 33019 33020 33021 33022 33023 33024 33025 33026 33027 33028 33029 33030 33031 33032 33033 33034 33035 33036 33037 33038 33039 33040 33041 33042 33043 33044 33045 33046 33047 33048 33049 33050 33051 33052 33053 33054 33055 33056 33057 33058 33059 33060 33061 33062 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 33093 33094 33095 33096 33097 33098 33099 33100 33101 33102 33103 33104 33105 33106 33107 33108 33109 33110 33111 33112 33113 33114 33115 33116 33117 33118 33119 33120 33121 33122 33123 33124 33125 33126 33127 33128 33129 33130 33131 33132 33133 33134 33135 33136 33137 33138 33139 33140 33141 33142 33143 33144 33145 33146 33147 33148 33149 33150 33151 33152 33153 33154 33155 33156 33157 33158 33159 33160 33161 33162 33163 33164 33165 33166 33167 33168 33169 33170 33171 33172 33173 33174 33175 33176 33177 33178 33179 33180 33181 33182 33183 33184 33185 33186 33187 33188 33189 33190 33191 33192 33193 33194 33195 33196 33197 33198 33199 33200 33201 33202 33203 33204 33205 33206 33207 33208 33209 33210 33211 33212 33213 33214 33215 33216 33217 33218 33219 33220 33221 33222 33223 33224 33225 33228 33231 33232 33233 33237 33240 33241 33242 33246 33249 33250 33252 33255 33258 33259 33260 33262 33263 33264 33265 33266 33267 33268 33269 33270 33273 33276 33277 33278 33281 33282 33283 33285 33286 33287 33288 33291 33294 33295 33296 33298 33300 33302 33303 33304 33305 33306 33307 33308 33309 33310 33311 33312 33313 33314 33315 33316 33318 33320 33321 33322 33323 33324 33325 33326 33327 33328 33329 33330 33332 33333 33334 33335 33336 33338 33339 33340 33341 33342 33344 33345 33348 33351 33352 33353 33355 33356 33357 33358 33359 33360 33361 33362 33363 33366 33369 33370 33371 33374 33375 33376 33378 33379 33380 33381 33384 33387 33388 33389 33391 33393 33395 33396 33397 33398 33399 33400 33401 33402 33403 33404 33405 33406 33407 33408 33409 33411 33413 33414 33415 33416 33417 33418 33419 33420 33421 33422 33423 33425 33426 33427 33428 33429 33431 33432 33433 33434 33435 33437 33438 33439 33440 33441 33442 33443 33444 33445 33446 33447 33448 33449 33450 33451 33452 33453 33454 33455 33456 33457 33461 33462 33464 33465 33468 33472 33476 33477 33478 33479 33480 33481 33482 33483 33484 33485 33486 33487 33488 33489 33490 33491 33492 33493 33494 33495 33496 33497 33498 33499 33500 33501 33502 33503 33504 33505 33506 33507 33508 33509 33510 33511 33512 33513 33514 33515 33516 33517 33518 33519 33520 33521 33522 33523 33524 33525 33526 33527 33528 33529 33530 33531 33532 33533 33534 33535 33536 33537 33538 33539 33540 33541 33542 33543 33544 33545 33546 33547 33548 33549 33550 33551 33552 33553 33554 33555 33556 33557 33558 33559 33560 33561 33562 33563 33564 33565 33566 33567 33568 33569 33570 33571 33572 33573 33574 33575 33576 33577 33578 33579 33580 33581 33582 33583 33584 33585 33586 33587 33588 33589 33590 33591 33592 33593 33594 33595 33596 33597 33598 33599 33600 33601 33602 33603 33604 33605 33606 33607 33608 33609 33610 33611 33612 33613 33614 33615 33616 33617 33618 33619 33620 33621 33622 33623 33624 33625 33626 33627 33628 33629 33630 33631 33632 33633 33634 33635 33636 33637 33638 33639 33640 33641 33642 33643 33644 33645 33646 33647 33648 33649 33650 33651 33652 33653 33654 33655 33656 33657 33658 33659 33660 33661 33662 33663 33664 33665 33666 33667 33668 33669 33670 33671 33672 33673 33674 33675 33676 33677 33678 33679 33680 33681 33682 33683 33684 33685 33686 33687 33688 33689 33690 33691 33692 33693 33694 33695 33696 33698 33699 33701 33702 33703 33704 33705 33706 33707 33708 33709 33710 33711 33714 33717 33720 33722 33723 33868 33871 33873 33874 33875 33876 33877 33878 33879 33880 33881 33882 33888 33890 33894 33898 33906 33908 33912 33916 33921 33924 33927 33930 33933 33936 33939 33942 33945 33948 33951 33952 33954 33955 33956 33957 33958 33959 33960 33979 33983 33986 33989 33992 33995 33998 34001 34004 34007 34009 34012 34016 34017 34019 34020 34026 34028 34032 34036 34044 34046 34050 34054 34059 34062 34065 34068 34071 34074 34077 34080 34083 34086 34087 34089 34090 34091 34092 34093 34094 34095 34096 34097 34098 34099 34103 34104 34106 34107 34108 34112 34113 34115 34116 34117 34121 34122 34124 34125 34126 34130 34131 34133 34134 34135 34139 34140 34142 34143 34144 34148 34149 34151 34152 34153 34157 34158 34160 34161 34163 34164 34165 34168 34170 34171 34175 34176 34178 34179 34181 34182 34183 34186 34188 34189 34193 34194 34196 34197 34198 34202 34203 34205 34206 34208 34209 34210 34213 34215 34216 34217 34218 34220 34221 34222 34223 34224 34225 34226 34227 34228 34229 34230 34231 34232 34233 34234 34235 34236 34238 34239 34240 34241 34242 34243 34244 34245 34246 34247 34248 34249 34250 34251 34252 34253 34254 34255 34256 34257 34258 34259 34260 34261 34262 34263 34264 34265 34266 34267 34271 34272 34274 34275 34276 34280 34281 34283 34284 34285 34289 34290 34292 34293 34294 34298 34299 34301 34302 34303 34307 34308 34310 34311 34312 34316 34317 34319 34320 34321 34325 34326 34328 34329 34331 34332 34333 34336 34338 34339 34343 34344 34346 34347 34349 34350 34351 34354 34356 34357 34361 34362 34364 34365 34366 34370 34371 34373 34374 34376 34377 34378 34381 34383 34384 34385 34386 34388 34389 34390 34391 34392 34393 34394 34395 34396 34397 34398 34399 34400 34401 34402 34403 34404 34406 34407 34408 34409 34410 34411 34412 34413 34414 34415 34416 34417 34418 34419 34420 34421 34422 34423 34424 34425 34426 34427 34428 34429 34430 34431 34432 34433 34434 34435 34436 34437 34438 34439 34440 34441 34442 34443 34444 34445 34446 34447 34448 34449 34450 34451 34452 34454 34455 34457 34458 34459 34460 34461 34462 34463 34464 34466 34467 34468 34470 34471 34472 34473 34474 34475 34476 34477 34478 34479 34480 34481 34482 34483 34484 34485 34486 34487 34488 34489 34490 34491 34492 34493 34494 34495 34496 34497 34498 34499 34500 34501 34502 34503 34504 34505 34506 34507 34508 34509 34510 34511 34512 34513 34514 34515 34516 34517 34518 34519 34520 34521 34522 34523 34524 34525 34526 34527 34528 34529 34530 34531 34532 34533 34534 34535 34536 34537 34538 34539 34540 34541 34542 34543 34544 34545 34546 34547 34548 34549 34550 34551 34552 34553 34554 34555 34556 34557 34558 34559 34560 35020 35023 35025 35026 35027 35028 35038 35043 35044 35045 35047 35049 35059 35064 35065 35066 35068 35070 35074 35077 35079 35080 35081 35082 35083 35086 35087 35098 35101 35102 35105 35107 35112 35115 35116 35117 35119 35121 35123 35124 35125 35126 35127 35130 35133 35134 35135 35139 35142 35143 35144 35147 35148 35150 35151 35153 35154 35156 35157 35158 35159 35160 35162 35163 35164 35165 35166 35168 35170 35175 35176 35177 35180 35182 35186 35187 35188 35191 35193 35194 35198 35199 35201 35202 35203 35207 35208 35210 35211 35212 35213 35214 35215 35216 35218 35220 35221 35225 35226 35228 35229 35230 35232 35234 35235 35236 35237 35238 35239 35240 35241 35242 35243 35244 35245 35246 35247 35248 35249 35250 35253 35256 35257 35258 35262 35265 35266 35267 35271 35274 35275 35276 35280 35283 35284 35285 35292 35294 35298 35301 35304 35307 35310 35312 35313 35314 35317 35319 35320 35321 35322 35323 35324 35325 35327 35328 35330 35331 35332 35333 35334 35335 35336 35337 35339 35340 35342 35343 35344 35345 35346 35347 35348 35349 35350 35351 35352 35353 35354 35355 35356 35357 35358 35359 35360 35361 35362 35363 35364 35365 35366 35367 35368 35371 35374 35375 35376 35378 35379 35384 35385 35386 35389 35391 35392 35396 35397 35399 35400 35401 35405 35406 35408 35409 35410 35411 35412 35413 35414 35416 35418 35419 35423 35424 35426 35427 35428 35429 35430 35432 35433 35434 35435 35436 35437 35438 35439 35440 35441 35442 35443 35444 35445 35451 35455 35463 35465 35472 35474 35478 35482 35490 35492 35496 35499 35502 35505 35508 35511 35533 35536 35538 35539 35540 35541 35542 35543 35544 35546 35547 35549 35550 35552 35553 35555 35556 35557 35558 35559 35560 35561 35562 35563 35564 35565 35566 35569 35572 35573 35574 35576 35577 35605 35608 35610 35611 35612 35613 35614 35615 35616 35618 35619 35621 35622 35624 35625 35627 35628 35629 35630 35631 35632 35633 35634 35635 35636 35637 35638 35641 35644 35645 35646 35648 35649 35677 35680 35682 35683 35684 35685 35686 35687 35688 35690 35691 35693 35694 35696 35697 35699 35700 35701 35702 35703 35704 35705 35706 35707 35708 35709 35710 35713 35716 35717 35718 35720 35721 35749 35752 35754 35755 35756 35757 35758 35759 35760 35762 35763 35765 35766 35768 35769 35771 35772 35773 35774 35775 35776 35777 35778 35779 35780 35781 35782 35785 35788 35789 35790 35792 35793 35821 35824 35826 35827 35828 35829 35830 35831 35832 35834 35835 35837 35838 35840 35841 35843 35844 35845 35846 35847 35848 35849 35850 35851 35852 35853 35854 35857 35860 35861 35862 35864 35865 35893 35896 35898 35899 35900 35901 35902 35903 35904 35906 35907 35909 35910 35912 35913 35915 35916 35917 35918 35919 35920 35921 35922 35923 35924 35925 35926 35927 35928 35929 35930 35931 35932 35933 35934 35935 35936 35937 35938 35939 35940 35941 35944 35947 35948 35949 35951 35952 35980 35983 35985 35986 35987 35988 35989 35990 35991 35993 35994 35996 35997 35999 36000 36002 36003 36004 36005 36006 36007 36008 36009 36010 36011 36012 36013 36016 36019 36020 36021 36023 36024 36052 36055 36057 36058 36059 36060 36061 36062 36063 36065 36066 36068 36069 36071 36072 36074 36075 36076 36077 36078 36079 36080 36081 36082 36083 36084 36085 36088 36091 36092 36093 36095 36096 36124 36127 36129 36130 36131 36132 36133 36134 36135 36137 36138 36140 36141 36143 36144 36146 36147 36148 36149 36150 36151 36152 36153 36154 36155 36156 36157 36160 36163 36164 36165 36167 36168 36196 36199 36201 36202 36203 36204 36205 36206 36207 36209 36210 36212 36213 36215 36216 36218 36219 36220 36221 36222 36223 36224 36225 36226 36227 36228 36229 36232 36235 36236 36237 36239 36240 36268 36271 36273 36274 36275 36276 36277 36278 36279 36281 36282 36284 36285 36287 36288 36290 36291 36292 36293 36294 36295 36296 36297 36298 36299 36300 36301 36304 36307 36308 36309 36311 36312 36340 36343 36345 36346 36347 36348 36349 36350 36351 36353 36354 36356 36357 36359 36360 36362 36363 36364 36365 36366 36367 36368 36369 36370 36371 36372 36373 36374 36375 36376 36377 36378 36379 36380 36381 36382 36383 36384 36385 36386 36387 36388 36389 36390 36391 36392 36393 36394 36395 36396 36397 36398 36399 36400 36401 36402 36404 36405 36406 36407 36408 36409 36410 36411 36412 36413 36414 36415 36416 36417 36419 36423 36427 36428 36429 36430 36431 36432 36433 36434 36435 36436 36437 36438 36439 36440 36441 36442 36443 36444 36445 36446 36447 36448 36449 36450 36451 36452 36453 36454 36455 36456 36457 36458 36459 36460 36461 36462 36463 36464 36465 36466 36467 36468 36469 36470 36471 36472 36473 36474 36475 36476 36477 36478 36479 36480 36481 36482 36483 36484 36485 36486 36487 36488 36489 36490 36491 36492 36493 36494 36495 37090 37094 37120 37125 37127 37147 37152 37155 37168 37172 37183 37188 37190 37192 37197 37207 37211 37214 37216 37219 37223 37227 37228 37232 37234 37246 37250 37254 37294 37298 37300 37305 37309 37317 37319 37326 37328 37332 37336 37344 37346 37353 37355 37359 37362 37365 37368 37371 37374 37376 37377 37379 37380 37381 37384 37386 37387 37391 37392 37394 37395 37396 37400 37401 37403 37404 37406 37407 37408 37411 37413 37414 37418 37419 37421 37422 37428 37430 37432 37434 37436 37437 37438 37439 37440 37441 37442 37443 37444 37445 37446 37447 37448 37449 37454 37455 37456 37459 37461 37462 37466 37467 37469 37470 37476 37478 37481 37482 37483 37486 37488 37489 37493 37494 37496 37497 37498 37502 37503 37505 37506 37507 37508 37509 37511 37512 37513 37514 37515 37517 37518 37519 37520 37521 37522 37523 37524 37596 37600 37608 37610 37617 37619 37623 37627 37635 37637 37641 37644 37647 37650 37653 37656 37684 37687 37689 37691 37692 37694 37695 37697 37698 37700 37701 37703 37704 37706 37707 37708 37711 37714 37715 37716 37718 37719 37729 37732 37734 37735 37736 37737 37738 37739 37740 37742 37743 37745 37746 37748 37749 37751 37752 37762 37765 37768 37772 37773 37810 37813 37815 37817 37818 37820 37821 37823 37824 37826 37827 37829 37830 37832 37833 37834 37837 37840 37841 37842 37844 37845 37855 37858 37860 37861 37862 37863 37864 37865 37866 37868 37869 37871 37872 37874 37875 37877 37878 37888 37891 37894 37898 37899 37936 37939 37941 37943 37944 37946 37947 37949 37950 37952 37953 37955 37956 37958 37959 37960 37963 37966 37967 37968 37970 37971 37981 37984 37986 37987 37988 37989 37990 37991 37992 37994 37995 37997 37998 38000 38001 38003 38004 38014 38017 38020 38024 38025 38062 38065 38067 38069 38070 38072 38073 38075 38076 38078 38079 38081 38082 38084 38085 38086 38089 38092 38093 38094 38096 38097 38107 38110 38112 38113 38114 38115 38116 38117 38118 38120 38121 38123 38124 38126 38127 38129 38130 38140 38143 38146 38150 38151 38188 38191 38193 38195 38196 38198 38199 38201 38202 38204 38205 38207 38208 38210 38211 38212 38215 38218 38219 38220 38222 38223 38233 38236 38238 38239 38240 38241 38242 38243 38244 38246 38247 38249 38250 38252 38253 38255 38256 38266 38269 38272 38276 38277 38314 38317 38319 38321 38322 38324 38325 38327 38328 38330 38331 38333 38334 38336 38337 38338 38341 38344 38345 38346 38348 38349 38359 38362 38364 38365 38366 38367 38368 38369 38370 38372 38373 38375 38376 38378 38379 38381 38382 38407 38410 38413 38417 38418 38455 38458 38460 38462 38463 38465 38466 38468 38469 38471 38472 38474 38475 38477 38478 38488 38491 38494 38498 38499 38536 38539 38541 38543 38544 38546 38547 38549 38550 38552 38553 38555 38556 38558 38559 38569 38572 38575 38579 38580 38617 38620 38622 38624 38625 38627 38628 38630 38631 38633 38634 38636 38637 38639 38640 38650 38653 38656 38660 38661 38698 38701 38703 38705 38706 38708 38709 38711 38712 38714 38715 38717 38718 38720 38721 38731 38734 38737 38741 38742 38779 38782 38784 38786 38787 38789 38790 38792 38793 38795 38796 38798 38799 38801 38802 38812 38815 38818 38822 38823 38860 38863 38865 38867 38868 38870 38871 38873 38874 38876 38877 38879 38880 38882 38883 38911 38920 38921 38922 38923 38924 38925 38926 38927 38928 38929 38930 38931 38932 38933 38934 38935 38936 38937 38938 38939 38940 38941 38942 38943 38944 38945 38946 38947 38948 38949 38950 38951 38952 38953 38954 38955 38956 38957 38958 38959 38960 38961 38962 38963 38964 38965 38966 38967 38968 38969 38970 38971 38972 38973 38974 38975 38976 38977 38978 38979 38980 38981 38982 38983 38984 38985 38986 38987 38988 38989 38990 38991 38992 38993 38994 40210 40213 40215 40217 40218 40219 40220 40221 40223 40224 40228 40232 40236 40237 40239 40241 40242 40243 40247 40251 40252 40254 40256 40257 40259 40262 40265 40267 40268 40269 40270 40271 40272 40273 40274 40275 40276 40277 40278 40279 40280 40281 40282 40283 40284 40285 40286 40287 40288 40289 40290 40291 40292 40293 40294 40295 40296 40297 40298 40299 40300 40301 40302 40303 40304 40305 40306 40307 40308 40309 40310 40311 40312 40313 40314 40315 40316 40317 40318 40319 40320 40321 40322 40323 40324 40325 40326 40327 40328 40329 40330 40331 40332 40333 40334 40335 40336 40337 40338 40339 40341 40342 40343 40344 40345 40346 40347 40348 40349 40350 40351 40352 40353 40354 40355 40356 40357 40358 40359 40360 40361 40362 40363 40364 40365 40366 40367 40368 40369 40370 40371 40372 40373 40374 40375 40376 40377 40378 40379 40380 40381 40382 40383 40384 40385 40386 40387 40388 40389 40390 40391 40392 40393 40394 40395 40396 40397 40398 40399 40400 40401 40402 40403 40404 40405 40406 40407 40408 40409 40410 40411 40412 40413 40414 40415 40416 40417 40418 40419 40420 40421 40422 40423 40424 40425 40426 40427 40428 40429 40430 40431 40432 40433 40434 40435 40436 40437 40438 40439 40440 40441 40442 40443 40444 40445 40446 40447 40448 40449 40450 40451 40452 40453 40454 40455 40456 40457 40458 40459 40460 40461 40462 40463 40464 40465 40466 40467 40468 40469 40470 40471 40472 40473 40474 40475 40476 40477 40478 40479 40480 40481 40482 40483 40484 40485 40486 40487 40488 40489 40490 40491 40492 40493 40494 40495 40496 40497 40498 40499 40500 40501 40502 40503 40504 40505 40506 40507 40508 40509 40510 40511 40512 40513 40514 40515 40516 40517 40518 40519 40520 40521 40522 40523 40524 40525 40526 40527 40528 40529 40530 40531 40532 40533 40534 40535 40536 40537 40538 40539 40540 40541 40542 40543 40544 40545 40546 40547 40548 40549 40550 40551 40552 40553 40554 40555 40556 40557 40558 40559 40560 40561 40562 40563 40564 40565 40566 40567 40568 40569 40570 40571 40572 40573 40574 40575 40576 40577 40578 40579 40580 40581 40582 40583 40584 40585 40586 40587 40588 40589 40590 40591 40592 40593 40594 40595 40596 40597 40598 40599 40600 40601 40602 40603 40604 40605 40606 40607 40608 40609 40610 40611 40612 40613 40614 40615 40616 40617 40618 40619 40620 40621 40622 40623 40624 40625 40626 40627 40628 40629 40630 40631 40632 40633 40634 40635 40636 40637 40638 40639 40640 40641 40642 40643 40644 40645 40646 40647 40648 40649 40650 40651 40652 40653 40654 40655 40656 40657 40658 40659 40660 40661 40662 40663 40664 40665 40666 40667 40668 40669 40670 40671 40672 40673 40674 40675 40676 40677 40678 40679 40680 40681 40682 40683 40684 40685 40686 40687 40688 40689 40690 40691 40692 40693 40694 40695 40696 40697 40698 40699 40700 40701 40702 40703 40704 40705 40706 40707 40708 40709 40710 40711 40712 40713 40714 40715 40716 40717 40718 40719 40720 40721 40722 40723 40724 40725 40726 40727 40728 40729 40730 40731 40732 40733 40734 40735 40736 40737 40738 40739 40740 40741 40742 40743 40744 40745 40746 40747 40748 40749 40750 40751 40752 40753 40754 40755 40756 40757 40758 40759 40760 40761 40762 40763 40764 40765 40766 40767 40768 40769 40770 40771 40772 40773 40774 40775 40776 40777 40778 40779 40780 40781 40782 40783 40784 40785 40786 40787 40788 40789 40790 40791 40792 40793 40794 40795 40796 40797 40798 40799 40800 40801 40802 40803 40804 40805 40806 40807 40808 40809 40810 40811 40812 40813 40814 40815 40816 40817 40818 40819 40820 40821 40822 40823 40824 40825 40826 40827 40828 40829 40830 40831 40832 40833 40834 40835 40836 40837 40838 40839 40840 40841 40842 40843 40844 40845 40846 40847 40848 40849 40850 40851 40852 40853 40854 40855 40856 40857 40858 40859 40860 40861 40862 40863 40864 40865 40866 40867 40868 40869 40870 40871 40872 40873 40874 40875 40876 40877 40878 40879 40880 40881 40882 40883 40884 40885 40886 40887 40888 40889 40890 40891 40892 40893 40894 40895 40896 40897 40898 40899 40900 40901 40902 40903 40904 40905 40906 40907 40908 40909 40910 40911 40912 40913 40914 40915 40916 40917 40918 40919 40920 40921 40922 40923 40924 40925 40926 40927 40928 40929 40930 40931 40932 40933 40934 40935 40936 40937 40938 40939 40940 40941 40942 40943 40944 40945 40946 40947 40948 40949 40950 40951 40952 40953 40954 40955 40956 40957 40958 40959 40960 40961 40962 40963 40964 40965 40966 40967 40968 40969 40970 40971 40972 40973 40974 40975 40976 40977 40978 40979 40980 40981 40982 40983 40984 40985 40986 40987 40988 40989 40990 40991 40992 40993 40994 40995 40996 40997 40998 40999 41000 41001 41002 41003 41004 41005 41006 41007 41008 41009 41010 41011 41012 41013 41014 41015 41016 41017 41018 41019 41020 41021 41022 41023 41024 41025 41026 41027 41028 41029 41030 41031 41032 41033 41034 41035 41036 41037 41038 41039 41040 41041 41042 41043 41044 41045 41046 41047 41048 41049 41050 41051 41052 41053 41054 41055 41056 41057 41058 41059 41060 41061 41062 41063 41064 41065 41066 41067 41068 41069 41070 41071 41072 41073 41074 41075 41076 41077 41078 41079 41080 41081 41082 41083 41084 41085 41086 41087 41088 41089 41090 41091 41092 41093 41094 41095 41096 41097 41098 41099 41100 41101 41102 41103 41104 41105 41106 41107 41108 41109 41110 41111 41112 41113 41114 41115 41116 41117 41118 41119 41120 41121 41122 41123 41124 41125 41126 41127 41128 41129 41130 41131 41132 41133 41134 41135 41136 41139 41142 41143 41144 41148 41151 41152 41153 41157 41160 41161 41162 41166 41169 41170 41171 41175 41178 41179 41180 41184 41187 41188 41189 41193 41196 41199 41202 41205 41707 41710 41712 41713 41714 41715 41716 41717 41718 41719 41720 41721 41722 41723 41724 41725 41726 41727 41728 41729 41730 41731 41732 41733 41734 41735 41736 41737 41738 41739 41740 41741 41742 41743 41744 41745 41746 41747 41748 41749 41750 41751 41761 41762 41763 41782 41785 41787 41788 41789 41790 41791 41792 41793 41794 41795 41796 41797 41798 41799 41800 41801 41802 41803 41804 41805 41806 41807 41808 41809 41810 41811 41812 41813 41814 41815 41816 41817 41818 41819 41820 41821 41822 41823 41824 41825 41826 41836 41837 41838 41839 41840 41841 41857 41861 41864 41866 41868 41869 41870 41871 41872 41873 41874 41875 41876 41877 41878 41879 41880 41881 41882 41883 41884 41885 41886 41887 41888 41889 41890 41891 41892 41893 41894 41895 41896 41897 41898 41899 41900 41901 41902 41903 41904 41914 41918 41921 41924 41927 41930 41932 41934 41935 41936 41937 41938 41939 41940 41941 41942 41943 41944 41945 41946 41947 41948 41949 41950 41951 41952 41953 41954 41955 41968 41972 41975 41978 41981 41983 41985 41986 41987 41988 41989 41990 41991 41992 41993 41994 41995 41996 41997 41998 41999 42000 42001 42002 42003 42004 42005 42006 42007 42008 42009 42037 42041 42044 42047 42050 42053 42055 42057 42058 42059 42060 42061 42062 42063 42064 42065 42066 42067 42068 42069 42070 42071 42072 42073 42074 42075 42076 42077 42078 42079 42080 42081 42082 42083 42084 42085 42086 42087 42088 42089 42090 42091 42092 42093 42094 42095 42096 42097 42098 42099 42100 42101 42102 42112 42113 42114 42115 42116 42117 42118 42119 42120 42121 42122 42123 42124 42125 42126 42127 42128 42129 42130 42131 42132 42163 42164 42165 42166 42167 42168 42169 42170 42171 42172 42173 42174 42175 42176 42177 42178 42179 42180 42181 42182 42183 42184 42185 42186 42187 42188 42189 42190 42191 42192 42193 42194 42195 42196 42197 42198 42199 42200 42201 42202 42203 42204 42205 42206 42207 42208 42209 42210 42211 42212 42213 42214 42215 42216 42217 42218 42219 42220 42221 42222 42223 42224 42225 42226 42227 42228 42229 42230 42231 42232 42233 42234 42235 42237 42238 42239 42240 42241 42242 42243 42244 42245 42246 42247 42248 42249 42250 42251 42252 42253 42254 42255 42256 42257 42258 42259 42260 42261 42262 42263 42264 42265 42266 42267 42268 42269 42270 42271 42272 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 42290 42291 42292 42293 42294 42295 42296 42297 42298 42299 42300 42301 42302 42303 42304 42305 42306 42307 42308 42309 42310 42311 42312 42313 42314 42315 42316 42317 42318 42319 42320 42321 42322 42323 42324 42325 42326 42327 42328 42329 42330 42331 42332 42333 42334 42335 42336 42337 42338 42339 42340 42341 42342 42343 42344 42345 42346 42347 42348 42349 42350 42351 42352 42353 42354 42355 42356 42357 42358 42359 42360 42361 42362 42363 42364 42365 42366 42367 42368 42369 42370 42371 42372 42373 42374 42375 42376 42377 42378 42379 42380 42381 42382 42383 42384 42385 42386 42387 42388 42389 42390 42391 42392 42393 42394 42395 42396 42397 42398 42399 42400 42401 42402 42403 42404 42405 42406 42407 42408 42409 42410 42411 42412 42413 42414 42415 42416 42417 42418 42419 42420 42421 42422 42423 42424 42425 42426 42427 42428 42429 42430 42431 42432 42433 42434 42435 42436 42437 42438 42439 42440 42441 42442 42443 42444 42445 42446 42447 42448 42449 42450 42451 42452 42453 42454 42455 42456 42457 42458 42459 42460 42461 42462 42463 42464 42465 42466 42467 42468 42469 42470 42471 42472 42473 42474 42475 42476 42477 42478 42479 42480 42481 42482 42483 42484 42485 42486 42487 42488 42489 42490 42491 42492 42493 42494 42495 42496 42497 42498 42499 42500 42501 42502 42503 42504 42505 42506 42507 42508 42509 42510 42511 42512 42513 42514 42515 42516 42517 42518 42519 42520 42521 42522 42523 42524 42525 42526 42527 42528 42529 42530 42531 42532 42533 42534 42535 42536 42537 42538 42539 42540 42541 42542 42543 42544 42545 42546 42547 42548 42549 42550 42551 42552 42553 42554 42555 42556 42557 42558 42559 42560 42561 42562 42563 42564 42565 42566 42567 42568 42569 42570 42571 42572 42573 42574 42575 42576 42577 42578 42579 42580 42581 42582 42583 42584 42585 42586 42587 42588 42589 42590 42591 42592 42593 42594 42595 42596 42597 42598 42599 42600 42601 42602 42603 42604 42605 42606 42607 42608 42609 42610 42611 42612 42613 42614 42615 42616 42617 42618 42619 42620 42621 42622 42623 42624 42625 42626 42627 42628 42629 42630 42631 42632 42633 42634 42635 42636 42637 42638 42639 42640 42641 42642 42643 42644 42645 42646 42647 42648 42649 42650 42651 42652 42653 42654 42655 42656 42657 42658 42659 42660 42661 42662 42663 42664 42665 42666 42667 42668 42669 42670 42671 42672 42673 42674 42675 42676 42677 42678 42679 42680 42681 42682 42683 42684 42685 42686 42687 42688 42689 42690 42691 42692 42693 42694 42695 42696 42697 42698 42699 42700 42701 42702 42703 42704 42705 42706 42707 42708 42709 42710 42711 42712 42713 42714 42715 42716 42717 42718 42719 42720 42721 42722 42723 42724 42725 42726 42727 42728 42729 42730 42731 42732 42733 42734 42735 42736 42737 42738 42739 42740 42741 42742 42743 42744 42745 42746 42747 42748 42749 42750 42751 42752 42753 42754 42755 42756 42757 42758 42759 42760 42761 42762 42763 42764 42765 42766 42767 42768 42769 42770 42771 42772 42773 42774 42775 42776 42777 42778 42779 42780 42781 42782 42783 42784 42785 42786 42787 42788 42789 42790 42791 42792 42793 42794 42795 42796 42797 42798 42799 42800 42801 42802 42803 42804 42805 42806 42807 42808 42809 42810 42811 42812 42813 42814 42815 42816 42817 42818 42819 42820 42821 42822 42823 42824 42825 42826 42827 42828 42829 42830 42831 42832 42833 42834 42835 42836 42837 42838 42839 42840 42841 42842 42843 42844 42845 42846 42847 42848 42849 42850 42851 42852 42853 42854 42855 42856 42857 42858 42859 42860 42861 42862 42863 42864 42865 42866 42867 42868 42869 42870 42871 42872 42873 42874 42875 42876 42877 42878 42879 42880 42881 42882 42883 42884 42885 42886 42887 42888 42889 42890 42891 42892 42893 42894 42895 42896 42897 42898 42899 42900 42901 42902 42903 42904 42905 42906 42907 42908 42909 42910 42911 42912 42913 42914 42915 42916 42917 42918 42919 42920 42921 42922 42923 42924 42925 42926 42927 42928 42929 42930 42931 42932 42933 42934 42935 42936 42937 42938 42939 42940 42941 42942 42943 42944 42945 42946 42947 42948 42949 42950 42951 42952 42953 42954 42955 42956 42957 42958 42959 42960 42961 42962 42963 42964 42965 42966 42967 42968 42969 42970 42971 42972 42973 42974 42975 42976 42977 42978 42979 42980 42981 42982 42983 42984 42985 42986 42987 42988 42989 42990 42991 42992 42993 42994 42995 42996 42997 42998 42999 43000 43001 43002 43003 43004 43005 43006 43007 43008 43009 43010 43011 43012 43013 43014 43015 43016 43017 43018 43019 43020 43021 43022 43023 43024 43025 43026 43027 43028 43029 43030 43031 43032 43033 43034 43035 43036 43037 43038 43039 43040 43041 43042 43043 43044 43045 43046 43047 43048 43049 43050 43051 43052 43053 43054 43055 43056 43057 43058 43059 43060 43061 43062 43063 43064 43065 43066 43067 43068 43069 43070 43071 43072 43073 43074 43075 43076 43077 43078 43079 43080 43081 43082 43083 43084 43085 43086 43087 43088 43089 43090 43091 43092 43093 43094 43095 43096 43097 43098 43099 43100 43101 43104 43107 43108 43109 43113 43116 43117 43118 43122 43125 43126 43127 43131 43134 43135 43136 43140 43143 43144 43145 43149 43152 43153 43154 43158 43161 43164 43167 43170 43672 43675 43677 43678 43679 43680 43681 43682 43683 43684 43685 43686 43687 43688 43689 43690 43691 43692 43693 43694 43695 43696 43697 43698 43699 43700 43701 43702 43703 43704 43705 43706 43707 43708 43709 43710 43711 43712 43713 43714 43715 43716 43717 43718 43719 43729 43730 43731 43747 43751 43753 43755 43756 43757 43758 43759 43760 43761 43762 43763 43764 43765 43766 43767 43768 43769 43770 43771 43772 43773 43774 43775 43776 43777 43778 43779 43780 43781 43782 43783 43784 43785 43786 43787 43788 43789 43790 43791 43792 43793 43794 43804 43805 43806 43807 43808 43809 43822 43826 43829 43832 43834 43836 43837 43838 43839 43840 43841 43842 43843 43844 43845 43846 43847 43848 43849 43850 43851 43852 43853 43854 43855 43856 43857 43858 43859 43860 43861 43862 43863 43864 43865 43866 43867 43868 43869 43879 43880 43881 43888 43892 43895 43898 43901 43904 43907 43909 43911 43912 43913 43914 43915 43916 43917 43918 43919 43920 43921 43922 43923 43924 43925 43926 43927 43928 43929 43930 43931 43932 43942 43946 43949 43952 43955 43958 43960 43962 43963 43964 43965 43966 43967 43968 43969 43970 43971 43972 43973 43974 43975 43976 43977 43978 43979 43980 43981 43982 43983 43984 43985 43986 44011 44015 44018 44021 44024 44027 44030 44032 44034 44035 44036 44037 44038 44039 44040 44041 44042 44043 44044 44045 44046 44047 44048 44049 44050 44051 44052 44053 44054 44055 44065 44066 44067 44068 44069 44070 44071 44072 44073 44074 44075 44076 44077 44078 44079 44080 44081 44082 44083 44084 44085 44086 44087 44088 44098 44099 44100 44101 44102 44103 44104 44105 44106 44107 44108 44109 44110 44111 44112 44113 44114 44115 44116 44117 44118 44152 44155 44163 44165 44170 44174 44177 44180 44184 44190 44192 44196 44200 44205 44208 44209 44211 44213 44214 44215 44217 44219 44220 44221 44222 44223 44225 44226 44227 44229 44230 44231 44232 44234 44235 44236 44238 44239 44240 44241 44242 44244 44246 44247 44248 44249 44250 44253 44256 44257 44258 44260 44262 44264 44265 44266 44267 44268 44270 44271 44272 44274 44275 44276 44277 44280 44283 44284 44285 44287 44289 44290 44291 44292 44294 44295 44296 44297 44298 44299 44300 44301 44302 44303 44304 44305 44306 44307 44308 44310 44312 44313 44314 44315 44316 44318 44319 44320 44322 44323 44324 44325 44327 44328 44329 44331 44332 44333 44334 44337 44340 44341 44342 44344 44346 44348 44349 44350 44351 44352 44355 44358 44359 44360 44363 44364 44365 44367 44368 44369 44370 44373 44376 44377 44378 44380 44382 44384 44385 44386 44387 44388 44390 44391 44392 44393 44394 44395 44396 44397 44398 44399 44400 44401 44402 44403 44404 44405 44406 44407 44408 44409 44410 44414 44418 44443 44446 44447 44638 44641 44644 44645 44647 44648 44649 44651 44652 44655 44658 44659 44660 44662 44663 44664 44665 44666 44667 44668 44669 44670 44676 44678 44681 44682 44683 44686 44688 44690 44691 44692 44693 44694 44696 44697 44698 44699 44700 44701 44702 44703 44704 44705 44706 44707 44708 44709 44710 44711 44712 44713 44714 44715 44716 44717 44718 44719 44720 44721 44722 44723 44724 44725 44726 44727 44728 44729 44730 44731 44732 44733 44734 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 44762 44763 44764 44765 44766 44767 44768 44769 44770 44771 44772 44773 44774 44775 44776 44777 44778 44779 44780 44781 44782 44783 44784 44785 44786 44787 44788 44789 44790 44791 44792 44793 44794 44795 44796 44797 44798 44799 44800 44801 44802 44803 44804 44805 44806 44807 44808 44809 44810 44811 44812 44813 44814 44815 44816 44817 44818 44819 44820 44821 44822 44823 44824 44825 44826 44827 44828 44829 44830 44831 44832 44833 44834 44835 44836 44837 44838 44839 44840 44841 44842 44843 44844 44845 44846 44847 44848 44849 44850 44851 44852 44853 44854 44855 44856 44857 44858 44859 44860 44861 44862 44863 44864 44865 44866 44867 44868 44869 44870 44871 44872 44873 44874 44875 44876 44877 44878 44879 44880 44881 44882 44883 44884 44885 44886 44887 44888 44889 44890 44891 44892 44893 44894 44895 44896 44897 44898 44899 44900 44901 44902 44903 44904 44907 44910 44911 44912 44916 44919 44920 44921 44928 44930 44934 44938 44943 44946 44949 44950 44952 44955 44958 44959 44960 44964 44967 44968 44969 44973 44976 44977 44978 44982 44985 44986 44987 44991 44994 44995 44996 45000 45003 45004 45005 45009 45012 45013 45014 45018 45021 45022 45023 45027 45030 45033 45036 45039 45042 45045 45048 45051 45052 45053 45057 45060 45061 45062 45066 45069 45070 45071 45075 45078 45079 45080 45084 45087 45088 45089 45093 45096 45097 45098 45102 45105 45106 45107 45111 45114 45115 45116 45120 45123 45126 45129 45132 45135 45138 45141 45142 45144 45145 45146 45147 45148 45149 45150 45151 45152 45153 45154 45155 45156 45157 45161 45162 45164 45165 45168 45172 45175 45179 45180 45182 45183 45186 45190 45193 45195 45197 45198 45199 45200 45201 45202 45203 45204 45205 45206 45207 45208 45209 45210 45211 45212 45213 45214 45215 45216 45217 45218 45219 45220 45221 45222 45223 45224 45225 45226 45227 45228 45229 45230 45231 45232 45233 45234 45235 45236 45237 45238 45239 45240 45241 45242 45243 45244 45245 45246 45247 45248 45249 45250 45251 45252 45253 45254 45255 45256 45257 45258 45259 45260 45261 45262 45263 45264 45265 45266 45267 45268 45269 45270 45271 45272 45273 45274 45275 45276 45277 45278 45279 45280 45281 45282 45283 45284 45285 45286 45287 45288 45289 45290 45291 45292 45293 45294 45295 45296 45297 45298 45299 45300 45301 45302 45303 45304 45305 45306 45307 45308 45309 45310 45311 45312 45313 45314 45315 45316 45317 45318 45319 45320 45321 45322 45323 45324 45325 45326 45327 45328 45329 45330 45331 45332 45333 45334 45335 45336 45337 45338 45339 45340 45341 45342 45343 45344 45345 45346 45347 45348 45349 45350 45351 45352 45353 45354 45355 45356 45357 45358 45359 45360 45361 45362 45363 45364 45365 45366 45367 45368 45369 45370 45371 45372 45373 45374 45375 45376 45377 45378 45379 45380 45381 45382 45383 45384 45385 45386 45387 45388 45389 45390 45391 45392 45393 45394 45395 45396 45397 45398 45399 45402 45405 45406 45407 45414 45416 45420 45424 45429 45432 45435 45438 45441 45444 45445 45446 45448 45449 45450 45451 45452 45453 45454 45455 45456 45457 45459 45461 45462 45463 45464 45465 45466 45468 45470 45471 45472 45473 45474 45477 45480 45481 45482 45485 45486 45487 45489 45490 45491 45492 45493 45495 45497 45498 45499 45500 45501 45503 45504 45505 45507 45508 45509 45510 45511 45512 45513 45514 45515 45516 45518 45519 45520 45521 45522 45523 45524 45525 45526 45527 45528 45530 45531 45534 45537 45538 45539 45541 45543 45545 45546 45547 45548 45549 45550 45552 45554 45555 45556 45557 45558 45559 45561 45563 45564 45565 45566 45567 45569 45570 45571 45573 45574 45575 45576 45578 45579 45580 45582 45583 45584 45585 45586 45588 45590 45591 45592 45593 45594 45596 45597 45598 45600 45601 45602 45603 45604 45605 45606 45607 45608 45609 45610 45611 45612 45613 45614 45615 45616 45617 45618 45619 45620 45621 45623 45624 45627 45630 45632 45633 45634 45637 45639 45640 45641 45642 45643 45644 45645 45646 45647 45648 45649 45650 45651 45652 45653 45654 45655 45656 45657 45659 45660 45662 45663 45664 45665 45666 45667 45668 45669 45671 45672 45674 45675 45676 45678 45679 45682 45683 45684 45687 45690 45693 45694 45696 45698 45699 45701 45702 45703 45704 45705 45706 45742 45745 45785 45788 45791 45794 45797 45800 45802 45850 45854 45857 45859 45862 45866 45867 45886 45889 45891 45893 45894 45896 45897 45899 45900 45902 45903 45905 45906 45908 45909 45911 45912 45914 45915 45917 45918 45920 45921 45922 45923 45924 45925 45926 45927 45928 45929 45930 45931 45932 45933 45935 45936 45938 45939 45940 45941 45942 45943 46489 46492 46494 46495 46496 46497 46498 46499 46500 46502 46503 46505 46506 46507 46508 46509 46510 46513 46514 46516 46519 46520 46522 46525 46526 46528 46531 46532 46534 46537 46538 46540 46543 46544 46546 46549 46551 46552 46553 46554 46555 46560 46561 46562 46564 46566 46567 46568 46570 46571 46575 46578 46612 46615 46620 46623 46624 46625 46629 46632 46633 46634 46636 46638 46640 46641 46643 46644 46645 46646 46647 46649 46650 46652 46653 46655 46656 46658 46659 46661 46662 46664 46665 46666 46667 46668 46669 46670 46671 46672 46673 46674 46711 46714 46717 46721 46722 46724 46725 46728 46731 46732 46733 46737 46740 46741 46742 46746 46749 46752 46755 46758 46761 46764 46765 46767 46769 46770 46771 46772 46773 46774 46775 46776 46777 46781 46782 46784 46785 46786 46790 46791 46793 46794 46795 46799 46800 46802 46803 46804 46808 46809 46811 46812 46813 46817 46818 46820 46821 46822 46826 46827 46829 46830 46832 46833 46834 46837 46839 46840 46844 46845 46847 46848 46849 46853 46854 46856 46857 46859 46860 46861 46864 46866 46867 46868 46869 46871 46872 46873 46874 46875 46876 46877 46878 46879 46880 46881 46882 46883 46884 46885 46886 46887 46888 46889 46890 46891 46892 46893 46894 46895 46896 46897 46898 46899 46900 46901 46902 46903 46904 46905 46906 46907 46908 46909 46910 46911 46912 46913 46914 46915 46919 46920 46922 46923 46924 46928 46929 46931 46932 46933 46937 46938 46940 46941 46942 46946 46947 46949 46950 46951 46955 46956 46958 46959 46960 46964 46965 46967 46968 46970 46971 46972 46975 46977 46978 46982 46983 46985 46986 46987 46991 46992 46994 46995 46997 46998 46999 47002 47004 47005 47006 47007 47009 47010 47011 47012 47013 47014 47015 47016 47017 47018 47019 47020 47021 47022 47023 47024 47025 47026 47027 47028 47029 47030 47031 47032 47033 47034 47035 47036 47037 47038 47039 47040 47041 47042 47043 47044 47045 47046 47047 47048 47049 47050 47051 47052 47058 47060 47067 47069 47076 47078 47085 47087 47094 47096 47103 47105 47109 47113 47121 47123 47130 47132 47136 47140 47145 47148 47151 47154 47157 47160 47163 47166 47169 47172 47175 47178 47181 47184 47187 47190 47192 47193 47194 47197 47199 47200 47201 47202 47203 47204 47205 47206 47207 47208 47209 47210 47211 47212 47213 47214 47215 47216 47217 47219 47220 47222 47223 47224 47225 47226 47227 47228 47229 47231 47232 47234 47235 47236 47240 47241 47243 47244 47245 47246 47247 47248 47249 47250 47251 47252 47253 47254 47257 47258 47259 47260 47263 47264 47265 47266 47267 47268 47269 47270 47271 47273 47274 47275 47278 47280 47281 47282 47283 47284 47285 47286 47287 47288 47289 47290 47291 47292 47293 47294 47295 47296 47297 47298 47300 47301 47303 47304 47305 47306 47307 47308 47309 47310 47312 47313 47315 47316 47317 47321 47322 47324 47325 47326 47327 47328 47329 47330 47331 47332 47333 47334 47335 47338 47339 47340 47341 47344 47345 47346 47347 47348 47349 47350 47351 47352 47354 47355 47356 47359 47361 47362 47363 47364 47365 47366 47367 47368 47369 47370 47371 47372 47373 47374 47375 47376 47377 47378 47379 47381 47382 47384 47385 47386 47387 47388 47389 47390 47391 47393 47394 47396 47397 47398 47402 47403 47405 47406 47407 47408 47409 47410 47411 47412 47413 47414 47415 47416 47419 47420 47421 47422 47425 47426 47427 47428 47429 47430 47431 47432 47433 47435 47436 47437 47440 47442 47443 47444 47445 47446 47447 47448 47449 47450 47451 47452 47453 47454 47455 47456 47457 47458 47459 47460 47462 47463 47465 47466 47467 47468 47469 47470 47471 47472 47474 47475 47477 47478 47479 47483 47484 47486 47487 47488 47489 47490 47491 47492 47493 47494 47495 47496 47497 47500 47501 47502 47503 47506 47507 47508 47509 47510 47511 47512 47513 47514 47516 47517 47518 47521 47523 47524 47525 47526 47527 47528 47529 47530 47531 47532 47533 47534 47535 47536 47537 47538 47539 47540 47541 47543 47544 47546 47547 47548 47549 47550 47551 47552 47553 47555 47556 47558 47559 47560 47564 47565 47567 47568 47569 47570 47571 47572 47573 47574 47575 47576 47577 47578 47581 47582 47583 47584 47587 47588 47589 47590 47591 47592 47593 47594 47595 47597 47598 47599 47602 47604 47605 47606 47607 47608 47609 47610 47611 47612 47613 47614 47615 47616 47617 47618 47619 47620 47621 47622 47624 47625 47627 47628 47629 47630 47631 47632 47633 47634 47636 47637 47639 47640 47641 47645 47646 47648 47649 47650 47651 47652 47653 47654 47655 47656 47657 47658 47659 47660 47661 47662 47663 47664 47665 47666 47667 47668 47669 47670 47671 47672 47673 47674 47675 47676 47677 47678 47679 47680 47682 47683 47684 47685 47686 47687 47688 47689 47690 47691 47692 47693 47694 47695 47696 47697 47698 47699 47700 47701 47702 47703 47704 47705 47706 47707 47708 47709 47710 47711 47712 47713 47714 47715 47716 47717 47718 47719 47720 47721 47722 47723 47724 47727 47728 47731 47734 47737 47738 47739 47741 47742 47833 47836 47838 47839 47840 47841 47842 47843 47844 47846 47847 47849 47850 47852 47853 47855 47856 47858 47859 47861 47862 47863 47864 47865 47866 47867 47870 47873 47875 47877 47878 47879 47880 47882 47883 47884 47885 47886 48106 48109 48112 48116 48117 48136 48139 48141 48143 48144 48146 48147 48149 48150 48152 48153 48155 48156 48158 48159 48250 48253 48256 48260 48261 48280 48283 48285 48287 48288 48290 48291 48293 48294 48296 48297 48299 48300 48302 48303 48394 48397 48400 48404 48405 48424 48427 48429 48431 48432 48434 48435 48437 48438 48440 48441 48443 48444 48446 48447 48538 48541 48544 48548 48549 48568 48571 48573 48575 48576 48578 48579 48581 48582 48584 48585 48587 48588 48590 48591 48682 48685 48688 48692 48693 48712 48715 48717 48719 48720 48722 48723 48725 48726 48728 48729 48731 48732 48734 48735 48826 48829 48832 48836 48837 48856 48859 48861 48863 48864 48866 48867 48869 48870 48872 48873 48875 48876 48878 48879 49465 49466 49469 49472 49475 49479 49481 49484 49487 49498 49499 49500 49501 49502 49503 49504 49505 49506 49507 49508 49509 49510 49511 49512 49513 49514 49515 49516 49517 49518 49519 49520 49521 49522 49523 49524 49525 49526 49527 49528 49529 49530 49531 49532 49533 49534 49535 49536 49537 49538 49539 49540 49541 49542 49543 49544 49545 49546 49547 49548 49549 49550 49551 49552 49553 49554 49555 49556 49557 49558 49559 49560 49561 49562 49563 49564 49565 49566 49567 49568 49569 49570 49571 49572 49573 49574 49575 49576 49577 49578 52978 52982 52983 53590 53593 53595 53597 53598 53600 53601 56009 56010 56086 56090 56091 56110 56113 56115 56117 56118 56120 56121 56122 56123 56124 56125 56128 56132 56133 56135 56136 56138 56139 56141 56142 56143 56144 56145 56146 56147 56148 56149 56150 56151 56152 56153 56154 56155 56156 56157 56158 56159 56160 56161 56162 56163 56164 56166 56168 56169 56170 56171 56172 56182 56183 56184 56194 56195 56196 56206 56207 56208 56230 56233 56236 56237 56238 56240 56241 56242 56245 56247 56248 56249 56250 56251 56252 56253 56255 56256 56258 56259 56261 56262 56264 56265 56266 56268 56270 56271 56273 56274 56275 56276 56277 56278 56279 56280 56281 56282 56283 56294 56298 56301 56302 56304 56306 56307 56308 56309 56310 56321 56324 56328 56330 56332 56333 56334 56336 56337 56348 56350 56351 56352 56354 56355 56365 56367 56369 56370 56371 56372 56373 56383 56384 56385 56395 56396 56397 56407 56408 56409 56443 56446 56450 56605 56608 56610 56612 56613 56614 56615 56616 56618 56619 56620 56622 56623 56624 56625 56627 56628 56629 56631 56632 56633 56634 56637 56640 56641 56642 56644 56646 56648 56649 56650 56651 56652 56655 56658 56659 56660 56663 56664 56665 56667 56668 56669 56670 56673 56676 56677 56678 56680 56682 56684 56685 56686 56687 56688 56690 56691 56692 56693 56694 56695 56696 56697 56698 56699 56700 56701 56702 56703 56704 56705 56706 56709 56712 56713 56714 56718 56721 56722 56723 56727 56730 56731 56732 56736 56739 56740 56741 56745 56748 56749 56750 56754 56757 56758 56759 56763 56766 56767 56768 56772 56775 56776 56777 56781 56784 56787 56790 56793 56796 56799 56802 56803 56805 56806 56807 56808 56810 56811 56813 56814 56816 56818 56823 56825 56826 56828 56829 56831 56833 56838 56840 56842 56847 56848 56849 56851 56852 56854 56858 56862 56865 56866 56867 56871 56874 56875 56876 56880 56883 56884 56885 56887 56888 56892 56895 56896 56897 56901 56904 56907 56910 56913 56917 56921 56923 56925 56927 56928 56931 56935 56938 56940 56942 56943 56944 56945 56946 56948 56949 56951 56952 56954 56955 56956 56957 56958 56959 56960 56961 56962 56963 56964 56966 56967 56969 56970 56971 56972 56973 56974 56975 56976 56977 56978 56979 56990 56991 56992 56993 56994 56996 56997 56999 57000 57001 57002 57003 57004 57005 57006 57007 57008 57009 57019 57020 57021 57031 57032 57033 57067 57070 57072 57074 57075 57077 57078 57080 57081 57085 57089 57093 57096 57099 57109 57113 57117 57120 57123 57127 57131 57134 57137 57141 57142 57146 57149 57152 57155 57158 57161 57165 57172 57176 57178 57179 57180 57181 57182 57183 57184 57185 57186 57187 57188 57189 57190 57191 57192 57193 57194 57195 57196 57197 57198 57199 57200 57201 57202 57203 57204 57205 57206 57207 57208 57209 57210 57211 57212 57213 57214 57215 57216 57217 57218 57219 57220 57221 57222 57223 57224 57225 57226 57227 57228 57229 57230 57231 57232 57233 57234 57235 57236 57237 57238 57239 57240 57241 57242 57243 57244 57245 57246 57248 57249 57250 57252 57253 57254 57255 57325 57328 57331 57334 57335 57336 57337 57338 57339 57340 57341 57342 57343 57344 57345 57346 57347 57348 57349 57350 57351 57352 57353 57354 57355 57356 57357 57358 57359 57360 57361 57362 57363 57364 57365 57366 57367 57368 57369 57370 57371 57372 57373 57374 57375 57376 57377 57378 57379 57380 57381 57382 57383 57384 57385 57386 57387 57388 57389 57390 57391 57392 57393 57394 57395 57396 57397 57398 57399 57400 57401 57402 57403 57404 57405 57406 57408 57409 57410 57411 57412 57413 57414 57415 57416 57417 57418 57419 57420 57421 57422 57423 57424 57425 57426 57427 57428 57429 57430 57431 57432 57433 57434 57435 57436 57437 57438 57439 57440 57441 57442 57443 57444 57445 57446 57447 57448 57449 57450 57451 57452 57453 57454 57455 57456 57457 57458 57459 57460 57461 57462 57463 57464 57465 57466 57467 57468 57469 57470 57471 57472 57473 57474 57475 57476 57477 57478 57479 57480 57481 57482 57483 57484 57485 57486 57487 57488 57489 57490 57491 57492 57493 57494 57495 57496 57497 57498 57499 57500 57501 57502 57503 57504 57505 57506 57507 57508 57509 57510 57511 57512 57513 57514 57515 57516 57517 57518 57519 57520 57521 57522 57523 57524 57525 57526 57527 57528 57529 57530 57531 57532 57533 57534 57535 57536 57537 57538 57539 57540 57541 57542 57543 57544 57545 57546 57547 57548 57549 57550 57551 57552 57553 57554 57555 57556 57557 57558 57559 57560 57561 57562 57563 57564 57565 57566 57567 57568 57569 57570 57571 57572 57573 57574 57575 57576 57577 57578 57579 57580 57581 57582 57583 57584 57585 57586 57587 57588 57589 57590 57591 57592 57593 57594 57595 57596 57597 57598 57599 57600 57601 57602 57603 57604 57605 57606 57607 57608 57609 57610 57611 57612 57613 57614 57615 57616 57617 57618 57619 57620 57621 57622 57623 57624 57625 57626 57627 57628 57629 57630 57631 57632 57633 57634 57635 57636 57637 57638 57639 57640 57641 57642 57643 57644 57645 57646 57647 57648 57649 57650 57651 57652 57653 57654 57655 57656 57657 57658 57659 57660 57661 57662 57663 57664 57665 57666 57667 57668 57669 57670 57671 57672 57673 57674 57675 57676 57677 57678 57679 57680 57681 57682 57683 57684 57685 57686 57687 57688 57689 57690 57691 57692 57693 57694 57695 57696 57697 57698 57699 57700 57701 57702 57703 57704 57705 57706 57707 57708 57709 57710 57711 57712 57713 57714 57715 57716 57717 57718 57719 57720 57721 57722 57723 57724 57725 57726 57727 57728 57729 57730 57731 57732 57733 57734 57735 57736 57737 57738 57739 57740 57741 57742 57743 57744 57745 57746 57747 57748 57749 57750 57751 57752 57753 57754 57755 57756 57757 57758 57759 57760 57761 57762 57763 57764 57765 57766 57767 57768 57769 57770 57771 57772 57773 57774 57775 57776 57777 57778 57779 57780 57781 57782 57783 57784 57785 57786 57787 57788 57789 57790 57791 57792 57793 57794 57795 57796 57797 57798 57799 57800 57801 57802 57803 57804 57805 57806 57807 57808 57809 57810 57811 57812 57813 57814 57815 57816 57817 57818 57819 57820 57821 57822 57823 57824 57825 57826 57827 57828 57829 57830 57831 57832 57833 57834 57835 57836 57837 57838 57839 57840 57841 57842 57843 57844 57845 57846 57847 57848 57849 57850 57851 57852 57853 57854 57855 57856 57857 57858 57859 57860 57861 57862 57863 57864 57865 57866 57867 57868 57869 57870 57871 57872 57873 57874 57875 57876 57877 57878 57879 57880 57881 57882 57883 57884 57885 57886 57887 57888 57889 57890 57891 57892 57893 57894 57895 57896 57897 57898 57899 57900 57901 57902 57903 57904 57905 57906 57907 57908 57909 57910 57911 57912 57913 57914 57915 57916 57917 57918 57919 57920 57921 57922 57923 57924 57925 57926 57927 57928 57929 57930 57931 57932 57933 57934 57935 57936 57937 57938 57939 57940 57941 57942 57943 57944 57945 57946 57947 57948 57949 57950 57951 57952 57953 57954 57955 57956 57957 57958 57959 57960 57961 57962 57963 57964 57965 57966 57967 57968 57969 57970 57971 57972 57973 57974 57975 57976 57977 57978 57979 57980 57981 57982 57983 57984 57985 57986 57987 57988 57989 57990 57991 57992 57993 57994 57995 57996 57997 57998 57999 58000 58001 58002 58003 58004 58005 58006 58007 58008 58009 58010 58011 58012 58013 58014 58015 58016 58017 58018 58019 58020 58021 58022 58023 58024 58025 58026 58027 58028 58029 58030 58031 58032 58033 58034 58035 58036 58037 58038 58039 58040 58041 58042 58043 58044 58045 58046 58047 58048 58049 58050 58051 58052 58053 58054 58055 58056 58057 58058 58059 58060 58061 58062 58063 58064 58065 58066 58067 58068 58069 58070 58071 58072 58073 58074 58075 58076 58077 58078 58079 58080 58081 58082 58083 58084 58085 58086 58087 58088 58089 58090 58091 58092 58093 58094 58095 58096 58097 58098 58099 58100 58101 58102 58103 58104 58105 58106 58107 58108 58109 58110 58111 58112 58113 58114 58115 58116 58117 58118 58119 58120 58121 58122 58123 58124 58125 58128 58131 58132 58133 58137 58140 58141 58142 58146 58149 58150 58151 58155 58158 58159 58160 58164 58167 58168 58169 58173 58176 58177 58178 58182 58185 58188 58191 58194 58542 58545 58546 58547 58551 58554 58555 58556 58560 58563 58564 58565 58569 58572 58573 58574 58578 58581 58582 58583 58587 58590 58591 58592 58596 58599 58602 58605 58608 58840 58843 58845 58846 58847 58848 58849 58850 58851 58852 58853 58854 58855 58856 58857 58858 58859 58860 58861 58862 58863 58864 58865 58866 58867 58868 58869 58870 58871 58872 58873 58874 58875 58876 58877 58878 58880 58881 58883 58884 58885 58886 58887 58888 58889 58890 58900 58901 58902 58903 58930 58933 58935 58936 58937 58938 58939 58940 58941 58942 58943 58944 58945 58946 58947 58948 58949 58950 58951 58952 58953 58954 58955 58956 58957 58958 58959 58960 58961 58962 58963 58964 58965 58966 58967 58968 58970 58971 58973 58974 58975 58976 58977 58978 58979 58980 58990 58991 58992 58993 58996 58997 58998 58999 59003 59006 59017 59021 59024 59026 59028 59029 59030 59031 59032 59033 59034 59035 59036 59037 59038 59039 59040 59041 59042 59043 59044 59045 59046 59047 59048 59049 59050 59051 59052 59053 59054 59055 59057 59058 59060 59061 59062 59063 59064 59065 59066 59067 59068 59069 59070 59071 59072 59073 59075 59078 59083 59087 59090 59093 59096 59099 59101 59103 59104 59105 59106 59107 59108 59109 59110 59111 59112 59113 59114 59115 59116 59117 59118 59119 59120 59121 59123 59124 59125 59126 59127 59128 59129 59130 59132 59134 59139 59141 59144 59147 59150 59153 59156 59158 59160 59161 59162 59163 59164 59165 59166 59167 59168 59169 59170 59171 59172 59173 59174 59175 59176 59177 59178 59179 59180 59181 59183 59184 59185 59186 59187 59188 59192 59196 59215 59219 59222 59225 59228 59231 59233 59235 59236 59237 59238 59239 59240 59241 59242 59243 59244 59245 59246 59247 59248 59249 59250 59251 59252 59253 59255 59256 59257 59258 59259 59260 59261 59262 59263 59266 59267 59268 59269 59270 59271 59272 59273 59274 59275 59276 59277 59278 59279 59280 59282 59283 59285 59286 59287 59288 59289 59290 59291 59292 59302 59303 59304 59305 59306 59307 59308 59309 59310 59311 59312 59313 59314 59315 59316 59317 59318 59319 59321 59322 59323 59324 59325 59326 59330 59334 59336 59339 59341 59342 59344 59345 59347 59348 59351 59354 59356 59359 59362 59366 59367 59377 59380 59382 59384 59385 59387 59388 59390 59391 59393 59394 59396 59397 59399 59400 59401 59406 59408 59412 59413 59415 59416 59417 59418 59419 59420 59421 59422 59423 59424 59425 59426 59427 59428 59429 59430 59431 59432 59433 59434 59435 59436 59437 59438 59439 59440 59441 59442 59443 59444 59445 59446 59447 59448 59449 59450 59451 59452 59453 59454 59455 59456 59457 59458 59459 59460 59461 59462 59463 59464 59465 59466 59467 59468 59469 59470 59471 59472 59473 59474 59475 59476 59477 59478 59479 59480 59481 59482 59483 59484 59486 59487 59488 59490 59491 59492 59493 59563 59566 59569 59572 59573 59574 59575 59576 59577 59578 59579 59580 59581 59582 59583 59584 59585 59586 59587 59588 59589 59590 59591 59592 59593 59594 59595 59596 59597 59598 59599 59600 59601 59602 59603 59604 59605 59606 59607 59608 59609 59610 59611 59612 59613 59614 59615 59616 59617 59618 59619 59620 59621 59622 59623 59624 59625 59626 59627 59628 59629 59630 59631 59632 59633 59634 59635 59636 59637 59638 59639 59640 59641 59642 59643 59644 59646 59647 59648 59649 59650 59651 59652 59653 59654 59655 59656 59657 59658 59659 59660 59661 59662 59663 59664 59665 59666 59667 59668 59669 59670 59671 59672 59673 59674 59675 59676 59677 59678 59679 59680 59681 59682 59683 59684 59685 59686 59687 59688 59689 59690 59691 59692 59693 59694 59695 59696 59697 59698 59699 59700 59701 59702 59703 59704 59705 59706 59707 59708 59709 59710 59711 59712 59713 59714 59715 59716 59717 59718 59719 59720 59721 59722 59723 59724 59725 59726 59727 59728 59729 59730 59731 59732 59733 59734 59735 59736 59737 59738 59739 59740 59741 59742 59743 59744 59745 59746 59747 59748 59749 59750 59751 59752 59753 59754 59755 59756 59757 59758 59759 59760 59761 59762 59763 59764 59765 59766 59767 59768 59769 59770 59771 59772 59773 59774 59775 59776 59777 59778 59779 59780 59781 59782 59783 59784 59785 59786 59787 59788 59789 59790 59791 59792 59793 59794 59795 59796 59797 59798 59799 59800 59801 59802 59803 59804 59805 59806 59807 59808 59809 59810 59811 59812 59813 59814 59815 59816 59817 59818 59819 59820 59821 59822 59823 59824 59825 59826 59827 59828 59829 59830 59831 59832 59833 59834 59835 59836 59837 59838 59839 59840 59841 59842 59843 59844 59845 59846 59847 59848 59849 59850 59851 59852 59853 59854 59855 59856 59857 59858 59859 59860 59861 59862 59863 59864 59865 59866 59867 59868 59869 59870 59871 59872 59873 59874 59875 59876 59877 59878 59879 59880 59881 59882 59883 59884 59885 59886 59887 59888 59889 59890 59891 59892 59893 59894 59895 59896 59897 59898 59899 59900 59901 59902 59903 59904 59905 59906 59907 59908 59909 59910 59911 59912 59913 59914 59915 59916 59917 59918 59919 59920 59921 59922 59923 59924 59925 59926 59927 59928 59929 59930 59931 59932 59933 59934 59935 59936 59937 59938 59939 59940 59941 59942 59943 59944 59945 59946 59947 59948 59949 59950 59951 59952 59953 59954 59955 59956 59957 59958 59959 59960 59961 59962 59963 59964 59965 59966 59967 59968 59969 59970 59971 59972 59973 59974 59975 59976 59977 59978 59979 59980 59981 59982 59983 59984 59985 59986 59987 59988 59989 59990 59991 59992 59993 59994 59995 59996 59997 59998 59999 60000 60001 60002 60003 60004 60005 60006 60007 60008 60009 60010 60011 60012 60013 60014 60015 60016 60017 60018 60019 60020 60021 60022 60023 60024 60025 60026 60027 60028 60029 60030 60031 60032 60033 60034 60035 60036 60037 60038 60039 60040 60041 60042 60043 60044 60045 60046 60047 60048 60049 60050 60051 60052 60053 60054 60055 60056 60057 60058 60059 60060 60061 60062 60063 60064 60065 60066 60067 60068 60069 60070 60071 60072 60073 60074 60075 60076 60077 60078 60079 60080 60081 60082 60083 60084 60085 60086 60087 60088 60089 60090 60091 60092 60093 60094 60095 60096 60097 60098 60099 60100 60101 60102 60103 60104 60105 60106 60107 60108 60109 60110 60111 60112 60113 60114 60115 60116 60117 60118 60119 60120 60121 60122 60123 60124 60125 60126 60127 60128 60129 60130 60131 60132 60133 60134 60135 60136 60137 60138 60139 60140 60141 60142 60143 60144 60145 60146 60147 60148 60149 60150 60151 60152 60153 60154 60155 60156 60157 60158 60159 60160 60161 60162 60163 60164 60165 60166 60167 60168 60169 60170 60171 60172 60173 60174 60175 60176 60177 60178 60179 60180 60181 60182 60183 60184 60185 60186 60187 60188 60189 60190 60191 60192 60193 60194 60195 60196 60197 60198 60199 60200 60201 60202 60203 60204 60205 60206 60207 60208 60209 60210 60211 60212 60213 60214 60215 60216 60217 60218 60219 60220 60221 60222 60223 60224 60225 60226 60227 60228 60229 60230 60231 60232 60233 60234 60235 60236 60237 60238 60239 60240 60241 60242 60243 60244 60245 60246 60247 60248 60249 60250 60251 60252 60253 60254 60255 60256 60257 60258 60259 60260 60261 60262 60263 60264 60265 60266 60267 60268 60269 60270 60271 60272 60273 60274 60275 60276 60277 60278 60279 60280 60281 60282 60283 60284 60285 60286 60287 60288 60289 60290 60291 60292 60293 60294 60295 60296 60297 60298 60299 60300 60301 60302 60303 60304 60305 60306 60307 60308 60309 60310 60311 60312 60313 60314 60315 60316 60317 60318 60319 60320 60321 60322 60323 60324 60325 60326 60327 60328 60329 60330 60331 60332 60333 60334 60335 60336 60337 60338 60339 60340 60341 60342 60343 60344 60345 60346 60347 60348 60349 60350 60351 60352 60353 60354 60355 60356 60357 60358 60359 60360 60361 60362 60363 60364 60365 60367 60368 60372 60373 60374 60376 60377 60381 60382 60383 60385 60386 60390 60391 60392 60394 60395 60399 60400 60401 60403 60404 60408 60409 60410 60412 60413 60417 60418 60419 60421 60422 60424 60425 60427 60428 60430 60431 60435 60438 60439 60440 60444 60447 60448 60449 60453 60456 60457 60458 60462 60465 60466 60467 60471 60474 60475 60476 60480 60483 60484 60485 60489 60492 60495 60498 60501 60849 60852 60853 60854 60858 60861 60862 60863 60867 60870 60871 60872 60876 60879 60880 60881 60885 60888 60889 60890 60894 60897 60898 60899 60903 60906 60909 60912 60915 61147 61152 61154 61156 61158 61159 61160 61161 61162 61163 61164 61165 61166 61167 61168 61169 61170 61171 61172 61173 61174 61175 61176 61177 61178 61179 61180 61181 61182 61183 61184 61185 61186 61187 61188 61190 61191 61193 61194 61195 61196 61197 61198 61199 61200 61202 61203 61204 61205 61206 61217 61221 61224 61225 61227 61228 61229 61230 61231 61255 61259 61261 61263 61264 61265 61266 61267 61268 61269 61270 61271 61272 61273 61274 61275 61276 61277 61278 61279 61280 61281 61282 61283 61284 61285 61286 61287 61288 61289 61290 61291 61292 61293 61294 61295 61296 61298 61299 61301 61302 61303 61304 61305 61306 61307 61308 61310 61311 61312 61313 61314 61325 61328 61332 61334 61336 61337 61338 61339 61342 61343 61344 61346 61349 61352 61360 61364 61367 61370 61372 61374 61375 61376 61377 61378 61379 61380 61381 61382 61383 61384 61385 61386 61387 61388 61389 61390 61391 61392 61393 61394 61395 61396 61397 61398 61399 61400 61401 61403 61404 61406 61407 61408 61409 61410 61411 61412 61413 61414 61415 61416 61418 61419 61430 61432 61433 61434 61435 61436 61437 61439 61442 61444 61448 61451 61454 61457 61460 61463 61465 61467 61468 61469 61470 61471 61472 61473 61474 61475 61476 61477 61478 61479 61480 61481 61482 61483 61484 61485 61487 61488 61489 61490 61491 61492 61493 61494 61495 61496 61497 61499 61500 61510 61512 61514 61517 61520 61523 61526 61529 61531 61533 61534 61535 61536 61537 61538 61539 61540 61541 61542 61543 61544 61545 61546 61547 61548 61549 61550 61551 61552 61553 61554 61556 61557 61558 61559 61560 61562 61563 61564 61565 61566 61591 61595 61598 61601 61604 61607 61610 61612 61614 61615 61616 61617 61618 61619 61620 61621 61622 61623 61624 61625 61626 61627 61628 61629 61630 61631 61632 61634 61635 61636 61637 61638 61639 61640 61641 61651 61652 61653 61654 61657 61658 61659 61660 61661 61662 61663 61664 61665 61666 61667 61668 61669 61670 61671 61673 61674 61676 61677 61678 61679 61680 61681 61682 61683 61684 61685 61686 61696 61697 61698 61699 61700 61701 61702 61703 61704 61705 61706 61707 61708 61709 61710 61711 61712 61713 61715 61716 61717 61718 61719 61720 61721 61722 61756 61792 61796 61987 62023 62027 62218 62221 62222 62223 62224 62225 62226 62227 62228 62229 62235 62237 62241 62245 62253 62255 62259 62263 62268 62271 62274 62275 62277 62278 62280 62282 62283 62284 62285 62286 62287 62288 62289 62290 62291 62292 62293 62294 62295 62296 62298 62300 62301 62302 62303 62304 62307 62310 62311 62312 62316 62319 62320 62321 62323 62325 62327 62328 62329 62330 62331 62332 62333 62334 62335 62336 62337 62338 62339 62340 62341 62343 62345 62346 62347 62348 62349 62350 62351 62352 62353 62354 62355 62357 62358 62360 62361 62362 62363 62364 62365 62366 62367 62368 62369 62370 62371 62373 62375 62377 62379 62380 62381 62382 62383 62384 62386 62388 62389 62390 62392 62393 62394 62396 62397 62403 62405 62409 62413 62416 62420 62421 62423 62424 62426 62428 62430 62432 62433 62434 62438 62439 62441 62442 62443 62444 62445 62446 62447 62448 62450 62451 62453 62454 62455 62456 62457 62458 62459 62460 62461 62462 62463 62464 62465 62466 62467 62468 62469 62472 62475 62476 62477 62484 62486 62490 62494 62502 62504 62508 62512 62517 62520 62523 62526 62529 62532 62533 62534 62536 62537 62538 62539 62540 62541 62542 62543 62544 62547 62550 62551 62552 62555 62556 62557 62559 62560 62561 62562 62565 62568 62569 62570 62572 62574 62576 62577 62578 62579 62580 62581 62582 62583 62584 62585 62586 62587 62588 62589 62590 62592 62594 62595 62596 62597 62598 62599 62600 62601 62602 62603 62604 62606 62607 62608 62609 62610 62612 62613 62614 62615 62616 62618 62619 62622 62626 62630 62631 62632 62635 62637 62639 62641 62643 62645 62646 62648 62650 62652 62654 62655 62658 62662 62665 62669 62670 62672 62673 62674 62675 62677 62678 62679 62681 62682 62683 62687 62688 62690 62691 62692 62693 62694 62695 62696 62697 62699 62700 62701 62702 62703 62704 62705 62706 62707 62708 62709 62711 62712 62713 62714 62715 62717 62718 62719 62720 62721 62723 62724 62726 62727 62729 62730 62732 62733 62735 62736 62738 62739 62741 62742 62744 62745 62747 62748 62750 62751 62752 62753 62754 62756 62757 62759 62760 62761 62762 62763 62764 62765 62768 62771 62774 62846 62848 62853 62864 62866 62867 62870 62873 62877 62880 62881 62882 62886 62889 62890 62891 62895 62898 62899 62900 62904 62907 62908 62909 62913 62916 62917 62918 62922 62925 62928 62931 62934 62936 62938 62940 62942 62943 62946 62950 62955 62959 62963 62964 62966 62967 62968 62969 62970 62972 62973 63044 63046 63051 63062 63064 63065 63068 63071 63074 63078 63081 63082 63084 63086 63087 63088 63089 63090 63169 63173 63174 63202 63205 63207 63209 63210 63212 63213 63215 63218 63222 63225 63226 63227 63231 63234 63235 63236 63240 63243 63244 63245 63249 63252 63253 63254 63258 63261 63262 63263 63267 63270 63273 63276 63277 63278 63279 63280 63281 63282 63283 63284 63285 63288 63291 63292 63293 63297 63301 63306 63307 63309 63311 63312 63314 63318 63321 63322 63323 63327 63330 63331 63332 63336 63339 63340 63341 63343 63344 63348 63351 63352 63353 63357 63360 63361 63363 63365 63366 63368 63369 63370 63371 63372 63373 63374 63375 63376 63377 63378 63380 63381 63382 63385 63387 63389 63390 63391 63394 63396 63397 63399 63400 63401 63402 63403 63404 63405 63406 63407 63408 63410 63411 63412 63413 63414 63416 63417 63419 63420 63421 63422 63423 63424 63425 63426 63427 63428 63429 65312 65313 65315 65316 65318 65319 65320 65321 65322 65323 65324 65325 65330 65331 65332 65333 65334 65336 65337 65339 65340 65341 65342 65343 65344 65345 65346 65347 65348 65349 65462 65463 65465 65466 65467 65468 65469 65470 65471 65472 65477 65478 65480 65481 65483 65484 65485 65487 65488 65489 65490 65597 65598 65600 65601 65602 65603 65604 65606 65607 65608 65609 65610 65615 65616 65618 65619 65620 65621 65622 70472 70474 70479 70481 70483 70488 70498 70502 70506 70507 70511 70515 70516 70520 70524 70525 70526 70528 70529 70532 70534 70535 70537 70538 70541 70544 70546 70547 70550 70552 70651 70654 70753 70756 70760 70762 70764 70766 70767 70768 70772 70773 70775 70776 70779 70783 70791 70793 70796 70797 70798 70801 70803 70805 70806 70808 70809 70810 70811 70812 70813 70814 70815 70816 70817 70818 70819 70820 70821 70822 70823 70824 70825 70826 70827 70828 70829 70830 70831 70832 70833 70834 70835 70836 70837 70838 70839 70840 70841 70842 70843 70844 70845 70846 70847 70848 70849 70850 70851 70852 70853 70854 70855 70856 70857 70858 70859 70860 70861 70862 70863 70864 70865 70866 70867 70868 70869 70870 70871 70872 70873 70874 70875 70876 70877 70878 70879 70880 70881 70882 70883 70884 70885 70886 70887 70888 70889 70890 70891 70892 70893 70894 70895 70896 70897 70898 70899 70900 70901 70902 70903 70904 70905 70906 70907 70908 70909 70910 70911 70912 70913 70914 70915 70916 70917 70918 70919 70920 70921 70922 70923 70924 70925 70926 70927 70928 70929 70930 70931 70932 70933 70934 70935 70936 70937 70938 70939 70940 70941 70942 70943 70944 70945 70946 70947 70948 70949 70950 70951 70952 70953 70954 70955 70956 70957 70958 70959 70960 70961 70962 70963 70964 70965 70966 70967 70968 70969 70970 70971 70972 70973 70974 70975 70976 70977 70978 70979 70980 70981 70982 70983 70984 70985 70986 70987 70988 70989 70990 70991 70992 70993 70994 70995 70996 70997 70998 70999 71000 71001 71002 71003 71004 71005 71006 71007 71008 71009 71010 71020 71021 71023 71024 71028 71039 71041 71046 71056 71060 71064 71065 71066 71068 71069 71073 71074 71078 71082 71083 71084 71086 71087 71090 71092 71093 71096 71098 71099 71102 71104 71105 71108 71110 71113 71114 71115 71116 71117 71118 71119 71120 71121 71122 71126 71127 71129 71130 71133 71137 71140 71144 71145 71147 71148 71151 71155 71158 71160 71162 71163 71164 71165 71166 71167 71168 71169 71170 71171 71172 71173 71174 71175 71176 71177 71178 71179 71180 71181 71182 71183 71184 71185 71186 71187 71188 71189 71190 71191 71192 71193 71194 71195 71196 71197 71198 71199 71200 71201 71202 71203 71204 71205 71206 71207 71208 71209 71210 71211 71212 71213 71214 71215 71216 71217 71218 71219 71220 71221 71222 71223 71224 71225 71226 71227 71228 71229 71230 71231 71232 71233 71234 71235 71236 71237 71238 71239 71240 71241 71242 71243 71244 71245 71246 71247 71248 71249 71250 71251 71252 71253 71254 71255 71256 71257 71258 71259 71260 71261 71262 71263 71264 71265 71266 71267 71268 71269 71270 71271 71272 71273 71274 71275 71276 71277 71278 71279 71280 71281 71282 71283 71284 71285 71286 71287 71288 71289 71290 71291 71292 71293 71294 71295 71296 71297 71298 71299 71300 71301 71302 71303 71304 71305 71306 71307 71308 71309 71310 71311 71312 71313 71314 71315 71316 71317 71318 71319 71320 71321 71322 71323 71324 71325 71326 71327 71328 71329 71330 71331 71332 71333 71334 71335 71336 71337 71338 71339 71340 71341 71342 71343 71344 71345 71346 71347 71348 71349 71350 71351 71352 71353 71354 71355 71356 71357 71358 71359 71360 71361 71362 71363 71364 71367 71370 71371 71372 71379 71381 71385 71389 71394 71397 71400 71403 71406 71409 71410 71411 71415 71418 71419 71420 71424 71427 71428 71429 71433 71436 71437 71438 71442 71445 71446 71447 71451 71454 71455 71456 71460 71463 71464 71465 71469 71472 71473 71474 71478 71481 71484 71487 71490 71493 71496 71499 71502 71503 71504 71508 71511 71512 71513 71517 71520 71521 71522 71526 71529 71530 71531 71535 71538 71539 71540 71544 71547 71548 71549 71553 71556 71557 71558 71562 71565 71566 71567 71571 71574 71577 71580 71583 71586 71589 71592 71595 71597 71598 71599 71603 71607 71608 71609 71611 71612 71616 71627 71629 71634 71635 71639 71643 71644 71648 71652 71654 71656 71661 71662 71666 71670 71671 71672 71674 71675 71677 71678 71680 71681 71684 71686 71687 71689 71690 71965 71968 71970 71971 71972 71973 71974 71975 71976 71978 71979 71981 71982 71983 71984 71985 71986 71987 71988 71990 71991 71993 71994 71996 71997 71999 72000 72002 72003 72005 72006 72007 72008 72009 72010 72013 72018 72021 72024 72027 72030 72033 72035 72036 72568 72571 72573 72575 72576 72578 72579 72581 72582 72584 72585 72586 72587 72588 72589 72591 72593 72604 72609 72611 72622 72627 72629 72640 72645 72647 72658 72663 72665 72676 72681 72683 72694 72699 72701 72703 72708 72711 72724 72728 72739 72744 72747 72751 72755 72763 72768 72770 72774 72784 72789 72792 72795 72805 72809 72812 72815 72818 72821 72824 72827 72830 72832 72904 72907 72922 72926 72929 72932 72935 72938 72941 72944 72947 72949 72952 72956 72957 72959 72960 72966 72968 72972 72976 72984 72986 72990 72994 72999 73002 73005 73008 73011 73014 73017 73020 73023 73024 73026 73027 73028 73029 73030 73031 73032 73033 73034 73035 73036 73040 73041 73043 73044 73045 73049 73050 73052 73053 73054 73058 73059 73061 73062 73063 73067 73068 73070 73071 73072 73076 73077 73079 73080 73081 73085 73086 73088 73089 73090 73094 73095 73097 73098 73100 73101 73102 73105 73107 73108 73112 73113 73115 73116 73118 73119 73120 73123 73125 73126 73130 73131 73133 73134 73135 73139 73140 73142 73143 73145 73146 73147 73150 73152 73153 73154 73155 73157 73158 73159 73160 73161 73162 73163 73164 73165 73166 73167 73168 73169 73170 73171 73172 73173 73174 73175 73176 73177 73178 73179 73180 73181 73182 73183 73184 73185 73186 73187 73188 73189 73190 73191 73192 73193 73194 73195 73196 73197 73198 73199 73200 73201 73205 73206 73208 73209 73210 73214 73215 73217 73218 73219 73223 73224 73226 73227 73228 73232 73233 73235 73236 73237 73241 73242 73244 73245 73246 73250 73251 73253 73254 73255 73259 73260 73262 73263 73265 73266 73267 73270 73272 73273 73277 73278 73280 73281 73283 73284 73285 73288 73290 73291 73295 73296 73298 73299 73300 73304 73305 73307 73308 73310 73311 73312 73315 73317 73318 73319 73320 73322 73323 73324 73325 73326 73327 73328 73329 73330 73331 73332 73333 73334 73335 73336 73337 73338 73339 73340 73341 73342 73343 73344 73345 73346 73347 73348 73349 73350 73351 73352 73353 73354 73355 73356 73357 73358 73359 73360 73361 73362 73363 73364 73365 73371 73373 73380 73382 73389 73391 73398 73400 73407 73409 73416 73418 73425 73427 73431 73435 73443 73445 73449 73453 73461 73463 73470 73472 73476 73480 73485 73488 73491 73494 73497 73500 73503 73506 73509 73512 73515 73518 73521 73524 73527 73530 73532 73533 73678 73681 73683 73684 73685 73686 73687 73688 73689 73690 73691 73692 73693 73694 73695 73696 73697 73698 73699 73700 73701 73703 73704 73706 73707 73709 73710 73712 73713 73715 73716 73718 73719 73720 73724 73725 73726 73729 73731 73733 73734 73736 73737 73738 73739 73741 73742 73746 73747 73750 73753 73756 73757 73758 73759 73760 73761 73762 73763 73764 73766 73767 73777 73780 73782 73783 73784 73785 73786 73787 73788 73789 73790 73791 73792 73793 73794 73795 73796 73797 73798 73799 73800 73802 73803 73805 73806 73808 73809 73811 73812 73814 73815 73817 73818 73819 73823 73824 73825 73828 73830 73832 73833 73835 73836 73837 73838 73840 73841 73845 73846 73849 73852 73855 73856 73857 73858 73859 73860 73861 73862 73863 73865 73866 73876 73879 73881 73882 73883 73884 73885 73886 73887 73888 73889 73890 73891 73892 73893 73894 73895 73896 73897 73898 73899 73901 73902 73904 73905 73907 73908 73910 73911 73913 73914 73916 73917 73918 73922 73923 73924 73927 73929 73931 73932 73934 73935 73936 73937 73939 73940 73944 73945 73948 73951 73954 73955 73956 73957 73958 73959 73960 73961 73962 73964 73965 73975 73978 73980 73981 73982 73983 73984 73985 73986 73987 73988 73989 73990 73991 73992 73993 73994 73995 73996 73997 73998 74000 74001 74003 74004 74006 74007 74009 74010 74012 74013 74015 74016 74017 74021 74022 74023 74026 74028 74030 74031 74033 74034 74035 74036 74038 74039 74043 74044 74047 74050 74053 74054 74055 74056 74057 74058 74059 74060 74061 74063 74064 74074 74077 74079 74080 74081 74082 74083 74084 74085 74086 74087 74088 74089 74090 74091 74092 74093 74094 74095 74096 74097 74099 74100 74102 74103 74105 74106 74108 74109 74111 74112 74114 74115 74116 74120 74121 74122 74125 74127 74129 74130 74132 74133 74134 74135 74137 74138 74142 74143 74146 74149 74152 74153 74154 74155 74156 74157 74158 74159 74160 74162 74163 74173 74176 74178 74179 74180 74181 74182 74183 74184 74185 74186 74187 74188 74189 74190 74191 74192 74193 74194 74195 74196 74198 74199 74201 74202 74204 74205 74207 74208 74210 74211 74213 74214 74215 74219 74220 74221 74224 74226 74228 74229 74231 74232 74233 74234 74236 74237 74241 74242 74243 74245 74246 74248 74249 74251 74252 74254 74255 74257 74259 74260 74261 74262 74263 74265 74268 74270 74271 74272 74273 74274 74279 74282 74285 74288 74292 74294 74297 74300 84680 84683 84692 84698 84701 84721 87122 87124 87127 87130 87133 87135 87136 87137 87138 87139 87141 87142 87143 87144 87145 87146 87147 87148 87149 87150 87151 87152 87153 87154 87155 87156 87157 87158 87159 87160 87161 87162 87164 87165 87166 87167 87168 87169 87170 87171 87172 87173 87174 87176 87177 87178 87179 87180 87182 87183 87185 87186 87188 87189 87191 87192 87194 87195 87197 87198 87200 87201 87203 87204 87207 87210 87211 87212 87214 87215 87216 87217 87220 87221 87222 87223 87224 87225 87226 87227 87228 87229 87230 87231 87232 87233 87234 87235 87236 87237 87238 87239 87240 87241 87242 87243 87244 87245 87246 87248 87249 87251 87252 87253 87254 87255 87256 87257 87258 87259 87260 87261 87262 87266 87270 87272 87274 87276 87286 87289 87301 87304 87307 87311 87315 87316 87317 87319 87320 87321 87322 87326 87330 87331 87332 87334 87335 87336 87337 87338 87339 87340 87341 87342 87343 87344 87345 87346 87347 87348 87349 87350 87351 87352 87353 87354 87355 87356 87357 87359 87360 87361 87362 87363 87364 87365 87366 87367 87368 87369 87371 87372 87374 87375 87377 87378 87380 87381 87383 87384 87386 87387 87389 87390 87392 87393 87395 87396 87399 87402 87403 87404 87406 87407 87408 87409 87412 87413 87414 87415 87416 87417 87418 87419 87420 87421 87422 87423 87424 87425 87426 87427 87428 87429 87430 87431 87432 87433 87434 87435 87436 87437 87438 87440 87441 87443 87444 87445 87446 87447 87448 87449 87450 87451 87452 87453 87455 87457 87461 87465 87467 87469 87471 87484 87487 87502 87505 87509 87511 87515 87519 87520 87521 87523 87524 87525 87527 87529 87533 87537 87538 87539 87541 87542 87543 87544 87545 87546 87547 87548 87549 87550 87551 87552 87553 87554 87555 87556 87557 87558 87559 87560 87561 87562 87563 87564 87566 87567 87568 87569 87570 87571 87572 87573 87574 87575 87576 87578 87579 87581 87582 87584 87585 87587 87588 87590 87591 87593 87594 87596 87597 87599 87600 87602 87603 87606 87609 87610 87611 87613 87614 87615 87616 87619 87620 87621 87622 87623 87624 87625 87626 87627 87628 87629 87630 87631 87632 87633 87634 87635 87636 87637 87638 87639 87640 87641 87642 87643 87644 87645 87647 87648 87650 87651 87652 87653 87654 87655 87656 87657 87658 87659 87660 87661 87664 87668 87672 87674 87676 87678 87691 87694 87709 87712 87715 87718 87722 87726 87727 87728 87730 87731 87732 87733 87736 87740 87744 87745 87746 87748 87749 87750 87751 87752 87753 87754 87755 87756 87757 87758 87759 87760 87761 87762 87763 87764 87765 87766 87767 87768 87769 87770 87771 87773 87774 87775 87776 87777 87778 87779 87780 87781 87782 87783 87785 87786 87788 87789 87791 87792 87794 87795 87797 87798 87800 87801 87803 87804 87806 87807 87809 87810 87813 87816 87817 87818 87820 87821 87822 87823 87826 87827 87828 87829 87830 87831 87832 87833 87834 87835 87836 87837 87838 87839 87840 87841 87842 87843 87844 87845 87846 87847 87848 87849 87850 87851 87852 87854 87855 87857 87858 87859 87860 87861 87862 87863 87864 87865 87866 87867 87868 87871 87875 87879 87881 87883 87885 87898 87901 87916 87919 87922 87925 87929 87933 87934 87935 87937 87938 87939 87940 87943 87947 87951 87952 87953 87955 87956 87957 87958 87959 87960 87961 87962 87963 87964 87965 87966 87967 87968 87969 87970 87971 87972 87973 87974 87975 87976 87977 87978 87980 87981 87982 87983 87984 87985 87986 87987 87988 87989 87990 87992 87993 87995 87996 87998 87999 88001 88002 88004 88005 88007 88008 88010 88011 88013 88014 88016 88017 88020 88023 88024 88025 88027 88028 88029 88030 88033 88034 88035 88036 88037 88038 88039 88040 88041 88042 88043 88044 88045 88046 88047 88048 88049 88050 88051 88052 88053 88054 88055 88056 88057 88058 88059 88061 88062 88064 88065 88066 88067 88068 88069 88070 88071 88072 88073 88074 88075 88078 88082 88086 88088 88090 88092 88105 88108 88123 88126 88129 88132 88136 88140 88141 88142 88144 88145 88146 88147 88150 88154 88158 88159 88160 88162 88163 88164 88165 88166 88167 88168 88169 88170 88171 88172 88173 88174 88175 88176 88177 88178 88179 88180 88181 88182 88183 88184 88185 88187 88188 88189 88190 88191 88192 88193 88194 88195 88196 88197 88199 88200 88202 88203 88205 88206 88208 88209 88211 88212 88214 88215 88217 88218 88220 88221 88223 88224 88227 88230 88231 88232 88234 88237 88241 88245 88247 88252 88258 88261 88264 88265 88267 88270 88271 88274 88277 88281 88283 88286 88290 88292 88295 88299 88305 88307 88309 88312 88316 88320 88322 88324 88327 88330 88331 88333 88334 88335 88336 88337 88338 88339 88340 88341 88342 88343 88344 88345 88346 88347 88349 88350 88352 88353 88354 88355 88356 88358 88359 88361 88362 88364 88365 88367 88368 88370 88371 88373 88374 88376 88377 88379 88380 88382 88383 88389 88391 88393 88398 88402 88405 88407 88408 88411 88414 88416 88417 88418 88419 88420 88421 88422 88423 88424 88425 88426 88427 88428 88429 88430 88431 88432 88433 88434 88435 88436 88437 88438 88439 88440 88441 88442 88443 88445 88446 88447 88448 88449 88451 88452 88454 88455 88457 88458 88460 88461 88463 88464 88466 88467 88470 88473 88474 88475 88478 88480 88484 88488 88489 88491 88492 88495 88498 88499 88501 88502 88503 88504 88505 88506 88507 88508 88509 88510 88511 88512 88513 88514 88515 88516 88517 88518 88519 88520 88521 88522 88523 88524 88525 88526 88527 88529 88530 88532 88533 88535 88536 88538 88539 88541 88542 88544 88545 88547 88548 88551 88554 88555 88556 88559 88563 88567 88571 88573 88576 88579 88581 88582 88583 88584 88585 88586 88587 88588 88589 88590 88591 88592 88593 88594 88595 88596 88598 88599 88600 88601 88602 88603 88604 88605 88607 88608 88610 88611 88612 88613 88614 88616 88617 88619 88620 88622 88623 88625 88626 88628 88629 88631 88632 88635 88639 88643 88645 88649 88653 88654 88656 88657 88660 88663 88664 88666 88667 88669 88670 88671 88672 88673 88674 88675 88676 88677 88678 88679 88680 88682 88683 88684 88685 88686 88687 88688 88689 88691 88692 88694 88695 88697 88698 88700 88701 88703 88704 88706 88707 88709 88710 88713 88716 88717 88718 88721 88723 88727 88731 88732 88734 88737 88740 88741 88742 88744 88747 88751 88755 88757 88759 88762 88765 88766 88769 88770 88772 88773 88775 88776 88778 88779 88781 88782 88784 88785 88787 88788 88790 88791 88793 88794 88796 88797 88799 88800 88802 88803 88805 88806 88812 88814 88816 88821 88825 88828 88830 88831 88834 88837 88839 88840 88842 88843 88844 88845 88846 88847 88848 88849 88850 88851 88853 88854 88855 88856 88857 88858 88859 88860 88862 88863 88864 88865 88866 88868 88869 88871 88872 88874 88875 88877 88878 88880 88881 88883 88884 88887 88890 88891 88892 88896 88899 88902 88905 88908 88911 88914 88917 88920 88923 88926 88929 88932 88935 88936 88937 88938 88940 88941 88978 88981 88983 88984 88985 88986 88987 88988 88989 88990 88991 88992 88993 88994 88995 88996 88997 88998 88999 89000 89001 89003 89004 89041 89044 89046 89047 89048 89049 89050 89051 89052 89053 89054 89055 89056 89057 89058 89059 89060 89061 89062 89063 89064 89066 89067 89104 89107 89109 89110 89111 89112 89113 89114 89115 89116 89117 89118 89119 89120 89121 89122 89123 89124 89125 89126 89127 89129 89130 89167 89170 89172 89173 89174 89175 89176 89177 89178 89179 89180 89181 89182 89183 89184 89185 89186 89187 89188 89189 89190 89192 89193 89230 89233 89235 89236 89237 89238 89239 89240 89241 89242 89243 89244 89245 89246 89247 89248 89249 89250 89251 89252 89253 89255 89256 89293 89296 89298 89299 89300 89301 89302 89303 89304 89305 89306 89307 89308 89309 89310 89311 89312 89313 89314 89315 89316 89317 89318 89319 89320 89321 89322 89323 89324 89325 89326 89327 89328 89329 89330 89331 89332 89333 89334 89336 89337 89365 89368 89370 89371 89372 89373 89374 89375 89376 89377 89378 89379 89380 89381 89382 89383 89384 89385 89387 89388 89416 89419 89421 89458 89506 89509 89510 89511 89512 89515 89519 89520 89539 89542 89544 89546 89547 89549 89550 89552 89553 89555 89556 89557 89558 89559 89560 89561 89562 89563 89564 89565 89566 89570 89572 89576 89578 89579 89580 89582 89583 89586 89589 89590 89592 89594 89595 89597 89598 89599 89600 89601 89602 89603 89604 89605 89606 89607 89609 89610 89612 89613 89614 89615 89616 89617 89618 89619 89620 89621 89622 89633 89634 89635 89636 89637 89639 89640 89642 89643 89644 89645 89646 89647 89648 89649 89650 89651 89652 89662 89663 89664 89674 89675 89676 90919 90923 90924 90926 90927 90940 90944 90945 90947 90948 90964 90968 90969 90971 90972 90979 90983 90984 90986 90987 90998 90999 91010 91011 91291 91924 91925 91927 91928 91930 91931 91935 91938 91941 91944 91947 91948 91949 91952 91955 91957 91961 92014 92018 92021 92062 92116 92120 92123 92164 92500 92504 92505 92507 92508 92521 92525 92526 92528 92529 92541 92544 92546 92549 92550 92552 92553 92560 92564 92565 92567 92568 92579 92580 92591 92592 92617 92618 92619 92621 92622 92659 92662 92664 92665 92666 92667 92668 92669 92670 92680 92683 92685 92686 92687 92688 92689 92690 92691 92692 92693 92694 92713 92717 92719 92721 92723 92724 92725 92726 92727 92743 92747 92750 92752 92753 92754 92756 92757 92776 92780 92783 92785 92786 92787 92789 92790 92800 92801 92802 92812 92813 92814 92824 92825 92826 92836 92837 92838 92872 92875 92877 92879 92880 92881 92882 92883 92885 92886 92887 92889 92890 92891 92892 92894 92895 92896 92898 92899 92900 92901 92904 92907 92908 92909 92913 92916 92917 92918 92922 92925 92926 92927 92930 92931 92932 92934 92935 92936 92937 92940 92943 92944 92945 92947 92949 92951 92952 92954 92955 92957 92958 92959 92960 92961 92962 92963 92964 92965 92966 92967 92968 92969 92970 92971 92972 92973 92976 92979 92980 92981 92984 92985 92986 92988 92989 92990 92991 92993 92994 92995 92997 92998 92999 93000 93002 93003 93004 93006 93007 93008 93009 93010 93012 93014 93015 93016 93017 93018 93019 93021 93023 93024 93025 93026 93027 93029 93030 93031 93033 93034 93035 93036 93037 93039 93041 93042 93043 93044 93045 93046 93047 93048 93049 93050 93051 93052 93053 93054 93055 93056 93057 93058 93059 93060 93061 93062 93063 93065 93066 93067 93068 93069 93070 93071 93072 93075 93078 93079 93080 93082 93083 93084 93085 93086 93087 93088 93089 93090 93093 93096 93097 93098 93101 93102 93103 93105 93106 93107 93108 93111 93114 93115 93116 93118 93120 93122 93123 93124 93125 93126 93127 93128 93129 93130 93131 93132 93133 93134 93135 93136 93138 93140 93141 93142 93143 93144 93145 93146 93147 93148 93149 93150 93152 93153 93154 93155 93156 93158 93159 93160 93161 93162 93164 93165 93166 93167 93168 93170 93171 93174 93177 93178 93179 93183 93186 93187 93188 93192 93195 93196 93197 93201 93204 93205 93206 93210 93213 93214 93215 93219 93222 93223 93224 93228 93231 93232 93233 93237 93240 93241 93242 93246 93249 93252 93255 93258 93261 93264 93267 93270 93370 93373 93375 93376 93377 93378 93379 93380 93381 93383 93384 93385 93388 93390 93391 93392 93393 93394 93395 93396 93398 93399 93502 93505 93507 93508 93509 93510 93511 93512 93513 93515 93516 93517 93518 93519 93520 93521 93522 93524 93525 93526 93527 93529 93530 93532 93533 93536 93541 93544 93545 93547 93548 93550 93551 93554 93558 93561 93562 93564 93565 93566 93569 93572 93575 93622 93626 93629 93632 93635 93638 93701 93703 93708 93710 93712 93717 93728 93730 93731 93733 93734 93737 93741 93744 93745 93746 93750 93753 93754 93755 93759 93762 93763 93764 93768 93771 93772 93773 93777 93780 93781 93782 93786 93789 93792 93795 93798 93800 93801 93802 93804 93805 93806 93807 93809 93810 93811 93813 93814 93815 93816 93819 93823 93827 93828 93829 93830 93831 93832 93833 93834 93836 93837 93840 93843 93844 93845 93849 93852 93853 93854 93858 93861 93862 93863 93867 93870 93871 93872 93876 93879 93880 93881 93885 93888 93891 93894 93897 93900 93904 93908 93910 93912 93914 93915 93918 93922 93926 93927 93928 93929 93930 93932 93933 93935 93936 93939 93942 93943 93944 93948 93951 93952 93953 93956 93957 93958 93961 93963 93966 93969 93970 93971 93975 93978 93979 93980 93984 93987 93988 93989 93993 93996 93997 93999 94001 94002 94004 94005 94006 94007 94008 94009 94010 94011 94012 94013 94014 94016 94017 94018 94020 94021 94022 94023 94025 94026 94027 94029 94030 94031 94032 94035 94038 94039 94040 94044 94045 94047 94048 94049 94050 94051 94052 94053 94054 94055 94056 94059 94062 94063 94064 94068 94071 94072 94073 94077 94080 94081 94082 94086 94089 94090 94091 94095 94098 94099 94100 94104 94107 94110 94113 94116 94119 94122 94123 94124 94128 94131 94132 94133 94137 94141 94145 94146 94148 94149 94151 94152 94155 94156 94158 94159 94160 94161 94162 94163 94164 94166 94167 94169 94170 94172 94173 94174 94175 94176 94177 94178 94179 94180 94181 94182 94183 94184 94185 94186 94187 94188 94189 94190 94191 94192 94193 94194 94195 94196 94197 94198 94199 94200 94201 94202 94203 94204 94205 94206 94207 94208 94209 94210 94211 94212 94213 94214 94215 94216 94217 94218 94219 94220 94221 94222 94223 94224 94225 94226 94227 94228 94229 94230 94231 94232 94233 94234 94235 94236 94237 94238 94239 94240 94241 94242 94243 94244 94245 94246 94247 94248 94249 94250 94251 94252 94253 94254 94255 94256 94257 94258 94259 94260 94261 94262 94263 94264 94265 94266 94267 94268 94269 94270 94271 94272 94273 94274 94275 94276 94277 94278 94279 94280 94281 94282 94283 94284 94285 94286 94287 94288 94289 94290 94291 94292 94293 94294 94295 94296 94297 94298 94299 94300 94301 94302 94303 94304 94305 94306 94307 94308 94309 94310 94311 94312 94313 94314 94315 94316 94317 94318 94319 94320 94321 94322 94323 94324 94325 94326 94327 94328 94329 94330 94331 94332 94333 94334 94335 94336 94337 94338 94339 94340 94341 96403 96404 96405 96406 96407 96408 96409 96410 96411 96412 96413 96414 96415 96416 96417 96418 96419 96420 96421 96422 96423 96424 96425 96426 96427 96428 96429 96430 96431 96432 96433 96434 96435 96436 96437 96438 96439 96440 96441 96442 96443 96444 96445 96446 96447 96448 96449 96450 96451 96452 96453 96454 96455 96456 96457 96458 96459 96460 96461 96462 96463 96464 96465 96466 96467 96468 96469 96470 96471 96472 96473 96474 96475 96476 96477 96478 96479 96480 96481 96482 96483 96484 96485 96486 96487 96488 96489 96490 96491 96492 96493 96494 96495 96496 96497 96498 96499 96500 96501 96502 96503 96504 96505 96506 96507 96508 96509 96510 96511 96512 96513 96514 96515 96516 96517 96518 96519 96520 96521 96522 96523 96524 96525 96526 96527 96528 96529 96530 96531 96532 96533 96534 96535 96536 96537 96538 96539 96540 96541 96542 96543 96544 96545 96546 96547 96548 96549 96550 96551 96552 96553 96554 96555 96556 96557 96558 96559 96560 96561 96562 96563 96564 96565 96566 96567 96568 96569 96570 96571 96572 96573 96574 96575 96576 96577 96578 96579 96580 96581 96582 96583 96584 96585 96586 96587 96588 96589 96590 96591 96592 96593 96594 96595 96596 96597 96598 96599 96600 96601 96602 96603 96606 96609 96610 96611 96613 96614 96615 96616 96617 96618 96620 96621 96623 96624 96626 96627 96628 96629 96630 96631 96632 96633 96634 96635 96636 96637 96638 96639 96640 96641 96642 96643 96644 96645 96733 96734 96735 96736 96737 96738 96739 96740 96741 96742 96743 96744 96745 96746 96747 96748 96749 96750 96751 96752 96753 96754 96755 96756 96757 96758 96759 96760 96761 96762 96763 96764 96765 96766 96767 96768 96769 96770 96771 96772 96773 96774 96775 96776 96777 96780 96783 96784 96785 96788 96789 96791 96792 96794 96795 96797 96798 96799 96800 96801 96802 96803 96804 96805 96806 96807 96808 96810 96811 96812 96813 96901 96902 96903 96904 96905 96906 96908 96909 96910 96911 96912 96913 96914 96915 96916 96917 96918 96919 96920 96921 96922 96923 96924 96925 96926 96927 96928 96929 96930 96931 96932 96933 96934 96935 96936 96937 96938 96939 96940 96941 96942 96943 96944 96945 96948 96951 96952 96953 96956 96957 96959 96960 96962 96963 96964 96965 96966 96968 96969 96970 96971 96972 96973 96974 96975 96976 96977 96978 97063 97064 97065 97066 97067 97068 97069 97070 97071 97072 97073 97074 97075 97076 97077 97078 97079 97080 97081 97082 97083 97084 97085 97086 97087 97088 97089 97090 97091 97092 97093 97094 97095 97096 97097 97098 97099 97100 97101 97102 97103 97104 97107 97110 97111 97112 97115 97118 97180 97181 97182 97183 97184 97185 97186 97187 97188 97190 97191 97192 97193 97194 97195 97196 97197 97198 97199 97200 97203 97206 97207 97208 97270 97271 97272 97273 97274 97275 97276 97277 97278 97280 97281 97282 97283 97284 97285 97286 97287 97288 97289 97290 97293 97296 97297 97298 97300 97302 97303 97304 97305 97306 97307 97308 97309 97310 97311 97336 97337 97338 97339 97340 97341 97342 97343 97344 97345 97346 97347 97348 97349 97350 97351 97352 97353 97354 97355 97356 97357 97358 97359 97360 97361 97362 97363 97364 97365 97366 97367 97368 97369 97370 97371 97372 97373 97374 97375 97376 97377 97378 97379 97380 97383 97386 97387 97388 97411 97412 97413 97414 97415 97416 97417 97418 97419 97420 97421 97422 97423 97424 97425 97426 97427 97428 97431 97434 97435 97436 97440 97443 97446 97449 97452 97455 97458 97461 97462 97463 97464 97466 97467 97495 97498 97500 97501 97502 97503 97504 97505 97506 97738 97742 97837 97841 97843 97847 97849 97850 97851 97853 97854 97855 97856 97857 97859 97860 97861 97862 97865 97869 97872 97873 97874 97878 97881 97882 97883 97887 97891 97896 97899 97900 97901 97905 97908 97909 97910 97914 97917 97918 97919 97923 97926 97929 97932 97935 97936 97937 97938 97939 97940 97941 97942 97943 97944 97945 97946 97947 97948 97949 97950 97951 97952 97953 97954 97955 97956 97957 97958 97959 97960 97961 97962 97963 97964 97965 97966 97967 97968 97969 97970 97971 97972 97974 97975 97976 97977 97978 97979 97980 97981 97982 97983 97984 97985 97986 97988 97989 97991 97992 97993 97994 97995 97996 97997 97998 98000 98001 98003 98004 98006 98007 98008 98009 98010 98011 98012 98013 98014 98015 98016 98089 98173 98176 98179 98182 98186 98187 98242 98245 98247 98249 98250 98252 98253 98255 98256 98258 98259 98261 98262 98264 98265 98266 98267 98268 98269 98273 98275 98279 98281 98285 98287 98288 98291 98293 98294 98297 98301 98304 98305 98306 98310 98313 98314 98315 98319 98323 98328 98331 98332 98333 98337 98340 98341 98342 98346 98349 98350 98351 98355 98358 98361 98364 98367 98368 98369 98370 98371 98372 98373 98374 98375 98376 98377 98378 98379 98380 98381 98382 98383 98384 98385 98386 98387 98388 98389 98390 98391 98392 98393 98394 98395 98396 98397 98398 98399 98400 98401 98402 98403 98404 98405 98406 98407 98408 98409 98410 98411 98412 98413 98414 98415 98417 98418 98421 98424 98425 98426 98430 98433 98434 98435 98439 98443 98448 98451 98452 98453 98457 98460 98461 98462 98466 98469 98470 98471 98475 98478 98481 98484 98487 98488 98489 98490 98491 98492 98493 98494 98495 98496 98497 98498 98499 98500 98501 98502 98503 98504 98505 98506 98507 98508 98509 98510 98511 98512 98513 98514 98515 98516 98517 98518 98519 98520 98521 98522 98523 98524 98525 98526 98527 98528 98529 98530 98531 98532 98533 98534 98535 98537 98538 98541 98544 98546 98548 98550 98552 98553 98555 98556 98558 98559 98561 98562 98564 98565 98566 98567 98568 98569 98570 98571 98572 98573 98574 98576 98580 98583 98585 98588 98592 98593 98595 98597 98598 98599 98600 98601 98611 98613 98614 98615 98616 98618 98619 98621 98622 98624 98625 98627 98628 98630 98631 98632 98633 98634 98635 98636 98637 98638 98639 98640 98642 98645 98649 98652 98655 98656 98658 98660 98661 98662 98663 98664 98665 98667 98668 98669 98670 98672 98673 98675 98676 98678 98679 98681 98682 98684 98685 98686 98687 98688 98689 98690 98691 98692 98693 98694 98704 98705 98706 101104 101108 101109 101111 101112 101137 101141 101142 101144 101145 101179 101183 101184 101186 101187 101206 101210 101211 101213 101214 101239 101243 101244 101246 101247 101258 101259 103957 103961 103962 103964 103965 103968 103971 103972 103973 103975 103977 103978 103979 103980 103982 103983 103985 103986 103988 103989 103990 103991 103992 103993 103994 103995 103996 103997 103998 104029 104033 104034 104036 104037 104040 104043 104044 104045 104049 104052 104053 104054 104058 104061 104062 104063 104067 104071 104076 104079 104080 104081 104083 104084 104088 104091 104092 104093 104097 104100 104103 104106 104109 104110 104111 104112 104113 104114 104115 104116 104117 104118 104119 104120 104121 104122 104123 104124 104125 104126 104127 104128 104129 104130 104131 104132 104133 104134 104135 104136 104137 104138 104139 104140 104141 104142 104143 104144 104145 104146 104148 104149 104150 104151 104152 104153 104154 104155 104156 104157 104158 104159 104160 104162 104163 104164 104165 104166 104168 104169 104170 104171 104172 104173 104174 104175 104177 104178 104180 104181 104183 104184 104186 104187 104188 104190 104191 104192 104193 104218 104222 104223 104225 104226 104229 104232 104233 104234 104237 104238 104240 104241 104243 104244 104245 104246 104247 104248 104249 104250 104251 104252 104253 104278 104282 104283 104285 104286 104289 104292 104293 104294 104296 104297 104298 104300 104301 104302 104303 104304 104305 104306 104307 104309 104310 104312 104313 104315 104316 104317 104318 104319 104320 104321 104322 104323 104324 104325 104350 104354 104355 104357 104358 104361 104364 104365 104366 104368 104369 104370 104372 104373 104376 104379 104380 104381 104385 104388 104391 104394 104397 104400 104403 104406 104407 104408 104412 104415 104416 104417 104421 104424 104425 104426 104430 104433 104434 104435 104439 104442 104443 104444 104448 104451 104452 104453 104460 104462 104466 104469 104470 104471 104475 104478 104479 104480 104484 104487 104488 104489 104493 104496 104497 104498 104502 104505 104506 104507 104511 104514 104515 104516 104520 104523 104524 104525 104529 104532 104535 104538 104541 104544 104547 104550 104553 104556 104559 104562 104565 104568 104571 104574 104575 104576 104580 104583 104584 104585 104589 104592 104593 104594 104598 104601 104602 104603 104607 104610 104611 104612 104616 104619 104620 104621 104625 104628 104629 104630 104634 104637 104638 104639 104643 104646 104649 104652 104655 104658 104661 104664 104667 104670 104671 104672 104676 104679 104680 104681 104685 104688 104689 104690 104694 104697 104698 104699 104703 104706 104707 104708 104712 104715 104716 104717 104721 104724 104727 104730 104733 104736 104738 104741 104744 104747 104750 104753 104757 104759 104763 104766 104769 104772 104775 108779 108782 108785 108788 108792 108794 108798 108800 108803 108807 108810 108813 108816 108817 108821 108825 108849 108852 108854 108855 108856 108857 108875 108881 108885 108887 112813 112845 125357 125366 125370 144893 144902 144906 150724 150729 150747 168806 168815 168819 168929 175078 175085 175089 175107 189845 190765 192841 196360 196365 196366 196376 196380 196499 203158 203165 203169 203172 203174 203178 203181 203184 203187 203188 203191 203196 203197 203198 203201 203203 203207 203211 203221 203222 203224 203228 203230 203234 203238 203239 203243 203247 203249 203251 203256 203257 203258 203260 203261 203263 203267 203269 203273 203277 203278 203282 203286 203287 203291 203295 203296 203297 203299 203300 203304 203305 203306 203308 203309 203311 203314 203318 203320 203324 203328 203329 203333 203337 203338 203342 203346 203347 203351 203355 203356 203360 203364 203365 203366 203368 203369 203372 203375 203378 203381 203383 203387 203391 203392 203396 203400 203401 203405 203409 203410 203414 203418 203437 203438 203440 203441 203443 203447 203449 203452 203456 203459 203462 203465 203468 203471 203474 203477 203513 203515 203516 209765 209768 209769 209771 209772 209773 209774 209776 209777 209780 209781 209784 209785 209786 209788 209789 209793 209794 209795 209799 209800 209808 209810 209814 209817 209818 209819 209823 209824 209825 209826 209830 209834 209835 209837 209838 209840 209841 209842 209844 209845 209846 209847 209850 209854 209857 209858 209859 209860 209861 209862 209878 209880 209882 209883 209884 209885 209886 209887 209889 209891 209892 209893 209894 209895 209897 209899 209901 209903 209904 209905 209906 209907 209908 209909 209910 209938 209940 209942 209943 209944 209945 209946 209947 209949 209951 209953 209955 209956 209957 209958 209959 209960 209961 209962 209963 209964 209965 209966 209967 209968 209969 209970 209971 209972 209975 209978 209981 210010 210012 210014 210015 210016 210017 210018 210019 210021 210023 210025 210027 210028 210030 210032 210033 210034 210035 210036 210037 210038 210039 210040 210041 210042 210043 210044 210047 210050 210053 210058 210062 210065 210068 210071 210074 210077 210087 210089 210092 210094 210098 210102 210104 210108 210110 210113 210116 210119 210122 210159 210165 210167 210204 210207 210211 210216 210217 210218 210221 210224 210227 210230 210233 210237 210240 210244 210248 210251 210253 210257 210261 210263 210267 210269 210273 210275 210278 210281 210284 210327 210333 210335 210338 210341 210344 210346 210350 210354 210356 210360 210362 210366 210368 210372 210374 210377 210380 210429 210435 210437 210440 210443 210446 210449 210451 210455 210459 210461 210465 210467 210471 210473 210477 210479 210483 210485 210488 210543 210549 210551 210554 210557 210560 210563 210566 210568 210572 210576 210577 210578 210582 210583 210584 210588 210589 210590 210594 210595 210596 210600 210601 210602 210606 210607 210608 210615 210618 210621 210624 210627 210630 210631 210632 210636 210637 210638 210642 210643 210644 210648 210649 210650 210654 210655 210656 210660 210662 210666 210669 210672 210675 210676 210677 210680 210683 210685 210686 210688 210689 210691 210692 210694 210698 210700 210705 210707 210711 210712 210713 210717 210718 210719 210723 210724 210725 210729 210730 210731 210735 210736 210737 210741 210747 210750 210753 210756 210759 210762 210766 210771 210772 210773 210777 210778 210779 210783 210784 210785 210789 210790 210791 210795 210796 210797 210801 210803 210807 210810 210813 210814 210815 210817 210818 210820 210823 210824 210826 210827 210829 210830 210832 210836 210838 210843 210845 210849 210850 210851 210855 210856 210857 210861 210862 210863 210867 210869 210873 210874 210875 210879 210885 210888 210891 210894 210897 210900 210904 210909 210910 210911 210915 210916 210917 210921 210922 210923 210927 210928 210929 210933 210934 210935 210939 210941 210945 210948 210951 210952 210953 210955 210958 210959 210961 210964 210965 210967 210970 210971 210973 210974 210978 210980 210984 210985 210986 210990 210992 210996 210997 210998 211002 211004 211008 211017 211023 211029 211031 211035 211036 211037 211041 211043 211047 211048 211049 211053 211055 211059 211061 211065 211068 211069 211070 211074 211075 211076 211080 211081 211082 211086 211087 211088 211092 211093 211094 211098 211099 211100 211104 211105 211106 211110 211111 211112 211116 211118 211122 211123 211124 211126 0
OK 26043
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495640-1307808875/watcher-3495640-1307808875 -o /tmp/evaluation-result-3495640-1307808875/solver-3495640-1307808875 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495640-1307808875.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.23 2.44 3.07 5/189 17775 /proc/meminfo: memFree=31382272/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=24224 CPUtime=0 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1631 0 0 0 0 0 0 0 25 0 1 0 892485529 24805376 1551 33554432000 4194304 4280283 140736871082816 18446744073709551615 4250690 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 6056 1555 223 21 0 2693 0 [startup+0.07233 s] /proc/loadavg: 1.23 2.44 3.07 5/189 17775 /proc/meminfo: memFree=31382272/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=45460 CPUtime=0.07 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 7506 0 0 0 6 1 0 0 25 0 1 0 892485529 46551040 7234 33554432000 4194304 4280283 140736871082816 18446744073709551615 228244009669 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 11365 7237 224 21 0 8002 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 45460 [startup+0.100335 s] /proc/loadavg: 1.23 2.44 3.07 5/189 17775 /proc/meminfo: memFree=31382272/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=61460 CPUtime=0.09 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 10421 0 0 0 8 1 0 0 25 0 1 0 892485529 62935040 10125 33554432000 4194304 4280283 140736871082816 18446744073709551615 228244009669 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 15365 10127 239 21 0 12002 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 61460 [startup+0.300307 s] /proc/loadavg: 1.23 2.44 3.07 5/189 17775 /proc/meminfo: memFree=31382272/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=91032 CPUtime=0.29 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 17294 0 0 0 27 2 0 0 25 0 1 0 892485529 93216768 16997 33554432000 4194304 4280283 140736871082816 18446744073709551615 4209558 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 22758 16997 251 21 0 19395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 91032 [startup+0.70024 s] /proc/loadavg: 1.23 2.44 3.07 5/189 17775 /proc/meminfo: memFree=31382272/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=91032 CPUtime=0.69 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 17294 0 0 0 67 2 0 0 25 0 1 0 892485529 93216768 16997 33554432000 4194304 4280283 140736871082816 18446744073709551615 4209962 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 22758 16997 251 21 0 19395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 91032 [startup+1.50109 s] /proc/loadavg: 1.23 2.44 3.07 5/190 17776 /proc/meminfo: memFree=31229396/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=91032 CPUtime=1.49 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 17295 0 0 0 147 2 0 0 25 0 1 0 892485529 93216768 16998 33554432000 4194304 4280283 140736871082816 18446744073709551615 4208151 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 22758 16998 251 21 0 19395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91032 [startup+3.10081 s] /proc/loadavg: 1.23 2.44 3.07 5/190 17776 /proc/meminfo: memFree=31167864/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=102000 CPUtime=3.09 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 19813 0 0 0 306 3 0 0 25 0 1 0 892485529 104448000 19234 33554432000 4194304 4280283 140736871082816 18446744073709551615 228247808147 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 25500 19234 270 21 0 22137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102000 [startup+6.30023 s] /proc/loadavg: 1.45 2.47 3.08 5/190 17776 /proc/meminfo: memFree=30972828/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=172212 CPUtime=6.29 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 31696 0 0 0 623 6 0 0 25 0 1 0 892485529 176345088 31110 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 43053 31110 270 21 0 39690 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 172212 [startup+12.7011 s] /proc/loadavg: 1.66 2.49 3.08 5/190 17776 /proc/meminfo: memFree=30781920/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=304232 CPUtime=12.69 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 57325 0 0 0 1260 9 0 0 25 0 1 0 892485529 311533568 56723 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 76058 56723 270 21 0 72695 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 304232 [startup+25.5009 s] /proc/loadavg: 2.18 2.57 3.10 5/190 17777 /proc/meminfo: memFree=30542728/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=652440 CPUtime=25.49 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 115230 0 0 0 2534 15 0 0 25 0 1 0 892485529 668098560 114612 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 163110 114612 270 21 0 159747 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 652440 [startup+51.1003 s] /proc/loadavg: 2.80 2.68 3.12 5/190 17778 /proc/meminfo: memFree=29847116/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1003164 CPUtime=51.09 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 230954 0 0 0 5081 28 0 0 25 0 1 0 892485529 1027239936 230319 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 250791 230319 270 21 0 247428 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1003164 [startup+102.307 s] /proc/loadavg: 3.48 2.88 3.16 5/190 17779 /proc/meminfo: memFree=29341880/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1572616 CPUtime=102.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 614385 0 0 0 10156 74 0 0 25 0 1 0 892485529 1610358784 305670 33554432000 4194304 4280283 140736871082816 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 393154 305670 270 21 0 389791 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 1572616 [startup+162.301 s] /proc/loadavg: 3.81 3.08 3.21 5/190 17780 /proc/meminfo: memFree=28132232/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=2496028 CPUtime=162.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 853032 0 0 0 16127 103 0 0 25 0 1 0 892485529 2555932672 544299 33554432000 4194304 4280283 140736871082816 18446744073709551615 4242881 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 624007 544299 270 21 0 620644 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 2496028 [startup+222.3 s] /proc/loadavg: 3.93 3.25 3.26 5/190 17782 /proc/meminfo: memFree=28891448/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1575124 CPUtime=222.29 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1226820 0 0 0 22076 153 0 0 25 0 1 0 892485529 1612926976 311642 33554432000 4194304 4280283 140736871082816 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 393781 311642 270 21 0 390418 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1575124 [startup+282.301 s] /proc/loadavg: 4.02 3.40 3.31 5/190 17784 /proc/meminfo: memFree=29928532/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1009896 CPUtime=282.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1451635 0 0 0 28046 184 0 0 25 0 1 0 892485529 1034133504 166566 33554432000 4194304 4280283 140736871082816 18446744073709551615 4256323 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 252474 166566 270 21 0 249111 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1009896 [startup+342.301 s] /proc/loadavg: 4.01 3.50 3.35 5/190 17785 /proc/meminfo: memFree=29765048/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=663220 CPUtime=342.29 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1667875 0 0 0 34018 211 0 0 25 0 1 0 892485529 679137280 134689 33554432000 4194304 4280283 140736871082816 18446744073709551615 4208673 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 165805 134689 270 21 0 162442 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 663220 [startup+402.301 s] /proc/loadavg: 4.00 3.59 3.39 5/190 17863 /proc/meminfo: memFree=29863596/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1014204 CPUtime=402.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1773199 0 0 0 40003 227 0 0 25 0 1 0 892485529 1038544896 239988 33554432000 4194304 4280283 140736871082816 18446744073709551615 4237266 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 253551 239988 270 21 0 250188 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1014204 [startup+462.301 s] /proc/loadavg: 4.00 3.66 3.42 5/190 17864 /proc/meminfo: memFree=29495984/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1016032 CPUtime=462.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 1954062 0 0 0 45979 251 0 0 25 0 1 0 892485529 1040416768 187319 33554432000 4194304 4280283 140736871082816 18446744073709551615 4209260 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 254008 187319 270 21 0 250645 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1016032 [startup+522.301 s] /proc/loadavg: 4.00 3.72 3.46 5/190 17866 /proc/meminfo: memFree=28667712/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1584860 CPUtime=522.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 2085928 0 0 0 51963 267 0 0 25 0 1 0 892485529 1622896640 319162 33554432000 4194304 4280283 140736871082816 18446744073709551615 4258970 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 396215 319162 270 21 0 392852 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1584860 [startup+582.301 s] /proc/loadavg: 4.00 3.77 3.49 5/190 17868 /proc/meminfo: memFree=29236712/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1018792 CPUtime=582.3 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 2265781 0 0 0 57941 289 0 0 25 0 1 0 892485529 1043243008 170905 33554432000 4194304 4280283 140736871082816 18446744073709551615 4208458 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 254698 170905 270 21 0 251335 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1018792 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28473364/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1595044 CPUtime=942.31 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 3199398 0 0 0 93823 408 0 0 25 0 1 0 892485529 1633325056 327335 33554432000 4194304 4280283 140736871082816 18446744073709551615 4261357 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 398761 327335 270 21 0 395398 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1595044 [startup+1002.3 s] /proc/loadavg: 4.00 3.94 3.66 5/190 17879 /proc/meminfo: memFree=28563084/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1598104 CPUtime=1002.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 3540158 0 0 0 99783 449 0 0 25 0 1 0 892485529 1636458496 297199 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 399526 297199 270 21 0 396163 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1598104 [startup+1062.3 s] /proc/loadavg: 4.00 3.95 3.68 5/190 17880 /proc/meminfo: memFree=27629816/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=2522068 CPUtime=1062.31 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 3768125 0 0 0 105758 473 0 0 25 0 1 0 892485529 2582597632 525151 33554432000 4194304 4280283 140736871082816 18446744073709551615 4242881 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 630517 525151 270 21 0 627154 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 2522068 [startup+1122.3 s] /proc/loadavg: 4.00 3.96 3.70 5/190 17882 /proc/meminfo: memFree=28220736/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1600868 CPUtime=1122.31 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 4171974 0 0 0 111708 523 0 0 25 0 1 0 892485529 1639288832 359709 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 400217 359709 270 21 0 396854 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1600868 [startup+1182.3 s] /proc/loadavg: 4.06 3.98 3.72 5/190 17884 /proc/meminfo: memFree=27548972/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=2532576 CPUtime=1182.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 4337221 0 0 0 117690 542 0 0 25 0 1 0 892485529 2593357824 524932 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243396 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 633144 524932 270 21 0 629781 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2532576 [startup+1242.3 s] /proc/loadavg: 4.02 3.98 3.74 5/190 17885 /proc/meminfo: memFree=28589540/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1613216 CPUtime=1242.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 4585523 0 0 0 123655 577 0 0 25 0 1 0 892485529 1651933184 257237 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 403304 257237 270 21 0 399941 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1613216 [startup+1302.3 s] /proc/loadavg: 4.07 3.99 3.75 5/190 17887 /proc/meminfo: memFree=28509384/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1614148 CPUtime=1302.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 4925865 0 0 0 129611 621 0 0 25 0 1 0 892485529 1652887552 273142 33554432000 4194304 4280283 140736871082816 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 403537 273142 270 21 0 400174 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1614148 [startup+1362.3 s] /proc/loadavg: 4.02 3.99 3.77 5/190 17888 /proc/meminfo: memFree=29092136/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=697996 CPUtime=1362.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5181791 0 0 0 135575 657 0 0 25 0 1 0 892485529 714747904 127388 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 174499 127388 270 21 0 171136 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 697996 [startup+1422.31 s] /proc/loadavg: 4.01 3.99 3.78 5/190 17890 /proc/meminfo: memFree=28443060/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1615456 CPUtime=1422.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5336980 0 0 0 141559 673 0 0 25 0 1 0 892485529 1654226944 282548 33554432000 4194304 4280283 140736871082816 18446744073709551615 4259240 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 403864 282548 270 21 0 400501 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1615456 [startup+1482.3 s] /proc/loadavg: 4.00 3.99 3.79 5/190 17892 /proc/meminfo: memFree=28005552/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1616944 CPUtime=1482.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5435397 0 0 0 147546 686 0 0 25 0 1 0 892485529 1655750656 380951 33554432000 4194304 4280283 140736871082816 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 404236 380951 270 21 0 400873 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1616944 [startup+1542.3 s] /proc/loadavg: 4.00 3.99 3.80 5/190 17893 /proc/meminfo: memFree=28731916/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1051148 CPUtime=1542.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5609904 0 0 0 153522 710 0 0 25 0 1 0 892485529 1076375552 193563 33554432000 4194304 4280283 140736871082816 18446744073709551615 4258885 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 262787 193563 270 21 0 259424 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1051148 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 4.00 3.99 3.80 5/190 17894 /proc/meminfo: memFree=28621776/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1051464 CPUtime=1561.53 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5638085 0 0 0 155439 714 0 0 25 0 1 0 892485529 1076699136 221739 33554432000 4194304 4280283 140736871082816 18446744073709551615 4236498 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 262866 221747 270 21 0 259503 0 Current children cumulated CPU time (s) 1561.53 Current children cumulated vsize (KiB) 1051464 [startup+1574.3 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17894 /proc/meminfo: memFree=28564604/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1051920 CPUtime=1574.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5651909 0 0 0 156717 715 0 0 25 0 1 0 892485529 1077166080 235559 33554432000 4194304 4280283 140736871082816 18446744073709551615 4258928 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 262980 235559 270 21 0 259617 0 Current children cumulated CPU time (s) 1574.32 Current children cumulated vsize (KiB) 1051920 [startup+1580.71 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17894 /proc/meminfo: memFree=28531868/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1051920 CPUtime=1580.73 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5659500 0 0 0 157357 716 0 0 25 0 1 0 892485529 1077166080 243149 33554432000 4194304 4280283 140736871082816 18446744073709551615 4237105 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 262980 243149 270 21 0 259617 0 Current children cumulated CPU time (s) 1580.73 Current children cumulated vsize (KiB) 1051920 [startup+1583.9 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17894 /proc/meminfo: memFree=28501364/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1051920 CPUtime=1583.93 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5667063 0 0 0 157676 717 0 0 25 0 1 0 892485529 1077166080 250711 33554432000 4194304 4280283 140736871082816 18446744073709551615 228247807089 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 262980 250711 270 21 0 259617 0 Current children cumulated CPU time (s) 1583.93 Current children cumulated vsize (KiB) 1051920 [startup+1587.1 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17894 /proc/meminfo: memFree=28439860/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1619448 CPUtime=1587.12 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5686773 0 0 0 157993 719 0 0 25 0 1 0 892485529 1658314752 270418 33554432000 4194304 4280283 140736871082816 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 404862 270418 270 21 0 401499 0 Current children cumulated CPU time (s) 1587.12 Current children cumulated vsize (KiB) 1619448 [startup+1588.7 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17895 /proc/meminfo: memFree=28388896/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1619448 CPUtime=1588.72 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5696873 0 0 0 158152 720 0 0 25 0 1 0 892485529 1658314752 280518 33554432000 4194304 4280283 140736871082816 18446744073709551615 4256574 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 404862 280518 270 21 0 401499 0 Current children cumulated CPU time (s) 1588.72 Current children cumulated vsize (KiB) 1619448 [startup+1589.1 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17895 /proc/meminfo: memFree=28388896/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1619448 CPUtime=1589.12 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5699938 0 0 0 158192 720 0 0 25 0 1 0 892485529 1658314752 283582 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 404862 283582 270 21 0 401499 0 Current children cumulated CPU time (s) 1589.12 Current children cumulated vsize (KiB) 1619448 [startup+1589.3 s] /proc/loadavg: 4.00 3.99 3.81 5/190 17895 /proc/meminfo: memFree=28388896/32951124 swapFree=67056676/67111528 [pid=17775] ppid=17773 vsize=1619448 CPUtime=1589.32 cores=4,6 /proc/17775/stat : 17775 (OptimuS_release) R 17773 17775 15558 0 -1 4202496 5701351 0 0 0 158212 720 0 0 25 0 1 0 892485529 1658314752 284995 33554432000 4194304 4280283 140736871082816 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 4 0 0 0 /proc/17775/statm: 404862 284995 270 21 0 401499 0 Current children cumulated CPU time (s) 1589.32 Current children cumulated vsize (KiB) 1619448 Child status: 20 Real time (s): 1589.39 CPU time (s): 1589.42 CPU user time (s): 1582.17 CPU system time (s): 7.2519 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 4903048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1582.17 system time used= 7.2519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5701426 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2412 runsolver used 2.74158 second user time and 5.9351 second system time The end
Begin job on node136 at 2011-06-11 18:14:36 IDJOB=3495640 IDBENCH=89517 IDSOLVER=1988 FILE ID=node136/3495640-1307808875 RUNJOBID= node136-1307808874-17680 PBS_JOBID= 13551050 Free space on /tmp= 74116 MiB SOLVER NAME= OptimuS x100_source BENCH NAME= SAT11/mus/marques-silva/hardware-verification/f7b.cnf COMMAND LINE= OptimuS_release BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495640-1307808875/watcher-3495640-1307808875 -o /tmp/evaluation-result-3495640-1307808875/solver-3495640-1307808875 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495640-1307808875.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 1e9d259858c4cb5da52919540e6fc087 RANDOM SEED=1423680653 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31383568 kB Buffers: 258248 kB Cached: 811616 kB SwapCached: 8764 kB Active: 772600 kB Inactive: 594464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31383568 kB SwapTotal: 67111528 kB SwapFree: 67056676 kB Dirty: 17400 kB Writeback: 0 kB AnonPages: 294940 kB Mapped: 13508 kB Slab: 136248 kB PageTables: 5904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 563468 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= 74104 MiB End job on node136 at 2011-06-11 18:41:05