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__terms111mark111terms1111mark111sqr111add21112a__add212000dbl1111first211112a__first212s10cons211recip1111a__terms1111a__sqr111a__add21112a__dbl1111a__first211112nil00a__termsNmarkNmarksqrXmarkXmarkaddX1X2a__addmarkX1markX2a__add0XmarkXmarkaddX1X2markX1markaddX1X2markX2a__firstsXconsYZmarkYmarkconsX1X2markX1a__termsNmarkNfalse2a__firstsXconsYZmarkYfalse1markaddX1X2a__addmarkX1markX2a__add0XmarkXmarksqrXmarkXmarkaddX1X2markX1markaddX1X2markX2markconsX1X2markX1true1mark111add21112a__add212mark111000sqr1111cons21112terms1111a__terms1111a__sqr1111a__add21112dbl11a__dbl11first212a__first212recip10s10nil00markaddX1X2a__addmarkX1markX2a__add0XmarkXmarkaddX1X2markX1markaddX1X2markX2markconsX1X2markX11mark111add21112a__add212mark111001cons2111terms11a__terms11sqr1111a__sqr1111a__add21112dbl11a__dbl11first212a__first212recip10s11nil00markaddX1X2a__addmarkX1markX2a__add0XmarkXmarkaddX1X2markX1markaddX1X2markX21mark111add211112a__add212mark111001terms111a__terms111sqr11a__sqr11a__add211112dbl1111a__dbl1111first20a__first20cons20recip10s11nil00a__add0XmarkXa__add0XmarkXfalsea__termsNa__sqrmarkNfalsemarksqrXa__sqrmarkXfalsemarkdblXa__dblmarkXfalse