activezerosmarkcons0zerosactiveU11ttLmarkU12ttLactiveU12ttLmarkslengthLactiveU21ttILMNmarkU22ttILMNactiveU22ttILMNmarkU23ttILMNactiveU23ttILMNmarkconsNtakeMILactivelengthnilmark0activelengthconsNLmarkU11ttLactivetake0ILmarknilactivetakesMconsNILmarkU21ttILMNactiveconsX1X2consactiveX1X2activeU11X1X2U11activeX1X2activeU12X1X2U12activeX1X2activesXsactiveXactivelengthXlengthactiveXactiveU21X1X2X3X4U21activeX1X2X3X4activeU22X1X2X3X4U22activeX1X2X3X4activeU23X1X2X3X4U23activeX1X2X3X4activetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2consmarkX1X2markconsX1X2U11markX1X2markU11X1X2U12markX1X2markU12X1X2smarkXmarksXlengthmarkXmarklengthXU21markX1X2X3X4markU21X1X2X3X4U22markX1X2X3X4markU22X1X2X3X4U23markX1X2X3X4markU23X1X2X3X4takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2properzerosokzerosproperconsX1X2consproperX1properX2proper0ok0properU11X1X2U11properX1properX2properttokttproperU12X1X2U12properX1properX2propersXsproperXproperlengthXlengthproperXproperU21X1X2X3X4U21properX1properX2properX3properX4properU22X1X2X3X4U22properX1properX2properX3properX4properU23X1X2X3X4U23properX1properX2properX3properX4propertakeX1X2takeproperX1properX2properniloknilconsokX1okX2okconsX1X2U11okX1okX2okU11X1X2U12okX1okX2okU12X1X2sokXoksXlengthokXoklengthXU21okX1okX2okX3okX4okU21X1X2X3X4U22okX1okX2okX3okX4okU22X1X2X3X4U23okX1okX2okX3okX4okU23X1X2X3X4takeokX1okX2oktakeX1X2topmarkXtopproperXtopokXtopactiveXactivezeroscons0zerosactiveU11ttLU12ttLactiveU12ttLlengthLactiveU12ttLslengthLactiveU21ttILMNU22ttILMNactiveU22ttILMNU23ttILMNactiveU23ttILMNtakeMILactiveU23ttILMNconsNtakeMILactivelengthconsNLU11ttLactivetakesMconsNILU21ttILMNactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeU11X1X2activeX1activeU11X1X2U11activeX1X2activeU12X1X2activeX1activeU12X1X2U12activeX1X2activesXactiveXactivesXsactiveXactivelengthXactiveXactivelengthXlengthactiveXactiveU21X1X2X3X4activeX1activeU21X1X2X3X4U21activeX1X2X3X4activeU22X1X2X3X4activeX1activeU22X1X2X3X4U22activeX1X2X3X4activeU23X1X2X3X4activeX1activeU23X1X2X3X4U23activeX1X2X3X4activetakeX1X2activeX1activetakeX1X2takeactiveX1X2activetakeX1X2activeX2activetakeX1X2takeX1activeX2consmarkX1X2consX1X2U11markX1X2U11X1X2U12markX1X2U12X1X2smarkXsXlengthmarkXlengthXU21markX1X2X3X4U21X1X2X3X4U22markX1X2X3X4U22X1X2X3X4U23markX1X2X3X4U23X1X2X3X4takemarkX1X2takeX1X2takeX1markX2takeX1X2properconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properU11X1X2properX2properU11X1X2properX1properU11X1X2U11properX1properX2properU12X1X2properX2properU12X1X2properX1properU12X1X2U12properX1properX2propersXproperXpropersXsproperXproperlengthXproperXproperlengthXlengthproperXproperU21X1X2X3X4properX4properU21X1X2X3X4properX3properU21X1X2X3X4properX2properU21X1X2X3X4properX1properU21X1X2X3X4U21properX1properX2properX3properX4properU22X1X2X3X4properX4properU22X1X2X3X4properX3properU22X1X2X3X4properX2properU22X1X2X3X4properX1properU22X1X2X3X4U22properX1properX2properX3properX4properU23X1X2X3X4properX4properU23X1X2X3X4properX3properU23X1X2X3X4properX2properU23X1X2X3X4properX1properU23X1X2X3X4U23properX1properX2properX3properX4propertakeX1X2properX2propertakeX1X2properX1propertakeX1X2takeproperX1properX2consokX1okX2consX1X2U11okX1okX2U11X1X2U12okX1okX2U12X1X2sokXsXlengthokXlengthXU21okX1okX2okX3okX4U21X1X2X3X4U22okX1okX2okX3okX4U22X1X2X3X4U23okX1okX2okX3okX4U23X1X2X3X4takeokX1okX2takeX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveconsX1X2activeX1activeU11X1X2activeX1activeU12X1X2activeX1activesXactiveXactivelengthXactiveXactiveU21X1X2X3X4activeX1activeU22X1X2X3X4activeX1activeU23X1X2X3X4activeX1activetakeX1X2activeX1activetakeX1X2activeX2trueactive11activetakeX1X2takeX1activeX2falseactivetakeX1X2takeactiveX1X2falseactiveU23X1X2X3X4U23activeX1X2X3X4falseactiveU22X1X2X3X4U22activeX1X2X3X4falseactiveU21X1X2X3X4U21activeX1X2X3X4falseactivelengthXlengthactiveXfalseactivesXsactiveXfalseactiveU12X1X2U12activeX1X2falseactiveU11X1X2U11activeX1X2falseactiveconsX1X2consactiveX1X2falseactivetakesMconsNILU21ttILMNfalseactivelengthconsNLU11ttLfalseactiveU23ttILMNconsNtakeMILfalseactiveU23ttILMNtakeMILfalseactiveU22ttILMNU23ttILMNfalseactiveU21ttILMNU22ttILMNfalseactiveU12ttLslengthLfalseactiveU12ttLlengthLfalseactiveU11ttLU12ttLfalseactivezeroscons0zerosfalsetopmarkXproperXfalseproperconsX1X2properX2properconsX1X2properX1properU11X1X2properX2properU11X1X2properX1properU12X1X2properX2properU12X1X2properX1propersXproperXproperlengthXproperXproperU21X1X2X3X4properX4properU21X1X2X3X4properX3properU21X1X2X3X4properX2properU21X1X2X3X4properX1properU22X1X2X3X4properX4properU22X1X2X3X4properX3properU22X1X2X3X4properX2properU22X1X2X3X4properX1properU23X1X2X3X4properX4properU23X1X2X3X4properX3properU23X1X2X3X4properX2properU23X1X2X3X4properX1propertakeX1X2properX2propertakeX1X2properX1trueproper11propertakeX1X2takeproperX1properX2falsetakemarkX1X2takeX1X2takeX1markX2takeX1X2takeokX1okX2takeX1X2truetake22takemarkX1X2takeX1X2take21properU23X1X2X3X4U23properX1properX2properX3properX4falseU23markX1X2X3X4U23X1X2X3X4U23okX1okX2okX3okX4U23X1X2X3X4trueU2344U23markX1X2X3X4U23X1X2X3X4U2341properU22X1X2X3X4U22properX1properX2properX3properX4falseU22markX1X2X3X4U22X1X2X3X4U22okX1okX2okX3okX4U22X1X2X3X4trueU2244U22markX1X2X3X4U22X1X2X3X4U2241properU21X1X2X3X4U21properX1properX2properX3properX4falseU21markX1X2X3X4U21X1X2X3X4U21okX1okX2okX3okX4U21X1X2X3X4trueU2144U21markX1X2X3X4U21X1X2X3X4U2141properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtruelength11propersXsproperXfalsesmarkXsXsokXsXtrues11properU12X1X2U12properX1properX2falseU12markX1X2U12X1X2U12okX1okX2U12X1X2trueU1222U12markX1X2U12X1X2U1221properU11X1X2U11properX1properX2falseU11markX1X2U11X1X2U11okX1okX2U11X1X2trueU1122U11markX1X2U11X1X2U1121properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2truecons22consmarkX1X2consX1X2cons21