a__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2a__termsNmarkNa__termsNa__sqrmarkNa__add0XmarkXa__firstsXconsYZmarkYmarktermsXmarkXmarktermsXa__termsmarkXmarksqrXmarkXmarksqrXa__sqrmarkXmarkaddX1X2markX2markaddX1X2markX1markaddX1X2a__addmarkX1markX2markdblXmarkXmarkdblXa__dblmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXtruea__firstsXconsYZmarkYmarktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markaddX1X2a__addmarkX1markX2a__add0XmarkXmarkdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXtrue1a__first271421a__add221420mark1111a__terms1111first2141820nil01a__first2141820a__add241820a__dbl1210add241820dbl1210sqr1110002cons211020terms1410s1010recip1210a__sqr1110mark1210a__terms1410a__firstsXconsYZmarkYmarktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkX1a__first271420mark1810a__terms11117first251420nil00a__first251420a__add211220a__dbl1410add211220dbl1410sqr1110000cons221020terms1514s1010recip1110a__sqr1110mark1210a__terms1515a__firstsXconsYZmarkYmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkX1a__first211320mark1210first211420nil00a__first211420a__add211420a__dbl1110add211420dbl1110sqr1210000cons211020terms1818s1011recip1110a__sqr1210mark1210a__terms1818marksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXmarkfirstX1X2markX2marksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX1markconsX1X2markX1markrecipXmarkXtruemark11markfirstX1X2a__firstmarkX1markX2falsea__termsNa__sqrmarkNfalsemarkdblXa__dblmarkXfalsemarksqrXa__sqrmarkXfalse