Decision #744 — types.rs:2148

Status: no_witness

Truth table

rowc0 br 5347c1 br 5350outcome
1891TTT
1892TTT
4928TTT
4929TTT
7931TTT
7932TTT
10097TTT
11242TTT
12336TTT
18652TTT
26367TTT
32232TTT
38170TTT
41748TTT
41749TTT
44797TTT
44798TTT
48239TTT
48240TTT
51288TTT
51289TTT
60129TTT
69901TTT
74381TTT
74382TTT
74383TTT
74384TTT
74385TTT
74386TTT
77856TTT
77857TTT
77858TTT
77859TTT
77860TTT
77861TTT
79995TTT
81320TTT
82504TTT
83569TTT
84822TTT
86802TTT
88150TTT
90081TTT
90082TTT
90083TTT
91578TTT
107943TTT
126806TTT
130484TTT
131671TTT
132995TTT

Independent-effect pairs