c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/qg.order100.col /BENCHMARKS/benchmark/color04/qg.order100_02.dat c Running for 4200 seconds: python3 /SOLVER/symk/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order100_02/sas_plan results/qg.order100_02/output.sas --search "sym-fw()" c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order100_02/sas_plan results/qg.order100_02/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)" s 99 198 260 341 477 585 675 713 865 987 1067 1148 1247 1327 1455 1596 1626 1711 1849 1980 2034 2125 2223 2333 2470 2597 2671 2752 2892 2901 3074 3140 3210 3369 3404 3591 3630 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 5850 5984 6028 6188 6295 6305 6466 6509 6612 6719 6889 6937 7054 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 9886 9946 t 33 166 292 331 532 690 776 852 929 1014 1198 1295 1305 1454 1587 1626 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 3018 3117 3241 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 4784 4836 4985 5046 5143 5262 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6886 6944 7081 7167 7224 7394 7403 7572 7656 7723 7830 7996 8009 8137 8299 8342 8488 8574 8677 8780 8847 8968 9057 9189 9234 9319 9401 9548 9669 9797 9804 9935 a YES a 1067 1148 1247 1327 1455 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3630 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6028 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7054 713 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1455 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3630 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6028 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3630 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6028 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3630 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7862 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5238 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6466 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 1711 1849 198 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1148 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8283 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 99 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2333 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5850 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2470 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8145 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6937 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 7081 713 7144 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1067 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6944 7081 713 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4314 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2671 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 675 6889 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5090 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9535 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9548 9618 9743 987 9886 9946 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2034 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3916 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9251 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2125 2223 2350 2445 2597 260 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2125 2223 2350 2445 2597 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2892 2901 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2901 292 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3876 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2901 292 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 713 7167 7272 7308 7453 7536 7668 7706 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2901 292 3074 3140 3210 33 3369 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2901 292 3074 3140 3210 33 3313 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6612 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3210 33 3313 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8407 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3210 33 3313 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6188 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3210 33 3313 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 33 3313 3404 341 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5631 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7453 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7536 7668 7706 776 7830 7903 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1596 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 987 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4429 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3779 3825 3951 4100 4117 4293 4371 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9022 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4957 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 5046 5115 5262 5383 5432 5582 5653 5702 585 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 5383 5432 5582 5653 5702 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1327 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5582 5653 5702 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6305 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 865 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2752 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 8556 8642 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8821 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1247 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6295 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9364 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6719 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7706 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2223 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1849 1980 2016 2160 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8059 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6509 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3140 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4117 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5115 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9618 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3074 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8556 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7668 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8973 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5702 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2901 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9494 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7308 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4100 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4008 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 5984 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4008 4115 4293 4371 4479 4520 4639 477 4778 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4008 4115 4293 4371 4479 4520 4639 477 4784 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3404 3591 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3591 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9743 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2597 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3591 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1711 1859 1980 2016 2160 2249 2350 2445 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3591 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3591 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3628 3722 3825 3951 4008 4115 4278 4371 4479 4520 4639 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4639 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5582 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8758 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1980 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4861 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7536 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7272 7394 7403 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8324 8488 852 8574 8642 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8488 852 8574 8642 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 477 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8342 8488 852 8574 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8342 8488 852 8574 8677 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9886 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6889 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8342 8488 852 8574 8677 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9804 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6886 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8342 8488 852 8574 8677 8780 8847 8968 9057 9163 9234 929 9319 9401 9548 9669 9797 9804 9935 a 1014 1198 1295 1305 1454 1587 1626 166 1791 1859 1961 2016 2160 2249 2350 2445 2511 2675 2721 2812 2902 292 3018 3117 3241 33 331 3313 3493 3520 3628 3722 3825 3951 4008 4115 4278 4371 4479 4539 4682 4784 4836 4985 5046 5143 5262 532 5383 5427 5558 5653 5773 5870 6000 6055 6110 6264 6365 6438 6540 6607 6706 6886 690 6944 7081 7167 7224 7394 7403 7572 7656 7723 776 7830 7996 8009 8137 8299 8342 8488 852 8574 8677 8780 8847 8968 9057 9189 9234 929 9319 9401 9548 9669 9797 9804 9935 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order100.col /BENCHMARKS/benchmark/color04/qg.order100_02.dat" User time (seconds): 976.80 System time (seconds): 1.38 Percent of CPU this job got: 18% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:26:18 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): 1501768 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 598846 Voluntary context switches: 352 Involuntary context switches: 97870 Swaps: 0 File system inputs: 0 File system outputs: 31328 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0