termsNconsrecipsqrNn__termssNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYn__firstXactivateZtermsXn__termsXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__firstX1X2firstX1X2activateXXterms1cons2recip1sqr1n__terms1s100add2dbl1first2nil0n__first2activate1FULL./TRS/TRCSR/Ex2_Luc02a_Z.trs