activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2activetermsNmarkconsrecipsqrNtermssNactivetermsNconsrecipsqrNtermssNactivetermsNrecipsqrNactivetermsNsqrNactivetermsNtermssNactivetermsNsNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXaddsqrXdblXactivesqrsXsqrXactivesqrsXdblXactivedbl0mark0activedblsXmarkssdblXactivedblsXssdblXactivedblsXsdblXactivedblsXdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactiveaddsXYsaddXYactiveaddsXYaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZfirstXZmarktermsXactivetermsmarkXmarktermsXtermsmarkXmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1markrecipXactiverecipmarkXmarkrecipXrecipmarkXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXsqrmarkXmarksqrXmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markaddX1X2addmarkX1markX2markaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXdblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2firstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truemarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXactiveadd0XmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2true1234567891011121314151617181920212223242526272829303132333435361mark111terms111active111mark111cons211recip111sqr111s10add21112dbl111001first21112active111nil00marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarktermsXmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21mark111terms1111active111mark111cons211recip111sqr111s10add21112dbl111first21112active111000nil00marktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1markrecipXactiverecipmarkXactivedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21mark11terms10active111mark10cons20sqr11s10add21dbl11recip10first21active10000nil00activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1activedblsXmarkssdblXmarkrecipXmarkXmarksqrXactivesqrmarkXmarksqrXmarkXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21active111sqr111s10mark111add21112dbl111cons211recip1111mark111first21112active111terms1111000nil00activesqrsXmarksaddsqrXdblXmarkconsX1X2markX1activedblsXmarkssdblXmarksqrXactivesqrmarkXmarksqrXmarkXactiveaddsXYmarksaddXYmarkaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkaddX1X2markX1markaddX1X2markX2markdblXactivedblmarkXmarkdblXmarkXmarkfirstX1X2activefirstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX21active111sqr1111s11mark1111add211112dbl1111cons2111mark111first21112active111terms1111recip10001nil00activesqrsXmarksaddsqrXdblXactivedblsXmarkssdblXactiveaddsXYmarksaddXYactivefirstsXconsYZmarkconsYfirstXZmarkfirstX1X2markX1markfirstX1X2markX2activesqrsXmarksaddsqrXdblXfalse4activedblsXmarkssdblXfalse3activeaddsXYmarksaddXYfalse2activefirstsXconsYZmarkconsYfirstXZfalse1markfirstX1X2markX2markfirstX1X2markX1true1mark111first211112active111terms11mark111cons212recip10sqr1111s111000add212dbl10nil00activesqr0mark0false3567891011121314151617181920212223242526272829303132333435activedbl0mark0false245678910111213141516171819202122232425262728293031323334mark0active0false23456789101112131415161718192021222324252627282930313233activefirst0Xmarknilfalse2457910121314151617182021232526272829303132marknilactivenilfalse134689111213141516171920222425262728293031activetermsNconsrecipsqrNtermssNfalse23activetermsNrecipsqrNfalse22activetermsNsqrNfalse22activetermsNtermssNfalse21activetermsNsNfalse20activesqrsXsaddsqrXdblXfalse20activesqrsXaddsqrXdblXfalse19activesqrsXsqrXfalse19activesqrsXdblXfalse18activedblsXssdblXfalse17activedblsXsdblXfalse17activedblsXdblXfalse16activeaddsXYsaddXYfalse15activeaddsXYaddXYfalse14activefirstsXconsYZconsYfirstXZfalse13activefirstsXconsYZfirstXZfalse13marktermsXtermsmarkXfalse12markconsX1X2consmarkX1X2false11markrecipXrecipmarkXfalse11marksqrXsqrmarkXfalse10markaddX1X2addmarkX1markX2false9markdblXdblmarkXfalse9markfirstX1X2firstmarkX1markX2false8termsactiveXtermsXtermsmarkXtermsXtrue1terms111active111mark1111terms11cons20recip10sqr1111s10001add2112dbl1111first2111nil00termsactiveXtermsX1terms111active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1cons212mark1111active111terms1111cons20recip11sqr1111s10001add2112dbl1111first2111nil00consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X21cons21112mark1111active111terms11cons20recip10sqr11s10000add2112dbl11first21nil00consactiveX1X2consX1X2consX1activeX2consX1X21cons21112active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00recipactiveXrecipXrecipmarkXrecipXtrue1recip111active111mark1111terms11cons20recip10sqr1111s10001add2112dbl1111first2111nil00recipactiveXrecipX1recip111active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00sqractiveXsqrXsqrmarkXsqrXtrue1sqr111active111mark1111terms11cons20recip10sqr1111s10001add2112dbl1111first2111nil00sqractiveXsqrX1sqr111active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00sactiveXsXsmarkXsXtrue1s111active111mark1111terms11cons20recip10sqr1111s10001add2112dbl1111first2111nil00sactiveXsX1s111active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00addX1markX2addX1X2addmarkX1X2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2true1add212mark1111active111terms1111cons20recip11sqr1111s10001add2112dbl1111first2111nil00addmarkX1X2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X21add21112mark1111active111terms11cons20recip10sqr11s10000add2112dbl11first21nil00addactiveX1X2addX1X2addX1activeX2addX1X21add21112active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00dblactiveXdblXdblmarkXdblXtrue1dbl111active111mark1111terms11cons20recip10sqr1111s10001add2112dbl1111first2111nil00dblactiveXdblX1dbl111active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00firstX1markX2firstX1X2firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2true1first212mark1111active111terms1111cons20recip11sqr1111s10001add2112dbl1111first2111nil00firstmarkX1X2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21first21112mark1111active111terms11cons20recip10sqr11s10000add2112dbl11first21nil00firstactiveX1X2firstX1X2firstX1activeX2firstX1X21first21112active1111terms10mark11cons20recip10sqr10s10000add20dbl10first20nil00