#BEGIN: [Fri Sep 15 04:21:50 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.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-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat s 1697 4590 1472 3376 736 1610 539 3554 3257 4215 691 2089 4283 4136 3088 2713 2449 196 2810 3674 3325 4098 4894 4419 1958 818 3735 3617 2958 1000 2297 4351 859 3189 1851 1267 3826 937 2011 2754 372 231 4485 4621 2578 3882 3442 3963 2163 2516 1220 589 55 3043 2354 2184 1677 330 1791 1073 4694 1146 2655 2873 122 4802 4018 1460 1392 t 4621 122 4694 3320 2163 3376 860 691 2345 1958 1472 1677 393 1064 4894 1839 3442 2516 2089 3257 4590 1392 1782 196 2191 2655 1147 2578 787 3735 4419 4215 3826 3674 3189 1610 330 4807 213 2836 465 3054 4098 2449 2297 589 1267 2958 1690 941 4136 3102 3892 4283 2011 3618 1460 1008 2878 723 3554 4351 3946 4031 4485 1223 55 2754 539 a YES a 55 122 196 231 330 372 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 861 942 1000 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 861 942 1000 1064 1147 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 861 942 1000 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 866 942 1000 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 736 818 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 818 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 818 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4457 4485 4590 4621 4694 4801 4894 a 55 79 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4457 4485 4590 4621 4694 4801 4894 a 55 79 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4485 4590 4621 4694 4801 4894 a 55 79 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 367 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 393 465 539 589 691 723 801 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 393 465 539 589 691 723 787 866 942 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 55 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 2011 2089 2163 2180 2297 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3902 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4485 4590 4621 4694 4801 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4894 a 32 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4807 4894 a 10 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4807 4894 a 10 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4807 4894 a 9 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4807 4894 a 9 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 4694 4807 4894 a 9 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4485 4590 4621 4694 4807 4894 a 105 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 465 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 539 589 691 723 787 866 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 446 539 589 691 723 787 941 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 446 539 589 691 723 787 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 36 122 196 213 330 393 446 539 589 691 723 787 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 446 539 589 691 723 787 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 176 213 330 393 446 539 589 691 723 787 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 176 213 330 393 476 539 589 691 723 787 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3940 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 176 213 330 393 476 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 213 330 393 476 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 #END: [Fri Sep 15 04:50:51 2023]