Marked_gghfzyxg(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)g(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)Marked_g(f(x,y),z)Marked_g(y,z)Marked_g(h(x,y),z)Marked_g(x,f(y,z))Marked_g(x,h(y,z))Marked_g(x,y)g(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)Marked_g(f(x,y),z)Marked_g(y,z)Marked_g(h(x,y),z)Marked_g(x,f(y,z))Marked_g(x,h(y,z))Marked_g(x,y)Marked_g1Marked_g(h(x,y),z)Marked_g(x,f(y,z))Marked_g(f(x,y),z)Marked_g(y,z)g(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)Marked_g(x,h(y,z))Marked_g(x,y)g(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)Marked_g(x,h(y,z))Marked_g(x,y)Marked_g2Marked_g(x,h(y,z))Marked_g(x,y)g(f(x,y),z)f(x,g(y,z))g(h(x,y),z)g(x,f(y,z))g(x,h(y,z))h(g(x,y),z)