Marked_activatefrom0Marked_aftern__fromactivatesafterMarked_fromconsNXSXfrom(X)cons(X,n__from(s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)activate(n__from(X))from(X)activate(X)Xfrom(X)cons(X,n__from(s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)activate(n__from(X))from(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(X)from(X)cons(X,n__from(s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)activate(n__from(X))from(X)activate(X)XMarked_after(s(N),cons(X,XS))Marked_after(N,activate(XS))Marked_after1Marked_after(s(N),cons(X,XS))Marked_after(N,activate(XS))from(X)cons(X,n__from(s(X)))after(0,XS)XSafter(s(N),cons(X,XS))after(N,activate(XS))from(X)n__from(X)activate(n__from(X))from(X)activate(X)X