a__eq00truea__eqsXsYa__eqXYa__eqXYfalsea__infXconsXinfsXa__take0Xnila__takesXconsYLconsYtakeXLa__lengthnil0a__lengthconsXLslengthLmarkeqX1X2a__eqX1X2markinfXa__infmarkXmarktakeX1X2a__takemarkX1markX2marklengthXa__lengthmarkXmark00marktruetruemarksXsXmarkfalsefalsemarkconsX1X2consX1X2marknilnila__eqX1X2eqX1X2a__infXinfXa__takeX1X2takeX1X2a__lengthXlengthXa__eq200true0s1false0a__inf1cons2inf1a__take2nil0take2a__length1length1mark1eq2INNERMOST./TRS/TRCSR/Ex1_GL02a_GM.trs