aMarked_:+gf:zyx:(:(x,y),z):(x,:(y,z)):(+(x,y),z)+(:(x,z),:(y,z)):(z,+(x,f(y))):(g(z,y),+(x,a)):(:(x,y),z):(x,:(y,z)):(+(x,y),z)+(:(x,z),:(y,z)):(z,+(x,f(y))):(g(z,y),+(x,a))Marked_:(:(x,y),z)Marked_:(x,:(y,z))Marked_:(:(x,y),z)Marked_:(y,z)Marked_:(+(x,y),z)Marked_:(x,z)Marked_:(+(x,y),z)Marked_:(y,z)Marked_:(z,+(x,f(y)))Marked_:(g(z,y),+(x,a)):(:(x,y),z):(x,:(y,z)):(+(x,y),z)+(:(x,z),:(y,z)):(z,+(x,f(y))):(g(z,y),+(x,a))Marked_:(:(x,y),z)Marked_:(x,:(y,z))Marked_:(:(x,y),z)Marked_:(y,z)Marked_:(+(x,y),z)Marked_:(x,z)Marked_:(+(x,y),z)Marked_:(y,z)g:f+Marked_:a:Marked_:+:+Marked_:a:a+afaMarked_: