Decision #1068 — binary_reader.rs:1059

Status: no_witness

Truth table

rowc0 br 6734c1 br 6736outcome
2317FTT
2318FTT
2319FTT
2320FTT
2321FTT
2322FTT
2323FTT
2324FTT
2325FTT
2326FTT
2327FTT
2328FTT
2329FTT
2330FTT
2331FTT
9276FTT
9277FTT
9278FTT
9279FTT
9280FTT
9281FTT
9282FTT
9283FTT
9284FTT
9285FTT
9286FTT
9287FTT
9288FTT
9289FTT
9290FTT
16082FTT
16083FTT
16084FTT
16085FTT
16086FTT
16087FTT
16088FTT
16089FTT
16090FTT
16091FTT
16092FTT
16093FTT
16094FTT
16095FTT
16096FTT
22133FTT
22134FTT
22135FTT
22136FTT
22137FTT
22138FTT
24875FTT
24876FTT
24877FTT
24878FTT
24879FTT
24880FTT
27519FTT
27520FTT
27521FTT
27522FTT
27523FTT
27524FTT
38857FTT
38858FTT
38859FTT
38860FTT
38861FTT
38862FTT
38863FTT
38864FTT
38865FTT
38866FTT
38867FTT
38868FTT
38869FTT
38870FTT
38871FTT
38872FTT
59711FTT
59712FTT
59713FTT
59714FTT
59715FTT
59716FTT
59717FTT
59718FTT
59719FTT
59720FTT
59721FTT
59722FTT
59723FTT
59724FTT
59725FTT
59726FTT
75235FTT
75236FTT
75237FTT
75238FTT
75239FTT
75240FTT
75241FTT
75242FTT
75243FTT
75244FTT
75245FTT
75246FTT
75247FTT
75248FTT
75249FTT
85118FTT
85119FTT
85120FTT
85121FTT
85122FTT
85123FTT
85124FTT
85125FTT
85126FTT
85127FTT
85128FTT
85129FTT
85130FTT
85131FTT
85132FTT
93343FTT
93344FTT
93345FTT
93346FTT
93347FTT
93348FTT
93349FTT
93350FTT
93351FTT
93352FTT
93353FTT
93354FTT
93355FTT
93356FTT
101174FTT
101175FTT
101176FTT
101177FTT
101178FTT
101179FTT
101180FTT
101181FTT
101182FTT
101183FTT
101184FTT
101185FTT
101186FTT
101187FTT
109662FTT
109663FTT
109664FTT
109665FTT
109666FTT
109667FTT
109668FTT
109669FTT
109670FTT
109671FTT
109672FTT
109673FTT
109674FTT
109675FTT
117687FTT
117688FTT
117689FTT
117690FTT
117691FTT
117692FTT
117693FTT
117694FTT
117695FTT
117696FTT
117697FTT
117698FTT
117699FTT
117700FTT
132218FTT
132219FTT
132220FTT
132221FTT
132222FTT
132223FTT
132224FTT
132225FTT
132226FTT
132227FTT
132228FTT
132229FTT
132230FTT
132231FTT
132232FTT
132233FTT
148937FTT
148938FTT
148939FTT
148940FTT
148941FTT
148942FTT
148943FTT
148944FTT
148945FTT
148946FTT
148947FTT
148948FTT
148949FTT
148950FTT
148951FTT
148952FTT
159853FTT
159854FTT
159855FTT
159856FTT
159857FTT
159858FTT
159859FTT
159860FTT
159861FTT
159862FTT
159863FTT
159864FTT
159865FTT
159866FTT
159867FTT
159868FTT
159869FTT
159870FTT
159871FTT
159872FTT
159873FTT
159874FTT
159875FTT
159876FTT
169711FTT
169712FTT
169713FTT
169714FTT
169715FTT
169716FTT
169717FTT
169718FTT
169719FTT
169720FTT
169721FTT
169722FTT
169723FTT
169724FTT
169725FTT
169726FTT
169727FTT
169728FTT
169729FTT
169730FTT
169731FTT
169732FTT
169733FTT
169734FTT
177066FTT
177067FTT
177068FTT
177069FTT
177070FTT
177071FTT
181608FTT
181609FTT
181610FTT
181611FTT
181612FTT
184926FTT
184927FTT
184928FTT
184929FTT
184930FTT
188035FTT
188036FTT
188037FTT
188038FTT
188039FTT
192067FTT
192068FTT
192069FTT
192070FTT
192071FTT
192072FTT
192073FTT
192074FTT
192075FTT
192076FTT
192077FTT
192078FTT
192079FTT
192080FTT
192081FTT
192082FTT
197976FTT
197977FTT
197978FTT
197979FTT
197980FTT
197981FTT
197982FTT
197983FTT
197984FTT
197985FTT
197986FTT
197987FTT
197988FTT
197989FTT
197990FTT
197991FTT
197992FTT
197993FTT
197994FTT
197995FTT
197996FTT
197997FTT
197998FTT
197999FTT
198000FTT
198001FTT
198002FTT
198003FTT
198004FTT
198005FTT
198006FTT
198007FTT
198008FTT
198009FTT
198010FTT
198011FTT
203933FTT
203934FTT
203935FTT
203936FTT
203937FTT
203938FTT
203939FTT
203940FTT
203941FTT
203942FTT
203943FTT
203944FTT
209067FTT
209068FTT
209069FTT
209070FTT
209071FTT
209072FTT
209073FTT
209074FTT
209075FTT
209076FTT
209077FTT
209078FTT
209079FTT
209080FTT
209081FTT
209082FTT
209083FTT
209084FTT
209085FTT
209086FTT
209087FTT
209088FTT
209089FTT
209090FTT
209091FTT
209092FTT
209093FTT
209094FTT
209095FTT
209096FTT
209097FTT
209098FTT
209099FTT
209100FTT
209101FTT
209102FTT
209103FTT
209104FTT
209105FTT
209106FTT
209107FTT
209108FTT
209109FTT
209110FTT
209111FTT
209112FTT
216798FTT
216799FTT
216800FTT
216801FTT
216802FTT
216803FTT
216804FTT
216805FTT
216806FTT
216807FTT
216808FTT
216809FTT
216810FTT
216811FTT
216812FTT
216813FTT
216814FTT
216815FTT
216816FTT
216817FTT
216818FTT
216819FTT
216820FTT
216821FTT
216822FTT
216823FTT
252648FTT
252649FTT
252650FTT
252651FTT
252652FTT
252653FTT
252654FTT
252655FTT
252656FTT
252657FTT
252658FTT
252659FTT
252660FTT
252661FTT
252662FTT
252663FTT
252664FTT
330025FTT
330026FTT
330027FTT
330028FTT
330029FTT
330030FTT
330031FTT
330032FTT
330033FTT
330034FTT
330035FTT
330036FTT
330037FTT
330038FTT
330039FTT
330040FTT
330041FTT
377569FTT
377570FTT
377571FTT
377572FTT
380226FTT
380227FTT
380228FTT
380229FTT
383109FTT
383110FTT
383111FTT
383112FTT

Independent-effect pairs