Decision #1421 — malloc.c:4008

Status: no_witness

Truth table

rowc0 br 9401c1 br 9402outcome
4158T*T
4159T*T
4160FFT
4161FFT
4162T*T
4163T*T
4164FFT
4165T*T
4166T*T
4167T*T
4168T*T
4169FTT
11098T*T
11099T*T
11100FFT
11101FFT
11102T*T
11103T*T
11104FTT
11105T*T
11106T*T
11107T*T
11108FTT
11109FFT
11110T*T
11111T*T
11112T*T
11113T*T
11114T*T
11115T*T
11116T*T
18022T*T
18023T*T
18024FFT
18025FFT
18026T*T
18027T*T
18028FFT
18029T*T
18030T*T
18031FFT
18032FFT
18033T*T
18034T*T
18035T*T
18036T*T
18037T*T
18038T*T
18039T*T
22887T*T
22888T*T
22889T*T
22890FFT
22891FFT
22892T*T
22893T*T
22894T*T
22895T*T
25614T*T
25615T*T
25616T*T
25617FFT
25618T*T
25619T*T
25620FFT
25621T*T
28273T*T
28274T*T
28275T*T
28276FFT
28277FFT
28278T*T
28279T*T
28280T*T
28281T*T
42959T*T
42960T*T
42961T*T
42962T*T
42963T*T
42964FFT
42965FFT
42966T*T
42967FFT
42968T*T
42969FFT
42970T*T
42971FFT
42972T*T
42973T*T
42974FFT
42975T*T
42976T*T
42977FFT
42978T*T
42979FFT
42980T*T
42981FFT
42982FFT
42983FTT
42984FTT
42985T*T
42986FTT
42987T*T
42988FTT
42989FTT
42990FFT
42991FTT
42992FFT
42993T*T
42994FFT
42995T*T
42996FFT
42997T*T
42998FFT
42999T*T
43000FFT
43001FTT
43002T*T
43003T*T
43004FFT
43005F*T
43006T*T
43007FFT
43008T*T
43009T*T
43010T*T
43011T*T
43012T*T
43013FFT
43014FFT
43015FFT
43016FTT
43017FTT
43018FFT
43019FFT
43020FTT
43021FFT
43022FTT
43023FFT
43024FTT
43025FFT
43026FTT
43027T*T
43028FFT
43029FTT
43030T*T
43031FFT
43032FFT
43033FFT
43034T*T
43035T*T
43036T*T
43037T*T
43038T*T
43039T*T
43040T*T
43041T*T
43042T*T
43043FTT
43044T*T
43045T*T
43046FTT
43047T*T
43048T*T
43049T*T
43050FTT
43051T*T
43052T*T
43053FTT
43054T*T
43055T*T
43056FTT
43057FTT
43058FTT
43059FTT
43060T*T
43061FTT
43062T*T
43063FFT
43064FFT
43065T*T
43066FFT
43067FFT
43068FFT
43069T*T
43070T*T
43071FTT
43072FTT
43073FTT
43074T*T
43075FTT
43076T*T
43077FFT
43078T*T
43079T*T
43080FFT
43081FFT
43082FTT
43083FTT
43084FTT
43085FFT
43086FTT
43087T*T
43088FFT
43089FFT
43090FTT
43091FTT
43092FTT
43093T*T
43094FTT
43095T*T
43096FFT
43097FFT
43098FFT
43099FFT
43100T*T
43101T*T
43102T*T
43103T*T
43104T*T
43105T*T
43106T*T
43107T*T
43108T*T
43109T*T
43110T*T
43111T*T
43112T*T
43113T*T
43114T*T
43115T*T
43116T*T
43117T*T
43118T*T
43119T*T
43120FTT
63796T*T
63797T*T
63798T*T
63799T*T
63800T*T
63801FFT
63802FFT
63803T*T
63804FFT
63805T*T
63806FFT
63807T*T
63808FFT
63809T*T
63810T*T
63811FFT
63812T*T
63813T*T
63814FFT
63815T*T
63816FFT
63817T*T
63818FFT
63819FFT
63820FTT
63821FTT
63822T*T
63823FTT
63824T*T
63825FTT
63826FTT
63827FFT
63828FTT
63829FFT
63830T*T
63831FFT
63832T*T
63833FFT
63834T*T
63835FFT
63836T*T
63837FFT
63838FTT
63839T*T
63840T*T
63841FFT
63842F*T
63843T*T
63844FFT
63845T*T
63846T*T
63847T*T
63848T*T
63849T*T
63850FFT
63851FFT
63852FFT
63853FTT
63854FTT
63855FFT
63856FFT
63857FTT
63858FFT
63859FTT
63860FFT
63861FTT
63862FFT
63863FTT
63864T*T
63865FFT
63866FTT
63867T*T
63868FFT
63869FFT
63870FFT
63871T*T
63872T*T
63873T*T
63874T*T
63875T*T
63876T*T
63877T*T
63878T*T
63879T*T
63880FTT
63881T*T
63882T*T
63883FTT
63884T*T
63885T*T
63886T*T
63887FTT
63888T*T
63889T*T
63890FTT
63891T*T
63892T*T
63893FTT
63894FTT
63895FTT
63896FTT
63897T*T
63898FTT
63899T*T
63900FFT
63901FFT
63902T*T
63903FFT
63904FFT
63905FFT
63906T*T
63907T*T
63908FTT
63909FTT
63910FTT
63911T*T
63912FTT
63913T*T
63914FFT
63915T*T
63916T*T
63917FFT
63918FFT
63919FTT
63920FTT
63921FTT
63922FFT
63923FTT
63924T*T
63925FFT
63926FFT
63927FTT
63928FTT
63929FTT
63930T*T
63931FTT
63932T*T
63933FFT
63934FFT
63935FFT
63936T*T
63937T*T
63938T*T
63939T*T
63940T*T
63941T*T
63942T*T
63943T*T
63944T*T
63945T*T
63946T*T
63947T*T
63948T*T
63949T*T
63950FFT
63951T*T
63952T*T
63953FFT
63954T*T
63955T*T
63956FTT
63957FTT
77387T*T
77388T*T
77389T*T
77390T*T
77391T*T
77392T*T
77393T*T
77394T*T
77395T*T
77396T*T
77397T*T
77398T*T
77399T*T
77400T*T
77401T*T
77402T*T
77403FTT
77404T*T
77405T*T
77406T*T
77407T*T
77408T*T
77409T*T
77410T*T
77411T*T
77412T*T
77413T*T
77414T*T
77415T*T
77416T*T
77417T*T
77418T*T
77419T*T
77420T*T
77421T*T
77422T*T
77423FFT
77424T*T
77425T*T
77426T*T
77427T*T
77428T*T
77429T*T
77430T*T
77431T*T
77432T*T
77433T*T
77434T*T
77435T*T
77436T*T
87270T*T
87271T*T
87272T*T
87273T*T
87274T*T
87275T*T
87276T*T
87277T*T
87278T*T
87279T*T
87280T*T
87281T*T
87282T*T
87283T*T
87284T*T
87285T*T
87286FTT
87287T*T
87288T*T
87289T*T
87290T*T
87291T*T
87292T*T
87293T*T
87294T*T
87295T*T
87296T*T
87297T*T
87298T*T
87299T*T
87300T*T
87301T*T
87302T*T
87303T*T
87304T*T
87305T*T
87306FFT
87307T*T
87308T*T
87309T*T
87310T*T
87311T*T
87312T*T
87313T*T
87314T*T
87315T*T
87316T*T
87317T*T
87318T*T
87319T*T
95254T*T
95255T*T
95256T*T
95257T*T
95258T*T
95259T*T
95260T*T
95261FFT
95262T*T
95263FFT
95264T*T
95265FTT
95266T*T
95267T*T
95268T*T
95269T*T
95270T*T
95271T*T
95272T*T
95273T*T
103213T*T
103214T*T
103215T*T
103216T*T
103217T*T
103218T*T
103219T*T
103220FFT
103221T*T
103222FFT
103223T*T
103224FTT
103225T*T
103226T*T
103227T*T
103228T*T
103229FFT
103230FTT
103231T*T
103232T*T
103233T*T
103234T*T
103235T*T
111656T*T
111657T*T
111658T*T
111659T*T
111660T*T
111661T*T
111662T*T
111663FFT
111664T*T
111665FFT
111666T*T
111667FTT
111668T*T
111669FFT
111670FFT
111671FFT
111672FTT
111673T*T
111674T*T
111675T*T
111676T*T
111677T*T
111678T*T
111679T*T
119598T*T
119599T*T
119600T*T
119601T*T
119602T*T
119603T*T
119604T*T
119605FFT
119606T*T
119607FFT
119608T*T
119609FTT
119610T*T
119611T*T
119612T*T
119613T*T
119614T*T
119615T*T
119616T*T
119617T*T
135016T*T
135017T*T
135018T*T
135019T*T
135020T*T
135021T*T
135022FFT
135023FTT
135024T*T
135025T*T
135026F*T
135027FTT
135028FFT
135029FFT
135030FFT
135031FFT
135032FFT
135033T*T
135034T*T
135035T*T
135036FFT
135037T*T
135038T*T
135039T*T
135040T*T
135041FFT
135042FFT
135043FFT
135044FFT
135045FFT
135046FFT
135047FTT
135048T*T
135049FTT
135050T*T
135051FTT
135052FFT
135053T*T
135054FFT
135055FTT
135056T*T
135057T*T
151735T*T
151736T*T
151737T*T
151738T*T
151739T*T
151740T*T
151741FFT
151742FTT
151743T*T
151744T*T
151745F*T
151746FTT
151747FFT
151748FFT
151749FFT
151750FFT
151751FFT
151752T*T
151753T*T
151754T*T
151755FFT
151756T*T
151757T*T
151758T*T
151759T*T
151760FFT
151761FFT
151762FFT
151763FFT
151764FFT
151765FFT
151766FTT
151767T*T
151768FTT
151769T*T
151770FTT
151771FFT
151772T*T
151773FFT
151774FTT
151775T*T
151776T*T
162205T*T
162206T*T
162207T*T
162208FFT
162209T*T
162210T*T
162211T*T
162212T*T
162213T*T
162214T*T
162215T*T
162216FTT
162217FTT
162218FTT
162219T*T
162220FFT
162221T*T
162222T*T
162223T*T
162224T*T
162225T*T
162226T*T
162227T*T
162228T*T
162229T*T
162230T*T
162231T*T
162232T*T
162233T*T
162234T*T
172063T*T
172064T*T
172065T*T
172066FFT
172067T*T
172068T*T
172069T*T
172070T*T
172071T*T
172072T*T
172073T*T
172074FTT
172075FTT
172076FTT
172077T*T
172078FFT
172079T*T
172080T*T
172081T*T
172082T*T
172083T*T
172084T*T
172085T*T
172086T*T
172087T*T
172088T*T
172089T*T
172090T*T
172091T*T
172092T*T
178279T*T
178280T*T
178281T*T
178282T*T
178283T*T
178284FFT
178285T*T
178286T*T
178287T*T
182472T*T
182473T*T
182474T*T
182475FFT
182476T*T
182477T*T
185755T*T
185756T*T
185757T*T
185758T*T
185759T*T
185760T*T
185761T*T
185762T*T
188899T*T
188900T*T
188901T*T
188902FFT
188903T*T
188904T*T
193240T*T
193241T*T
193242T*T
193243FFT
193244T*T
200160T*T
200161T*T
200162T*T
200163T*T
200164T*T
200165FFT
204866T*T
204867T*T
204868FTT
204869T*T
204870T*T
204871T*T
211213T*T
211214T*T
211215T*T
211216T*T
211217T*T
211218T*T
211219FFT
211220FFT
211221FFT
211222FTT
211223T*T
218585T*T
218586T*T
218587T*T
218588T*T
218589FFT
218590FTT
218591T*T
218592T*T
218593T*T
218594T*T
218595T*T
218596T*T
218597T*T
268846T*T
268847T*T
268848T*T
268849T*T
268850T*T
268851FFT
268852FFT
268853FTT
268854T*T
268855FFT
268856FFT
268857T*T
268858FFT
268859T*T
268860T*T
268861T*T
268862FFT
268863FFT
268864T*T
268865FFT
268866T*T
268867FFT
268868T*T
268869T*T
268870FTT
268871T*T
268872FTT
268873FFT
268874T*T
268875FFT
268876T*T
268877FTT
268878T*T
268879FTT
268880FFT
268881T*T
268882T*T
268883T*T
268884T*T
268885T*T
268886T*T
268887T*T
268888T*T
268889T*T
268890T*T
268891T*T
268892T*T
268893T*T
268894T*T
268895FFT
268896FFT
268897FTT
268898T*T
268899FFT
268900FTT
268901T*T
268902FTT
268903T*T
268904FTT
268905T*T
268906FTT
268907FTT
268908FFT
268909FFT
268910FTT
268911T*T
268912FTT
268913T*T
268914T*T
268915FFT
268916T*T
268917T*T
268918FFT
268919T*T
268920T*T
268921T*T
268922T*T
268923T*T
268924T*T
268925T*T
268926T*T
268927T*T
268928T*T
268929T*T
268930T*T
268931T*T
268932T*T
268933T*T
268934FFT
268935FFT
268936FFT
268937FTT
268938FTT
268939T*T
268940FTT
268941FFT
268942FFT
268943FFT
268944FTT
268945FTT
268946T*T
268947FTT
268948FFT
268949FFT
268950FFT
268951FTT
268952T*T
268953FTT
268954FFT
268955FFT
268956FTT
268957T*T
268958FTT
268959FFT
268960T*T
268961FTT
268962T*T
268963FTT
268964T*T
268965T*T
268966FFT
268967T*T
268968FFT
268969T*T
268970T*T
268971T*T
268972FTT
268973T*T
268974T*T
268975FFT
268976FFT
268977FTT
268978T*T
268979T*T
268980FFT
268981T*T
268982FTT
268983T*T
268984T*T
268985FFT
268986T*T
268987FFT
268988T*T
268989T*T
268990FFT
268991T*T
268992T*T
268993T*T
268994T*T
268995FFT
268996T*T
268997FFT
268998FTT
268999FFT
269000FFT
269001FTT
269002T*T
269003FFT
269004T*T
269005T*T
269006FFT
269007T*T
269008FFT
269009T*T
269010F*T
269011FFT
269012FFT
269013FTT
269014T*T
269015T*T
269016FFT
269017FTT
269018FFT
269019T*T
269020T*T
269021FFT
269022T*T
269023T*T
269024FTT
269025FFT
269026FFT
269027FFT
269028FFT
269029FTT
269030T*T
269031T*T
269032T*T
269033FTT
269034F*T
269035T*T
269036FFT
269037T*T
269038FTT
269039FTT
269040T*T
269041FFT
269042FFT
269043FTT
269044T*T
269045T*T
269046T*T
269047FTT
269048FFT
269049T*T
269050FTT
269051T*T
269052T*T
269053T*T
269054FTT
269055FFT
269056T*T
269057FTT
269058T*T
269059FTT
269060T*T
269061T*T
269062FFT
269063T*T
269064FTT
269065T*T
269066FTT
269067T*T
269068T*T
269069FFT
269070T*T
269071FFT
269072FFT
269073FTT
269074T*T
269075FTT
269076FTT
269077FTT
269078FTT
269079T*T
269080FFT
269081T*T
269082FFT
269083FFT
269084T*T
269085FTT
269086FTT
269087FTT
269088FTT
269089FTT
269090T*T
269091FTT
269092FFT
269093T*T
269094FFT
269095T*T
269096T*T
269097T*T
269098T*T
269099FTT
269100FTT
269101FTT
269102T*T
269103FFT
269104FTT
269105FFT
269106FTT
269107FTT
269108T*T
269109FTT
269110FFT
269111FTT
269112T*T
269113T*T
269114FFT
269115T*T
269116FTT
269117FFT
269118T*T
269119FFT
269120FTT
269121FFT
269122T*T
269123FTT
269124FFT
269125T*T
269126T*T
269127FTT
269128T*T
269129T*T
269130FTT
269131FFT
269132FFT
269133T*T
269134FTT
269135T*T
269136T*T
269137FTT
269138FFT
269139FFT
269140T*T
269141T*T
269142FFT
269143FFT
269144FFT
269145FFT
269146FFT
269147FFT
269148FFT
269149T*T
269150T*T
269151FFT
269152FFT
269153FFT
269154FTT
269155T*T
269156FFT
269157FFT
269158FTT
269159T*T
269160FTT
269161T*T
269162T*T
269163FTT
269164FTT
269165FTT
269166T*T
269167T*T
269168FFT
269169T*T
269170FTT
269171T*T
269172T*T
269173FFT
269174T*T
269175FFT
269176FTT
269177FFT
269178T*T
269179FFT
269180FTT
269181FFT
269182T*T
269183FFT
269184T*T
269185T*T
269186FTT
269187FFT
269188T*T
269189FFT
269190T*T
269191T*T
269192FTT
269193FFT
269194T*T
269195T*T
269196T*T
269197FFT
269198T*T
269199FFT
269200FFT
269201FFT
269202FTT
269203T*T
269204FTT
269205FTT
269206T*T
269207FFT
269208FTT
269209FTT
269210FTT
269211FTT
269212T*T
269213FFT
269214T*T
269215FFT
269216T*T
269217FFT
269218T*T
269219T*T
269220FFT
269221T*T
269222FFT
269223T*T
269224FFT
269225FTT
269226FTT
269227FFT
269228FTT
269229FTT
269230FFT
269231FFT
269232FTT
269233FFT
269234FTT
269235FFT
269236T*T
269237FTT
269238T*T
269239FTT
269240T*T
269241FFT
269242FFT
269243FTT
269244T*T
269245T*T
269246T*T
269247FFT
269248T*T
269249T*T
269250FFT
269251T*T
269252FTT
269253FTT
269254FTT
269255T*T
269256T*T
269257FFT
269258FTT
269259FTT
269260T*T
269261T*T
269262FFT
269263T*T
269264FFT
269265T*T
269266FFT
269267FFT
269268T*T
269269T*T
269270T*T
269271T*T
269272T*T
269273T*T
269274T*T
269275T*T
269276FFT
269277FTT
269278T*T
269279FTT
269280T*T
269281FFT
269282T*T
269283FTT
269284T*T
269285T*T
269286FFT
269287T*T
269288FTT
269289T*T
269290T*T
269291FFT
269292FFT
269293FFT
269294T*T
269295FFT
269296T*T
269297T*T
269298T*T
269299T*T
269300T*T
269301T*T
269302T*T
269303FFT
269304FFT
269305FFT
269306FFT
269307FFT
269308T*T
269309FTT
269310FTT
269311T*T
269312T*T
269313FFT
269314T*T
269315T*T
269316FTT
269317T*T
269318T*T
269319T*T
269320FFT
269321T*T
269322FFT
269323FTT
269324FTT
269325T*T
269326FFT
269327FFT
269328FFT
269329T*T
269330T*T
269331FFT
269332FFT
269333FFT
269334FFT
269335T*T
269336T*T
269337FFT
269338T*T
269339FFT
269340T*T
269341FFT
269342FTT
269343T*T
269344FFT
269345FFT
269346FTT
269347FTT
269348T*T
269349T*T
269350T*T
269351T*T
269352T*T
269353T*T
269354T*T
269355FTT
269356T*T
269357T*T
269358FTT
269359T*T
269360T*T
269361T*T
269362FTT
269363FTT
269364FFT
269365FTT
269366FTT
269367T*T
269368T*T
269369T*T
269370T*T
269371T*T
269372T*T
269373T*T
269374T*T
269375T*T
269376T*T
269377T*T
269378T*T
269379T*T
269380T*T
269381T*T
269382FTT
269383FTT
269384T*T
269385FFT
269386T*T
269387FTT
269388T*T
269389T*T
269390T*T
269391T*T
269392FFT
269393FFT
269394T*T
269395FTT
269396FFT
269397T*T
269398FTT
269399FTT
269400T*T
269401FTT
269402FTT
269403T*T
269404FTT
269405FFT
269406FTT
269407T*T
269408FTT
269409T*T
269410FTT
269411T*T
269412FTT
269413FFT
269414T*T
269415FTT
269416T*T
269417T*T
269418T*T
269419T*T
269420T*T
269421T*T
269422T*T
269423T*T
269424T*T
269425T*T
269426T*T
269427T*T
269428T*T
269429FTT
269430FTT
269431FFT
269432FFT
269433T*T
269434FTT
269435FTT
269436FTT
269437FFT
269438T*T
269439FFT
269440FFT
269441FFT
269442FTT
269443FTT
269444FTT
269445T*T
269446FTT
269447FTT
269448T*T
269449T*T
269450T*T
269451FTT
269452FTT
269453T*T
269454T*T
269455T*T
269456FTT
269457FTT
269458F*T
269459T*T
269460FTT
269461FTT
269462FTT
269463T*T
269464T*T
269465T*T
269466FFT
269467FTT
269468T*T
269469T*T
269470FFT
269471FTT
269472T*T
269473T*T
269474FTT
269475T*T
269476T*T
269477FTT
269478T*T
269479T*T
269480FTT
269481T*T
269482T*T
269483FTT
269484FFT
269485T*T
269486FFT
269487FTT
269488FTT
269489FTT
269490FTT
269491FFT
269492T*T
269493T*T
269494FTT
269495FTT
269496T*T
269497FFT
269498FFT
269499FTT
269500FTT
269501FTT
269502T*T
269503FTT
269504FTT
269505FTT
269506FTT
269507T*T
269508FTT
269509T*T
269510FTT
269511FTT
269512FTT
269513FTT
269514FTT
269515T*T
269516FTT
269517T*T
269518FTT
269519T*T
269520FTT
269521FFT
269522T*T
269523FFT
269524FTT
269525T*T
269526FTT
269527FFT
269528T*T
269529FFT
269530FFT
269531FTT
269532FFT
269533FFT
269534FTT
269535FFT
269536T*T
269537T*T
269538T*T
269539T*T
269540T*T
269541T*T
269542T*T
269543FTT
269544FTT
269545T*T
269546T*T
269547T*T
269548T*T
269549FTT
269550FTT
269551FTT
269552FTT
269553FTT
269554FTT
269555FFT
269556FTT
269557FTT
269558FTT
269559FTT
269560FFT
269561FFT
269562FTT
269563FTT
269564FFT
269565FFT
269566T*T
269567FFT
269568T*T
269569FFT
269570F*T
269571FTT
269572FTT
269573FTT
269574FTT
269575T*T
269576FTT
269577FFT
269578FTT
269579FTT
269580FTT
269581T*T
269582FTT
269583FFT
269584FTT
269585FTT
269586FTT
269587T*T
269588T*T
269589FTT
269590FTT
269591FTT
269592T*T
269593T*T
269594FTT
269595F*T
269596T*T
269597FTT
269598FTT
269599FTT
269600T*T
269601FFT
269602FTT
269603T*T
269604FTT
269605FTT
269606T*T
269607FTT
269608T*T
269609T*T
269610T*T
269611FTT
269612FTT
269613FTT
269614FTT
269615FFT
269616FTT
269617T*T
269618T*T
269619FTT
269620FTT
269621FTT
269622FTT
269623FTT
269624FFT
269625T*T
269626FTT
269627T*T
269628FTT
269629FTT
269630FTT
269631FTT
269632FTT
269633FFT
269634F*T
269635FTT
269636FTT
269637FFT
269638T*T
269639FTT
269640FTT
269641FTT
269642FTT
269643FTT
269644FFT
269645FTT
269646T*T
269647FTT
269648FFT
269649T*T
269650FFT
269651FTT
269652FTT
269653FTT
269654T*T
269655FFT
269656T*T
269657T*T
269658FTT
269659T*T
269660T*T
269661FFT
269662T*T
269663FTT
269664T*T
269665T*T
269666T*T
269667FTT
269668T*T
269669T*T
269670T*T
269671FFT
269672T*T
269673FTT
269674FFT
269675T*T
269676FFT
269677T*T
269678FTT
269679FFT
269680T*T
269681FTT
269682FTT
269683FFT
269684FTT
269685FFT
269686T*T
269687FTT
269688FTT
269689FFT
269690FTT
269691FFT
269692T*T
269693FTT
269694T*T
269695FTT
269696FTT
269697FTT
269698FTT
269699FTT
269700T*T
269701FTT
269702FTT
269703FFT
269704FTT
269705F*T
269706FFT
269707FTT
269708FTT
269709T*T
269710FTT
269711T*T
269712FTT
269713FFT
269714FTT
269715FTT
269716FTT
269717FFT
269718FTT
269719T*T
269720FTT
269721FFT
269722FTT
269723FFT
269724T*T
269725FTT
269726FTT
269727FTT
269728T*T
269729FTT
269730FTT
269731FFT
269732FTT
269733T*T
269734FTT
269735FTT
269736T*T
269737FTT
269738FFT
269739FTT
269740FTT
269741T*T
269742FFT
269743FFT
269744FTT
269745FTT
269746FTT
269747FFT
269748FFT
269749FFT
269750FTT
269751FTT
269752FTT
269753FFT
269754FFT
269755FTT
269756T*T
269757T*T
269758FTT
269759FTT
269760T*T
269761T*T
269762FTT
269763T*T
269764FTT
269765FTT
269766T*T
269767FFT
269768FTT
269769T*T
269770FFT
269771FTT
269772T*T
269773T*T
269774T*T
269775FFT
269776T*T
269777FFT
269778FTT
269779FTT
269780T*T
269781FTT
269782FFT
269783F*T
269784T*T
269785FFT
269786FTT
269787FTT
269788T*T
269789FFT
269790FTT
269791T*T
269792T*T
269793T*T
269794FTT
269795F*T
269796T*T
269797T*T
269798FFT
269799FTT
269800FTT
269801T*T
269802T*T
269803T*T
269804FFT
269805FTT
269806FTT
269807T*T
269808T*T
269809FFT
269810T*T
269811FTT
269812FTT
269813T*T
269814FFT
269815FTT
269816T*T
269817FFT
269818T*T
269819FTT
269820FTT
269821T*T
269822FFT
269823FTT
269824T*T
269825FTT
269826FTT
269827FTT
269828FFT
269829FTT
269830FFT
269831T*T
269832FTT
269833T*T
269834FFT
269835FTT
269836FTT
269837T*T
269838FTT
269839FTT
269840T*T
269841FFT
269842FTT
269843FTT
269844FTT
269845FFT
269846T*T
269847FFT
269848FTT
269849FTT
269850FTT
269851FTT
269852FTT
269853T*T
269854FFT
269855FTT
269856FTT
269857FFT
269858T*T
269859FFT
269860FTT
269861FTT
269862FTT
269863T*T
269864T*T
269865FTT
269866T*T
269867FTT
269868FFT
269869FFT
269870T*T
269871T*T
269872FFT
269873FTT
269874FFT
269875FFT
269876T*T
269877FTT
269878T*T
346223T*T
346224T*T
346225T*T
346226T*T
346227T*T
346228FFT
346229FFT
346230FTT
346231T*T
346232FFT
346233FFT
346234T*T
346235FFT
346236T*T
346237T*T
346238T*T
346239FFT
346240FFT
346241T*T
346242FFT
346243T*T
346244FFT
346245T*T
346246T*T
346247FTT
346248T*T
346249FTT
346250FFT
346251T*T
346252FFT
346253T*T
346254FTT
346255T*T
346256FTT
346257FFT
346258T*T
346259T*T
346260T*T
346261T*T
346262T*T
346263T*T
346264T*T
346265T*T
346266T*T
346267T*T
346268T*T
346269T*T
346270T*T
346271T*T
346272FFT
346273FFT
346274FTT
346275T*T
346276FFT
346277FTT
346278T*T
346279FTT
346280T*T
346281FTT
346282T*T
346283FTT
346284FTT
346285FFT
346286FFT
346287FTT
346288T*T
346289FTT
346290T*T
346291T*T
346292FFT
346293T*T
346294T*T
346295FFT
346296T*T
346297T*T
346298T*T
346299T*T
346300T*T
346301T*T
346302T*T
346303T*T
346304T*T
346305T*T
346306T*T
346307T*T
346308T*T
346309T*T
346310T*T
346311FFT
346312FFT
346313FFT
346314FTT
346315FTT
346316T*T
346317FTT
346318FFT
346319FFT
346320FFT
346321FTT
346322FTT
346323T*T
346324FTT
346325FFT
346326FFT
346327FFT
346328FTT
346329T*T
346330FTT
346331FFT
346332FFT
346333FTT
346334T*T
346335FTT
346336FFT
346337T*T
346338FTT
346339T*T
346340FTT
346341T*T
346342T*T
346343FFT
346344T*T
346345FFT
346346T*T
346347T*T
346348T*T
346349FTT
346350T*T
346351T*T
346352FFT
346353FFT
346354FTT
346355T*T
346356T*T
346357FFT
346358T*T
346359FTT
346360T*T
346361T*T
346362FFT
346363T*T
346364FFT
346365T*T
346366T*T
346367FFT
346368T*T
346369T*T
346370T*T
346371T*T
346372FFT
346373T*T
346374FFT
346375FTT
346376FFT
346377FFT
346378FTT
346379T*T
346380FFT
346381T*T
346382T*T
346383FFT
346384T*T
346385FFT
346386T*T
346387F*T
346388FFT
346389FFT
346390FTT
346391T*T
346392T*T
346393FFT
346394FTT
346395FFT
346396T*T
346397T*T
346398FFT
346399T*T
346400T*T
346401FTT
346402FFT
346403FFT
346404FFT
346405FFT
346406FTT
346407T*T
346408T*T
346409T*T
346410FTT
346411F*T
346412T*T
346413FFT
346414T*T
346415FTT
346416FTT
346417T*T
346418FFT
346419FFT
346420FTT
346421T*T
346422T*T
346423T*T
346424FTT
346425FFT
346426T*T
346427FTT
346428T*T
346429T*T
346430T*T
346431FTT
346432FFT
346433T*T
346434FTT
346435T*T
346436FTT
346437T*T
346438T*T
346439FFT
346440T*T
346441FTT
346442T*T
346443FTT
346444T*T
346445T*T
346446FFT
346447T*T
346448FFT
346449FFT
346450FTT
346451T*T
346452FTT
346453FTT
346454FTT
346455FTT
346456T*T
346457FFT
346458T*T
346459FFT
346460FFT
346461T*T
346462FTT
346463FTT
346464FTT
346465FTT
346466FTT
346467T*T
346468FTT
346469FFT
346470T*T
346471FFT
346472T*T
346473T*T
346474T*T
346475T*T
346476FTT
346477FTT
346478FTT
346479T*T
346480FFT
346481FTT
346482FFT
346483FTT
346484FTT
346485T*T
346486FTT
346487FFT
346488FTT
346489T*T
346490T*T
346491FFT
346492T*T
346493FTT
346494FFT
346495T*T
346496FFT
346497FTT
346498FFT
346499T*T
346500FTT
346501FFT
346502T*T
346503T*T
346504FTT
346505T*T
346506T*T
346507FTT
346508FFT
346509FFT
346510T*T
346511FTT
346512T*T
346513T*T
346514FTT
346515FFT
346516FFT
346517T*T
346518T*T
346519FFT
346520FFT
346521FFT
346522FFT
346523FFT
346524FFT
346525FFT
346526T*T
346527T*T
346528FFT
346529FFT
346530FFT
346531FTT
346532T*T
346533FFT
346534FFT
346535FTT
346536T*T
346537FTT
346538T*T
346539T*T
346540FTT
346541FTT
346542FTT
346543T*T
346544T*T
346545FFT
346546T*T
346547FTT
346548T*T
346549T*T
346550FFT
346551T*T
346552FFT
346553FTT
346554FFT
346555T*T
346556FFT
346557FTT
346558FFT
346559T*T
346560FFT
346561T*T
346562T*T
346563FTT
346564FFT
346565T*T
346566FFT
346567T*T
346568T*T
346569FTT
346570FFT
346571T*T
346572T*T
346573T*T
346574FFT
346575T*T
346576FFT
346577FFT
346578FFT
346579FTT
346580T*T
346581FTT
346582FTT
346583T*T
346584FFT
346585FTT
346586FTT
346587FTT
346588FTT
346589T*T
346590FFT
346591T*T
346592FFT
346593T*T
346594FFT
346595T*T
346596T*T
346597FFT
346598T*T
346599FFT
346600T*T
346601FFT
346602FTT
346603FTT
346604FFT
346605FTT
346606FTT
346607FFT
346608FFT
346609FTT
346610FFT
346611FTT
346612FFT
346613T*T
346614FTT
346615T*T
346616FTT
346617T*T
346618FFT
346619FFT
346620FTT
346621T*T
346622T*T
346623T*T
346624FFT
346625T*T
346626T*T
346627FFT
346628T*T
346629FTT
346630FTT
346631FTT
346632T*T
346633T*T
346634FFT
346635FTT
346636FTT
346637T*T
346638T*T
346639FFT
346640T*T
346641FFT
346642T*T
346643FFT
346644FFT
346645T*T
346646T*T
346647T*T
346648T*T
346649T*T
346650T*T
346651T*T
346652T*T
346653FFT
346654FTT
346655T*T
346656FTT
346657T*T
346658FFT
346659T*T
346660FTT
346661T*T
346662T*T
346663FFT
346664T*T
346665FTT
346666T*T
346667T*T
346668FFT
346669FFT
346670FFT
346671T*T
346672FFT
346673T*T
346674T*T
346675T*T
346676T*T
346677T*T
346678T*T
346679T*T
346680FFT
346681FFT
346682FFT
346683FFT
346684FFT
346685T*T
346686FTT
346687FTT
346688T*T
346689T*T
346690FFT
346691T*T
346692T*T
346693FTT
346694T*T
346695T*T
346696T*T
346697FFT
346698T*T
346699FFT
346700FTT
346701FTT
346702T*T
346703FFT
346704FFT
346705FFT
346706T*T
346707T*T
346708FFT
346709FFT
346710FFT
346711FFT
346712T*T
346713T*T
346714FFT
346715T*T
346716FFT
346717T*T
346718FFT
346719FTT
346720T*T
346721FFT
346722FFT
346723FTT
346724FTT
346725T*T
346726T*T
346727T*T
346728T*T
346729T*T
346730T*T
346731T*T
346732FTT
346733T*T
346734T*T
346735FTT
346736T*T
346737T*T
346738T*T
346739FTT
346740FTT
346741FFT
346742FTT
346743FTT
346744T*T
346745T*T
346746T*T
346747T*T
346748T*T
346749T*T
346750T*T
346751T*T
346752T*T
346753T*T
346754T*T
346755T*T
346756T*T
346757T*T
346758T*T
346759FTT
346760FTT
346761T*T
346762FFT
346763T*T
346764FTT
346765T*T
346766T*T
346767T*T
346768T*T
346769FFT
346770FFT
346771T*T
346772FTT
346773FFT
346774T*T
346775FTT
346776FTT
346777T*T
346778FTT
346779FTT
346780T*T
346781FTT
346782FFT
346783FTT
346784T*T
346785FTT
346786T*T
346787FTT
346788T*T
346789FTT
346790FFT
346791T*T
346792FTT
346793T*T
346794T*T
346795T*T
346796T*T
346797T*T
346798T*T
346799T*T
346800T*T
346801T*T
346802T*T
346803T*T
346804T*T
346805T*T
346806FTT
346807FTT
346808FFT
346809FFT
346810T*T
346811FTT
346812FTT
346813FTT
346814FFT
346815T*T
346816FFT
346817FFT
346818FFT
346819FTT
346820FTT
346821FTT
346822T*T
346823FTT
346824FTT
346825T*T
346826T*T
346827T*T
346828FTT
346829FTT
346830T*T
346831T*T
346832T*T
346833FTT
346834FTT
346835F*T
346836T*T
346837FTT
346838FTT
346839FTT
346840T*T
346841T*T
346842T*T
346843FFT
346844FTT
346845T*T
346846T*T
346847FFT
346848FTT
346849T*T
346850T*T
346851FTT
346852T*T
346853T*T
346854FTT
346855T*T
346856T*T
346857FTT
346858T*T
346859T*T
346860FTT
346861FFT
346862T*T
346863FFT
346864FTT
346865FTT
346866FTT
346867FTT
346868FFT
346869T*T
346870T*T
346871FTT
346872FTT
346873T*T
346874FFT
346875FFT
346876FTT
346877FTT
346878FTT
346879T*T
346880FTT
346881FTT
346882FTT
346883FTT
346884T*T
346885FTT
346886T*T
346887FTT
346888FTT
346889FTT
346890FTT
346891FTT
346892T*T
346893FTT
346894T*T
346895FTT
346896T*T
346897FTT
346898FFT
346899T*T
346900FFT
346901FTT
346902T*T
346903FTT
346904FFT
346905T*T
346906FFT
346907FFT
346908FTT
346909FFT
346910FFT
346911FTT
346912FFT
346913T*T
346914T*T
346915T*T
346916T*T
346917T*T
346918T*T
346919T*T
346920FTT
346921FTT
346922T*T
346923T*T
346924T*T
346925T*T
346926FTT
346927FTT
346928FTT
346929FTT
346930FTT
346931FTT
346932FFT
346933FTT
346934FTT
346935FTT
346936FTT
346937FFT
346938FFT
346939FTT
346940FTT
346941FFT
346942FFT
346943T*T
346944FFT
346945T*T
346946FFT
346947F*T
346948FTT
346949FTT
346950FTT
346951FTT
346952T*T
346953FTT
346954FFT
346955FTT
346956FTT
346957FTT
346958T*T
346959FTT
346960FFT
346961FTT
346962FTT
346963FTT
346964T*T
346965T*T
346966FTT
346967FTT
346968FTT
346969T*T
346970T*T
346971FTT
346972F*T
346973T*T
346974FTT
346975FTT
346976FTT
346977T*T
346978FFT
346979FTT
346980T*T
346981FTT
346982FTT
346983T*T
346984FTT
346985T*T
346986T*T
346987T*T
346988FTT
346989FTT
346990FTT
346991FTT
346992FFT
346993FTT
346994T*T
346995T*T
346996FTT
346997FTT
346998FTT
346999FTT
347000FTT
347001FFT
347002T*T
347003FTT
347004T*T
347005FTT
347006FTT
347007FTT
347008FTT
347009FTT
347010FFT
347011F*T
347012FTT
347013FTT
347014FFT
347015T*T
347016FTT
347017FTT
347018FTT
347019FTT
347020FTT
347021FFT
347022FTT
347023T*T
347024FTT
347025FFT
347026T*T
347027FFT
347028FTT
347029FTT
347030FTT
347031T*T
347032FFT
347033T*T
347034T*T
347035FTT
347036T*T
347037T*T
347038FFT
347039T*T
347040FTT
347041T*T
347042T*T
347043T*T
347044FTT
347045T*T
347046T*T
347047T*T
347048FFT
347049T*T
347050FTT
347051FFT
347052T*T
347053FFT
347054T*T
347055FTT
347056FFT
347057T*T
347058FTT
347059FTT
347060FFT
347061FTT
347062FFT
347063T*T
347064FTT
347065FTT
347066FFT
347067FTT
347068FFT
347069T*T
347070FTT
347071T*T
347072FTT
347073FTT
347074FTT
347075FTT
347076FTT
347077T*T
347078FTT
347079FTT
347080FFT
347081FTT
347082F*T
347083FFT
347084FTT
347085FTT
347086T*T
347087FTT
347088T*T
347089FTT
347090FFT
347091FTT
347092FTT
347093FTT
347094FFT
347095FTT
347096T*T
347097FTT
347098FFT
347099FTT
347100FFT
347101T*T
347102FTT
347103FTT
347104FTT
347105T*T
347106FTT
347107FTT
347108FFT
347109FTT
347110T*T
347111FTT
347112FTT
347113T*T
347114FTT
347115FFT
347116FTT
347117FTT
347118T*T
347119FFT
347120FFT
347121FTT
347122FTT
347123FTT
347124FFT
347125FFT
347126FFT
347127FTT
347128FTT
347129FTT
347130FFT
347131FFT
347132FTT
347133T*T
347134T*T
347135FTT
347136FTT
347137T*T
347138T*T
347139FTT
347140T*T
347141FTT
347142FTT
347143T*T
347144FFT
347145FTT
347146T*T
347147FFT
347148FTT
347149T*T
347150T*T
347151T*T
347152FFT
347153T*T
347154FFT
347155FTT
347156FTT
347157T*T
347158FTT
347159FFT
347160F*T
347161T*T
347162FFT
347163FTT
347164FTT
347165T*T
347166FFT
347167FTT
347168T*T
347169T*T
347170T*T
347171FTT
347172F*T
347173T*T
347174T*T
347175FFT
347176FTT
347177FTT
347178T*T
347179T*T
347180T*T
347181FFT
347182FTT
347183FTT
347184T*T
347185T*T
347186FFT
347187T*T
347188FTT
347189FTT
347190T*T
347191FFT
347192FTT
347193T*T
347194FFT
347195T*T
347196FTT
347197FTT
347198T*T
347199FFT
347200FTT
347201T*T
347202FTT
347203FTT
347204FTT
347205FFT
347206FTT
347207FFT
347208T*T
347209FTT
347210T*T
347211FFT
347212FTT
347213FTT
347214T*T
347215FTT
347216FTT
347217T*T
347218FFT
347219FTT
347220FTT
347221FTT
347222FFT
347223T*T
347224FFT
347225FTT
347226FTT
347227FTT
347228FTT
347229FTT
347230T*T
347231FFT
347232FTT
347233FTT
347234FFT
347235T*T
347236FFT
347237FTT
347238FTT
347239FTT
347240T*T
347241T*T
347242FTT
347243T*T
347244FTT
347245FFT
347246FFT
347247T*T
347248T*T
347249FFT
347250FTT
347251FFT
347252FFT
347253T*T
347254FTT
347255T*T
378304T*T
378305T*T
378306T*T
378307T*T
378308T*T
378309T*T
378310T*T
378311T*T
381006T*T
381007T*T
381008FFT
381009T*T
381010FFT
381011T*T
381012T*T
381013T*T
381014T*T
381015T*T
381016T*T
381017T*T
383875T*T
383876T*T
383877FFT
383878T*T
383879FFT
383880T*T
383881T*T
383882T*T
383883T*T
383884T*T
383885T*T
383886T*T

Independent-effect pairs