termsNconsrecipsqrNn__termsn__sNsqr00sqrsXsn__addn__sqractivateXn__dblactivateXdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXsXn__sXaddX1X2n__addX1X2sqrXn__sqrXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsXactivaten__addX1X2addactivateX1activateX2activaten__sqrXsqractivateXactivaten__dblXdblactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXterms1cons2recip1sqr1n__terms1n__s100s1n__add2n__sqr1activate1n__dbl1dbl1add2first2nil0n__first2FULL./TRS/TRCSR/Ex26_Luc03b_FR.trs