n__firstMarked_firstfromMarked_selfirstseln__from0Marked_activatesMarked_fromnilactivateconsX2X1YZXfrom(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)activate(X)Xfrom(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)activate(X)XMarked_first(s(X),cons(Y,Z))Marked_activate(Z)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__from(X))Marked_from(X)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)from(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)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))from(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)activate(X)Xfrom(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)activate(X)XMarked_first(s(X),cons(Y,Z))Marked_activate(Z)Marked_activate(n__first(X1,X2))Marked_first(X1,X2)Marked_activate1Marked_first2Marked_activate(n__first(X1,X2))Marked_first(X1,X2)Marked_first(s(X),cons(Y,Z))Marked_activate(Z)from(X)cons(X,n__from(s(X)))first(0,Z)nilfirst(s(X),cons(Y,Z))cons(Y,n__first(X,activate(Z)))sel(0,cons(X,Z))Xsel(s(X),cons(Y,Z))sel(X,activate(Z))from(X)n__from(X)first(X1,X2)n__first(X1,X2)activate(n__from(X))from(X)activate(n__first(X1,X2))first(X1,X2)activate(X)X