fMarked_+baMarked_f+zyx+(a,b)+(b,a)+(a,+(b,z))+(b,+(a,z))+(+(x,y),z)+(x,+(y,z))f(a,y)af(b,y)bf(+(x,y),z)+(f(x,z),f(y,z))+(a,b)+(b,a)+(a,+(b,z))+(b,+(a,z))+(+(x,y),z)+(x,+(y,z))f(a,y)af(b,y)bf(+(x,y),z)+(f(x,z),f(y,z))Marked_+(a,b)Marked_+(b,a)Marked_+(a,+(b,z))Marked_+(b,+(a,z))Marked_+(a,+(b,z))Marked_+(a,z)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)Marked_f(+(x,y),z)Marked_+(f(x,z),f(y,z))Marked_f(+(x,y),z)Marked_f(x,z)Marked_f(+(x,y),z)Marked_f(y,z)+(a,b)+(b,a)+(a,+(b,z))+(b,+(a,z))+(+(x,y),z)+(x,+(y,z))f(a,y)af(b,y)bf(+(x,y),z)+(f(x,z),f(y,z))Marked_f(+(x,y),z)Marked_f(x,z)Marked_f(+(x,y),z)Marked_f(y,z)+2110Marked_f30a0b0f20+(a,b)+(b,a)+(a,+(b,z))+(b,+(a,z))+(+(x,y),z)+(x,+(y,z))f(a,y)af(b,y)bf(+(x,y),z)+(f(x,z),f(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)+2110a0b0Marked_+30f20+(a,b)+(b,a)+(a,+(b,z))+(b,+(a,z))+(+(x,y),z)+(x,+(y,z))f(a,y)af(b,y)bf(+(x,y),z)+(f(x,z),f(y,z))Marked_+(a,+(b,z))Marked_+(a,z)+1210a0b0Marked_+10f20