proposition jar 1 test 459 469 467 466 461 468 469 469 469 486 494 504 509 513 515 508 508 511 522 530 528 533 535 537 550 553 558 559 557 552 553 558 553 545 548 553 548 550 555 564 566 557 571 567 570 569 580 589 600 613 612 616 613 616 618 627 633 640 641 646 650 659 662 661 661 662 662 664 664 666 663 662 655 655 655 651 650 645 642 638 622 630 622 616 611 617 602 603 590 590 592 587 590 585 584 579 569 570 570 571 568 566 566 570 569 551 557 546 546 547 557 559 559 557 559 562 561 557 545 558 544 540 540 539 536 522 524 525 520 519 517 515 515 513 507 504 498 498 495 493 493 494 493 479 474 471 470 469 483 462 462 475 471 457 463 466 451 453 455 461 457 458 457 458 467 470 468 467 456 454 449 444 448 446 438 450 443 447 459 465 472 478 483 481 482 474 477 480 483 497 492 491 489 494 497 508 511 513 513 514 518 519 528 531 537 540 536 540 540 541 541 541 539 535 531 530 524 526 526 529 524 524 524 523 523 516 514 513 512 509 509 504 499 491 484 483 481 477 479 476 476 476 476 475 474 474 472 473 468 469 468 466 466 465 463 462 462 463 457 457 458 456 458 454 446 444 449 440 438 437 433 432 431 438 439 438 452 444 448 454 462 467 479 481 480 498 492 494 500 511 514 519 523 536 540 540 541 541 544 545 546 548 552 553 553 554 551 550 552 550 548 548 545 545 545 544 544 543 540 538 538 538 537 529 534 533 529 529 534 533 531 531 534 529 530 531 530 522 521 519 517 516 514 510 505 509 508 509 514 514 511 509 511 513 504 509 509 505 503 500 495 486 501 504 509 509 509 507 507 505 502 491 494 490 488 487 487 487 476 477 471 468 467 469 468 477 475 469 449 445 443 441 437 433 432 432 431 436 437 448 446 440 439 439 445 455 460 463 470 472 483 488 492 500 506 508 516 524 518 518 517 512 510 504 505 501 498 492 476 479 466 460 463 453 448 430 429 429 429 432 431 446 448 444 438 439 448 455 461 470 486 501 509 522 522 518 518 516 517 517 514 512 510 505 504 502 502 500 494 492 493 484 475 470 466 465 459 457 454 452 453 454 446 443 443 444 446 446 446 446 446 447 447 447 447 448 448 449 448 447 447 447 447 448 448 448 449 449 447 446 440 439 438 430 434 432 426 417 415 415 413 419 423 420 419 434 433 441 441 434 441 451 446 452 452 459 461 462 461 461 462 463 534 534 529 537 532 529 524 522 523 522 522 521 521 523 524 525 528 531 538 538 538 543 543 541 539 538 527 531 523 520 509 517 516 516 519 512 506 501 503 496 497 498 495 486 490 484 482 475 476 472 474 476 471 471 467 467 466 463 472 478 470 470 465 469 470 477 471 458 457 452 453 457 458 458 467 467 454 444 448 438 450 447 448 459 467 478 479 481 482 480 492 498 491 500 508 509 513 519 530 540 540 541 540 540 539 539 540 540 540 550 557 557 563 574 582 583 597 602 602 598 600 604 607 610 617 621 623 621 615 622 622 624 625 629 624 625 624 626 625 618 616 613 610 609 605 612 607 611 606 606 603 606 605 604 596 590 585 590 583 580 575 572 571 567 568 567 566 565 564 560 558 558 555 556 553 552 552 550 550 548 546 545 545 544 535 534 531 533 536 540 540 533 533 529