Marked_dblMarked_active0firstMarked_recipsqrMarked_halfMarked_termssdblMarked_sconsMarked_firstMarked_markactivenilMarked_sqrreciphalfMarked_constermsaddMarked_addmarkX2X1ZYXNactive(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_active(terms(N))Marked_mark(cons(recip(sqr(N)),terms(s(N))))Marked_active(terms(N))Marked_cons(recip(sqr(N)),terms(s(N)))Marked_active(terms(N))Marked_recip(sqr(N))Marked_active(terms(N))Marked_sqr(N)Marked_active(terms(N))Marked_terms(s(N))Marked_active(terms(N))Marked_s(N)Marked_active(sqr(0))Marked_mark(0)Marked_active(sqr(s(X)))Marked_mark(s(add(sqr(X),dbl(X))))Marked_active(sqr(s(X)))Marked_s(add(sqr(X),dbl(X)))Marked_active(sqr(s(X)))Marked_add(sqr(X),dbl(X))Marked_active(sqr(s(X)))Marked_sqr(X)Marked_active(sqr(s(X)))Marked_dbl(X)Marked_active(dbl(0))Marked_mark(0)Marked_active(dbl(s(X)))Marked_mark(s(s(dbl(X))))Marked_active(dbl(s(X)))Marked_s(s(dbl(X)))Marked_active(dbl(s(X)))Marked_s(dbl(X))Marked_active(dbl(s(X)))Marked_dbl(X)Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(add(s(X),Y))Marked_s(add(X,Y))Marked_active(add(s(X),Y))Marked_add(X,Y)Marked_active(first(0,X))Marked_mark(nil)Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(first(s(X),cons(Y,Z)))Marked_cons(Y,first(X,Z))Marked_active(first(s(X),cons(Y,Z)))Marked_first(X,Z)Marked_active(half(0))Marked_mark(0)Marked_active(half(s(0)))Marked_mark(0)Marked_active(half(s(s(X))))Marked_mark(s(half(X)))Marked_active(half(s(s(X))))Marked_s(half(X))Marked_active(half(s(s(X))))Marked_half(X)Marked_active(half(dbl(X)))Marked_mark(X)Marked_mark(terms(X))Marked_active(terms(mark(X)))Marked_mark(terms(X))Marked_terms(mark(X))Marked_mark(terms(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_cons(mark(X1),X2)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_active(recip(mark(X)))Marked_mark(recip(X))Marked_recip(mark(X))Marked_mark(recip(X))Marked_mark(X)Marked_mark(sqr(X))Marked_active(sqr(mark(X)))Marked_mark(sqr(X))Marked_sqr(mark(X))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_s(mark(X))Marked_mark(s(X))Marked_mark(X)Marked_mark(0)Marked_active(0)Marked_mark(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(add(X1,X2))Marked_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_active(dbl(mark(X)))Marked_mark(dbl(X))Marked_dbl(mark(X))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(first(X1,X2))Marked_first(mark(X1),mark(X2))Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(nil)Marked_active(nil)Marked_mark(half(X))Marked_active(half(mark(X)))Marked_mark(half(X))Marked_half(mark(X))Marked_mark(half(X))Marked_mark(X)Marked_terms(mark(X))Marked_terms(X)Marked_terms(active(X))Marked_terms(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)Marked_recip(mark(X))Marked_recip(X)Marked_recip(active(X))Marked_recip(X)Marked_sqr(mark(X))Marked_sqr(X)Marked_sqr(active(X))Marked_sqr(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)Marked_dbl(mark(X))Marked_dbl(X)Marked_dbl(active(X))Marked_dbl(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)Marked_half(mark(X))Marked_half(X)Marked_half(active(X))Marked_half(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_active(terms(N))Marked_mark(cons(recip(sqr(N)),terms(s(N))))Marked_active(sqr(s(X)))Marked_mark(s(add(sqr(X),dbl(X))))Marked_active(dbl(s(X)))Marked_mark(s(s(dbl(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(half(s(s(X))))Marked_mark(s(half(X)))Marked_active(half(dbl(X)))Marked_mark(X)Marked_mark(terms(X))Marked_active(terms(mark(X)))Marked_mark(terms(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_active(recip(mark(X)))Marked_mark(recip(X))Marked_mark(X)Marked_mark(sqr(X))Marked_active(sqr(mark(X)))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(s(X))Marked_active(s(mark(X)))Marked_mark(s(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_active(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_active(dbl(mark(X)))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_active(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_active(half(mark(X)))Marked_mark(half(X))Marked_mark(X)mark0add10terms10half10recip0nil0active0Marked_mark20cons0dbl10s0sqr10first1000Marked_active20Marked_mark(cons(X1,X2))Marked_active(cons(mark(X1),X2))Marked_mark(recip(X))Marked_active(recip(mark(X)))Marked_mark(s(X))Marked_active(s(mark(X)))active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_active(terms(N))Marked_mark(cons(recip(sqr(N)),terms(s(N))))Marked_active(sqr(s(X)))Marked_mark(s(add(sqr(X),dbl(X))))Marked_active(dbl(s(X)))Marked_mark(s(s(dbl(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(half(s(s(X))))Marked_mark(s(half(X)))Marked_active(half(dbl(X)))Marked_mark(X)Marked_mark(terms(X))Marked_active(terms(mark(X)))Marked_mark(terms(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_mark(X)Marked_mark(sqr(X))Marked_active(sqr(mark(X)))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_active(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_active(dbl(mark(X)))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_active(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_active(half(mark(X)))Marked_mark(half(X))Marked_mark(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_active(terms(N))Marked_mark(cons(recip(sqr(N)),terms(s(N))))Marked_active(sqr(s(X)))Marked_mark(s(add(sqr(X),dbl(X))))Marked_active(dbl(s(X)))Marked_mark(s(s(dbl(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(half(s(s(X))))Marked_mark(s(half(X)))Marked_active(half(dbl(X)))Marked_mark(X)Marked_mark(terms(X))Marked_active(terms(mark(X)))Marked_mark(terms(X))Marked_mark(X)Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(recip(X))Marked_mark(X)Marked_mark(sqr(X))Marked_active(sqr(mark(X)))Marked_mark(sqr(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_active(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_active(dbl(mark(X)))Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_active(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_active(half(mark(X)))Marked_mark(half(X))Marked_mark(X)consactivemarkaddtermshalfrecipnilMarked_markdblssqrfirstMarked_activereciptermsrecipMarked_markrecipMarked_activesqrtermssqrMarked_marksqrMarked_activessqrstermssaddsdblshalfsMarked_marksMarked_activeaddsqraddtermsaddMarked_markaddMarked_activedblsqrdbltermsdblMarked_markdblMarked_activenilfirstMarked_markMarked_activeMarked_activeMarked_markMarked_active(terms(N))Marked_mark(cons(recip(sqr(N)),terms(s(N))))Marked_active(sqr(s(X)))Marked_mark(s(add(sqr(X),dbl(X))))Marked_active(dbl(s(X)))Marked_mark(s(s(dbl(X))))Marked_active(add(0,X))Marked_mark(X)Marked_active(add(s(X),Y))Marked_mark(s(add(X,Y)))Marked_active(first(s(X),cons(Y,Z)))Marked_mark(cons(Y,first(X,Z)))Marked_active(half(s(s(X))))Marked_mark(s(half(X)))Marked_active(half(dbl(X)))Marked_mark(X)Marked_mark(terms(X))Marked_mark(X)Marked_mark(recip(X))Marked_mark(X)Marked_mark(sqr(X))Marked_mark(X)Marked_mark(s(X))Marked_mark(X)Marked_mark(add(X1,X2))Marked_mark(X1)Marked_mark(add(X1,X2))Marked_mark(X2)Marked_mark(dbl(X))Marked_mark(X)Marked_mark(first(X1,X2))Marked_mark(X1)Marked_mark(first(X1,X2))Marked_mark(X2)Marked_mark(half(X))Marked_mark(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_mark(terms(X))Marked_active(terms(mark(X)))Marked_mark(cons(X1,X2))Marked_mark(X1)Marked_mark(sqr(X))Marked_active(sqr(mark(X)))Marked_mark(add(X1,X2))Marked_active(add(mark(X1),mark(X2)))Marked_mark(dbl(X))Marked_active(dbl(mark(X)))Marked_mark(first(X1,X2))Marked_active(first(mark(X1),mark(X2)))Marked_mark(half(X))Marked_active(half(mark(X)))active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_mark(cons(X1,X2))Marked_mark(X1)mark20add220terms20half10recip0nil0active10Marked_mark30cons120dbl20s0sqr10first22000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_terms(mark(X))Marked_terms(X)Marked_terms(active(X))Marked_terms(X)mark20add2320terms10half120recip20nil10active110cons10dbl220s20Marked_terms30sqr210first10020Marked_terms(active(X))Marked_terms(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_terms(mark(X))Marked_terms(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_terms(mark(X))Marked_terms(X)mark120add220terms0half220recip0nil0active110cons20dbl110s0Marked_terms30sqr0first000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)mark120add120terms10Marked_cons330half120recip20nil0active10cons0dbl120s0sqr120first12000Marked_cons(mark(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,mark(X2))Marked_cons(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_cons(active(X1),X2)Marked_cons(X1,X2)Marked_cons(X1,active(X2))Marked_cons(X1,X2)mark10add0terms0Marked_cons330half0recip0nil0active120cons0dbl0s0sqr0first000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_recip(mark(X))Marked_recip(X)Marked_recip(active(X))Marked_recip(X)mark20add220terms30half220recip10nil10active110cons20dbl210s10sqr210Marked_recip30first220020Marked_recip(active(X))Marked_recip(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_recip(mark(X))Marked_recip(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_recip(mark(X))Marked_recip(X)mark120add220terms0half220recip0nil0active110cons20dbl110s0sqr0Marked_recip30first000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_sqr(mark(X))Marked_sqr(X)Marked_sqr(active(X))Marked_sqr(X)mark20add2320terms20half220recip20Marked_sqr30nil20active210cons20dbl210s20sqr20first20020Marked_sqr(active(X))Marked_sqr(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_sqr(mark(X))Marked_sqr(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_sqr(mark(X))Marked_sqr(X)mark220add220terms20half220recip0Marked_sqr30nil0active10cons0dbl220s0sqr220first2000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_s(mark(X))Marked_s(X)Marked_s(active(X))Marked_s(X)mark20add220terms30half120recip20nil30active110cons20Marked_s30dbl220s10sqr30first320020Marked_s(active(X))Marked_s(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_s(mark(X))Marked_s(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_s(mark(X))Marked_s(X)mark120add220terms0half320recip210nil0active110cons20Marked_s30dbl310s0sqr20first000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)mark120Marked_add330add120terms10half120recip20nil0active10cons0dbl220s0sqr10first2000Marked_add(mark(X1),X2)Marked_add(X1,X2)Marked_add(X1,mark(X2))Marked_add(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_add(active(X1),X2)Marked_add(X1,X2)Marked_add(X1,active(X2))Marked_add(X1,X2)mark10Marked_add330add0terms0half0recip0nil0active120cons0dbl0s0sqr0first000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_dbl(mark(X))Marked_dbl(X)Marked_dbl(active(X))Marked_dbl(X)mark220add220terms20half320recip10nil0active10cons0dbl210s0sqr20first2000Marked_dbl30Marked_dbl(mark(X))Marked_dbl(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_dbl(active(X))Marked_dbl(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_dbl(active(X))Marked_dbl(X)mark120add220terms0half220recip0nil0active110cons20dbl110s0sqr0first000Marked_dbl30active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)mark20add2320terms10half120recip20nil10active110Marked_first330cons10dbl210s20sqr230first210020Marked_first(active(X1),X2)Marked_first(X1,X2)Marked_first(X1,active(X2))Marked_first(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_first(mark(X1),X2)Marked_first(X1,X2)Marked_first(X1,mark(X2))Marked_first(X1,X2)mark120add120terms120half120recip0nil0active10Marked_first330cons0dbl120s0sqr10first2000active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_half(mark(X))Marked_half(X)Marked_half(active(X))Marked_half(X)mark120add120terms10half120recip0nil0active10cons0dbl120s0Marked_half30sqr110first1000Marked_half(mark(X))Marked_half(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_half(active(X))Marked_half(X)active(terms(N))mark(cons(recip(sqr(N)),terms(s(N))))active(sqr(0))mark(0)active(sqr(s(X)))mark(s(add(sqr(X),dbl(X))))active(dbl(0))mark(0)active(dbl(s(X)))mark(s(s(dbl(X))))active(add(0,X))mark(X)active(add(s(X),Y))mark(s(add(X,Y)))active(first(0,X))mark(nil)active(first(s(X),cons(Y,Z)))mark(cons(Y,first(X,Z)))active(half(0))mark(0)active(half(s(0)))mark(0)active(half(s(s(X))))mark(s(half(X)))active(half(dbl(X)))mark(X)mark(terms(X))active(terms(mark(X)))mark(cons(X1,X2))active(cons(mark(X1),X2))mark(recip(X))active(recip(mark(X)))mark(sqr(X))active(sqr(mark(X)))mark(s(X))active(s(mark(X)))mark(0)active(0)mark(add(X1,X2))active(add(mark(X1),mark(X2)))mark(dbl(X))active(dbl(mark(X)))mark(first(X1,X2))active(first(mark(X1),mark(X2)))mark(nil)active(nil)mark(half(X))active(half(mark(X)))terms(mark(X))terms(X)terms(active(X))terms(X)cons(mark(X1),X2)cons(X1,X2)cons(X1,mark(X2))cons(X1,X2)cons(active(X1),X2)cons(X1,X2)cons(X1,active(X2))cons(X1,X2)recip(mark(X))recip(X)recip(active(X))recip(X)sqr(mark(X))sqr(X)sqr(active(X))sqr(X)s(mark(X))s(X)s(active(X))s(X)add(mark(X1),X2)add(X1,X2)add(X1,mark(X2))add(X1,X2)add(active(X1),X2)add(X1,X2)add(X1,active(X2))add(X1,X2)dbl(mark(X))dbl(X)dbl(active(X))dbl(X)first(mark(X1),X2)first(X1,X2)first(X1,mark(X2))first(X1,X2)first(active(X1),X2)first(X1,X2)first(X1,active(X2))first(X1,X2)half(mark(X))half(X)half(active(X))half(X)Marked_half(active(X))Marked_half(X)mark120add220terms0half220recip0nil0active110cons20dbl110s0Marked_half30sqr0first000