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__first2121820a__add221820mark1810a__terms11010first271420nil00a__first271420a__add211420a__dbl1210add211420dbl1210sqr1110002cons211020terms1610s1010recip1110a__sqr1110mark1410a__terms1610a__firstsXconsYZmarkYmarktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markaddX1X2a__addmarkX1markX2markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2a__firstsXconsYZmarkYmarktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXtrue1a__first2121420mark1310a__terms1310first2411220nil00a__first2411220a__add241120a__dbl1410add241120dbl1410sqr1110000cons211020terms11010s1014recip11010a__sqr1110mark1110a__terms11010marktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2markfirstX1X2markX2marktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX1markconsX1X2markX1markrecipXmarkXtrue1mark1210a__terms1210first211220nil03a__first211220a__add2111220a__dbl1410add2111220dbl1410sqr1110009cons241020terms1814s1010recip1210a__sqr1110mark1110a__terms1814markfirstX1X2markX2a__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX1markconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2a__termsNmarkNfalsemarkfirstX1X2markX2marksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markdblXmarkXmarkfirstX1X2markX1markconsX1X2markX1markrecipXmarkXtrue1mark1411first2141625add261220dbl114112sqr18113cons211020recip1110markaddX1X2markX2markaddX1X2markX1markconsX1X2markX1markrecipXmarkX1mark18112add211120cons241020recip1414markaddX1X2markX2markaddX1X2markX1markconsX1X2markX11mark1215add211121cons221023markfirstX1X2a__firstmarkX1markX2falsemarkaddX1X2a__addmarkX1markX2falsea__termsNa__sqrmarkNfalsemarkdblXa__dblmarkXfalsemarksqrXa__sqrmarkXfalse