activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2activetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXdblXactivedblsXsdblXactivedblsXssdblXactivedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYaddXYactiveaddsXYsaddXYactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivefirstsXconsYZmarkconsYfirstXZmarktermsXmarkXmarktermsXtermsmarkXmarktermsXactivetermsmarkXmarkconsX1X2markX1markconsX1X2consmarkX1X2markconsX1X2activeconsmarkX1X2markrecipXmarkXmarkrecipXrecipmarkXmarkrecipXactiverecipmarkXmarksqrXmarkXmarksqrXsqrmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2markX2markaddX1X2markX1markaddX1X2addmarkX1markX2markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXdblmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2firstmarkX1markX2markfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2truemarkfirstX1X2markX2marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1markconsX1X2activeconsmarkX1X2activesqrsXmarksaddsqrXdblXmarkrecipXmarkXmarkrecipXactiverecipmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveadd0XmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2true1mark1012active1110nil01first201022add201022dbl1012004mark1012cons201020s1012recip1012sqr1012active1814terms1012markfirstX1X2markX2marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1activesqrsXmarksaddsqrXdblXmarkrecipXmarkXmarkrecipXactiverecipmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveadd0XmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2termsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark1012active1210nil00first201021add201021dbl1011000mark11210cons201420s1011recip1010sqr1011active13113terms1011markfirstX1X2markX2marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1activesqrsXmarksaddsqrXdblXmarkrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveadd0XmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2termsmarkXtermsXtermsactiveXtermsXrecipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark1810active1810nil02first221220add241420dbl1110001mark1110cons211020s1010recip1110sqr1110active1110terms1410markfirstX1X2markX2marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1activesqrsXmarksaddsqrXdblXmarkrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXmarksXactivesXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark1018active1410nil00first201022add201022dbl1012001mark10112cons221520s1010recip1417sqr1012active1118terms1012markfirstX1X2markX2marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1activesqrsXmarksaddsqrXdblXmarkrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2activefirstsXconsYZmarkconsYfirstXZmarkdblXmarkXmarkdblXactivedblmarkXmarkfirstX1X2markX1markfirstX1X2activefirstmarkX1markX2termsmarkXtermsXtermsactiveXtermsXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark11010active1810nil04first211226add261220dbl1410005mark1110cons221020s1010recip1110sqr1110active1110terms1410marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1activesqrsXmarksaddsqrXdblXmarkrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXactivedblmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark1818active1418nil04first2214212add221420dbl1210000mark1210cons211020s1012recip1110sqr1310active1110terms1610marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1markrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarksqrXactivesqrmarkXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXactivedblmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark1018active1110nil00first261420add201028dbl10180010mark1012cons281224s1014recip1012sqr1010active1015terms1018marktermsXmarkXmarktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1markrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXactiveaddsXYmarksaddXYmarkaddX1X2markX2markaddX1X2markX1markaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXactivedblmarkXtermsmarkXtermsXtermsactiveXtermsXsqrmarkXsqrXsqractiveXsqrXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblX1mark1810active1810nil00first201120add241424dbl1210003mark1110cons221120s1010recip1210sqr1110active1110terms1612marktermsXactivetermsmarkXactivetermsNmarkconsrecipsqrNtermssNmarkconsX1X2markX1markrecipXmarkXactivedblsXmarkssdblXmarksqrXmarkXmarkaddX1X2activeaddmarkX1markX2markdblXmarkXmarkdblXactivedblmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark18114active1818nil02first281424add201420dbl1113001mark1110cons211021s1010recip1210sqr1210active1110terms1414markrecipXmarkXmarksqrXmarkXactivetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZmarktermsXactivetermsmarkXmarkconsX1X2activeconsmarkX1X2markrecipXactiverecipmarkXmarksqrXactivesqrmarkXmarksXactivesXmark0active0markaddX1X2activeaddmarkX1markX2markdblXactivedblmarkXmarkfirstX1X2activefirstmarkX1markX2marknilactiveniltermsmarkXtermsXtermsactiveXtermsXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2recipmarkXrecipXrecipactiveXrecipXsqrmarkXsqrXsqractiveXsqrXsmarkXsXsactiveXsXaddmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2dblmarkXdblXdblactiveXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X21mark11113recip11019sqr1113markdblXdblmarkXfalseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalseactivefirst0XmarknilfalsemarkaddX1X2addmarkX1markX2falseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalsemarksqrXsqrmarkXfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalseactivedbl0mark0falsemarkrecipXrecipmarkXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalseactivesqr0mark0falsemark0active0falsemarkconsX1X2consmarkX1X2falseactivetermsNconsrecipsqrNtermssNfalseconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1cons231325mark11510active18113consmarkX1X2consX1X2consX1markX2consX1X21cons2111020mark1413consX1markX2consX1X21cons2018212mark1113activetermsNrecipsqrNfalserecipmarkXrecipXrecipactiveXrecipXtrue1recip11113mark11019active1113activetermsNsqrNfalsesqrmarkXsqrXsqractiveXsqrXtrue1sqr11113mark11019active1113activetermsNtermssNfalseactivetermsNsNfalsesmarkXsXsactiveXsXtrue1s11113mark11019active1113marktermsXtermsmarkXfalsetermsmarkXtermsXtermsactiveXtermsXtrue1terms11113mark11019active1113markfirstX1X2firstmarkX1markX2falsemarknilactivenilfalsedblmarkXdblXdblactiveXdblXtrue1dbl11113mark11019active1113addmarkX1X2addX1X2addX1markX2addX1X2addactiveX1X2addX1X2addX1activeX2addX1X2true1add231325mark11510active18113addmarkX1X2addX1X2addX1markX2addX1X21add2111020mark1413addX1markX2addX1X21add2018212mark1113firstmarkX1X2firstX1X2firstX1markX2firstX1X2firstactiveX1X2firstX1X2firstX1activeX2firstX1X2true1first231325mark11510active18113firstmarkX1X2firstX1X2firstX1markX2firstX1X21first2111020mark1413firstX1markX2firstX1X21first2018212mark1113