Decision #991 — lib.rs:85
Status: no_witness
Truth table
| row | c0 br 6353 | c1 br 6355 | c2 br 6356 | c3 br 6357 | outcome |
|---|---|---|---|---|---|
| 2116 | F | F | F | * | T |
| 2117 | F | F | F | * | T |
| 2118 | F | F | F | * | T |
| 2119 | F | F | F | * | T |
| 2120 | F | F | F | * | T |
| 2121 | F | F | F | * | T |
| 2122 | F | F | F | * | T |
| 2123 | F | F | F | * | T |
| 2124 | F | F | F | * | T |
| 2125 | F | F | F | * | T |
| 2126 | F | F | F | * | T |
| 2127 | F | F | F | * | T |
| 2128 | F | F | F | * | T |
| 2129 | F | F | F | * | T |
| 2130 | F | F | F | * | T |
| 2131 | F | F | F | * | T |
| 2132 | F | F | F | * | T |
| 2133 | F | F | F | * | T |
| 2134 | T | F | T | F | T |
| 2135 | T | F | T | F | T |
| 2136 | T | F | T | F | T |
| 2137 | T | F | T | F | T |
| 2138 | T | F | T | F | T |
| 2139 | T | F | T | F | T |
| 9075 | F | F | F | * | T |
| 9076 | F | F | F | * | T |
| 9077 | F | F | F | * | T |
| 9078 | F | F | F | * | T |
| 9079 | F | F | F | * | T |
| 9080 | F | F | F | * | T |
| 9081 | F | F | F | * | T |
| 9082 | F | F | F | * | T |
| 9083 | F | F | F | * | T |
| 9084 | F | F | F | * | T |
| 9085 | F | F | F | * | T |
| 9086 | F | F | F | * | T |
| 9087 | F | F | F | * | T |
| 9088 | F | F | F | * | T |
| 9089 | F | F | F | * | T |
| 9090 | F | F | F | * | T |
| 9091 | F | F | F | * | T |
| 9092 | F | F | F | * | T |
| 9093 | T | F | T | F | T |
| 9094 | T | F | T | F | T |
| 9095 | T | F | T | F | T |
| 9096 | T | F | T | F | T |
| 9097 | T | F | T | F | T |
| 9098 | T | F | T | F | T |
| 15881 | F | F | F | * | T |
| 15882 | F | F | F | * | T |
| 15883 | F | F | F | * | T |
| 15884 | F | F | F | * | T |
| 15885 | F | F | F | * | T |
| 15886 | F | F | F | * | T |
| 15887 | F | F | F | * | T |
| 15888 | F | F | F | * | T |
| 15889 | F | F | F | * | T |
| 15890 | F | F | F | * | T |
| 15891 | F | F | F | * | T |
| 15892 | F | F | F | * | T |
| 15893 | F | F | F | * | T |
| 15894 | F | F | F | * | T |
| 15895 | F | F | F | * | T |
| 15896 | F | F | F | * | T |
| 15897 | F | F | F | * | T |
| 15898 | F | F | F | * | T |
| 15899 | T | F | T | F | T |
| 15900 | T | F | T | F | T |
| 15901 | T | F | T | F | T |
| 15902 | T | F | T | F | T |
| 15903 | T | F | T | F | T |
| 15904 | T | F | T | F | T |
| 22081 | F | F | F | * | T |
| 22082 | F | F | F | * | T |
| 22083 | F | F | F | * | T |
| 22084 | F | F | F | * | T |
| 22085 | F | F | F | * | T |
| 22086 | F | F | F | * | T |
| 22087 | F | F | F | * | T |
| 22088 | F | F | F | * | T |
| 22089 | F | F | F | * | T |
| 22090 | F | F | F | * | T |
| 22091 | F | F | F | * | T |
| 22092 | F | F | F | * | T |
| 24823 | F | F | F | * | T |
| 24824 | F | F | F | * | T |
| 24825 | F | F | F | * | T |
| 24826 | F | F | F | * | T |
| 24827 | F | F | F | * | T |
| 24828 | F | F | F | * | T |
| 24829 | F | F | F | * | T |
| 24830 | F | F | F | * | T |
| 24831 | F | F | F | * | T |
| 24832 | F | F | F | * | T |
| 24833 | F | F | F | * | T |
| 24834 | F | F | F | * | T |
| 27467 | F | F | F | * | T |
| 27468 | F | F | F | * | T |
| 27469 | F | F | F | * | T |
| 27470 | F | F | F | * | T |
| 27471 | F | F | F | * | T |
| 27472 | F | F | F | * | T |
| 27473 | F | F | F | * | T |
| 27474 | F | F | F | * | T |
| 27475 | F | F | F | * | T |
| 27476 | F | F | F | * | T |
| 27477 | F | F | F | * | T |
| 27478 | F | F | F | * | T |
| 34561 | T | F | T | F | T |
| 34562 | T | F | T | F | T |
| 34563 | T | F | T | F | T |
| 34564 | T | F | T | F | T |
| 34565 | T | F | T | F | T |
| 34566 | T | F | T | F | T |
| 34567 | T | F | T | F | T |
| 34568 | T | F | T | F | T |
| 34569 | T | F | T | F | T |
| 34570 | T | F | T | F | T |
| 34571 | T | F | T | F | T |
| 34572 | T | F | T | F | T |
| 34573 | T | F | T | F | T |
| 34574 | T | F | T | F | T |
| 34575 | T | F | T | F | T |
| 34576 | T | F | T | F | T |
| 34577 | T | F | T | F | T |
| 34578 | T | F | T | F | T |
| 34579 | T | F | T | F | T |
| 34580 | T | F | T | F | T |
| 34581 | T | F | T | F | T |
| 34582 | T | F | T | F | T |
| 34583 | T | F | T | F | T |
| 34584 | T | F | T | F | T |
| 34585 | T | F | T | F | T |
| 34586 | T | F | T | F | T |
| 34587 | T | F | T | F | T |
| 34588 | T | F | T | F | T |
| 34589 | T | F | T | F | T |
| 34590 | T | F | T | F | T |
| 34591 | T | F | T | F | T |
| 34592 | T | F | T | F | T |
| 34593 | T | F | T | F | T |
| 34594 | T | F | T | F | T |
| 34595 | T | F | T | F | T |
| 34596 | T | F | T | F | T |
| 34597 | T | F | T | F | T |
| 34598 | T | F | T | F | T |
| 34599 | T | F | T | F | T |
| 34600 | T | F | T | F | T |
| 34601 | T | F | T | F | T |
| 34602 | T | F | T | F | T |
| 34603 | T | F | T | F | T |
| 34604 | T | F | T | F | T |
| 34605 | T | F | T | F | T |
| 34606 | T | F | T | F | T |
| 34607 | T | F | T | F | T |
| 34608 | T | F | T | F | T |
| 34609 | T | F | T | F | T |
| 34610 | T | F | T | F | T |
| 34611 | T | F | T | F | T |
| 34612 | T | F | T | F | T |
| 34613 | T | F | T | F | T |
| 34614 | T | F | T | F | T |
| 34615 | T | F | T | F | T |
| 34616 | T | F | T | F | T |
| 34617 | T | F | T | F | T |
| 34618 | T | F | T | F | T |
| 34619 | T | F | T | F | T |
| 34620 | T | F | T | F | T |
| 34621 | T | F | T | F | T |
| 34622 | T | F | T | F | T |
| 34623 | T | F | T | F | T |
| 34624 | T | F | T | F | T |
| 34625 | T | F | T | F | T |
| 34626 | T | F | T | F | T |
| 34627 | T | F | T | F | T |
| 34628 | T | F | T | F | T |
| 34629 | T | F | T | F | T |
| 34630 | T | F | T | F | T |
| 55415 | T | F | T | F | T |
| 55416 | T | F | T | F | T |
| 55417 | T | F | T | F | T |
| 55418 | T | F | T | F | T |
| 55419 | T | F | T | F | T |
| 55420 | T | F | T | F | T |
| 55421 | T | F | T | F | T |
| 55422 | T | F | T | F | T |
| 55423 | T | F | T | F | T |
| 55424 | T | F | T | F | T |
| 55425 | T | F | T | F | T |
| 55426 | T | F | T | F | T |
| 55427 | T | F | T | F | T |
| 55428 | T | F | T | F | T |
| 55429 | T | F | T | F | T |
| 55430 | T | F | T | F | T |
| 55431 | T | F | T | F | T |
| 55432 | T | F | T | F | T |
| 55433 | T | F | T | F | T |
| 55434 | T | F | T | F | T |
| 55435 | T | F | T | F | T |
| 55436 | T | F | T | F | T |
| 55437 | T | F | T | F | T |
| 55438 | T | F | T | F | T |
| 55439 | T | F | T | F | T |
| 55440 | T | F | T | F | T |
| 55441 | T | F | T | F | T |
| 55442 | T | F | T | F | T |
| 55443 | T | F | T | F | T |
| 55444 | T | F | T | F | T |
| 55445 | T | F | T | F | T |
| 55446 | T | F | T | F | T |
| 55447 | T | F | T | F | T |
| 55448 | T | F | T | F | T |
| 55449 | T | F | T | F | T |
| 55450 | T | F | T | F | T |
| 55451 | T | F | T | F | T |
| 55452 | T | F | T | F | T |
| 55453 | T | F | T | F | T |
| 55454 | T | F | T | F | T |
| 55455 | T | F | T | F | T |
| 55456 | T | F | T | F | T |
| 55457 | T | F | T | F | T |
| 55458 | T | F | T | F | T |
| 55459 | T | F | T | F | T |
| 55460 | T | F | T | F | T |
| 55461 | T | F | T | F | T |
| 55462 | T | F | T | F | T |
| 55463 | T | F | T | F | T |
| 55464 | T | F | T | F | T |
| 55465 | T | F | T | F | T |
| 55466 | T | F | T | F | T |
| 55467 | T | F | T | F | T |
| 55468 | T | F | T | F | T |
| 55469 | T | F | T | F | T |
| 55470 | T | F | T | F | T |
| 55471 | T | F | T | F | T |
| 55472 | T | F | T | F | T |
| 55473 | T | F | T | F | T |
| 55474 | T | F | T | F | T |
| 55475 | T | F | T | F | T |
| 55476 | T | F | T | F | T |
| 55477 | T | F | T | F | T |
| 55478 | T | F | T | F | T |
| 55479 | T | F | T | F | T |
| 55480 | T | F | T | F | T |
| 55481 | T | F | T | F | T |
| 55482 | T | F | T | F | T |
| 55483 | T | F | T | F | T |
| 55484 | T | F | T | F | T |
| 73675 | T | F | T | F | T |
| 73676 | T | F | T | F | T |
| 73677 | T | F | T | F | T |
| 73678 | T | F | T | F | T |
| 73679 | T | F | T | F | T |
| 73680 | T | F | T | F | T |
| 73681 | T | F | T | F | T |
| 73682 | T | F | T | F | T |
| 73683 | T | F | T | F | T |
| 73684 | T | F | T | F | T |
| 73685 | T | F | T | F | T |
| 73686 | T | F | T | F | T |
| 73687 | T | F | T | F | T |
| 73688 | T | F | T | F | T |
| 73689 | T | F | T | F | T |
| 73690 | T | F | T | F | T |
| 73691 | T | F | T | F | T |
| 73692 | T | F | T | F | T |
| 73693 | T | F | T | F | T |
| 73694 | T | F | T | F | T |
| 73695 | T | F | T | F | T |
| 73696 | T | F | T | F | T |
| 73697 | T | F | T | F | T |
| 73698 | T | F | T | F | T |
| 73699 | T | F | T | F | T |
| 73700 | T | F | T | F | T |
| 73701 | T | F | T | F | T |
| 73702 | T | F | T | F | T |
| 73703 | T | F | T | F | T |
| 73704 | T | F | T | F | T |
| 73705 | T | F | T | F | T |
| 73706 | T | F | T | F | T |
| 73707 | T | F | T | F | T |
| 73708 | T | F | T | F | T |
| 73709 | T | F | T | F | T |
| 73710 | T | F | T | F | T |
| 73711 | T | F | T | F | T |
| 73712 | T | F | T | F | T |
| 73713 | T | F | T | F | T |
| 73714 | T | F | T | F | T |
| 73715 | T | F | T | F | T |
| 73716 | T | F | T | F | T |
| 73717 | T | F | T | F | T |
| 73718 | T | F | T | F | T |
| 73719 | T | F | T | F | T |
| 73720 | T | F | T | F | T |
| 73721 | T | F | T | F | T |
| 73722 | T | F | T | F | T |
| 73723 | T | F | T | F | T |
| 73724 | T | F | T | F | T |
| 73725 | T | F | T | F | T |
| 73726 | T | F | T | F | T |
| 73727 | T | F | T | F | T |
| 73728 | T | F | T | F | T |
| 73729 | T | F | T | F | T |
| 73730 | T | F | T | F | T |
| 73731 | T | F | T | F | T |
| 73732 | T | F | T | F | T |
| 73733 | T | F | T | F | T |
| 73734 | T | F | T | F | T |
| 73735 | T | F | T | F | T |
| 73736 | T | F | T | F | T |
| 73737 | T | F | T | F | T |
| 73738 | T | F | T | F | T |
| 73739 | T | F | T | F | T |
| 73740 | T | F | T | F | T |
| 73741 | T | F | T | F | T |
| 73742 | T | F | T | F | T |
| 73743 | T | F | T | F | T |
| 73744 | T | F | T | F | T |
| 83558 | T | F | T | F | T |
| 83559 | T | F | T | F | T |
| 83560 | T | F | T | F | T |
| 83561 | T | F | T | F | T |
| 83562 | T | F | T | F | T |
| 83563 | T | F | T | F | T |
| 83564 | T | F | T | F | T |
| 83565 | T | F | T | F | T |
| 83566 | T | F | T | F | T |
| 83567 | T | F | T | F | T |
| 83568 | T | F | T | F | T |
| 83569 | T | F | T | F | T |
| 83570 | T | F | T | F | T |
| 83571 | T | F | T | F | T |
| 83572 | T | F | T | F | T |
| 83573 | T | F | T | F | T |
| 83574 | T | F | T | F | T |
| 83575 | T | F | T | F | T |
| 83576 | T | F | T | F | T |
| 83577 | T | F | T | F | T |
| 83578 | T | F | T | F | T |
| 83579 | T | F | T | F | T |
| 83580 | T | F | T | F | T |
| 83581 | T | F | T | F | T |
| 83582 | T | F | T | F | T |
| 83583 | T | F | T | F | T |
| 83584 | T | F | T | F | T |
| 83585 | T | F | T | F | T |
| 83586 | T | F | T | F | T |
| 83587 | T | F | T | F | T |
| 83588 | T | F | T | F | T |
| 83589 | T | F | T | F | T |
| 83590 | T | F | T | F | T |
| 83591 | T | F | T | F | T |
| 83592 | T | F | T | F | T |
| 83593 | T | F | T | F | T |
| 83594 | T | F | T | F | T |
| 83595 | T | F | T | F | T |
| 83596 | T | F | T | F | T |
| 83597 | T | F | T | F | T |
| 83598 | T | F | T | F | T |
| 83599 | T | F | T | F | T |
| 83600 | T | F | T | F | T |
| 83601 | T | F | T | F | T |
| 83602 | T | F | T | F | T |
| 83603 | T | F | T | F | T |
| 83604 | T | F | T | F | T |
| 83605 | T | F | T | F | T |
| 83606 | T | F | T | F | T |
| 83607 | T | F | T | F | T |
| 83608 | T | F | T | F | T |
| 83609 | T | F | T | F | T |
| 83610 | T | F | T | F | T |
| 83611 | T | F | T | F | T |
| 83612 | T | F | T | F | T |
| 83613 | T | F | T | F | T |
| 83614 | T | F | T | F | T |
| 83615 | T | F | T | F | T |
| 83616 | T | F | T | F | T |
| 83617 | T | F | T | F | T |
| 83618 | T | F | T | F | T |
| 83619 | T | F | T | F | T |
| 83620 | T | F | T | F | T |
| 83621 | T | F | T | F | T |
| 83622 | T | F | T | F | T |
| 83623 | T | F | T | F | T |
| 83624 | T | F | T | F | T |
| 83625 | T | F | T | F | T |
| 83626 | T | F | T | F | T |
| 83627 | T | F | T | F | T |
| 92949 | T | F | T | F | T |
| 92950 | T | F | T | F | T |
| 92951 | T | F | T | F | T |
| 92952 | T | F | T | F | T |
| 92953 | T | F | T | F | T |
| 92954 | T | F | T | F | T |
| 92955 | T | F | T | F | T |
| 92956 | T | F | T | F | T |
| 92957 | F | F | F | * | T |
| 92958 | F | F | F | * | T |
| 92959 | F | F | F | * | T |
| 92960 | F | F | F | * | T |
| 92961 | F | F | F | * | T |
| 92962 | F | F | F | * | T |
| 92963 | T | F | T | F | T |
| 92964 | T | F | T | F | T |
| 92965 | T | F | T | F | T |
| 92966 | T | F | T | F | T |
| 92967 | T | F | T | F | T |
| 92968 | T | F | T | F | T |
| 92969 | T | F | T | F | T |
| 92970 | T | F | T | F | T |
| 92971 | T | F | T | F | T |
| 92972 | T | F | T | F | T |
| 92973 | T | F | T | F | T |
| 92974 | T | F | T | F | T |
| 92975 | T | F | T | F | T |
| 92976 | T | F | T | F | T |
| 100780 | T | F | T | F | T |
| 100781 | T | F | T | F | T |
| 100782 | T | F | T | F | T |
| 100783 | T | F | T | F | T |
| 100784 | T | F | T | F | T |
| 100785 | T | F | T | F | T |
| 100786 | T | F | T | F | T |
| 100787 | T | F | T | F | T |
| 100788 | F | F | F | * | T |
| 100789 | F | F | F | * | T |
| 100790 | F | F | F | * | T |
| 100791 | F | F | F | * | T |
| 100792 | F | F | F | * | T |
| 100793 | F | F | F | * | T |
| 100794 | T | F | T | F | T |
| 100795 | T | F | T | F | T |
| 100796 | T | F | T | F | T |
| 100797 | T | F | T | F | T |
| 100798 | T | F | T | F | T |
| 100799 | T | F | T | F | T |
| 100800 | T | F | T | F | T |
| 100801 | T | F | T | F | T |
| 100802 | T | F | T | F | T |
| 100803 | T | F | T | F | T |
| 100804 | T | F | T | F | T |
| 100805 | T | F | T | F | T |
| 100806 | T | F | T | F | T |
| 100807 | T | F | T | F | T |
| 109268 | T | F | T | F | T |
| 109269 | T | F | T | F | T |
| 109270 | T | F | T | F | T |
| 109271 | T | F | T | F | T |
| 109272 | T | F | T | F | T |
| 109273 | T | F | T | F | T |
| 109274 | T | F | T | F | T |
| 109275 | T | F | T | F | T |
| 109276 | F | F | F | * | T |
| 109277 | F | F | F | * | T |
| 109278 | F | F | F | * | T |
| 109279 | F | F | F | * | T |
| 109280 | F | F | F | * | T |
| 109281 | F | F | F | * | T |
| 109282 | T | F | T | F | T |
| 109283 | T | F | T | F | T |
| 109284 | T | F | T | F | T |
| 109285 | T | F | T | F | T |
| 109286 | T | F | T | F | T |
| 109287 | T | F | T | F | T |
| 109288 | T | F | T | F | T |
| 109289 | T | F | T | F | T |
| 109290 | T | F | T | F | T |
| 109291 | T | F | T | F | T |
| 109292 | T | F | T | F | T |
| 109293 | T | F | T | F | T |
| 109294 | T | F | T | F | T |
| 109295 | T | F | T | F | T |
| 117293 | T | F | T | F | T |
| 117294 | T | F | T | F | T |
| 117295 | T | F | T | F | T |
| 117296 | T | F | T | F | T |
| 117297 | T | F | T | F | T |
| 117298 | T | F | T | F | T |
| 117299 | T | F | T | F | T |
| 117300 | T | F | T | F | T |
| 117301 | F | F | F | * | T |
| 117302 | F | F | F | * | T |
| 117303 | F | F | F | * | T |
| 117304 | F | F | F | * | T |
| 117305 | F | F | F | * | T |
| 117306 | F | F | F | * | T |
| 117307 | T | F | T | F | T |
| 117308 | T | F | T | F | T |
| 117309 | T | F | T | F | T |
| 117310 | T | F | T | F | T |
| 117311 | T | F | T | F | T |
| 117312 | T | F | T | F | T |
| 117313 | T | F | T | F | T |
| 117314 | T | F | T | F | T |
| 117315 | T | F | T | F | T |
| 117316 | T | F | T | F | T |
| 117317 | T | F | T | F | T |
| 117318 | T | F | T | F | T |
| 117319 | T | F | T | F | T |
| 117320 | T | F | T | F | T |
| 126802 | T | F | T | F | T |
| 126803 | T | F | T | F | T |
| 126804 | T | F | T | F | T |
| 126805 | T | F | T | F | T |
| 126806 | T | F | T | F | T |
| 126807 | T | F | T | F | T |
| 126808 | T | F | T | F | T |
| 126809 | T | F | T | F | T |
| 126810 | T | F | T | F | T |
| 126811 | T | F | T | F | T |
| 126812 | T | F | T | F | T |
| 126813 | T | F | T | F | T |
| 126814 | T | F | T | F | T |
| 126815 | T | F | T | F | T |
| 126816 | T | F | T | F | T |
| 126817 | T | F | T | F | T |
| 126818 | T | F | T | F | T |
| 126819 | T | F | T | F | T |
| 126820 | T | F | T | F | T |
| 126821 | T | F | T | F | T |
| 126822 | T | F | T | F | T |
| 126823 | T | F | T | F | T |
| 126824 | T | F | T | F | T |
| 126825 | T | F | T | F | T |
| 126826 | T | F | T | F | T |
| 126827 | T | F | T | F | T |
| 126828 | T | F | T | F | T |
| 126829 | T | F | T | F | T |
| 126830 | T | F | T | F | T |
| 126831 | T | F | T | F | T |
| 126832 | T | F | T | F | T |
| 126833 | T | F | T | F | T |
| 126834 | T | F | T | F | T |
| 126835 | T | F | T | F | T |
| 126836 | T | F | T | F | T |
| 126837 | T | F | T | F | T |
| 126838 | T | F | T | F | T |
| 126839 | T | F | T | F | T |
| 126840 | T | F | T | F | T |
| 126841 | T | F | T | F | T |
| 126842 | T | F | T | F | T |
| 126843 | T | F | T | F | T |
| 126844 | T | F | T | F | T |
| 126845 | T | F | T | F | T |
| 126846 | T | F | T | F | T |
| 126847 | T | F | T | F | T |
| 126848 | T | F | T | F | T |
| 126849 | T | F | T | F | T |
| 126850 | T | F | T | F | T |
| 126851 | T | F | T | F | T |
| 126852 | T | F | T | F | T |
| 126853 | T | F | T | F | T |
| 126854 | T | F | T | F | T |
| 126855 | T | F | T | F | T |
| 126856 | T | F | T | F | T |
| 126857 | T | F | T | F | T |
| 126858 | T | F | T | F | T |
| 126859 | T | F | T | F | T |
| 126860 | T | F | T | F | T |
| 126861 | T | F | T | F | T |
| 126862 | T | F | T | F | T |
| 126863 | T | F | T | F | T |
| 126864 | T | F | T | F | T |
| 126865 | T | F | T | F | T |
| 126866 | T | F | T | F | T |
| 126867 | T | F | T | F | T |
| 126868 | T | F | T | F | T |
| 126869 | T | F | T | F | T |
| 126870 | T | F | T | F | T |
| 126871 | T | F | T | F | T |
| 126872 | T | F | T | F | T |
| 126873 | T | F | T | F | T |
| 126874 | T | F | T | F | T |
| 126875 | T | F | T | F | T |
| 126876 | T | F | T | F | T |
| 126877 | T | F | T | F | T |
| 126878 | T | F | T | F | T |
| 126879 | T | F | T | F | T |
| 126880 | T | F | T | F | T |
| 126881 | T | F | T | F | T |
| 126882 | T | F | T | F | T |
| 126883 | T | F | T | F | T |
| 126884 | T | F | T | F | T |
| 126885 | T | F | T | F | T |
| 126886 | T | F | T | F | T |
| 126887 | T | F | T | F | T |
| 126888 | T | F | T | F | T |
| 126889 | T | F | T | F | T |
| 143521 | T | F | T | F | T |
| 143522 | T | F | T | F | T |
| 143523 | T | F | T | F | T |
| 143524 | T | F | T | F | T |
| 143525 | T | F | T | F | T |
| 143526 | T | F | T | F | T |
| 143527 | T | F | T | F | T |
| 143528 | T | F | T | F | T |
| 143529 | T | F | T | F | T |
| 143530 | T | F | T | F | T |
| 143531 | T | F | T | F | T |
| 143532 | T | F | T | F | T |
| 143533 | T | F | T | F | T |
| 143534 | T | F | T | F | T |
| 143535 | T | F | T | F | T |
| 143536 | T | F | T | F | T |
| 143537 | T | F | T | F | T |
| 143538 | T | F | T | F | T |
| 143539 | T | F | T | F | T |
| 143540 | T | F | T | F | T |
| 143541 | T | F | T | F | T |
| 143542 | T | F | T | F | T |
| 143543 | T | F | T | F | T |
| 143544 | T | F | T | F | T |
| 143545 | T | F | T | F | T |
| 143546 | T | F | T | F | T |
| 143547 | T | F | T | F | T |
| 143548 | T | F | T | F | T |
| 143549 | T | F | T | F | T |
| 143550 | T | F | T | F | T |
| 143551 | T | F | T | F | T |
| 143552 | T | F | T | F | T |
| 143553 | T | F | T | F | T |
| 143554 | T | F | T | F | T |
| 143555 | T | F | T | F | T |
| 143556 | T | F | T | F | T |
| 143557 | T | F | T | F | T |
| 143558 | T | F | T | F | T |
| 143559 | T | F | T | F | T |
| 143560 | T | F | T | F | T |
| 143561 | T | F | T | F | T |
| 143562 | T | F | T | F | T |
| 143563 | T | F | T | F | T |
| 143564 | T | F | T | F | T |
| 143565 | T | F | T | F | T |
| 143566 | T | F | T | F | T |
| 143567 | T | F | T | F | T |
| 143568 | T | F | T | F | T |
| 143569 | T | F | T | F | T |
| 143570 | T | F | T | F | T |
| 143571 | T | F | T | F | T |
| 143572 | T | F | T | F | T |
| 143573 | T | F | T | F | T |
| 143574 | T | F | T | F | T |
| 143575 | T | F | T | F | T |
| 143576 | T | F | T | F | T |
| 143577 | T | F | T | F | T |
| 143578 | T | F | T | F | T |
| 143579 | T | F | T | F | T |
| 143580 | T | F | T | F | T |
| 143581 | T | F | T | F | T |
| 143582 | T | F | T | F | T |
| 143583 | T | F | T | F | T |
| 143584 | T | F | T | F | T |
| 143585 | T | F | T | F | T |
| 143586 | T | F | T | F | T |
| 143587 | T | F | T | F | T |
| 143588 | T | F | T | F | T |
| 143589 | T | F | T | F | T |
| 143590 | T | F | T | F | T |
| 143591 | T | F | T | F | T |
| 143592 | T | F | T | F | T |
| 143593 | T | F | T | F | T |
| 143594 | T | F | T | F | T |
| 143595 | T | F | T | F | T |
| 143596 | T | F | T | F | T |
| 143597 | T | F | T | F | T |
| 143598 | T | F | T | F | T |
| 143599 | T | F | T | F | T |
| 143600 | T | F | T | F | T |
| 143601 | T | F | T | F | T |
| 143602 | T | F | T | F | T |
| 143603 | T | F | T | F | T |
| 143604 | T | F | T | F | T |
| 143605 | T | F | T | F | T |
| 143606 | T | F | T | F | T |
| 143607 | T | F | T | F | T |
| 143608 | T | F | T | F | T |
| 159663 | F | F | F | * | T |
| 159664 | F | F | F | * | T |
| 159665 | F | F | F | * | T |
| 159666 | F | F | F | * | T |
| 159667 | F | F | F | * | T |
| 159668 | F | F | F | * | T |
| 159669 | F | F | F | * | T |
| 159670 | F | F | F | * | T |
| 159671 | F | F | F | * | T |
| 159672 | F | F | F | * | T |
| 159673 | F | F | F | * | T |
| 159674 | F | F | F | * | T |
| 159675 | F | F | F | * | T |
| 159676 | F | F | F | * | T |
| 159677 | F | F | F | * | T |
| 159678 | F | F | F | * | T |
| 159679 | F | F | F | * | T |
| 159680 | F | F | F | * | T |
| 159681 | F | F | F | * | T |
| 159682 | F | F | F | * | T |
| 159683 | F | F | F | * | T |
| 159684 | F | F | F | * | T |
| 159685 | F | F | F | * | T |
| 159686 | F | F | F | * | T |
| 159687 | F | F | F | * | T |
| 159688 | F | F | F | * | T |
| 159689 | F | F | F | * | T |
| 159690 | F | F | F | * | T |
| 159691 | F | F | F | * | T |
| 159692 | F | F | F | * | T |
| 159693 | F | F | F | * | T |
| 159694 | F | F | F | * | T |
| 159695 | F | F | F | * | T |
| 159696 | F | F | F | * | T |
| 159697 | F | F | F | * | T |
| 159698 | F | F | F | * | T |
| 159699 | F | F | F | * | T |
| 159700 | F | F | F | * | T |
| 159701 | F | F | F | * | T |
| 159702 | F | F | F | * | T |
| 159703 | F | F | F | * | T |
| 159704 | F | F | F | * | T |
| 159705 | F | F | F | * | T |
| 159706 | F | F | F | * | T |
| 159707 | F | F | F | * | T |
| 159708 | F | F | F | * | T |
| 159709 | F | F | F | * | T |
| 159710 | F | F | F | * | T |
| 169521 | F | F | F | * | T |
| 169522 | F | F | F | * | T |
| 169523 | F | F | F | * | T |
| 169524 | F | F | F | * | T |
| 169525 | F | F | F | * | T |
| 169526 | F | F | F | * | T |
| 169527 | F | F | F | * | T |
| 169528 | F | F | F | * | T |
| 169529 | F | F | F | * | T |
| 169530 | F | F | F | * | T |
| 169531 | F | F | F | * | T |
| 169532 | F | F | F | * | T |
| 169533 | F | F | F | * | T |
| 169534 | F | F | F | * | T |
| 169535 | F | F | F | * | T |
| 169536 | F | F | F | * | T |
| 169537 | F | F | F | * | T |
| 169538 | F | F | F | * | T |
| 169539 | F | F | F | * | T |
| 169540 | F | F | F | * | T |
| 169541 | F | F | F | * | T |
| 169542 | F | F | F | * | T |
| 169543 | F | F | F | * | T |
| 169544 | F | F | F | * | T |
| 169545 | F | F | F | * | T |
| 169546 | F | F | F | * | T |
| 169547 | F | F | F | * | T |
| 169548 | F | F | F | * | T |
| 169549 | F | F | F | * | T |
| 169550 | F | F | F | * | T |
| 169551 | F | F | F | * | T |
| 169552 | F | F | F | * | T |
| 169553 | F | F | F | * | T |
| 169554 | F | F | F | * | T |
| 169555 | F | F | F | * | T |
| 169556 | F | F | F | * | T |
| 169557 | F | F | F | * | T |
| 169558 | F | F | F | * | T |
| 169559 | F | F | F | * | T |
| 169560 | F | F | F | * | T |
| 169561 | F | F | F | * | T |
| 169562 | F | F | F | * | T |
| 169563 | F | F | F | * | T |
| 169564 | F | F | F | * | T |
| 169565 | F | F | F | * | T |
| 169566 | F | F | F | * | T |
| 169567 | F | F | F | * | T |
| 169568 | F | F | F | * | T |
| 177015 | F | F | F | * | T |
| 177016 | F | F | F | * | T |
| 177017 | F | F | F | * | T |
| 177018 | F | F | F | * | T |
| 181560 | F | F | F | * | T |
| 181561 | F | F | F | * | T |
| 181562 | F | F | F | * | T |
| 181563 | F | F | F | * | T |
| 181564 | F | F | F | * | T |
| 181565 | F | F | F | * | T |
| 181566 | F | F | F | * | T |
| 181567 | F | F | F | * | T |
| 181568 | F | F | F | * | T |
| 181569 | F | F | F | * | T |
| 184878 | F | F | F | * | T |
| 184879 | F | F | F | * | T |
| 184880 | F | F | F | * | T |
| 184881 | F | F | F | * | T |
| 184882 | F | F | F | * | T |
| 184883 | F | F | F | * | T |
| 184884 | F | F | F | * | T |
| 184885 | F | F | F | * | T |
| 184886 | F | F | F | * | T |
| 184887 | F | F | F | * | T |
| 187987 | F | F | F | * | T |
| 187988 | F | F | F | * | T |
| 187989 | F | F | F | * | T |
| 187990 | F | F | F | * | T |
| 187991 | F | F | F | * | T |
| 187992 | F | F | F | * | T |
| 187993 | F | F | F | * | T |
| 187994 | F | F | F | * | T |
| 187995 | F | F | F | * | T |
| 187996 | F | F | F | * | T |
| 191745 | T | F | T | F | T |
| 191746 | T | F | T | F | T |
| 191747 | T | F | T | F | T |
| 191748 | T | F | T | F | T |
| 191749 | T | F | T | F | T |
| 191750 | T | F | T | F | T |
| 191751 | T | F | T | F | T |
| 191752 | T | F | T | F | T |
| 191753 | T | F | T | F | T |
| 191754 | T | F | T | F | T |
| 191755 | T | F | T | F | T |
| 191756 | T | F | T | F | T |
| 191757 | T | F | T | F | T |
| 191758 | T | F | T | F | T |
| 191759 | T | F | T | F | T |
| 191760 | T | F | T | F | T |
| 191761 | T | F | T | F | T |
| 191762 | T | F | T | F | T |
| 191763 | T | F | T | F | T |
| 191764 | T | F | T | F | T |
| 197760 | F | F | F | * | T |
| 197761 | F | F | F | * | T |
| 197762 | F | F | F | * | T |
| 197763 | F | F | F | * | T |
| 197764 | F | F | F | * | T |
| 197765 | F | F | F | * | T |
| 197766 | F | F | F | * | T |
| 197767 | F | F | F | * | T |
| 197768 | F | F | F | * | T |
| 197769 | F | F | F | * | T |
| 197770 | F | F | F | * | T |
| 197771 | F | F | F | * | T |
| 197772 | F | F | F | * | T |
| 197773 | F | F | F | * | T |
| 197774 | F | F | F | * | T |
| 197775 | F | F | F | * | T |
| 197776 | F | F | F | * | T |
| 197777 | F | F | F | * | T |
| 197778 | F | F | F | * | T |
| 197779 | F | F | F | * | T |
| 197780 | F | F | F | * | T |
| 197781 | F | F | F | * | T |
| 197782 | F | F | F | * | T |
| 197783 | F | F | F | * | T |
| 197784 | F | F | F | * | T |
| 197785 | F | F | F | * | T |
| 197786 | F | F | F | * | T |
| 197787 | F | F | F | * | T |
| 197788 | F | F | F | * | T |
| 197789 | F | F | F | * | T |
| 197790 | F | F | F | * | T |
| 197791 | F | F | F | * | T |
| 197792 | F | F | F | * | T |
| 197793 | F | F | F | * | T |
| 197794 | F | F | F | * | T |
| 197795 | F | F | F | * | T |
| 197796 | F | F | F | * | T |
| 197797 | F | F | F | * | T |
| 197798 | F | F | F | * | T |
| 197799 | F | F | F | * | T |
| 197800 | F | F | F | * | T |
| 197801 | F | F | F | * | T |
| 197802 | F | F | F | * | T |
| 197803 | F | F | F | * | T |
| 197804 | F | F | F | * | T |
| 197805 | F | F | F | * | T |
| 197806 | F | F | F | * | T |
| 197807 | F | F | F | * | T |
| 197808 | F | F | F | * | T |
| 197809 | F | F | F | * | T |
| 197810 | F | F | F | * | T |
| 197811 | F | F | F | * | T |
| 197812 | F | F | F | * | T |
| 197813 | F | F | F | * | T |
| 197814 | F | F | F | * | T |
| 197815 | F | F | F | * | T |
| 197816 | F | F | F | * | T |
| 197817 | F | F | F | * | T |
| 197818 | F | F | F | * | T |
| 197819 | F | F | F | * | T |
| 203727 | T | F | T | F | T |
| 203728 | T | F | T | F | T |
| 203729 | T | F | T | F | T |
| 203730 | T | F | T | F | T |
| 203731 | T | F | T | F | T |
| 203732 | T | F | T | F | T |
| 203733 | T | F | T | F | T |
| 203734 | T | F | T | F | T |
| 203735 | T | F | T | F | T |
| 203736 | T | F | T | F | T |
| 203737 | T | F | T | F | T |
| 203738 | T | F | T | F | T |
| 208919 | F | F | F | * | T |
| 208920 | F | F | F | * | T |
| 208921 | F | F | F | * | T |
| 208922 | F | F | F | * | T |
| 208923 | F | F | F | * | T |
| 208924 | F | F | F | * | T |
| 208925 | F | F | F | * | T |
| 208926 | F | F | F | * | T |
| 208927 | F | F | F | * | T |
| 208928 | F | F | F | * | T |
| 208929 | F | F | F | * | T |
| 208930 | F | F | F | * | T |
| 208931 | F | F | F | * | T |
| 208932 | F | F | F | * | T |
| 208933 | F | F | F | * | T |
| 208934 | F | F | F | * | T |
| 208935 | F | F | F | * | T |
| 208936 | F | F | F | * | T |
| 208937 | F | F | F | * | T |
| 208938 | F | F | F | * | T |
| 208939 | F | F | F | * | T |
| 208940 | F | F | F | * | T |
| 208941 | F | F | F | * | T |
| 208942 | F | F | F | * | T |
| 208943 | F | F | F | * | T |
| 208944 | F | F | F | * | T |
| 208945 | F | F | F | * | T |
| 208946 | F | F | F | * | T |
| 208947 | F | F | F | * | T |
| 208948 | F | F | F | * | T |
| 208949 | F | F | F | * | T |
| 208950 | F | F | F | * | T |
| 208951 | F | F | F | * | T |
| 208952 | F | F | F | * | T |
| 208953 | F | F | F | * | T |
| 208954 | F | F | F | * | T |
| 216421 | T | F | T | F | T |
| 216422 | T | F | T | F | T |
| 216423 | T | F | T | F | T |
| 216424 | T | F | T | F | T |
| 216425 | T | F | T | F | T |
| 216426 | T | F | T | F | T |
| 216427 | T | F | T | F | T |
| 216428 | T | F | T | F | T |
| 216429 | T | F | T | F | T |
| 216430 | T | F | T | F | T |
| 216431 | T | F | T | F | T |
| 216432 | T | F | T | F | T |
| 216433 | T | F | T | F | T |
| 216434 | T | F | T | F | T |
| 216435 | T | F | T | F | T |
| 216436 | T | F | T | F | T |
| 216437 | T | F | T | F | T |
| 216438 | T | F | T | F | T |
| 216439 | T | F | T | F | T |
| 216440 | T | F | T | F | T |
| 216441 | T | F | T | F | T |
| 216442 | T | F | T | F | T |
| 241725 | T | F | T | F | T |
| 241726 | T | F | T | F | T |
| 241727 | T | F | T | F | T |
| 241728 | T | F | T | F | T |
| 241729 | T | F | T | F | T |
| 241730 | T | F | T | F | T |
| 241731 | T | F | T | F | T |
| 241732 | T | F | T | F | T |
| 241733 | T | F | T | F | T |
| 241734 | T | F | T | F | T |
| 241735 | T | F | T | F | T |
| 241736 | T | F | T | F | T |
| 241737 | T | F | T | F | T |
| 241738 | T | F | T | F | T |
| 241739 | T | F | T | F | T |
| 241740 | T | F | T | F | T |
| 241741 | T | F | T | F | T |
| 241742 | T | F | T | F | T |
| 241743 | T | F | T | F | T |
| 241744 | T | F | T | F | T |
| 241745 | T | F | T | F | T |
| 241746 | T | F | T | F | T |
| 241747 | T | F | T | F | T |
| 241748 | T | F | T | F | T |
| 241749 | T | F | T | F | T |
| 241750 | T | F | T | F | T |
| 241751 | T | F | T | F | T |
| 241752 | T | F | T | F | T |
| 241753 | T | F | T | F | T |
| 241754 | T | F | T | F | T |
| 241755 | T | F | T | F | T |
| 241756 | T | F | T | F | T |
| 241757 | T | F | T | F | T |
| 241758 | T | F | T | F | T |
| 241759 | T | F | T | F | T |
| 241760 | T | F | T | F | T |
| 241761 | T | F | T | F | T |
| 241762 | T | F | T | F | T |
| 241763 | T | F | T | F | T |
| 241764 | T | F | T | F | T |
| 241765 | T | F | T | F | T |
| 241766 | T | F | T | F | T |
| 241767 | T | F | T | F | T |
| 241768 | T | F | T | F | T |
| 241769 | T | F | T | F | T |
| 241770 | T | F | T | F | T |
| 241771 | T | F | T | F | T |
| 241772 | T | F | T | F | T |
| 241773 | T | F | T | F | T |
| 241774 | T | F | T | F | T |
| 241775 | T | F | T | F | T |
| 241776 | T | F | T | F | T |
| 241777 | T | F | T | F | T |
| 241778 | T | F | T | F | T |
| 241779 | T | F | T | F | T |
| 241780 | T | F | T | F | T |
| 241781 | T | F | T | F | T |
| 241782 | T | F | T | F | T |
| 241783 | T | F | T | F | T |
| 241784 | T | F | T | F | T |
| 241785 | T | F | T | F | T |
| 241786 | T | F | T | F | T |
| 241787 | T | F | T | F | T |
| 241788 | T | F | T | F | T |
| 241789 | T | F | T | F | T |
| 241790 | T | F | T | F | T |
| 241791 | T | F | T | F | T |
| 241792 | T | F | T | F | T |
| 241793 | T | F | T | F | T |
| 241794 | T | F | T | F | T |
| 241795 | T | F | T | F | T |
| 241796 | T | F | T | F | T |
| 241797 | T | F | T | F | T |
| 241798 | T | F | T | F | T |
| 241799 | T | F | T | F | T |
| 241800 | T | F | T | F | T |
| 241801 | T | F | T | F | T |
| 241802 | T | F | T | F | T |
| 241803 | T | F | T | F | T |
| 241804 | T | F | T | F | T |
| 241805 | T | F | T | F | T |
| 241806 | T | F | T | F | T |
| 241807 | T | F | T | F | T |
| 241808 | T | F | T | F | T |
| 241809 | T | F | T | F | T |
| 241810 | T | F | T | F | T |
| 241811 | T | F | T | F | T |
| 241812 | T | F | T | F | T |
| 241813 | T | F | T | F | T |
| 241814 | T | F | T | F | T |
| 241815 | T | F | T | F | T |
| 241816 | T | F | T | F | T |
| 241817 | T | F | T | F | T |
| 241818 | T | F | T | F | T |
| 241819 | T | F | T | F | T |
| 241820 | T | F | T | F | T |
| 241821 | T | F | T | F | T |
| 241822 | T | F | T | F | T |
| 241823 | T | F | T | F | T |
| 241824 | T | F | T | F | T |
| 241825 | T | F | T | F | T |
| 241826 | T | F | T | F | T |
| 241827 | T | F | T | F | T |
| 241828 | T | F | T | F | T |
| 241829 | T | F | T | F | T |
| 241830 | T | F | T | F | T |
| 241831 | T | F | T | F | T |
| 241832 | T | F | T | F | T |
| 241833 | T | F | T | F | T |
| 241834 | T | F | T | F | T |
| 241835 | T | F | T | F | T |
| 241836 | T | F | T | F | T |
| 241837 | T | F | T | F | T |
| 241838 | T | F | T | F | T |
| 241839 | T | F | T | F | T |
| 241840 | T | F | T | F | T |
| 241841 | T | F | T | F | T |
| 241842 | T | F | T | F | T |
| 241843 | T | F | T | F | T |
| 241844 | T | F | T | F | T |
| 241845 | T | F | T | F | T |
| 241846 | T | F | T | F | T |
| 241847 | T | F | T | F | T |
| 241848 | T | F | T | F | T |
| 241849 | T | F | T | F | T |
| 241850 | T | F | T | F | T |
| 241851 | T | F | T | F | T |
| 241852 | T | F | T | F | T |
| 241853 | T | F | T | F | T |
| 241854 | T | F | T | F | T |
| 241855 | T | F | T | F | T |
| 241856 | T | F | T | F | T |
| 241857 | T | F | T | F | T |
| 241858 | T | F | T | F | T |
| 319102 | T | F | T | F | T |
| 319103 | T | F | T | F | T |
| 319104 | T | F | T | F | T |
| 319105 | T | F | T | F | T |
| 319106 | T | F | T | F | T |
| 319107 | T | F | T | F | T |
| 319108 | T | F | T | F | T |
| 319109 | T | F | T | F | T |
| 319110 | T | F | T | F | T |
| 319111 | T | F | T | F | T |
| 319112 | T | F | T | F | T |
| 319113 | T | F | T | F | T |
| 319114 | T | F | T | F | T |
| 319115 | T | F | T | F | T |
| 319116 | T | F | T | F | T |
| 319117 | T | F | T | F | T |
| 319118 | T | F | T | F | T |
| 319119 | T | F | T | F | T |
| 319120 | T | F | T | F | T |
| 319121 | T | F | T | F | T |
| 319122 | T | F | T | F | T |
| 319123 | T | F | T | F | T |
| 319124 | T | F | T | F | T |
| 319125 | T | F | T | F | T |
| 319126 | T | F | T | F | T |
| 319127 | T | F | T | F | T |
| 319128 | T | F | T | F | T |
| 319129 | T | F | T | F | T |
| 319130 | T | F | T | F | T |
| 319131 | T | F | T | F | T |
| 319132 | T | F | T | F | T |
| 319133 | T | F | T | F | T |
| 319134 | T | F | T | F | T |
| 319135 | T | F | T | F | T |
| 319136 | T | F | T | F | T |
| 319137 | T | F | T | F | T |
| 319138 | T | F | T | F | T |
| 319139 | T | F | T | F | T |
| 319140 | T | F | T | F | T |
| 319141 | T | F | T | F | T |
| 319142 | T | F | T | F | T |
| 319143 | T | F | T | F | T |
| 319144 | T | F | T | F | T |
| 319145 | T | F | T | F | T |
| 319146 | T | F | T | F | T |
| 319147 | T | F | T | F | T |
| 319148 | T | F | T | F | T |
| 319149 | T | F | T | F | T |
| 319150 | T | F | T | F | T |
| 319151 | T | F | T | F | T |
| 319152 | T | F | T | F | T |
| 319153 | T | F | T | F | T |
| 319154 | T | F | T | F | T |
| 319155 | T | F | T | F | T |
| 319156 | T | F | T | F | T |
| 319157 | T | F | T | F | T |
| 319158 | T | F | T | F | T |
| 319159 | T | F | T | F | T |
| 319160 | T | F | T | F | T |
| 319161 | T | F | T | F | T |
| 319162 | T | F | T | F | T |
| 319163 | T | F | T | F | T |
| 319164 | T | F | T | F | T |
| 319165 | T | F | T | F | T |
| 319166 | T | F | T | F | T |
| 319167 | T | F | T | F | T |
| 319168 | T | F | T | F | T |
| 319169 | T | F | T | F | T |
| 319170 | T | F | T | F | T |
| 319171 | T | F | T | F | T |
| 319172 | T | F | T | F | T |
| 319173 | T | F | T | F | T |
| 319174 | T | F | T | F | T |
| 319175 | T | F | T | F | T |
| 319176 | T | F | T | F | T |
| 319177 | T | F | T | F | T |
| 319178 | T | F | T | F | T |
| 319179 | T | F | T | F | T |
| 319180 | T | F | T | F | T |
| 319181 | T | F | T | F | T |
| 319182 | T | F | T | F | T |
| 319183 | T | F | T | F | T |
| 319184 | T | F | T | F | T |
| 319185 | T | F | T | F | T |
| 319186 | T | F | T | F | T |
| 319187 | T | F | T | F | T |
| 319188 | T | F | T | F | T |
| 319189 | T | F | T | F | T |
| 319190 | T | F | T | F | T |
| 319191 | T | F | T | F | T |
| 319192 | T | F | T | F | T |
| 319193 | T | F | T | F | T |
| 319194 | T | F | T | F | T |
| 319195 | T | F | T | F | T |
| 319196 | T | F | T | F | T |
| 319197 | T | F | T | F | T |
| 319198 | T | F | T | F | T |
| 319199 | T | F | T | F | T |
| 319200 | T | F | T | F | T |
| 319201 | T | F | T | F | T |
| 319202 | T | F | T | F | T |
| 319203 | T | F | T | F | T |
| 319204 | T | F | T | F | T |
| 319205 | T | F | T | F | T |
| 319206 | T | F | T | F | T |
| 319207 | T | F | T | F | T |
| 319208 | T | F | T | F | T |
| 319209 | T | F | T | F | T |
| 319210 | T | F | T | F | T |
| 319211 | T | F | T | F | T |
| 319212 | T | F | T | F | T |
| 319213 | T | F | T | F | T |
| 319214 | T | F | T | F | T |
| 319215 | T | F | T | F | T |
| 319216 | T | F | T | F | T |
| 319217 | T | F | T | F | T |
| 319218 | T | F | T | F | T |
| 319219 | T | F | T | F | T |
| 319220 | T | F | T | F | T |
| 319221 | T | F | T | F | T |
| 319222 | T | F | T | F | T |
| 319223 | T | F | T | F | T |
| 319224 | T | F | T | F | T |
| 319225 | T | F | T | F | T |
| 319226 | T | F | T | F | T |
| 319227 | T | F | T | F | T |
| 319228 | T | F | T | F | T |
| 319229 | T | F | T | F | T |
| 319230 | T | F | T | F | T |
| 319231 | T | F | T | F | T |
| 319232 | T | F | T | F | T |
| 319233 | T | F | T | F | T |
| 319234 | T | F | T | F | T |
| 319235 | T | F | T | F | T |
| 377429 | T | F | T | F | T |
| 377430 | T | F | T | F | T |
| 377431 | T | F | T | F | T |
| 377432 | T | F | T | F | T |
| 377433 | T | F | T | F | T |
| 377434 | T | F | T | F | T |
| 377435 | T | F | T | F | T |
| 377436 | T | F | T | F | T |
| 380086 | T | F | T | F | T |
| 380087 | T | F | T | F | T |
| 380088 | T | F | T | F | T |
| 380089 | T | F | T | F | T |
| 380090 | T | F | T | F | T |
| 380091 | T | F | T | F | T |
| 380092 | T | F | T | F | T |
| 380093 | T | F | T | F | T |
| 382969 | T | F | T | F | T |
| 382970 | T | F | T | F | T |
| 382971 | T | F | T | F | T |
| 382972 | T | F | T | F | T |
| 382973 | T | F | T | F | T |
| 382974 | T | F | T | F | T |
| 382975 | T | F | T | F | T |
| 382976 | T | F | T | F | T |
Independent-effect pairs
c0(branch6353): GAP view gap →scry_octagon::close· br_if
inlined: lib.rs:136c1(branch6355): GAP view gap →scry_octagon::close· br_if
inlined: lib.rs:136c2(branch6356): GAP view gap →scry_octagon::close· br_if
inlined: lib.rs:136c3(branch6357): GAP view gap →scry_octagon::close· br_if
inlined: lib.rs:136