Decision #403 — lib.rs:153
Status: partial
Truth table
| row | c0 br 2788 | c1 br 2790 | c2 br 2791 | outcome |
|---|---|---|---|---|
| 13860 | F | T | * | T |
| 13861 | F | T | * | T |
| 13862 | F | T | * | T |
| 13863 | F | F | F | F |
| 13864 | F | T | * | T |
| 13865 | F | T | * | T |
| 13866 | * | T | * | T |
| 13867 | * | F | F | F |
| 21578 | F | T | * | T |
| 21579 | F | T | * | T |
| 21580 | F | T | * | T |
| 21581 | F | F | F | F |
| 21582 | F | T | * | T |
| 21583 | F | T | * | T |
| 21584 | * | T | * | T |
| 21585 | * | F | F | F |
| 53865 | F | T | * | T |
| 53866 | F | T | * | T |
| 53867 | F | T | * | T |
| 53868 | F | F | F | F |
| 53869 | F | T | * | T |
| 53870 | F | T | * | T |
| 53871 | * | T | * | T |
| 53872 | F | F | F | F |
| 53873 | F | T | * | T |
| 53874 | F | T | * | T |
| 53875 | * | T | * | T |
| 53876 | F | F | F | F |
| 53877 | F | T | * | T |
| 53878 | F | T | * | T |
| 53879 | * | T | * | T |
| 53880 | F | F | F | F |
| 53881 | F | T | * | T |
| 53882 | F | T | * | T |
| 53883 | * | T | * | T |
| 53884 | F | F | F | F |
| 53885 | F | T | * | T |
| 53886 | F | T | * | T |
| 53887 | * | T | * | T |
| 53888 | F | F | F | F |
| 53889 | F | T | * | T |
| 53890 | F | T | * | T |
| 53891 | * | T | * | T |
| 53892 | F | F | F | F |
| 53893 | F | T | * | T |
| 53894 | F | T | * | T |
| 53895 | * | T | * | T |
| 53896 | * | F | F | F |
| 63637 | F | T | * | T |
| 63638 | F | T | * | T |
| 63639 | F | T | * | T |
| 63640 | F | F | F | F |
| 63641 | F | T | * | T |
| 63642 | F | T | * | T |
| 63643 | * | T | * | T |
| 63644 | F | F | F | F |
| 63645 | F | T | * | T |
| 63646 | F | T | * | T |
| 63647 | * | T | * | T |
| 63648 | F | F | F | F |
| 63649 | F | T | * | T |
| 63650 | F | T | * | T |
| 63651 | * | T | * | T |
| 63652 | F | F | F | F |
| 63653 | F | T | * | T |
| 63654 | F | T | * | T |
| 63655 | * | T | * | T |
| 63656 | F | F | F | F |
| 63657 | F | T | * | T |
| 63658 | F | T | * | T |
| 63659 | * | T | * | T |
| 63660 | F | F | F | F |
| 63661 | F | T | * | T |
| 63662 | F | T | * | T |
| 63663 | * | T | * | T |
| 63664 | F | F | F | F |
| 63665 | F | T | * | T |
| 63666 | F | T | * | T |
| 63667 | * | T | * | T |
| 63668 | * | F | F | F |
| 93878 | F | T | * | T |
| 93879 | F | T | * | T |
| 93880 | F | T | * | T |
| 93881 | F | F | F | F |
| 93882 | F | T | * | T |
| 93883 | F | T | * | T |
| 93884 | * | T | * | T |
| 93885 | * | F | F | F |
| 112741 | F | T | * | T |
| 112742 | F | T | * | T |
| 112743 | F | T | * | T |
| 112744 | F | F | F | F |
| 112745 | F | T | * | T |
| 112746 | F | T | * | T |
| 112747 | * | T | * | T |
| 112748 | * | F | F | F |
Independent-effect pairs
All 3 conditions live in scry_octagon::forget — 3 br_if
c0(branch2788): GAP view gap →c1(branch2790): PROVED — pair rows13860,13863(masking)c2(branch2791): GAP view gap →