activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXactiveeq00marktrueactiveeqsXsYeqXYactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXsXactiveinfXinfsXactiveinfXconsXinfsXactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLtakeXLactivetakesXconsYLconsYtakeXLactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLlengthLactivelengthconsXLslengthLactivelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXmarkXmarkinfXinfmarkXmarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2takemarkX1markX2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXmarkXmarklengthXlengthmarkXmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXtruemarklengthXmarkXmarkeqX1X2activeeqX1X2activeeq00marktruemark0active0activeeqsXsYmarkeqXYmarktrueactivetrueactiveeqXYmarkfalsemarksXactivesXactiveinfXmarkconsXinfsXmarkfalseactivefalseactivetake0XmarknilmarkinfXmarkXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activelengthnilmark0marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2activetakemarkX1markX2activelengthconsXLmarkslengthLmarknilactivenilmarklengthXactivelengthmarkXtruemarklengthXmarkXmarklengthXactivelengthmarkXactivelengthconsXLmarkslengthLmarktakeX1X2activetakemarkX1markX2activetakesXconsYLmarkconsYtakeXLmarktakeX1X2markX1marktakeX1X2markX2markconsX1X2activeconsX1X2activeinfXmarkconsXinfsXmarkinfXactiveinfmarkXactiveeqsXsYmarkeqXYmarkinfXmarkXmarksXactivesXmarkeqX1X2activeeqX1X2truemark13active17length18nil011take212cons25inf16false00s14mark12true00active19eq21001000eq22active11true0mark11s11false0inf11cons22take212nil0length11active11mark11marklengthXmarkXmarklengthXactivelengthmarkXactivelengthconsXLmarkslengthLmarktakeX1X2activetakemarkX1markX2activetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activeinfXmarkconsXinfsXmarkinfXactiveinfmarkXactiveeqsXsYmarkeqXYmarkinfXmarkXmarksXactivesXmarkeqX1X2activeeqX1X2activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXmark18active17length10nil03take24cons23inf16false00s15mark11true00active110eq2900200eq22active11true0mark11s11false0inf11cons22take2nil0length11active11mark11marklengthXmarkXmarklengthXactivelengthmarkXactivelengthconsXLmarkslengthLmarktakeX1X2activetakemarkX1markX2activetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activeinfXmarkconsXinfsXmarkinfXactiveinfmarkXactiveeqsXsYmarkeqXYmarksXactivesXmarkeqX1X2activeeqX1X2activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXmark12active11length17nil07take29cons28inf13false05s10mark16true00active14eq2700300eq22active11true0mark11s11false0inf11cons22take2nil0length11active11mark11marklengthXactivelengthmarkXactivelengthconsXLmarkslengthLmarktakeX1X2activetakemarkX1markX2activetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activeinfXmarkconsXinfsXmarkinfXactiveinfmarkXactiveeqsXsYmarkeqXYmarksXactivesXmarkeqX1X2activeeqX1X2activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXmark14active12length18nil02take21cons20inf13false05s11mark16true05active17eq2500200eq2active1true0mark11s1false0inf1cons2take2nil0length1active11mark11marklengthXactivelengthmarkXmarktakeX1X2activetakemarkX1markX2markconsX1X2activeconsX1X2markinfXactiveinfmarkXactiveeqsXsYmarkeqXYmarksXactivesXmarkeqX1X2activeeqX1X2eqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXmark11active12length10nil05take20cons26inf17false02s15mark14true02active11eq2300200eq22active11true0mark11s11false0inf1cons22take2nil0length1active11mark11eqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXactiveeq00marktruefalsemarktrueactivetruefalseactiveeqXYmarkfalsefalsemarkfalseactivefalsefalseactivetake0Xmarknilfalsemarknilactivenilfalseactivelengthnilmark0falsemark0active0falseactivelengthconsXLslengthLfalseactivelengthconsXLlengthLfalsemarktakeX1X2takemarkX1markX2falseactivetakesXconsYLconsYtakeXLfalseactivetakesXconsYLtakeXLfalsemarkinfXinfmarkXfalseactiveinfXconsXinfsXfalseactiveinfXinfsXfalseactiveinfXsXfalseactiveeqsXsYeqXYfalsemarklengthXlengthmarkXfalseeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2trueeq22eqmarkX1X2eqX1X2eqactiveX1X2eqX1X2eq21smarkXsXsactiveXsXtrues11infmarkXinfXinfactiveXinfXtrueinf11consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2truetake22takemarkX1X2takeX1X2takeactiveX1X2takeX1X2take21lengthmarkXlengthXlengthactiveXlengthXtruelength11