Decision #1280 — binary_reader.rs:94

Status: no_witness

Truth table

rowc0 br 8626c1 br 8627outcome
3263FFF
10220FFF
17073FFF

Independent-effect pairs