Marked_firstsfirstMarked_dbln__termsactivatetermsdblMarked_termsrecipMarked_activate0nilMarked_addsqrn__firstMarked_sqrn__saddMarked_sconsX2X1ZYXNterms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)Xterms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_terms(N)Marked_sqr(N)Marked_sqr(s(X))Marked_s(add(sqr(X),dbl(X)))Marked_sqr(s(X))Marked_add(sqr(X),dbl(X))Marked_sqr(s(X))Marked_sqr(X)Marked_sqr(s(X))Marked_dbl(X)Marked_dbl(s(X))Marked_s(s(dbl(X)))Marked_dbl(s(X))Marked_s(dbl(X))Marked_dbl(s(X))Marked_dbl(X)Marked_add(s(X),Y)Marked_s(add(X,Y))Marked_add(s(X),Y)Marked_add(X,Y)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__terms(X))Marked_terms(activate(X))Marked_activate(n__terms(X))Marked_activate(X)Marked_activate(n__s(X))Marked_s(activate(X))Marked_activate(n__s(X))Marked_activate(X)Marked_activate(n__first(X1,X2))Marked_first(activate(X1),activate(X2))Marked_activate(n__first(X1,X2))Marked_activate(X1)Marked_activate(n__first(X1,X2))Marked_activate(X2)terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__terms(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)Marked_activate(n__first(X1,X2))Marked_first(activate(X1),activate(X2))Marked_activate(n__first(X1,X2))Marked_activate(X1)Marked_activate(n__first(X1,X2))Marked_activate(X2)cons10add20n__s10n__first2210sqr0nil2000Marked_activate120recip0dbl0terms20activate10n__terms20first2210s10Marked_first220Marked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__first(X1,X2))Marked_first(activate(X1),activate(X2))Marked_activate(n__first(X1,X2))Marked_activate(X1)Marked_activate(n__first(X1,X2))Marked_activate(X2)terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_activate(n__terms(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_activate(n__terms(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)cons20add20n__s10n__first210sqr20nil2000Marked_activate30recip0dbl0terms210activate20n__terms210first210s10Marked_activate(n__terms(X))Marked_activate(X)terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_activate(n__s(X))Marked_activate(X)terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_activate(n__s(X))Marked_activate(X)firstn__firstconsaddn__ssqrnil0dbltermsactivaten__termssn__termstermsn__termsactivaten__ssqrn__stermsn__ssn__saddn__sdbln__sactivatetermsactivatessqrsaddsdblsactivateaddsqrdblsqrnil0terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_sqr(s(X))Marked_sqr(X)firstn__firstconsaddn__ssqrnil0dbltermsactivaten__termssn__termstermsn__termsactivaten__ssqrn__stermsn__ssn__saddn__sdbln__sactivatetermsactivatessqrsaddsdblsactivateaddsqrdblsqrnil0terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_add(s(X),Y)Marked_add(X,Y)firstn__firstconsaddn__ssqrnil0dbltermsactivaten__termssn__termstermsn__termsactivaten__ssqrn__stermsn__ssn__saddn__sdbln__sactivatetermsactivatessqrsaddsdblsactivateaddsqrdblsqrnil0terms(N)cons(recip(sqr(N)),n__terms(n__s(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))terms(X)n__terms(X)s(X)n__s(X)first(X1,X2)n__first(X1,X2)activate(n__terms(X))terms(activate(X))activate(n__s(X))s(activate(X))activate(n__first(X1,X2))first(activate(X1),activate(X2))activate(X)XMarked_dbl(s(X))Marked_dbl(X)firstn__firstconsaddn__ssqrnil0dbltermsactivaten__termssn__termstermsn__termsactivaten__ssqrn__stermsn__ssn__saddn__sdbln__sactivatetermsactivatessqrsaddsdblsactivateaddsqrdblsqrnil0