hMarked_ffaMarked_hgzyxf(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)zf(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)zMarked_f(g(x),a)Marked_f(x,g(a))Marked_f(g(x),g(y))Marked_h(g(y),x,g(y))Marked_h(g(x),y,z)Marked_f(y,h(x,y,z))Marked_h(g(x),y,z)Marked_h(x,y,z)f(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)zMarked_f(g(x),a)Marked_f(x,g(a))Marked_f(g(x),g(y))Marked_h(g(y),x,g(y))Marked_h(g(x),y,z)Marked_f(y,h(x,y,z))Marked_h(g(x),y,z)Marked_h(x,y,z)Marked_h2Marked_f1Marked_f(g(x),g(y))Marked_h(g(y),x,g(y))Marked_f(g(x),a)Marked_f(x,g(a))f(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)zMarked_h(g(x),y,z)Marked_h(x,y,z)Marked_h(g(x),y,z)Marked_f(y,h(x,y,z))f(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)zMarked_h(g(x),y,z)Marked_h(x,y,z)Marked_h1Marked_h(g(x),y,z)Marked_h(x,y,z)f(a,g(y))g(g(y))f(g(x),a)f(x,g(a))f(g(x),g(y))h(g(y),x,g(y))h(g(x),y,z)f(y,h(x,y,z))h(a,y,z)z