Decision #1478 — mod.rs:320

Status: no_witness

Truth table

rowc0 br 9706c1 br 9707c2 br 9708outcome
6342T**T
6343T**T
6344T**T
6345T**T
13172T**T
13173T**T
13174T**T
13175T**T
20383T**T
20384T**T
20385T**T
20386T**T
49131T**T
49132T**T
49133T**T
49134T**T
49135T**T
49136T**T
49137T**T
49138T**T
49139T**T
49140T**T
49141T**T
49142T**T
49143T**T
49144T**T
49145T**T
49146T**T
49147T**T
49148T**T
49149T**T
49150T**T
69884T**T
69885T**T
69886T**T
69887T**T
69888T**T
69889T**T
69890T**T
69891T**T
69892T**T
69893T**T
69894T**T
69895T**T
69896T**T
69897T**T
69898T**T
69899T**T
69900T**T
69901T**T
69902T**T
69903T**T
80098T**T
80099T**T
80100T**T
80101T**T
80102T**T
80103T**T
80104T**T
80105T**T
80106T**T
80107T**T
80108T**T
80109T**T
80110T**T
80111T**T
80112T**T
80113T**T
80114T**T
80115T**T
80116T**T
80117T**T
80118T**T
80119T**T
89981T**T
89982T**T
89983T**T
89984T**T
89985T**T
89986T**T
89987T**T
89988T**T
89989T**T
89990T**T
89991T**T
89992T**T
89993T**T
89994T**T
89995T**T
89996T**T
89997T**T
89998T**T
89999T**T
90000T**T
90001T**T
90002T**T
97696T**T
97697T**T
97698T**T
97699T**T
105953T**T
105954T**T
105955T**T
105956T**T
114216T**T
114217T**T
114218T**T
114219T**T
122040T**T
122041T**T
122042T**T
122043T**T
138769T**T
138770T**T
138771T**T
138772T**T
138773T**T
138774T**T
138775T**T
138776T**T
138777T**T
138778T**T
138779T**T
138780T**T
138781T**T
138782T**T
138783T**T
138784T**T
138785T**T
138786T**T
138787T**T
138788T**T
138789T**T
138790T**T
138791T**T
138792T**T
155488T**T
155489T**T
155490T**T
155491T**T
155492T**T
155493T**T
155494T**T
155495T**T
155496T**T
155497T**T
155498T**T
155499T**T
155500T**T
155501T**T
155502T**T
155503T**T
155504T**T
155505T**T
155506T**T
155507T**T
155508T**T
155509T**T
155510T**T
155511T**T
165073T**T
165074T**T
165075T**T
165076T**T
165077T**T
165078T**T
165079T**T
165080T**T
165081T**T
165082T**T
165083T**T
165084T**T
174931T**T
174932T**T
174933T**T
174934T**T
174935T**T
174936T**T
174937T**T
174938T**T
174939T**T
174940T**T
174941T**T
174942T**T
179983T**T
179984T**T
179985T**T
179986T**T
179987T**T
179988T**T
183585T**T
183586T**T
183587T**T
186772T**T
186773T**T
186774T**T
190012T**T
190013T**T
190014T**T
202210T**T
202211T**T
213496T**T
213497T**T
213498T**T
213499T**T
221039T**T
221040T**T
221041T**T
221042T**T
221043T**T
221044T**T
221045T**T
221046T**T
221047T**T
221048T**T
221049T**T
221050T**T
221051T**T
296229T**T
296230T**T
296231T**T
296232T**T
296233T**T
296234T**T
296235T**T
296236T**T
296237T**T
296238T**T
296239T**T
296240T**T
296241T**T
296242T**T
296243T**T
296244T**T
296245T**T
296246T**T
296247T**T
296248T**T
296249T**T
296250T**T
373606T**T
373607T**T
373608T**T
373609T**T
373610T**T
373611T**T
373612T**T
373613T**T
373614T**T
373615T**T
373616T**T
373617T**T
373618T**T
373619T**T
373620T**T
373621T**T
373622T**T
373623T**T
373624T**T
373625T**T
373626T**T
373627T**T

Independent-effect pairs