Decision #445 — binary_reader.rs:723

Status: no_witness

Truth table

rowc0 br 2975c1 br 2977outcome
18056FTT
18057FTT
25774FTT
25775FTT
31565*TT
31566*TT
31567*TT
31568*TT
37503*TT
37504*TT
37505*TT
37506*TT
59507FTT
59508FTT
69279FTT
69280FTT
107180FTT
107181FTT
107182FTT
107183FTT
126043FTT
126044FTT
126045FTT
126046FTT

Independent-effect pairs