c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen200x200_02_3057/sas_plan results/queen200x200_02_3057/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 36481 31157 29754 15452 15254 161 26905 17037 6723 8317 17749 6926 20570 28677 14113 1109 7902 31666 3986 17278 17988 30848 12887 24591 30260 19239 18371 10001 29068 8903 23334 21350 6525 39120 38630 26310 9177 35614 17574 19760 13404 27118 28889 34841 35168 20859 34567 29832 39901 33838 31261 23849 9987 12690 3155 25584 37996 32369 25356 7512 33021 8500 37800 16894 23753 1975 34618 31428 4875 39528 11023 11908 13131 15826 2306 2133 12006 26178 16640 39633 38144 36065 33253 34017 37383 38805 10410 898 16225 2899 26599 358 22929 1319 37403 22682 21992 5871 24880 5547 24256 28141 9686 9380 27915 28492 22594 25851 3607 19827 18966 27711 2683 5673 12364 2412 36993 28339 36684 20643 9597 32963 26707 32446 4608 8195 32127 4351 3385 18198 18576 13855 11491 30476 21152 22138 15002 38411 29330 14224 7693 20173 23521 4146 20365 33463 21548 27316 21657 24062 12488 13779 11669 14431 19562 29467 514 1532 33620 34245 10836 8697 6340 14634 13279 11219 25064 5085 6145 759 7272 16582 24613 7022 10615 23136 5343 30674 37047 10322 25781 15650 39337 35895 31870 27542 35435 16096 35242 19009 36229 14844 22335 1724 38304 3589 18772 32658 4416 t 17278 16582 4416 38304 22335 35435 12887 12690 6926 32552 26599 34684 32963 25584 30476 4608 27711 8500 15452 16640 36720 10001 14844 23521 19827 28889 15650 30848 28677 34567 39696 1319 31824 35895 22594 26178 12488 19562 8317 38805 161 21350 39528 34841 18966 15826 7272 16894 29832 6525 2306 29660 27316 1532 11908 5547 10410 31261 33253 33842 33620 28492 10615 15018 38779 17574 25851 2133 39337 29068 14638 12006 17037 38144 28339 21030 25064 38411 18371 32658 23849 37554 21657 18198 33433 17749 27915 18576 8697 11219 3986 25356 8903 20570 24880 19760 6145 19002 6723 11669 2683 9686 15254 37047 3589 16127 13131 34245 23136 22138 13279 29330 514 21992 27118 26905 39003 36229 31666 32369 20365 27542 25781 9597 23753 18772 22682 37996 35255 31428 35168 26707 3155 24256 759 4351 33021 9177 12364 20173 3385 8195 13470 7902 30190 11023 17988 16225 28141 19313 32063 14431 7693 37383 10322 898 6340 39901 1109 20859 31157 30239 36481 21548 358 3607 7022 5343 5673 4875 2412 5085 22929 5871 13846 35614 20643 7512 2899 4146 9987 1975 34017 36065 1724 24591 23334 13604 11491 10836 37800 24062 29467 9380 30674 26310 14209 24613 36993 a YES a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13404 13779 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13779 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13604 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38630 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14638 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 3385 34017 34245 34567 34684 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14018 14224 14431 14638 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33842 3385 34017 34245 34567 34684 34841 35168 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14224 14431 14638 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14224 14431 14638 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33463 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32552 32658 32963 33021 33253 33424 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32063 32369 32552 32658 32963 33021 33253 33424 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32063 32369 32552 32658 32963 33021 33253 33424 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32063 32369 32552 32658 32963 33021 33253 33424 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31979 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35218 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15018 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37455 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15018 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35255 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37800 37996 38144 38304 38411 38754 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14034 14209 14431 14638 14844 15018 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35255 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37554 37800 37996 38144 38304 38411 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13846 14209 14431 14638 14844 15018 15254 1532 15452 15650 15826 161 16127 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19002 19313 19562 1975 19760 19827 20173 20365 20570 20643 20859 21030 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29660 29832 30190 30239 30476 30674 30848 31157 31261 31428 3155 31666 31824 32063 32369 32552 32658 32963 33021 33253 33433 33620 33842 3385 34017 34245 34567 34684 34841 35168 35255 35435 35614 358 3589 35895 36065 3607 36229 36481 36720 36993 37047 37383 37554 37800 37996 38144 38304 38411 38779 38805 39003 39337 39528 39696 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen200x200.col /BENCHMARKS/benchmark/queen/queen200x200_02_3057.dat" User time (seconds): 207.83 System time (seconds): 3.88 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:31.83 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): 4522660 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1921766 Voluntary context switches: 114 Involuntary context switches: 20862 Swaps: 0 File system inputs: 0 File system outputs: 418952 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0