Decision #578 — operators.rs:978

Status: no_witness

Truth table

rowc0 br 4394c1 br 4395outcome
18186FFF
18187FFF
25904FFF
25905FFF
31630FFF
31631FFF
37568FFF
37569FFF
59645FFF
59646FFF
69417FFF
69418FFF
91259FFF
107313FFF
107314FFF
126176FFF
126177FFF

Independent-effect pairs