a__eq00truea__eqsXsYa__eqXYa__eqXYfalsea__infXconsXinfsXa__take0Xnila__takesXconsYLconsYtakeXLa__lengthnil0a__lengthconsXLslengthLmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarktakeX1X2a__takemarkX1markX2marklengthXa__lengthmarkXmark00marktruetruemarksXsXmarkfalsefalsemarkconsX1X2consX1X2marknilnila__eqX1X2eqX1X2a__infXinfXa__takeX1X2takeX1X2a__lengthXlengthXa__eqsXsYa__eqXYmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarkinfXmarkXmarktakeX1X2a__takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2marklengthXa__lengthmarkXmarklengthXmarkXtruemarktakeX1X2markX1markinfXmarkXmarktakeX1X2markX2marklengthXmarkXtrue123451mark111take211112inf1111length1111markeqX1X2a__eqX1X2false1a__eqsXsYa__eqXYtrue1a__eq212s1111markinfXa__infmarkXfalsemarktakeX1X2a__takemarkX1markX2falsemarklengthXa__lengthmarkXfalse