a__eq00truea__eqsXsYa__eqXYa__eqXYfalsea__infXconsXinfsXa__take0Xnila__takesXconsYLconsYtakeXLa__lengthnil0a__lengthconsXLslengthLmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarktakeX1X2a__takemarkX1markX2marklengthXa__lengthmarkXmark00marktruetruemarksXsXmarkfalsefalsemarkconsX1X2consX1X2marknilnila__eqX1X2eqX1X2a__infXinfXa__takeX1X2takeX1X2a__lengthXlengthXa__eqsXsYa__eqXYmarkeqX1X2a__eqX1X2markinfXmarkXmarkinfXa__infmarkXmarktakeX1X2markX2marktakeX1X2markX1marktakeX1X2a__takemarkX1markX2marklengthXmarkXmarklengthXa__lengthmarkXtruemarklengthXmarkXmarkinfXmarkXmarktakeX1X2markX2marktakeX1X2markX1truemark11marklengthXa__lengthmarkXfalsemarktakeX1X2a__takemarkX1markX2falsemarkinfXa__infmarkXfalsemarkeqX1X2a__eqX1X2falsea__eqsXsYa__eqXYtruea__eq22