c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen090x090_01_8978/sas_plan results/queen090x090_01_8978/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 2786 1742 1400 2620 6626 7391 342 7717 1462 4127 7303 2186 3683 5618 4041 3417 6184 6813 2068 2113 1570 6542 6719 5704 3177 1186 5490 3585 4220 4907 6949 6847 4642 663 4385 4529 2820 5958 6342 3769 5535 71 8094 1844 3853 2523 158 5181 1921 7479 3480 5358 1141 775 7922 250 6222 2357 2444 1657 834 7028 5801 2965 4971 6447 7565 4705 1026 3019 4488 4828 7741 3106 6065 3946 989 594 519 4304 5093 2273 5889 5240 7834 426 7116 3322 7215 t 6714 7116 7479 519 4385 3853 5977 1548 6949 1744 6813 1225 5093 822 3322 6065 4041 2965 6847 4971 158 7215 2357 2786 1660 5686 426 2068 2273 342 5181 3470 3019 5424 4740 4619 682 2620 71 4220 3769 3181 3585 7834 5535 2820 3417 8094 250 7717 7303 1476 5889 7028 7565 3683 572 4590 5358 3946 2186 5801 7391 4304 6629 5240 1288 6271 6153 2112 1843 2444 1102 4828 4904 1036 6537 1915 776 5618 4127 7741 2523 4488 6327 3107 7922 1412 6454 a YES a 1026 1141 1186 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4642 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 663 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1141 1186 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4642 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 5958 6065 6184 6222 6342 6447 6542 6626 663 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1141 1186 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4642 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1141 1186 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1113 1186 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1113 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 775 7834 7922 8094 834 989 a 1026 1113 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 834 989 a 1113 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1113 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1113 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1141 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6342 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1141 1225 1288 1400 1462 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5535 5618 5704 5801 5889 594 5958 6065 6184 6222 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5535 5618 5704 5801 5889 594 5962 6065 6184 6222 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 834 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6222 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 989 a 1019 1141 1225 1288 1400 1482 1548 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6222 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 989 a 1019 1141 1225 1288 1400 1482 1548 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4705 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1921 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1482 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1471 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1471 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1400 1471 1570 158 1647 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1141 1225 1288 1387 1471 1570 158 1647 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1225 1288 1387 1471 1570 158 1647 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 5962 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1387 1471 1570 158 1647 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1647 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4907 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1742 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1844 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1832 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6184 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1832 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6271 6333 6447 6542 6626 6719 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1832 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6271 6333 6447 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 5801 5889 594 6019 6065 6271 6333 6447 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6271 6333 6447 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6447 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3124 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6542 6626 6706 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6542 6626 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1859 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6542 6717 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1019 1102 1225 1288 1400 1471 1570 158 1657 1754 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6542 6629 6717 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1102 1225 1288 1400 1471 1570 158 1657 1754 1829 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6542 6629 6717 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1754 1829 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6629 6717 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1754 1829 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4887 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1754 1829 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1829 1915 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1753 1829 1915 2068 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7741 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 756 7565 7717 7796 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1471 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7796 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3192 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7796 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7796 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7782 7834 7922 8094 822 954 a 1052 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 a 1052 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 a 1102 1225 1288 1400 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1102 1225 1288 1412 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6333 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1023 1102 1225 1288 1412 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3438 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1023 1102 1225 1288 1412 1476 1570 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1023 1102 1225 1288 1412 1476 1548 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3181 3322 3417 342 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1023 1102 1225 1288 1412 1476 1548 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3181 3322 3417 342 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1102 1225 1288 1412 1476 1548 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1653 1753 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1653 1747 1829 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1653 1747 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6687 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1653 1747 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1647 1747 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 6019 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1647 1747 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 5704 572 5801 5889 5973 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1647 1747 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1647 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6350 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 971 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 54 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 922 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3181 3322 3417 342 3469 3585 3683 3737 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 922 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3469 3585 3683 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 922 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3469 3585 3683 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 922 a 1036 1130 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3469 3585 3683 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3469 3585 3683 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3470 3585 3683 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5749 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3010 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1657 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4606 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1102 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2071 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 776 7782 7834 7922 8094 822 970 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2186 2273 234 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 970 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 970 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6689 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4612 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6714 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 a 1036 1117 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4619 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6714 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 a 1036 1102 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4619 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5973 6065 6209 6271 6327 6454 6537 6629 6714 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 a 1036 1102 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4619 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5977 6065 6209 6271 6327 6454 6537 6629 6714 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 a 1036 1102 1225 1288 1412 1476 1548 158 1660 1744 1843 1915 2068 2112 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3107 3181 3322 3417 342 3470 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4619 4740 4828 4904 4971 5093 5181 519 5240 5358 5424 5535 5618 5686 572 5801 5889 5977 6065 6153 6271 6327 6454 6537 6629 6714 6813 682 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 7741 776 7834 7922 8094 822 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen090x090.col /BENCHMARKS/benchmark/queen/queen090x090_01_8978.dat" User time (seconds): 67.66 System time (seconds): 0.36 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:08.04 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): 439424 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 205097 Voluntary context switches: 130 Involuntary context switches: 6703 Swaps: 0 File system inputs: 0 File system outputs: 35968 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0