eq00trueeqsXsYeqXYeqXYfalseinfXconsXinfsXtake0XniltakesXconsYLconsYtakeXLlengthnil0lengthconsXLslengthLeq200true0s1false0inf11cons2take212nil0length11FULL./TRS/CSR/Ex1_GL02a.trs