Marked_fscfyxf(x,c(y))f(x,s(f(y,y)))f(s(x),y)f(x,s(c(y)))f(x,c(y))f(x,s(f(y,y)))f(s(x),y)f(x,s(c(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),y)Marked_f(x,s(c(y)))f(x,c(y))f(x,s(f(y,y)))f(s(x),y)f(x,s(c(y)))Marked_f(x,c(y))Marked_f(y,y)f0c120s0Marked_f20f(x,c(y))f(x,s(f(y,y)))f(s(x),y)f(x,s(c(y)))Marked_f(s(x),y)Marked_f(x,s(c(y)))f20c0s110Marked_f210