selMarked_ff0Marked_activaten__fgMarked_gn__gMarked_selsactivateconsZYXf(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)Xf(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)XMarked_g(s(X))Marked_g(X)Marked_sel(s(X),cons(Y,Z))Marked_sel(X,activate(Z))Marked_sel(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__f(X))Marked_f(activate(X))Marked_activate(n__f(X))Marked_activate(X)Marked_activate(n__g(X))Marked_g(activate(X))Marked_activate(n__g(X))Marked_activate(X)f(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)XMarked_sel(s(X),cons(Y,Z))Marked_sel(X,activate(Z))Marked_sel1Marked_sel(s(X),cons(Y,Z))Marked_sel(X,activate(Z))f(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)Xf(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)XMarked_activate(n__f(X))Marked_activate(X)Marked_activate(n__g(X))Marked_activate(X)Marked_activate1Marked_activate(n__g(X))Marked_activate(X)Marked_activate(n__f(X))Marked_activate(X)f(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)Xf(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)XMarked_g(s(X))Marked_g(X)Marked_g1Marked_g(s(X))Marked_g(X)f(X)cons(X,n__f(n__g(X)))g(0)s(0)g(s(X))s(s(g(X)))sel(0,cons(X,Y))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))f(X)n__f(X)g(X)n__g(X)activate(n__f(X))f(activate(X))activate(n__g(X))g(activate(X))activate(X)X