Decision #564 — lib.rs:6583

Status: no_witness

Truth table

rowc0 br 3901c1 br 3902outcome
1284T*T
1285FTT
1286TFT
1287FTT
1288T*T
1289FTT
1290T*T
1291FTT
1292T*T
1293FTT
1294FFT
1295TTT
1296FTT
1297FFT
1298*TT
8244T*T
8245FTT
8246TFT
8247FTT
8248T*T
8249FTT
8250T*T
8251FTT
8252T*T
8253FTT
8254FFT
8255TTT
8256FTT
8257FFT
8258*TT
15045T*T
15046FTT
15047TFT
15048FTT
15049T*T
15050FTT
15051T*T
15052FTT
15053T*T
15054FTT
15055FFT
15056TTT
15057FTT
15058FFT
15059*TT
21725T*T
21726T*T
21727FTT
21728FTT
21729FTT
21730FTT
21731*TT
21732*TT
21733FFT
21734*TT
24468T*T
24469T*T
24470FTT
24471FTT
24472FTT
24473FTT
24474*TT
24475*TT
24476FFT
24477*TT
27111T*T
27112T*T
27113FTT
27114FTT
27115FTT
27116FTT
27117*TT
27118*TT
27119FFT
27120*TT
30715T*T
30716T*T
30717FTT
30718FFT
30719*TT
30720*TT
30721TFT
30722T*T
30723FTT
30724FFT
30725*TT
30726FTT
30727FTT
30728FTT
30729*TT
30730FTT
30731*TT
30732*TT
30733*TT
30734FTT
30735*TT
30736*TT
30737*TT
30738*TT
30739FTT
30740FTT
30741FTT
30742*TT
30743FTT
30744*TT
51570T*T
51571T*T
51572FTT
51573FFT
51574*TT
51575*TT
51576TFT
51577T*T
51578FTT
51579FFT
51580*TT
51581FTT
51582FTT
51583FTT
51584*TT
51585FTT
51586*TT
51587*TT
51588*TT
51589FTT
51590*TT
51591*TT
51592*TT
51593*TT
51594FTT
51595FTT
51596FTT
51597*TT
51598FTT
51599*TT
72494T*T
72495T*T
72496T*T
72497T*T
72498FTT
72499FTT
72500FTT
72501*TT
72502*TT
72503*TT
72504FFT
72505*TT
72506*TT
72507FTT
72508FTT
72509FTT
72510*TT
72511*TT
72512*TT
72513*TT
72514FTT
72515*TT
72516*TT
72517*TT
72518*TT
72519*TT
72520FTT
72521FTT
72522FTT
72523FTT
72524*TT
82377T*T
82378T*T
82379T*T
82380T*T
82381FTT
82382FTT
82383FTT
82384*TT
82385*TT
82386*TT
82387FFT
82388*TT
82389*TT
82390FTT
82391FTT
82392FTT
82393*TT
82394*TT
82395*TT
82396*TT
82397FTT
82398*TT
82399*TT
82400*TT
82401*TT
82402*TT
82403FTT
82404FTT
82405FTT
82406FTT
82407*TT
92124T*T
92125FTT
92126FFT
92127*TT
92128TTT
92129FTT
92130FTT
92131FTT
92132T*T
92133FTT
92134FFT
92135TTT
92136FTT
92137FTT
92138FTT
92139*TT
92140*TT
92141*TT
92142FFT
92143*TT
92144*TT
92145FTT
92146*TT
92147FTT
92148*TT
99953T*T
99954FTT
99955FFT
99956*TT
99957TTT
99958FTT
99959FTT
99960FTT
99961T*T
99962FTT
99963FFT
99964TTT
99965FTT
99966FTT
99967FTT
99968*TT
99969*TT
99970*TT
99971FFT
99972*TT
99973*TT
99974FTT
99975*TT
99976FTT
99977*TT
108442T*T
108443FTT
108444FFT
108445*TT
108446TTT
108447FTT
108448FTT
108449FTT
108450T*T
108451FTT
108452FFT
108453TTT
108454FTT
108455FTT
108456FTT
108457*TT
108458*TT
108459*TT
108460FFT
108461*TT
108462*TT
108463FTT
108464*TT
108465FTT
108466*TT
116468T*T
116469FTT
116470FFT
116471*TT
116472TTT
116473FTT
116474FTT
116475FTT
116476T*T
116477FTT
116478FFT
116479TTT
116480FTT
116481FTT
116482FTT
116483*TT
116484*TT
116485*TT
116486FFT
116487*TT
116488*TT
116489FTT
116490*TT
116491FTT
116492*TT
124454T*T
124455T*T
124456T*T
124457T*T
124458FTT
124459FFT
124460*TT
124461FTT
124462FTT
124463*TT
124464*TT
124465FTT
124466*TT
124467FTT
124468FTT
124469*TT
124470FTT
124471*TT
124472*TT
124473*TT
124474FTT
124475*TT
124476*TT
124477*TT
124478*TT
124479FTT
124480FTT
124481FTT
124482FTT
124483*TT
141173T*T
141174T*T
141175T*T
141176T*T
141177FTT
141178FFT
141179*TT
141180FTT
141181FTT
141182*TT
141183*TT
141184FTT
141185*TT
141186FTT
141187FTT
141188*TT
141189FTT
141190*TT
141191*TT
141192*TT
141193FTT
141194*TT
141195*TT
141196*TT
141197*TT
141198FTT
141199FTT
141200FTT
141201FTT
141202*TT
158547T*T
158548FTT
158549FFT
158550*TT
158551*TT
158552FFT
158553*TT
158554*TT
158555*TT
158556FFT
158557*TT
158558*TT
158559FTT
158560*TT
158561*TT
158562*TT
158563TTT
158564FTT
158565FTT
158566FTT
158567T*T
158568FTT
158569FTT
158570FTT
158571T*T
158572FTT
158573FTT
158574FFT
158575TTT
158576FTT
158577FTT
158578FFT
158579TTT
158580FTT
158581FTT
158582FFT
158583TTT
158584FTT
158585FTT
158586FFT
158587*TT
168405T*T
168406FTT
168407FFT
168408*TT
168409*TT
168410FFT
168411*TT
168412*TT
168413*TT
168414FFT
168415*TT
168416*TT
168417FTT
168418*TT
168419*TT
168420*TT
168421TTT
168422FTT
168423FTT
168424FTT
168425T*T
168426FTT
168427FTT
168428FTT
168429T*T
168430FTT
168431FTT
168432FFT
168433TTT
168434FTT
168435FTT
168436FFT
168437TTT
168438FTT
168439FTT
168440FFT
168441TTT
168442FTT
168443FTT
168444FFT
168445*TT
176611T*T
176612FTT
176613FFT
176614TTT
176615FTT
176616T*T
176617FTT
176618T*T
176619FTT
181228T*T
181229T*T
181230FTT
181231FTT
181232FTT
181233*TT
181234FFT
181235*TT
184547T*T
184548T*T
184549FTT
184550FTT
184551FTT
184552*TT
184553FFT
184554*TT
187655T*T
187656T*T
187657FTT
187658FTT
187659FTT
187660*TT
187661FFT
187662*TT
191200T*T
191201T*T
191202FTT
191203FTT
191204FTT
191205*TT
191206*TT
191207*TT
191208FFT
191209*TT
191210*TT
191211FTT
191212*TT
191213*TT
191214FTT
191215*TT
191216FTT
191217*TT
191218*TT
191219*TT
191220*TT
191221FTT
191222FTT
191223*TT
196627T*T
196628FTT
196629FFT
196630*TT
196631*TT
196632TFT
196633FTT
196634FTT
196635FTT
196636*TT
196637*TT
196638*TT
196639FFT
196640*TT
196641*TT
196642FTT
196643FTT
196644FTT
196645*TT
196646*TT
196647*TT
196648*TT
196649FTT
196650*TT
196651FTT
196652TTT
196653FTT
196654FTT
196655FTT
196656*TT
196657*TT
196658*TT
196659FFT
196660*TT
196661*TT
196662FTT
196663*TT
196664*TT
196665*TT
196666FTT
196667FTT
196668FTT
196669*TT
196670*TT
196671*TT
196672*TT
196673*TT
196674FTT
196675TTT
196676FTT
196677FTT
196678FTT
196679*TT
196680*TT
196681*TT
196682FFT
196683*TT
196684*TT
196685FTT
196686*TT
196687*TT
196688*TT
196689FTT
196690FTT
196691FTT
196692*TT
196693*TT
196694*TT
196695*TT
196696*TT
196697FTT
196698*TT
203317T*T
203318T*T
203319FTT
203320FTT
203321FTT
203322*TT
203323*TT
203324FFT
203325FTT
203326*TT
207921T*T
207922FTT
207923TFT
207924FTT
207925FTT
207926FTT
207927*TT
207928*TT
207929*TT
207930FFT
207931*TT
207932*TT
207933FTT
207934*TT
207935*TT
207936FTT
207937*TT
207938*TT
207939FTT
207940*TT
207941*TT
207942FTT
207943*TT
207944FTT
207945*TT
207946*TT
207947*TT
207948*TT
207949*TT
207950FFT
207951*TT
207952*TT
207953*TT
207954*TT
207955FTT
207956*TT
207957*TT
207958*TT
207959FTT
207960FTT
207961FTT
207962*TT
207963*TT
207964*TT
207965*TT
207966*TT
207967FTT
207968*TT
207969FTT
207970TTT
207971FTT
207972FTT
207973FTT
207974*TT
207975*TT
207976*TT
207977FFT
207978*TT
207979*TT
207980FTT
207981*TT
207982*TT
207983FTT
207984*TT
207985*TT
207986FTT
207987*TT
207988*TT
207989FTT
207990*TT
207991FTT
207992*TT
207993*TT
207994*TT
207995*TT
207996*TT
207997FFT
207998*TT
207999*TT
208000*TT
208001*TT
208002FTT
208003*TT
208004*TT
208005*TT
208006FTT
208007*TT
208008*TT
208009*TT
208010*TT
208011FTT
208012FTT
208013FTT
208014*TT
208015*TT
208016*TT
208017*TT
208018*TT
208019*TT
208020FTT
208021*TT
215704T*T
215705T*T
215706FTT
215707FTT
215708FTT
215709*TT
215710*TT
215711*TT
215712FFT
215713*TT
215714*TT
215715TTT
215716FTT
215717FFT
215718*TT
215719FTT
215720FTT
215721FTT
215722*TT
215723FTT
215724*TT
215725*TT
215726*TT
215727*TT
215728FTT
215729*TT
215730*TT
215731*TT
215732*TT
215733*TT
215734FTT
215735FTT
215736*TT
215737*TT
215738*TT
215739FTT
215740FTT
215741FTT
215742*TT
215743*TT
215744*TT
215745*TT
215746*TT
215747FTT
215748*TT
215749FTT
215750*TT
224178T*T
224179T*T
224180FTT
224181FFT
224182*TT
224183*TT
224184TFT
224185T*T
224186FTT
224187FTT
224188FTT
224189*TT
224190FFT
224191*TT
224192FTT
224193FTT
224194FTT
224195*TT
224196*TT
224197*TT
224198*TT
224199FTT
224200*TT
224201*TT
224202*TT
224203*TT
224204*TT
224205FTT
224206FTT
224207FTT
224208*TT
224209FTT
224210*TT
301555T*T
301556T*T
301557FTT
301558FFT
301559*TT
301560*TT
301561TFT
301562T*T
301563FTT
301564FTT
301565FTT
301566*TT
301567FFT
301568*TT
301569FTT
301570FTT
301571FTT
301572*TT
301573*TT
301574*TT
301575*TT
301576FTT
301577*TT
301578*TT
301579*TT
301580*TT
301581*TT
301582FTT
301583FTT
301584FTT
301585*TT
301586FTT
301587*TT
377106T*T
377107T*T
377108FTT
377109FTT
377110FTT
379763T*T
379764T*T
379765FTT
379766FTT
379767FTT
382647T*T
382648T*T
382649FTT
382650FTT
382651FTT

Independent-effect pairs