#BEGIN: [Thu Aug 31 19:53:21 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap02a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/wap02a.col /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat c /benchmark/2022benchmark/benchmark/color04/wap02a.col c /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat TIMEOUT 1800 c send SIGTERM to CID b650ec018546ac39d3e6ffa980c26d36936e1998fe70c20a10ab705162c71d2e s 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 t 6 21 29 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a YES a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2450 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2450 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2450 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2450 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2450 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 162 163 164 185 236 237 238 240 245 246 247 248 252 255 256 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 459 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 44 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 185 236 237 238 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 236 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 29 42 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 236 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 29 42 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 236 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 29 42 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 c Step: 31 #END: [Thu Aug 31 20:23:21 2023]