termsNconsrecipsqrNn__termsn__sNsqr00sqrsXsn__addn__sqractivateXn__dblactivateXdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXsXn__sXaddX1X2n__addX1X2sqrXn__sqrXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsXactivaten__addX1X2addactivateX1activateX2activaten__sqrXsqractivateXactivaten__dblXdblactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXtermsNsqrNsqrsXactivateXsqrsXsn__addn__sqractivateXn__dblactivateXdblsXactivateXdblsXsn__sn__dblactivateXaddsXYactivateXaddsXYsn__addactivateXYfirstsXconsYZactivateZfirstsXconsYZactivateXactivaten__termsXactivateXactivaten__termsXtermsactivateXactivaten__sXsXactivaten__addX1X2activateX2activaten__addX1X2activateX1activaten__addX1X2addactivateX1activateX2activaten__sqrXactivateXactivaten__sqrXsqractivateXactivaten__dblXactivateXactivaten__dblXdblactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2truefirstsXconsYZactivateZactivaten__termsXactivateXactivaten__termsXtermsactivateXtermsNsqrNsqrsXactivateXactivaten__addX1X2activateX2activaten__addX1X2activateX1activaten__addX1X2addactivateX1activateX2addsXYactivateXactivaten__sqrXactivateXactivaten__sqrXsqractivateXactivaten__dblXactivateXactivaten__dblXdblactivateXdblsXactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateXtrueaddsXYsn__addactivateXYfalsedblsXsn__sn__dblactivateXfalsesqrsXsn__addn__sqractivateXn__dblactivateXfalseactivaten__sXsXfalse