Decision #458 — imports.rs:180

Status: no_witness

Truth table

rowc0 br 3093c1 br 3094outcome
1060*TT
1061*TT
4100*TT
4101*TT
7049*TT
7050*TT
9780*TT
10928*TT
12019*TT
18125*TT
25843*TT
31574*TT
37512*TT
41088*TT
41089*TT
41090*TT
41091*TT
41092*TT
41093*TT
41094*TT
44101*TT
44102*TT
44103*TT
44104*TT
44105*TT
44106*TT
44107*TT
47553*TT
47554*TT
47555*TT
47556*TT
47557*TT
47558*TT
47559*TT
50628*TT
50629*TT
50630*TT
50631*TT
50632*TT
50633*TT
50634*TT
59584*TT
69356*TT
73503*TT
73504*TT
73505*TT
73506*TT
73507*TT
73508*TT
76978*TT
76979*TT
76980*TT
76981*TT
76982*TT
76983*TT
79542*TT
79543*TT
79544*TT
79545*TT
79546*TT
79547*TT
80985*TT
82172*TT
83234*TT
84461*TT
84462*TT
84463*TT
84464*TT
86244*TT
86245*TT
86246*TT
86247*TT
86248*TT
86249*TT
87803*TT
87804*TT
87805*TT
87806*TT
89548*TT
89549*TT
89550*TT
89551*TT
89552*TT
89553*TT
89554*TT
91165*TT
91166*TT
91167*TT
91168*TT
107251*TT
126114*TT
130188*TT
131363*TT
132690*TT

Independent-effect pairs