Marked_*+aMarked_+ *zyx+( *(x,y), *(a,y)) *(+(x,a),y) *( *(x,y),z) *(x, *(y,z))+( *(x,y), *(a,y)) *(+(x,a),y) *( *(x,y),z) *(x, *(y,z))Marked_+( *(x,y), *(a,y))Marked_*(+(x,a),y)Marked_+( *(x,y), *(a,y))Marked_+(x,a)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)+( *(x,y), *(a,y)) *(+(x,a),y) *( *(x,y),z) *(x, *(y,z))Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z) *2210a0+2120Marked_*210