Decision #677 — binary_reader.rs:420

Status: no_witness

Truth table

rowc0 br 4885c1 br 4886c2 br 4887outcome
1321T**T
1322T**T
1323T**T
1324T**T
1325T**T
1326T**T
1327T**T
1328T**T
1329T**T
1330T**T
1331T**T
1332T**T
1333T**T
1334T**T
1335T**T
1336T**T
1337T**T
1338T**T
1339T**T
1340T**T
1341T**T
1342T**T
1343T**T
1344T**T
1345T**T
1346T**T
4361T**T
4362T**T
4363T**T
4364T**T
4365T**T
4366T**T
4367T**T
4368T**T
4369T**T
4370T**T
4371T**T
4372T**T
4373T**T
4374T**T
4375T**T
4376T**T
4377T**T
4378T**T
4379T**T
4380T**T
4381T**T
4382T**T
4383T**T
4384T**T
4385T**T
4386T**T
7310T**T
7311T**T
7312T**T
7313T**T
7314T**T
7315T**T
7316T**T
7317T**T
7318T**T
7319T**T
7320T**T
7321T**T
7322T**T
7323T**T
7324T**T
7325T**T
7326T**T
7327T**T
7328T**T
7329T**T
7330T**T
7331T**T
7332T**T
7333T**T
7334T**T
7335T**T
9893T**T
9894T**T
9895T**T
9896T**T
9897T**T
9898T**T
9899T**T
9900T**T
9901T**T
9902T**T
9903T**T
9904T**T
9905T**T
9906T**T
11041T**T
11042T**T
11043T**T
11044T**T
11045T**T
11046T**T
11047T**T
11048T**T
11049T**T
11050T**T
11051T**T
11052T**T
11053T**T
11054T**T
12132T**T
12133T**T
12134T**T
12135T**T
12136T**T
12137T**T
12138T**T
12139T**T
12140T**T
12141T**T
12142T**T
12143T**T
12144T**T
12145T**T
18275T**T
18276T**T
18277T**T
18278T**T
18279T**T
18280T**T
18281T**T
18282T**T
18283T**T
18284T**T
18285T**T
18286T**T
18287T**T
18288T**T
25993T**T
25994T**T
25995T**T
25996T**T
25997T**T
25998T**T
25999T**T
26000T**T
26001T**T
26002T**T
26003T**T
26004T**T
26005T**T
26006T**T
31719T**T
31720T**T
31721T**T
31722T**T
31723T**T
31724T**T
31725T**T
31726T**T
31727T**T
31728T**T
31729T**T
31730T**T
31731T**T
31732T**T
37657T**T
37658T**T
37659T**T
37660T**T
37661T**T
37662T**T
37663T**T
37664T**T
37665T**T
37666T**T
37667T**T
37668T**T
37669T**T
37670T**T
41278T**T
41279T**T
41280T**T
41281T**T
41282T**T
41283T**T
41284T**T
41285T**T
41286T**T
41287T**T
41288T**T
41289T**T
41290T**T
41291T**T
41292T**T
41293T**T
41294T**T
41295T**T
41296T**T
41297T**T
44291T**T
44292T**T
44293T**T
44294T**T
44295T**T
44296T**T
44297T**T
44298T**T
44299T**T
44300T**T
44301T**T
44302T**T
44303T**T
44304T**T
44305T**T
44306T**T
44307T**T
44308T**T
44309T**T
44310T**T
47743T**T
47744T**T
47745T**T
47746T**T
47747T**T
47748T**T
47749T**T
47750T**T
47751T**T
47752T**T
47753T**T
47754T**T
47755T**T
47756T**T
47757T**T
47758T**T
47759T**T
47760T**T
47761T**T
47762T**T
50818T**T
50819T**T
50820T**T
50821T**T
50822T**T
50823T**T
50824T**T
50825T**T
50826T**T
50827T**T
50828T**T
50829T**T
50830T**T
50831T**T
50832T**T
50833T**T
50834T**T
50835T**T
50836T**T
50837T**T
59734T**T
59735T**T
59736T**T
59737T**T
59738T**T
59739T**T
59740T**T
59741T**T
59742T**T
59743T**T
59744T**T
59745T**T
59746T**T
59747T**T
69506T**T
69507T**T
69508T**T
69509T**T
69510T**T
69511T**T
69512T**T
69513T**T
69514T**T
69515T**T
69516T**T
69517T**T
69518T**T
69519T**T
73745T**T
73746T**T
73747T**T
73748T**T
73749T**T
73750T**T
73751T**T
73752T**T
73753T**T
73754T**T
73755T**T
73756T**T
73757T**T
73758T**T
73759T**T
73760T**T
73761T**T
73762T**T
73763T**T
73764T**T
73765T**T
73766T**T
73767T**T
73768T**T
77220T**T
77221T**T
77222T**T
77223T**T
77224T**T
77225T**T
77226T**T
77227T**T
77228T**T
77229T**T
77230T**T
77231T**T
77232T**T
77233T**T
77234T**T
77235T**T
77236T**T
77237T**T
77238T**T
77239T**T
77240T**T
77241T**T
77242T**T
77243T**T
79700T**T
79701T**T
79702T**T
79703T**T
79704T**T
79705T**T
79706T**T
79707T**T
79708T**T
79709T**T
79710T**T
79711T**T
79712T**T
79713T**T
79714T**T
79715T**T
79716T**T
79717T**T
79718T**T
79719T**T
81116T**T
81117T**T
81118T**T
81119T**T
81120T**T
81121T**T
81122T**T
81123T**T
81124T**T
81125T**T
81126T**T
81127T**T
81128T**T
81129T**T
81130T**T
81131T**T
82303T**T
82304T**T
82305T**T
82306T**T
82307T**T
82308T**T
82309T**T
82310T**T
82311T**T
82312T**T
82313T**T
82314T**T
82315T**T
82316T**T
82317T**T
82318T**T
83365T**T
83366T**T
83367T**T
83368T**T
83369T**T
83370T**T
83371T**T
83372T**T
83373T**T
83374T**T
83375T**T
83376T**T
83377T**T
83378T**T
83379T**T
83380T**T
84649T**T
84650T**T
84651T**T
84652T**T
84653T**T
84654T**T
84655T**T
84656T**T
84657T**T
84658T**T
84659T**T
84660T**T
84661T**T
84662T**T
84663T**T
84664T**T
84665T**T
84666T**T
86515T**T
86516T**T
86517T**T
86518T**T
86519T**T
86520T**T
86521T**T
86522T**T
86523T**T
86524T**T
86525T**T
86526T**T
86527T**T
86528T**T
86529T**T
86530T**T
86531T**T
86532T**T
86533T**T
86534T**T
86535T**T
86536T**T
87980T**T
87981T**T
87982T**T
87983T**T
87984T**T
87985T**T
87986T**T
87987T**T
87988T**T
87989T**T
87990T**T
87991T**T
87992T**T
87993T**T
87994T**T
87995T**T
87996T**T
87997T**T
89846T**T
89847T**T
89848T**T
89849T**T
89850T**T
89851T**T
89852T**T
89853T**T
89854T**T
89855T**T
89856T**T
89857T**T
89858T**T
89859T**T
89860T**T
89861T**T
89862T**T
89863T**T
89864T**T
89865T**T
91383T**T
91384T**T
91385T**T
91386T**T
91387T**T
91388T**T
91389T**T
91390T**T
91391T**T
91392T**T
91393T**T
91394T**T
91395T**T
91396T**T
91397T**T
91398T**T
91399T**T
91400T**T
107402T**T
107403T**T
107404T**T
107405T**T
107406T**T
107407T**T
107408T**T
107409T**T
107410T**T
107411T**T
107412T**T
107413T**T
107414T**T
107415T**T
126265T**T
126266T**T
126267T**T
126268T**T
126269T**T
126270T**T
126271T**T
126272T**T
126273T**T
126274T**T
126275T**T
126276T**T
126277T**T
126278T**T
130296T**T
130297T**T
130298T**T
130299T**T
130300T**T
130301T**T
130302T**T
130303T**T
130304T**T
130305T**T
130306T**T
130307T**T
130308T**T
130309T**T
131471T**T
131472T**T
131473T**T
131474T**T
131475T**T
131476T**T
131477T**T
131478T**T
131479T**T
131480T**T
131481T**T
131482T**T
131483T**T
131484T**T
132798T**T
132799T**T
132800T**T
132801T**T
132802T**T
132803T**T
132804T**T
132805T**T
132806T**T
132807T**T
132808T**T
132809T**T
132810T**T
132811T**T

Independent-effect pairs