activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2activetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXdblXactivedblsXsdblXactivedblsXssdblXactivedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYaddXYactiveaddsXYsaddXYactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZmarkconsYfirstXZmarktermsXmarkXmarktermsXtermsmarkXmarktermsXactivetermsmarkXmarkconsX1X2markX1markconsX1X2consmarkX1X2markconsX1X2activeconsmarkX1X2markrecipXmarkXmarkrecipXrecipmarkXmarkrecipXactiverecipmarkXmarksqrXmarkXmarksqrXsqrmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2markX2markaddX1X2markX1markaddX1X2addmarkX1markX2markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXdblmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2firstmarkX1markX2markfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truemarknilactivenilactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarktermsXactivetermsmarkXactivesqr0mark0markconsX1X2markX1markconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkrecipXmarkXmarkrecipXactiverecipmarkXactivedbl0mark0marksqrXmarkXmarksqrXactivesqrmarkXactivedblsXmarkssdblXmarksXactivesXactiveadd0XmarkXmark0active0activeaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirst0XmarknilmarkdblXmarkXmarkdblXactivedblmarkXactivefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2truemarkfirstX1X2markX2markfirstX1X2activefirstmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX1markdblXactivedblmarkXactiveaddsXYmarksaddXYmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2activeadd0XmarkXmarkaddX1X2markX1markaddX1X2markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXactivesqrsXmarksaddsqrXdblXmarksqrXmarkXmarkrecipXactiverecipmarkXactivetermsNmarkconsrecipsqrNtermssNmarkrecipXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1marktermsXactivetermsmarkXmarktermsXmarkXtruemark18active15nil00first211add29dbl13002mark110cons212s16recip13sqr14active11terms17terms11active11sqr11recip11s1cons21mark1100dbl11add212first212nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXactivesqrsXmarksaddsqrXdblXmarksqrXmarkXmarkrecipXactiverecipmarkXactivetermsNmarkconsrecipsqrNtermssNmarkrecipXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1marktermsXactivetermsmarkXmarktermsXmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2mark18active16nil00first21add25dbl1120011mark110cons23s14recip19sqr17active12terms111terms11active11sqr11recip11s11cons21mark1100dbl11add22first212nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXactivesqrsXmarksaddsqrXdblXmarksqrXmarkXmarkrecipXactiverecipmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2mark18active10nil00first21add24dbl14000mark17cons22s13recip11sqr15active18terms16terms11active11sqr11recip1s11cons21mark1100dbl11add22first22nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXmarkrecipXactiverecipmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2mark18active110nil03first25add211dbl17003mark12cons20s19recip111sqr15active16terms11terms11active11sqr11recip11s11cons21mark1100dbl11add22first22nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkdblXmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXmarkrecipXactiverecipmarkXmarkconsX1X2activeconsmarkX1X2marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2mark14active15nil00first21add28dbl16000mark12cons23s17recip13sqr110active19terms111terms11active11sqr11recip1s11cons22mark1100dbl11add22first22nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXactivedblsXmarkssdblXmarksqrXactivesqrmarkXmarkrecipXactiverecipmarkXmarkconsX1X2activeconsmarkX1X2marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2mark11active13nil01first26add25dbl15001mark14cons24s12recip17sqr10active16terms15terms1active1sqr1recip1s1cons2mark100dbl1add2first2nil0active11mark11markfirstX1X2activefirstmarkX1markX2markdblXactivedblmarkXmarkaddX1X2activeaddmarkX1markX2marksXactivesXmarksqrXactivesqrmarkXmarkrecipXactiverecipmarkXmarkconsX1X2activeconsmarkX1X2marktermsXactivetermsmarkXtermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2marktermsXactivetermsmarkXfalsemarksqrXactivesqrmarkXfalsemarkrecipXactiverecipmarkXfalsemarksXactivesXfalsemarkconsX1X2activeconsmarkX1X2falsemarkdblXactivedblmarkXfalsemarkaddX1X2activeaddmarkX1markX2falsemarkfirstX1X2activefirstmarkX1markX2falseactivesqr0mark0falseactivedbl0mark0falsemark0active0falseactivefirst0XmarknilfalsemarknilactivenilfalsemarkfirstX1X2firstmarkX1markX2falseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalsemarkdblXdblmarkXfalsemarkaddX1X2addmarkX1markX2falseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalsemarksqrXsqrmarkXfalsemarkrecipXrecipmarkXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalsemarkconsX1X2consmarkX1X2falsemarktermsXtermsmarkXfalseactivetermsNconsrecipsqrNtermssNfalseconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21activetermsNrecipsqrNfalserecipmarkXrecipXrecipactiveXrecipXtruerecip11activetermsNsqrNfalsesqrmarkXsqrXsqractiveXsqrXtruesqr11activetermsNtermssNfalsetermsmarkXtermsXtermsactiveXtermsXtrueterms11activetermsNsNfalsesmarkXsXsactiveXsXtrues11dblmarkXdblXdblactiveXdblXtruedbl11addmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2trueadd22addmarkX1X2addX1X2addactiveX1X2addX1X2add21firstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truefirst22firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2first21