activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2topmarkXtopproperXtopokXtopactiveXactivetermsNconsrecipsqrNtermssNactivetermsNrecipsqrNactivetermsNsqrNactivetermsNtermssNactivetermsNsNactivesqrsXsaddsqrXdblXactivesqrsXaddsqrXdblXactivesqrsXsqrXactivesqrsXdblXactivedblsXssdblXactivedblsXsdblXactivedblsXdblXactiveaddsXYsaddXYactiveaddsXYaddXYactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZfirstXZactivetermsXtermsactiveXactivetermsXactiveXactiveconsX1X2consactiveX1X2activeconsX1X2activeX1activerecipXrecipactiveXactiverecipXactiveXactivesqrXsqractiveXactivesqrXactiveXactiveaddX1X2addactiveX1X2activeaddX1X2activeX1activeaddX1X2addX1activeX2activeaddX1X2activeX2activedblXdblactiveXactivedblXactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2activeX1activefirstX1X2firstX1activeX2activefirstX1X2activeX2termsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2propertermsXtermsproperXpropertermsXproperXproperconsX1X2consproperX1properX2properconsX1X2properX1properconsX1X2properX2properrecipXrecipproperXproperrecipXproperXpropersqrXsqrproperXpropersqrXproperXpropersXsproperXpropersXproperXproperaddX1X2addproperX1properX2properaddX1X2properX1properaddX1X2properX2properdblXdblproperXproperdblXproperXproperfirstX1X2firstproperX1properX2properfirstX1X2properX1properfirstX1X2properX2termsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2topmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1234567891011121314151617181920212223242526272829303132333435363738394041424344451top141ok111active111mark1111proper111terms1441cons211recip111sqr1121s14001add241142dbl1421first24142nil00top10topokXtopactiveX1top111ok1111active111terms111mark111cons212recip111sqr111s111000add212dbl111first2111nil01proper1111top10topokXactiveXfalse24578911121415161819202123242527282931323334353738394041424344activeconsX1X2activeX1activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2true25912162125293536373839404142431active111cons2111terms111recip111sqr111add21112dbl111first21112active111mark10s111001nil00proper111ok10top10activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX21active111terms111recip1111sqr111add21112dbl111first21112active1111mark10cons21112s111000nil01proper111ok10top10activetermsXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX21active111terms111sqr1111add21112dbl1111first211112active111mark10cons2111recip1111s1111001nil01proper111ok11top10activetermsXactiveXactiveaddX1X2activeX1activeaddX1X2activeX21active111terms111add211112active1111mark10cons20recip10sqr10s111001dbl10first212nil01proper111ok10top10activetermsXactiveX1active111terms1111active111mark10cons21recip11sqr11s10000add21dbl11first21nil01proper1111ok111top10activetermsNconsrecipsqrNtermssNfalse235679101213141617181921222325262729303132333536373839404142activetermsNrecipsqrNfalse371014192327333435363738394041activetermsNsqrNfalse33activetermsNtermssNfalse32activetermsNsNfalse31activesqrsXsaddsqrXdblXfalse31activesqrsXaddsqrXdblXfalse30activesqrsXsqrXfalse29activesqrsXdblXfalse28activedblsXssdblXfalse28activedblsXsdblXfalse27activedblsXdblXfalse26activeaddsXYsaddXYfalse26activeaddsXYaddXYfalse25activefirstsXconsYZconsYfirstXZfalse24activefirstsXconsYZfirstXZfalse23activetermsXtermsactiveXfalse23activeconsX1X2consactiveX1X2false22activerecipXrecipactiveXfalse21activesqrXsqractiveXfalse20activeaddX1X2addactiveX1X2false19activeaddX1X2addX1activeX2false19activedblXdblactiveXfalse18activefirstX1X2firstactiveX1X2false17activefirstX1X2firstX1activeX2false16topmarkXproperXfalse16properconsX1X2properX1propertermsXproperXproperconsX1X2properX2properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX1properaddX1X2properX2properdblXproperXproperfirstX1X2properX1properfirstX1X2properX2true151proper111cons21112terms1111recip1111sqr111s111add211112dbl111first21112active111mark10001nil01proper111ok10top10properconsX1X2properX1properconsX1X2properX2propersqrXproperXpropersXproperXproperdblXproperXproperfirstX1X2properX1properfirstX1X2properX21proper111cons21112sqr1111s111dbl111first21112active1111terms11mark11recip11000add21112nil00proper111ok111top10properconsX1X2properX1properconsX1X2properX2propersXproperXproperdblXproperXproperfirstX1X2properX1properfirstX1X2properX21proper111cons211112s1111dbl1111first21112active111terms10mark10recip10sqr111000add21112nil00proper111ok111top10properfirstX1X2properX1properfirstX1X2properX21proper111first211112active1111terms10mark10cons212recip11sqr10s1111001add211112dbl10nil01proper111ok10top10propertermsXtermsproperXfalse14termsokXtermsXtermsmarkXtermsXtrue131terms111ok111mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10top10termsokXtermsX1terms111ok1111active1111terms111mark10cons211recip111sqr111s111000add211dbl111first2112nil01proper1111top10properconsX1X2consproperX1properX2false13consokX1okX2consX1X2consmarkX1X2consX1X2true121cons212ok1111mark10active1111terms111cons211recip111sqr111s111000add212dbl111first211nil00proper11top10consmarkX1X2consX1X21cons211mark1111active1111terms1111cons211recip111sqr1111s10001add211112dbl1111first21112nil01proper111ok10top10properrecipXrecipproperXfalse11recipokXrecipXrecipmarkXrecipXtrue101recip111ok111mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10top10recipokXrecipX1recip111ok1111active1111terms111mark10cons211recip111sqr111s111000add211dbl111first2112nil01proper1111top10propersqrXsqrproperXfalse9sqrokXsqrXsqrmarkXsqrXtrue81sqr111ok111mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10top10sqrokXsqrX1sqr111ok1111active1111terms111mark10cons211recip111sqr111s111000add211dbl111first2112nil01proper1111top10properaddX1X2addproperX1properX2falseaddX1markX2addX1X2addmarkX1X2addX1X2addokX1okX2addX1X2true1add211mark111ok1111active1111terms1111cons2111recip111sqr1111s111000add212dbl111first212nil00proper1111top10addX1markX2addX1X2addmarkX1X2addX1X21add211mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10ok10top10addX1markX2addX1X21add212mark1111active1111terms1111cons211recip111sqr1111s10001add211112dbl1111first21112nil01proper111ok10top10properdblXdblproperXfalsedblokXdblXdblmarkXdblXtrue1dbl111ok111mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10top10dblokXdblX1dbl111ok1111active1111terms111mark10cons211recip111sqr111s111000add211dbl111first2112nil01proper1111top10properfirstX1X2firstproperX1properX2falsefirstX1markX2firstX1X2firstmarkX1X2firstX1X2firstokX1okX2firstX1X2true1first211mark111ok1111active1111terms1111cons2111recip111sqr1111s111000add212dbl111first212nil00proper1111top10firstX1markX2firstX1X2firstmarkX1X2firstX1X21first211mark1111active1111terms111cons211recip111sqr111s10000add21112dbl111first21112nil00proper10ok10top10firstX1markX2firstX1X21first212mark1111active1111terms1111cons211recip111sqr1111s10001add211112dbl1111first21112nil01proper111ok10top10propersXsproperXfalsesokXsXtrue1s111ok1111active1111terms111mark10cons211recip111sqr111s111000add211dbl111first2112nil01proper1111top10