Marked_+i+Marked_i0`z``y``x`i(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))xi(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))xMarked_i(+(x,y))Marked_+(i(x),i(y))Marked_i(+(x,y))Marked_i(x)Marked_i(+(x,y))Marked_i(y)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)i(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))xMarked_i(+(x,y))Marked_i(x)Marked_i(+(x,y))Marked_i(y)Marked_i1Marked_i(+(x,y))Marked_i(y)Marked_i(+(x,y))Marked_i(x)i(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))xi(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))xMarked_+(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)i(0)0+(0,y)y+(x,0)xi(i(x))x+(i(x),x)0+(x,i(x))0i(+(x,y))+(i(x),i(y))+(x,+(y,z))+(+(x,y),z)+(+(x,i(y)),y)x+(+(x,y),i(y))x