Decision #790 — binary_reader.rs:74
Status: no_witness
Truth table
| row | c0 br 5252 | c1 br 5254 | c2 br 5255 | outcome |
|---|---|---|---|---|
| 22381 | T | F | T | T |
| 22382 | T | F | T | T |
| 31859 | T | F | T | T |
| 31860 | T | F | T | T |
| 38200 | T | F | T | T |
| 38201 | T | F | T | T |
| 44413 | T | F | T | T |
| 44414 | T | F | T | T |
| 72501 | T | F | T | T |
| 72502 | T | F | T | T |
| 84014 | T | F | T | T |
| 84015 | T | F | T | T |
| 135209 | T | F | T | T |
| 135210 | T | F | T | T |
| 135211 | T | F | T | T |
| 135212 | T | F | T | T |
| 158145 | T | F | T | T |
| 158146 | T | F | T | T |
| 158147 | T | F | T | T |
| 158148 | T | F | T | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::narrow — 3 br_if
c0(branch5252): GAP view gap →c1(branch5254): GAP view gap →c2(branch5255): GAP view gap →