activezerosmarkcons0zerosactiveandttXmarkXactivelengthnilmark0activelengthconsNLmarkslengthLactivetake0ILmarknilactivetakesMconsNILmarkconsNtakeMILactiveconsX1X2consactiveX1X2activeandX1X2andactiveX1X2activelengthXlengthactiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2consmarkX1X2markconsX1X2andmarkX1X2markandX1X2lengthmarkXmarklengthXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2properzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properandX1X2andproperX1properX2properttokttproperlengthXlengthproperXproperniloknilpropersXsproperXpropertakeX1X2takeproperX1properX2consokX1okX2okconsX1X2andokX1okX2okandX1X2lengthokXoklengthXsokXoksXtakeokX1okX2oktakeX1X2topmarkXtopproperXtopokXtopactiveXactivezeroscons0zerosactivelengthconsNLlengthLactivelengthconsNLslengthLactivetakesMconsNILtakeMILactivetakesMconsNILconsNtakeMILactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeandX1X2activeX1activeandX1X2andactiveX1X2activelengthXactiveXactivelengthXlengthactiveXactivesXactiveXactivesXsactiveXactivetakeX1X2activeX1activetakeX1X2takeactiveX1X2activetakeX1X2activeX2activetakeX1X2takeX1activeX2consmarkX1X2consX1X2andmarkX1X2andX1X2lengthmarkXlengthXsmarkXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2properconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properlengthXproperXproperlengthXlengthproperXpropersXproperXpropersXsproperXpropertakeX1X2properX2propertakeX1X2properX1propertakeX1X2takeproperX1properX2consokX1okX2consX1X2andokX1okX2andX1X2lengthokXlengthXsokXsXtakeokX1okX2takeX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveconsX1X2activeX1activeandX1X2activeX1activelengthXactiveXactivesXactiveXactivetakeX1X2activeX1activetakeX1X2activeX2true1active11210top1018ok1110proper1810take241420s1113length1210nil02and211020tt00mark1010cons221020000active1110zeros00activeconsX1X2activeX1activeandX1X2activeX1activelengthXactiveXactivetakeX1X2activeX1activetakeX1X2activeX21active1410top10114ok1010proper1410take221122s1013length1810nil00and281420tt00mark1010cons281120000active1410zeros08activeconsX1X2activeX1activeandX1X2activeX1activelengthXactiveX1active1218top10115ok14110proper1810take211423s1211length1213nil04and231024tt03mark1010cons221021003active1413zeros04activetakeX1X2takeX1activeX2falseactivetakeX1X2takeactiveX1X2falseactivesXsactiveXfalseactivelengthXlengthactiveXfalseactiveandX1X2andactiveX1X2falseactiveconsX1X2consactiveX1X2falseactivetakesMconsNILconsNtakeMILfalseactivetakesMconsNILtakeMILfalseactivelengthconsNLslengthLfalseactivelengthconsNLlengthLfalseactivezeroscons0zerosfalsetopmarkXproperXfalseproperconsX1X2properX2properconsX1X2properX1properandX1X2properX2properandX1X2properX1properlengthXproperXpropersXproperXpropertakeX1X2properX2propertakeX1X2properX1true1proper1110top1010ok1211proper1410take221220s1110length1413nil012and281520tt04mark1010cons281220006active1110zeros04properconsX1X2properX2properconsX1X2properX1properandX1X2properX2properandX1X2properX1propersXproperXpropertakeX1X2properX2propertakeX1X2properX11proper1810top1011ok1010proper1810take221120s1410length1010nil02and241121tt01mark1010cons221426000active1210zeros00propersXproperXpropertakeX1X2properX2propertakeX1X2properX11proper1110top1016ok1010proper1110take211122s1110length1014nil01and211723tt01mark1010cons201621000active1818zeros06propersXproperX1proper1618top1016ok1110proper1810take201022s1214length1010nil04and211420tt00mark1010cons201021000active1812zeros04propertakeX1X2takeproperX1properX2falsetakemarkX1X2takeX1X2takeX1markX2takeX1X2takeokX1okX2takeX1X2true1take241020top1012ok1110proper1410take211120s1110length1110nil00and2118214tt010mark1111cons211120002active1118zeros09takeX1markX2takeX1X2takeokX1okX2takeX1X21take261020top10114ok1317proper1610take241024s1210length1810nil03and211620tt08mark1010cons281020004active1210zeros08takeX1markX2takeX1X21take201120top1018ok1110proper1110take211120s1110length1211nil00and221421tt02mark1114cons211120000active1814zeros00propersXsproperXfalsesmarkXsXsokXsXtrue1s1410top1018ok1218proper1918take211121s1110length1212nil02and211224tt00mark11115cons211121000active1819zeros01properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtrue1length1410top1018ok1218proper1918take211121s1110length1212nil02and211224tt00mark11115cons211121000active1819zeros01properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2true1and201524top1018ok1819proper11310take221120s1110length1110nil04and201120tt02mark1010cons241020002active1810zeros02andmarkX1X2andX1X21and211020top1018ok1110proper1110take211120s1110length1211nil00and221421tt02mark1114cons211120000active1814zeros00properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons201524top1018ok1819proper11310take221120s1110length1110nil04and201120tt02mark1010cons241020002active1810zeros02consmarkX1X2consX1X21cons211020top1018ok1110proper1110take211120s1110length1211nil00and221421tt02mark1114cons211120000active1814zeros00