termsNconsrecipsqrNtermssNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYfirstXZterms1cons2recip1sqr1s100add2dbl1first2nil0FULL./TRS/nontermin/CSR/Ex26_Luc03b.trs