Decision #1456 — mod.rs:565

Status: no_witness

Truth table

rowc0 br 9616c1 br 9617outcome
212828*TT

Independent-effect pairs