#BEGIN: [Thu Sep 7 19:50:55 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat s 944 6969 4991 9113 3753 8129 7017 6462 1459 8719 9015 7249 5728 5626 5360 8410 9309 6550 6257 5866 7861 4592 7347 8227 79 3412 3694 3848 1356 477 8031 278 1823 7682 6751 4888 4400 7198 7499 554 4483 1568 9405 1652 5435 2916 2696 1258 176 2342 4286 9704 7740 2546 9601 3514 5932 6820 9211 7597 8808 4687 5289 6695 5081 6155 8607 5570 3990 1973 3330 767 9802 2437 3018 5184 636 375 2824 4193 2739 6063 864 1065 6321 4785 2245 8522 8325 3280 3133 8906 9503 1143 2141 2038 4074 7972 9971 t 6820 79 5289 5570 7254 5957 7464 375 1242 2443 4193 2300 1045 4286 5184 7017 1773 7898 548 278 1161 176 7372 8906 5081 2037 4483 6751 3694 3746 2644 4888 8808 4074 6695 6455 3412 867 9601 6156 9309 477 2916 3514 5866 8719 5728 3330 1459 9953 2147 8607 8522 5435 8031 1349 6258 2536 9211 762 9704 9802 8410 3133 5360 9405 9113 2739 4592 1621 4785 2832 7199 2324 5626 3990 9015 6952 9503 3280 4991 668 8325 6063 1569 3838 7597 7965 3018 8227 1834 6323 941 6550 4687 1940 4396 7771 8129 a YES a 79 176 278 375 477 554 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1223 1356 1459 1568 1640 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1223 1356 1459 1568 1640 1800 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1223 1356 1459 1568 1640 1800 1837 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4373 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4373 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4373 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4373 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4373 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2038 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2141 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1345 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1345 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6257 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9956 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1345 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9956 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1345 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7945 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7945 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2243 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1141 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 632 767 864 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 555 632 767 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 555 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 555 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5834 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7267 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 555 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7267 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 555 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7347 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 632 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 764 857 944 1065 1143 1221 1356 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5832 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1459 1568 1640 1800 1837 1923 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5832 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1800 1837 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5832 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1800 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5934 6063 6107 6254 6399 6462 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1800 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6399 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1800 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6399 6550 6695 6751 6820 6969 7017 7153 7249 7398 7473 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1800 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6399 6550 6695 6751 6820 6969 7017 7153 7249 7398 7472 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6399 6550 6695 6751 6820 6969 7017 7153 7249 7398 7472 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6500 6550 6695 6751 6820 6969 7017 7153 7249 7398 7472 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6500 6550 6695 6751 6820 6999 7017 7153 7249 7398 7472 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7682 7771 7841 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7682 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1837 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5934 6063 6107 6254 6382 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3755 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 6063 6107 6254 6382 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 6063 6107 6254 6382 6500 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 6063 6107 6254 6382 6455 6550 6695 6751 6820 6999 7017 7153 7249 7369 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 6063 6107 6254 6382 6455 6550 6695 6751 6820 6999 7017 7153 7249 7400 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 6063 6107 6254 6382 6455 6550 6695 6751 6820 6999 7017 7153 7249 7400 7472 7597 7641 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1640 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6382 6455 6550 6695 6751 6820 6999 7017 7153 7249 7400 7472 7597 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6382 6455 6550 6695 6751 6820 6999 7017 7153 7249 7400 7472 7597 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6455 6550 6695 6751 6820 6999 7017 7153 7249 7400 7472 7597 7682 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1065 1143 1221 1323 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 7017 7153 7249 7400 7472 7597 7682 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1040 1143 1221 1323 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 7017 7153 7249 7400 7472 7597 7682 7771 7898 7947 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1040 1143 1221 1323 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 7017 7153 7249 7400 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 656 764 857 944 1040 1143 1221 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7400 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7400 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8669 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7400 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7400 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8696 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2066 2138 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8696 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2138 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8696 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6107 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8696 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8696 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 944 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 905 1040 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 905 1040 1143 1221 1356 1459 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 905 1143 1221 1356 1459 1568 1641 1773 1834 1932 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9961 a 79 176 278 375 477 567 669 764 857 905 1143 1221 1356 1459 1568 1641 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9961 a 79 176 278 375 477 532 669 764 857 905 1143 1221 1356 1459 1568 1641 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9961 a 79 176 278 375 477 532 669 764 857 905 1143 1221 1356 1459 1568 1641 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 532 669 764 857 905 1161 1221 1356 1459 1568 1641 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 532 669 764 857 1005 1161 1221 1356 1459 1568 1641 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 532 669 764 857 941 1005 1161 1221 1356 1459 1568 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 532 669 764 857 941 1005 1161 1221 1343 1459 1568 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4348 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 532 669 764 857 941 1005 1161 1221 1343 1459 1568 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1005 1161 1221 1343 1459 1568 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1161 1221 1343 1459 1568 1605 1773 1834 1940 2038 2147 2245 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1161 1221 1343 1459 1568 1605 1773 1834 1940 2038 2147 2232 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6196 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1343 1459 1568 1605 1773 1834 1940 2038 2147 2232 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7366 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1343 1459 1568 1605 1773 1834 1940 2038 2147 2232 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1343 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2452 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7249 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9952 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7267 7396 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9952 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7267 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9952 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9952 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6923 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1605 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6123 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1221 1338 1459 1568 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3805 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6123 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3805 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6123 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6123 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 669 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7349 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2700 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2232 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5958 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4356 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5932 6063 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 764 857 941 1045 1161 1205 1338 1459 1568 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 764 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7296 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 764 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5862 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 764 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9967 a 79 176 278 375 458 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9444 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6254 6399 6455 6550 6695 6751 6820 6952 7017 7153 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3737 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3846 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1338 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3746 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1205 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 5932 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9964 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7472 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7369 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1577 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 467 548 623 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 623 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5868 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 623 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 477 523 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9458 9503 9601 9704 9802 9954 a 79 176 278 375 477 523 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6237 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 523 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2066 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 523 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 566 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6399 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 566 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7153 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 566 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9448 9503 9601 9704 9802 9954 a 79 176 278 375 477 566 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5967 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9954 a 79 176 278 375 477 548 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7244 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 857 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2649 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 941 1045 1161 1242 1305 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 941 1045 1161 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9453 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 941 1045 1161 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9967 a 79 176 278 375 477 548 668 762 941 1045 1161 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1161 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9953 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat" User time (seconds): 206.45 System time (seconds): 4.88 Percent of CPU this job got: 203% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:44.10 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): 2590648 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5197045 Voluntary context switches: 7851 Involuntary context switches: 603 Swaps: 0 File system inputs: 0 File system outputs: 49304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 19:52:40 2023]