activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivehalf0mark0activehalfs0mark0activehalfssXmarkshalfXactivehalfdblXmarkXmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesmarkXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactivenilmarkhalfXactivehalfmarkXtermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2halfmarkXhalfXhalfactiveXhalfXactivetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXdblXactivedblsXsdblXactivedblsXssdblXactivedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYaddXYactiveaddsXYsaddXYactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZmarkconsYfirstXZactivehalf0mark0activehalfs0mark0activehalfssXhalfXactivehalfssXshalfXactivehalfssXmarkshalfXactivehalfdblXmarkXmarktermsXmarkXmarktermsXtermsmarkXmarktermsXactivetermsmarkXmarkconsX1X2markX1markconsX1X2consmarkX1X2markconsX1X2activeconsmarkX1X2markrecipXmarkXmarkrecipXrecipmarkXmarkrecipXactiverecipmarkXmarksqrXmarkXmarksqrXsqrmarkXmarksqrXactivesqrmarkXmarksXmarkXmarksXsmarkXmarksXactivesmarkXmark0active0markaddX1X2markX2markaddX1X2markX1markaddX1X2addmarkX1markX2markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXdblmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2firstmarkX1markX2markfirstX1X2activefirstmarkX1markX2marknilactivenilmarkhalfXmarkXmarkhalfXhalfmarkXmarkhalfXactivehalfmarkXtermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2halfmarkXhalfXhalfactiveXhalfXtruemarkhalfXmarkXmarktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1markconsX1X2activeconsmarkX1X2activesqr0mark0markrecipXmarkXmarkrecipXactiverecipmarkXactivesqrsXmarksaddsqrXdblXmarksqrXmarkXmarksqrXactivesqrmarkXactivedbl0mark0marksXmarkXmarksXactivesmarkXactivedblsXmarkssdblXmark0active0activeadd0XmarkXmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activeaddsXYmarksaddXYmarkdblXmarkXmarkdblXactivedblmarkXactivefirst0XmarknilmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarknilactivenilactivehalf0mark0markhalfXactivehalfmarkXactivehalfs0mark0activehalfssXmarkshalfXactivehalfdblXmarkXtruemarkhalfXmarkXmarkhalfXactivehalfmarkXactivehalfdblXmarkXmarkfirstX1X2activefirstmarkX1markX2activehalfssXmarkshalfXmarkfirstX1X2markX1markfirstX1X2markX2markdblXactivedblmarkXactivefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2activeaddsXYmarksaddXYmarkaddX1X2markX1markaddX1X2markX2marksXactivesmarkXactiveadd0XmarkXmarksXmarkXmarksqrXactivesqrmarkXactivedblsXmarkssdblXmarksqrXmarkXmarkrecipXactiverecipmarkXactivesqrsXmarksaddsqrXdblXmarkrecipXmarkXmarkconsX1X2activeconsmarkX1X2activetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1marktermsXactivetermsmarkXmarktermsXmarkXtrue1mark1018active1810half1011nil00first201021add201021dbl1011000mark1010cons201020s1010recip1010sqr1011active1014terms1011markhalfXmarkXmarkhalfXactivehalfmarkXactivehalfdblXmarkXmarkfirstX1X2activefirstmarkX1markX2activehalfssXmarkshalfXmarkfirstX1X2markX1markfirstX1X2markX2markdblXactivedblmarkXactivefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2activeaddsXYmarksaddXYmarkaddX1X2markX1markaddX1X2markX2activeadd0XmarkXmarksXmarkXmarksqrXactivesqrmarkXactivedblsXmarkssdblXmarksqrXmarkXactivesqrsXmarksaddsqrXdblXmarkrecipXmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1marktermsXactivetermsmarkXmarktermsXmarkXtermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2halfmarkXhalfXhalfactiveXhalfXactivesqr0mark0falseactivedbl0mark0falseactivefirst0Xmarknilfalseactivehalf0mark0falseactivehalfs0mark0falsemark0active0falsemarknilactivenilfalseactivehalfssXshalfXfalseactivehalfssXhalfXfalseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalsemarkfirstX1X2firstmarkX1markX2falsemarkdblXdblmarkXfalseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalsemarkaddX1X2addmarkX1markX2falseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalsemarksXsmarkXfalsemarksqrXsqrmarkXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalsemarkrecipXrecipmarkXfalsemarkconsX1X2consmarkX1X2falseactivetermsNconsrecipsqrNtermssNfalseconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21activetermsNrecipsqrNfalserecipmarkXrecipXrecipactiveXrecipXtruerecip11activetermsNsqrNfalsesqrmarkXsqrXsqractiveXsqrXtruesqr11activetermsNtermssNfalseactivetermsNsNfalsesmarkXsXsactiveXsXtrues11marktermsXtermsmarkXfalsetermsmarkXtermsXtermsactiveXtermsXtrueterms11markhalfXhalfmarkXfalsedblmarkXdblXdblactiveXdblXtruedbl11addmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2trueadd22addmarkX1X2addX1X2addactiveX1X2addX1X2add21firstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truefirst22firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2first21halfmarkXhalfXhalfactiveXhalfXtruehalf11