Decision #1303 — binary_reader.rs:444

Status: no_witness

Truth table

rowc0 br 8794c1 br 8795outcome
182039TFF
185355TFF
188466TFF

Independent-effect pairs