c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap02a.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap02a_01.dat c array.sh: name: wap02a_01 c array.sh: task: 187 c array.sh: host: c3n25 c array.sh: uname: Linux c3n25 5.4.0-104-generic #118-Ubuntu SMP Wed Mar 2 19:02:41 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Thu 24 Mar 2022 02:10:17 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.1380: solving existent 21701617-187-wap02a_01 c 0.2850: Wrote /tmp/21701617-187-wap02a_01.aag c 0.4000: Wrote /tmp/21701617-187-wap02a_01.aig c 10.5730: Wrote /tmp/21701617-187-wap02a_01.trace c 10.5760: Found solution, Length: 73 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 21 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 21 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 2460 a 21 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 2462 a 21 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 2461 a 21 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 2430 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 a 21 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 2463 a 21 47 58 65 68 69 70 96 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 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 824 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 807 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 832 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 828 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 825 828 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 814 825 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 729 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 730 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 727 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 684 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 689 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 693 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 697 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 679 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 675 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 493 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 451 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 453 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 454 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 403 405 406 407 409 413 414 447 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 397 403 405 406 407 409 413 414 447 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 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 803 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 269 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 254 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 253 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 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 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 803 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 2424 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 241 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 803 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 21 47 58 65 68 69 70 93 120 121 152 153 154 155 160 162 163 164 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 189 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 188 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 206 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 152 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 125 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 128 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 131 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 129 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 143 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 141 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 147 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 135 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 120 121 140 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 111 120 140 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 108 120 140 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 106 120 140 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 242 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 803 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 21 47 58 65 68 69 70 94 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 803 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 21 47 58 65 68 69 70 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 803 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 21 27 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 803 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 21 47 58 65 66 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 803 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 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 803 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 array.sh: end: Thu 24 Mar 2022 02:10:27 PM CET confaigeration /tmp/21701617-187-wap02a_01.col /tmp/21701617-187-wap02a_01.dat existent" User time (seconds): 46.77 System time (seconds): 3.28 Percent of CPU this job got: 470% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.63 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): 266224 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 448716 Voluntary context switches: 984 Involuntary context switches: 93 Swaps: 0 File system inputs: 16 File system outputs: 34360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0