#BEGIN: [Tue Aug 29 21:31:08 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap02a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap02a_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/color04/wap02a.col /benchmark/2022benchmark/benchmark/color04/wap02a_02.dat c /benchmark/2022benchmark/benchmark/color04/wap02a.col c /benchmark/2022benchmark/benchmark/color04/wap02a_02.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! 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 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 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 161 162 207 208 225 229 231 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 487 497 500 501 513 514 516 517 518 521 522 524 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 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 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 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 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1745 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 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 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 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1634 1745 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 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 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 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1634 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 42 47 58 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 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 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1277 1344 1345 1634 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 42 47 58 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1277 1344 1345 1634 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 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1634 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 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1634 1745 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 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1634 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1634 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 834 835 841 842 845 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1627 1634 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 803 829 833 835 841 842 845 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1627 1634 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 718 719 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1153 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 268 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 699 700 701 702 703 717 718 719 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1153 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 268 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 699 700 701 702 703 717 719 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1153 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 699 700 701 702 703 717 719 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1153 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 719 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 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 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 241 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 241 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 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 242 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 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 242 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 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 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 165 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 699 700 701 702 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 120 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 689 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 689 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2458 2464 a 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 689 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 693 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1153 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 22 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 693 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 22 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 180 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 689 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 22 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 689 699 700 701 703 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 22 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 22 42 47 58 65 68 69 70 87 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1178 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 973 1081 1144 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 121 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2451 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 68 69 70 87 116 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 66 68 69 87 116 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 22 42 47 58 65 66 68 69 87 116 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 21 22 47 58 65 66 68 69 87 116 152 153 154 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 21 22 47 58 65 66 68 69 87 116 137 152 153 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 594 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 21 22 47 58 65 66 68 69 87 116 137 152 153 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2382 2392 2397 2399 2404 2406 2407 2410 2411 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 21 22 47 58 65 66 68 69 87 116 137 152 153 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2459 a 21 22 47 58 65 66 68 69 87 116 137 152 153 155 160 162 163 164 231 237 238 239 240 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 116 137 152 153 155 160 162 163 164 225 231 237 238 239 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 116 137 141 153 155 160 162 163 164 225 231 237 238 239 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 160 162 164 225 231 237 238 239 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 797 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 160 162 164 225 231 237 238 239 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 891 904 925 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 231 237 238 239 242 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 413 414 447 459 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 891 904 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 231 237 238 239 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 680 689 699 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 231 237 238 239 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2399 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2430 2435 2436 2445 2452 2453 2454 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1745 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 242 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 22 47 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 520 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 22 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 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 413 414 447 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 22 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 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 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 531 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 22 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 35 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 35 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1544 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 35 47 48 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 534 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 21 35 47 48 53 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 381 382 383 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 381 382 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 544 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 494 495 496 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 153 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 385 396 398 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 396 398 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 829 833 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 396 398 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 396 397 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2407 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 381 382 396 397 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1344 1345 1627 1634 1762 2374 2376 2377 2379 2382 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1344 1345 1627 1634 1762 2374 2376 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2374 2376 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2374 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 463 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 576 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 973 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2377 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 801 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1634 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 35 48 50 53 58 65 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 245 246 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 589 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1762 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 791 793 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1627 1774 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1774 2375 2379 2392 2397 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1161 1177 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 577 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 718 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 718 720 721 731 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 597 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1192 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 904 924 926 972 1081 1144 1177 1180 1190 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 841 842 845 867 890 891 924 926 972 1081 1144 1177 1180 1190 1193 1216 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 829 835 842 845 867 890 891 924 926 972 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 519 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 824 829 842 845 867 890 891 924 926 972 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 819 824 829 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 494 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 717 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 680 689 700 701 716 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 396 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 225 229 231 237 238 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 750 751 759 763 771 793 796 800 803 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 48 50 53 58 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 750 751 759 763 771 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 750 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 514 515 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 309 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 304 305 306 308 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 302 305 306 308 310 340 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 302 305 306 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 467 468 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 302 305 306 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 842 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 302 305 306 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 267 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 208 225 229 231 237 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 162 164 207 208 225 229 231 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 161 162 207 208 225 229 231 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 495 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 161 162 207 208 225 229 231 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 487 497 500 501 513 514 516 517 518 521 522 526 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 a 3 6 21 26 35 36 48 50 53 58 61 63 66 68 69 87 106 116 137 139 141 150 155 159 160 161 162 207 208 225 229 231 241 243 245 247 248 249 256 258 261 266 268 272 273 277 282 283 298 302 305 308 310 336 342 355 359 378 382 395 397 404 405 406 407 413 414 440 447 451 460 462 464 467 471 478 479 487 497 500 501 513 514 516 517 518 521 522 524 530 535 536 541 545 574 575 588 593 595 596 599 600 601 607 614 651 662 680 689 700 716 718 720 721 727 732 746 751 759 763 793 796 800 806 815 819 824 845 867 890 891 924 926 972 1006 1081 1144 1177 1180 1190 1193 1216 1224 1333 1345 1774 2375 2379 2387 2392 2401 2404 2406 2410 2415 2416 2418 2420 2430 2431 2435 2436 2445 2450 2452 2453 2455 2456 2458 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/wap02a.col /benchmark/2022benchmark/benchmark/color04/wap02a_02.dat" User time (seconds): 484.71 System time (seconds): 14.17 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 8:18.92 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): 48848904 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 18221777 Voluntary context switches: 31 Involuntary context switches: 2817 Swaps: 0 File system inputs: 0 File system outputs: 5048 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 21:39:28 2023]