a__eq00truea__eqsXsYa__eqXYa__eqXYfalsea__infXconsXinfsXa__take0Xnila__takesXconsYLconsYtakeXLa__lengthnil0a__lengthconsXLslengthLmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarktakeX1X2a__takemarkX1markX2marklengthXa__lengthmarkXmark00marktruetruemarksXsXmarkfalsefalsemarkconsX1X2consX1X2marknilnila__eqX1X2eqX1X2a__infXinfXa__takeX1X2takeX1X2a__lengthXlengthXa__eqsXsYa__eqXYmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarkinfXmarkXmarktakeX1X2a__takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2marklengthXa__lengthmarkXmarklengthXmarkXtruemarktakeX1X2markX1markinfXmarkXmarktakeX1X2markX2marklengthXmarkXtrue12345mark11markeqX1X2a__eqX1X2false1a__eqsXsYa__eqXYtruea__eq22markinfXa__infmarkXfalsemarktakeX1X2a__takemarkX1markX2falsemarklengthXa__lengthmarkXfalse