activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactivesXsactiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXsmarkXmarksXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2topmarkXtopproperXtopokXtopactiveXactivetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivedblsXdblXactivedblsXsdblXactivedblsXssdblXactiveaddsXYaddXYactiveaddsXYsaddXYactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivetermsXactiveXactivetermsXtermsactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activerecipXactiveXactiverecipXrecipactiveXactivesqrXactiveXactivesqrXsqractiveXactivesXactiveXactivesXsactiveXactiveaddX1X2activeX1activeaddX1X2addactiveX1X2activeaddX1X2activeX2activeaddX1X2addX1activeX2activedblXactiveXactivedblXdblactiveXactivefirstX1X2activeX1activefirstX1X2firstactiveX1X2activefirstX1X2activeX2activefirstX1X2firstX1activeX2termsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXsmarkXsXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2propertermsXproperXpropertermsXtermsproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properrecipXproperXproperrecipXrecipproperXpropersqrXproperXpropersqrXsqrproperXpropersXproperXpropersXsproperXproperaddX1X2properX2properaddX1X2properX1properaddX1X2addproperX1properX2properdblXproperXproperdblXdblproperXproperfirstX1X2properX2properfirstX1X2properX1properfirstX1X2firstproperX1properX2termsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetop14ok113proper13nil02first214add211dbl1140011mark18cons29s110recip115sqr115active112terms116terms11active11sqr11recip11s11cons21mark1100dbl11add212first212nil0proper11ok11top11topokXtopactiveXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactivesXsactiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2smarkXmarksXsokXoksXtermsmarkXmarktermsXtermsokXoktermsXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltop13ok16nil00first27add23dbl13001mark19cons21s14recip17sqr15active12terms18terms11active11sqr11recip11s11cons22mark1100dbl11add22first21nil0ok11top11activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactivesXsactiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2smarkXmarksXsokXoksXtermsmarkXmarktermsXtermsokXoktermsXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2topokXactiveXfalseactivetermsXactiveXactiveconsX1X2activeX1activerecipXactiveXactivesqrXactiveXactivesXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2trueactive11activefirstX1X2firstX1activeX2falseactivefirstX1X2firstactiveX1X2falseactivedblXdblactiveXfalseactiveaddX1X2addX1activeX2falseactiveaddX1X2addactiveX1X2falseactivesXsactiveXfalseactivesqrXsqractiveXfalseactiverecipXrecipactiveXfalseactiveconsX1X2consactiveX1X2falseactivetermsXtermsactiveXfalseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalseactivetermsNconsrecipsqrNtermssNfalseactivetermsNrecipsqrNfalseactivetermsNsqrNfalseactivetermsNtermssNfalseactivetermsNsNfalsetopmarkXproperXfalsepropertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX1properdblXproperXproperfirstX1X2properX2properfirstX1X2properX1trueproper11properfirstX1X2firstproperX1properX2falsefirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstokX1okX2firstX1X2truefirst22firstmarkX1X2firstX1X2first21properdblXdblproperXfalsedblmarkXdblXdblokXdblXtruedbl11properaddX1X2addproperX1properX2falseaddmarkX1X2addX1X2addX1markX2addX1X2addokX1okX2addX1X2trueadd22addmarkX1X2addX1X2add21propersXsproperXfalsesmarkXsXsokXsXtrues11propersqrXsqrproperXfalsesqrmarkXsqrXsqrokXsqrXtruesqr11properrecipXrecipproperXfalserecipmarkXrecipXrecipokXrecipXtruerecip11properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2truecons22consmarkX1X2consX1X2cons21propertermsXtermsproperXfalsetermsmarkXtermsXtermsokXtermsXtrueterms11