Marked_fscfyxf(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))f(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))Marked_f(x,c(y))Marked_f(x,s(f(y,y)))Marked_f(x,c(y))Marked_f(y,y)Marked_f(s(x),s(y))Marked_f(x,s(c(s(y))))f(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))Marked_f(x,c(y))Marked_f(y,y)Marked_f2Marked_f(x,c(y))Marked_f(y,y)f(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))f(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))Marked_f(s(x),s(y))Marked_f(x,s(c(s(y))))Marked_f1Marked_f(s(x),s(y))Marked_f(x,s(c(s(y))))f(x,c(y))f(x,s(f(y,y)))f(s(x),s(y))f(x,s(c(s(y))))