Decision #310 — lib.rs:3717
Status: no_witness
Truth table
| row | c0 br 1850 | c1 br 1851 | c2 br 1852 | outcome |
|---|---|---|---|---|
| 11741 | F | F | F | T |
| 11742 | F | F | F | T |
| 13117 | F | F | F | T |
| 13118 | F | F | F | T |
| 14442 | F | F | F | T |
| 14443 | F | F | F | T |
| 47333 | F | T | F | T |
| 47334 | F | T | F | T |
| 51461 | F | T | F | T |
| 51462 | F | T | F | T |
| 55999 | F | T | F | T |
| 56000 | F | T | F | T |
| 60257 | F | T | F | T |
| 60258 | F | T | F | T |
| 87494 | F | F | F | T |
| 87495 | F | F | F | T |
| 87496 | F | F | F | T |
| 87497 | F | F | F | T |
| 87498 | F | F | F | T |
| 87499 | F | F | F | T |
| 91762 | F | F | F | T |
| 91763 | F | F | F | T |
| 91764 | F | F | F | T |
| 91765 | F | F | F | T |
| 91766 | F | F | F | T |
| 91767 | F | F | F | T |
| 97815 | F | F | F | T |
| 99333 | F | F | F | T |
| 100748 | F | F | F | T |
| 163067 | F | T | F | T |
| 164622 | F | T | F | T |
| 166344 | F | T | F | T |
Independent-effect pairs
All 3 conditions live in <scry_bits::BitsCong>::reduce — 3 br_if
c0(branch1850): GAP view gap →c1(branch1851): GAP view gap →c2(branch1852): GAP view gap →