Decision #1267 — binary_reader.rs:93

Status: no_witness

Truth table

rowc0 br 8560c1 br 8561outcome
3249T*T
3250T*T
10206T*T
10207T*T
17059T*T
17060T*T
22527T*T
25267T*T
27913T*T
39510T*T
60362T*T
75971T*T
85854T*T
94164T*T
94165T*T
102025T*T
102026T*T
110506T*T
110507T*T
118508T*T
118509T*T
132899T*T
149618T*T
161010T*T
170868T*T
177617T*T
182032T*T
185348T*T
188459T*T
192615T*T
199097T*T
204404T*T
210018T*T
217495T*T
253500T*T
330877T*T
377928T*T
380595T*T
383476T*T

Independent-effect pairs