a__termsNconsrecipa__sqrmarkNtermssNa__sqr00a__sqrsXsaddsqrXdblXa__dbl00a__dblsXssdblXa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsmarkYfirstXZmarktermsXa__termsmarkXmarksqrXa__sqrmarkXmarkaddX1X2a__addmarkX1markX2markdblXa__dblmarkXmarkfirstX1X2a__firstmarkX1markX2markconsX1X2consmarkX1X2markrecipXrecipmarkXmarksXsXmark00marknilnila__termsXtermsXa__sqrXsqrXa__addX1X2addX1X2a__dblXdblXa__firstX1X2firstX1X2a__termsNa__sqrmarkNa__termsNmarkNa__add0XmarkXa__firstsXconsYZmarkYmarktermsXa__termsmarkXmarktermsXmarkXmarksqrXa__sqrmarkXmarksqrXmarkXmarkaddX1X2a__addmarkX1markX2markaddX1X2markX1markaddX1X2markX2markdblXa__dblmarkXmarkdblXmarkXmarkfirstX1X2a__firstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2markconsX1X2markX1markrecipXmarkXtruea__termsNmarkNmarktermsXa__termsmarkXmarktermsXmarkXmarksqrXmarkXmarkaddX1X2a__addmarkX1markX2a__add0XmarkXmarkaddX1X2markX1markaddX1X2markX2markdblXmarkXmarkfirstX1X2a__firstmarkX1markX2a__firstsXconsYZmarkYmarkfirstX1X2markX1markfirstX1X2markX2markconsX1X2markX1markrecipXmarkXtrue1231a__terms1111mark1111terms1111mark111sqr1111add211112a__add211112001dbl1111first211112a__first21112s11cons211recip111a__terms1111a__sqr1111a__dbl1111a__add211112a__first211112nil01a__termsNmarkNa__firstsXconsYZmarkYmarkconsX1X2markX1markrecipXmarkXa__termsNmarkNfalse2a__firstsXconsYZmarkYfalse1markrecipXmarkXmarkconsX1X2markX1truemark11a__termsNa__sqrmarkNfalsemarksqrXa__sqrmarkXfalsemarkdblXa__dblmarkXfalse