c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen090x090.col /BENCHMARKS/benchmark/queen/queen090x090_03_9570.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen090x090_03_9570/sas_plan results/queen090x090_03_9570/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)" c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen090x090_03_9570/sas_plan results/queen090x090_03_9570/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" s 6804 4041 3470 3181 8094 6633 3683 1915 7741 3585 6153 519 5704 6447 2814 1469 2107 6271 3014 2068 5598 5240 5438 3853 250 426 2965 5956 7303 1414 866 7391 4828 7717 6949 1225 5093 5801 2786 3322 6492 342 756 3417 2357 4971 7215 1663 2523 4127 676 7028 158 5889 1108 3769 1052 5358 4220 1577 1842 5181 2273 572 1309 989 7922 4590 6065 6847 6719 7565 4740 5535 7834 6330 4304 2444 4488 1750 71 3082 7116 4887 4642 4385 2186 7479 2620 t 2444 6847 5618 1141 342 7717 1276 572 772 7741 3322 6542 2273 5535 5240 7215 1750 7565 6065 5358 7922 3769 7116 3480 4041 1833 4621 6813 989 3014 6238 6447 519 864 5977 5688 4692 4529 2965 656 2357 5801 3199 4304 1642 1400 5093 5889 1474 2820 2620 4828 2523 6184 1914 2185 71 2113 4385 3106 8094 5181 7303 5490 426 7834 4127 250 3585 6342 1225 3417 4971 3853 2786 7391 158 1026 4220 6626 4488 2068 6949 3683 7028 3946 1557 6719 7479 a YES a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2186 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3470 3585 3683 3769 3853 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6330 6447 6492 6633 6719 676 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2186 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6330 6447 6492 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6330 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6390 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 1414 1469 1577 158 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6390 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 136 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 5956 6065 6153 6271 6390 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 136 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6492 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 136 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 866 989 a 1052 1108 1225 1309 136 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1052 1108 1225 1309 1414 146 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1052 1108 1225 1309 1414 146 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 342 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1052 1108 1225 1309 1414 146 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1108 1225 1309 1414 146 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1152 1225 1309 1414 146 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1152 1225 1288 1414 146 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1414 146 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3181 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1414 146 1471 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1414 146 1471 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6153 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1414 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1372 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1152 1225 1288 1372 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1019 1152 1225 1288 1372 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 332 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1019 1152 1225 1288 1372 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1372 146 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1372 146 1471 1563 1663 1750 1829 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1372 146 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1372 146 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 763 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 146 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 763 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1662 1750 1829 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2814 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 763 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1662 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 763 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1662 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6390 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5438 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1288 1375 146 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1298 1375 146 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6633 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1298 1375 146 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1052 1152 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1021 1152 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6271 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1021 1152 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1021 1141 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1021 1141 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 859 989 a 1021 1141 1225 1298 1375 146 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1021 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3197 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3082 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1282 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6804 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6598 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1046 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5598 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1563 1750 1829 1914 2068 2116 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1563 1750 1829 1914 2068 2113 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1008 1141 1225 126 1282 1375 1478 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1141 1225 126 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 330 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1653 1750 1829 1914 2068 2113 2188 2273 2444 250 2523 2620 2786 2862 2965 3014 3107 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1653 1750 1829 1914 2068 2113 2188 2273 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6496 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1653 1750 1829 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1653 1750 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1375 1478 150 1548 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5597 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5704 572 5801 5889 6008 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1282 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1290 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3177 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1290 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 859 989 a 1026 1141 1225 1290 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3199 324 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 989 a 1026 1141 1225 1290 1400 1478 150 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1478 150 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1478 150 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6509 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1478 150 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1478 150 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 150 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5648 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 150 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1547 158 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 572 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 250 2523 2620 2786 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1645 1750 1833 1914 2068 2113 2273 2356 2444 250 2523 2620 2786 28 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2862 288 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2862 288 2965 3014 3106 3199 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2862 288 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1290 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2862 296 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2862 296 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2820 296 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1547 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1556 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1556 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1278 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 572 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 28 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6342 6447 6542 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 677 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 677 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1657 1750 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1750 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5962 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1642 1750 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1557 158 1642 1750 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5977 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen090x090.col /BENCHMARKS/benchmark/queen/queen090x090_03_9570.dat" User time (seconds): 120.00 System time (seconds): 0.86 Percent of CPU this job got: 2% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:12:44 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): 439440 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 289737 Voluntary context switches: 527 Involuntary context switches: 13252 Swaps: 0 File system inputs: 24 File system outputs: 35992 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0