termsNconsrecipsqrNn__termssNsqr00sqrsXsn__addsqractivateXdblactivateXdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXtermsNsNtermsNsqrNsqrsXdblactivateXsqrsXactivateXsqrsXsqractivateXsqrsXsn__addsqractivateXdblactivateXdblsXactivateXdblsXsn__sn__dblactivateXaddsXYactivateXaddsXYsn__addactivateXYfirstsXconsYZactivateZfirstsXconsYZactivateXactivaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2truefirstsXconsYZactivateZactivaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXactivaten__addX1X2addX1X2addsXYactivateXactivaten__dblXdblXactivaten__firstX1X2firstX1X2firstsXconsYZactivateXsqrsXactivateXsqrsXsqractivateXtruesqrsXsn__addsqractivateXdblactivateXfalseaddsXYsn__addactivateXYfalsedblsXsn__sn__dblactivateXfalseactivaten__sXsXfalsetermsNsNfalse