activeeq00marktrueactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXactiveeq00marktrueactiveeqsXsYeqXYactiveeqsXsYmarkeqXYactiveeqXYmarkfalseactiveinfXsXactiveinfXinfsXactiveinfXconsXinfsXactiveinfXmarkconsXinfsXactivetake0XmarknilactivetakesXconsYLtakeXLactivetakesXconsYLconsYtakeXLactivetakesXconsYLmarkconsYtakeXLactivelengthnilmark0activelengthconsXLlengthLactivelengthconsXLslengthLactivelengthconsXLmarkslengthLmarkeqX1X2activeeqX1X2mark0active0marktrueactivetruemarksXactivesXmarkfalseactivefalsemarkinfXmarkXmarkinfXinfmarkXmarkinfXactiveinfmarkXmarkconsX1X2activeconsX1X2marktakeX1X2markX2marktakeX1X2markX1marktakeX1X2takemarkX1markX2marktakeX1X2activetakemarkX1markX2marknilactivenilmarklengthXmarkXmarklengthXlengthmarkXmarklengthXactivelengthmarkXeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2smarkXsXsactiveXsXinfmarkXinfXinfactiveXinfXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2lengthmarkXlengthXlengthactiveXlengthXtruemarklengthXmarkXmarkeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactiveinfXmarkconsXinfsXmarkinfXmarkXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activelengthconsXLmarkslengthLmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2activetakemarkX1markX2marklengthXactivelengthmarkXtrue1mark1110active1018length1218nil00take2211213cons201028inf1118false08s1018mark1110true00active1110eq201028003markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactiveinfXmarkconsXinfsXmarkinfXactiveinfmarkXactivetakesXconsYLmarkconsYtakeXLmarkconsX1X2activeconsX1X2activelengthconsXLmarkslengthLmarklengthXactivelengthmarkX1mark1418active1810length1012nil00take211020cons201020inf1012false02s1012mark1110true02active1110eq201022000markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXmarkinfXactiveinfmarkXactivelengthconsXLmarkslengthLmarklengthXactivelengthmarkX1mark1612active1012length1011nil00take201024cons201020inf1016false00s1010mark1110true00active1010eq201020000markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesXactivelengthconsXLmarkslengthL1mark1812active1812length1012nil00take201023cons201022inf1013false02s1011mark1618true00active1812eq201023000markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarksXactivesX1mark14112active1818length1010nil00take201020cons201020inf10113false00s1010mark1010true00active1010eq201021000markeqX1X2activeeqX1X2activeeqsXsYmarkeqXYmarktakeX1X2takemarkX1markX2falseactivelengthconsXLslengthLfalseactivelengthconsXLlengthLfalseactivelengthnilmark0falseactivetakesXconsYLconsYtakeXLfalseactivetakesXconsYLtakeXLfalseactivetake0XmarknilfalsemarknilactivenilfalsemarkinfXinfmarkXfalsemark0active0falseactiveinfXconsXinfsXfalseactiveinfXinfsXfalseactiveinfXsXfalseactiveeqXYmarkfalsefalsemarkfalseactivefalsefalseactiveeqsXsYeqXYfalseactiveeq00marktruefalsemarktrueactivetruefalsemarklengthXlengthmarkXfalseeqmarkX1X2eqX1X2eqX1markX2eqX1X2eqactiveX1X2eqX1X2eqX1activeX2eqX1X2true1eq281020length1010nil00take201020cons201020inf1010false00s1010mark1211true00active1411eq201020000eqX1markX2eqX1X2eqX1activeX2eqX1X21eq201220length1011nil00take201021cons201020inf1012false02s1010mark1516true00active1810eq201022000eqX1activeX2eqX1X21eq201924length1010nil00take201020cons201020inf1010false00s1010mark1012true00active1112eq201020000smarkXsXsactiveXsXtrue1s1110length1010nil00take201929cons201020inf1010false00s1210mark1211true00active1111eq21311420000infmarkXinfXinfactiveXinfXtrue1inf1110length1010nil00take201929cons201020inf1010false00s1210mark1211true00active1111eq21311420000consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1cons281020length1010nil00take201020cons201020inf1010false00s1010mark1211true00active1411eq201020000consX1markX2consX1X2consX1activeX2consX1X21cons201220length1011nil00take201021cons201020inf1012false02s1010mark1516true00active1810eq201022000consX1activeX2consX1X21cons201924length1010nil00take201020cons201020inf1010false00s1010mark1012true00active1112eq201020000takemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2true1take281020length1010nil00take201020cons201020inf1010false00s1010mark1211true00active1411eq201020000takeX1markX2takeX1X2takeX1activeX2takeX1X21take201220length1011nil00take201021cons201020inf1012false02s1010mark1516true00active1810eq201022000takeX1activeX2takeX1X21take201924length1010nil00take201020cons201020inf1010false00s1010mark1012true00active1112eq201020000lengthmarkXlengthXlengthactiveXlengthXtrue1length1110length1010nil00take201929cons201020inf1010false00s1210mark1211true00active1111eq21311420000