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__first201220a__add20102-16mark101-16a__terms1010first241424nil04a__first241424a__add201020a__dbl101-16add201020dbl101sqr101-8000cons20102-2terms1010s1010recip1010a__sqr1010mark1010a__terms1010marktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkaddX1X2markX2markaddX1X2markX1markaddX1X2a__addmarkX1markX2a__add0XmarkXmarkdblXmarkXmarkconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X21a__add201020mark1010a__terms1010first21424nil02a__first21424a__add221222a__dbl1010add221222dbl1010sqr1010000cons201020terms1010s110recip1010a__sqr1010mark1010a__terms1010marktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXa__add0XmarkXmarkdblXmarkXmarkconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2a__add0XmarkXfalsemarktermsXmarkXmarktermsXa__termsmarkXa__termsNmarkNmarksqrXmarkXmarkdblXmarkXmarkconsX1X2markX1markrecipXmarkXtrue1mark101a__terms111first20102nil00a__first20102a__add201020a__dbl101add201020dbl101sqr1014000cons201020terms1114s1010recip101a__sqr1014mark101a__terms1114marktermsXa__termsmarkXmarksqrXmarkXmarkdblXmarkXmarkconsX1X2markX1markrecipXmarkXa__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2markdblXmarkXmarksqrXmarkXmarkconsX1X2markX1markrecipXmarkXtruemarkdblXmarkX1true1marksqrXmarkX1true1markconsX1X2markX11true1markrecipXmarkX1true1marktermsXa__termsmarkXfalsea__termsNa__sqrmarkNfalsemarkdblXa__dblmarkXfalsemarksqrXa__sqrmarkXfalse