termsNconsrecipsqrNn__termsn__sNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYn__firstXactivateZtermsXn__termsXsXn__sXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXtermsNsqrNsqrsXdblXsqrsXsqrXsqrsXaddsqrXdblXsqrsXsaddsqrXdblXdblsXdblXdblsXsdblXdblsXssdblXaddsXYaddXYaddsXYsaddXYfirstsXconsYZactivateZactivaten__termsXactivateXactivaten__termsXtermsactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2trueactivaten__firstX1X2activateX2activaten__termsXactivateXactivaten__sXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZtrue1activate1114first201124n__first221120activate1110nil00first221120add201224dbl1010s1110000cons201120n__terms1811n__s1110recip1414sqr1014terms1811activaten__firstX1X2activateX2activaten__sXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZ1activate1110first221122n__first241122activate1110nil00first241122add201222dbl1410s1110003cons201120n__terms1010n__s1110recip1517sqr1915terms1010activaten__sXactivateXactivaten__firstX1X2firstactivateX1activateX2activaten__sXactivateXtrueactivate11activaten__firstX1X2firstactivateX1activateX2falseactivaten__sXsactivateXfalseactivaten__termsXtermsactivateXfalsetermsNsqrNfalsesqrsXsqrXtruesqr11sqrsXsaddsqrXdblXfalsesqrsXaddsqrXdblXfalseaddsXYaddXYtrueadd21addsXYsaddXYfalsesqrsXdblXfalsedblsXdblXtruedbl11dblsXssdblXfalsedblsXsdblXfalse