| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| MUSer 2011-02-10 | UNSAT | 1093.28 | 1093.26 |
| Name | gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf |
| MD5SUM | c48f17c117ec03bd8edf00d6f3e8c9c1 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 478.608 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 78849 |
| Number of clauses | 235924 |
| Sum of the clauses size | 550488 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 157282 |
| Number of clauses of size 3 | 78641 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Number of groups | 78641 |
| Number of clauses in the kernel (group 0) | 1 |
| Least number of clauses in a group (except group 0) | 3 |
| Greatest number of clauses in a group (except group 0) | 3 |
0.00/0.00 c *** MUSer: a MUS extractor *** 0.00/0.00 c *** release date: 2011210 *** 0.00/0.00 c *** release ref: f95464aa99ac *** 0.00/0.00 c *** built: 2011-Feb-10 00:59 *** 0.00/0.00 c *** author: Joao Marques-Silva (jpms@ucd.ie) *** 0.00/0.00 c 0.00/0.00 c *** instance: HOME/instance-3501113-1308042750.gcnf *** 0.00/0.00 c 0.29/0.31 c Parsing CPU Time: 0.294955 0.29/0.31 c Running MUSer ... 6.49/6.53 c 0.00% completed ... 16.59/16.68 c 15.37% completed ... 65.39/65.45 c 32.63% completed ... 108.19/108.23 c 39.34% completed ... 190.49/190.53 c 44.59% completed ... 924.62/924.66 c 49.62% completed ... 1093.11/1093.17 c 100.00% completed ... 1093.11/1093.17 c MUS size: 50745 1093.11/1093.17 s UNSATISFIABLE 1093.11/1093.17 v 2 3 4 7 8 9 10 12 13 97 98 99 119 120 121 122 123 134 136 138 139 141 158 159 160 187 387 391 392 394 395 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 448 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 482 485 486 519 523 525 526 527 528 529 530 531 532 551 552 553 554 555 556 557 558 559 578 579 580 581 582 583 584 586 587 588 589 594 595 601 602 603 604 608 609 672 673 674 675 676 677 683 684 685 686 752 753 754 755 756 757 758 764 765 766 767 833 834 835 836 837 838 839 845 846 847 848 914 915 916 917 918 919 920 926 927 928 929 995 996 997 998 999 1000 1001 1007 1008 1009 1010 1076 1077 1078 1079 1080 1081 1082 1088 1089 1090 1091 1157 1158 1159 1160 1161 1162 1163 1169 1170 1171 1172 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1302 1303 1304 1308 1309 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1474 1475 1476 1477 1478 1479 1480 1482 1483 1484 1489 1490 1491 1539 1540 1541 1542 1543 1560 1562 1600 1601 1708 1709 1710 1711 1712 1713 1714 1742 1743 1744 1745 1746 1747 1758 1759 1760 1761 1762 1763 1813 1850 1851 1894 1895 1896 1897 1898 1899 1927 1928 1929 1930 1931 1932 2021 2022 2023 2066 2067 2068 2069 2070 2098 2099 2100 2101 2102 2103 2104 2193 2194 2195 2238 2239 2240 2241 2242 2270 2271 2272 2273 2274 2275 2276 2365 2366 2367 2410 2411 2412 2413 2414 2442 2443 2444 2445 2446 2447 2448 2537 2538 2539 2582 2583 2584 2585 2586 2614 2615 2616 2617 2618 2619 2620 2709 2710 2711 2754 2755 2756 2757 2758 2786 2787 2788 2789 2790 2791 2792 2881 2882 2883 2926 2927 2928 2929 2930 2958 2959 2960 2961 2962 2963 2964 2978 2979 2980 2983 2984 2985 2988 2993 2994 2995 2997 2998 2999 3001 3002 3003 3005 3006 3007 3009 3010 3012 3013 3015 3016 3018 3019 3021 3022 3024 3025 3027 3028 3030 3031 3033 3035 3037 3056 3057 3097 3098 3100 3101 3103 3104 3105 3108 3109 3110 3111 3112 3113 3114 3115 3116 3147 3148 3149 3150 3151 3152 3153 3154 3155 3186 3187 3188 3189 3190 3191 3192 3193 3194 3225 3226 3227 3228 3229 3230 3231 3233 3234 3235 3246 3247 3248 3249 3250 3251 3252 3260 3265 3266 3267 3270 3271 3272 3278 3279 3280 3281 3282 3286 3287 3288 3289 3290 3291 3292 3299 3300 3301 3307 3308 3309 3310 3314 3315 3316 3317 3318 3325 3326 3327 3333 3334 3335 3336 3340 3341 3342 3343 3344 3351 3352 3353 3359 3360 3361 3362 3366 3367 3368 3369 3370 3377 3378 3379 3385 3386 3387 3388 3392 3393 3394 3395 3396 3403 3404 3405 3411 3412 3413 3414 3418 3419 3420 3421 3422 3429 3430 3431 3437 3438 3439 3440 3444 3445 3446 3447 3448 3455 3456 3457 3463 3464 3465 3466 3470 3471 3472 3473 3474 3475 3476 3477 3478 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 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 3561 3562 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 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 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 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3775 3776 3777 3778 3780 3781 3782 3783 3785 3786 3787 3789 3790 3791 3793 3794 3795 3797 3798 3799 3801 3802 3804 3805 3807 3808 3810 3811 3813 3814 3819 3820 3822 3823 3829 3830 3831 3851 3852 3853 3858 3859 3860 3941 3942 3943 3944 3945 3946 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4001 4003 4044 4045 4064 4065 4066 4067 4068 4069 4070 4117 4161 4162 4251 4252 4253 4254 4255 4256 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4329 4330 4331 4332 4333 4334 4335 4385 4427 4428 4490 4530 4531 4578 4618 4619 4676 4716 4717 4819 4820 4821 4907 4908 4909 5005 5006 5007 5109 5110 5111 5197 5198 5199 5295 5296 5297 5399 5400 5401 5487 5488 5489 5585 5586 5587 5689 5690 5691 5777 5778 5779 5875 5876 5877 5979 5980 5981 6067 6068 6069 6165 6166 6167 6269 6270 6271 6357 6358 6359 6455 6456 6457 6507 6508 6509 6539 6540 6541 6542 6543 6544 6545 6546 6547 6548 6549 6550 6552 6553 6554 6555 6556 6557 6560 6561 6562 6563 6564 6565 6566 6567 6568 6599 6600 6601 6602 6603 6604 6605 6642 6643 6644 6682 6683 6684 6686 6687 6688 6689 6690 6691 6692 6693 6724 6725 6726 6727 6728 6729 6730 6731 6732 6740 6745 6746 6747 6750 6751 6752 6757 6758 6759 6760 6761 6762 6763 6770 6771 6772 6777 6778 6779 6780 6781 6788 6789 6790 6795 6796 6797 6798 6799 6806 6807 6808 6813 6814 6815 6816 6817 6824 6825 6826 6831 6832 6833 6834 6835 6842 6843 6844 6849 6850 6851 6852 6853 6860 6861 6862 6867 6868 6869 6870 6871 6878 6879 6880 6885 6886 6887 6888 6889 6890 6891 6892 6894 6895 6896 6897 6898 6899 6900 6901 6902 6903 6906 6907 6908 6909 6910 6911 6912 6913 6914 6915 6916 6917 6918 6919 6921 6932 6933 6934 6935 6937 6946 6947 6948 6949 6951 6954 6955 6956 6964 6965 6966 6967 6968 6969 6970 6971 6972 6973 6974 6975 6976 6977 6978 6979 6980 6981 6982 6983 6984 6985 6986 6987 6988 6989 6990 6991 6992 6995 6996 7132 7143 7144 7145 7146 7147 7148 7149 7150 7151 7152 7153 7154 7155 7156 7157 7158 7159 7160 7161 7162 7163 7164 7165 7166 7167 7168 7169 7170 7172 7174 7183 7184 7185 7186 7187 7188 7189 7190 7191 7192 7193 7194 7195 7196 7197 7198 7199 7200 7201 7202 7203 7204 7205 7206 7207 7208 7209 7210 7211 7212 7213 7214 7221 7222 7223 7224 7225 7226 7227 7228 7229 7230 7231 7232 7233 7234 7235 7236 7237 7238 7239 7240 7241 7242 7243 7244 7245 7246 7247 7248 7249 7250 7262 7263 7264 7265 7266 7267 7268 7269 7270 7271 7272 7273 7274 7275 7276 7277 7278 7279 7280 7281 7282 7283 7284 7285 7287 7288 7289 7290 7292 7293 7294 7295 7297 7298 7299 7301 7302 7303 7305 7306 7307 7309 7310 7311 7313 7314 7316 7317 7319 7320 7322 7323 7325 7326 7328 7329 7331 7332 7334 7335 7337 7339 7341 7342 7343 7363 7364 7365 7370 7371 7372 7455 7456 7457 7458 7459 7460 7461 7462 7463 7464 7465 7466 7513 7514 7515 7516 7517 7518 7519 7520 7521 7523 7525 7566 7567 7570 7571 7572 7573 7583 7584 7585 7623 7624 7625 7626 7627 7628 7629 7630 7631 7633 7652 7653 7654 7655 7656 7703 7747 7748 7796 7838 7839 7930 7931 7932 7933 7934 7935 7936 7979 7980 7981 7982 7983 7984 7985 7986 7987 7988 7989 7990 7991 7992 7994 7995 7996 7997 7998 7999 8000 8044 8045 8046 8047 8048 8049 8050 8051 8052 8053 8054 8055 8056 8057 8086 8087 8088 8089 8090 8091 8092 8156 8196 8197 8245 8285 8286 8333 8373 8374 8500 8501 8502 8589 8590 8591 8677 8678 8679 8805 8806 8807 8894 8895 8896 8982 8983 8984 9110 9111 9112 9199 9200 9201 9287 9288 9289 9415 9416 9417 9504 9505 9506 9592 9593 9594 9720 9721 9722 9809 9810 9811 9897 9898 9899 10025 10026 10027 10114 10115 10116 10202 10203 10204 10271 10272 10273 10274 10275 10289 10290 10291 10292 10293 10294 10295 10296 10297 10298 10299 10300 10301 10302 10303 10304 10305 10306 10307 10308 10309 10310 10311 10312 10313 10314 10316 10317 10319 10320 10321 10324 10325 10326 10327 10328 10329 10330 10331 10332 10363 10364 10365 10366 10367 10368 10369 10406 10407 10408 10446 10447 10448 10450 10451 10452 10453 10454 10455 10456 10457 10488 10489 10490 10491 10492 10493 10494 10495 10496 10504 10509 10510 10511 10514 10515 10516 10521 10522 10523 10524 10525 10526 10527 10534 10535 10536 10541 10542 10543 10544 10545 10552 10553 10554 10559 10560 10561 10562 10563 10570 10571 10572 10577 10578 10579 10580 10581 10588 10589 10590 10595 10596 10597 10598 10599 10606 10607 10608 10613 10614 10615 10616 10617 10624 10625 10626 10631 10632 10633 10634 10635 10642 10643 10644 10649 10650 10651 10652 10653 10654 10655 10656 10658 10659 10660 10661 10662 10664 10665 10666 10667 10668 10669 10670 10671 10672 10675 10676 10677 10678 10679 10680 10681 10682 10685 10686 10687 10688 10689 10690 10691 10692 10693 10695 10706 10707 10708 10709 10711 10720 10721 10722 10723 10725 10734 10735 10736 10737 10738 10739 10740 10741 10742 10743 10744 10745 10746 10747 10748 10749 10750 10751 10752 10753 10754 10755 10756 10757 10758 10759 10760 10761 10762 10763 10764 10765 10766 10767 10768 10769 10770 10771 10772 10773 10774 10775 10778 10779 10964 10978 10979 10980 10981 10982 10983 10984 10985 10986 10987 10988 10989 10990 10991 10992 10993 10994 10995 10996 10997 10998 10999 11000 11001 11002 11003 11004 11006 11008 11009 11010 11011 11012 11013 11014 11015 11016 11017 11018 11019 11020 11021 11022 11023 11024 11025 11026 11027 11028 11029 11030 11031 11032 11033 11034 11035 11036 11037 11038 11039 11040 11041 11042 11043 11044 11045 11046 11055 11056 11057 11058 11059 11060 11061 11062 11063 11064 11065 11066 11067 11068 11069 11070 11071 11072 11073 11074 11075 11076 11077 11078 11079 11080 11081 11082 11084 11085 11086 11087 11088 11089 11090 11091 11092 11093 11094 11095 11096 11097 11098 11099 11100 11101 11102 11103 11104 11105 11106 11107 11108 11109 11110 11111 11112 11113 11114 11115 11116 11117 11119 11120 11121 11122 11124 11125 11126 11127 11129 11130 11131 11133 11134 11135 11137 11138 11139 11142 11143 11145 11146 11148 11149 11151 11152 11154 11155 11157 11158 11160 11161 11169 11171 11173 11174 11175 11195 11196 11197 11202 11203 11204 11207 11288 11289 11290 11291 11292 11293 11294 11295 11296 11297 11298 11299 11346 11347 11348 11349 11350 11351 11352 11353 11354 11356 11357 11358 11359 11360 11361 11362 11395 11396 11397 11398 11399 11400 11403 11404 11405 11406 11407 11408 11409 11410 11411 11412 11413 11414 11415 11416 11417 11418 11419 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 11466 11467 11468 11469 11470 11471 11472 11473 11474 11475 11476 11477 11478 11479 11480 11481 11482 11483 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 11575 11619 11620 11668 11669 11670 11671 11672 11673 11674 11706 11707 11708 11709 11710 11711 11718 11719 11726 11727 11728 11729 11730 11731 11732 11733 11734 11735 11736 11737 11738 11739 11740 11741 11758 11759 11760 11761 11762 11763 11770 11811 11812 11813 11814 11815 11816 11817 11818 11819 11820 11821 11822 11823 11827 11828 11829 11830 11831 11832 11833 11876 11877 11878 11879 11880 11881 11882 11883 11884 11885 11886 11887 11888 11889 11891 11892 11893 11894 11895 11896 11897 11941 11942 11943 11944 11945 11946 11947 11948 11949 11950 11951 11952 11953 11954 11967 11968 11969 11970 11971 11972 11973 12017 12018 12019 12020 12021 12022 12023 12024 12025 12026 12027 12028 12029 12030 12095 12096 12097 12098 12099 12100 12131 12132 12133 12134 12135 12136 12184 12224 12225 12272 12273 12274 12275 12276 12277 12308 12309 12310 12311 12312 12313 12402 12403 12404 12405 12406 12437 12438 12439 12440 12441 12442 12443 12530 12531 12532 12579 12580 12581 12582 12583 12614 12615 12616 12617 12618 12619 12620 12709 12710 12711 12712 12713 12744 12745 12746 12747 12748 12749 12750 12837 12838 12839 12886 12887 12888 12889 12890 12921 12922 12923 12924 12925 12926 12927 13016 13017 13018 13019 13020 13051 13052 13053 13054 13055 13056 13057 13144 13145 13146 13193 13194 13195 13196 13197 13228 13229 13230 13231 13232 13233 13234 13323 13324 13325 13326 13327 13358 13359 13360 13361 13362 13363 13364 13451 13452 13453 13500 13501 13502 13503 13504 13535 13536 13537 13538 13539 13540 13541 13630 13631 13632 13633 13634 13665 13666 13667 13668 13669 13670 13671 13758 13759 13760 13807 13808 13809 13810 13811 13842 13843 13844 13845 13846 13847 13848 13937 13938 13939 13940 13941 13972 13973 13974 13975 13976 13977 13978 14065 14066 14067 14114 14115 14116 14117 14118 14149 14150 14151 14152 14153 14154 14155 14223 14224 14225 14226 14228 14229 14230 14231 14232 14233 14234 14235 14236 14237 14238 14239 14240 14241 14242 14243 14244 14245 14246 14247 14248 14249 14250 14251 14252 14253 14254 14255 14256 14257 14258 14259 14260 14261 14262 14263 14264 14265 14266 14267 14268 14269 14270 14271 14272 14273 14276 14277 14278 14279 14280 14281 14282 14283 14284 14315 14316 14317 14318 14319 14320 14321 14322 14323 14354 14355 14356 14357 14358 14359 14360 14362 14363 14395 14396 14397 14398 14399 14400 14402 14403 14404 14405 14406 14407 14408 14409 14440 14441 14442 14443 14444 14445 14446 14447 14448 14456 14461 14462 14463 14466 14467 14468 14473 14474 14475 14476 14477 14478 14479 14486 14487 14488 14493 14494 14495 14496 14497 14504 14505 14506 14511 14512 14513 14514 14515 14522 14523 14524 14529 14530 14531 14532 14533 14540 14541 14542 14547 14548 14549 14550 14551 14558 14559 14560 14565 14566 14567 14568 14569 14576 14577 14578 14583 14584 14585 14586 14587 14594 14595 14596 14601 14602 14603 14604 14605 14606 14607 14608 14609 14610 14611 14612 14613 14614 14615 14616 14617 14618 14619 14620 14621 14622 14623 14624 14625 14626 14627 14628 14632 14633 14634 14635 14636 14637 14638 14639 14640 14641 14642 14644 14646 14647 14648 14649 14650 14651 14652 14653 14654 14655 14657 14665 14666 14667 14668 14669 14670 14671 14673 14681 14682 14683 14684 14685 14687 14695 14696 14697 14698 14699 14700 14701 14702 14703 14704 14705 14706 14707 14708 14709 14710 14711 14712 14713 14714 14715 14716 14717 14718 14719 14720 14721 14722 14723 14724 14725 14726 14727 14728 14729 14730 14731 14732 14733 14734 14735 14736 14737 14740 14741 14951 14952 14953 14954 14955 14956 14957 14958 14959 14960 14961 14962 14963 14964 14965 14966 14967 14968 14969 14970 14971 14972 14973 14974 14975 14976 14977 14978 14979 14980 14981 14982 14983 14984 14985 14986 14987 14988 14989 14991 14993 14995 14996 14997 14998 14999 15000 15001 15002 15003 15004 15005 15006 15007 15008 15009 15010 15011 15012 15013 15014 15015 15016 15017 15018 15019 15020 15021 15022 15023 15024 15025 15026 15027 15028 15029 15030 15031 15032 15033 15034 15035 15036 15037 15038 15039 15040 15041 15042 15043 15044 15045 15046 15047 15048 15049 15050 15051 15052 15053 15054 15055 15056 15057 15058 15059 15060 15061 15062 15063 15064 15065 15066 15067 15068 15069 15081 15082 15083 15084 15085 15086 15087 15088 15089 15090 15091 15092 15093 15094 15095 15096 15097 15098 15099 15100 15101 15102 15103 15104 15106 15107 15108 15109 15111 15112 15113 15114 15116 15117 15118 15120 15121 15122 15124 15125 15126 15128 15129 15130 15132 15133 15135 15136 15138 15139 15141 15142 15144 15145 15147 15148 15156 15158 15160 15161 15162 15182 15183 15184 15189 15190 15191 15275 15276 15277 15278 15279 15280 15281 15282 15283 15284 15285 15286 15333 15334 15335 15336 15337 15338 15339 15340 15341 15343 15345 15386 15387 15390 15391 15392 15393 15394 15395 15396 15397 15398 15399 15400 15401 15402 15403 15404 15405 15406 15423 15424 15425 15426 15427 15428 15429 15430 15431 15432 15433 15434 15435 15436 15437 15438 15439 15440 15441 15442 15443 15444 15445 15446 15447 15448 15449 15450 15451 15452 15453 15454 15455 15456 15457 15458 15459 15460 15461 15462 15463 15464 15465 15466 15467 15468 15469 15470 15487 15488 15489 15490 15491 15492 15493 15494 15495 15496 15497 15498 15499 15500 15501 15502 15503 15504 15505 15506 15507 15508 15509 15510 15511 15512 15513 15514 15515 15516 15561 15562 15606 15607 15608 15609 15610 15655 15697 15698 15701 15702 15703 15704 15705 15706 15707 15708 15709 15710 15711 15712 15713 15714 15715 15716 15717 15718 15719 15720 15721 15722 15739 15740 15741 15742 15743 15744 15745 15746 15747 15748 15749 15750 15751 15752 15753 15754 15755 15756 15757 15758 15759 15760 15761 15762 15763 15764 15765 15766 15767 15768 15782 15783 15784 15785 15786 15787 15788 15789 15853 15854 15855 15856 15857 15858 15859 15902 15903 15904 15905 15906 15907 15908 15909 15910 15911 15912 15913 15914 15915 15916 15917 15918 15919 15920 15921 15922 15923 15967 15968 15969 15970 15971 15972 15973 15974 15975 15976 15977 15978 15979 15980 15981 15982 15983 15984 15985 15989 15990 15991 15992 15993 15994 15995 15996 15997 15998 15999 16043 16044 16045 16046 16047 16048 16049 16050 16051 16052 16053 16054 16055 16056 16057 16058 16059 16060 16121 16161 16162 16165 16166 16209 16210 16250 16251 16252 16253 16254 16298 16338 16339 16342 16343 16344 16345 16346 16350 16351 16352 16353 16354 16355 16359 16360 16361 16362 16363 16364 16365 16366 16367 16467 16468 16469 16472 16473 16516 16556 16557 16558 16559 16560 16561 16644 16645 16646 16649 16650 16651 16652 16653 16657 16658 16659 16660 16661 16662 16666 16667 16668 16669 16670 16671 16672 16673 16674 16774 16775 16776 16779 16780 16823 16863 16864 16865 16866 16867 16868 16951 16952 16953 16956 16957 16958 16959 16960 16964 16965 16966 16967 16968 16969 16973 16974 16975 16976 16977 16978 16979 16980 16981 17081 17082 17083 17086 17087 17130 17170 17171 17172 17173 17174 17175 17258 17259 17260 17263 17264 17265 17266 17267 17271 17272 17273 17274 17275 17276 17280 17281 17282 17283 17284 17285 17286 17287 17288 17388 17389 17390 17393 17394 17437 17477 17478 17479 17480 17481 17482 17565 17566 17567 17570 17571 17572 17573 17574 17578 17579 17580 17581 17582 17583 17587 17588 17589 17590 17591 17592 17593 17594 17595 17695 17696 17697 17700 17701 17744 17784 17785 17786 17787 17788 17789 17872 17873 17874 17877 17878 17879 17880 17881 17885 17886 17887 17888 17889 17890 17894 17895 17896 17897 17898 17899 17900 17901 17902 18002 18003 18004 18007 18008 18051 18091 18092 18093 18094 18095 18096 18179 18180 18181 18184 18185 18186 18187 18188 18192 18193 18194 18195 18196 18197 18201 18202 18203 18204 18205 18206 18207 18208 18209 18249 18250 18251 18252 18254 18255 18256 18257 18258 18259 18260 18261 18262 18263 18264 18265 18266 18267 18268 18269 18270 18271 18272 18273 18274 18275 18276 18277 18278 18279 18280 18281 18282 18283 18284 18285 18286 18287 18288 18289 18290 18291 18292 18293 18294 18295 18296 18297 18298 18299 18302 18303 18304 18305 18306 18307 18308 18309 18310 18341 18342 18343 18344 18345 18346 18347 18348 18349 18380 18381 18382 18383 18384 18385 18386 18424 18425 18426 18428 18429 18430 18431 18432 18433 18434 18435 18466 18467 18468 18469 18470 18471 18472 18473 18474 18482 18487 18488 18489 18492 18493 18494 18499 18500 18501 18502 18503 18504 18505 18512 18513 18514 18519 18520 18521 18522 18523 18530 18531 18532 18537 18538 18539 18540 18541 18548 18549 18550 18555 18556 18557 18558 18559 18566 18567 18568 18573 18574 18575 18576 18577 18584 18585 18586 18591 18592 18593 18594 18595 18602 18603 18604 18609 18610 18611 18612 18613 18620 18621 18622 18627 18628 18629 18630 18631 18632 18633 18634 18635 18636 18637 18638 18639 18640 18641 18642 18643 18644 18645 18646 18647 18648 18649 18650 18651 18652 18653 18654 18658 18659 18660 18661 18662 18663 18664 18665 18666 18667 18668 18670 18672 18673 18674 18675 18676 18677 18678 18679 18680 18681 18682 18683 18684 18685 18690 18693 18694 18695 18696 18697 18699 18707 18708 18709 18710 18711 18713 18721 18722 18723 18724 18725 18726 18727 18728 18729 18730 18731 18732 18733 18734 18735 18736 18737 18738 18739 18740 18741 18742 18743 18744 18745 18746 18747 18748 18749 18750 18751 18752 18753 18754 18755 18756 18757 18758 18759 18760 18761 18762 18763 18766 18767 18977 18978 18979 18980 18981 18982 18983 18984 18985 18986 18987 18988 18989 18990 18991 18992 18993 18994 18995 18996 18997 18998 18999 19000 19001 19002 19003 19004 19005 19006 19007 19008 19009 19010 19011 19012 19013 19014 19015 19017 19018 19019 19021 19022 19023 19024 19025 19026 19027 19028 19029 19030 19031 19032 19033 19034 19035 19036 19037 19038 19039 19040 19041 19042 19043 19044 19045 19046 19047 19048 19049 19050 19051 19052 19053 19054 19055 19056 19057 19058 19059 19060 19061 19062 19063 19064 19065 19066 19067 19068 19069 19070 19071 19072 19073 19074 19075 19076 19077 19078 19079 19080 19081 19082 19083 19084 19085 19086 19087 19088 19089 19090 19091 19092 19093 19094 19095 19107 19108 19109 19110 19111 19112 19113 19114 19115 19116 19117 19118 19119 19120 19121 19122 19123 19124 19125 19126 19127 19128 19129 19130 19132 19133 19134 19135 19137 19138 19139 19140 19142 19143 19144 19146 19147 19148 19150 19151 19152 19154 19155 19156 19158 19159 19161 19162 19164 19165 19167 19168 19170 19171 19173 19174 19182 19184 19186 19187 19188 19208 19209 19210 19215 19216 19217 19220 19300 19301 19302 19303 19304 19305 19306 19307 19308 19309 19310 19311 19312 19359 19360 19361 19362 19363 19364 19365 19366 19367 19369 19370 19372 19373 19374 19375 19408 19409 19410 19411 19412 19413 19416 19417 19418 19419 19420 19421 19422 19423 19424 19425 19426 19427 19428 19429 19430 19431 19432 19449 19450 19451 19452 19453 19454 19455 19456 19457 19458 19459 19460 19461 19462 19463 19464 19465 19466 19467 19468 19469 19470 19471 19472 19473 19474 19475 19476 19477 19478 19479 19480 19481 19482 19483 19484 19485 19486 19487 19488 19489 19490 19491 19492 19493 19494 19495 19496 19513 19514 19515 19516 19517 19518 19519 19520 19521 19522 19523 19524 19525 19526 19527 19528 19529 19530 19531 19532 19533 19534 19535 19536 19537 19538 19539 19540 19541 19542 19543 19586 19587 19588 19590 19632 19633 19634 19635 19636 19681 19682 19683 19684 19685 19686 19687 19719 19720 19721 19722 19723 19724 19727 19728 19729 19730 19731 19732 19733 19734 19735 19736 19737 19738 19739 19740 19741 19742 19743 19744 19745 19746 19747 19748 19765 19766 19767 19768 19769 19770 19771 19772 19773 19774 19775 19776 19777 19778 19779 19780 19781 19782 19783 19784 19785 19786 19787 19788 19789 19790 19791 19792 19793 19794 19807 19808 19809 19810 19811 19812 19813 19814 19815 19879 19880 19881 19882 19883 19884 19885 19928 19929 19930 19931 19932 19933 19934 19935 19936 19937 19938 19939 19940 19941 19942 19943 19944 19945 19946 19947 19948 19949 19993 19994 19995 19996 19997 19998 19999 20000 20001 20002 20003 20004 20005 20006 20007 20008 20009 20010 20011 20015 20016 20017 20018 20019 20020 20021 20022 20023 20024 20025 20069 20070 20071 20072 20073 20074 20075 20076 20077 20078 20079 20080 20081 20082 20083 20084 20085 20086 20147 20148 20149 20150 20151 20152 20183 20184 20185 20186 20187 20188 20191 20192 20193 20234 20235 20236 20276 20277 20278 20279 20280 20324 20325 20326 20327 20328 20329 20360 20361 20362 20363 20364 20365 20368 20369 20370 20371 20372 20376 20377 20378 20379 20380 20381 20385 20386 20387 20388 20389 20390 20391 20392 20393 20454 20455 20456 20457 20458 20489 20490 20491 20492 20493 20494 20495 20498 20499 20540 20541 20542 20582 20583 20584 20585 20586 20587 20631 20632 20633 20634 20635 20666 20667 20668 20669 20670 20671 20672 20675 20676 20677 20678 20679 20683 20684 20685 20686 20687 20688 20692 20693 20694 20695 20696 20697 20698 20699 20700 20761 20762 20763 20764 20765 20796 20797 20798 20799 20800 20801 20802 20805 20806 20847 20848 20849 20889 20890 20891 20892 20893 20894 20938 20939 20940 20941 20942 20973 20974 20975 20976 20977 20978 20979 20982 20983 20984 20985 20986 20990 20991 20992 20993 20994 20995 20999 21000 21001 21002 21003 21004 21005 21006 21007 21068 21069 21070 21071 21072 21103 21104 21105 21106 21107 21108 21109 21112 21113 21154 21155 21156 21196 21197 21198 21199 21200 21201 21245 21246 21247 21248 21249 21280 21281 21282 21283 21284 21285 21286 21289 21290 21291 21292 21293 21297 21298 21299 21300 21301 21302 21306 21307 21308 21309 21310 21311 21312 21313 21314 21375 21376 21377 21378 21379 21410 21411 21412 21413 21414 21415 21416 21419 21420 21461 21462 21463 21503 21504 21505 21506 21507 21508 21552 21553 21554 21555 21556 21587 21588 21589 21590 21591 21592 21593 21596 21597 21598 21599 21600 21604 21605 21606 21607 21608 21609 21613 21614 21615 21616 21617 21618 21619 21620 21621 21682 21683 21684 21685 21686 21717 21718 21719 21720 21721 21722 21723 21726 21727 21768 21769 21770 21810 21811 21812 21813 21814 21815 21859 21860 21861 21862 21863 21894 21895 21896 21897 21898 21899 21900 21903 21904 21905 21906 21907 21911 21912 21913 21914 21915 21916 21920 21921 21922 21923 21924 21925 21926 21927 21928 21989 21990 21991 21992 21993 22024 22025 22026 22027 22028 22029 22030 22033 22034 22075 22076 22077 22117 22118 22119 22120 22121 22122 22166 22167 22168 22169 22170 22201 22202 22203 22204 22205 22206 22207 22210 22211 22212 22213 22214 22218 22219 22220 22221 22222 22223 22227 22228 22229 22230 22231 22232 22233 22234 22235 22275 22276 22277 22278 22280 22281 22282 22283 22284 22285 22286 22287 22288 22289 22290 22291 22292 22293 22294 22295 22296 22297 22298 22299 22300 22301 22302 22303 22304 22305 22306 22307 22308 22309 22310 22311 22312 22313 22314 22315 22316 22317 22318 22319 22320 22321 22323 22324 22325 22328 22329 22330 22331 22332 22335 22336 22368 22369 22370 22371 22372 22373 22375 22407 22408 22409 22410 22411 22412 22413 22414 22415 22446 22447 22448 22449 22450 22451 22452 22454 22455 22456 22457 22458 22459 22460 22461 22492 22493 22494 22495 22496 22497 22498 22499 22500 22508 22513 22514 22515 22518 22519 22520 22525 22526 22527 22528 22529 22530 22531 22538 22539 22540 22545 22546 22547 22548 22549 22556 22557 22558 22563 22564 22565 22566 22567 22574 22575 22576 22581 22582 22583 22584 22585 22592 22593 22594 22599 22600 22601 22602 22603 22610 22611 22612 22617 22618 22619 22620 22621 22628 22629 22630 22635 22636 22637 22638 22639 22646 22647 22648 22653 22654 22655 22656 22657 22658 22659 22660 22661 22662 22663 22664 22665 22666 22667 22668 22669 22670 22671 22672 22673 22674 22675 22676 22677 22678 22679 22680 22682 22684 22685 22686 22687 22688 22689 22690 22691 22692 22693 22694 22696 22698 22699 22700 22701 22702 22703 22704 22705 22706 22713 22720 22721 22722 22723 22725 22726 22727 22732 22733 22734 22735 22736 22737 22739 22747 22748 22749 22750 22751 22752 22753 22754 22755 22756 22757 22758 22759 22760 22761 22762 22763 22764 22765 22766 22767 22768 22769 22770 22771 22772 22773 22774 22775 22776 22777 22778 22779 22780 22781 22782 22783 22784 22785 22786 22787 22788 22789 22792 22793 23003 23004 23005 23006 23007 23008 23009 23010 23011 23012 23013 23014 23015 23016 23017 23018 23019 23020 23021 23022 23023 23024 23025 23026 23027 23028 23029 23030 23031 23032 23033 23034 23035 23036 23037 23038 23039 23040 23041 23043 23044 23045 23047 23048 23049 23050 23051 23052 23053 23054 23055 23056 23057 23058 23059 23060 23061 23062 23063 23064 23065 23066 23067 23068 23069 23070 23071 23072 23073 23074 23075 23076 23077 23078 23079 23080 23081 23082 23083 23084 23085 23086 23087 23088 23089 23090 23091 23092 23093 23094 23095 23096 23097 23098 23099 23100 23101 23102 23103 23104 23105 23106 23107 23108 23109 23110 23111 23112 23113 23114 23115 23116 23117 23118 23119 23120 23121 23133 23134 23135 23136 23137 23138 23139 23140 23141 23142 23143 23144 23145 23146 23147 23148 23149 23150 23151 23152 23153 23154 23155 23156 23158 23159 23160 23161 23163 23164 23165 23166 23168 23169 23170 23172 23173 23174 23176 23177 23178 23180 23181 23182 23184 23185 23187 23188 23190 23191 23193 23194 23196 23197 23199 23200 23208 23210 23212 23213 23214 23234 23235 23236 23241 23242 23243 23321 23322 23323 23324 23325 23326 23327 23328 23329 23330 23331 23332 23333 23334 23335 23336 23337 23338 23385 23386 23387 23388 23389 23390 23391 23392 23393 23395 23438 23439 23442 23443 23444 23445 23446 23447 23448 23449 23450 23451 23452 23453 23454 23455 23456 23457 23458 23475 23476 23477 23478 23479 23480 23481 23482 23483 23484 23485 23486 23487 23488 23489 23490 23491 23492 23493 23494 23495 23496 23497 23498 23499 23500 23501 23502 23503 23504 23505 23506 23507 23508 23509 23510 23511 23512 23513 23514 23515 23516 23517 23518 23519 23520 23521 23522 23539 23540 23541 23542 23543 23544 23545 23546 23547 23548 23549 23550 23551 23552 23553 23554 23555 23556 23557 23558 23559 23560 23561 23562 23563 23564 23565 23566 23567 23568 23569 23612 23613 23614 23658 23659 23660 23661 23662 23707 23749 23750 23753 23754 23755 23756 23757 23758 23759 23760 23761 23762 23763 23764 23765 23766 23767 23768 23769 23770 23771 23772 23773 23774 23791 23792 23793 23794 23795 23796 23797 23798 23799 23800 23801 23802 23803 23804 23805 23806 23807 23808 23809 23810 23811 23812 23813 23814 23815 23816 23817 23818 23819 23820 23832 23833 23834 23835 23836 23837 23838 23839 23840 23841 23842 23848 23889 23890 23891 23892 23893 23894 23895 23896 23897 23898 23899 23900 23901 23905 23906 23907 23908 23909 23910 23911 23954 23955 23956 23957 23958 23959 23960 23961 23962 23963 23964 23965 23966 23967 23968 23969 23970 23971 23972 23973 23974 23975 24019 24020 24021 24022 24023 24024 24025 24026 24027 24028 24029 24030 24031 24032 24033 24034 24035 24036 24037 24041 24042 24043 24044 24045 24046 24047 24048 24049 24050 24051 24095 24096 24097 24098 24099 24100 24101 24102 24103 24104 24105 24106 24107 24108 24109 24110 24111 24112 24173 24213 24214 24217 24218 24219 24260 24261 24262 24302 24303 24304 24305 24306 24350 24390 24391 24394 24395 24396 24397 24398 24402 24403 24404 24405 24406 24407 24411 24412 24413 24414 24415 24416 24417 24418 24419 24519 24520 24521 24524 24525 24566 24567 24568 24608 24609 24610 24611 24612 24613 24696 24697 24698 24701 24702 24703 24704 24705 24709 24710 24711 24712 24713 24714 24718 24719 24720 24721 24722 24723 24724 24725 24726 24826 24827 24828 24831 24832 24873 24874 24875 24915 24916 24917 24918 24919 24920 25003 25004 25005 25008 25009 25010 25011 25012 25016 25017 25018 25019 25020 25021 25025 25026 25027 25028 25029 25030 25031 25032 25033 25133 25134 25135 25138 25139 25180 25181 25182 25222 25223 25224 25225 25226 25227 25310 25311 25312 25315 25316 25317 25318 25319 25323 25324 25325 25326 25327 25328 25332 25333 25334 25335 25336 25337 25338 25339 25340 25440 25441 25442 25445 25446 25487 25488 25489 25529 25530 25531 25532 25533 25534 25617 25618 25619 25622 25623 25624 25625 25626 25630 25631 25632 25633 25634 25635 25639 25640 25641 25642 25643 25644 25645 25646 25647 25747 25748 25749 25752 25753 25794 25795 25796 25836 25837 25838 25839 25840 25841 25924 25925 25926 25929 25930 25931 25932 25933 25937 25938 25939 25940 25941 25942 25946 25947 25948 25949 25950 25951 25952 25953 25954 26054 26055 26056 26059 26060 26101 26102 26103 26143 26144 26145 26146 26147 26148 26231 26232 26233 26236 26237 26238 26239 26240 26244 26245 26246 26247 26248 26249 26253 26254 26255 26256 26257 26258 26259 26260 26261 26301 26302 26303 26304 26306 26307 26308 26309 26310 26311 26312 26313 26314 26315 26316 26317 26318 26319 26320 26321 26322 26323 26324 26325 26326 26327 26328 26329 26330 26331 26332 26333 26334 26335 26336 26337 26338 26339 26340 26341 26342 26343 26344 26345 26346 26347 26349 26350 26351 26354 26355 26356 26357 26358 26397 26398 26399 26436 26437 26438 26476 26477 26478 26481 26482 26483 26484 26485 26486 26487 26518 26519 26520 26521 26522 26523 26525 26526 26539 26540 26541 26554 26555 26556 26685 26686 26687 26688 26689 26690 26691 26692 26693 26694 26695 26696 26697 26698 26699 26700 26701 26702 26703 26704 26705 26706 26708 26710 26711 26712 26713 26714 26715 26716 26717 26718 26719 26720 26722 26724 26725 26726 26727 26728 26729 26730 26731 26732 26733 26734 26736 26737 26739 26742 26745 26746 26747 26748 26749 26751 26759 26760 26761 26762 26763 26765 26773 26774 26775 26776 26777 26778 26779 26780 26781 26782 26783 26784 26785 26786 26787 26788 26789 26790 26791 26792 26793 26794 26795 26796 26797 26798 26799 26800 26801 26802 26803 26804 26805 26806 26807 26808 26809 26810 26811 26812 26813 26814 26815 26818 26819 27029 27030 27031 27032 27033 27034 27035 27036 27037 27038 27039 27040 27041 27042 27043 27044 27045 27046 27047 27048 27049 27050 27051 27052 27053 27054 27055 27056 27057 27058 27059 27060 27061 27062 27063 27064 27065 27066 27067 27069 27070 27071 27073 27074 27075 27076 27077 27078 27079 27080 27081 27082 27083 27084 27085 27086 27087 27088 27089 27090 27091 27092 27093 27094 27095 27096 27097 27098 27099 27100 27101 27102 27103 27104 27105 27106 27107 27108 27109 27110 27111 27112 27113 27114 27115 27116 27117 27118 27119 27120 27121 27122 27123 27124 27125 27126 27127 27128 27129 27130 27131 27132 27133 27134 27135 27136 27137 27138 27139 27140 27141 27142 27143 27144 27145 27146 27147 27159 27160 27161 27162 27163 27164 27165 27166 27167 27168 27169 27170 27171 27172 27173 27174 27175 27176 27177 27178 27179 27180 27181 27182 27184 27185 27186 27187 27189 27190 27191 27192 27194 27195 27196 27198 27199 27200 27202 27203 27204 27206 27207 27208 27210 27211 27213 27214 27216 27217 27219 27220 27222 27223 27225 27226 27234 27236 27238 27239 27240 27260 27261 27262 27267 27268 27269 27347 27348 27349 27350 27351 27352 27353 27354 27355 27356 27357 27358 27359 27360 27361 27362 27363 27364 27411 27412 27413 27414 27415 27416 27417 27418 27419 27421 27464 27465 27468 27469 27470 27471 27481 27482 27483 27521 27522 27523 27524 27525 27526 27527 27528 27529 27530 27531 27532 27533 27534 27535 27536 27537 27538 27539 27540 27541 27542 27543 27544 27545 27546 27547 27548 27565 27566 27567 27568 27569 27570 27571 27572 27573 27574 27575 27576 27577 27578 27579 27580 27581 27582 27583 27584 27585 27586 27587 27588 27589 27590 27591 27592 27593 27594 27595 27638 27639 27640 27684 27685 27686 27687 27688 27733 27775 27776 27779 27780 27781 27782 27783 27784 27785 27786 27796 27797 27798 27799 27837 27838 27839 27840 27841 27842 27843 27844 27845 27846 27857 27858 27859 27860 27861 27862 27863 27864 27865 27866 27867 27868 27874 27915 27916 27917 27918 27919 27920 27921 27922 27923 27924 27925 27926 27927 27931 27932 27933 27934 27935 27936 27937 27944 27946 27947 27967 27968 27969 27970 27971 27972 27973 27974 27975 27976 27977 27978 27979 27980 27981 27982 27983 27984 27985 27986 27987 27988 27989 27990 27991 27992 27993 27994 27995 27996 27997 27998 27999 28000 28001 28045 28046 28047 28048 28049 28050 28051 28052 28053 28054 28055 28056 28057 28058 28059 28060 28061 28062 28063 28067 28068 28069 28070 28071 28072 28073 28074 28075 28076 28077 28121 28122 28123 28124 28125 28126 28127 28128 28129 28130 28131 28132 28133 28134 28135 28136 28137 28138 28199 28239 28240 28243 28244 28245 28286 28287 28288 28328 28329 28330 28331 28332 28376 28416 28417 28420 28421 28422 28423 28424 28428 28429 28430 28431 28432 28433 28437 28438 28439 28440 28441 28442 28443 28444 28445 28545 28546 28547 28550 28551 28592 28593 28594 28634 28635 28636 28637 28638 28639 28722 28723 28724 28727 28728 28729 28730 28731 28735 28736 28737 28738 28739 28740 28744 28745 28746 28747 28748 28749 28750 28751 28752 28852 28853 28854 28857 28858 28899 28900 28901 28941 28942 28943 28944 28945 28946 29029 29030 29031 29034 29035 29036 29037 29038 29042 29043 29044 29045 29046 29047 29051 29052 29053 29054 29055 29056 29057 29058 29059 29159 29160 29161 29164 29165 29206 29207 29208 29248 29249 29250 29251 29252 29253 29336 29337 29338 29341 29342 29343 29344 29345 29349 29350 29351 29352 29353 29354 29358 29359 29360 29361 29362 29363 29364 29365 29366 29466 29467 29468 29471 29472 29513 29514 29515 29555 29556 29557 29558 29559 29560 29643 29644 29645 29648 29649 29650 29651 29652 29656 29657 29658 29659 29660 29661 29665 29666 29667 29668 29669 29670 29671 29672 29673 29773 29774 29775 29778 29779 29820 29821 29822 29862 29863 29864 29865 29866 29867 29950 29951 29952 29955 29956 29957 29958 29959 29963 29964 29965 29966 29967 29968 29972 29973 29974 29975 29976 29977 29978 29979 29980 30080 30081 30082 30085 30086 30127 30128 30129 30169 30170 30171 30172 30173 30174 30257 30258 30259 30262 30263 30264 30265 30266 30270 30271 30272 30273 30274 30275 30279 30280 30281 30282 30283 30284 30285 30286 30287 30327 30328 30329 30330 30332 30333 30334 30335 30336 30337 30338 30339 30340 30341 30342 30343 30344 30345 30346 30347 30348 30349 30350 30351 30352 30353 30354 30355 30356 30357 30358 30359 30360 30361 30362 30363 30364 30365 30366 30367 30368 30369 30370 30371 30372 30373 30374 30375 30376 30377 30380 30381 30382 30383 30384 30423 30424 30425 30426 30427 30458 30459 30460 30461 30462 30463 30464 30502 30503 30504 30507 30508 30509 30510 30511 30512 30513 30544 30545 30546 30547 30548 30549 30551 30552 30565 30566 30567 30580 30581 30582 30711 30712 30713 30714 30715 30716 30717 30718 30719 30720 30721 30722 30723 30724 30725 30726 30727 30728 30729 30730 30731 30732 30733 30734 30735 30736 30737 30738 30739 30740 30741 30742 30743 30744 30745 30746 30748 30750 30751 30752 30753 30754 30755 30756 30757 30758 30765 30769 30770 30771 30772 30773 30774 30775 30777 30785 30786 30787 30788 30789 30791 30799 30800 30801 30802 30803 30804 30805 30806 30807 30808 30809 30810 30811 30812 30813 30814 30815 30816 30817 30818 30819 30820 30821 30822 30823 30824 30825 30826 30827 30828 30829 30830 30831 30832 30833 30834 30835 30836 30837 30838 30839 30840 30841 30844 30845 31055 31070 31071 31072 31073 31074 31075 31076 31077 31078 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31090 31091 31092 31093 31095 31096 31097 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 31136 31137 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 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 31210 31211 31212 31213 31215 31216 31217 31218 31220 31221 31222 31224 31225 31226 31228 31229 31230 31232 31233 31234 31236 31237 31239 31240 31242 31243 31245 31246 31248 31249 31251 31252 31260 31262 31264 31265 31266 31286 31287 31288 31293 31294 31295 31373 31374 31375 31376 31377 31378 31379 31380 31381 31382 31383 31384 31385 31386 31387 31388 31389 31390 31437 31438 31439 31440 31441 31442 31443 31444 31445 31447 31490 31491 31494 31495 31496 31497 31507 31508 31509 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 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 31664 31665 31666 31710 31711 31712 31713 31714 31759 31801 31802 31805 31806 31807 31808 31809 31810 31811 31812 31822 31823 31824 31825 31863 31864 31865 31866 31867 31868 31869 31870 31871 31872 31881 31882 31883 31884 31885 31886 31887 31888 31889 31890 31891 31892 31893 31894 31895 31896 31897 31898 31899 31900 31901 31902 31903 31904 31905 31906 31907 31926 31927 31928 31929 31930 31931 31932 31933 31934 31935 31936 31937 31938 31939 31940 31941 31942 31943 31944 31945 31946 31947 31948 31949 31950 31951 31952 31953 31957 31958 31959 31960 31961 31962 31963 32006 32007 32008 32009 32010 32011 32012 32013 32014 32015 32016 32017 32018 32019 32020 32021 32022 32023 32024 32025 32026 32027 32028 32029 32030 32031 32032 32033 32034 32035 32036 32037 32038 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 32074 32075 32076 32077 32078 32079 32080 32081 32082 32083 32084 32085 32086 32087 32088 32089 32093 32094 32095 32096 32097 32098 32099 32100 32101 32102 32103 32104 32105 32106 32107 32108 32109 32110 32111 32112 32113 32114 32133 32134 32135 32136 32137 32138 32139 32140 32141 32142 32143 32144 32145 32146 32147 32148 32149 32150 32151 32152 32153 32154 32155 32156 32157 32158 32159 32160 32161 32162 32163 32164 32225 32265 32266 32269 32270 32271 32312 32313 32314 32354 32355 32356 32357 32358 32402 32442 32443 32446 32447 32448 32449 32450 32454 32455 32456 32457 32458 32459 32463 32464 32465 32466 32467 32468 32469 32470 32471 32571 32572 32573 32576 32577 32618 32619 32620 32660 32661 32662 32663 32664 32665 32748 32749 32750 32753 32754 32755 32756 32757 32761 32762 32763 32764 32765 32766 32770 32771 32772 32773 32774 32775 32776 32777 32778 32878 32879 32880 32883 32884 32925 32926 32927 32967 32968 32969 32970 32971 32972 33055 33056 33057 33060 33061 33062 33063 33064 33068 33069 33070 33071 33072 33073 33077 33078 33079 33080 33081 33082 33083 33084 33085 33185 33186 33187 33190 33191 33232 33233 33234 33274 33275 33276 33277 33278 33279 33362 33363 33364 33367 33368 33369 33370 33371 33375 33376 33377 33378 33379 33380 33384 33385 33386 33387 33388 33389 33390 33391 33392 33492 33493 33494 33497 33498 33539 33540 33541 33581 33582 33583 33584 33585 33586 33669 33670 33671 33674 33675 33676 33677 33678 33682 33683 33684 33685 33686 33687 33691 33692 33693 33694 33695 33696 33697 33698 33699 33799 33800 33801 33804 33805 33846 33847 33848 33888 33889 33890 33891 33892 33893 33976 33977 33978 33981 33982 33983 33984 33985 33989 33990 33991 33992 33993 33994 33998 33999 34000 34001 34002 34003 34004 34005 34006 34106 34107 34108 34111 34112 34153 34154 34155 34195 34196 34197 34198 34199 34200 34283 34284 34285 34288 34289 34290 34291 34292 34296 34297 34298 34299 34300 34301 34305 34306 34307 34308 34309 34310 34311 34312 34313 34353 34354 34355 34356 34358 34359 34360 34361 34362 34363 34364 34365 34366 34367 34368 34369 34370 34371 34372 34373 34374 34375 34376 34377 34378 34379 34380 34381 34382 34383 34384 34385 34386 34387 34388 34389 34390 34391 34392 34393 34394 34395 34396 34397 34398 34399 34400 34401 34402 34403 34406 34407 34408 34409 34410 34449 34450 34451 34488 34489 34490 34528 34529 34530 34533 34574 34575 34577 34578 34591 34592 34593 34606 34607 34608 34737 34738 34739 34740 34741 34742 34743 34744 34745 34746 34747 34748 34749 34750 34751 34752 34753 34754 34755 34756 34757 34758 34759 34760 34761 34762 34763 34764 34765 34766 34767 34768 34769 34770 34771 34772 34774 34776 34777 34778 34779 34780 34781 34782 34783 34784 34785 34786 34788 34789 34791 34794 34796 34797 34798 34799 34800 34801 34803 34811 34812 34813 34814 34815 34817 34825 34826 34827 34828 34829 34830 34831 34832 34833 34834 34835 34836 34837 34838 34839 34840 34841 34842 34843 34844 34845 34846 34847 34848 34849 34850 34851 34852 34853 34854 34855 34856 34857 34858 34859 34860 34861 34862 34863 34864 34865 34866 34867 34870 34871 35081 35095 35096 35097 35098 35099 35100 35101 35102 35103 35104 35105 35106 35107 35108 35109 35110 35111 35112 35113 35114 35115 35116 35117 35118 35119 35121 35122 35123 35125 35126 35127 35128 35129 35130 35131 35132 35133 35134 35135 35136 35137 35138 35139 35140 35141 35142 35143 35144 35145 35146 35147 35148 35149 35150 35151 35152 35153 35154 35155 35156 35157 35158 35159 35160 35162 35163 35172 35173 35174 35175 35176 35177 35178 35179 35180 35181 35182 35183 35184 35185 35186 35187 35188 35189 35190 35191 35192 35193 35194 35195 35196 35197 35198 35199 35211 35212 35213 35214 35215 35216 35217 35218 35219 35220 35221 35222 35223 35224 35225 35226 35227 35228 35229 35230 35231 35232 35233 35234 35236 35237 35238 35239 35241 35242 35243 35244 35246 35247 35248 35250 35251 35252 35254 35255 35256 35258 35259 35260 35262 35263 35265 35266 35268 35269 35271 35272 35274 35275 35277 35278 35280 35281 35286 35288 35290 35291 35292 35312 35313 35314 35319 35320 35321 35399 35400 35401 35402 35403 35404 35405 35406 35407 35408 35409 35410 35411 35412 35413 35414 35415 35416 35463 35464 35465 35466 35467 35468 35469 35470 35471 35473 35516 35517 35520 35521 35522 35523 35524 35525 35526 35527 35528 35529 35530 35531 35532 35533 35534 35535 35536 35553 35554 35555 35556 35557 35558 35559 35560 35561 35562 35563 35564 35565 35566 35567 35568 35569 35570 35571 35572 35573 35574 35575 35576 35577 35578 35579 35580 35581 35582 35583 35584 35585 35586 35587 35588 35589 35590 35591 35592 35593 35594 35595 35596 35597 35598 35599 35600 35617 35618 35619 35620 35621 35622 35623 35624 35625 35626 35627 35628 35629 35630 35631 35632 35633 35634 35635 35636 35637 35638 35639 35640 35641 35642 35643 35644 35645 35646 35647 35690 35691 35692 35736 35737 35738 35739 35740 35785 35827 35828 35831 35832 35833 35834 35835 35836 35837 35838 35839 35840 35841 35842 35843 35844 35845 35846 35847 35848 35849 35850 35851 35852 35869 35870 35871 35872 35873 35874 35875 35876 35877 35878 35879 35880 35881 35882 35883 35884 35885 35886 35887 35888 35889 35890 35891 35892 35893 35894 35895 35896 35897 35898 35904 35905 35906 35907 35908 35909 35910 35911 35912 35913 35914 35915 35916 35917 35918 35919 35983 35984 35985 35986 35987 35988 35989 35996 35998 35999 36019 36020 36021 36022 36023 36024 36025 36026 36027 36028 36029 36030 36031 36032 36033 36034 36035 36036 36037 36038 36039 36040 36041 36042 36043 36044 36045 36046 36047 36048 36049 36050 36051 36052 36053 36097 36098 36099 36100 36101 36102 36103 36104 36105 36106 36107 36108 36109 36110 36111 36112 36113 36114 36115 36119 36120 36121 36122 36123 36124 36125 36126 36127 36128 36129 36173 36174 36175 36176 36177 36178 36179 36180 36181 36182 36183 36184 36185 36186 36187 36188 36189 36190 36251 36291 36292 36295 36296 36297 36338 36339 36340 36380 36381 36382 36383 36384 36428 36468 36469 36472 36473 36474 36475 36476 36480 36481 36482 36483 36484 36485 36489 36490 36491 36492 36493 36494 36495 36496 36497 36597 36598 36599 36602 36603 36644 36645 36646 36686 36687 36688 36689 36690 36691 36774 36775 36776 36779 36780 36781 36782 36783 36787 36788 36789 36790 36791 36792 36796 36797 36798 36799 36800 36801 36802 36803 36804 36904 36905 36906 36909 36910 36951 36952 36953 36993 36994 36995 36996 36997 36998 37081 37082 37083 37086 37087 37088 37089 37090 37094 37095 37096 37097 37098 37099 37103 37104 37105 37106 37107 37108 37109 37110 37111 37211 37212 37213 37216 37217 37258 37259 37260 37300 37301 37302 37303 37304 37305 37388 37389 37390 37393 37394 37395 37396 37397 37401 37402 37403 37404 37405 37406 37410 37411 37412 37413 37414 37415 37416 37417 37418 37518 37519 37520 37523 37524 37565 37566 37567 37607 37608 37609 37610 37611 37612 37695 37696 37697 37700 37701 37702 37703 37704 37708 37709 37710 37711 37712 37713 37717 37718 37719 37720 37721 37722 37723 37724 37725 37825 37826 37827 37830 37831 37872 37873 37874 37914 37915 37916 37917 37918 37919 38002 38003 38004 38007 38008 38009 38010 38011 38015 38016 38017 38018 38019 38020 38024 38025 38026 38027 38028 38029 38030 38031 38032 38132 38133 38134 38137 38138 38179 38180 38181 38221 38222 38223 38224 38225 38226 38309 38310 38311 38314 38315 38316 38317 38318 38322 38323 38324 38325 38326 38327 38331 38332 38333 38334 38335 38336 38337 38338 38339 38379 38380 38381 38382 38384 38385 38386 38387 38388 38389 38390 38391 38392 38393 38394 38395 38396 38397 38398 38399 38400 38401 38402 38403 38404 38405 38406 38407 38408 38409 38410 38411 38412 38413 38414 38415 38416 38417 38418 38419 38420 38421 38422 38423 38424 38425 38426 38427 38428 38429 38432 38433 38434 38435 38436 38475 38476 38477 38514 38515 38516 38554 38555 38556 38559 38600 38601 38603 38604 38617 38618 38619 38632 38633 38634 38763 38764 38765 38766 38767 38768 38769 38770 38771 38772 38773 38774 38775 38776 38777 38778 38779 38780 38781 38782 38783 38784 38785 38786 38787 38788 38789 38790 38791 38792 38793 38794 38795 38796 38797 38798 38800 38802 38803 38804 38805 38806 38807 38808 38809 38810 38811 38812 38814 38815 38817 38820 38823 38824 38825 38826 38827 38829 38833 38837 38838 38839 38840 38841 38843 38847 38851 38852 38853 38854 38855 38856 38857 38858 38859 38860 38861 38862 38863 38864 38865 38866 38867 38868 38869 38870 38871 38872 38873 38874 38875 38876 38877 38878 38879 38880 38881 38882 38883 38884 38885 38886 38887 38888 38889 38890 38891 38892 38893 38896 38897 39107 39120 39121 39122 39123 39124 39125 39126 39127 39128 39129 39130 39131 39132 39133 39134 39135 39136 39137 39138 39139 39140 39141 39142 39143 39144 39145 39147 39148 39149 39151 39152 39153 39154 39155 39156 39157 39158 39159 39160 39161 39162 39163 39164 39165 39166 39167 39168 39169 39170 39171 39172 39173 39174 39175 39176 39177 39178 39179 39180 39181 39182 39183 39184 39185 39186 39188 39189 39198 39199 39200 39201 39202 39203 39204 39205 39206 39207 39208 39209 39210 39211 39212 39213 39214 39215 39216 39217 39218 39219 39220 39221 39222 39223 39224 39225 39237 39238 39239 39240 39241 39242 39243 39244 39245 39246 39247 39248 39249 39250 39251 39252 39253 39254 39255 39256 39257 39258 39259 39260 39262 39263 39264 39265 39267 39268 39269 39270 39272 39273 39274 39276 39277 39278 39280 39281 39282 39284 39285 39286 39288 39289 39291 39292 39294 39295 39297 39298 39300 39301 39303 39304 39306 39307 39309 39310 39312 39314 39316 39317 39318 39338 39339 39340 39345 39346 39347 39422 39423 39424 39425 39426 39427 39428 39429 39430 39431 39432 39433 39434 39435 39436 39437 39438 39439 39440 39441 39442 39443 39444 39445 39446 39447 39448 39449 39450 39451 39452 39468 39469 39470 39471 39472 39473 39474 39475 39476 39477 39478 39479 39480 39481 39482 39483 39484 39485 39486 39487 39488 39489 39490 39491 39492 39493 39494 39495 39496 39497 39499 39542 39543 39546 39547 39548 39549 39550 39551 39552 39553 39554 39555 39556 39557 39558 39559 39560 39561 39562 39578 39579 39580 39581 39582 39583 39584 39585 39586 39587 39588 39589 39590 39591 39592 39593 39594 39595 39596 39597 39598 39599 39600 39601 39602 39603 39604 39605 39606 39607 39608 39609 39610 39611 39612 39613 39614 39615 39616 39617 39618 39619 39620 39621 39622 39623 39624 39625 39626 39642 39643 39644 39645 39646 39647 39648 39649 39650 39651 39652 39653 39654 39655 39656 39657 39658 39659 39660 39661 39662 39663 39664 39665 39666 39667 39668 39669 39670 39671 39672 39673 39716 39717 39718 39762 39763 39764 39765 39766 39811 39853 39854 39857 39858 39859 39860 39861 39862 39863 39864 39865 39866 39867 39868 39869 39870 39871 39872 39873 39874 39875 39876 39877 39878 39894 39895 39896 39897 39898 39899 39900 39901 39902 39903 39904 39905 39906 39907 39908 39909 39910 39911 39912 39913 39914 39915 39916 39917 39918 39919 39920 39921 39922 39923 39924 39933 39934 39935 39936 39937 39938 39939 39940 39941 39942 39943 39944 39945 40009 40010 40011 40012 40013 40014 40015 40058 40059 40060 40061 40062 40063 40064 40065 40066 40067 40068 40069 40070 40071 40072 40073 40074 40075 40076 40077 40078 40079 40123 40124 40125 40126 40127 40128 40129 40130 40131 40132 40133 40134 40135 40136 40137 40138 40139 40140 40141 40145 40146 40147 40148 40149 40150 40151 40152 40153 40154 40155 40199 40200 40201 40202 40203 40204 40205 40206 40207 40208 40209 40210 40211 40212 40213 40214 40215 40216 40277 40317 40318 40321 40322 40323 40364 40365 40366 40406 40407 40408 40409 40410 40454 40494 40495 40498 40499 40500 40501 40502 40506 40507 40508 40509 40510 40511 40515 40516 40517 40518 40519 40520 40521 40522 40523 40623 40624 40625 40628 40629 40670 40671 40672 40712 40713 40714 40715 40716 40717 40800 40801 40802 40805 40806 40807 40808 40809 40813 40814 40815 40816 40817 40818 40822 40823 40824 40825 40826 40827 40828 40829 40830 40930 40931 40932 40935 40936 40977 40978 40979 41019 41020 41021 41022 41023 41024 41107 41108 41109 41112 41113 41114 41115 41116 41120 41121 41122 41123 41124 41125 41129 41130 41131 41132 41133 41134 41135 41136 41137 41237 41238 41239 41242 41243 41284 41285 41286 41326 41327 41328 41329 41330 41331 41414 41415 41416 41419 41420 41421 41422 41423 41427 41428 41429 41430 41431 41432 41436 41437 41438 41439 41440 41441 41442 41443 41444 41544 41545 41546 41549 41550 41591 41592 41593 41633 41634 41635 41636 41637 41638 41721 41722 41723 41726 41727 41728 41729 41730 41734 41735 41736 41737 41738 41739 41743 41744 41745 41746 41747 41748 41749 41750 41751 41851 41852 41853 41856 41857 41898 41899 41900 41940 41941 41942 41943 41944 41945 42028 42029 42030 42033 42034 42035 42036 42037 42041 42042 42043 42044 42045 42046 42050 42051 42052 42053 42054 42055 42056 42057 42058 42158 42159 42160 42163 42164 42205 42206 42207 42247 42248 42249 42250 42251 42252 42335 42336 42337 42340 42341 42342 42343 42344 42348 42349 42350 42351 42352 42353 42357 42358 42359 42360 42361 42362 42363 42364 42365 42405 42406 42407 42408 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 42458 42459 42460 42461 42462 42501 42502 42503 42540 42541 42542 42580 42581 42582 42585 42626 42627 42629 42630 42643 42644 42645 42658 42659 42660 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 42840 42841 42846 42849 42851 42852 42853 42855 42863 42865 42866 42867 42869 42877 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 42922 42923 43133 43144 43145 43146 43147 43148 43149 43150 43151 43152 43153 43154 43155 43156 43157 43158 43159 43160 43161 43162 43163 43164 43165 43166 43167 43168 43169 43170 43171 43173 43174 43175 43177 43178 43179 43180 43181 43182 43183 43184 43185 43186 43187 43188 43189 43190 43191 43192 43193 43194 43195 43196 43197 43198 43199 43200 43201 43202 43203 43204 43205 43206 43207 43208 43209 43210 43211 43212 43214 43215 43222 43223 43224 43225 43226 43227 43228 43229 43230 43231 43232 43233 43234 43235 43236 43237 43238 43239 43240 43241 43242 43243 43244 43245 43246 43247 43248 43249 43250 43251 43262 43263 43264 43265 43266 43267 43268 43269 43270 43271 43272 43273 43274 43275 43276 43277 43278 43279 43280 43281 43282 43283 43284 43285 43286 43288 43289 43290 43291 43293 43294 43295 43296 43298 43299 43300 43302 43303 43304 43306 43307 43308 43310 43311 43312 43314 43315 43317 43318 43320 43321 43323 43324 43326 43327 43329 43330 43332 43333 43335 43336 43338 43340 43342 43343 43344 43364 43365 43366 43371 43372 43373 43443 43444 43447 43448 43449 43450 43451 43452 43453 43454 43455 43456 43457 43458 43459 43460 43461 43462 43463 43464 43465 43466 43467 43468 43469 43470 43471 43472 43473 43474 43475 43476 43477 43478 43494 43495 43496 43497 43498 43499 43500 43501 43502 43503 43504 43505 43506 43507 43508 43509 43510 43511 43512 43513 43514 43515 43516 43517 43518 43519 43520 43521 43522 43523 43525 43568 43569 43572 43573 43574 43575 43576 43577 43578 43579 43580 43581 43582 43583 43584 43585 43586 43587 43588 43604 43605 43606 43607 43608 43609 43610 43611 43612 43613 43614 43615 43616 43617 43618 43619 43620 43621 43622 43623 43624 43625 43626 43627 43628 43629 43630 43631 43632 43633 43635 43636 43637 43638 43639 43640 43641 43642 43643 43644 43645 43646 43647 43648 43649 43650 43651 43652 43668 43669 43670 43671 43672 43673 43674 43675 43676 43677 43678 43679 43680 43681 43682 43683 43684 43685 43686 43687 43688 43689 43690 43691 43692 43693 43694 43695 43696 43697 43699 43742 43744 43788 43789 43837 43879 43880 43887 43888 43889 43890 43891 43892 43893 43894 43895 43896 43897 43898 43899 43900 43901 43902 43903 43904 43920 43921 43922 43923 43924 43925 43926 43927 43928 43929 43930 43931 43932 43933 43934 43935 43936 43937 43938 43939 43940 43941 43942 43943 43944 43945 43946 43947 43948 43949 43955 43956 43957 43958 43959 43960 43961 43962 43963 43964 43965 43966 43967 43968 43969 43970 43971 43972 43973 43974 43975 43976 43977 43978 44018 44019 44020 44021 44022 44023 44024 44025 44026 44027 44028 44029 44030 44031 44035 44036 44037 44038 44039 44040 44041 44084 44085 44086 44087 44088 44089 44090 44091 44092 44093 44094 44095 44096 44097 44099 44100 44101 44102 44103 44104 44105 44149 44150 44151 44152 44153 44154 44155 44156 44157 44158 44159 44160 44161 44162 44175 44176 44177 44178 44179 44180 44181 44182 44183 44184 44185 44186 44187 44188 44189 44190 44191 44192 44211 44212 44213 44214 44215 44216 44217 44218 44219 44220 44221 44222 44223 44224 44225 44226 44227 44228 44229 44230 44231 44232 44233 44234 44235 44236 44237 44238 44303 44343 44344 44349 44390 44392 44432 44433 44480 44520 44521 44649 44650 44651 44696 44697 44738 44739 44740 44826 44827 44828 44956 44957 44958 45003 45004 45045 45046 45047 45133 45134 45135 45263 45264 45265 45310 45311 45352 45353 45354 45440 45441 45442 45570 45571 45572 45617 45618 45659 45660 45661 45747 45748 45749 45877 45878 45879 45924 45925 45966 45967 45968 46054 46055 46056 46184 46185 46186 46231 46232 46273 46274 46275 46361 46362 46363 46431 46432 46433 46434 46436 46437 46438 46439 46440 46441 46442 46443 46444 46445 46446 46447 46448 46449 46450 46451 46452 46453 46454 46455 46456 46457 46458 46459 46460 46461 46462 46463 46464 46465 46466 46467 46468 46469 46470 46471 46472 46473 46474 46475 46476 46477 46478 46479 46480 46481 46484 46485 46486 46487 46488 46527 46528 46529 46566 46567 46568 46606 46607 46608 46611 46652 46653 46655 46656 46669 46670 46671 46684 46685 46686 46815 46816 46817 46818 46819 46820 46821 46822 46823 46824 46825 46826 46827 46828 46829 46830 46831 46832 46833 46834 46835 46836 46837 46838 46839 46840 46841 46842 46843 46844 46845 46846 46847 46848 46849 46850 46851 46852 46853 46854 46855 46856 46857 46858 46859 46860 46861 46862 46863 46869 46876 46877 46878 46879 46881 46891 46892 46893 46895 46896 46897 46902 46903 46905 46906 46907 46908 46909 46910 46911 46912 46913 46914 46915 46916 46917 46918 46919 46920 46921 46922 46923 46924 46925 46926 46927 46928 46929 46930 46931 46932 46933 46934 46935 46936 46937 46938 46939 46940 46941 46942 46943 46944 46945 46948 46949 47159 47170 47171 47172 47173 47174 47175 47176 47177 47178 47179 47180 47181 47182 47183 47184 47185 47186 47187 47188 47189 47190 47191 47192 47193 47194 47195 47196 47197 47199 47200 47201 47203 47204 47205 47206 47207 47208 47209 47210 47211 47212 47213 47214 47215 47216 47217 47218 47219 47220 47221 47222 47223 47224 47225 47226 47227 47228 47229 47230 47231 47232 47233 47234 47235 47236 47237 47238 47240 47241 47251 47252 47253 47254 47255 47256 47257 47258 47259 47260 47261 47262 47263 47264 47265 47266 47267 47268 47269 47270 47271 47272 47273 47274 47275 47276 47277 47289 47290 47291 47292 47293 47294 47295 47296 47297 47298 47299 47300 47301 47302 47303 47304 47305 47306 47307 47308 47309 47310 47311 47312 47314 47315 47316 47317 47319 47320 47321 47322 47324 47325 47326 47328 47329 47330 47332 47333 47334 47336 47337 47338 47340 47341 47343 47344 47346 47347 47349 47350 47352 47353 47355 47356 47358 47359 47361 47362 47364 47366 47368 47369 47370 47390 47391 47392 47397 47398 47399 47469 47470 47473 47474 47475 47476 47477 47478 47479 47480 47481 47482 47483 47484 47485 47486 47487 47488 47489 47490 47491 47492 47493 47494 47495 47496 47497 47498 47499 47500 47501 47502 47503 47504 47520 47521 47522 47523 47524 47525 47526 47527 47528 47529 47530 47531 47532 47533 47534 47535 47536 47537 47538 47539 47540 47541 47542 47543 47544 47545 47546 47547 47548 47549 47551 47594 47595 47598 47599 47600 47601 47602 47603 47604 47605 47606 47607 47608 47609 47610 47611 47612 47613 47614 47630 47631 47632 47633 47634 47635 47636 47637 47638 47639 47640 47641 47642 47643 47644 47645 47646 47647 47648 47649 47650 47651 47652 47653 47654 47655 47656 47657 47658 47659 47661 47662 47663 47664 47665 47666 47667 47668 47669 47670 47671 47672 47673 47674 47675 47676 47677 47678 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 47725 47768 47770 47814 47815 47863 47905 47906 47913 47914 47915 47916 47917 47918 47919 47920 47921 47922 47923 47924 47925 47926 47927 47928 47929 47930 47946 47947 47948 47949 47950 47951 47952 47953 47954 47955 47956 47957 47958 47959 47960 47961 47962 47963 47964 47965 47966 47967 47968 47969 47970 47971 47972 47973 47974 47975 47979 47980 47981 47982 47983 47984 47985 47986 47987 47988 47989 47990 47991 47992 47993 47994 47995 47996 47997 48015 48023 48024 48025 48026 48027 48028 48029 48030 48031 48032 48033 48034 48035 48036 48037 48038 48039 48040 48041 48042 48043 48044 48045 48046 48047 48048 48049 48050 48051 48052 48053 48054 48055 48056 48057 48061 48062 48063 48064 48065 48066 48067 48068 48069 48070 48071 48072 48073 48077 48078 48079 48080 48081 48088 48089 48090 48091 48092 48093 48094 48095 48096 48097 48098 48099 48100 48101 48102 48103 48104 48105 48106 48107 48108 48109 48110 48111 48112 48113 48114 48115 48116 48117 48118 48119 48120 48121 48122 48123 48125 48126 48127 48128 48129 48130 48131 48132 48133 48134 48135 48136 48137 48142 48143 48144 48145 48146 48153 48154 48155 48156 48157 48158 48159 48160 48161 48162 48163 48164 48165 48166 48167 48168 48169 48170 48171 48172 48173 48174 48175 48176 48177 48178 48179 48180 48181 48182 48183 48184 48185 48186 48187 48188 48201 48202 48203 48204 48205 48206 48207 48208 48209 48210 48211 48212 48213 48214 48215 48216 48217 48218 48219 48220 48221 48222 48229 48230 48231 48232 48233 48234 48235 48236 48237 48238 48239 48240 48241 48242 48243 48244 48245 48246 48247 48248 48249 48250 48251 48252 48253 48254 48255 48256 48257 48258 48259 48260 48261 48262 48263 48264 48329 48369 48370 48375 48416 48418 48458 48459 48506 48546 48547 48675 48676 48677 48722 48723 48764 48765 48766 48852 48853 48854 48982 48983 48984 49029 49030 49071 49072 49073 49159 49160 49161 49289 49290 49291 49336 49337 49378 49379 49380 49466 49467 49468 49596 49597 49598 49643 49644 49685 49686 49687 49773 49774 49775 49903 49904 49905 49950 49951 49992 49993 49994 50080 50081 50082 50210 50211 50212 50257 50258 50299 50300 50301 50387 50388 50389 50457 50458 50459 50460 50462 50463 50464 50465 50466 50467 50468 50469 50470 50471 50472 50473 50474 50475 50476 50477 50478 50479 50480 50481 50482 50483 50484 50485 50486 50487 50488 50489 50490 50491 50492 50493 50494 50495 50496 50497 50498 50499 50500 50501 50502 50503 50504 50505 50506 50507 50510 50511 50512 50513 50514 50553 50554 50555 50592 50593 50594 50632 50633 50634 50637 50678 50679 50681 50682 50695 50696 50697 50710 50711 50712 50841 50842 50843 50844 50845 50846 50847 50848 50849 50850 50851 50852 50853 50854 50855 50856 50857 50858 50859 50860 50861 50862 50863 50864 50865 50866 50867 50868 50869 50870 50871 50872 50873 50874 50875 50876 50877 50878 50879 50880 50881 50882 50883 50884 50885 50886 50887 50888 50903 50904 50905 50907 50917 50918 50919 50921 50922 50923 50928 50929 50931 50932 50933 50934 50935 50936 50937 50938 50939 50940 50941 50942 50943 50944 50945 50946 50947 50948 50949 50950 50951 50952 50953 50954 50955 50956 50957 50958 50959 50960 50961 50962 50963 50964 50965 50966 50967 50968 50969 50970 50971 50974 50975 51185 51186 51192 51193 51194 51195 51196 51197 51198 51199 51200 51201 51202 51203 51204 51205 51206 51207 51208 51209 51210 51211 51212 51213 51214 51215 51216 51217 51218 51219 51220 51221 51222 51223 51225 51226 51227 51229 51230 51231 51232 51233 51234 51235 51236 51237 51238 51239 51240 51241 51242 51243 51244 51245 51246 51247 51248 51249 51250 51251 51252 51253 51254 51255 51256 51257 51258 51259 51260 51261 51262 51263 51264 51266 51267 51272 51273 51274 51275 51276 51277 51278 51279 51280 51281 51282 51283 51284 51285 51286 51287 51288 51289 51290 51291 51292 51293 51294 51295 51296 51297 51298 51299 51300 51301 51302 51303 51315 51316 51317 51318 51319 51320 51321 51322 51323 51324 51325 51326 51327 51328 51329 51330 51331 51332 51333 51334 51335 51336 51337 51338 51340 51341 51342 51343 51345 51346 51347 51348 51350 51351 51352 51354 51355 51356 51358 51359 51360 51362 51363 51364 51366 51367 51369 51370 51372 51373 51375 51376 51378 51379 51381 51382 51384 51385 51390 51392 51394 51396 51397 51398 51399 51400 51401 51402 51403 51404 51405 51406 51407 51408 51409 51410 51411 51412 51413 51414 51416 51417 51418 51423 51424 51425 51495 51496 51499 51500 51501 51502 51503 51504 51505 51506 51507 51508 51509 51510 51511 51512 51513 51514 51515 51516 51517 51518 51519 51520 51521 51522 51523 51524 51525 51526 51527 51528 51529 51530 51546 51547 51548 51549 51550 51551 51552 51553 51554 51555 51556 51557 51558 51559 51560 51561 51562 51563 51564 51565 51566 51567 51568 51569 51570 51571 51572 51573 51574 51575 51577 51620 51621 51624 51625 51626 51627 51628 51629 51630 51631 51632 51633 51634 51635 51636 51637 51638 51639 51640 51656 51657 51658 51659 51660 51661 51662 51663 51664 51665 51666 51667 51668 51669 51670 51671 51672 51673 51674 51675 51676 51677 51678 51679 51680 51681 51682 51683 51684 51685 51687 51688 51689 51690 51691 51692 51693 51694 51695 51696 51697 51698 51699 51700 51701 51702 51703 51704 51720 51721 51722 51723 51724 51725 51726 51727 51728 51729 51730 51731 51732 51733 51734 51735 51736 51737 51738 51739 51740 51741 51742 51743 51744 51745 51746 51747 51748 51749 51751 51794 51795 51796 51840 51841 51843 51844 51889 51931 51932 51936 51937 51938 51939 51940 51941 51942 51943 51944 51945 51946 51947 51948 51949 51950 51951 51952 51953 51954 51955 51956 51972 51973 51974 51975 51976 51977 51978 51979 51980 51981 51982 51983 51984 51985 51986 51987 51988 51989 51990 51991 51992 51993 51994 51995 51996 51997 51998 51999 52000 52001 52002 52003 52004 52005 52006 52007 52008 52009 52010 52011 52012 52013 52014 52015 52016 52017 52018 52019 52020 52021 52022 52023 52024 52041 52049 52050 52051 52052 52053 52054 52055 52056 52057 52058 52059 52060 52061 52062 52063 52064 52065 52066 52067 52068 52069 52070 52071 52072 52073 52074 52075 52076 52077 52078 52079 52080 52081 52082 52083 52087 52088 52089 52090 52091 52092 52093 52094 52095 52096 52097 52098 52099 52103 52104 52105 52106 52107 52114 52115 52116 52117 52118 52119 52120 52121 52122 52123 52124 52125 52126 52127 52128 52129 52130 52131 52132 52133 52134 52135 52136 52137 52138 52139 52140 52141 52142 52143 52144 52145 52146 52147 52148 52149 52150 52151 52152 52153 52154 52155 52156 52157 52158 52159 52160 52161 52162 52163 52168 52169 52170 52171 52172 52179 52180 52181 52182 52183 52184 52185 52186 52187 52188 52189 52190 52191 52192 52193 52194 52195 52196 52197 52198 52199 52200 52201 52202 52203 52204 52205 52206 52207 52208 52209 52210 52211 52212 52213 52214 52215 52216 52217 52218 52219 52223 52224 52225 52226 52227 52228 52229 52230 52231 52232 52233 52234 52235 52236 52237 52238 52239 52244 52245 52246 52247 52248 52255 52256 52257 52258 52259 52260 52261 52262 52263 52264 52265 52266 52267 52268 52269 52270 52271 52272 52273 52274 52275 52276 52277 52278 52279 52280 52281 52282 52283 52284 52285 52286 52287 52288 52289 52290 52291 52293 52294 52355 52395 52396 52401 52442 52443 52444 52484 52485 52487 52488 52532 52572 52573 52577 52578 52579 52580 52584 52585 52586 52587 52588 52589 52593 52594 52595 52596 52597 52599 52600 52601 52701 52702 52703 52748 52749 52750 52790 52791 52792 52794 52795 52878 52879 52880 52884 52885 52886 52887 52891 52892 52893 52894 52895 52896 52900 52901 52902 52903 52904 52906 52907 52908 53008 53009 53010 53055 53056 53057 53097 53098 53099 53101 53102 53185 53186 53187 53191 53192 53193 53194 53198 53199 53200 53201 53202 53203 53207 53208 53209 53210 53211 53213 53214 53215 53315 53316 53317 53362 53363 53364 53404 53405 53406 53408 53409 53492 53493 53494 53498 53499 53500 53501 53505 53506 53507 53508 53509 53510 53514 53515 53516 53517 53518 53520 53521 53522 53622 53623 53624 53669 53670 53671 53711 53712 53713 53715 53716 53799 53800 53801 53805 53806 53807 53808 53812 53813 53814 53815 53816 53817 53821 53822 53823 53824 53825 53827 53828 53829 53929 53930 53931 53976 53977 53978 54018 54019 54020 54022 54023 54106 54107 54108 54112 54113 54114 54115 54119 54120 54121 54122 54123 54124 54128 54129 54130 54131 54132 54134 54135 54136 54236 54237 54238 54283 54284 54285 54325 54326 54327 54329 54330 54413 54414 54415 54419 54420 54421 54422 54426 54427 54428 54429 54430 54431 54435 54436 54437 54438 54439 54441 54442 54443 54444 54445 54446 54447 54448 54449 54450 54451 54452 54453 54454 54455 54456 54457 54458 54459 54460 54461 54462 54463 54464 54465 54466 54467 54468 54469 54470 54471 54472 54473 54474 54475 54476 54477 54478 54479 54480 54481 54482 54483 54484 54485 54486 54488 54489 54490 54491 54492 54493 54494 54495 54496 54497 54498 54499 54500 54501 54502 54503 54504 54505 54506 54507 54508 54509 54510 54511 54512 54513 54514 54515 54516 54517 54518 54519 54520 54521 54522 54523 54524 54525 54526 54527 54528 54529 54530 54531 54532 54533 54536 54537 54538 54539 54540 54579 54580 54581 54618 54619 54620 54658 54659 54660 54663 54704 54705 54707 54708 54721 54722 54723 54736 54737 54738 54867 54868 54869 54870 54871 54872 54873 54874 54875 54876 54877 54878 54879 54880 54881 54882 54883 54884 54885 54886 54887 54888 54889 54890 54891 54892 54893 54894 54895 54896 54897 54898 54899 54900 54901 54902 54903 54904 54905 54906 54907 54908 54909 54910 54911 54912 54913 54914 54925 54926 54927 54929 54930 54931 54933 54941 54943 54944 54945 54947 54955 54957 54958 54959 54960 54961 54962 54963 54964 54965 54966 54967 54968 54969 54970 54971 54972 54973 54974 54975 54976 54977 54978 54979 54980 54981 54982 54983 54984 54985 54986 54987 54988 54989 54990 54991 54992 54993 54994 54995 54996 54997 55000 55001 55211 55212 55218 55219 55220 55221 55222 55223 55224 55225 55226 55227 55228 55229 55230 55231 55232 55233 55234 55235 55236 55237 55238 55239 55240 55241 55242 55243 55244 55245 55246 55247 55248 55249 55251 55252 55253 55255 55256 55257 55258 55259 55260 55261 55262 55263 55264 55265 55266 55267 55268 55269 55270 55271 55272 55273 55274 55275 55276 55277 55278 55279 55280 55281 55282 55283 55284 55285 55286 55287 55288 55289 55290 55292 55293 55298 55299 55300 55301 55302 55303 55304 55305 55306 55307 55308 55309 55310 55311 55312 55313 55314 55315 55316 55317 55318 55319 55320 55321 55322 55323 55324 55325 55326 55327 55328 55329 55341 55342 55343 55344 55345 55346 55347 55348 55349 55350 55351 55352 55353 55354 55355 55356 55357 55358 55359 55362 55363 55364 55366 55367 55368 55371 55372 55373 55377 55378 55384 55388 55398 55399 55401 55402 55410 55411 55413 55414 55416 55418 55420 55422 55423 55424 55425 55426 55427 55428 55429 55430 55431 55432 55433 55434 55435 55436 55437 55438 55439 55440 55442 55443 55444 55449 55450 55451 55521 55522 55525 55526 55527 55528 55529 55530 55531 55532 55533 55534 55535 55536 55537 55538 55539 55540 55541 55542 55543 55544 55545 55546 55593 55594 55595 55596 55597 55598 55599 55600 55601 55603 55646 55647 55650 55651 55652 55653 55654 55655 55656 55657 55658 55659 55660 55661 55662 55663 55664 55665 55666 55683 55684 55685 55686 55687 55688 55689 55690 55691 55692 55693 55694 55695 55696 55697 55698 55699 55700 55701 55702 55703 55704 55705 55706 55707 55708 55709 55710 55711 55713 55714 55715 55716 55717 55718 55719 55720 55721 55722 55723 55724 55725 55726 55727 55728 55729 55730 55747 55748 55749 55750 55751 55752 55753 55754 55755 55756 55757 55758 55759 55760 55761 55762 55763 55764 55765 55766 55767 55768 55769 55770 55771 55772 55773 55774 55775 55777 55820 55821 55822 55866 55867 55869 55870 55915 55957 55958 55962 55963 55964 55965 55966 55967 55968 55969 55970 55971 55972 55973 55974 55975 55976 55977 55978 55979 55980 55981 55982 55999 56000 56001 56002 56003 56004 56005 56006 56007 56008 56009 56010 56011 56012 56013 56014 56015 56016 56017 56018 56019 56020 56021 56022 56023 56024 56025 56026 56027 56028 56029 56030 56031 56032 56033 56034 56035 56036 56037 56038 56039 56040 56041 56042 56043 56044 56045 56046 56047 56048 56049 56050 56067 56075 56076 56077 56078 56079 56080 56081 56082 56083 56084 56085 56086 56087 56088 56089 56090 56091 56092 56093 56094 56095 56096 56097 56098 56099 56100 56101 56102 56103 56104 56105 56106 56107 56108 56109 56113 56114 56115 56116 56117 56118 56119 56120 56121 56122 56123 56124 56125 56126 56128 56129 56130 56131 56132 56133 56135 56137 56138 56139 56140 56141 56142 56143 56144 56145 56146 56147 56148 56149 56150 56151 56152 56153 56154 56155 56156 56157 56158 56159 56160 56161 56162 56163 56164 56165 56166 56167 56168 56169 56170 56171 56172 56173 56174 56175 56176 56177 56178 56179 56180 56181 56182 56183 56184 56185 56186 56187 56188 56189 56194 56195 56196 56197 56198 56205 56206 56207 56208 56209 56210 56211 56212 56213 56214 56215 56216 56217 56218 56219 56220 56221 56222 56223 56224 56225 56226 56227 56228 56229 56230 56231 56232 56233 56234 56235 56236 56237 56238 56239 56240 56241 56242 56243 56244 56245 56249 56250 56251 56252 56253 56254 56255 56256 56257 56258 56259 56260 56261 56262 56263 56264 56265 56270 56271 56272 56273 56274 56281 56282 56283 56284 56285 56286 56287 56288 56289 56290 56291 56292 56293 56294 56295 56296 56297 56298 56299 56300 56301 56302 56303 56304 56305 56306 56307 56308 56309 56310 56311 56312 56313 56314 56315 56316 56317 56319 56320 56381 56421 56422 56427 56468 56469 56470 56510 56511 56513 56514 56558 56598 56599 56603 56604 56605 56606 56610 56611 56612 56613 56614 56615 56619 56620 56621 56622 56623 56625 56626 56627 56727 56728 56729 56774 56775 56776 56816 56817 56818 56820 56821 56904 56905 56906 56910 56911 56912 56913 56917 56918 56919 56920 56921 56922 56926 56927 56928 56929 56930 56932 56933 56934 57034 57035 57036 57081 57082 57083 57123 57124 57125 57127 57128 57211 57212 57213 57217 57218 57219 57220 57224 57225 57226 57227 57228 57229 57233 57234 57235 57236 57237 57239 57240 57241 57341 57342 57343 57388 57389 57390 57430 57431 57432 57434 57435 57518 57519 57520 57524 57525 57526 57527 57531 57532 57533 57534 57535 57536 57540 57541 57542 57543 57544 57546 57547 57548 57648 57649 57650 57695 57696 57697 57737 57738 57739 57741 57742 57825 57826 57827 57831 57832 57833 57834 57838 57839 57840 57841 57842 57843 57847 57848 57849 57850 57851 57853 57854 57855 57955 57956 57957 58002 58003 58004 58044 58045 58046 58048 58049 58132 58133 58134 58138 58139 58140 58141 58145 58146 58147 58148 58149 58150 58154 58155 58156 58157 58158 58160 58161 58162 58262 58263 58264 58309 58310 58311 58351 58352 58353 58355 58356 58439 58440 58441 58445 58446 58447 58448 58452 58453 58454 58455 58456 58457 58461 58462 58463 58464 58465 58467 58468 58469 58470 58471 58472 58473 58474 58475 58476 58477 58478 58479 58480 58481 58482 58483 58484 58485 58486 58487 58488 58489 58490 58491 58492 58493 58494 58495 58496 58497 58498 58499 58500 58501 58502 58503 58504 58505 58506 58507 58508 58509 58510 58511 58512 58514 58515 58516 58517 58518 58519 58520 58521 58522 58523 58524 58525 58526 58527 58528 58529 58530 58531 58532 58533 58534 58535 58536 58537 58538 58539 58540 58541 58542 58543 58544 58545 58546 58547 58548 58549 58550 58551 58552 58553 58554 58555 58557 58558 58559 58562 58563 58564 58565 58566 58605 58606 58607 58644 58645 58646 58684 58685 58686 58689 58730 58731 58733 58734 58747 58748 58749 58762 58763 58764 58893 58894 58895 58896 58897 58898 58899 58900 58901 58902 58903 58904 58905 58906 58907 58908 58909 58910 58911 58912 58913 58914 58915 58916 58917 58918 58919 58920 58921 58922 58923 58924 58925 58926 58927 58928 58929 58930 58931 58932 58933 58934 58935 58936 58937 58938 58939 58940 58941 58942 58944 58945 58947 58950 58953 58954 58955 58956 58957 58959 58963 58967 58968 58969 58970 58971 58973 58977 58981 58982 58983 58984 58985 58986 58987 58988 58989 58990 58991 58992 58993 58994 58995 58996 58997 58998 58999 59000 59001 59002 59003 59004 59005 59006 59007 59008 59009 59010 59011 59012 59013 59014 59015 59016 59017 59018 59019 59020 59021 59022 59023 59026 59027 59237 59238 59244 59245 59246 59247 59248 59249 59250 59251 59252 59253 59254 59255 59256 59257 59258 59259 59260 59261 59262 59263 59264 59265 59266 59267 59268 59269 59270 59271 59272 59273 59275 59277 59278 59279 59281 59282 59283 59284 59285 59286 59287 59288 59289 59290 59291 59292 59293 59294 59295 59296 59297 59298 59299 59300 59301 59302 59303 59304 59305 59306 59307 59308 59309 59310 59311 59312 59313 59314 59315 59316 59317 59318 59319 59324 59325 59326 59327 59328 59329 59330 59331 59332 59333 59334 59335 59336 59337 59338 59339 59340 59341 59342 59343 59344 59345 59346 59347 59348 59349 59350 59351 59352 59353 59354 59355 59367 59368 59369 59370 59371 59372 59373 59374 59375 59376 59377 59378 59379 59380 59381 59382 59383 59384 59385 59387 59388 59389 59390 59392 59393 59394 59397 59398 59399 59410 59414 59436 59437 59439 59440 59442 59444 59446 59448 59449 59450 59451 59452 59453 59454 59455 59456 59457 59458 59459 59460 59461 59462 59463 59464 59465 59466 59468 59469 59470 59475 59476 59477 59547 59548 59551 59552 59553 59554 59555 59556 59557 59558 59559 59560 59561 59562 59563 59564 59565 59566 59567 59568 59569 59570 59571 59572 59573 59574 59575 59576 59577 59578 59579 59580 59581 59582 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 59629 59672 59673 59676 59677 59678 59679 59680 59681 59682 59683 59684 59685 59686 59687 59688 59692 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 59739 59740 59741 59742 59743 59744 59745 59746 59747 59748 59749 59750 59751 59756 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 59803 59846 59847 59848 59892 59893 59895 59896 59941 59983 59984 59988 59989 59990 59991 59992 59993 59994 59995 59996 59997 59998 59999 60000 60001 60002 60003 60008 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 60093 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 60139 60152 60154 60161 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 60265 60266 60267 60268 60269 60270 60271 60275 60276 60277 60278 60343 60345 60346 60407 60447 60448 60453 60494 60495 60496 60536 60537 60539 60540 60584 60624 60625 60629 60630 60631 60632 60636 60637 60638 60639 60640 60641 60645 60646 60647 60648 60649 60651 60652 60653 60753 60754 60755 60800 60801 60802 60842 60843 60844 60846 60847 60930 60931 60932 60936 60937 60938 60939 60943 60944 60945 60946 60947 60948 60952 60953 60954 60955 60956 60958 60959 60960 61060 61061 61062 61107 61108 61109 61149 61150 61151 61153 61154 61237 61238 61239 61243 61244 61245 61246 61250 61251 61252 61253 61254 61255 61259 61260 61261 61262 61263 61265 61266 61267 61367 61368 61369 61414 61415 61416 61456 61457 61458 61460 61461 61544 61545 61546 61550 61551 61552 61553 61557 61558 61559 61560 61561 61562 61566 61567 61568 61569 61570 61572 61573 61574 61674 61675 61676 61721 61722 61723 61763 61764 61765 61767 61768 61851 61852 61853 61857 61858 61859 61860 61864 61865 61866 61867 61868 61869 61873 61874 61875 61876 61877 61879 61880 61881 61981 61982 61983 62028 62029 62030 62070 62071 62072 62074 62075 62158 62159 62160 62164 62165 62166 62167 62171 62172 62173 62174 62175 62176 62180 62181 62182 62183 62184 62186 62187 62188 62288 62289 62290 62335 62336 62337 62377 62378 62379 62381 62382 62465 62466 62467 62471 62472 62473 62474 62478 62479 62480 62481 62482 62483 62487 62488 62489 62490 62491 62493 62494 62495 62496 62497 62498 62499 62500 62501 62502 62503 62504 62505 62506 62507 62508 62509 62510 62511 62512 62513 62514 62515 62516 62517 62518 62519 62520 62521 62522 62523 62524 62525 62526 62527 62528 62529 62530 62531 62532 62533 62534 62535 62536 62537 62538 62540 62541 62542 62543 62544 62545 62546 62547 62548 62549 62550 62551 62552 62553 62554 62555 62556 62557 62558 62559 62560 62561 62562 62563 62564 62565 62566 62567 62568 62569 62570 62571 62572 62573 62574 62575 62576 62577 62578 62579 62580 62581 62582 62583 62584 62585 62588 62589 62590 62591 62592 62631 62632 62633 62670 62671 62672 62710 62711 62712 62715 62756 62757 62759 62760 62773 62774 62775 62788 62789 62790 62919 62920 62921 62922 62923 62924 62928 62929 62930 62931 62932 62933 62934 62935 62936 62937 62938 62939 62940 62944 62945 62946 62947 62948 62949 62950 62951 62952 62953 62954 62958 62959 62960 62965 62966 62967 62973 62980 62982 62983 62985 62989 62994 62995 62996 62997 62999 63003 63008 63009 63010 63011 63012 63013 63014 63015 63016 63017 63018 63019 63020 63021 63022 63023 63024 63025 63026 63027 63028 63029 63030 63031 63032 63033 63034 63035 63036 63037 63038 63039 63040 63041 63042 63043 63044 63045 63046 63047 63048 63049 63052 63053 63264 63271 63272 63273 63274 63275 63276 63277 63278 63279 63280 63281 63282 63283 63284 63285 63286 63287 63288 63289 63290 63291 63292 63293 63294 63295 63296 63297 63298 63299 63300 63301 63303 63304 63305 63307 63308 63309 63310 63311 63312 63313 63314 63315 63316 63317 63318 63319 63320 63321 63322 63323 63324 63325 63326 63327 63328 63329 63330 63331 63332 63333 63334 63335 63336 63337 63338 63339 63340 63341 63342 63344 63345 63350 63351 63352 63353 63354 63355 63356 63357 63358 63359 63360 63361 63362 63363 63364 63365 63366 63367 63368 63369 63370 63371 63372 63373 63374 63375 63376 63377 63378 63379 63380 63381 63384 63385 63386 63387 63388 63389 63390 63391 63392 63393 63394 63395 63396 63397 63398 63399 63400 63401 63402 63403 63404 63405 63406 63407 63408 63409 63410 63411 63412 63413 63414 63415 63416 63418 63419 63420 63421 63423 63424 63425 63426 63428 63429 63430 63432 63433 63434 63436 63437 63438 63440 63441 63442 63444 63445 63447 63448 63450 63451 63453 63454 63456 63457 63459 63460 63462 63463 63466 63468 63470 63472 63474 63475 63476 63477 63478 63479 63480 63481 63482 63483 63484 63485 63486 63487 63488 63489 63490 63491 63492 63494 63495 63496 63501 63502 63503 63573 63574 63577 63578 63579 63580 63581 63582 63583 63584 63585 63586 63587 63588 63589 63590 63591 63592 63593 63594 63595 63596 63597 63598 63599 63600 63601 63602 63603 63604 63605 63606 63607 63608 63624 63625 63626 63627 63628 63629 63630 63631 63632 63633 63634 63635 63636 63637 63638 63639 63640 63641 63642 63643 63644 63645 63646 63647 63648 63649 63650 63651 63652 63653 63655 63698 63699 63702 63703 63704 63705 63706 63707 63708 63709 63710 63711 63712 63713 63714 63715 63716 63717 63718 63719 63720 63721 63722 63723 63724 63725 63726 63727 63728 63729 63730 63731 63732 63733 63734 63735 63736 63737 63738 63739 63740 63741 63742 63743 63744 63745 63746 63747 63748 63749 63750 63751 63752 63753 63754 63755 63756 63757 63758 63759 63760 63761 63762 63763 63765 63766 63767 63768 63769 63770 63771 63772 63773 63774 63775 63776 63777 63778 63779 63780 63781 63782 63783 63784 63785 63786 63787 63788 63789 63790 63791 63792 63793 63794 63795 63796 63797 63798 63799 63800 63801 63802 63803 63804 63805 63806 63807 63808 63809 63810 63811 63812 63813 63814 63815 63816 63817 63818 63819 63820 63821 63822 63823 63824 63825 63826 63827 63829 63872 63873 63874 63918 63919 63921 63922 63967 64009 64010 64014 64015 64016 64017 64018 64019 64020 64021 64022 64023 64024 64025 64026 64027 64028 64029 64030 64031 64032 64033 64034 64035 64036 64037 64038 64039 64040 64041 64042 64043 64044 64045 64046 64047 64048 64049 64050 64051 64052 64053 64054 64055 64056 64057 64058 64059 64060 64061 64062 64063 64064 64065 64066 64067 64068 64069 64070 64071 64072 64073 64074 64075 64076 64077 64078 64079 64080 64081 64082 64083 64084 64085 64086 64087 64088 64089 64090 64091 64092 64093 64094 64095 64096 64097 64098 64099 64100 64101 64102 64119 64127 64128 64129 64130 64131 64132 64133 64134 64135 64136 64137 64138 64139 64140 64141 64142 64143 64144 64145 64146 64147 64148 64149 64150 64151 64152 64153 64154 64155 64156 64157 64158 64159 64160 64161 64165 64178 64180 64187 64189 64190 64191 64192 64193 64194 64195 64196 64197 64198 64199 64200 64201 64202 64203 64204 64205 64206 64207 64208 64209 64210 64211 64212 64213 64214 64215 64216 64217 64218 64219 64220 64221 64222 64223 64224 64225 64226 64227 64228 64229 64291 64292 64293 64294 64295 64296 64297 64301 64302 64303 64304 64369 64371 64372 64433 64473 64474 64479 64520 64521 64522 64562 64563 64565 64566 64610 64650 64651 64655 64656 64657 64658 64662 64663 64664 64665 64666 64667 64671 64672 64673 64674 64675 64677 64678 64679 64779 64780 64781 64826 64827 64828 64868 64869 64870 64872 64873 64956 64957 64958 64962 64963 64964 64965 64969 64970 64971 64972 64973 64974 64978 64979 64980 64981 64982 64984 64985 64986 65086 65087 65088 65133 65134 65135 65175 65176 65177 65179 65180 65263 65264 65265 65269 65270 65271 65272 65276 65277 65278 65279 65280 65281 65285 65286 65287 65288 65289 65291 65292 65293 65393 65394 65395 65440 65441 65442 65482 65483 65484 65486 65487 65570 65571 65572 65576 65577 65578 65579 65583 65584 65585 65586 65587 65588 65592 65593 65594 65595 65596 65598 65599 65600 65700 65701 65702 65747 65748 65749 65789 65790 65791 65793 65794 65877 65878 65879 65883 65884 65885 65886 65890 65891 65892 65893 65894 65895 65899 65900 65901 65902 65903 65905 65906 65907 66007 66008 66009 66054 66055 66056 66096 66097 66098 66100 66101 66184 66185 66186 66190 66191 66192 66193 66197 66198 66199 66200 66201 66202 66206 66207 66208 66209 66210 66212 66213 66214 66314 66315 66316 66361 66362 66363 66403 66404 66405 66407 66408 66491 66492 66493 66497 66498 66499 66500 66504 66505 66506 66507 66508 66509 66513 66514 66515 66516 66517 66519 66520 66521 66522 66523 66524 66525 66526 66527 66528 66529 66530 66531 66532 66533 66534 66535 66536 66537 66538 66539 66540 66541 66542 66543 66544 66545 66546 66547 66548 66549 66550 66551 66552 66553 66554 66555 66556 66557 66558 66559 66560 66561 66562 66563 66564 66566 66567 66568 66569 66570 66571 66572 66573 66574 66575 66576 66577 66578 66579 66580 66581 66582 66583 66584 66585 66586 66587 66588 66589 66590 66591 66592 66593 66594 66595 66596 66597 66598 66599 66600 66601 66602 66603 66604 66605 66606 66607 66609 66610 66611 66614 66615 66616 66617 66618 66657 66658 66659 66696 66697 66698 66736 66737 66738 66741 66782 66783 66785 66786 66799 66800 66801 66814 66815 66816 66945 66946 66947 66948 66949 66950 66954 66955 66956 66957 66958 66959 66960 66961 66962 66963 66964 66965 66966 66970 66971 66972 66973 66974 66975 66976 66977 66978 66979 66980 66984 66985 66986 66991 66992 66993 66999 67006 67008 67009 67011 67015 67020 67021 67022 67023 67025 67029 67034 67035 67036 67037 67038 67039 67040 67041 67042 67043 67044 67045 67046 67047 67048 67049 67050 67051 67052 67053 67054 67055 67056 67057 67058 67059 67060 67061 67062 67063 67064 67065 67066 67067 67068 67069 67070 67071 67072 67073 67074 67290 67295 67296 67297 67298 67299 67300 67301 67302 67303 67304 67305 67306 67307 67308 67309 67310 67311 67312 67313 67314 67315 67316 67317 67318 67319 67320 67321 67322 67323 67324 67325 67326 67327 67329 67330 67331 67333 67334 67335 67336 67337 67338 67339 67340 67341 67342 67343 67344 67345 67346 67347 67348 67349 67350 67351 67352 67353 67354 67355 67356 67357 67358 67359 67360 67361 67362 67363 67364 67365 67366 67367 67368 67370 67371 67376 67377 67378 67379 67380 67381 67382 67383 67384 67385 67386 67387 67388 67389 67390 67391 67392 67393 67394 67395 67396 67397 67398 67399 67400 67401 67402 67403 67404 67405 67406 67407 67410 67411 67412 67413 67414 67415 67416 67417 67418 67419 67420 67421 67422 67423 67424 67425 67426 67427 67428 67429 67430 67431 67432 67433 67434 67435 67436 67437 67439 67440 67441 67442 67444 67445 67446 67449 67450 67451 67494 67496 67498 67500 67501 67502 67503 67504 67505 67506 67507 67508 67509 67510 67511 67512 67513 67514 67515 67516 67517 67518 67520 67521 67522 67527 67528 67529 67599 67600 67603 67604 67605 67606 67607 67608 67609 67610 67611 67612 67613 67614 67615 67616 67617 67618 67619 67620 67621 67678 67679 67681 67724 67725 67728 67788 67789 67791 67852 67853 67855 67898 67899 67900 67944 67945 67947 67948 67993 68035 68036 68040 68041 68042 68043 68104 68105 68106 68107 68108 68109 68110 68111 68112 68113 68114 68115 68116 68117 68118 68119 68120 68121 68122 68123 68124 68125 68126 68127 68128 68145 68153 68154 68155 68156 68157 68158 68159 68160 68161 68162 68163 68164 68165 68166 68167 68168 68169 68170 68171 68172 68173 68174 68175 68176 68177 68178 68179 68180 68181 68182 68183 68184 68185 68186 68187 68191 68204 68206 68213 68215 68216 68217 68218 68219 68220 68221 68222 68223 68224 68225 68226 68227 68228 68229 68230 68231 68232 68233 68234 68235 68236 68237 68238 68239 68240 68241 68242 68243 68244 68245 68246 68247 68248 68249 68250 68251 68252 68253 68254 68255 68317 68318 68319 68320 68321 68322 68323 68327 68328 68329 68330 68395 68397 68398 68459 68499 68500 68505 68546 68547 68548 68588 68589 68591 68592 68636 68676 68677 68681 68682 68683 68684 68688 68689 68690 68691 68692 68693 68697 68698 68699 68700 68701 68703 68704 68705 68805 68806 68807 68852 68853 68854 68894 68895 68896 68898 68899 68982 68983 68984 68988 68989 68990 68991 68995 68996 68997 68998 68999 69000 69004 69005 69006 69007 69008 69010 69011 69012 69112 69113 69114 69159 69160 69161 69201 69202 69203 69205 69206 69289 69290 69291 69295 69296 69297 69298 69302 69303 69304 69305 69306 69307 69311 69312 69313 69314 69315 69317 69318 69319 69419 69420 69421 69466 69467 69468 69508 69509 69510 69512 69513 69596 69597 69598 69602 69603 69604 69605 69609 69610 69611 69612 69613 69614 69618 69619 69620 69621 69622 69624 69625 69626 69726 69727 69728 69773 69774 69775 69815 69816 69817 69819 69820 69903 69904 69905 69909 69910 69911 69912 69916 69917 69918 69919 69920 69921 69925 69926 69927 69928 69929 69931 69932 69933 70033 70034 70035 70080 70081 70082 70122 70123 70124 70126 70127 70210 70211 70212 70216 70217 70218 70219 70223 70224 70225 70226 70227 70228 70232 70233 70234 70235 70236 70238 70239 70240 70340 70341 70342 70387 70388 70389 70429 70430 70431 70433 70434 70517 70518 70519 70523 70524 70525 70526 70530 70531 70532 70533 70534 70535 70539 70540 70541 70542 70543 70545 70546 70547 70548 70549 70550 70551 70552 70553 70554 70555 70556 70557 70558 70559 70560 70561 70562 70563 70564 70565 70566 70567 70568 70569 70570 70571 70572 70573 70574 70575 70576 70577 70578 70579 70580 70581 70582 70583 70584 70585 70586 70587 70588 70589 70590 70592 70593 70594 70595 70596 70597 70598 70599 70600 70601 70602 70603 70604 70605 70606 70607 70608 70609 70610 70611 70612 70613 70614 70615 70616 70617 70618 70619 70620 70621 70622 70623 70624 70625 70626 70627 70628 70629 70630 70631 70632 70633 70635 70636 70637 70640 70641 70642 70643 70644 70683 70684 70685 70722 70723 70767 70808 70809 70971 71018 71019 71025 71032 71034 71035 71037 71041 71046 71047 71048 71049 71051 71055 71060 71061 71062 71063 71064 71065 71066 71067 71068 71069 71070 71071 71072 71073 71074 71075 71076 71077 71078 71079 71080 71081 71082 71083 71084 71085 71086 71087 71088 71089 71090 71091 71092 71093 71094 71095 71096 71097 71098 71099 71100 71101 71104 71105 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 71355 71356 71357 71363 71364 71365 71366 71367 71368 71369 71370 71371 71372 71373 71374 71375 71376 71377 71378 71379 71380 71381 71382 71383 71384 71385 71386 71387 71388 71389 71390 71391 71392 71393 71394 71396 71397 71402 71403 71404 71405 71406 71407 71408 71409 71410 71411 71412 71413 71414 71415 71416 71417 71418 71419 71420 71421 71422 71423 71424 71425 71426 71427 71428 71429 71430 71431 71432 71433 71436 71437 71438 71439 71440 71441 71442 71443 71444 71445 71446 71447 71448 71449 71450 71451 71452 71453 71454 71455 71456 71457 71458 71459 71460 71461 71462 71463 71465 71466 71467 71468 71470 71471 71472 71473 71475 71476 71477 71478 71488 71489 71490 71492 71493 71494 71502 71503 71505 71506 71514 71515 71517 71518 71522 71524 71526 71527 71528 71529 71530 71531 71532 71533 71534 71535 71536 71537 71538 71539 71540 71541 71542 71543 71544 71546 71547 71548 71553 71554 71555 71625 71626 71629 71630 71631 71632 71633 71634 71635 71636 71637 71638 71639 71640 71641 71642 71643 71644 71645 71646 71647 71704 71705 71707 71750 71751 71754 71814 71815 71817 71878 71879 71881 71924 71925 71926 71970 71971 71973 71974 72019 72061 72062 72066 72067 72068 72069 72130 72131 72132 72133 72134 72135 72136 72137 72138 72139 72140 72141 72142 72143 72144 72145 72146 72147 72148 72149 72150 72151 72152 72153 72154 72171 72179 72180 72181 72182 72183 72184 72185 72186 72187 72188 72189 72190 72191 72192 72193 72194 72195 72196 72197 72198 72199 72200 72201 72202 72203 72204 72205 72206 72207 72208 72209 72210 72211 72212 72213 72217 72230 72232 72239 72241 72242 72243 72244 72245 72246 72247 72248 72249 72250 72251 72252 72253 72254 72255 72256 72257 72258 72259 72260 72261 72262 72263 72264 72265 72266 72267 72268 72269 72270 72271 72272 72273 72274 72275 72276 72277 72278 72279 72280 72281 72343 72344 72345 72346 72347 72348 72349 72353 72354 72355 72356 72421 72423 72424 72485 72525 72526 72531 72572 72573 72574 72614 72615 72617 72618 72662 72702 72703 72707 72708 72709 72710 72714 72715 72716 72717 72718 72719 72723 72724 72725 72726 72727 72729 72730 72731 72831 72832 72833 72878 72879 72880 72920 72921 72922 72924 72925 73008 73009 73010 73014 73015 73016 73017 73021 73022 73023 73024 73025 73026 73030 73031 73032 73033 73034 73036 73037 73038 73138 73139 73140 73185 73186 73187 73227 73228 73229 73231 73232 73315 73316 73317 73321 73322 73323 73324 73328 73329 73330 73331 73332 73333 73337 73338 73339 73340 73341 73343 73344 73345 73445 73446 73447 73492 73493 73494 73534 73535 73536 73538 73539 73622 73623 73624 73628 73629 73630 73631 73635 73636 73637 73638 73639 73640 73644 73645 73646 73647 73648 73650 73651 73652 73752 73753 73754 73799 73800 73801 73841 73842 73843 73845 73846 73929 73930 73931 73935 73936 73937 73938 73942 73943 73944 73945 73946 73947 73951 73952 73953 73954 73955 73957 73958 73959 74059 74060 74061 74106 74107 74108 74148 74149 74150 74152 74153 74236 74237 74238 74242 74243 74244 74245 74249 74250 74251 74252 74253 74254 74258 74259 74260 74261 74262 74264 74265 74266 74366 74367 74368 74413 74414 74415 74455 74456 74457 74459 74460 74543 74544 74545 74549 74550 74551 74552 74556 74557 74558 74559 74560 74561 74565 74566 74567 74568 74569 74571 74572 74573 74574 74575 74576 74577 74578 74579 74580 74581 74582 74583 74584 74585 74586 74587 74588 74589 74590 74591 74592 74593 74594 74595 74596 74597 74598 74599 74600 74601 74602 74603 74604 74605 74606 74607 74608 74609 74610 74611 74612 74613 74614 74615 74616 74619 74620 74621 74622 74623 74624 74625 74626 74627 74628 74629 74630 74631 74632 74633 74634 74635 74636 74637 74638 74639 74640 74641 74642 74643 74644 74645 74646 74647 74648 74649 74650 74651 74652 74653 74654 74655 74656 74658 74659 74660 74661 74662 74663 74666 74667 74668 74669 74670 74709 74710 74711 74748 74749 74793 74834 74835 74997 75044 75045 75051 75058 75060 75061 75063 75067 75072 75073 75074 75075 75077 75081 75086 75087 75088 75089 75090 75091 75092 75093 75094 75095 75096 75097 75098 75099 75100 75101 75102 75103 75104 75105 75106 75107 75108 75109 75110 75111 75112 75113 75114 75115 75116 75117 75118 75119 75120 75121 75122 75123 75124 75125 75126 75342 75349 75350 75351 75352 75353 75354 75355 75356 75357 75358 75359 75360 75361 75362 75363 75364 75365 75366 75367 75368 75369 75370 75371 75372 75373 75374 75375 75376 75377 75459 75462 75463 75464 75465 75466 75467 75468 75469 75470 75471 75472 75473 75474 75475 75476 75477 75478 75479 75480 75481 75482 75483 75484 75485 75486 75487 75488 75489 75496 75497 75498 75550 75552 75553 75554 75555 75556 75557 75558 75559 75560 75561 75562 75563 75564 75565 75566 75567 75568 75569 75570 75572 75573 75574 75579 75580 75581 75652 75655 75656 75657 75658 75659 75660 75661 75662 75663 75664 75665 75666 75667 75668 75669 75670 75671 75672 75673 75730 75731 75733 75776 75777 75780 75840 75841 75843 75904 75905 75907 75950 75951 75952 75996 75997 75999 76000 76045 76087 76088 76092 76093 76094 76095 76156 76157 76158 76159 76160 76161 76162 76163 76164 76165 76166 76167 76168 76169 76170 76171 76172 76173 76174 76175 76176 76177 76178 76179 76180 76239 76240 76241 76242 76306 76371 76372 76373 76374 76375 76376 76377 76378 76379 76380 76381 76382 76447 76449 76450 76511 76551 76552 76557 76598 76599 76600 76640 76641 76643 76644 76688 76728 76729 76733 76734 76735 76736 76737 76738 76739 76740 76741 76742 76743 76744 76745 76746 76747 76748 76749 76750 76751 76752 76753 76755 76756 76757 76857 76858 76859 76904 76905 76906 76946 76947 76948 76950 76951 77034 77035 77036 77040 77041 77042 77043 77044 77045 77046 77047 77048 77049 77050 77051 77052 77053 77054 77055 77056 77057 77058 77059 77060 77062 77063 77064 77164 77165 77166 77211 77212 77213 77253 77254 77255 77257 77258 77341 77342 77343 77347 77348 77349 77350 77351 77352 77353 77354 77355 77356 77357 77358 77359 77360 77361 77362 77363 77364 77365 77366 77367 77369 77370 77371 77471 77472 77473 77518 77519 77520 77560 77561 77562 77564 77565 77648 77649 77650 77654 77655 77656 77657 77658 77659 77660 77661 77662 77663 77664 77665 77666 77667 77668 77669 77670 77671 77672 77673 77674 77676 77677 77678 77778 77779 77780 77825 77826 77827 77867 77868 77869 77871 77872 77955 77956 77957 77961 77962 77963 77964 77965 77966 77967 77968 77969 77970 77971 77972 77973 77974 77975 77976 77977 77978 77979 77980 77981 77983 77984 77985 78085 78086 78087 78132 78133 78134 78174 78175 78176 78178 78179 78262 78263 78264 78268 78269 78270 78271 78272 78273 78274 78275 78276 78277 78278 78279 78280 78281 78282 78283 78284 78285 78286 78287 78288 78290 78291 78292 78392 78393 78394 78439 78440 78441 78481 78482 78483 78485 78486 78569 78570 78571 78575 78576 78577 78578 78579 78580 78581 78582 78583 78584 78585 78586 78587 78588 78589 78590 78591 78592 78593 78594 78595 78597 78598 78599 78600 78601 78602 78603 78604 78605 78606 78607 78608 78609 78610 78611 78612 78613 78614 78615 78616 78617 78618 78619 78620 78621 78622 78623 78624 78625 78626 78627 78628 78629 78630 78631 78632 78633 78634 78635 78636 78637 78638 78639 78640 78641 0 1093.22/1093.25 c Terminating MUSer ... 1093.22/1093.25 c CPU Time: 1093.05
OK 16915
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501113-1308042750/watcher-3501113-1308042750 -o /tmp/evaluation-result-3501113-1308042750/solver-3501113-1308042750 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501113-1308042750.gcnf 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: 4.03 3.98 3.25 4/189 17942 /proc/meminfo: memFree=29934996/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=4352 CPUtime=0 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 1 0 896690323 4456448 536 33554432000 4194304 5696331 140734760771984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 1088 537 114 367 0 718 0 [startup+0.0428919 s] /proc/loadavg: 4.03 3.98 3.25 4/189 17942 /proc/meminfo: memFree=29934996/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=13040 CPUtime=0.03 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 2904 0 0 0 3 0 0 0 25 0 1 0 896690323 13352960 2708 33554432000 4194304 5696331 140734760771984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 3260 2711 114 367 0 2890 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13040 [startup+0.100869 s] /proc/loadavg: 4.03 3.98 3.25 4/189 17942 /proc/meminfo: memFree=29934996/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=25104 CPUtime=0.09 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 6197 0 0 0 8 1 0 0 25 0 1 0 896690323 25706496 5710 33554432000 4194304 5696331 140734760771984 18446744073709551615 4208149 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 6276 5710 114 367 0 5906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25104 [startup+0.300833 s] /proc/loadavg: 4.03 3.98 3.25 4/189 17942 /proc/meminfo: memFree=29934996/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=52256 CPUtime=0.29 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 14734 0 0 0 27 2 0 0 25 0 1 0 896690323 53510144 12513 33554432000 4194304 5696331 140734760771984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 13064 12515 114 367 0 12694 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52256 [startup+0.700758 s] /proc/loadavg: 4.03 3.98 3.25 4/189 17942 /proc/meminfo: memFree=29934996/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=85164 CPUtime=0.69 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 22776 0 0 0 66 3 0 0 25 0 1 0 896690323 87207936 20553 33554432000 4194304 5696331 140734760771984 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 21291 20553 141 367 0 20921 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85164 [startup+1.50063 s] /proc/loadavg: 4.03 3.98 3.25 5/190 17943 /proc/meminfo: memFree=29852924/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=85560 CPUtime=1.49 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 22931 0 0 0 146 3 0 0 25 0 1 0 896690323 87613440 20708 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 21390 20708 141 367 0 21020 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85560 [startup+3.1003 s] /proc/loadavg: 4.03 3.98 3.25 5/190 17943 /proc/meminfo: memFree=29851756/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=77704 CPUtime=3.09 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 27762 0 0 0 306 3 0 0 25 0 1 0 896690323 79568896 18866 33554432000 4194304 5696331 140734760771984 18446744073709551615 4400609 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 19426 18866 142 367 0 19056 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77704 [startup+6.30077 s] /proc/loadavg: 4.03 3.98 3.25 5/190 17943 /proc/meminfo: memFree=29863536/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=64556 CPUtime=6.29 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 30979 0 0 0 626 3 0 0 25 0 1 0 896690323 66105344 15877 33554432000 4194304 5696331 140734760771984 18446744073709551615 4224851 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 16139 15877 142 367 0 15769 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64556 [startup+12.7006 s] /proc/loadavg: 4.03 3.98 3.25 5/190 17943 /proc/meminfo: memFree=29720480/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=219296 CPUtime=12.69 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 70930 0 0 0 1261 8 0 0 25 0 1 0 896690323 224559104 53666 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 54824 53666 148 367 0 54454 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 219296 [startup+25.5004 s] /proc/loadavg: 4.02 3.98 3.27 5/190 17943 /proc/meminfo: memFree=29628460/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=311112 CPUtime=25.49 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 93791 0 0 0 2539 10 0 0 25 0 1 0 896690323 318578688 76521 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 77778 76521 150 367 0 77408 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 311112 [startup+51.1009 s] /proc/loadavg: 4.01 3.98 3.28 5/190 18018 /proc/meminfo: memFree=30298664/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=51.09 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102568 0 0 0 5099 10 0 0 25 0 1 0 896690323 354525184 85295 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85295 150 367 0 86184 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 346216 [startup+102.307 s] /proc/loadavg: 4.00 3.98 3.32 5/190 18019 /proc/meminfo: memFree=29860028/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=102.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102570 0 0 0 10219 11 0 0 25 0 1 0 896690323 354525184 85297 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85297 150 367 0 86184 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 346216 [startup+162.301 s] /proc/loadavg: 4.00 3.98 3.36 5/190 18021 /proc/meminfo: memFree=29779876/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=162.29 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102572 0 0 0 16218 11 0 0 25 0 1 0 896690323 354525184 85299 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381159 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85299 150 367 0 86184 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 346216 [startup+222.301 s] /proc/loadavg: 4.00 3.98 3.40 5/190 18060 /proc/meminfo: memFree=30127272/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=222.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102572 0 0 0 22218 12 0 0 25 0 1 0 896690323 354525184 85299 33554432000 4194304 5696331 140734760771984 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85299 150 367 0 86184 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 346216 [startup+282.301 s] /proc/loadavg: 4.00 3.98 3.43 5/190 18061 /proc/meminfo: memFree=30127636/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=282.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102573 0 0 0 28218 12 0 0 25 0 1 0 896690323 354525184 85300 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381288 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85300 150 367 0 86184 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 346216 [startup+342.3 s] /proc/loadavg: 4.00 3.98 3.46 5/190 18063 /proc/meminfo: memFree=30127352/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=346216 CPUtime=342.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 102573 0 0 0 34217 13 0 0 25 0 1 0 896690323 354525184 85300 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 86554 85300 150 367 0 86184 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 346216 [startup+402.301 s] /proc/loadavg: 4.04 4.00 3.50 5/190 18138 /proc/meminfo: memFree=29445520/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=362296 CPUtime=402.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 106611 0 0 0 40217 13 0 0 25 0 1 0 896690323 370991104 89338 33554432000 4194304 5696331 140734760771984 18446744073709551615 4221620 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 90574 89338 150 367 0 90204 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 362296 [startup+462.301 s] /proc/loadavg: 4.01 4.00 3.53 5/190 18140 /proc/meminfo: memFree=29444272/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=362296 CPUtime=462.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 106611 0 0 0 46217 13 0 0 25 0 1 0 896690323 370991104 89338 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416838 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 90574 89338 150 367 0 90204 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 362296 [startup+522.301 s] /proc/loadavg: 4.08 4.02 3.56 5/190 18142 /proc/meminfo: memFree=29440204/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=366048 CPUtime=522.3 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 107531 0 0 0 52216 14 0 0 25 0 1 0 896690323 374833152 90258 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 91512 90258 150 367 0 91142 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 366048 [startup+582.301 s] /proc/loadavg: 4.03 4.01 3.58 5/190 18180 /proc/meminfo: memFree=29867816/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=582.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 58216 15 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4413820 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 372940 [startup+642.3 s] /proc/loadavg: 4.01 4.00 3.61 5/190 18182 /proc/meminfo: memFree=29868108/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=642.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 64216 15 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 372940 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.63 5/190 18220 /proc/meminfo: memFree=29858688/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=702.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 70215 16 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4417521 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 372940 [startup+762.307 s] /proc/loadavg: 4.05 4.01 3.66 5/190 18224 /proc/meminfo: memFree=29602516/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=762.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 76215 16 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 372940 [startup+822.301 s] /proc/loadavg: 4.10 4.04 3.68 5/190 18227 /proc/meminfo: memFree=29602304/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=822.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 82214 17 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 372940 [startup+882.301 s] /proc/loadavg: 4.04 4.03 3.70 5/190 18265 /proc/meminfo: memFree=30110624/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=882.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 88213 18 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381250 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 372940 [startup+942.3 s] /proc/loadavg: 4.06 4.04 3.72 5/190 18267 /proc/meminfo: memFree=29417340/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=942.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 94212 19 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 372940 [startup+1002.3 s] /proc/loadavg: 4.02 4.03 3.74 5/190 18268 /proc/meminfo: memFree=29416932/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1002.31 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 100212 19 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4399919 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 372940 [startup+1062.3 s] /proc/loadavg: 3.41 3.85 3.69 4/184 18294 /proc/meminfo: memFree=29933860/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1062.32 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 106212 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381173 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 372940 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 3.31 3.81 3.68 4/184 18294 /proc/meminfo: memFree=29933968/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1075.11 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 107491 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4380923 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1075.11 Current children cumulated vsize (KiB) 372940 [startup+1081.5 s] /proc/loadavg: 3.29 3.80 3.68 4/184 18294 /proc/meminfo: memFree=29933964/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1081.51 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 108131 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416566 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1081.51 Current children cumulated vsize (KiB) 372940 [startup+1087.91 s] /proc/loadavg: 3.27 3.78 3.67 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1087.92 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 108772 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1087.92 Current children cumulated vsize (KiB) 372940 [startup+1091.1 s] /proc/loadavg: 3.16 3.75 3.66 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1091.12 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 109092 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1091.12 Current children cumulated vsize (KiB) 372940 [startup+1091.9 s] /proc/loadavg: 3.16 3.75 3.66 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1091.91 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 109171 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4417436 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1091.91 Current children cumulated vsize (KiB) 372940 [startup+1092.7 s] /proc/loadavg: 3.16 3.75 3.66 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1092.71 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 109251 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1092.71 Current children cumulated vsize (KiB) 372940 [startup+1093.1 s] /proc/loadavg: 3.16 3.75 3.66 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=372940 CPUtime=1093.11 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109254 0 0 0 109291 20 0 0 25 0 1 0 896690323 381890560 91981 33554432000 4194304 5696331 140734760771984 18446744073709551615 4381212 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 93235 91981 150 367 0 92865 0 Current children cumulated CPU time (s) 1093.11 Current children cumulated vsize (KiB) 372940 [startup+1093.2 s] /proc/loadavg: 3.16 3.75 3.66 3/178 18319 /proc/meminfo: memFree=30376528/32951124 swapFree=67057920/67111528 [pid=17942] ppid=17940 vsize=293556 CPUtime=1093.22 cores=4,6 /proc/17942/stat : 17942 (muser) R 17940 17942 17266 0 -1 4202496 109255 0 0 0 109301 21 0 0 25 0 1 0 896690323 300601344 72705 33554432000 4194304 5696331 140734760771984 18446744073709551615 4320260 0 0 4096 24615 0 0 0 17 4 0 0 0 /proc/17942/statm: 73389 72705 151 367 0 73019 0 Current children cumulated CPU time (s) 1093.22 Current children cumulated vsize (KiB) 293556 Child status: 20 Real time (s): 1093.26 CPU time (s): 1093.28 CPU user time (s): 1093.05 CPU system time (s): 0.224965 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 372940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1093.05 system time used= 0.224965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109255 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= 3 involuntary context switches= 1844 runsolver used 1.9637 second user time and 3.98539 second system time The end
Begin job on node140 at 2011-06-14 11:12:30 IDJOB=3501113 IDBENCH=90053 IDSOLVER=1998 FILE ID=node140/3501113-1308042750 RUNJOBID= node140-1308041267-17285 PBS_JOBID= 13564384 Free space on /tmp= 73988 MiB SOLVER NAME= MUSer 2011-02-10 BENCH NAME= SAT11/gmus/belov/pdtswvrod6x8p2.aig.k25.gcnf COMMAND LINE= muser -comp -grp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501113-1308042750/watcher-3501113-1308042750 -o /tmp/evaluation-result-3501113-1308042750/solver-3501113-1308042750 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501113-1308042750.gcnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= c48f17c117ec03bd8edf00d6f3e8c9c1 RANDOM SEED=1919762942 node140.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.833 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.66 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.833 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 : 5226.14 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.833 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.833 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.77 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.833 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.833 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.74 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29935416 kB Buffers: 199872 kB Cached: 1021728 kB SwapCached: 6704 kB Active: 1859000 kB Inactive: 931048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29935416 kB SwapTotal: 67111528 kB SwapFree: 67057920 kB Dirty: 7104 kB Writeback: 0 kB AnonPages: 1566588 kB Mapped: 15048 kB Slab: 156944 kB PageTables: 8232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1804568 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= 74024 MiB End job on node140 at 2011-06-14 11:30:43