Decision #601 — imports.rs:109

Status: no_witness

Truth table

rowc0 br 4516c1 br 4517outcome
1158TTT
1159TTT
4198TTT
4199TTT
7147TTT
7148TTT
84532TTT
84533TTT
86382TTT
86383TTT
87863TTT
87864TTT
89718TTT
89719TTT
89720TTT
89721TTT
91266TTT
91267TTT

Independent-effect pairs