casMarked_ffXf(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)f(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)Marked_f(s(X),X)Marked_f(X,a(X))Marked_f(X,c(X))Marked_f(s(X),X)f(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)Marked_f(X,c(X))Marked_f(s(X),X)Marked_f2Marked_f(X,c(X))Marked_f(s(X),X)f(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)f(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)Marked_f(s(X),X)Marked_f(X,a(X))Marked_f1Marked_f(s(X),X)Marked_f(X,a(X))f(s(X),X)f(X,a(X))f(X,c(X))f(s(X),X)f(X,X)c(X)