activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2topmarkXtopproperXtopokXtopactiveXactivetermsNconsrecipsqrNtermssNactivetermsNrecipsqrNactivetermsNsqrNactivetermsNtermssNactivetermsNsNactivesqrsXsaddsqrXdblXactivesqrsXaddsqrXdblXactivesqrsXsqrXactivesqrsXdblXactivedblsXssdblXactivedblsXsdblXactivedblsXdblXactiveaddsXYsaddXYactiveaddsXYaddXYactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZfirstXZactivetermsXtermsactiveXactivetermsXactiveXactiveconsX1X2consactiveX1X2activeconsX1X2activeX1activerecipXrecipactiveXactiverecipXactiveXactivesqrXsqractiveXactivesqrXactiveXactiveaddX1X2addactiveX1X2activeaddX1X2activeX1activeaddX1X2addX1activeX2activeaddX1X2activeX2activedblXdblactiveXactivedblXactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2activeX1activefirstX1X2firstX1activeX2activefirstX1X2activeX2termsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2propertermsXtermsproperXpropertermsXproperXproperconsX1X2consproperX1properX2properconsX1X2properX1properconsX1X2properX2properrecipXrecipproperXproperrecipXproperXpropersqrXsqrproperXpropersqrXproperXpropersXsproperXpropersXproperXproperaddX1X2addproperX1properX2properaddX1X2properX1properaddX1X2properX2properdblXdblproperXproperdblXproperXproperfirstX1X2firstproperX1properX2properfirstX1X2properX1properfirstX1X2properX2termsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2topmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1234567891011121314151617181920212223242526272829303132333435363738394041424344451proper111terms121cons21112recip111sqr121s111000ok121add21112dbl111first22122nil00mark111active121top111topokXtopactiveXtopmarkXtopproperXpropertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2properniloknilfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2sokXoksXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2termsmarkXmarktermsXtermsokXoktermsXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2properniloknilfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2sokXoksXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2termsmarkXmarktermsXtermsokXoktermsXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX21top121ok111active111mark1211proper111terms1241cons221recip111sqr121s16004add24112dbl141first264122nil04topokXtopactiveX1top111ok1111active111terms111mark10cons211112recip111sqr111s11001add2111dbl111first2112nil00activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2consmarkX1X2markconsX1X2consokX1okX2okconsX1X2termsmarkXmarktermsXtermsokXoktermsXrecipmarkXmarkrecipXrecipokXokrecipXsqrmarkXmarksqrXsqrokXoksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2dblmarkXmarkdblXdblokXokdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2topokXactiveXfalse24578911121415161819202123242527282931323334353738394041424344activeconsX1X2activeX1activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2true2591216212529353637383940414243active11activetermsNconsrecipsqrNtermssNfalse235679101213141617181921222325262729303132333536373839404142activetermsNrecipsqrNfalse371014192327333435363738394041activetermsNsqrNfalse33activetermsNtermssNfalse32activetermsNsNfalse31activesqrsXsaddsqrXdblXfalse31activesqrsXaddsqrXdblXfalse30activesqrsXsqrXfalse29activesqrsXdblXfalse28activedblsXssdblXfalse28activedblsXsdblXfalse27activedblsXdblXfalse26activeaddsXYsaddXYfalse26activeaddsXYaddXYfalse25activefirstsXconsYZconsYfirstXZfalse24activefirstsXconsYZfirstXZfalse23activetermsXtermsactiveXfalse23activeconsX1X2consactiveX1X2false22activerecipXrecipactiveXfalse21activesqrXsqractiveXfalse20activeaddX1X2addactiveX1X2false19activeaddX1X2addX1activeX2false19activedblXdblactiveXfalse18activefirstX1X2firstactiveX1X2false17activefirstX1X2firstX1activeX2false16topmarkXproperXfalse16properconsX1X2properX1propertermsXproperXproperconsX1X2properX2properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX1properaddX1X2properX2properdblXproperXproperfirstX1X2properX1properfirstX1X2properX2true15proper11propertermsXtermsproperXfalse14termsokXtermsXtermsmarkXtermsXtrue13terms11properconsX1X2consproperX1properX2false13consokX1okX2consX1X2consmarkX1X2consX1X2true12cons22consmarkX1X2consX1X2cons21properrecipXrecipproperXfalse11recipokXrecipXrecipmarkXrecipXtrue10recip11propersqrXsqrproperXfalse9sqrokXsqrXsqrmarkXsqrXtrue8sqr11properaddX1X2addproperX1properX2falseaddX1markX2addX1X2addmarkX1X2addX1X2addokX1okX2addX1X2trueadd22addmarkX1X2addX1X2add21properdblXdblproperXfalsedblokXdblXdblmarkXdblXtruedbl11properfirstX1X2firstproperX1properX2falsefirstX1markX2firstX1X2firstmarkX1X2firstX1X2firstokX1okX2firstX1X2truefirst22firstmarkX1X2firstX1X2first21propersXsproperXfalsesokXsXtrues11