Decision #1236 — parser.rs:1208

Status: no_witness

Truth table

rowc0 br 8370c1 br 8371outcome
2670TTT
2671TTT
9627TTT
9628TTT
16448TTT
16449TTT
22291TTT
22292TTT
25031TTT
25032TTT
27677TTT
27678TTT
39085TTT
39086TTT
59937TTT
59938TTT
75471TTT
75472TTT
85354TTT
85355TTT
93624TTT
93625TTT
101465TTT
101466TTT
109949TTT
109950TTT
117968TTT
117969TTT
132442TTT
132443TTT
149161TTT
149162TTT
160179TTT
160180TTT
170037TTT
170038TTT
177285TTT
177286TTT
181800TTT
181801TTT
185116TTT
185117TTT
188227TTT
188228TTT
192295TTT
192296TTT
198314TTT
198315TTT
204149TTT
204150TTT
209423TTT
209424TTT
217093TTT
217094TTT
252910TTT
252911TTT
330287TTT
330288TTT
377724TTT
377725TTT
380385TTT
380386TTT
383266TTT
383267TTT

Independent-effect pairs