Decision #1051 — binary_reader.rs:285

Status: no_witness

Truth table

rowc0 br 6620c1 br 6621outcome
2294FTT
2295FTT
9253FTT
9254FTT
16059FTT
16060FTT
22125FTT
22126FTT
24867FTT
24868FTT
27511FTT
27512FTT
38849FTT
38850FTT
59703FTT
59704FTT
75227FTT
75228FTT
85110FTT
85111FTT
93326FTT
93327FTT
101157FTT
101158FTT
109645FTT
109646FTT
117670FTT
117671FTT
132210FTT
132211FTT
148929FTT
148930FTT
159835FTT
159836FTT
169693FTT
169694FTT
177051FTT
177052FTT
181600FTT
181601FTT
184918FTT
184919FTT
188027FTT
188028FTT
192055FTT
192056FTT
197960FTT
197961FTT
203921FTT
203922FTT
209051FTT
209052FTT
216786FTT
216787FTT
252640FTT
252641FTT
330017FTT
330018FTT
377561FTT
377562FTT
380218FTT
380219FTT
383101FTT
383102FTT

Independent-effect pairs