activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLactiveinfXinfactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activelengthXlengthactiveXinfmarkXmarkinfXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2lengthmarkXmarklengthXpropereqX1X2eqproperX1properX2proper0ok0propertrueoktruepropersXsproperXproperfalseokfalseproperinfXinfproperXproperconsanyX1X2consanyanyproperX1anyproperX2propertakeX1X2takeproperX1properX2properniloknilproperlengthXlengthproperXeqokX1okX2okeqX1X2sokXoksXinfokXokinfXconsokX1okX2okconsX1X2takeokX1okX2oktakeX1X2lengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXanyXsXanyproperXanyanyanyXactiveeqsXsYeqXYactiveinfXsXactiveinfXinfsXactiveinfXconsXinfsXactivetakesXconsYLtakeXLactivetakesXconsYLconsYtakeXLactivelengthconsXLlengthLactivelengthconsXLslengthLactiveinfXactiveXactiveinfXinfactiveXactivetakeX1X2activeX1activetakeX1X2takeactiveX1X2activetakeX1X2activeX2activetakeX1X2takeX1activeX2activelengthXactiveXactivelengthXlengthactiveXinfmarkXinfXtakemarkX1X2takeX1X2takeX1markX2takeX1X2lengthmarkXlengthXpropereqX1X2properX2propereqX1X2properX1propereqX1X2eqproperX1properX2propersXproperXpropersXsproperXproperinfXproperXproperinfXinfproperXproperconsanyX1X2properX2properconsanyX1X2anyproperX2properconsanyX1X2properX1properconsanyX1X2anyproperX1properconsanyX1X2anyanyproperX1properconsanyX1X2consanyanyproperX1anyproperX2propertakeX1X2properX2propertakeX1X2properX1propertakeX1X2takeproperX1properX2properlengthXproperXproperlengthXlengthproperXeqokX1okX2eqX1X2sokXsXinfokXinfXconsokX1okX2consX1X2takeokX1okX2takeX1X2lengthokXlengthXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXanyXsXanyproperXanyXanyproperXanyanyXanyproperXanyanyanyXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactiveinfXactiveXactivetakeX1X2activeX1activetakeX1X2activeX2activelengthXactiveXtrue1active18112length1410take261424inf1113activelengthXactiveX1active1410length18110activelengthXlengthactiveXfalseactivetakeX1X2takeX1activeX2falseactivetakeX1X2takeactiveX1X2falseactiveinfXinfactiveXfalseactivelengthconsXLslengthLfalseactivelengthconsXLlengthLfalseactivetakesXconsYLconsYtakeXLfalseactivetakesXconsYLtakeXLfalseactiveinfXconsXinfsXfalseactiveinfXinfsXfalseactiveinfXsXfalseactiveeqsXsYeqXYfalsetopmarkXproperXfalsepropereqX1X2properX2propereqX1X2properX1propersXproperXproperinfXproperXproperconsanyX1X2properX2properconsanyX1X2properX1propertakeX1X2properX2propertakeX1X2properX1properlengthXproperXtrue1proper1810any1111length1110take241122cons211421inf1216s1214eq241422properlengthXproperX1proper1410length18110properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtrue1length11113ok1113mark11019propertakeX1X2takeproperX1properX2falsetakemarkX1X2takeX1X2takeX1markX2takeX1X2takeokX1okX2takeX1X2true1take271426ok1515mark1818properconsanyX1X2consanyanyproperX1anyproperX2falseconsokX1okX2consX1X2true1cons281120ok1411properconsanyX1X2anyanyproperX1falseproperconsanyX1X2anyproperX1falseproperconsanyX1X2anyproperX2falseanyproperXanyXtrue1any1410proper18110anyproperXanyanyanyXfalseanyproperXanyanyXfalseanyXsXfalseproperinfXinfproperXfalseinfmarkXinfXinfokXinfXtrue1inf11113ok1113mark11019propersXsproperXfalsesokXsXtrue1s1410ok18110propereqX1X2eqproperX1properX2falseeqokX1okX2eqX1X2true1eq281120ok1411