Decision #875 — mod.rs:1631

Status: no_witness

Truth table

rowc0 br 6085c1 br 6086outcome
2902TFF
2903TFF
2904TFF
2905TFF
2906TFF
5907TFF
9051TFF
9052TFF
9053TFF
9054TFF
9055TFF
9056TFF
9057TFF
9058TFF
9059TFF
9060TFF
9061TFF
10477TFF
10478TFF
10479TFF
11607TFF
12716TFF
12717TFF
12718TFF
20437TFF
20438TFF
20439TFF
28131TFF
34029TFF
34030TFF
34031TFF
39967TFF
39968TFF
39969TFF
42842TFF
42843TFF
42844TFF
42845TFF
46010TFF
46011TFF
46012TFF
46013TFF
46014TFF
46015TFF
46016TFF
46017TFF
46018TFF
46019TFF
46020TFF
46021TFF
49362TFF
49363TFF
49364TFF
49365TFF
52382TFF
52383TFF
52384TFF
52385TFF
62253TFF
62254TFF
62255TFF
72025TFF
72026TFF
72027TFF
75428TFF
75429TFF
75430TFF
78903TFF
78904TFF
78905TFF
80462TFF
80463TFF
80464TFF
80465TFF
80466TFF
80467TFF
81691TFF
81692TFF
81693TFF
81694TFF
82850TFF
83940TFF
83941TFF
83942TFF
83943TFF
85228TFF
85229TFF
85230TFF
87317TFF
87318TFF
87319TFF
87320TFF
87321TFF
87322TFF
88548TFF
88549TFF
88550TFF
90529TFF
90530TFF
90531TFF
90532TFF
90533TFF
92012TFF
92013TFF
92014TFF
92015TFF
110918TFF
110919TFF
110920TFF
129781TFF
129782TFF
129783TFF
130939TFF
130940TFF
130941TFF
132184TFF
132185TFF
132186TFF
132187TFF
132188TFF
133478TFF
133479TFF

Independent-effect pairs