sMarked_afterfrom0Marked_sn__fromactivateMarked_fromn__safterMarked_activateconsNXSXfrom(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)Xfrom(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_after(s(N),cons(X,XS))Marked_after(N,activate(XS))Marked_after(s(N),cons(X,XS))Marked_activate(XS)Marked_activate(n__from(X))Marked_from(activate(X))Marked_activate(n__from(X))Marked_activate(X)Marked_activate(n__s(X))Marked_s(activate(X))Marked_activate(n__s(X))Marked_activate(X)from(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_after(s(N),cons(X,XS))Marked_after(N,activate(XS))cons10after220n__s210activate10n__from0030from0Marked_after10s210from(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_activate(n__from(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)cons10Marked_activate30after310n__s10activate10n__from110030from110s10Marked_activate(n__from(X))Marked_activate(X)from(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_activate(n__s(X))Marked_activate(X)from(X)cons(X,n__from(n__s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)s(X)n__s(X)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_activate(n__s(X))Marked_activate(X)cons30Marked_activate30after310n__s130activate20n__from0030from0s230