#BEGIN: [Fri Sep 15 04:22:28 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.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_04_7426.dat
s 122 1073 3895 1008 2776 2655 1472 2578 4215 2089 4283 3554 4351 2297 539 2713 739 239 3617 1677 3674 2184 4485 2345 1210 592 196 393 444 1392 3306 1697 2163 4419 3031 330 4020 2958 2873 55 4894 1267 4802 3118 3257 818 3735 2011 3442 1846 4079 2449 1958 2516 4621 862 4694 3788 2810 4136 1147 943 1460 1791 4594 1610 3396 3181 3960
t 2089 1008 1392 1137 4084 3554 4894 2345 1610 2191 2958 691 2011 1472 4419 3257 122 1267 4694 539 1223 2826 4136 3826 1782 3674 393 3892 589 3457 932 4351 1073 4791 3617 1958 218 2578 3735 736 1692 4621 196 3960 2713 850 4485 1839 2516 4594 2297 2163 3304 4283 4020 1677 1460 55 3121 4215 818 3189 2655 2768 2449 3030 3376 2873 465
a YES
a 55 122 196 239 330 393 444 539 592 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 444 539 592 691 729 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 444 539 592 691 729 818 879 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 444 539 592 691 729 818 879 932 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 444 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 330 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3480 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 581 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 581 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 581 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 729 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 720 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 720 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894
a 55 122 196 218 304 393 447 539 592 691 720 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4789 4894
a 55 122 196 218 304 393 447 539 592 691 720 818 879 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 304 393 447 539 592 691 720 818 879 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 447 539 592 691 720 818 879 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 447 539 584 691 720 818 879 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 447 539 584 691 720 818 879 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3182 3257 3306 3374 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 539 584 691 720 818 879 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 539 584 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3895 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 465 539 584 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894
a 55 122 196 218 290 393 465 539 584 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 290 393 465 539 584 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 290 393 465 539 592 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 592 691 720 818 871 932 1008 1073 1153 1219 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 592 691 720 818 871 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 589 691 720 818 871 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 589 691 720 818 871 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 589 691 720 818 871 932 1008 1073 1153 1200 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 304 393 465 539 589 691 720 818 871 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 871 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3357 3374 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3357 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1786 1834 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3357 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1786 1834 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1786 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3090 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3090 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 116 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2817 2873 2958 3051 3090 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 116 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2817 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 116 196 218 316 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 116 196 218 297 393 465 539 589 691 720 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 116 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1206 1267 1392 1460 1610 1649 1701 1752 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1236 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1236 1267 1392 1460 1490 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 297 393 465 539 589 691 736 818 864 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 297 393 465 539 589 691 736 818 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 297 393 465 539 589 691 736 818 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 330 393 465 539 589 691 736 818 932 1008 1073 1153 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 330 393 465 539 589 691 736 818 932 1008 1073 1137 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 330 393 465 539 589 691 736 818 886 932 1008 1073 1137 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 330 393 465 539 589 691 736 818 886 932 1008 1073 1137 1200 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 393 465 539 589 691 736 818 886 932 1008 1073 1137 1200 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1701 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1692 1782 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3136 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3136 3189 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3136 3189 3257 3304 3376 3457 3554 3617 3674 3735 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 886 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 160 218 290 393 465 539 589 691 736 818 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 290 393 465 539 589 691 736 818 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
a 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894
#END: [Fri Sep 15 04:51:29 2023]