activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2propernilokniltermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2topmarkXtopproperXtopokXtopactiveXactivetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivedblsXdblXactivedblsXsdblXactivedblsXssdblXactiveaddsXYaddXYactiveaddsXYsaddXYactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivetermsXactiveXactivetermsXtermsactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activerecipXactiveXactiverecipXrecipactiveXactivesqrXactiveXactivesqrXsqractiveXactiveaddX1X2activeX1activeaddX1X2addactiveX1X2activeaddX1X2activeX2activeaddX1X2addX1activeX2activedblXactiveXactivedblXdblactiveXactivefirstX1X2activeX1activefirstX1X2firstactiveX1X2activefirstX1X2activeX2activefirstX1X2firstX1activeX2termsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2propertermsXproperXpropertermsXtermsproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properrecipXproperXproperrecipXrecipproperXpropersqrXproperXpropersqrXsqrproperXpropersXproperXpropersXsproperXproperaddX1X2properX2properaddX1X2properX1properaddX1X2addproperX1properX2properdblXproperXproperdblXdblproperXproperfirstX1X2properX2properfirstX1X2properX1properfirstX1X2firstproperX1properX2termsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1top1214ok1110proper1110nil03first221224add281120dbl11316002mark1112cons211020s1011recip1210sqr1410active1110terms11012topokXtopactiveXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2sokXoksXtermsmarkXmarktermsXtermsokXoktermsXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2propertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2properniloknil1top1413ok1818nil00first251020add201120dbl1311001mark1010cons201725s1010recip1110sqr1410active1810terms1110activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2termsmarkXmarktermsXtermsokXoktermsXsqrmarkXmarksqrXsqrokXoksqrXrecipmarkXmarkrecipXrecipokXokrecipXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2dblmarkXmarkdblXdblokXokdblXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2addokX1okX2okaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2topokXactiveXfalseactivetermsXactiveXactiveconsX1X2activeX1activerecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2true1active18114first211220add231120dbl1513cons211020recip1110sqr1110terms1414activeconsX1X2activeX1activerecipXactiveXactivesqrXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activefirstX1X2activeX1activefirstX1X2activeX21active1810first221120add211123cons211020recip1217sqr1110activeconsX1X2activeX1activesqrXactiveXactivefirstX1X2activeX1activefirstX1X2activeX21active11110first211122cons211020sqr1219activeconsX1X2activeX11active18112cons211023activefirstX1X2firstX1activeX2falseactivefirstX1X2firstactiveX1X2falseactivedblXdblactiveXfalseactiveaddX1X2addX1activeX2falseactiveaddX1X2addactiveX1X2falseactivesqrXsqractiveXfalseactiverecipXrecipactiveXfalseactiveconsX1X2consactiveX1X2falseactivetermsXtermsactiveXfalseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalseactivetermsNconsrecipsqrNtermssNfalseactivetermsNrecipsqrNfalseactivetermsNsqrNfalseactivetermsNtermssNfalseactivetermsNsNfalsetopmarkXproperXfalsepropertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX1properdblXproperXproperfirstX1X2properX2properfirstX1X2properX1true1proper1114first211129add211120dbl1211cons211120s1110recip1110sqr1110terms1110propertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX11proper1310add211127cons241327s1116recip1617sqr1216terms16110properfirstX1X2firstproperX1properX2falsefirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstokX1okX2firstX1X2true1first271426ok1515mark1818properdblXdblproperXfalsedblmarkXdblXdblokXdblXtrue1dbl11113ok1113mark11019properaddX1X2addproperX1properX2falseaddmarkX1X2addX1X2addX1markX2addX1X2addokX1okX2addX1X2true1add271426ok1515mark1818propersXsproperXfalsesokXsXtrue1s1410ok18110propersqrXsqrproperXfalsesqrmarkXsqrXsqrokXsqrXtrue1sqr11113ok1113mark11019properrecipXrecipproperXfalserecipmarkXrecipXrecipokXrecipXtrue1recip11113ok1113mark11019properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons281120ok1413mark1110consmarkX1X2consX1X21cons2810212mark1113propertermsXtermsproperXfalsetermsmarkXtermsXtermsokXtermsXtrue1terms11113ok1113mark11019