c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen100x100.col /BENCHMARKS/benchmark/queen/queen100x100_01_3955.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen100x100_01_3955/sas_plan results/queen100x100_01_3955/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)" c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen100x100_01_3955/sas_plan results/queen100x100_01_3955/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" s 6751 3746 7271 5932 7017 6257 4785 2644 1772 4193 4074 8607 8129 2100 2537 9601 5626 2145 6155 9211 3412 8227 4687 2447 9802 6649 941 9503 7767 8031 1064 8719 4592 1940 9113 4483 2334 176 5360 3990 6556 278 8906 8325 5081 3694 2916 1652 8808 375 9958 1338 669 477 2795 8410 1823 7365 1161 7898 5570 7597 3514 5728 5436 2824 3854 6462 4991 7968 4396 79 8522 6973 2239 7199 6321 7443 3018 3330 9405 9309 1459 753 835 5866 4286 9704 548 5184 7682 5289 6820 6063 1242 4888 9015 3133 3280 t 3694 4785 8227 6950 4991 4400 1459 4687 5728 652 1823 6221 6456 935 8607 2832 5866 2239 8522 2347 5570 6561 5360 2055 7396 3838 864 4483 375 6358 2534 1224 9309 5957 8129 7468 1636 6751 2916 9802 9704 7844 9015 3018 6063 3330 6154 3133 477 7597 8719 9601 3514 5289 7273 6820 1569 7762 9405 7199 8906 7965 5081 5626 4592 1349 8808 4193 3412 1143 3280 8325 7017 2741 2442 548 9211 3753 6695 1772 1040 767 3990 5184 4888 7682 176 5437 9113 2171 8410 79 1946 4074 9998 2645 4286 278 8031 a YES a 1064 1161 1242 1338 1459 1652 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6556 6649 669 6751 6820 6973 7017 7199 7271 7365 7443 753 7597 7682 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9958 a 1064 1161 1242 1338 1459 1550 1652 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 753 7597 7682 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9958 a 1064 1161 1242 1338 1459 1550 1652 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9958 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9958 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 278 2795 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6649 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7365 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7767 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 835 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1338 1459 1550 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1242 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1238 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6973 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9503 958 9601 9704 9802 9953 a 1064 1161 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 958 9601 9704 9802 9953 a 1064 1161 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7443 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9953 a 1064 1161 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9953 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9953 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2100 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6462 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9555 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6257 6321 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6255 6321 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2644 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5436 548 5570 5626 5728 5866 5932 6063 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4888 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7898 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1064 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3854 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7864 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7271 7349 7442 7597 7682 769 7777 7864 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7968 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 465 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2537 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1940 2024 2145 2239 2334 2447 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1143 1238 1373 1459 1550 1635 176 1772 1823 1937 2024 2145 2239 2334 2447 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1373 1459 1550 1635 176 1772 1823 1937 2024 2145 2239 2334 2447 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2145 2239 2334 2447 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3703 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2145 2239 2334 2447 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2145 2239 2334 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2239 2334 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4396 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 6500 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6188 6255 6357 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7777 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9562 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2853 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5932 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2003 2134 2239 2396 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2134 2239 2396 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6946 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2046 2134 2239 2396 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2046 2134 2239 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2046 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4898 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4991 5081 5184 5289 5360 5444 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1937 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4844 4991 5081 5184 5289 5360 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6556 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6488 652 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 468 4687 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 652 6588 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6177 6255 6357 6438 652 6588 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1550 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6255 6357 6438 652 6588 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6255 6357 6438 652 6588 6695 6751 6820 6996 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2198 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9961 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2239 2334 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2134 2239 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2134 2239 2347 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9553 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2134 2239 2347 2445 2565 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2134 2239 2347 2445 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2239 2347 2445 2534 2621 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2046 2121 2239 2347 2445 2534 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1909 2121 2239 2347 2445 2534 2646 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 2009 2121 2239 2347 2445 2534 2646 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2445 2534 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2445 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7442 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7597 7682 769 7762 7864 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7464 7597 7682 769 7762 79 7971 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7464 7597 7682 769 7762 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 958 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1635 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9356 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2617 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9356 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1617 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7045 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9356 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1617 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9356 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9356 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1656 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6357 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1656 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7858 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1656 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6438 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1656 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2121 2239 2347 2442 2534 2645 2741 278 2832 2916 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4844 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6588 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7464 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1568 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7468 7597 7682 769 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1373 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7468 7597 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7254 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7273 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9561 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6533 6695 6751 6820 6950 7017 7199 7273 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3144 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7838 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3818 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3021 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5903 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1303 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9357 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1303 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6196 6255 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1303 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6196 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9554 9601 9704 9802 9998 a 1040 1143 1224 1303 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6196 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9601 9704 9802 9998 a 1040 1143 1224 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6196 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7349 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6196 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7144 7273 7396 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6154 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7273 7396 7468 7597 767 7682 7762 7899 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2009 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6154 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7396 7468 7597 767 7682 7762 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6154 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7396 7468 7597 767 7682 7762 7844 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 935 9355 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6154 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7396 7468 7597 767 7682 7762 7844 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 935 9405 9503 9601 9704 9802 9998 a 1040 1143 1224 1349 1459 1569 1636 176 1772 1823 1946 2055 2171 2239 2347 2442 2534 2645 2741 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 375 3753 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6154 6221 6358 6456 652 6561 6695 6751 6820 6950 7017 7199 7273 7396 7468 7597 767 7682 7762 7844 79 7965 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 935 9405 9601 9704 9802 9998 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen100x100.col /BENCHMARKS/benchmark/queen/queen100x100_01_3955.dat" User time (seconds): 289.30 System time (seconds): 1.53 Percent of CPU this job got: 6% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:18:39 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 704120 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 391559 Voluntary context switches: 351 Involuntary context switches: 33760 Swaps: 0 File system inputs: 0 File system outputs: 49096 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0