Marked_++0Marked_ff`z``y``x`f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)Marked_f(+(x,0))Marked_f(x)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)Marked_f(+(x,0))Marked_f(x)Marked_f1Marked_f(+(x,0))Marked_f(x)f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)Marked_+2Marked_+(x,+(y,z))Marked_+(x,y)Marked_+(x,+(y,z))Marked_+(+(x,y),z)f(+(x,0))f(x)+(x,+(y,z))+(+(x,y),z)