termsNconsrecipsqrNn__termsn__sNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYn__firstXactivateZhalf00halfs00halfssXshalfXhalfdblXXtermsXn__termsXsXn__sXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXtermsNsqrNsqrsXdblXsqrsXsqrXsqrsXaddsqrXdblXsqrsXsaddsqrXdblXdblsXdblXdblsXsdblXdblsXssdblXaddsXYaddXYaddsXYsaddXYfirstsXconsYZactivateZhalfssXhalfXhalfssXshalfXactivaten__termsXactivateXactivaten__termsXtermsactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2trueactivaten__firstX1X2activateX2activaten__termsXactivateXactivaten__sXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZtrue1activate1211first201228half1818n__first211424activate1110nil06first211424add2011224dbl1110s1110002cons201120n__terms1414n__s1110recip1214sqr112113terms1414activaten__sXactivateXactivate11activaten__sXsactivateXfalseactivaten__termsXtermsactivateXfalsetermsNsqrNfalsesqrsXsqrXtruesqr11sqrsXsaddsqrXdblXfalsesqrsXaddsqrXdblXfalseaddsXYaddXYtrueadd21addsXYsaddXYfalsesqrsXdblXfalsedblsXdblXtruedbl11dblsXssdblXfalsedblsXsdblXfalsehalfssXhalfXtruehalf11halfssXshalfXfalse