Decision #628 — binary_reader.rs:270

Status: no_witness

Truth table

rowc0 br 4683c1 br 4684outcome
1181TFF
1182TFF
1183TFF
1184TFF
1185TFF
1186TFF
1187TFF
1188TFF
1189TFF
1190TFF
1191TFF
1192TFF
4221TFF
4222TFF
4223TFF
4224TFF
4225TFF
4226TFF
4227TFF
4228TFF
4229TFF
4230TFF
4231TFF
4232TFF
7170TFF
7171TFF
7172TFF
7173TFF
7174TFF
7175TFF
7176TFF
7177TFF
7178TFF
7179TFF
7180TFF
7181TFF
9813TFF
9814TFF
9815TFF
9816TFF
9817TFF
9818TFF
9819TFF
9820TFF
10961TFF
10962TFF
10963TFF
10964TFF
10965TFF
10966TFF
10967TFF
10968TFF
12052TFF
12053TFF
12054TFF
12055TFF
12056TFF
12057TFF
12058TFF
12059TFF
18195TFF
18196TFF
18197TFF
18198TFF
18199TFF
18200TFF
18201TFF
18202TFF
25913TFF
25914TFF
25915TFF
25916TFF
25917TFF
25918TFF
25919TFF
25920TFF
31639TFF
31640TFF
31641TFF
31642TFF
31643TFF
31644TFF
31645TFF
31646TFF
37577TFF
37578TFF
37579TFF
37580TFF
37581TFF
37582TFF
37583TFF
37584TFF
41172TFF
41173TFF
41174TFF
41175TFF
41176TFF
41177TFF
41178TFF
41179TFF
41180TFF
41181TFF
44185TFF
44186TFF
44187TFF
44188TFF
44189TFF
44190TFF
44191TFF
44192TFF
44193TFF
44194TFF
47637TFF
47638TFF
47639TFF
47640TFF
47641TFF
47642TFF
47643TFF
47644TFF
47645TFF
47646TFF
50712TFF
50713TFF
50714TFF
50715TFF
50716TFF
50717TFF
50718TFF
50719TFF
50720TFF
50721TFF
59654TFF
59655TFF
59656TFF
59657TFF
59658TFF
59659TFF
59660TFF
59661TFF
69426TFF
69427TFF
69428TFF
69429TFF
69430TFF
69431TFF
69432TFF
69433TFF
73625TFF
73626TFF
73627TFF
73628TFF
73629TFF
73630TFF
73631TFF
73632TFF
77100TFF
77101TFF
77102TFF
77103TFF
77104TFF
77105TFF
77106TFF
77107TFF
79594TFF
79595TFF
79596TFF
79597TFF
79598TFF
79599TFF
79600TFF
79601TFF
79602TFF
79603TFF
81024TFF
81025TFF
81026TFF
81027TFF
81028TFF
81029TFF
81030TFF
81031TFF
81032TFF
81033TFF
82211TFF
82212TFF
82213TFF
82214TFF
82215TFF
82216TFF
82217TFF
82218TFF
82219TFF
82220TFF
83273TFF
83274TFF
83275TFF
83276TFF
83277TFF
83278TFF
83279TFF
83280TFF
83281TFF
83282TFF
84547TFF
84548TFF
84549TFF
84550TFF
84551TFF
84552TFF
84553TFF
84554TFF
84555TFF
84556TFF
84557TFF
84558TFF
86397TFF
86398TFF
86399TFF
86400TFF
86401TFF
86402TFF
86403TFF
86404TFF
86405TFF
86406TFF
86407TFF
86408TFF
87878TFF
87879TFF
87880TFF
87881TFF
87882TFF
87883TFF
87884TFF
87885TFF
87886TFF
87887TFF
87888TFF
87889TFF
89736TFF
89737TFF
89738TFF
89739TFF
89740TFF
89741TFF
89742TFF
89743TFF
89744TFF
89745TFF
89746TFF
89747TFF
91281TFF
91282TFF
91283TFF
91284TFF
91285TFF
91286TFF
91287TFF
91288TFF
91289TFF
91290TFF
91291TFF
91292TFF
107322TFF
107323TFF
107324TFF
107325TFF
107326TFF
107327TFF
107328TFF
107329TFF
126185TFF
126186TFF
126187TFF
126188TFF
126189TFF
126190TFF
126191TFF
126192TFF
130216TFF
130217TFF
130218TFF
130219TFF
130220TFF
130221TFF
130222TFF
130223TFF
131391TFF
131392TFF
131393TFF
131394TFF
131395TFF
131396TFF
131397TFF
131398TFF
132718TFF
132719TFF
132720TFF
132721TFF
132722TFF
132723TFF
132724TFF
132725TFF

Independent-effect pairs