termsNconsrecipsqrNn__termsn__sNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYn__firstXactivateZtermsXn__termsXsXn__sXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXtermsNsqrNsqrsXdblXsqrsXsqrXsqrsXaddsqrXdblXsqrsXsaddsqrXdblXdblsXdblXdblsXsdblXdblsXssdblXaddsXYaddXYaddsXYsaddXYfirstsXconsYZactivateZactivaten__termsXactivateXactivaten__termsXtermsactivateXactivaten__sXactivateXactivaten__sXsactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2trueactivaten__firstX1X2activateX2activaten__termsXactivateXactivaten__sXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZtrue1activate1210first201220n__first291120activate1110nil00first291120add2151320dbl11410s1110000cons201120n__terms1814n__s1110recip1616sqr1113terms1814activaten__firstX1X2activateX2activaten__sXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZtermsNconsrecipsqrNn__termsn__sNfirst0XnilfirstsXconsYZconsYn__firstXactivateZtermsXn__termsXsXn__sXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsactivateXactivaten__firstX1X2firstactivateX1activateX2activateXX1activate1810first211820n__first211120activate1110nil00first211120add201122dbl1018s1211000cons201220n__terms1010n__s1211recip1810sqr1313terms1010activaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2termsNconsrecipsqrNn__termsn__sNfirst0XnilfirstsXconsYZconsYn__firstXactivateZtermsXn__termsXsXn__sXfirstX1X2n__firstX1X2activaten__termsXtermsactivateXactivaten__sXsactivateXactivaten__firstX1X2firstactivateX1activateX2activateXXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1true1activate1718n__first211123activaten__firstX1X2firstactivateX1activateX2falseactivaten__sXsactivateXfalseactivaten__termsXtermsactivateXfalsetermsNsqrNfalsesqrsXsqrXtrue1sqr1410s18110sqrsXsaddsqrXdblXfalsesqrsXaddsqrXdblXfalseaddsXYaddXYtrue1add2810212s1113addsXYsaddXYfalsesqrsXdblXfalsedblsXdblXtrue1dbl1410s18110dblsXssdblXfalsedblsXsdblXfalse