activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2topmarkXtopproperXtopokXtopactiveXactivetermsNconsrecipsqrNtermssNactivetermsNrecipsqrNactivetermsNsqrNactivetermsNtermssNactivetermsNsNactivesqrsXsaddsqrXdblXactivesqrsXaddsqrXdblXactivesqrsXsqrXactivesqrsXdblXactivedblsXssdblXactivedblsXsdblXactivedblsXdblXactiveaddsXYsaddXYactiveaddsXYaddXYactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZfirstXZactivetermsXtermsactiveXactivetermsXactiveXactiveconsX1X2consactiveX1X2activeconsX1X2activeX1activerecipXrecipactiveXactiverecipXactiveXactivesqrXsqractiveXactivesqrXactiveXactiveaddX1X2addactiveX1X2activeaddX1X2activeX1activeaddX1X2addX1activeX2activeaddX1X2activeX2activedblXdblactiveXactivedblXactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2activeX1activefirstX1X2firstX1activeX2activefirstX1X2activeX2termsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2propertermsXtermsproperXpropertermsXproperXproperconsX1X2consproperX1properX2properconsX1X2properX1properconsX1X2properX2properrecipXrecipproperXproperrecipXproperXpropersqrXsqrproperXpropersqrXproperXpropersXsproperXpropersXproperXproperaddX1X2addproperX1properX2properaddX1X2properX1properaddX1X2properX2properdblXdblproperXproperdblXproperXproperfirstX1X2firstproperX1properX2properfirstX1X2properX1properfirstX1X2properX2termsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2topmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1234567891011121314151617181920212223242526272829303132333435363738394041424344451top111ok111active111mark1111proper111terms1241cons211recip111sqr1111s10000add222112dbl1111first244112nil03topokXtopactiveXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2properniloknilconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2termsmarkXmarktermsXtermsokXoktermsXrecipmarkXmarkrecipXrecipokXokrecipXsqrmarkXmarksqrXsqrokXoksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2dblmarkXmarkdblXdblokXokdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2sokXoksX1top111ok1111active111terms111mark10cons211112recip111sqr111s11001add2111dbl111first2112nil00activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2consmarkX1X2markconsX1X2consokX1okX2okconsX1X2termsmarkXmarktermsXtermsokXoktermsXrecipmarkXmarkrecipXrecipokXokrecipXsqrmarkXmarksqrXsqrokXoksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2dblmarkXmarkdblXdblokXokdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2topokXactiveXfalse24578911121415161819202123242527282931323334353738394041424344activeconsX1X2activeX1activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2true25912162125293536373839404142431active111cons2111terms1111recip1111sqr1111add211112dbl111first211112activedblXactiveX31active10001001001001dbl10011101100011activetermsNconsrecipsqrNtermssNfalse235679101213141617181921222325262729303132333536373839404142activetermsNrecipsqrNfalse371014192327333435363738394041activetermsNsqrNfalse33activetermsNtermssNfalse32activetermsNsNfalse31activesqrsXsaddsqrXdblXfalse31activesqrsXaddsqrXdblXfalse30activesqrsXsqrXfalse29activesqrsXdblXfalse28activedblsXssdblXfalse28activedblsXsdblXfalse27activedblsXdblXfalse26activeaddsXYsaddXYfalse26activeaddsXYaddXYfalse25activefirstsXconsYZconsYfirstXZfalse24activefirstsXconsYZfirstXZfalse23activetermsXtermsactiveXfalse23activeconsX1X2consactiveX1X2false22activerecipXrecipactiveXfalse21activesqrXsqractiveXfalse20activeaddX1X2addactiveX1X2false19activeaddX1X2addX1activeX2false19activedblXdblactiveXfalse18activefirstX1X2firstactiveX1X2false17activefirstX1X2firstX1activeX2false16topmarkXproperXfalse16properconsX1X2properX1propertermsXproperXproperconsX1X2properX2properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX1properaddX1X2properX2properdblXproperXproperfirstX1X2properX1properfirstX1X2properX2true151proper111cons211112terms1111recip1111sqr1111s1111add211112dbl1111first21112properfirstX1X2properX1properfirstX1X2properX231proper10001001001001first200100111111111101101102propertermsXtermsproperXfalse14termsokXtermsXtermsmarkXtermsXtrue131terms111ok1111mark1111properconsX1X2consproperX1properX2false13consokX1okX2consX1X2consmarkX1X2consX1X2true121cons212ok1111mark10consmarkX1X2consX1X231cons200010010010010000000002mark10011101100011properrecipXrecipproperXfalse11recipokXrecipXrecipmarkXrecipXtrue101recip111ok1111mark1111propersqrXsqrproperXfalse9sqrokXsqrXsqrmarkXsqrXtrue81sqr111ok1111mark1111properaddX1X2addproperX1properX2falseaddX1markX2addX1X2addmarkX1X2addX1X2addokX1okX2addX1X2true1add211mark1111ok1111addX1markX2addX1X231add200000000000011001001002mark10011101100011properdblXdblproperXfalsedblokXdblXdblmarkXdblXtrue1dbl111ok1111mark1111properfirstX1X2firstproperX1properX2falsefirstX1markX2firstX1X2firstmarkX1X2firstX1X2firstokX1okX2firstX1X2true1first211mark1111ok1111firstX1markX2firstX1X231first200000000000011001001002mark10011101100011propersXsproperXfalsesokXsXtrue1s111ok1111