Decision #585 — src/readers.rs:197
Status: partial
Truth table
| row | c0 br 3639 | c1 br 3668 | outcome |
|---|---|---|---|
| 1042 | F | T | T |
| 1043 | F | * | F |
| 1044 | F | * | F |
| 1045 | T | * | T |
| 4835 | F | T | T |
| 4836 | F | * | F |
| 4837 | F | * | F |
| 4838 | T | * | T |
| 8570 | F | T | T |
| 8571 | F | * | F |
| 8572 | F | * | F |
| 8573 | T | * | T |
| 11997 | * | T | T |
| 13373 | * | T | T |
| 14698 | * | T | T |
| 16628 | * | T | T |
| 26108 | * | T | T |
| 35730 | * | T | T |
| 41943 | * | T | T |
| 48077 | * | T | T |
| 52248 | * | T | T |
| 56786 | * | T | T |
| 61001 | * | T | T |
| 65224 | * | T | T |
| 76737 | * | T | T |
| 88510 | * | T | T |
| 92778 | * | T | T |
| 96194 | * | T | T |
| 98058 | * | T | T |
| 99575 | * | T | T |
| 100991 | * | T | T |
| 102716 | * | T | T |
| 106030 | * | T | T |
| 109062 | * | T | T |
| 111804 | * | T | T |
| 114659 | * | T | T |
| 118688 | * | T | T |
| 141624 | * | T | T |
| 163277 | * | T | T |
| 164848 | * | T | T |
| 166570 | * | T | T |
Independent-effect pairs
c0(branch3639): PROVED — pair rows1043,1045(masking)scry_analyze_core::analyze· br_ifc1(branch3668): GAP view gap →scry_analyze_core::analyze· br_if