termsNconsrecipsqrNtermssNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYfirstXZterms1cons2recip1sqr1s100add2dbl1first2nil0OUTERMOST./TRS/outermost/nontermin/CSR/Ex26_Luc03b.trs