activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXactiveeq00marktrueactiveeqsXsYeqXYactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXsXactiveinfXinfsXactiveinfXconsXinfsXactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLtakeXLactivetakesXconsYLconsYtakeXLactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLlengthLactivelengthconsXLslengthLactivelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXmarkXmarkinfXinfmarkXmarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2takemarkX1markX2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXmarkXmarklengthXlengthmarkXmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXtruemarklengthXmarkXmarkeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactiveinfXmarkconsXinfsXmarkinfXmarkXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activelengthconsXLmarkslengthLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2activetakemarkX1markX2marklengthXactivelengthmarkXtrue1mark1110active1011length1814nil00take2418212cons201021inf1111false00s1011mark1012true00active1015eq201021009markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactiveinfXmarkconsXinfsXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activelengthconsXLmarkslengthLeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X21mark1110active1110length11410nil00take201021cons201021inf1211false00s1011mark1110true00active1110eq201020000markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactiveinfXmarkconsXinfsXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthX1mark1310active1010length1016nil06take211023cons201020inf10112false07s10111mark1512true08active1019eq201020008markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYactiveinfXmarkconsXinfsXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2eqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X21mark1815active1415take201020cons201420inf1010s1211mark1911active1810eq211423activeinfXmarkconsXinfsXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2eqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2infmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X21mark1812active1812take221121cons241020inf1410s1010mark11416active1419activeinfXmarkconsXinfsXmarkconsX1X2activeconsX1X2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X21mark1013active1310cons201020inf1311s1115mark11410active1318activeinfXmarkconsXinfsXsmarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2activeinfXmarkconsXinfsXfalsemarktakeX1X2takemarkX1markX2falseactivelengthconsXLslengthLfalseactivelengthconsXLlengthLfalseactivelengthnilmark0falseactivetakesXconsYLconsYtakeXLfalseactivetakesXconsYLtakeXLfalseactivetake0XmarknilfalsemarknilactivenilfalsemarkinfXinfmarkXfalsemark0active0falseactiveinfXconsXinfsXfalseactiveinfXinfsXfalseactiveinfXsXfalseactiveeqXYmarkfalsefalsemarkfalseactivefalsefalseactiveeqsXsYeqXYfalseactiveeq00marktruefalsemarktrueactivetruefalsemarklengthXlengthmarkXfalseeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2true1eq231325mark11510active18113eqmarkX1X2eqX1X2eqX1markX2eqX1X21eq2111020mark1413eqX1markX2eqX1X21eq2018212mark1113smarkXsXsactiveXsXtrue1s11113mark11019active1113infmarkXinfXinfactiveXinfXtrue1inf11113mark11019active1113consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1cons231325mark11510active18113consmarkX1X2consX1X2consX1markX2consX1X21cons2111020mark1413consX1markX2consX1X21cons2018212mark1113takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2true1take231325mark11510active18113takemarkX1X2takeX1X2takeX1markX2takeX1X21take2111020mark1413takeX1markX2takeX1X21take2018212mark1113lengthmarkXlengthXlengthactiveXlengthXtrue1length11113mark11019active1113