Marked_-I-Marked_*O1Marked_++ *Marked_O0zyxO(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_+(O(x),O(y))Marked_O(+(x,y))Marked_+(O(x),O(y))Marked_+(x,y)Marked_+(O(x),I(y))Marked_+(x,y)Marked_+(I(x),O(y))Marked_+(x,y)Marked_+(I(x),I(y))Marked_O(+(+(x,y),I(0)))Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))Marked_+(I(x),I(y))Marked_+(x,y)Marked_*(O(x),y)Marked_O( *(x,y))Marked_*(O(x),y)Marked_*(x,y)Marked_*(I(x),y)Marked_+(O( *(x,y)),y)Marked_*(I(x),y)Marked_O( *(x,y))Marked_*(I(x),y)Marked_*(x,y)Marked_-(O(x),O(y))Marked_O(-(x,y))Marked_-(O(x),O(y))Marked_-(x,y)Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))Marked_-(O(x),I(y))Marked_-(x,y)Marked_-(I(x),O(y))Marked_-(x,y)Marked_-(I(x),I(y))Marked_O(-(x,y))Marked_-(I(x),I(y))Marked_-(x,y)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_*(O(x),y)Marked_*(x,y)Marked_*(I(x),y)Marked_*(x,y)Marked_*1Marked_*(I(x),y)Marked_*(x,y)Marked_*(O(x),y)Marked_*(x,y)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_+(O(x),O(y))Marked_+(x,y)Marked_+(O(x),I(y))Marked_+(x,y)Marked_+(I(x),O(y))Marked_+(x,y)Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))Marked_+(I(x),I(y))Marked_+(x,y)00 *220+110Marked_+22010O210-10I210O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_-(O(x),O(y))Marked_-(x,y)Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))Marked_-(O(x),I(y))Marked_-(x,y)Marked_-(I(x),O(y))Marked_-(x,y)Marked_-(I(x),I(y))Marked_-(x,y)00 *2110+11010O210-10I210Marked_-20Marked_-(O(x),O(y))Marked_-(x,y)Marked_-(O(x),I(y))Marked_-(x,y)Marked_-(I(x),O(y))Marked_-(x,y)Marked_-(I(x),I(y))Marked_-(x,y)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0))) *(0,x)0 *(x,0)0 *(O(x),y)O( *(x,y)) *(I(x),y)+(O( *(x,y)),y)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))00 *1220+12010O210-10I210Marked_-10