c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap01a_02/sas_plan results/wap01a_02/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" s 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 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 15 23 38 39 43 48 58 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 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 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 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 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 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 39 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 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 632 633 64 643 644 658 659 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 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 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 141 142 143 144 146 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 142 143 144 146 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 1307 1308 1315 1359 1394 1395 143 144 146 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 1394 1395 144 146 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 146 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 149 15 150 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 15 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 176 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 186 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 187 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 188 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 202 208 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 213 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 266 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 265 266 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 322 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 355 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 367 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 402 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 417 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 441 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 440 442 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 452 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 495 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 497 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 502 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 503 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 507 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 520 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 155 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 58 609 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 58 610 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 58 580 611 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 58 580 612 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 613 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 627 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 629 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 632 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 64 643 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 709 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 711 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 743 747 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 733 743 748 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 743 749 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 789 790 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 820 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 821 835 861 862 91 910 96 a 1023 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 96 a 1024 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 209 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 96 a 1024 1052 1103 1130 1143 1144 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 944 96 a 1024 1052 1103 1130 1141 1143 1145 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 1171 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 122 1248 128 1307 1308 1315 1359 139 1394 1395 145 147 15 151 152 1530 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 122 1248 128 1296 1308 1315 1359 139 1394 1395 145 147 15 151 152 1530 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 122 1248 128 1296 1308 1359 139 1394 1395 145 147 15 151 152 1530 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1833 1983 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 122 1248 128 1296 1308 1359 139 1394 1395 145 147 15 151 152 1530 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1821 1833 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 717 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 91 910 944 96 a 1024 1052 1103 1130 1141 1142 1143 1155 122 1248 128 1296 1308 1359 139 1394 1395 145 147 15 151 152 1530 156 1581 160 161 162 165 171 175 1767 177 178 180 181 1821 1833 200 202 210 212 214 23 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 38 380 39 391 401 402 405 408 409 412 417 424 425 426 427 428 429 43 431 433 435 438 440 443 444 448 453 455 48 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 58 580 590 62 626 628 63 633 638 64 644 658 659 663 671 674 68 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 91 910 944 96 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap01a.col /BENCHMARKS/benchmark/color04/wap01a_02.dat" User time (seconds): 2.42 System time (seconds): 0.10 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.52 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): 59792 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 30975 Voluntary context switches: 226 Involuntary context switches: 249 Swaps: 0 File system inputs: 0 File system outputs: 4160 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0