activetermsNmarkconsrecipsqrNtermssNactivesqr0mark0activesqrsXmarksaddsqrXdblXactivedbl0mark0activedblsXmarkssdblXactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivehalf0mark0activehalfs0mark0activehalfssXmarkshalfXactivehalfdblXmarkXactivetermsXtermsactiveXactiveconsX1X2consactiveX1X2activerecipXrecipactiveXactivesqrXsqractiveXactivesXsactiveXactiveaddX1X2addactiveX1X2activeaddX1X2addX1activeX2activedblXdblactiveXactivefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2activehalfXhalfactiveXtermsmarkXmarktermsXconsmarkX1X2markconsX1X2recipmarkXmarkrecipXsqrmarkXmarksqrXsmarkXmarksXaddmarkX1X2markaddX1X2addX1markX2markaddX1X2dblmarkXmarkdblXfirstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2halfmarkXmarkhalfXpropertermsXtermsproperXproperconsX1X2consproperX1properX2properrecipXrecipproperXpropersqrXsqrproperXpropersXsproperXproper0ok0properaddX1X2addproperX1properX2properdblXdblproperXproperfirstX1X2firstproperX1properX2properniloknilproperhalfXhalfproperXtermsokXoktermsXconsokX1okX2okconsX1X2recipokXokrecipXsqrokXoksqrXsokXoksXaddokX1okX2okaddX1X2dblokXokdblXfirstokX1okX2okfirstX1X2halfokXokhalfXtopmarkXtopproperXtopokXtopactiveXactivetermsNsNactivetermsNtermssNactivetermsNsqrNactivetermsNrecipsqrNactivetermsNconsrecipsqrNtermssNactivesqrsXdblXactivesqrsXsqrXactivesqrsXaddsqrXdblXactivesqrsXsaddsqrXdblXactivedblsXdblXactivedblsXsdblXactivedblsXssdblXactiveaddsXYaddXYactiveaddsXYsaddXYactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivehalfssXhalfXactivehalfssXshalfXactivetermsXactiveXactivetermsXtermsactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activerecipXactiveXactiverecipXrecipactiveXactivesqrXactiveXactivesqrXsqractiveXactivesXactiveXactivesXsactiveXactiveaddX1X2activeX1activeaddX1X2addactiveX1X2activeaddX1X2activeX2activeaddX1X2addX1activeX2activedblXactiveXactivedblXdblactiveXactivefirstX1X2activeX1activefirstX1X2firstactiveX1X2activefirstX1X2activeX2activefirstX1X2firstX1activeX2activehalfXactiveXactivehalfXhalfactiveXtermsmarkXtermsXconsmarkX1X2consX1X2recipmarkXrecipXsqrmarkXsqrXsmarkXsXaddmarkX1X2addX1X2addX1markX2addX1X2dblmarkXdblXfirstmarkX1X2firstX1X2firstX1markX2firstX1X2halfmarkXhalfXpropertermsXproperXpropertermsXtermsproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properrecipXproperXproperrecipXrecipproperXpropersqrXproperXpropersqrXsqrproperXpropersXproperXpropersXsproperXproperaddX1X2properX2properaddX1X2properX1properaddX1X2addproperX1properX2properdblXproperXproperdblXdblproperXproperfirstX1X2properX2properfirstX1X2properX1properfirstX1X2firstproperX1properX2properhalfXproperXproperhalfXhalfproperXtermsokXtermsXconsokX1okX2consX1X2recipokXrecipXsqrokXsqrXsokXsXaddokX1okX2addX1X2dblokXdblXfirstokX1okX2firstX1X2halfokXhalfXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivetermsXactiveXactiveconsX1X2activeX1activerecipXactiveXactivesqrXactiveXactivesXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX2activehalfXactiveXtrue1active16110half1111first211220add211620dbl1110cons211028s1110recip1110sqr1110terms1610activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactivesXactiveXactiveaddX1X2activeX1activeaddX1X2activeX2activedblXactiveXactivefirstX1X2activeX1activefirstX1X2activeX21active1113first2111211add211120dbl1119s1110recip1110sqr1110terms1110activetermsXactiveXactiverecipXactiveXactivesqrXactiveXactivesXactiveXactiveaddX1X2activeX1activeaddX1X2activeX21active1615add231127s1413recip1318sqr11012terms1114activehalfXhalfactiveXfalseactivefirstX1X2firstX1activeX2falseactivefirstX1X2firstactiveX1X2falseactivedblXdblactiveXfalseactiveaddX1X2addX1activeX2falseactiveaddX1X2addactiveX1X2falseactivesXsactiveXfalseactivesqrXsqractiveXfalseactiverecipXrecipactiveXfalseactiveconsX1X2consactiveX1X2falseactivetermsXtermsactiveXfalseactivehalfssXshalfXfalseactivehalfssXhalfXfalseactivefirstsXconsYZconsYfirstXZfalseactivefirstsXconsYZfirstXZfalseactiveaddsXYsaddXYfalseactiveaddsXYaddXYfalseactivedblsXssdblXfalseactivedblsXsdblXfalseactivedblsXdblXfalseactivesqrsXsaddsqrXdblXfalseactivesqrsXaddsqrXdblXfalseactivesqrsXsqrXfalseactivesqrsXdblXfalseactivetermsNconsrecipsqrNtermssNfalseactivetermsNrecipsqrNfalseactivetermsNsqrNfalseactivetermsNtermssNfalseactivetermsNsNfalsetopmarkXproperXfalsepropertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX1properdblXproperXproperfirstX1X2properX2properfirstX1X2properX1properhalfXproperXtrue1proper1518half11110first211120add211120dbl1110cons211120s1110recip1110sqr1110terms1110propertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX1properdblXproperXproperfirstX1X2properX2properfirstX1X2properX11proper1114first211129add211120dbl1211cons211120s1110recip1110sqr1110terms1110propertermsXproperXproperconsX1X2properX2properconsX1X2properX1properrecipXproperXpropersqrXproperXpropersXproperXproperaddX1X2properX2properaddX1X2properX11proper1310add211127cons241327s1116recip1617sqr1216terms16110properhalfXhalfproperXfalsehalfmarkXhalfXhalfokXhalfXtrue1half11113ok1113mark11019properfirstX1X2firstproperX1properX2falsefirstmarkX1X2firstX1X2firstX1markX2firstX1X2firstokX1okX2firstX1X2true1first271426ok1515mark1818properdblXdblproperXfalsedblmarkXdblXdblokXdblXtrue1dbl11113ok1113mark11019properaddX1X2addproperX1properX2falseaddmarkX1X2addX1X2addX1markX2addX1X2addokX1okX2addX1X2true1add271426ok1515mark1818propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019propersqrXsqrproperXfalsesqrmarkXsqrXsqrokXsqrXtrue1sqr11113ok1113mark11019properrecipXrecipproperXfalserecipmarkXrecipXrecipokXrecipXtrue1recip11113ok1113mark11019properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons281120ok1413mark1110consmarkX1X2consX1X21cons2810212mark1113propertermsXtermsproperXfalsetermsmarkXtermsXtermsokXtermsXtrue1terms11113ok1113mark11019