activezerosmarkcons0zerosactiveandttXmarkXactivelengthnilmark0activelengthconsNLmarkslengthLactiveconsX1X2consactiveX1X2activeandX1X2andactiveX1X2activelengthXlengthactiveXactivesXsactiveXconsmarkX1X2markconsX1X2andmarkX1X2markandX1X2lengthmarkXmarklengthXsmarkXmarksXproperzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properandX1X2andproperX1properX2properttokttproperlengthXlengthproperXproperniloknilpropersXsproperXconsokX1okX2okconsX1X2andokX1okX2okandX1X2lengthokXoklengthXsokXoksXtopmarkXtopproperXtopokXtopactiveXactivezeroscons0zerosactivelengthconsNLlengthLactivelengthconsNLslengthLactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeandX1X2activeX1activeandX1X2andactiveX1X2activelengthXactiveXactivelengthXlengthactiveXactivesXactiveXactivesXsactiveXconsmarkX1X2consX1X2andmarkX1X2andX1X2lengthmarkXlengthXsmarkXsXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properlengthXproperXproperlengthXlengthproperXpropersXproperXpropersXsproperXconsokX1okX2consX1X2andokX1okX2andX1X2lengthokXlengthXsokXsXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveconsX1X2activeX1activeandX1X2activeX1activelengthXactiveXactivesXactiveXtrueactive11activesXsactiveXfalseactivelengthXlengthactiveXfalseactiveandX1X2andactiveX1X2falseactiveconsX1X2consactiveX1X2falseactivelengthconsNLslengthLfalseactivelengthconsNLlengthLfalseactivezeroscons0zerosfalsetopmarkXproperXfalseproperconsX1X2properX2properconsX1X2properX1properandX1X2properX2properandX1X2properX1properlengthXproperXpropersXproperXtrueproper11propersXsproperXfalsesmarkXsXsokXsXtrues11properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtruelength11properandX1X2andproperX1properX2falseandmarkX1X2andX1X2andokX1okX2andX1X2trueand22andmarkX1X2andX1X2and21properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2truecons22consmarkX1X2consX1X2cons21