c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen100x100.col /BENCHMARKS/benchmark/queen/queen100x100_03_6670.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen100x100_03_6670/sas_plan results/queen100x100_03_6670/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_03_6670/sas_plan results/queen100x100_03_6670/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 2536 6358 278 5184 7749 2037 7017 3280 4074 3746 6751 5728 9802 9503 8129 9113 7372 1242 1338 9015 7443 6456 8031 5435 9211 79 5866 634 8906 9704 1823 8607 4592 1773 6063 9601 1550 9405 941 4286 6820 6554 3133 4991 2644 5289 6695 2740 6253 5932 4687 2339 7597 5360 7868 2447 1161 9309 2145 8325 4396 7682 571 5081 4888 1459 3694 9957 8227 7121 3412 6155 477 3330 3848 1064 3018 1652 8410 7999 4483 8808 4785 5626 3990 3514 2824 1965 4193 375 867 2300 5570 7298 2916 176 6969 8719 762 t 375 2050 3280 6554 762 6751 7464 2342 1349 6258 9802 176 7682 5360 8522 79 7298 8227 9015 9211 4286 2447 6063 5184 8031 867 6323 7869 941 4483 3330 2916 1773 9113 3838 8129 4400 6695 7597 4785 4592 2832 8906 5866 4074 3694 3746 8808 8607 3514 1834 668 5957 1536 1972 4193 4888 548 7965 4991 1459 5728 3018 6952 9309 7353 9503 9955 1161 8410 5081 5435 3133 6820 9601 6499 5570 2740 1621 9704 9405 6156 4687 8719 2145 477 5626 1037 2696 8325 3412 7144 2239 7017 5289 2543 3990 7771 1224 a YES a 1064 1161 1242 1338 1459 1550 1652 176 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3848 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 571 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3848 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6969 7017 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1965 2037 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6923 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6923 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2300 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6923 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3900 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 634 6358 6456 6554 6695 6751 6820 6923 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3900 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6923 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3900 3990 4074 4193 4286 4396 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3900 3990 4074 4193 4286 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 762 7682 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7749 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7868 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2024 2145 2234 2339 2447 2536 2644 2740 278 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7899 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7899 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7868 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7349 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9957 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3821 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 2644 2740 278 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7372 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1338 1459 1550 1652 176 1773 1837 1965 2021 2145 2234 2339 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1652 176 1773 1837 2021 2145 2234 2339 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7999 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1652 176 1773 1837 2021 2145 2234 2339 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1652 176 1773 1837 1939 2021 2145 2234 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 176 1773 1837 1939 2021 2145 2234 2399 2447 2536 257 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 176 1773 1837 1939 2021 2145 2234 2399 2447 2536 257 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 176 1773 1837 1939 2021 2145 2234 2399 2447 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7443 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 176 1773 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6253 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6155 623 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3842 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1272 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7868 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6456 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7768 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 623 6255 6358 6462 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7768 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6255 6358 6462 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7768 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6462 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7768 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7768 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1242 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7473 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1550 1644 1753 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1550 1644 176 1837 1939 2021 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6253 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1550 1644 1721 176 1837 1939 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6253 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5932 6063 6123 6253 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 6063 6123 6253 6358 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1373 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6123 6253 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6123 6253 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6253 6323 6456 655 6554 6695 6751 6820 6996 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3852 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1064 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7442 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1532 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1542 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2636 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1542 1644 1721 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1542 1644 176 1837 1939 2050 2145 2234 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1338 1459 1542 1644 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1459 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9949 a 1031 1161 1268 1349 1459 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 655 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 a 1031 1161 1268 1349 1459 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 6695 6751 6820 6952 7017 7171 7298 7378 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1268 1349 1459 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1268 1349 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1349 1478 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1644 1734 176 1837 1939 2050 2145 2232 2399 2447 2543 257 2621 2740 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1644 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2621 2740 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2621 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7171 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6253 6323 6456 6554 659 6695 6751 6820 6952 7017 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8971 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8971 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8073 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1542 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1478 1569 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1442 1569 1621 1734 176 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1442 1569 1621 176 1778 1837 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1031 1161 1224 1349 1442 1569 1621 176 1778 1834 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1569 1621 176 1778 1834 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3836 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1569 1621 176 1778 1834 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 773 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1939 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2268 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2399 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8071 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 257 2606 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2606 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5958 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2606 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6196 6323 6456 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2606 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6196 6258 6323 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2606 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8099 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7338 7464 7597 7682 769 7762 7872 79 7965 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7762 7872 79 7965 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 271 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7762 7869 79 7965 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7762 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1778 1834 1973 2050 2145 2239 2368 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1834 1973 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7338 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1938 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8953 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1938 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 706 7144 7298 7353 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1938 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3831 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1938 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7965 8072 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1965 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 659 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1965 2050 2145 2239 2368 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1442 1536 1621 176 1773 1834 1965 2050 2145 2239 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1536 1621 176 1773 1834 1965 2050 2145 2239 2342 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1459 1536 1621 176 1773 1834 1965 2050 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1459 1536 1621 176 1773 1834 2050 2145 2239 2342 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7972 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1459 1536 1621 176 1773 1834 1972 2050 2145 2239 2342 2447 2543 2696 2740 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 a 1037 1161 1224 1349 1459 1536 1621 176 1773 1834 1972 2050 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 375 3838 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5435 548 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 668 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 762 7682 7771 7869 79 7965 8031 8129 8227 8325 8410 8522 8607 867 8719 8808 8906 9015 9113 9211 9309 9405 941 9503 9601 9704 9802 9955 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen100x100.col /BENCHMARKS/benchmark/queen/queen100x100_03_6670.dat" User time (seconds): 667.78 System time (seconds): 2.15 Percent of CPU this job got: 11% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:35:07 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): 704112 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 442238 Voluntary context switches: 317 Involuntary context switches: 72916 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