c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap04a_01/sas_plan results/wap04a_01/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 135 195 199 200 239 279 282 309 310 311 331 333 334 337 346 387 394 402 404 435 437 438 440 461 523 524 525 526 578 579 580 581 582 625 626 627 628 703 704 705 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2770 2805 2850 2864 2897 3142 3262 3383 3475 3903 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 5231 t 135 140 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 406 435 437 438 440 461 523 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 923 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 1368 1375 1376 1377 1378 1394 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1473 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 3142 3262 3383 3475 3903 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a YES a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2770 279 2805 282 2850 2864 2897 309 310 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 578 579 580 581 582 625 626 627 628 703 704 705 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 578 579 580 581 582 625 626 627 628 703 704 705 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 625 626 627 628 703 704 705 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 703 704 705 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 696 703 704 706 707 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 696 703 704 706 708 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 772 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 900 901 902 906 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1291 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1408 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1977 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2074 2075 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4872 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4877 4882 4884 4887 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4936 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5133 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1473 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1473 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5168 5183 5184 5187 5188 5192 5193 5195 5200 5208 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1473 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5168 5183 5184 5187 5188 5192 5193 5195 5200 5209 5210 5211 5216 5217 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 923 997 998 999 a 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 1065 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1161 1171 1172 1176 1180 1183 1197 1207 1210 1213 1244 1247 1248 1252 1263 1266 1267 1268 1284 1287 1288 1290 1292 1293 1302 1303 1305 1306 1320 1325 1341 1342 135 1368 1375 1376 1377 1378 1394 140 1406 1409 1422 1423 1426 1427 1432 1433 1434 1435 1446 1451 1452 1464 1465 1468 1469 1472 1473 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 195 1978 199 200 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 239 2410 2462 2496 2529 2569 2570 2621 2640 2641 2643 2645 2668 2770 279 2805 282 2850 2864 2897 309 311 3142 3262 331 333 334 337 3383 346 3475 387 3903 394 402 404 406 435 437 438 440 461 4805 4806 4808 4809 4812 4814 4815 4816 4823 4835 4849 4850 4863 4877 4882 4884 4907 4911 4922 4937 4948 4950 4954 4955 4956 4958 4960 4961 4962 4963 4965 4966 5003 5004 5040 5041 5045 5046 5056 5058 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5134 5135 5138 5143 5153 5154 5155 5158 5160 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 523 5231 524 525 526 553 578 580 581 582 621 625 627 628 652 686 696 703 704 706 709 745 749 750 751 756 757 762 763 770 771 773 784 785 786 787 788 798 799 802 803 804 805 817 818 819 820 841 848 850 851 872 873 876 877 883 889 890 891 892 898 900 901 902 923 997 998 999 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap04a.col /BENCHMARKS/benchmark/color04/wap04a_01.dat" User time (seconds): 4.09 System time (seconds): 0.12 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.21 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): 125088 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 61408 Voluntary context switches: 105 Involuntary context switches: 429 Swaps: 0 File system inputs: 0 File system outputs: 10400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0