termsNconsrecipsqrNn__termssNsqr00sqrsXsn__addsqractivateXdblactivateXdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXterms1cons2recip1sqr1n__terms1s100n__add2activate1dbl1n__s1n__dbl1add2first2nil0n__first2FULL./TRS/TRCSR/Ex26_Luc03b_Z.trs