activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesmarkXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2activetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXdblXactivedblsXsdblXactivedblsXssdblXactivedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYaddXYactiveaddsXYsaddXYactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZmarkconsYfirstXZmarktermsXmarkXmarktermsXtermsmarkXmarktermsXactivetermsmarkXmarkconsX1X2markX1markconsX1X2consmarkX1X2markconsX1X2activeconsmarkX1X2markrecipXmarkXmarkrecipXrecipmarkXmarkrecipXactiverecipmarkXmarksqrXmarkXmarksqrXsqrmarkXmarksqrXactivesqrmarkXmarksXmarkXmarksXsmarkXmarksXactivesmarkXmark0active0markaddX1X2markX2markaddX1X2markX1markaddX1X2addmarkX1markX2markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXdblmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2firstmarkX1markX2markfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truemarknilactivenilactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarktermsXactivetermsmarkXactivesqr0mark0markconsX1X2markX1markconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkrecipXmarkXmarkrecipXactiverecipmarkXactivedbl0mark0marksqrXmarkXmarksqrXactivesqrmarkXactivedblsXmarkssdblXmarksXmarkXmarksXactivesmarkXactiveadd0XmarkXmark0active0activeaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirst0XmarknilmarkdblXmarkXmarkdblXactivedblmarkXactivefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2truemarkfirstX1X2markX2markfirstX1X2activefirstmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX1markdblXactivedblmarkXactiveaddsXYmarksaddXYmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2activeadd0XmarkXmarkaddX1X2markX1markaddX1X2markX2marksXactivesmarkXactivedblsXmarkssdblXmarksXmarkXmarksqrXactivesqrmarkXactivesqrsXmarksaddsqrXdblXmarksqrXmarkXmarkrecipXactiverecipmarkXactivetermsNmarkconsrecipsqrNtermssNmarkrecipXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1marktermsXactivetermsmarkXmarktermsXmarkXtruemark12active11nil00first28add24dbl140010mark17cons210s13recip10sqr15active19terms16terms11active11sqr11recip11s11cons21mark1100dbl11add212first212nil0active11mark11markrecipXmarkXmarkconsX1X2markX1activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesmarkXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2markrecipXmarkX1true1markconsX1X2markX11true1activesqr0mark0falseactivedbl0mark0falsemark0active0falseactivefirst0XmarknilfalsemarknilactivenilfalsemarkfirstX1X2firstmarkX1markX2falseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalsemarkdblXdblmarkXfalsemarkaddX1X2addmarkX1markX2falseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalsemarksXsmarkXfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalsemarksqrXsqrmarkXfalsemarkrecipXrecipmarkXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalsemarkconsX1X2consmarkX1X2falsemarktermsXtermsmarkXfalseactivetermsNconsrecipsqrNtermssNfalseconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21activetermsNrecipsqrNfalserecipmarkXrecipXrecipactiveXrecipXtruerecip11activetermsNsqrNfalsesqrmarkXsqrXsqractiveXsqrXtruesqr11activetermsNtermssNfalsetermsmarkXtermsXtermsactiveXtermsXtrueterms11activetermsNsNfalsesmarkXsXsactiveXsXtrues11dblmarkXdblXdblactiveXdblXtruedbl11addmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2trueadd22addmarkX1X2addX1X2addactiveX1X2addX1X2add21firstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truefirst22firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2first21