Decision #1042 — binary_reader.rs:521

Status: no_witness

Truth table

rowc0 br 6582c1 br 6584outcome
2284TFF
2285TFF
9243TFF
9244TFF
16049TFF
16050TFF

Independent-effect pairs