Decision #826 — malloc.c:3921

Status: no_witness

Truth table

rowc0 br 5797c1 br 5798outcome
2049*TT
2050*TT
2051*TT
2052*TT
2053*TT
2054*TT
2055*TT
2056*TT
2057*TT
2058*TT
2059*TT
2060*TT
2061*TT
2062*TT
2063*TT
2064*TT
2065*TT
2066*TT
2067*TT
2068*TT
2069*TT
2070*TT
2071*TT
2072*TT
2073*TT
2074*TT
2075*TT
2076*TT
2077*TT
2078*TT
2079*TT
2080*TT
2081*TT
2082*TT
2083*TT
2084*TT
2085*TT
2086FTT
2087TTT
2088*TT
2089*TT
2090*TT
2091*TT
2092*TT
2093FTT
2094TTT
2095F*T
2096TTT
2097TTT
2098*TT
2099*TT
2100*FT
2101*TT
2102*TT
2103*TT
2104*TT
2105*FT
2106*TT
2107*TT
2108*TT
2109*TT
2110*TT
2111*TT
2112*TT
2113*TT
2114FTT
2115TTT
2116*TT
2117*TT
2118*TT
2119*TT
2120*TT
2121*TT
2122*TT
2123*TT
2124*TT
5078*TT
5079*TT
5080*TT
5081*TT
5082*TT
5083*TT
5084*TT
5085*TT
5086*TT
5087*TT
5088*TT
5089*TT
5090*TT
5091*TT
5092*TT
5093*TT
5094*TT
5095*TT
5096*TT
5097*TT
5098*TT
5099*TT
5100*TT
5101*TT
5102*TT
5103*TT
5104*TT
5105*TT
5106*TT
5107*TT
5108*TT
5109*TT
5110*TT
5111*TT
5112*TT
5113FTT
5114TTT
5115*TT
5116*TT
5117*TT
5118*TT
5119*TT
5120FTT
5121TTT
5122F*T
5123TTT
5124TTT
5125*TT
5126*TT
5127*FT
5128*TT
5129*FT
5130*TT
5131*TT
5132*TT
5133*TT
5134*TT
5135*TT
5136*TT
5137*TT
5138*TT
5139*TT
5140*TT
5141TTT
5142*TT
5143*TT
5144*TT
5145*TT
5146*TT
5147*TT
8097*TT
8098*TT
8099*TT
8100*TT
8101*TT
8102*TT
8103*TT
8104*TT
8105*TT
8106*TT
8107*TT
8108*TT
8109*TT
8110*TT
8111*TT
8112*TT
8113*TT
8114*TT
8115*TT
8116*TT
8117*TT
8118*TT
8119*TT
8120*TT
8121*TT
8122*TT
8123*TT
8124*TT
8125*TT
8126*TT
8127*TT
8128*TT
8129*TT
8130*TT
8131*TT
8132*TT
8133*TT
8134*TT
8135*TT
8136FTT
8137TTT
8138*TT
8139*TT
8140*TT
8141*TT
8142*TT
8143FTT
8144TTT
8145F*T
8146TTT
8147TTT
8148*TT
8149*TT
8150*FT
8151*TT
8152*TT
8153*TT
8154*TT
8155*FT
8156*TT
8157*TT
8158*TT
8159*TT
8160*TT
8161*TT
8162*TT
8163*TT
8164*TT
8165*TT
8166*TT
8167*TT
8168TTT
8169*TT
8170*TT
8171FTT
8172TTT
8173*TT
8174*TT
8175*TT
8176*TT
8177*TT
8178*TT
8179*TT
8180*TT
8181*TT
10160*TT
10161*TT
10162*TT
10163*TT
10164*TT
10165*TT
10166*TT
10167*TT
10168*TT
10169*TT
10170*TT
10171*TT
10172*TT
10173*TT
10174*TT
10175*TT
10176*TT
10177*TT
10178*TT
10179*TT
10180*TT
10181*TT
10182FTT
10183*TT
10184*TT
10185*TT
10186*TT
10187*TT
10188*TT
10189*TT
10190*TT
10191TFT
10192*TT
11303*TT
11304*TT
11305*TT
11306*TT
11307*TT
11308*TT
11309*TT
11310*TT
11311*TT
11312*TT
11313*TT
11314*TT
11315*TT
11316*TT
11317*TT
11318*TT
11319*TT
11320*TT
11321*TT
11322*TT
11323FTT
11324*TT
11325*TT
11326*TT
11327*TT
11328*TT
11329*TT
11330*TT
11331*TT
11332*FT
11333*TT
12399*TT
12400*TT
12401*TT
12402*TT
12403*TT
12404*TT
12405*TT
12406*TT
12407*TT
12408*TT
12409*TT
12410*TT
12411*TT
12412*TT
12413*TT
12414*TT
12415*TT
12416*TT
12417*TT
12418*TT
12419*TT
12420*TT
12421FTT
12422*TT
12423*TT
12424*TT
12425*TT
12426*TT
12427*TT
12428*TT
12429*TT
12430TFT
12431*TT
19124*TT
19125*TT
19126*TT
19127*TT
19128*TT
19129*TT
19130*TT
19131*TT
19132*TT
19133*TT
19134*TT
19135*TT
19136*TT
19137*TT
19138*TT
19139*TT
19140*TT
19141*TT
19142*TT
19143*TT
19144*TT
19145*TT
19146*TT
19147*TT
19148*TT
19149*FT
19150*TT
19151*TT
19152*TT
19153*TT
19154*TT
19155*TT
19156*TT
19157*TT
19158*TT
19159*TT
19160*FT
19161*TT
19162*TT
19163*TT
19164*TT
19165*TT
19166*FT
19167*TT
19168*TT
19169FTT
19170FFT
19171*TT
19172*TT
19173*TT
19174*TT
19175*TT
19176*TT
19177*TT
19178*TT
19179*TT
19180*TT
19181*TT
19182*TT
19183*TT
19184*FT
19185*TT
19186*FT
19187*TT
19188*FT
19189TTT
19190*TT
19191*TT
19192TTT
19193FTT
19194*TT
19195*TT
19196*TT
19197*TT
19198*TT
19199*FT
19200*TT
19201*TT
19202*TT
19203*FT
19204*TT
19205*TT
19206*TT
19207*TT
19208*TT
19209*TT
19210*TT
19211*TT
19212*TT
19213*TT
19214*TT
19215*TT
19216*TT
19217*TT
19218*TT
19219*TT
19220*TT
19221*TT
19222*TT
19223*TT
19224*TT
19225*TT
19226*TT
19227*TT
19228*TT
19229*TT
19230*TT
19231*TT
19232*TT
19233*TT
19234*TT
19235*TT
19236*TT
19237*TT
19238*TT
19239*TT
19240*TT
19241*TT
19242FTT
19243*TT
19244*TT
19245*TT
19246*TT
19247*TT
19248*TT
19249*TT
19250*TT
19251*TT
19252*FT
19253*TT
19254TTT
19255F*T
19256T*T
19257FFT
19258*FT
26837*TT
26838*TT
26839*TT
26840*TT
26841*TT
26842*TT
26843*TT
26844*TT
26845*TT
26846*TT
26847*TT
26848*TT
26849*TT
26850*TT
26851*TT
26852*TT
26853*TT
26854*TT
26855*TT
26856*TT
26857*TT
26858*TT
26859*TT
26860*FT
26861*TT
26862*TT
26863*TT
26864*TT
26865*TT
26866*TT
26867*TT
26868*TT
26869*TT
26870*TT
26871*FT
26872*TT
26873*TT
26874*TT
26875*TT
26876*TT
26877*FT
26878*TT
26879*TT
26880FTT
26881FFT
26882*TT
26883*TT
26884*TT
26885*TT
26886*TT
26887*TT
26888*TT
26889*TT
26890*TT
26891*TT
26892*TT
26893*TT
26894*TT
26895*FT
26896*TT
26897*FT
26898*TT
26899*FT
26900TTT
26901*TT
26902*TT
26903TTT
26904FTT
26905*TT
26906*TT
26907*TT
26908*TT
26909*TT
26910*FT
26911*TT
26912*TT
26913*TT
26914*FT
26915*TT
26916*TT
26917*TT
26918*TT
26919*TT
26920*TT
26921*TT
26922*TT
26923*TT
26924*TT
26925*TT
26926*TT
26927*TT
26928*TT
26929*TT
26930*TT
26931*TT
26932*TT
26933*TT
26934*TT
26935*TT
26936*TT
26937*TT
26938*TT
26939*TT
26940*TT
26941*TT
26942*TT
26943*TT
26944*TT
26945*TT
26946*TT
26947*TT
26948*TT
26949*TT
26950*TT
26951*TT
26952*TT
26953FTT
26954*TT
26955*TT
26956*TT
26957*TT
26958*TT
26959*TT
26960*TT
26961*TT
26962*TT
26963*FT
26964*TT
26965TTT
26966F*T
26967TFT
26968*FT
32544*TT
32545*TT
32546*TT
32547*TT
32548*TT
32549*TT
32550*TT
32551*TT
32552*TT
32553*TT
32554*TT
32555*TT
32556*TT
32557*TT
32558*TT
32559*TT
32560*TT
32561*TT
32562*TT
32563*TT
32564*TT
32565*TT
32566*TT
32567*TT
32568*TT
32569*TT
32570*TT
32571*TT
32572*TT
32573*TT
32574*TT
32575*TT
32576*TT
32577FTT
32578*TT
32579*TT
32580*TT
32581*TT
32582*TT
32583*TT
32584*FT
32585*TT
32586*TT
32587*TT
32588*TT
32589*FT
32590*TT
32591*TT
32592*TT
32593*TT
32594*TT
32595FTT
32596*TT
32597*TT
32598*TT
32599*TT
32600*TT
32601*TT
32602*TT
32603*TT
32604*TT
32605*TT
32606*TT
32607*TT
32608*TT
32609*TT
32610*TT
32611*TT
32612*TT
32613*TT
32614*FT
32615*TT
32616*TT
32617*TT
32618*TT
32619*TT
32620*TT
32621*TT
32622*TT
32623*TT
32624*TT
32625*TT
32626*TT
32627*TT
32628*TT
32629*TT
32630*TT
32631*TT
32632*TT
32633*TT
32634*TT
32635*TT
32636*TT
32637*TT
32638*TT
32639FTT
32640FFT
32641TFT
32642*TT
32643*TT
38482*TT
38483*TT
38484*TT
38485*TT
38486*TT
38487*TT
38488*TT
38489*TT
38490*TT
38491*TT
38492*TT
38493*TT
38494*TT
38495*TT
38496*TT
38497*TT
38498*TT
38499*TT
38500*TT
38501*TT
38502*TT
38503*TT
38504*TT
38505*TT
38506*TT
38507*TT
38508*TT
38509*TT
38510*TT
38511*TT
38512*TT
38513*TT
38514*TT
38515FTT
38516*TT
38517*TT
38518*TT
38519*TT
38520*TT
38521*TT
38522*FT
38523*TT
38524*TT
38525*TT
38526*TT
38527*FT
38528*TT
38529*TT
38530*TT
38531*TT
38532*TT
38533FTT
38534*TT
38535*TT
38536*TT
38537*TT
38538*TT
38539*TT
38540*TT
38541*TT
38542*TT
38543*TT
38544*TT
38545*TT
38546*TT
38547*TT
38548*TT
38549*TT
38550*TT
38551*TT
38552*FT
38553*TT
38554*TT
38555*TT
38556*TT
38557*TT
38558*TT
38559*TT
38560*TT
38561*TT
38562*TT
38563*TT
38564*TT
38565*TT
38566*TT
38567*TT
38568*TT
38569*TT
38570*TT
38571*TT
38572*TT
38573*TT
38574*TT
38575*TT
38576*TT
38577FTT
38578FFT
38579TFT
38580*TT
38581*TT
41916*TT
41917*TT
41918*TT
41919*TT
41920*TT
41921*TT
41922*TT
41923*TT
41924*TT
41925*TT
41926*TT
41927*TT
41928*TT
41929*TT
41930*TT
41931*TT
41932*TT
41933*TT
41934*TT
41935*TT
41936*TT
41937*TT
41938*TT
41939*TT
41940*TT
41941*TT
41942*TT
41943*TT
41944*TT
41945*TT
41946*TT
41947*TT
41948*TT
41949*TT
41950*TT
41951*TT
41952*TT
41953*TT
41954*TT
41955*TT
41956*TT
41957*TT
41958*TT
41959*TT
41960*TT
41961*TT
41962*TT
41963*TT
41964*TT
41965*TT
41966*TT
41967*TT
41968*TT
41969*TT
41970*TT
41971*TT
41972*TT
41973*TT
41974*TT
41975*TT
41976*TT
41977*TT
41978*TT
41979*TT
41980*TT
41981*TT
41982*TT
41983*TT
41984*TT
41985*TT
41986*TT
41987*TT
41988*TT
41989FTT
41990FTT
41991*TT
41992*TT
41993*TT
41994*TT
41995*TT
41996*TT
41997*TT
41998*TT
41999*TT
42000*TT
42001TTT
42002TTT
42003FFT
42004TFT
42005*TT
42006*TT
42007*TT
42008*TT
42009*TT
42010*TT
42011*TT
44982*TT
44983*TT
44984*TT
44985*TT
44986*TT
44987*TT
44988*TT
44989*TT
44990*TT
44991*TT
44992*TT
44993*TT
44994*TT
44995*TT
44996*TT
44997*TT
44998*TT
44999*TT
45000*TT
45001*TT
45002*TT
45003*TT
45004*TT
45005*TT
45006*TT
45007*TT
45008*TT
45009*TT
45010*TT
45011*TT
45012*TT
45013*TT
45014*TT
45015*TT
45016*TT
45017*TT
45018*TT
45019*TT
45020*TT
45021*TT
45022*TT
45023*TT
45024*TT
45025*TT
45026*TT
45027*TT
45028*TT
45029*TT
45030*TT
45031*TT
45032*TT
45033*TT
45034*TT
45035*TT
45036*TT
45037*TT
45038*TT
45039*TT
45040*TT
45041*TT
45042*TT
45043*TT
45044*TT
45045*TT
45046*TT
45047*TT
45048*TT
45049*TT
45050*TT
45051*TT
45052*TT
45053*TT
45054*TT
45055*TT
45056*TT
45057FTT
45058FTT
45059*TT
45060*TT
45061*TT
45062*TT
45063*TT
45064*TT
45065*TT
45066*TT
45067*TT
45068*TT
45069TTT
45070TTT
45071FFT
45072*FT
45073*TT
45074*TT
45075*TT
45076*TT
45077*TT
45078*TT
45079*TT
45080FTT
45081FTT
45082*TT
45083*TT
45084*TT
45085*TT
45086*TT
48413*TT
48414*TT
48415*TT
48416*TT
48417*TT
48418*TT
48419*TT
48420*TT
48421*TT
48422*TT
48423*TT
48424*TT
48425*TT
48426*TT
48427*TT
48428*TT
48429*TT
48430*TT
48431*TT
48432*TT
48433*TT
48434*TT
48435*TT
48436*TT
48437*TT
48438*TT
48439*TT
48440*TT
48441*TT
48442*TT
48443*TT
48444*TT
48445*TT
48446*TT
48447*TT
48448*TT
48449*TT
48450*TT
48451*TT
48452*TT
48453*TT
48454*TT
48455*TT
48456*TT
48457*TT
48458*TT
48459*TT
48460*TT
48461*TT
48462*TT
48463*TT
48464*TT
48465*TT
48466*TT
48467*TT
48468*TT
48469*TT
48470*TT
48471*TT
48472*TT
48473*TT
48474*TT
48475*TT
48476*TT
48477*TT
48478*TT
48479*TT
48480*TT
48481*TT
48482*TT
48483*TT
48484*TT
48485FTT
48486FTT
48487*TT
48488*TT
48489*TT
48490*TT
48491*TT
48492*TT
48493*TT
48494*TT
48495*TT
48496*TT
48497TTT
48498TTT
48499FFT
48500*FT
48501*TT
48502*TT
48503*TT
48504*TT
48505*TT
48506*TT
48507*TT
48508*TT
48509*TT
48510*TT
51456*TT
51457*TT
51458*TT
51459*TT
51460*TT
51461*TT
51462*TT
51463*TT
51464*TT
51465*TT
51466*TT
51467*TT
51468*TT
51469*TT
51470*TT
51471*TT
51472*TT
51473*TT
51474*TT
51475*TT
51476*TT
51477*TT
51478*TT
51479*TT
51480*TT
51481*TT
51482*TT
51483*TT
51484*TT
51485*TT
51486*TT
51487*TT
51488*TT
51489*TT
51490*TT
51491*TT
51492*TT
51493*TT
51494*TT
51495*TT
51496*TT
51497*TT
51498*TT
51499*TT
51500*TT
51501*TT
51502*TT
51503*TT
51504*TT
51505*TT
51506*TT
51507*TT
51508*TT
51509*TT
51510*TT
51511*TT
51512*TT
51513*TT
51514*TT
51515*TT
51516*TT
51517*TT
51518*TT
51519*TT
51520*TT
51521*TT
51522*TT
51523*TT
51524*TT
51525*TT
51526*TT
51527*TT
51528*TT
51529FTT
51530FTT
51531*TT
51532*TT
51533*TT
51534*TT
51535*TT
51536*TT
51537*TT
51538*TT
51539*TT
51540*TT
51541TTT
51542TTT
51543FFT
51544TFT
51545*TT
51546*TT
51547*TT
51548*TT
51549*TT
51550*TT
51551*TT
60663*TT
60664*TT
60665*TT
60666*TT
60667*TT
60668*TT
60669*TT
60670*TT
60671*TT
60672*TT
60673*TT
60674*TT
60675*TT
60676*TT
60677*TT
60678*TT
60679*TT
60680*TT
60681*TT
60682*TT
60683*TT
60684*TT
60685*TT
60686*TT
60687*TT
60688*TT
60689*TT
60690*TT
60691*TT
60692*TT
60693*TT
60694*TT
60695*TT
60696*TT
60697*TT
60698FTT
60699*TT
60700*TT
60701*TT
60702*TT
60703*TT
60704*TT
60705*TT
60706*TT
60707*TT
60708*TT
60709*TT
60710*FT
60711*FT
60712*FT
60713*FT
60714*FT
60715*TT
60716FFT
60717*FT
60718FFT
60719FTT
60720*FT
60721*FT
60722*FT
60723*TT
60724*TT
60725*TT
60726*TT
60727*TT
60728*TT
60729*TT
60730*TT
60731*TT
60732FTT
60733*TT
60734*TT
60735*TT
60736*TT
60737*TT
60738*TT
60739*TT
60740*TT
60741*TT
60742*TT
60743FTT
60744*FT
60745*FT
60746*FT
60747*FT
60748*TT
60749FFT
60750*TT
60751*FT
60752*FT
60753*FT
60754*TT
60755*TT
60756*TT
60757*TT
60758*FT
60759*TT
60760*FT
60761*TT
60762*FT
60763*TT
60764*FT
60765*TT
60766*TT
60767*TT
60768*TT
60769*FT
60770*TT
60771*TT
60772*TT
60773*TT
60774*TT
60775*TT
60776*TT
60777*TT
60778*TT
60779*TT
60780*TT
60781*TT
60782*TT
60783FTT
60784*TT
60785*TT
60786*TT
60787*TT
60788*TT
60789*TT
60790*TT
60791*TT
60792FTT
60793F*T
60794TTT
60795F*T
60796FFT
60797FTT
60798FTT
60799F*T
60800FFT
60801*TT
60802FTT
60803*FT
60804*FT
70435*TT
70436*TT
70437*TT
70438*TT
70439*TT
70440*TT
70441*TT
70442*TT
70443*TT
70444*TT
70445*TT
70446*TT
70447*TT
70448*TT
70449*TT
70450*TT
70451*TT
70452*TT
70453*TT
70454*TT
70455*TT
70456*TT
70457*TT
70458*TT
70459*TT
70460*TT
70461*TT
70462*TT
70463*TT
70464*TT
70465*TT
70466*TT
70467*TT
70468*TT
70469*TT
70470FTT
70471*TT
70472*TT
70473*TT
70474*TT
70475*TT
70476*TT
70477*TT
70478*TT
70479*TT
70480*TT
70481*TT
70482*FT
70483*FT
70484*FT
70485*FT
70486*FT
70487*TT
70488FFT
70489*FT
70490FFT
70491FTT
70492*FT
70493*FT
70494*FT
70495*TT
70496*TT
70497*TT
70498*TT
70499*TT
70500*TT
70501*TT
70502*TT
70503*TT
70504FTT
70505*TT
70506*TT
70507*TT
70508*TT
70509*TT
70510*TT
70511*TT
70512*TT
70513*TT
70514*TT
70515FTT
70516*FT
70517*FT
70518*FT
70519*FT
70520*TT
70521FFT
70522*TT
70523*FT
70524*FT
70525*FT
70526*TT
70527*TT
70528*TT
70529*TT
70530*FT
70531*TT
70532*FT
70533*TT
70534*FT
70535*TT
70536*FT
70537*TT
70538*TT
70539*TT
70540*TT
70541*FT
70542*TT
70543*TT
70544*TT
70545*TT
70546*TT
70547*TT
70548*TT
70549*TT
70550*TT
70551*TT
70552*TT
70553*TT
70554*TT
70555FTT
70556*TT
70557*TT
70558*TT
70559*TT
70560*TT
70561*TT
70562*TT
70563*TT
70564FTT
70565F*T
70566TTT
70567F*T
70568FFT
70569FTT
70570FTT
70571F*T
70572FFT
70573*TT
70574FTT
70575*FT
70576*FT
74541*TT
74542*TT
74543*TT
74544*TT
74545*TT
74546*TT
74547*TT
74548*TT
74549*TT
74550*TT
74551*TT
74552*TT
74553*TT
74554*TT
74555*TT
74556*TT
74557*TT
74558*TT
74559*TT
74560*TT
74561*TT
74562*TT
74563*TT
74564*TT
74565*TT
74566*TT
74567*TT
74568*TT
74569*TT
74570*TT
74571*TT
74572*TT
74573FTT
74574*TT
74575*TT
74576*TT
74577*TT
74578*TT
74579*TT
74580*TT
74581*TT
74582*TT
74583*TT
74584*TT
74585*TT
74586*TT
74587*TT
74588*TT
74589*TT
74590*TT
74591*TT
74592*TT
74593*TT
74594*TT
74595*TT
74596*FT
74597*TT
74598TTT
74599*FT
74600*TT
74601*TT
74602*TT
74603*FT
74604TTT
74605FTT
74606TTT
74607TTT
74608*TT
74609*TT
74610*TT
74611*TT
74612*TT
74613*TT
74614*TT
74615*TT
74616*TT
74617*TT
74618*TT
78016*TT
78017*TT
78018*TT
78019*TT
78020*TT
78021*TT
78022*TT
78023*TT
78024*TT
78025*TT
78026*TT
78027*TT
78028*TT
78029*TT
78030*TT
78031*TT
78032*TT
78033*TT
78034*TT
78035*TT
78036*TT
78037*TT
78038*TT
78039*TT
78040*TT
78041*TT
78042*TT
78043*TT
78044*TT
78045*TT
78046*TT
78047*TT
78048FTT
78049*TT
78050*TT
78051*TT
78052*TT
78053*TT
78054*TT
78055*TT
78056*TT
78057*TT
78058*TT
78059*TT
78060*TT
78061*TT
78062*TT
78063*TT
78064*TT
78065*TT
78066*TT
78067*TT
78068*TT
78069*TT
78070*TT
78071*FT
78072*TT
78073TTT
78074*FT
78075*TT
78076*TT
78077*TT
78078*FT
78079TTT
78080FTT
78081TTT
78082TTT
78083*TT
78084*TT
78085*TT
78086*TT
78087*TT
78088*TT
78089*TT
78090*TT
78091*TT
78092*TT
78093*TT
80073*TT
80074*TT
80075*TT
80076*TT
80077*TT
80078*TT
80079*TT
80080*TT
80081*TT
80082*TT
80083*TT
80084*TT
80085*TT
80086*TT
80087*TT
80088*TT
80089*TT
80090*TT
80091*TT
80092*TT
80093*TT
80094*TT
80095*TT
80096*TT
80097*TT
80098*TT
80099*TT
80100*TT
80101*TT
80102*TT
80103*TT
80104*TT
80105*TT
80106*TT
80107*TT
80108*TT
80109*TT
80110*TT
80111*TT
80112*TT
80113*TT
80114*TT
80115*TT
80116*TT
81380*TT
81381*TT
81382*TT
81383*TT
81384*TT
81385*TT
81386*TT
81387*TT
81388*TT
81389*TT
81390*TT
81391*TT
81392*TT
81393*TT
81394*TT
81395*TT
81396*TT
81397*TT
81398*TT
81399*TT
81400*TT
81401*TT
81402*TT
81403*TT
81404*TT
81405*TT
81406*TT
81407*TT
81408*TT
81409*TT
81410*TT
81411FTT
81412*FT
81413*TT
82561*TT
82562*TT
82563*TT
82564*TT
82565*TT
82566*TT
82567*TT
82568*TT
82569*TT
82570*TT
82571*TT
82572*TT
82573*TT
82574*TT
82575*TT
82576*TT
82577*TT
82578*TT
82579*TT
82580*TT
82581*TT
82582*TT
82583*TT
82584*TT
82585*TT
82586*TT
82587*TT
82588*TT
82589FTT
82590F*T
82591TFT
82592*TT
83629*TT
83630*TT
83631*TT
83632*TT
83633*TT
83634*TT
83635*TT
83636*TT
83637*TT
83638*TT
83639*TT
83640*TT
83641*TT
83642*TT
83643*TT
83644*TT
83645*TT
83646*TT
83647*TT
83648*TT
83649*TT
83650*TT
83651*TT
83652*TT
83653*TT
83654*TT
83655*TT
83656*TT
83657*TT
83658*TT
83659*TT
83660FTT
83661*FT
83662*TT
84893*TT
84894*TT
84895*TT
84896*TT
84897*TT
84898*TT
84899*TT
84900*TT
84901*TT
84902*TT
84903*TT
84904*TT
84905*TT
84906*TT
84907*TT
84908*TT
84909*TT
84910*TT
84911*TT
84912*TT
84913*TT
84914*TT
84915*TT
84916*TT
84917*TT
84918*TT
84919*TT
84920*TT
84921*TT
84922*TT
84923*TT
84924*TT
84925*TT
84926*TT
84927*TT
84928*TT
84929*TT
84930*TT
84931*TT
84932*TT
84933*TT
84934*TT
84935*TT
86893*TT
86894*TT
86895*TT
86896*TT
86897*TT
86898*TT
86899*TT
86900*TT
86901*TT
86902*TT
86903*TT
86904*TT
86905*TT
86906*TT
86907*TT
86908*TT
86909*TT
86910*TT
86911*TT
86912*TT
86913*TT
86914*TT
86915*TT
86916*TT
86917*TT
86918*TT
86919*TT
86920*TT
86921*TT
86922*TT
86923*TT
86924*TT
86925*TT
86926*TT
86927*TT
86928*TT
86929*TT
86930*TT
86931*TT
86932*TT
86933*TT
86934*TT
86935*TT
86936*TT
86937*TT
86938*TT
86939*TT
86940*TT
86941*TT
86942*TT
86943FTT
86944*TT
86945*TT
88220*TT
88221*TT
88222*TT
88223*TT
88224*TT
88225*TT
88226*TT
88227*TT
88228*TT
88229*TT
88230*TT
88231*TT
88232*TT
88233*TT
88234*TT
88235*TT
88236*TT
88237*TT
88238*TT
88239*TT
88240*TT
88241*TT
88242*TT
88243*TT
88244*TT
88245*TT
88246*TT
88247*TT
88248*TT
88249*TT
88250*TT
88251*TT
88252*TT
88253*TT
88254*TT
88255*TT
88256*TT
88257*TT
88258*TT
88259*TT
88260*TT
88261*TT
88262*TT
88263*TT
90159*TT
90160*TT
90161*TT
90162*TT
90163*TT
90164*TT
90165*TT
90166*TT
90167*TT
90168*TT
90169*TT
90170*TT
90171*TT
90172*TT
90173*TT
90174*TT
90175*TT
90176*TT
90177*TT
90178*TT
90179*TT
90180*TT
90181*TT
90182*TT
90183*TT
90184*TT
90185*TT
90186*TT
90187*TT
90188*TT
90189*TT
90190*TT
90191*TT
90192*TT
90193*TT
90194FTT
90195*TT
90196*TT
90197*TT
90198*TT
90199*TT
90200*TT
90201*TT
90202*TT
90203*TT
91654*TT
91655*TT
91656*TT
91657*TT
91658*TT
91659*TT
91660*TT
91661*TT
91662*TT
91663*TT
91664*TT
91665*TT
91666*TT
91667*TT
91668*TT
91669*TT
91670*TT
91671*TT
91672*TT
91673*TT
91674*TT
91675*TT
91676*TT
91677*TT
91678*TT
91679*TT
91680*TT
91681*TT
91682*TT
91683*TT
91684*TT
91685*TT
91686*TT
91687FTT
91688TTT
91689*TT
108612*TT
108613*TT
108614*TT
108615*TT
108616*TT
108617*TT
108618*TT
108619*TT
108620*TT
108621*TT
108622*TT
108623*TT
108624*TT
108625*TT
108626*TT
108627*TT
108628*TT
108629*TT
108630*TT
108631*TT
108632*TT
108633*TT
108634*TT
108635*FT
108636*TT
108637*TT
108638*TT
108639*TT
108640*TT
108641FTT
108642FTT
108643*TT
108644*TT
108645*TT
108646*TT
108647*TT
108648*FT
108649*FT
108650*FT
108651*FT
108652*TT
108653FTT
108654*FT
108655*TT
108656*TT
108657FFT
108658*FT
108659*TT
108660*FT
108661*FT
108662*FT
108663*TT
108664FFT
108665*FT
108666FTT
108667*TT
108668*FT
108669*FT
108670*FT
108671*TT
108672*TT
108673*TT
108674*TT
108675*TT
108676*TT
108677*TT
108678*TT
108679*TT
108680*TT
108681*FT
108682*TT
108683*FT
108684*TT
108685*FT
108686*TT
108687TTT
108688*TT
108689*TT
108690TTT
108691TTT
108692FTT
108693TTT
108694*TT
108695*TT
108696*TT
108697*TT
108698*FT
108699*FT
108700*FT
108701*TT
108702TTT
108703*FT
108704*TT
108705*TT
108706*FT
108707*FT
108708*FT
108709*FT
108710*TT
108711*FT
108712*TT
108713*FT
108714*TT
108715*FT
108716*TT
108717FTT
108718*FT
108719*TT
108720*FT
108721*TT
108722FFT
108723*FT
108724*TT
108725*TT
108726*FT
108727*TT
108728*TT
108729*TT
108730*TT
108731*FT
108732*TT
108733*TT
108734*TT
108735*TT
108736*TT
108737*TT
108738*TT
108739*TT
108740*TT
108741*TT
108742FTT
108743FTT
108744*TT
108745FTT
108746F*T
108747F*T
108748T*T
108749F*T
108750TFT
108751*FT
127475*TT
127476*TT
127477*TT
127478*TT
127479*TT
127480*TT
127481*TT
127482*TT
127483*TT
127484*TT
127485*TT
127486*TT
127487*TT
127488*TT
127489*TT
127490*TT
127491*TT
127492*TT
127493*TT
127494*TT
127495*TT
127496*TT
127497*TT
127498*FT
127499*TT
127500*TT
127501*TT
127502*TT
127503*TT
127504FTT
127505FTT
127506*TT
127507*TT
127508*TT
127509*TT
127510*TT
127511*FT
127512*FT
127513*FT
127514*FT
127515*TT
127516FTT
127517*FT
127518*TT
127519*TT
127520FFT
127521*FT
127522*TT
127523*FT
127524*FT
127525*FT
127526*TT
127527FFT
127528*FT
127529FTT
127530*TT
127531*FT
127532*FT
127533*FT
127534*TT
127535*TT
127536*TT
127537*TT
127538*TT
127539*TT
127540*TT
127541*TT
127542*TT
127543*TT
127544*FT
127545*TT
127546*FT
127547*TT
127548*FT
127549*TT
127550TTT
127551*TT
127552*TT
127553TTT
127554TTT
127555FTT
127556TTT
127557*TT
127558*TT
127559*TT
127560*TT
127561*FT
127562*FT
127563*FT
127564*TT
127565TTT
127566*FT
127567*TT
127568*TT
127569*FT
127570*FT
127571*FT
127572*FT
127573*TT
127574*FT
127575*TT
127576*FT
127577*TT
127578*FT
127579*TT
127580FTT
127581*FT
127582*TT
127583*FT
127584*TT
127585FFT
127586*FT
127587*TT
127588*TT
127589*FT
127590*TT
127591*TT
127592*TT
127593*TT
127594*FT
127595*TT
127596*TT
127597*TT
127598*TT
127599*TT
127600*TT
127601*TT
127602*TT
127603*TT
127604*TT
127605FTT
127606FTT
127607*TT
127608FTT
127609F*T
127610F*T
127611T*T
127612F*T
127613TFT
127614*FT
130556*TT
130557*TT
130558*TT
130559*TT
130560*TT
130561*TT
130562*TT
130563*TT
130564*TT
130565*TT
130566*TT
130567*TT
130568*TT
130569*TT
130570*TT
130571*TT
130572*TT
130573*TT
130574*TT
130575*TT
130576*TT
130577*TT
130578*TT
130579*TT
130580*TT
130581*TT
130582FTT
130583*TT
130584*TT
130585*TT
130586*TT
130587*TT
130588*TT
130589*TT
130590*TT
130591*TT
130592*TT
130593*TT
130594*TT
130595*TT
130596*TT
130597*FT
130598*TT
130599*TT
130600*TT
130601*TT
131750*TT
131751*TT
131752*TT
131753*TT
131754*TT
131755*TT
131756*TT
131757*TT
131758*TT
131759*TT
131760*TT
131761*TT
131762*TT
131763*TT
131764*TT
131765*TT
131766*TT
131767*TT
131768*TT
131769*TT
131770*TT
131771*TT
131772*TT
131773*TT
131774*TT
131775*TT
131776*TT
131777*TT
131778FTT
131779*TT
131780*TT
131781*TT
131782*TT
131783*TT
131784*TT
131785*TT
131786*TT
131787*TT
131788*TT
131789*TT
131790*TT
131791*TT
131792*TT
131793*FT
131794*TT
131795*TT
131796*TT
131797*TT
131798*TT
131799*TT
131800*TT
131801*TT
133070*TT
133071*TT
133072*TT
133073*TT
133074*TT
133075*TT
133076*TT
133077*TT
133078*TT
133079*TT
133080*TT
133081*TT
133082*TT
133083*TT
133084*TT
133085*TT
133086*TT
133087*TT
133088*TT
133089*TT
133090*TT
133091*TT
133092*TT
133093*TT
133094*TT
133095*TT
133096FTT
133097*TT
133098*TT
133099*TT
133100*TT
133101*TT
133102*TT
133103*TT
133104*TT
133105*TT
133106*TT
133107*TT
133108*TT
133109*TT
133110*TT
133111*FT
133112*TT
133113*TT
133114*TT
133115*TT
133116*TT
133117*TT

Independent-effect pairs