Decision #676 — binary_reader.rs:458

Status: no_witness

Truth table

rowc0 br 4883c1 br 4884outcome
1295F*F
1296F*F
1297F*F
1298F*F
1299F*F
1300F*F
1301F*F
1302F*F
1303F*F
1304F*F
1305F*F
1306F*F
1307F*F
1308F*F
1309F*F
1310F*F
1311F*F
1312F*F
1313F*F
1314F*F
1315F*F
1316F*F
1317F*F
1318F*F
1319F*F
1320F*F
4335F*F
4336F*F
4337F*F
4338F*F
4339F*F
4340F*F
4341F*F
4342F*F
4343F*F
4344F*F
4345F*F
4346F*F
4347F*F
4348F*F
4349F*F
4350F*F
4351F*F
4352F*F
4353F*F
4354F*F
4355F*F
4356F*F
4357F*F
4358F*F
4359F*F
4360F*F
7284F*F
7285F*F
7286F*F
7287F*F
7288F*F
7289F*F
7290F*F
7291F*F
7292F*F
7293F*F
7294F*F
7295F*F
7296F*F
7297F*F
7298F*F
7299F*F
7300F*F
7301F*F
7302F*F
7303F*F
7304F*F
7305F*F
7306F*F
7307F*F
7308F*F
7309F*F
9879F*F
9880F*F
9881F*F
9882F*F
9883F*F
9884F*F
9885F*F
9886F*F
9887F*F
9888F*F
9889F*F
9890F*F
9891F*F
9892F*F
11027F*F
11028F*F
11029F*F
11030F*F
11031F*F
11032F*F
11033F*F
11034F*F
11035F*F
11036F*F
11037F*F
11038F*F
11039F*F
11040F*F
12118F*F
12119F*F
12120F*F
12121F*F
12122F*F
12123F*F
12124F*F
12125F*F
12126F*F
12127F*F
12128F*F
12129F*F
12130F*F
12131F*F
18261F*F
18262F*F
18263F*F
18264F*F
18265F*F
18266F*F
18267F*F
18268F*F
18269F*F
18270F*F
18271F*F
18272F*F
18273F*F
18274F*F
25979F*F
25980F*F
25981F*F
25982F*F
25983F*F
25984F*F
25985F*F
25986F*F
25987F*F
25988F*F
25989F*F
25990F*F
25991F*F
25992F*F
31705F*F
31706F*F
31707F*F
31708F*F
31709F*F
31710F*F
31711F*F
31712F*F
31713F*F
31714F*F
31715F*F
31716F*F
31717F*F
31718F*F
37643F*F
37644F*F
37645F*F
37646F*F
37647F*F
37648F*F
37649F*F
37650F*F
37651F*F
37652F*F
37653F*F
37654F*F
37655F*F
37656F*F
41258F*F
41259F*F
41260F*F
41261F*F
41262F*F
41263F*F
41264F*F
41265F*F
41266F*F
41267F*F
41268F*F
41269F*F
41270F*F
41271F*F
41272F*F
41273F*F
41274F*F
41275F*F
41276F*F
41277F*F
44271F*F
44272F*F
44273F*F
44274F*F
44275F*F
44276F*F
44277F*F
44278F*F
44279F*F
44280F*F
44281F*F
44282F*F
44283F*F
44284F*F
44285F*F
44286F*F
44287F*F
44288F*F
44289F*F
44290F*F
47723F*F
47724F*F
47725F*F
47726F*F
47727F*F
47728F*F
47729F*F
47730F*F
47731F*F
47732F*F
47733F*F
47734F*F
47735F*F
47736F*F
47737F*F
47738F*F
47739F*F
47740F*F
47741F*F
47742F*F
50798F*F
50799F*F
50800F*F
50801F*F
50802F*F
50803F*F
50804F*F
50805F*F
50806F*F
50807F*F
50808F*F
50809F*F
50810F*F
50811F*F
50812F*F
50813F*F
50814F*F
50815F*F
50816F*F
50817F*F
59720F*F
59721F*F
59722F*F
59723F*F
59724F*F
59725F*F
59726F*F
59727F*F
59728F*F
59729F*F
59730F*F
59731F*F
59732F*F
59733F*F
69492F*F
69493F*F
69494F*F
69495F*F
69496F*F
69497F*F
69498F*F
69499F*F
69500F*F
69501F*F
69502F*F
69503F*F
69504F*F
69505F*F
73721F*F
73722F*F
73723F*F
73724F*F
73725F*F
73726F*F
73727F*F
73728F*F
73729F*F
73730F*F
73731F*F
73732F*F
73733F*F
73734F*F
73735F*F
73736F*F
73737F*F
73738F*F
73739F*F
73740F*F
73741F*F
73742F*F
73743F*F
73744F*F
77196F*F
77197F*F
77198F*F
77199F*F
77200F*F
77201F*F
77202F*F
77203F*F
77204F*F
77205F*F
77206F*F
77207F*F
77208F*F
77209F*F
77210F*F
77211F*F
77212F*F
77213F*F
77214F*F
77215F*F
77216F*F
77217F*F
77218F*F
77219F*F
79680F*F
79681F*F
79682F*F
79683F*F
79684F*F
79685F*F
79686F*F
79687F*F
79688F*F
79689F*F
79690F*F
79691F*F
79692F*F
79693F*F
79694F*F
79695F*F
79696F*F
79697F*F
79698F*F
79699F*F
81100F*F
81101F*F
81102F*F
81103F*F
81104F*F
81105F*F
81106F*F
81107F*F
81108F*F
81109F*F
81110F*F
81111F*F
81112F*F
81113F*F
81114F*F
81115F*F
82287F*F
82288F*F
82289F*F
82290F*F
82291F*F
82292F*F
82293F*F
82294F*F
82295F*F
82296F*F
82297F*F
82298F*F
82299F*F
82300F*F
82301F*F
82302F*F
83349F*F
83350F*F
83351F*F
83352F*F
83353F*F
83354F*F
83355F*F
83356F*F
83357F*F
83358F*F
83359F*F
83360F*F
83361F*F
83362F*F
83363F*F
83364F*F
84631F*F
84632F*F
84633F*F
84634F*F
84635F*F
84636F*F
84637F*F
84638F*F
84639F*F
84640F*F
84641F*F
84642F*F
84643F*F
84644F*F
84645F*F
84646F*F
84647F*F
84648F*F
86493F*F
86494F*F
86495F*F
86496F*F
86497F*F
86498F*F
86499F*F
86500F*F
86501F*F
86502F*F
86503F*F
86504F*F
86505F*F
86506F*F
86507F*F
86508F*F
86509F*F
86510F*F
86511F*F
86512F*F
86513F*F
86514F*F
87962F*F
87963F*F
87964F*F
87965F*F
87966F*F
87967F*F
87968F*F
87969F*F
87970F*F
87971F*F
87972F*F
87973F*F
87974F*F
87975F*F
87976F*F
87977F*F
87978F*F
87979F*F
89826F*F
89827F*F
89828F*F
89829F*F
89830F*F
89831F*F
89832F*F
89833F*F
89834F*F
89835F*F
89836F*F
89837F*F
89838F*F
89839F*F
89840F*F
89841F*F
89842F*F
89843F*F
89844F*F
89845F*F
91365F*F
91366F*F
91367F*F
91368F*F
91369F*F
91370F*F
91371F*F
91372F*F
91373F*F
91374F*F
91375F*F
91376F*F
91377F*F
91378F*F
91379F*F
91380F*F
91381F*F
91382F*F
107388F*F
107389F*F
107390F*F
107391F*F
107392F*F
107393F*F
107394F*F
107395F*F
107396F*F
107397F*F
107398F*F
107399F*F
107400F*F
107401F*F
126251F*F
126252F*F
126253F*F
126254F*F
126255F*F
126256F*F
126257F*F
126258F*F
126259F*F
126260F*F
126261F*F
126262F*F
126263F*F
126264F*F
130282F*F
130283F*F
130284F*F
130285F*F
130286F*F
130287F*F
130288F*F
130289F*F
130290F*F
130291F*F
130292F*F
130293F*F
130294F*F
130295F*F
131457F*F
131458F*F
131459F*F
131460F*F
131461F*F
131462F*F
131463F*F
131464F*F
131465F*F
131466F*F
131467F*F
131468F*F
131469F*F
131470F*F
132784F*F
132785F*F
132786F*F
132787F*F
132788F*F
132789F*F
132790F*F
132791F*F
132792F*F
132793F*F
132794F*F
132795F*F
132796F*F
132797F*F

Independent-effect pairs