Decision #579 — binary_reader.rs:389

Status: no_witness

Truth table

rowc0 br 4401c1 br 4402outcome
18188FFF
25906FFF
31632FFF
37570FFF
59647FFF
69419FFF
91260FFF
107315FFF
126178FFF

Independent-effect pairs