s 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 t 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 c UNKNOWN a YES a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1300 1307 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1300 1307 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1300 1307 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1103 1143 1144 1145 1171 1248 1300 1307 1315 1359 1394 1395 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1103 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 1394 1395 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 254 285 286 287 288 289 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1103 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 1394 1395 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 254 285 286 287 288 289 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1103 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 254 285 286 287 288 289 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1103 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 555 56 57 58 59 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 555 56 57 58 59 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 733 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 555 56 57 58 59 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 733 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 610 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 733 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 610 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 723 733 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 610 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 733 748 749 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 610 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 733 738 748 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 733 738 748 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 321 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 315 317 318 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 386 402 403 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 1983 202 208 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1248 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 197 1983 202 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 197 1983 202 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 632 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 a 1023 103 1052 1102 1143 1144 1145 1171 12 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 197 1983 202 209 210 213 214 244 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 555 56 57 58 59 601 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1831 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 503 504 505 507 508 509 516 520 524 551 56 57 58 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 551 56 57 58 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 717 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 139 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 551 56 57 58 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 551 56 57 58 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 103 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 58 581 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 58 581 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 572 58 59 601 609 612 613 627 628 629 633 639 64 644 658 659 66 663 67 671 675 68 685 705 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 1758 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 572 58 59 601 609 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 142 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 572 58 59 601 609 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 572 58 59 601 609 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 57 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 3 300 302 310 313 314 317 318 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 723 738 740 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 738 740 743 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 738 740 743 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 746 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 742 743 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 721 740 743 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 728 740 743 748 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 333 34 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 352 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 346 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 340 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 343 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 Command exited with non-zero status 65 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp -c core_stop="UNKNOWN" --stats --quiet=1,0 --time-limit=10800 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/3rd-benchmark/asp/wap01a.lp ../../benchmark/3rd-benchmark/asp/wap01a_01.lp" User time (seconds): 10794.54 System time (seconds): 28.19 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:23 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): 10562228 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7056683 Voluntary context switches: 20 Involuntary context switches: 13410 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 1 Page size (bytes): 4096 Exit status: 65