activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2activetermsNmarkconsrecipsqrNtermssNactivetermsNconsrecipsqrNtermssNactivetermsNrecipsqrNactivetermsNsqrNactivetermsNtermssNactivetermsNsNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXaddsqrXdblXactivesqrsXsqrXactivesqrsXdblXactivedbl0mark0activedblsXmarkssdblXactivedblsXssdblXactivedblsXsdblXactivedblsXdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactiveaddsXYsaddXYactiveaddsXYaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZfirstXZmarktermsXactivetermsmarkXmarktermsXtermsmarkXmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1markrecipXactiverecipmarkXmarkrecipXrecipmarkXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXsqrmarkXmarksqrXmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markaddX1X2addmarkX1markX2markaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXdblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2firstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truemarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXactiveadd0XmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2true1234567891011121314151617181920212223242526272829303132333435361mark111terms111active111mark111cons211recip111sqr111s10add21112dbl111001first21112active111nil00marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21mark111terms1111active111mark111cons211recip111sqr111s10add21112dbl111first21112active111000nil00marktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21mark11terms10active111mark10cons20sqr11s10add21dbl11recip10first21active10000nil00activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1activedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21active111sqr111s10mark111add21112dbl111cons211recip1111mark111first21112active111terms1111000nil00activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1activedblsXmarkssdblXmarksqrXactivesqrmarkXmarksqrXmarkXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21active111sqr1111s11mark1111add211112dbl1111cons2111mark111first21112active111terms1111recip10001nil00activesqrsXmarksaddsqrXdblXactivedblsXmarkssdblXactiveaddsXYmarksaddXYactivefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX1markfirstX1X2markX2activesqrsXmarksaddsqrXdblXfalse4activedblsXmarkssdblXfalse3activeaddsXYmarksaddXYfalse2activefirstsXconsYZmarkconsYfirstXZfalse1markfirstX1X2markX2markfirstX1X2markX1truemark11activesqr0mark0false3567891011121314151617181920212223242526272829303132333435activedbl0mark0false245678910111213141516171819202122232425262728293031323334mark0active0false23456789101112131415161718192021222324252627282930313233activefirst0Xmarknilfalse2457910121314151617182021232526272829303132marknilactivenilfalse134689111213141516171920222425262728293031activetermsNconsrecipsqrNtermssNfalse23activetermsNrecipsqrNfalse22activetermsNsqrNfalse22activetermsNtermssNfalse21activetermsNsNfalse20activesqrsXsaddsqrXdblXfalse20activesqrsXaddsqrXdblXfalse19activesqrsXsqrXfalse19activesqrsXdblXfalse18activedblsXssdblXfalse17activedblsXsdblXfalse17activedblsXdblXfalse16activeaddsXYsaddXYfalse15activeaddsXYaddXYfalse14activefirstsXconsYZconsYfirstXZfalse13activefirstsXconsYZfirstXZfalse13marktermsXtermsmarkXfalse12markconsX1X2consmarkX1X2false11markrecipXrecipmarkXfalse11marksqrXsqrmarkXfalse10markaddX1X2addmarkX1markX2false9markdblXdblmarkXfalse9markfirstX1X2firstmarkX1markX2false8termsactiveXtermsXtermsmarkXtermsXtrueterms11consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2truecons22consmarkX1X2consX1X2consactiveX1X2consX1X2cons21recipactiveXrecipXrecipmarkXrecipXtruerecip11sqractiveXsqrXsqrmarkXsqrXtruesqr11sactiveXsXsmarkXsXtrues11addX1markX2addX1X2addmarkX1X2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2trueadd22addmarkX1X2addX1X2addactiveX1X2addX1X2add21dblactiveXdblXdblmarkXdblXtruedbl11firstX1markX2firstX1X2firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truefirst22firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2first21