Decision #711 — src/readers.rs:200
Status: partial
Truth table
| row | c0 br 4413 | c1 br 4414 | outcome |
|---|---|---|---|
| 92499 | F | T | T |
| 92500 | F | T | T |
| 92501 | F | T | T |
| 92502 | F | F | F |
| 100330 | F | T | T |
| 100331 | F | T | T |
| 100332 | F | T | T |
| 100333 | F | F | F |
| 108819 | F | T | T |
| 108820 | F | T | T |
| 108821 | F | T | T |
| 108822 | F | F | F |
| 116843 | F | T | T |
| 116844 | F | T | T |
| 116845 | F | T | T |
| 116846 | F | F | F |
| 176846 | F | T | T |
| 176847 | F | T | T |
| 176848 | F | T | T |
| 176849 | F | F | F |
| 191430 | F | T | T |
| 191431 | F | F | F |
| 197207 | F | T | T |
| 197208 | F | T | T |
| 197209 | F | T | T |
| 197210 | F | F | F |
| 203488 | F | T | T |
| 203489 | F | F | F |
| 208531 | F | T | T |
| 208532 | F | T | T |
| 208533 | F | F | F |
| 216060 | F | T | T |
| 216061 | F | F | F |
Independent-effect pairs
c0(branch4413): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4414): PROVED — pair rows92499,92502(unique-cause)scry_analyze_core::analyze· br_if