#BEGIN: [Mon Aug 28 22:04:45 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap04a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap04a_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/wap04a.col /benchmark/2022benchmark/benchmark/color04/wap04a_01.dat c /benchmark/2022benchmark/benchmark/color04/wap04a.col c /benchmark/2022benchmark/benchmark/color04/wap04a_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.044 seconds 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 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 a 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 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 3862 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 a 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 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 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 3579 3862 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 a 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 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 3579 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 a 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 a 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 2960 3142 3262 3383 3475 3903 4805 4806 4808 4809 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 a 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 1744 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 2960 3142 3262 3383 3475 3903 4805 4806 4809 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 a 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 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 1744 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 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 a 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 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 1744 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 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 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 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 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 1744 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 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 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1197 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 1744 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5167 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 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 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1197 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 1744 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 1066 1076 1077 1078 1137 1138 1152 1153 1154 1157 1158 1159 1160 1171 1172 1176 1180 1183 1197 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 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 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 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 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 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 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 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 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 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 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 686 696 703 704 706 707 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 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 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 686 696 703 704 706 707 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 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 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 686 696 703 704 706 707 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5060 5065 5069 5085 5086 5088 5089 5095 5106 5111 5112 5114 5115 5116 5117 5119 5120 5121 5123 5124 5129 5130 5134 5135 5138 5143 5153 5154 5155 5158 5160 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 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 686 696 703 704 706 707 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 435 437 438 440 461 523 524 525 526 578 579 580 581 582 621 625 627 628 686 696 703 704 706 707 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 898 900 901 902 997 998 999 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 435 437 438 440 461 523 524 525 526 578 579 580 581 582 621 625 627 628 686 696 703 704 706 707 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 1000 1001 1002 1033 1034 1051 1052 1056 1057 1061 1062 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5208 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 435 437 438 440 461 523 524 525 526 578 579 580 581 582 621 625 627 628 686 696 703 704 706 707 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 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 435 437 438 440 461 523 524 525 526 578 579 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 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 1978 2073 2074 2145 2146 2182 2188 2189 2289 2291 2305 2310 2311 2330 2410 2462 2496 2529 2569 2570 2640 2641 2643 2645 2668 2770 2805 2850 2864 2897 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 4814 4815 4816 4823 4835 4849 4850 4863 4872 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 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 2960 3142 3262 3383 3475 3579 3903 4805 4806 4809 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 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 2960 3142 3262 3383 3475 3903 4805 4806 4809 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 1291 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 1484 1486 1514 1554 1631 1632 1633 1634 1635 1636 1637 1675 1676 1683 1684 1696 1732 1744 1753 1758 1759 1782 1789 1790 1793 1794 1809 1810 1828 1829 1858 1886 1887 1894 1932 1933 1934 1935 1936 1937 1977 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 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 1291 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 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 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 5166 5168 5183 5184 5187 5188 5192 5193 5195 5200 5204 5209 5210 5211 5216 5221 5223 5225 5226 5227 5228 5229 5231 a 135 195 199 200 239 279 282 309 311 331 333 334 337 346 387 394 402 404 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 1291 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 1977 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 135 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 1977 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 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 c Step: 31 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/wap04a.col /benchmark/2022benchmark/benchmark/color04/wap04a_01.dat" User time (seconds): 1119.45 System time (seconds): 15.55 Percent of CPU this job got: 169% Elapsed (wall clock) time (h:mm:ss or m:ss): 11:09.67 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): 48725592 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 19633983 Voluntary context switches: 2323 Involuntary context switches: 4497 Swaps: 0 File system inputs: 0 File system outputs: 11232 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Aug 28 22:15:55 2023]