eq00trueeqsXsYeqXYeqXYfalseinfXconsXinfsXtake0XniltakesXconsYLconsYtakeXLlengthnil0lengthconsXLslengthLeq200true0s1false0inf1cons2take2nil0length1INNERMOST./TRS/nontermin/CSR/Ex1_GL02a.trs