termsNconsrecipsqrNtermssNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYfirstXZterms11cons21recip11sqr11s100add212dbl11first212nil0FULL./TRS/CSR/Ex26_Luc03b.trs