activezerosmarkcons0zerosactiveU11ttLmarkU12ttLactiveU12ttLmarkslengthLactivelengthnilmark0activelengthconsNLmarkU11ttLactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activeU12X1X2U12activeX1X2activesXsactiveXactivelengthXlengthactiveXconsmarkX1X2markconsX1X2U11markX1X2markU11X1X2U12markX1X2markU12X1X2smarkXmarksXlengthmarkXmarklengthXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttproperU12X1X2U12properX1properX2propersXsproperXproperlengthXlengthproperXproperniloknilconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2U12okX1okX2okU12X1X2sokXoksXlengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXactivezeroscons0zerosactiveU11ttLU12ttLactiveU12ttLlengthLactiveU12ttLslengthLactivelengthconsNLU11ttLactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeU11X1X2activeX1activeU11X1X2U11activeX1X2activeU12X1X2activeX1activeU12X1X2U12activeX1X2activesXactiveXactivesXsactiveXactivelengthXactiveXactivelengthXlengthactiveXconsmarkX1X2consX1X2U11markX1X2U11X1X2U12markX1X2U12X1X2smarkXsXlengthmarkXlengthXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU12X1X2properX2properU12X1X2properX1properU12X1X2U12properX1properX2propersXproperXpropersXsproperXproperlengthXproperXproperlengthXlengthproperXconsokX1okX2consX1X2U11okX1okX2U11X1X2U12okX1okX2U12X1X2sokXsXlengthokXlengthXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveconsX1X2activeX1activeU11X1X2activeX1activeU12X1X2activeX1activesXactiveXactivelengthXactiveXtrue1active1210top1011ok1211proper1310nil07s1514length1311U12211020U112101820tt02mark1012cons261120006active1210zeros011activeconsX1X2activeX1activeU11X1X2activeX1activeU12X1X2activeX11active11214top10114ok1010proper1211nil00s1010length1010U12211022U11241023tt00mark1010cons211020001active1714zeros08activeconsX1X2activeX11active1510top10115ok1010proper1410nil08s1010length1010U12211421U11201828tt02mark1010cons281329000active1410zeros09activelengthXlengthactiveXfalseactivesXsactiveXfalseactiveU12X1X2U12activeX1X2falseactiveU11X1X2U11activeX1X2falseactiveconsX1X2consactiveX1X2falseactivelengthconsNLU11ttLfalseactiveU12ttLslengthLfalseactiveU12ttLlengthLfalseactiveU11ttLU12ttLfalseactivezeroscons0zerosfalsetopmarkXproperXfalseproperconsX1X2properX2properconsX1X2properX1properU11X1X2properX2properU11X1X2properX1properU12X1X2properX2properU12X1X2properX1propersXproperXproperlengthXproperXtrue1proper1210top1016ok1110proper1310nil00s1118length1110U12211820U11241820tt00mark1010cons2118210008active1410zeros00properU11X1X2properX2properU11X1X2properX1properU12X1X2properX2properU12X1X2properX1properlengthXproperX1proper1810top1016ok1110proper1810nil00s1014length1111U12211220U11211120tt04mark1010cons211020000active1111zeros01properU11X1X2properX2properU11X1X2properX1properU12X1X2properX2properU12X1X2properX11proper1418top1014ok1110proper1810nil00s1010length1010U12211426U11261122tt00mark1010cons211021000active1410zeros00properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtrue1length1110top1014ok1110proper1110nil02s1210length1410U12211526U11221320tt08mark1111cons221124000active1210zeros05lengthokXlengthX1length1411top1019ok1811proper11010nil02s1410length1110U12221020U11241020tt02mark1010cons211020001active1410zeros04propersXsproperXfalsesmarkXsXsokXsXtrue1s1110top1014ok1110proper1110nil02s1210length1410U12211526U11221320tt08mark1111cons221124000active1210zeros05sokXsX1s1411top1019ok1811proper11010nil02s1410length1110U12221020U11241020tt02mark1010cons211020001active1410zeros04properU12X1X2U12properX1properX2falseU12markX1X2U12X1X2U12okX1okX2U12X1X2true1U12211021top1010ok1210proper1010nil00s1110length1110U12211820U11211820tt00mark1118cons211820000active1119zeros00U12okX1okX2U12X1X21U12211020top1012ok1211proper1310nil01s1110length1110U12281020U11221020tt02mark1010cons281020002active1010zeros08properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2true1U11211021top1010ok1210proper1010nil00s1110length1110U12211820U11211820tt00mark1118cons211820000active1119zeros00U11okX1okX2U11X1X21U11211020top1012ok1211proper1310nil01s1110length1110U12281020U11221020tt02mark1010cons281020002active1010zeros08properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons211021top1010ok1210proper1010nil00s1110length1110U12211820U11211820tt00mark1118cons211820000active1119zeros00consokX1okX2consX1X21cons211020top1012ok1211proper1310nil01s1110length1110U12281020U11221020tt02mark1010cons281020002active1010zeros08