activateXXactivaten__firstX1X2firstactivateX1activateX2activaten__sXsactivateXactivaten__termsXtermsactivateXadd0XXaddsXYsaddXYdbl00dblsXssdblXfirstX1X2n__firstX1X2first0XnilfirstsXconsYZconsYn__firstXactivateZsXn__sXsqr00sqrsXsaddsqrXdblXtermsNconsrecipsqrNn__termsn__sNtermsXn__termsX00cons2n__first2n__s1n__terms1nil0recip1activate1add2dbl1first2s1sqr1terms112.2addsXYsaddXYdblsXssdblXfirstsXconsYZconsYn__firstXactivateZsqrsXsaddsqrXdblX11002activate1541add256142cons201102dbl1881first231112n__first221112n__s1611n__terms1611nil00recip1011s1911sqr1011terms1911activateXXactivaten__sXsactivateXactivaten__termsXtermsactivateXadd0XXdbl00firstX1X2n__firstX1X2first0XnilsXn__sXtermsNconsrecipsqrNn__termsn__sNtermsXn__termsXactivateXXactivaten__firstX1X2firstactivateX1activateX2activaten__sXsactivateXactivaten__termsXtermsactivateXadd0XXdbl00firstX1X2n__firstX1X2first0XnilsXn__sXsqr00termsNconsrecipsqrNn__termsn__sNtermsXn__termsX11000activate1241add220182cons221102dbl1201first2141112n__first241112n__s1311n__terms1311nil014recip1011s1311sqr1201terms1411sqr00activateXXactivaten__firstX1X2firstactivateX1activateX2activaten__sXsactivateXactivaten__termsXtermsactivateXadd0XXdbl00firstX1X2n__firstX1X2first0XnilsXn__sXsqr00termsNconsrecipsqrNn__termsn__sNtermsXn__termsX11000activate1021add251122cons291102dbl1901first231112n__first221112n__s1011n__terms1711nil03recip1411s1011sqr1101terms11411activaten__firstX1X2firstactivateX1activateX2activateXXactivaten__firstX1X2firstactivateX1activateX2activaten__sXsactivateXactivaten__termsXtermsactivateXadd0XXdbl00firstX1X2n__firstX1X2first0XnilsXn__sXsqr00termsNconsrecipsqrNn__termsn__sNtermsXn__termsXTcT3.0.0