eq00trueeqsXsYeqXYeqXYfalseinfXconsXinfsXtake0XniltakesXconsYLconsYtakeXLlengthnil0lengthconsXLslengthLeq200true0s1false0inf1cons2take2nil0length1FULL./TRS/nontermin/CSR/Ex1_GL02a.trs