activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLactiveinfXinfactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activelengthXlengthactiveXinfmarkXmarkinfXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2lengthmarkXmarklengthXpropereqX1X2eqproperX1properX2proper0ok0propertrueoktruepropersXsproperXproperfalseokfalseproperinfXinfproperXproperconsanyX1X2consanyanyproperX1anyproperX2propertakeX1X2takeproperX1properX2properniloknilproperlengthXlengthproperXeqokX1okX2okeqX1X2sokXoksXinfokXokinfXconsokX1okX2okconsX1X2takeokX1okX2oktakeX1X2lengthokXoklengthXtopmarkXtopproperXtopokXtopactiveXanyXsXanyproperXanyanyanyXactiveeqsXsYeqXYactiveinfXsXactiveinfXinfsXactiveinfXconsXinfsXactivetakesXconsYLtakeXLactivetakesXconsYLconsYtakeXLactivelengthconsXLlengthLactivelengthconsXLslengthLactiveinfXactiveXactiveinfXinfactiveXactivetakeX1X2activeX1activetakeX1X2takeactiveX1X2activetakeX1X2activeX2activetakeX1X2takeX1activeX2activelengthXactiveXactivelengthXlengthactiveXinfmarkXinfXtakemarkX1X2takeX1X2takeX1markX2takeX1X2lengthmarkXlengthXpropereqX1X2properX2propereqX1X2properX1propereqX1X2eqproperX1properX2propersXproperXpropersXsproperXproperinfXproperXproperinfXinfproperXproperconsanyX1X2properX2properconsanyX1X2anyproperX2properconsanyX1X2properX1properconsanyX1X2anyproperX1properconsanyX1X2anyanyproperX1properconsanyX1X2consanyanyproperX1anyproperX2propertakeX1X2properX2propertakeX1X2properX1propertakeX1X2takeproperX1properX2properlengthXproperXproperlengthXlengthproperXeqokX1okX2eqX1X2sokXsXinfokXinfXconsokX1okX2consX1X2takeokX1okX2takeX1X2lengthokXlengthXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXanyXsXanyproperXanyXanyproperXanyanyXanyproperXanyanyanyXtruetopokXtopactiveXtopmarkXtopproperXtrue311top10000001001000000000any10000000001000000000ok10101000011000000000proper11000100011000000000length10000000011001000000nil0000000000take200000000110000000012001000000cons200000000010000000002000000000inf10000000011001000000false0000000000s11000100001110000000mark10000000011001000000true0000000000active10000000011000000000eq20000001101001001110200100000000000000000topokXtopactiveXactiveeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLactiveinfXinfactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activelengthXlengthactiveXeqokX1okX2okeqX1X2sokXoksXinfmarkXmarkinfXinfokXokinfXconsokX1okX2okconsX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2lengthmarkXmarklengthXlengthokXoklengthXpropereqX1X2eqproperX1properX2proper0ok0propertrueoktruepropersXsproperXproperfalseokfalseproperinfXinfproperXproperconsanyX1X2consanyanyproperX1anyproperX2propertakeX1X2takeproperX1properX2properniloknilproperlengthXlengthproperXtop11ok12length17nil00take23cons21inf15false00s10mark14true04active16eq2500500eq22active11true0mark11s11false0inf11cons22take21nil0length11ok11top11activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLactiveinfXinfactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activelengthXlengthactiveXeqokX1okX2okeqX1X2sokXoksXinfmarkXmarkinfXinfokXokinfXconsokX1okX2okconsX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2lengthmarkXmarklengthXlengthokXoklengthXtopokXactiveXfalseactiveinfXactiveXactivetakeX1X2activeX1activetakeX1X2activeX2activelengthXactiveXtrueactive11activelengthXlengthactiveXfalseactivetakeX1X2takeX1activeX2falseactivetakeX1X2takeactiveX1X2falseactiveinfXinfactiveXfalseactivelengthconsXLslengthLfalseactivelengthconsXLlengthLfalseactivetakesXconsYLconsYtakeXLfalseactivetakesXconsYLtakeXLfalseactiveinfXconsXinfsXfalseactiveinfXinfsXfalseactiveinfXsXfalseactiveeqsXsYeqXYfalsetopmarkXproperXfalsepropereqX1X2properX2propereqX1X2properX1propersXproperXproperinfXproperXproperconsanyX1X2properX2properconsanyX1X2properX1propertakeX1X2properX2propertakeX1X2properX1properlengthXproperXtrueproper11properlengthXlengthproperXfalselengthmarkXlengthXlengthokXlengthXtruelength11propertakeX1X2takeproperX1properX2falsetakemarkX1X2takeX1X2takeX1markX2takeX1X2takeokX1okX2takeX1X2truetake22takemarkX1X2takeX1X2take21properconsanyX1X2consanyanyproperX1anyproperX2falseconsokX1okX2consX1X2truecons22properconsanyX1X2anyanyproperX1falseproperconsanyX1X2anyproperX1falseproperconsanyX1X2anyproperX2falseanyproperXanyXanyproperXanyanyXanyproperXanyanyanyXtrueanyproperXanyXtrueanyproperXanyX1true1anyproperXanyanyXfalseanyproperXanyanyanyXfalseanyXsXfalseproperinfXinfproperXfalseinfmarkXinfXinfokXinfXtrueinf11propersXsproperXfalsesokXsXtrues11propereqX1X2eqproperX1properX2falseeqokX1okX2eqX1X2trueeq22