c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/qg.order100.col /BENCHMARKS/benchmark/color04/qg.order100_01.dat c Running for 4200 seconds: python3 /SOLVER/symk/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order100_01/sas_plan results/qg.order100_01/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_01/sas_plan results/qg.order100_01/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 63 149 253 385 401 513 665 759 845 970 1004 1169 1274 1367 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3637 3800 3822 3931 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 6382 6402 6532 6627 6747 6846 6912 7062 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8171 8230 8376 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 9781 9875 9921 t 49 120 223 305 481 537 691 716 830 907 1072 1101 1275 1352 1421 1543 1622 1780 1817 1936 2077 2144 2231 2324 2467 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 4815 4968 5032 5109 5274 5361 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 6964 7094 7114 7298 7304 7585 7670 7795 7890 7956 8079 8166 8287 8347 8408 8542 8673 8762 8853 8954 9046 9169 9203 9399 9419 9534 9648 9778 9863 9958 a YES a 1004 1169 1274 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3637 3800 3822 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 513 5177 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8171 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3637 3800 3822 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 513 5177 5274 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8171 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3637 3800 3822 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 513 5177 5274 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3671 3800 3822 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 513 5177 5274 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3671 3800 3822 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1626 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3083 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4129 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6142 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8551 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6382 6402 6532 6627 665 6747 6846 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6382 6402 6532 6627 665 6747 6851 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9003 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6382 6402 6532 6627 665 6747 6851 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9218 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6382 6402 6532 6627 665 6747 6851 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2791 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 665 6747 6851 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 665 6747 6851 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4554 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8936 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1906 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4416 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 7196 7280 7307 7452 7560 759 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2933 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4740 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3278 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4733 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4733 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9781 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 401 4072 4183 4284 4393 4406 4565 4692 4733 4808 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1169 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9173 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8698 8739 8838 8954 9046 9169 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7280 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1795 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7799 7858 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7858 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9390 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7858 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9875 9921 a 1004 1101 1275 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 63 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9921 a 1004 1101 1275 1367 149 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9863 9921 a 1004 1101 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2620 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9863 9921 a 1004 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8041 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9863 9921 a 1004 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7679 7795 7890 7915 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9863 9921 a 1004 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7795 7890 7915 8079 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 970 9778 9863 9921 a 1004 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7307 7452 7560 7670 7795 7890 7915 8079 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1004 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7452 7560 7670 7795 7890 7915 8079 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4072 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8376 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6747 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4284 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8838 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 253 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 2288 2344 2424 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9623 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5648 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2857 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5657 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 845 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5657 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8230 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5387 5486 5505 5657 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 537 5486 5505 5657 5743 5861 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9435 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1819 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3317 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6912 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2064 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5177 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3109 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 716 7196 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1514 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5743 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1543 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8739 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1543 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7062 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1494 1543 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1543 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9921 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2288 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3931 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5925 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 6056 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 6088 6129 6210 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4955 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 5068 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4968 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6402 6532 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6402 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7915 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 4808 481 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8450 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2597 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2641 2782 2845 2959 3026 3196 3240 3312 3434 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2641 2782 2845 2959 3026 3196 3240 3312 3497 3511 3671 3800 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3511 3671 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9528 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3511 3671 3728 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3671 3728 3813 385 3925 4076 4183 4238 4393 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3593 3671 3728 3813 385 3925 4076 4183 4238 4406 4565 4692 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3593 3671 3728 3813 385 3925 4076 4183 4238 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5505 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2189 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 223 2231 2344 2424 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2144 223 2231 2424 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1367 1421 1543 1622 1780 1817 1936 2077 2144 223 2231 2324 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1421 1543 1622 1780 1817 1936 2077 2144 223 2231 2324 2467 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7452 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1352 1421 1543 1622 1780 1817 1936 2077 2144 223 2231 2324 2467 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7560 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 a 1072 1101 120 1275 1352 1421 1543 1622 1780 1817 1936 2077 2144 223 2231 2324 2467 2600 2641 2782 2845 2959 3026 305 3196 3240 3312 3497 3593 3671 3728 3813 3925 4076 4183 4238 4392 4406 4565 4611 4733 481 4815 49 4968 5032 5109 5274 5361 537 5486 5589 5657 5739 5835 5910 6088 6129 6255 6318 6450 6502 6627 6784 6851 691 6964 7094 7114 716 7298 7304 7585 7670 7795 7890 7956 8079 8166 8287 830 8347 8408 8542 8673 8762 8853 8954 9046 907 9169 9203 9399 9419 9534 9648 9778 9863 9958 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order100.col /BENCHMARKS/benchmark/color04/qg.order100_01.dat" User time (seconds): 402.13 System time (seconds): 0.49 Percent of CPU this job got: 8% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:16:42 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): 342276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 282529 Voluntary context switches: 359 Involuntary context switches: 40219 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