sMarked_consn__consn__sMarked_s2ndfromMarked_fromconsMarked_2ndn__fromMarked_activateactivateX2X1ZYX2nd(cons(X,n__cons(Y,Z)))activate(Y)from(X)cons(X,n__from(n__s(X)))cons(X1,X2)n__cons(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__cons(X1,X2))cons(activate(X1),X2)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)X2nd(cons(X,n__cons(Y,Z)))activate(Y)from(X)cons(X,n__from(n__s(X)))cons(X1,X2)n__cons(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__cons(X1,X2))cons(activate(X1),X2)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_2nd(cons(X,n__cons(Y,Z)))Marked_activate(Y)Marked_from(X)Marked_cons(X,n__from(n__s(X)))Marked_activate(n__cons(X1,X2))Marked_cons(activate(X1),X2)Marked_activate(n__cons(X1,X2))Marked_activate(X1)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)2nd(cons(X,n__cons(Y,Z)))activate(Y)from(X)cons(X,n__from(n__s(X)))cons(X1,X2)n__cons(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__cons(X1,X2))cons(activate(X1),X2)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)XMarked_activate(n__cons(X1,X2))Marked_activate(X1)Marked_activate(n__from(X))Marked_activate(X)Marked_activate(n__s(X))Marked_activate(X)Marked_activate1Marked_activate(n__s(X))Marked_activate(X)Marked_activate(n__from(X))Marked_activate(X)Marked_activate(n__cons(X1,X2))Marked_activate(X1)2nd(cons(X,n__cons(Y,Z)))activate(Y)from(X)cons(X,n__from(n__s(X)))cons(X1,X2)n__cons(X1,X2)from(X)n__from(X)s(X)n__s(X)activate(n__cons(X1,X2))cons(activate(X1),X2)activate(n__from(X))from(activate(X))activate(n__s(X))s(activate(X))activate(X)X