sqrMarked_a__terms0a__firstMarked_a__firstmarka__halfMarked_a__addsa__dblhalfrecipdblMarked_a__sqra__termsnilMarked_a__halfa__sqrfirstMarked_a__dbltermsMarked_marka__addaddconsX2X1ZYXNa__terms(N)cons(recip(a__sqr(mark(N))),terms(s(N)))a__sqr(0)0a__sqr(s(X))s(a__add(a__sqr(mark(X)),a__dbl(mark(X))))a__dbl(0)0a__dbl(s(X))s(s(a__dbl(mark(X))))a__add(0,X)mark(X)a__add(s(X),Y)s(a__add(mark(X),mark(Y)))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(mark(Y),first(X,Z))a__half(0)0a__half(s(0))0a__half(s(s(X)))s(a__half(mark(X)))a__half(dbl(X))mark(X)mark(terms(X))a__terms(mark(X))mark(sqr(X))a__sqr(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(dbl(X))a__dbl(mark(X))mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(half(X))a__half(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(recip(X))recip(mark(X))mark(s(X))s(mark(X))mark(0)0mark(nil)nila__terms(X)terms(X)a__sqr(X)sqr(X)a__add(X1,X2)add(X1,X2)a__dbl(X)dbl(X)a__first(X1,X2)first(X1,X2)a__half(X)half(X)a__terms(N)cons(recip(a__sqr(mark(N))),terms(s(N)))a__sqr(0)0a__sqr(s(X))s(a__add(a__sqr(mark(X)),a__dbl(mark(X))))a__dbl(0)0a__dbl(s(X))s(s(a__dbl(mark(X))))a__add(0,X)mark(X)a__add(s(X),Y)s(a__add(mark(X),mark(Y)))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(mark(Y),first(X,Z))a__half(0)0a__half(s(0))0a__half(s(s(X)))s(a__half(mark(X)))a__half(dbl(X))mark(X)mark(terms(X))a__terms(mark(X))mark(sqr(X))a__sqr(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(dbl(X))a__dbl(mark(X))mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(half(X))a__half(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(recip(X))recip(mark(X))mark(s(X))s(mark(X))mark(0)0mark(nil)nila__terms(X)terms(X)a__sqr(X)sqr(X)a__add(X1,X2)add(X1,X2)a__dbl(X)dbl(X)a__first(X1,X2)first(X1,X2)a__half(X)half(X)Marked_a__terms(N)Marked_a__sqr(mark(N))Marked_a__terms(N)Marked_mark(N)Marked_a__sqr(s(X))Marked_a__add(a__sqr(mark(X)),a__dbl(mark(X)))Marked_a__sqr(s(X))Marked_a__sqr(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__sqr(s(X))Marked_a__dbl(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__dbl(s(X))Marked_a__dbl(mark(X))Marked_a__dbl(s(X))Marked_mark(X)Marked_a__add(0,X)Marked_mark(X)Marked_a__add(s(X),Y)Marked_a__add(mark(X),mark(Y))Marked_a__add(s(X),Y)Marked_mark(X)Marked_a__add(s(X),Y)Marked_mark(Y)Marked_a__first(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__half(s(s(X)))Marked_a__half(mark(X))Marked_a__half(s(s(X)))Marked_mark(X)Marked_a__half(dbl(X))Marked_mark(X)Marked_mark(terms(X))Marked_a__terms(mark(X))Marked_mark(terms(X))Marked_mark(X)Marked_mark(sqr(X))Marked_a__sqr(mark(X))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(dbl(X))Marked_a__dbl(mark(X))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_a__first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(half(X))Marked_a__half(mark(X))Marked_mark(half(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__terms(N)cons(recip(a__sqr(mark(N))),terms(s(N)))a__sqr(0)0a__sqr(s(X))s(a__add(a__sqr(mark(X)),a__dbl(mark(X))))a__dbl(0)0a__dbl(s(X))s(s(a__dbl(mark(X))))a__add(0,X)mark(X)a__add(s(X),Y)s(a__add(mark(X),mark(Y)))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(mark(Y),first(X,Z))a__half(0)0a__half(s(0))0a__half(s(s(X)))s(a__half(mark(X)))a__half(dbl(X))mark(X)mark(terms(X))a__terms(mark(X))mark(sqr(X))a__sqr(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(dbl(X))a__dbl(mark(X))mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(half(X))a__half(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(recip(X))recip(mark(X))mark(s(X))s(mark(X))mark(0)0mark(nil)nila__terms(X)terms(X)a__sqr(X)sqr(X)a__add(X1,X2)add(X1,X2)a__dbl(X)dbl(X)a__first(X1,X2)first(X1,X2)a__half(X)half(X)Marked_a__terms(N)Marked_a__sqr(mark(N))Marked_a__terms(N)Marked_mark(N)Marked_a__sqr(s(X))Marked_a__add(a__sqr(mark(X)),a__dbl(mark(X)))Marked_a__sqr(s(X))Marked_a__sqr(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__sqr(s(X))Marked_a__dbl(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__dbl(s(X))Marked_a__dbl(mark(X))Marked_a__dbl(s(X))Marked_mark(X)Marked_a__add(0,X)Marked_mark(X)Marked_a__add(s(X),Y)Marked_a__add(mark(X),mark(Y))Marked_a__add(s(X),Y)Marked_mark(X)Marked_a__add(s(X),Y)Marked_mark(Y)Marked_a__first(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__half(s(s(X)))Marked_a__half(mark(X))Marked_a__half(s(s(X)))Marked_mark(X)Marked_a__half(dbl(X))Marked_mark(X)Marked_mark(terms(X))Marked_a__terms(mark(X))Marked_mark(terms(X))Marked_mark(X)Marked_mark(sqr(X))Marked_a__sqr(mark(X))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(dbl(X))Marked_a__dbl(mark(X))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_a__first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(half(X))Marked_a__half(mark(X))Marked_mark(half(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)markMarked_markconsadda__addtermsMarked_a__dblfirsta__sqrMarked_a__halfnila__termsMarked_a__sqrdblreciphalfa__dblsMarked_a__adda__halfMarked_a__firsta__firstMarked_a__termssqrreciptermsrecipa__termsa__sqrtermsa__sqra__termsa__sqrMarked_a__termssa__sqrstermssa__termssa__addsa__dblsa__halfsdblssqrsaddshalfsMarked_a__sqrsMarked_a__termsa__adda__sqra__addtermsa__adda__termsa__addsqra__addMarked_a__sqra__addMarked_a__termsa__dbla__sqra__dbltermsa__dbla__termsa__dblsqra__dblMarked_a__sqra__dblMarked_a__termsnila__firstnilfirstdbla__sqrdbltermsdbla__termsdblsqrdblMarked_a__sqrdblMarked_a__termssqrtermssqra__termssqrMarked_a__termsadda__sqraddtermsadda__termsaddsqraddMarked_a__sqraddMarked_a__termsMarked_a__halfa__halfMarked_a__halfhalfMarked_a__firsta__firstMarked_a__firstfirstMarked_a__dbla__sqrMarked_a__dbltermsMarked_a__dbla__termsMarked_a__dbla__dblMarked_a__dbldblMarked_a__dblsqrMarked_a__dblMarked_a__sqrMarked_a__dblMarked_a__termsMarked_a__adda__sqrMarked_a__addtermsMarked_a__adda__termsMarked_a__adda__addMarked_a__addsqrMarked_a__addaddMarked_a__addMarked_a__sqrMarked_a__addMarked_a__termsMarked_a__sqrtermsMarked_a__sqra__termsMarked_a__sqrMarked_a__termsMarked_a__termstermsMarked_a__termsa__termsa__sqrsqra__sqrMarked_a__sqrtermsa__termsa__termstermsa__addadda__dbldbla__firstfirstfirsta__firsta__halfhalfdbla__dblsqra__sqrsqrMarked_a__sqradda__addhalfa__halfMarked_a__sqra__sqrMarked_a__sqrsqrMarked_a__terms(N)Marked_a__sqr(mark(N))Marked_a__terms(N)Marked_mark(N)Marked_a__sqr(s(X))Marked_a__add(a__sqr(mark(X)),a__dbl(mark(X)))Marked_a__sqr(s(X))Marked_a__sqr(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__sqr(s(X))Marked_a__dbl(mark(X))Marked_a__sqr(s(X))Marked_mark(X)Marked_a__dbl(s(X))Marked_a__dbl(mark(X))Marked_a__dbl(s(X))Marked_mark(X)Marked_a__add(0,X)Marked_mark(X)Marked_a__add(s(X),Y)Marked_a__add(mark(X),mark(Y))Marked_a__add(s(X),Y)Marked_mark(X)Marked_a__add(s(X),Y)Marked_mark(Y)Marked_a__first(s(X),cons(Y,Z))Marked_mark(Y)Marked_a__half(s(s(X)))Marked_a__half(mark(X))Marked_a__half(s(s(X)))Marked_mark(X)Marked_a__half(dbl(X))Marked_mark(X)Marked_mark(terms(X))Marked_a__terms(mark(X))Marked_mark(terms(X))Marked_mark(X)Marked_mark(sqr(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_a__add(mark(X1),mark(X2))Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(dbl(X))Marked_a__dbl(mark(X))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_a__first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(half(X))Marked_a__half(mark(X))Marked_mark(half(X))Marked_mark(X)Marked_mark(recip(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)a__terms(N)cons(recip(a__sqr(mark(N))),terms(s(N)))a__sqr(0)0a__sqr(s(X))s(a__add(a__sqr(mark(X)),a__dbl(mark(X))))a__dbl(0)0a__dbl(s(X))s(s(a__dbl(mark(X))))a__add(0,X)mark(X)a__add(s(X),Y)s(a__add(mark(X),mark(Y)))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(mark(Y),first(X,Z))a__half(0)0a__half(s(0))0a__half(s(s(X)))s(a__half(mark(X)))a__half(dbl(X))mark(X)mark(terms(X))a__terms(mark(X))mark(sqr(X))a__sqr(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(dbl(X))a__dbl(mark(X))mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(half(X))a__half(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(recip(X))recip(mark(X))mark(s(X))s(mark(X))mark(0)0mark(nil)nila__terms(X)terms(X)a__sqr(X)sqr(X)a__add(X1,X2)add(X1,X2)a__dbl(X)dbl(X)a__first(X1,X2)first(X1,X2)a__half(X)half(X)Marked_mark(sqr(X))Marked_a__sqr(mark(X))Marked_mark(cons(X1,X2))Marked_mark(X1)a__terms(N)cons(recip(a__sqr(mark(N))),terms(s(N)))a__sqr(0)0a__sqr(s(X))s(a__add(a__sqr(mark(X)),a__dbl(mark(X))))a__dbl(0)0a__dbl(s(X))s(s(a__dbl(mark(X))))a__add(0,X)mark(X)a__add(s(X),Y)s(a__add(mark(X),mark(Y)))a__first(0,X)nila__first(s(X),cons(Y,Z))cons(mark(Y),first(X,Z))a__half(0)0a__half(s(0))0a__half(s(s(X)))s(a__half(mark(X)))a__half(dbl(X))mark(X)mark(terms(X))a__terms(mark(X))mark(sqr(X))a__sqr(mark(X))mark(add(X1,X2))a__add(mark(X1),mark(X2))mark(dbl(X))a__dbl(mark(X))mark(first(X1,X2))a__first(mark(X1),mark(X2))mark(half(X))a__half(mark(X))mark(cons(X1,X2))cons(mark(X1),X2)mark(recip(X))recip(mark(X))mark(s(X))s(mark(X))mark(0)0mark(nil)nila__terms(X)terms(X)a__sqr(X)sqr(X)a__add(X1,X2)add(X1,X2)a__dbl(X)dbl(X)a__first(X1,X2)first(X1,X2)a__half(X)half(X)Marked_mark(cons(X1,X2))Marked_mark(X1)cons120add10a__add10Marked_mark30terms10first10a__sqr0nil0a__terms10dbl10recip0half10a__dbl10s0a__half10mark10a__first1000sqr0