Decision #1053 — binary_reader.rs:420

Status: no_witness

Truth table

rowc0 br 6626c1 br 6627c2 br 6628outcome
93330FFTT
93331FFTT
101161FFTT
101162FFTT
109649FFTT
109650FFTT
117674FFTT
117675FFTT
177055FFTT
177056FFTT
192059FFTT
192060FFTT
197964FFTT
197965FFTT
203925FFTT
203926FFTT
209055FFTT
209056FFTT
216790FFTT
216791FFTT

Independent-effect pairs