Decision #486 — binary_reader.rs:599

Status: no_witness

Truth table

rowc0 br 3281c1 br 3282outcome
80991FFF
82178FFF
83240FFF

Independent-effect pairs