Decision #317 — src/readers.rs:201
Status: partial
Truth table
| row | c0 br 2037 | c1 br 2068 | outcome |
|---|---|---|---|
| 959 | T | * | T |
| 960 | T | * | T |
| 3999 | T | * | T |
| 4000 | T | * | T |
| 6948 | T | * | T |
| 6949 | T | * | T |
| 9731 | T | * | T |
| 10879 | T | * | T |
| 11970 | T | * | T |
| 13767 | T | * | T |
| 21485 | T | * | T |
| 29494 | T | * | T |
| 35432 | T | * | T |
| 40975 | T | * | T |
| 40976 | T | F | F |
| 40977 | * | T | T |
| 43988 | T | * | T |
| 43989 | T | F | F |
| 43990 | * | T | T |
| 47441 | T | * | T |
| 47442 | T | F | F |
| 47443 | * | T | T |
| 50515 | T | * | T |
| 50516 | T | F | F |
| 50517 | * | T | T |
| 53760 | T | * | T |
| 63532 | T | * | T |
| 73334 | T | * | T |
| 76809 | T | * | T |
| 79467 | T | F | F |
| 79468 | * | T | T |
| 80938 | T | * | T |
| 82125 | T | * | T |
| 83187 | T | * | T |
| 84402 | T | F | F |
| 84403 | * | T | T |
| 86117 | T | F | F |
| 86118 | * | T | T |
| 87752 | T | F | F |
| 87753 | * | T | T |
| 89425 | T | F | F |
| 89426 | * | F | F |
| 89427 | * | T | T |
| 91086 | T | F | F |
| 91087 | * | T | T |
| 93706 | T | * | T |
| 112569 | T | * | T |
| 130146 | T | * | T |
| 131321 | T | * | T |
| 132648 | T | * | T |
Independent-effect pairs
c0(branch2037): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1311c1(branch2068): PROVED — pair rows40976,40977(masking)scry_analyze_core::analyze· br_if