Decision #1023 — binary_reader.rs:77
Status: partial
Truth table
| row | c0 br 6487 | c1 br 6493 | outcome |
|---|---|---|---|
| 38553 | F | F | F |
| 38554 | F | F | F |
| 59407 | F | F | F |
| 59408 | F | F | F |
| 75153 | F | T | T |
| 75154 | F | T | T |
| 85036 | F | T | T |
| 85037 | F | T | T |
| 131904 | F | F | F |
| 131905 | F | F | F |
| 148623 | F | F | F |
| 148624 | F | F | F |
| 252339 | F | F | F |
| 252340 | F | F | F |
| 252341 | F | F | F |
| 252342 | F | F | F |
| 329716 | F | F | F |
| 329717 | F | F | F |
| 329718 | F | F | F |
| 329719 | F | F | F |
Independent-effect pairs
c0(branch6487): GAP view gap →scry_octagon::narrow· br_ifc1(branch6493): PROVED — pair rows38553,75153(unique-cause)scry_octagon::narrow· br_if