Decision #1527 — mod.rs:2528

Status: partial

Truth table

rowc0 br 10001c1 br 10002outcome
6867T*T
6868T*T
6869T*T
6870T*T
6871T*T
6872T*T
6873T*T
6874T*T
6875FFF
6876T*T
6877T*T
6878T*T
6879T*T
6880T*T
6881T*T
6882T*T
6883T*T
6884T*T
6885FFF
6886T*T
6887T*T
6888T*T
6889T*T
6890T*T
6891T*T
6892T*T
6893T*T
6894T*T
6895FFF
6896T*T
6897T*T
6898T*T
6899T*T
6900T*T
6901T*T
6902T*T
6903T*T
6904T*T
6905T*T
6906T*T
6907T*T
6908T*T
6909T*T
6910T*T
6911T*T
6912T*T
6913T*T
6914T*T
6915T*T
6916T*T
6917T*T
6918T*T
6919T*T
6920FFF
6921T*T
6922T*T
13616T*T
13617T*T
13618FFF
13619T*T
13620T*T
13621T*T
13622T*T
13623T*T
13624T*T
13625T*T
13626T*T
13627T*T
13628FFF
13629T*T
13630T*T
13631T*T
13632T*T
13633T*T
13634T*T
13635T*T
13636T*T
13637T*T
13638FFF
13639T*T
13640T*T
13641T*T
13642T*T
13643T*T
13644T*T
13645T*T
13646T*T
13647T*T
13648T*T
13649T*T
13650T*T
13651T*T
13652T*T
13653T*T
13654T*T
13655T*T
13656T*T
13657T*T
13658T*T
13659T*T
13660T*T
13661T*T
13662T*T
13663FFF
13664T*T
13665T*T
21044T*T
21045T*T
21046T*T
21047T*T
21048T*T
21049T*T
21050T*T
21051T*T
21052T*T
21053T*T
21054T*T
21055T*T
21056T*T
21057T*T
21058T*T
21059T*T
21060FFF
21061T*T
21062T*T
21063T*T
21064T*T
21065T*T
21066T*T
21067T*T
21068T*T
21069T*T
21070FFF
21071T*T
21072T*T
21073T*T
21074T*T
21075T*T
21076T*T
21077T*T
21078T*T
21079T*T
21080FFF
21081T*T
21082T*T
21083T*T
21084T*T
21085T*T
21086T*T
21087T*T
21088T*T
21089T*T
21090T*T
21091T*T
21092T*T
21093T*T
21094T*T
21095T*T
21096T*T
21097T*T
21098T*T
21099T*T
21100T*T
21101T*T
21102T*T
21103T*T
21104T*T
21105FFF
21106T*T
21107T*T
23874T*T
23875T*T
23876T*T
23877T*T
23878T*T
23879T*T
23880T*T
23881T*T
23882T*T
23883T*T
23884T*T
23885T*T
23886T*T
23887T*T
23888T*T
26519T*T
26520T*T
26521T*T
26522T*T
26523T*T
26524T*T
26525T*T
26526T*T
26527T*T
26528T*T
26529T*T
26530T*T
26531T*T
26532T*T
29260T*T
29261T*T
29262T*T
29263T*T
29264T*T
29265T*T
29266T*T
29267T*T
29268T*T
29269T*T
29270T*T
29271T*T
29272T*T
29273T*T
29274T*T
49641T*T
49642T*T
49643T*T
49644T*T
49645T*T
49646T*T
49647T*T
49648T*T
49649T*T
49650T*T
49651T*T
49652T*T
49653T*T
49654T*T
49655T*T
49656T*T
49657T*T
49658T*T
49659T*T
49660T*T
49661T*T
49662T*T
49663T*T
49664T*T
49665T*T
49666T*T
49667T*T
49668T*T
49669T*T
49670T*T
49671T*T
49672T*T
49673T*T
49674T*T
49675T*T
49676T*T
49677T*T
49678T*T
49679T*T
49680T*T
49681T*T
49682T*T
49683T*T
70367T*T
70368T*T
70369T*T
70370T*T
70371T*T
70372T*T
70373T*T
70374T*T
70375T*T
70376T*T
70377T*T
70378T*T
70379T*T
70380T*T
70381T*T
70382T*T
70383T*T
70384T*T
70385T*T
70386T*T
70387T*T
70388T*T
70389T*T
70390T*T
70391T*T
70392T*T
70393T*T
70394T*T
70395T*T
70396T*T
70397T*T
70398T*T
70399T*T
70400T*T
70401T*T
70402T*T
70403T*T
70404T*T
70405T*T
70406T*T
70407T*T
70408T*T
80612T*T
80613T*T
80614T*T
80615T*T
80616T*T
80617T*T
80618T*T
80619T*T
80620T*T
80621T*T
80622T*T
80623T*T
80624T*T
80625T*T
80626T*T
80627T*T
80628T*T
80629T*T
80630T*T
80631T*T
80632T*T
80633T*T
80634T*T
80635T*T
80636T*T
80637T*T
80638T*T
80639T*T
80640T*T
80641T*T
80642T*T
80643T*T
80644T*T
80645T*T
80646T*T
80647T*T
80648T*T
80649T*T
80650T*T
80651T*T
80652T*T
80653T*T
80654T*T
90495T*T
90496T*T
90497T*T
90498T*T
90499T*T
90500T*T
90501T*T
90502T*T
90503T*T
90504T*T
90505T*T
90506T*T
90507T*T
90508T*T
90509T*T
90510T*T
90511T*T
90512T*T
90513T*T
90514T*T
90515T*T
90516T*T
90517T*T
90518T*T
90519T*T
90520T*T
90521T*T
90522T*T
90523T*T
90524T*T
90525T*T
90526T*T
90527T*T
90528T*T
90529T*T
90530T*T
90531T*T
90532T*T
90533T*T
90534T*T
90535T*T
90536T*T
90537T*T
98307T*T
98308T*T
98309T*T
98310T*T
98311T*T
98312T*T
98313T*T
98314T*T
98315T*T
98316T*T
98317FFF
98318T*T
98319T*T
98320T*T
98321T*T
98322T*T
98323T*T
98324T*T
98325T*T
98326T*T
98327T*T
98328T*T
98329T*T
98330T*T
98331T*T
98332T*T
98333T*T
98334T*T
98335T*T
98336T*T
98337T*T
98338T*T
98339T*T
98340T*T
98341T*T
98342T*T
98343T*T
98344T*T
98345T*T
98346T*T
98347T*T
98348T*T
98349T*T
98350T*T
98351T*T
98352T*T
98353FFF
98354T*T
98355T*T
98356T*T
98357T*T
98358FFF
98359T*T
98360T*T
98361T*T
98362FFF
98363T*T
98364T*T
98365T*T
98366T*T
98367T*T
98368T*T
106756T*T
106757T*T
106758T*T
106759T*T
106760T*T
106761T*T
106762T*T
106763T*T
106764T*T
106765T*T
106766T*T
106767T*T
106768T*T
106769T*T
106770T*T
106771T*T
106772T*T
106773T*T
106774T*T
106775T*T
106776T*T
106777T*T
106778FFF
106779T*T
106780T*T
106781T*T
106782T*T
106783T*T
106784T*T
106785T*T
106786T*T
106787T*T
106788T*T
106789T*T
106790T*T
106791T*T
106792T*T
106793T*T
106794T*T
106795T*T
106796T*T
106797T*T
106798T*T
106799T*T
106800T*T
106801T*T
106802T*T
106803T*T
106804T*T
106805T*T
106806T*T
106807T*T
106808T*T
106809T*T
106810T*T
106811T*T
106812T*T
106813T*T
106814FFF
106815T*T
106816T*T
106817T*T
106818T*T
106819FFF
106820T*T
106821T*T
106822T*T
106823FFF
106824T*T
106825T*T
106826T*T
106827T*T
106828T*T
106829T*T
114867T*T
114868T*T
114869T*T
114870T*T
114871T*T
114872T*T
114873T*T
114874T*T
114875T*T
114876T*T
114877T*T
114878T*T
114879T*T
114880T*T
114881FFF
114882T*T
114883T*T
114884T*T
114885T*T
114886T*T
114887T*T
114888T*T
114889T*T
114890T*T
114891T*T
114892T*T
114893T*T
114894T*T
114895T*T
114896T*T
114897T*T
114898T*T
114899T*T
114900T*T
114901T*T
114902T*T
114903T*T
114904T*T
114905T*T
114906T*T
114907T*T
114908T*T
114909T*T
114910T*T
114911T*T
114912T*T
114913T*T
114914T*T
114915T*T
114916T*T
114917FFF
114918T*T
114919T*T
114920T*T
114921T*T
114922FFF
114923T*T
114924T*T
114925T*T
114926FFF
114927T*T
114928T*T
114929T*T
114930T*T
114931T*T
114932T*T
122651T*T
122652T*T
122653T*T
122654T*T
122655T*T
122656T*T
122657T*T
122658T*T
122659T*T
122660T*T
122661FFF
122662T*T
122663T*T
122664T*T
122665T*T
122666T*T
122667T*T
122668T*T
122669T*T
122670T*T
122671T*T
122672T*T
122673T*T
122674T*T
122675T*T
122676T*T
122677T*T
122678T*T
122679T*T
122680T*T
122681T*T
122682T*T
122683T*T
122684T*T
122685T*T
122686T*T
122687T*T
122688T*T
122689T*T
122690T*T
122691T*T
122692T*T
122693T*T
122694T*T
122695T*T
122696T*T
122697FFF
122698T*T
122699T*T
122700T*T
122701T*T
122702FFF
122703T*T
122704T*T
122705T*T
122706FFF
122707T*T
122708T*T
122709T*T
122710T*T
122711T*T
122712T*T
139314T*T
139315T*T
139316T*T
139317T*T
139318T*T
139319T*T
139320T*T
139321T*T
139322T*T
139323T*T
139324T*T
139325T*T
139326T*T
139327T*T
139328T*T
139329T*T
139330T*T
139331T*T
139332T*T
139333T*T
139334T*T
139335T*T
139336T*T
139337T*T
139338T*T
139339T*T
139340T*T
139341T*T
139342T*T
139343T*T
139344T*T
139345T*T
139346T*T
139347T*T
139348T*T
139349T*T
139350T*T
139351T*T
139352T*T
139353T*T
139354T*T
139355T*T
139356T*T
139357T*T
139358T*T
139359T*T
139360T*T
156033T*T
156034T*T
156035T*T
156036T*T
156037T*T
156038T*T
156039T*T
156040T*T
156041T*T
156042T*T
156043T*T
156044T*T
156045T*T
156046T*T
156047T*T
156048T*T
156049T*T
156050T*T
156051T*T
156052T*T
156053T*T
156054T*T
156055T*T
156056T*T
156057T*T
156058T*T
156059T*T
156060T*T
156061T*T
156062T*T
156063T*T
156064T*T
156065T*T
156066T*T
156067T*T
156068T*T
156069T*T
156070T*T
156071T*T
156072T*T
156073T*T
156074T*T
156075T*T
156076T*T
156077T*T
156078T*T
156079T*T
165887T*T
165888T*T
165889T*T
165890T*T
165891T*T
165892T*T
165893T*T
165894T*T
165895T*T
165896T*T
165897T*T
165898T*T
165899T*T
165900T*T
165901T*T
165902T*T
165903T*T
165904T*T
165905T*T
165906T*T
165907T*T
165908T*T
165909T*T
165910T*T
165911T*T
165912T*T
165913T*T
165914T*T
165915FFF
165916T*T
165917T*T
165918T*T
165919T*T
165920T*T
165921T*T
165922T*T
165923T*T
165924T*T
165925T*T
165926T*T
165927FFF
165928T*T
165929T*T
165930T*T
165931T*T
165932T*T
165933T*T
165934T*T
165935T*T
165936T*T
165937T*T
165938T*T
165939T*T
165940T*T
165941T*T
165942T*T
165943T*T
165944T*T
165945T*T
165946T*T
165947T*T
165948T*T
165949T*T
165950T*T
165951T*T
165952T*T
165953T*T
165954T*T
165955T*T
165956T*T
165957T*T
165958T*T
165959T*T
175745T*T
175746T*T
175747T*T
175748T*T
175749T*T
175750T*T
175751T*T
175752T*T
175753T*T
175754T*T
175755T*T
175756T*T
175757T*T
175758T*T
175759T*T
175760T*T
175761T*T
175762T*T
175763T*T
175764T*T
175765T*T
175766T*T
175767T*T
175768T*T
175769T*T
175770T*T
175771T*T
175772T*T
175773FFF
175774T*T
175775T*T
175776T*T
175777T*T
175778T*T
175779T*T
175780T*T
175781T*T
175782T*T
175783T*T
175784T*T
175785FFF
175786T*T
175787T*T
175788T*T
175789T*T
175790T*T
175791T*T
175792T*T
175793T*T
175794T*T
175795T*T
175796T*T
175797T*T
175798T*T
175799T*T
175800T*T
175801T*T
175802T*T
175803T*T
175804T*T
175805T*T
175806T*T
175807T*T
175808T*T
175809T*T
175810T*T
175811T*T
175812T*T
175813T*T
175814T*T
175815T*T
175816T*T
175817T*T
180631T*T
180632T*T
180633T*T
180634T*T
180635T*T
180636T*T
180637T*T
180638T*T
180639T*T
180640T*T
180641T*T
180642T*T
180643T*T
180644T*T
180645T*T
180646T*T
180647T*T
180648T*T
180649T*T
180650T*T
180651T*T
180652T*T
180653T*T
180654FFF
180655T*T
180656FFF
180657T*T
180658FFF
180659T*T
180660T*T
180661T*T
180662T*T
180663T*T
180664FFF
180665T*T
180666T*T
180667T*T
180668T*T
180669T*T
180670T*T
180671T*T
180672T*T
180673T*T
180674T*T
180675T*T
180676T*T
180677T*T
180678T*T
180679T*T
180680T*T
180681T*T
180682T*T
180683T*T
180684T*T
180685T*T
180686T*T
180687FFF
180688T*T
180689T*T
180690T*T
180691T*T
180692T*T
180693T*T
180694T*T
180695T*T
180696T*T
180697T*T
180698T*T
180699T*T
180700T*T
180701T*T
180702T*T
180703T*T
180704T*T
180705T*T
180706FFF
180707T*T
180708T*T
183981T*T
183982T*T
183983T*T
183984T*T
183985T*T
183986T*T
183987T*T
183988T*T
183989T*T
183990T*T
183991T*T
183992T*T
183993T*T
183994T*T
183995T*T
183996T*T
183997T*T
183998T*T
183999T*T
184000T*T
184001T*T
184002T*T
184003T*T
184004T*T
184005T*T
184006T*T
184007FFF
184008FFF
184009T*T
184010T*T
184011T*T
184012T*T
184013T*T
184014FFF
184015T*T
184016T*T
184017T*T
184018T*T
184019T*T
184020T*T
184021T*T
187099T*T
187100T*T
187101T*T
187102T*T
187103T*T
187104T*T
187105T*T
187106T*T
187107T*T
187108T*T
187109T*T
187110T*T
187111T*T
187112T*T
187113T*T
187114T*T
187115T*T
187116T*T
187117T*T
187118T*T
187119T*T
187120FFF
187121FFF
187122T*T
187123T*T
187124T*T
187125T*T
187126T*T
187127FFF
187128T*T
187129T*T
187130T*T
187131T*T
187132T*T
187133T*T
187134T*T
190408T*T
190409T*T
190410T*T
190411T*T
190412T*T
190413T*T
190414T*T
190415T*T
190416T*T
190417T*T
190418T*T
190419T*T
190420T*T
190421T*T
190422T*T
190423T*T
190424T*T
190425T*T
190426T*T
190427T*T
190428T*T
190429T*T
190430T*T
190431T*T
190432T*T
190433T*T
190434FFF
190435FFF
190436T*T
190437T*T
190438T*T
190439T*T
190440T*T
190441FFF
190442T*T
190443T*T
190444T*T
190445T*T
190446T*T
190447T*T
190448T*T
194601T*T
194602T*T
194603T*T
194604T*T
194605T*T
194606T*T
194607T*T
194608T*T
194609T*T
194610T*T
194611T*T
194612T*T
194613T*T
194614T*T
202724T*T
202725T*T
202726T*T
202727T*T
202728T*T
202729T*T
202730T*T
202731T*T
202732T*T
202733FFF
202734FFF
202735T*T
202736T*T
202737T*T
202738T*T
202739T*T
202740T*T
202741T*T
202742T*T
202743T*T
202744T*T
202745T*T
202746T*T
202747T*T
202748T*T
202749T*T
202750T*T
202751T*T
202752T*T
202753T*T
202754T*T
202755T*T
202756T*T
202757T*T
202758T*T
202759T*T
202760T*T
202761T*T
202762T*T
202763T*T
202764T*T
205970T*T
205971T*T
205972T*T
205973T*T
205974T*T
205975T*T
205976T*T
205977T*T
205978T*T
205979T*T
205980T*T
205981T*T
214258T*T
214259T*T
214260T*T
214261T*T
214262T*T
214263T*T
214264T*T
214265T*T
214266T*T
214267T*T
214268T*T
214269T*T
214270T*T
214271T*T
214272T*T
214273T*T
214274T*T
214275T*T
214276T*T
214277T*T
214278T*T
214279T*T
214280T*T
214281T*T
214282T*T
214283T*T
214284FFF
214285T*T
214286T*T
214287T*T
214288T*T
214289T*T
214290T*T
214291T*T
214292T*T
214293T*T
214294T*T
214295FFF
214296T*T
214297T*T
214298T*T
214299T*T
214300T*T
214301T*T
214302T*T
214303T*T
214304T*T
214305T*T
214306T*T
214307T*T
214308FFF
214309T*T
214310T*T
214311T*T
214312T*T
214313T*T
214314T*T
214315T*T
214316T*T
214317FFF
214318T*T
214319T*T
214320T*T
214321T*T
214322T*T
214323T*T
214324T*T
214325T*T
214326T*T
214327T*T
214328T*T
214329T*T
214330T*T
214331T*T
214332T*T
214333T*T
214334T*T
214335T*T
214336T*T
221776T*T
221777T*T
221778T*T
221779T*T
221780T*T
221781T*T
221782T*T
221783T*T
221784T*T
221785T*T
221786T*T
221787FFF
221788T*T
221789T*T
221790T*T
221791T*T
221792T*T
221793T*T
221794T*T
221795T*T
221796T*T
221797T*T
221798T*T
221799T*T
221800T*T
221801T*T
221802T*T
221803T*T
221804T*T
221805T*T
221806T*T
221807T*T
221808T*T
221809T*T
221810T*T
221811FFF
221812FFF
221813T*T
221814T*T
221815T*T
221816FFF
221817T*T
221818T*T
221819T*T
221820T*T
221821T*T
221822T*T
221823T*T
221824T*T
221825T*T
221826T*T
221827T*T
221828T*T
221829T*T
221830T*T
221831T*T
221832T*T
221833T*T
221834T*T
221835T*T
221836T*T
221837T*T
221838T*T
221839T*T
221840T*T
221841T*T
221842T*T
221843T*T
221844T*T
221845T*T
221846T*T
221847T*T
221848T*T
221849T*T
221850T*T
221851T*T
221852T*T
221853T*T
221854T*T
221855T*T
296792T*T
296793T*T
296794T*T
296795T*T
296796T*T
296797T*T
296798T*T
296799T*T
296800T*T
296801T*T
296802T*T
296803T*T
296804T*T
296805T*T
296806T*T
296807T*T
296808T*T
296809T*T
296810T*T
296811T*T
296812T*T
296813T*T
296814T*T
296815T*T
296816T*T
296817T*T
296818T*T
296819T*T
296820T*T
296821T*T
296822T*T
296823T*T
296824T*T
296825T*T
296826T*T
296827T*T
296828T*T
296829T*T
296830T*T
296831T*T
296832T*T
296833T*T
296834T*T
296835T*T
296836T*T
296837T*T
296838T*T
374169T*T
374170T*T
374171T*T
374172T*T
374173T*T
374174T*T
374175T*T
374176T*T
374177T*T
374178T*T
374179T*T
374180T*T
374181T*T
374182T*T
374183T*T
374184T*T
374185T*T
374186T*T
374187T*T
374188T*T
374189T*T
374190T*T
374191T*T
374192T*T
374193T*T
374194T*T
374195T*T
374196T*T
374197T*T
374198T*T
374199T*T
374200T*T
374201T*T
374202T*T
374203T*T
374204T*T
374205T*T
374206T*T
374207T*T
374208T*T
374209T*T
374210T*T
374211T*T
374212T*T
374213T*T
374214T*T
374215T*T
379293T*T
379294T*T
379295T*T
379296T*T
379297T*T
379298T*T
379299T*T
379300T*T
379301T*T
379302T*T
379303T*T
379304T*T
379305T*T
382162T*T
382163T*T
382164T*T
382165T*T
382166T*T
382167T*T
382168T*T
382169T*T
382170T*T
382171T*T
382172T*T
382173T*T
382174T*T
382175T*T
382176T*T
382177T*T
382178T*T
384911T*T
384912T*T
384913T*T
384914T*T
384915T*T
384916T*T
384917T*T
384918T*T
384919T*T
384920T*T
384921T*T
384922T*T
384923T*T
384924T*T

Independent-effect pairs