g20Marked_fi1fzyxf(0,y)yf(x,0)xf(i(x),y)i(x)f(f(x,y),z)f(x,f(y,z))f(g(x,y),z)g(f(x,z),f(y,z))f(1,g(x,y))xf(2,g(x,y))yf(0,y)yf(x,0)xf(i(x),y)i(x)f(f(x,y),z)f(x,f(y,z))f(g(x,y),z)g(f(x,z),f(y,z))f(1,g(x,y))xf(2,g(x,y))yMarked_f(f(x,y),z)Marked_f(x,f(y,z))Marked_f(f(x,y),z)Marked_f(y,z)Marked_f(g(x,y),z)Marked_f(x,z)Marked_f(g(x,y),z)Marked_f(y,z)f(0,y)yf(x,0)xf(i(x),y)i(x)f(f(x,y),z)f(x,f(y,z))f(g(x,y),z)g(f(x,z),f(y,z))f(1,g(x,y))xf(2,g(x,y))yMarked_f(f(x,y),z)Marked_f(x,f(y,z))Marked_f(f(x,y),z)Marked_f(y,z)Marked_f(g(x,y),z)Marked_f(x,z)Marked_f(g(x,y),z)Marked_f(y,z)fMarked_fgfMarked_fgfgMarked_f