Marked_+p *0Marked_*sminusMarked_minus+yx+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))Marked_+(s(x),y)Marked_+(x,y)Marked_+(p(x),y)Marked_+(x,y)Marked_minus(s(x))Marked_minus(x)Marked_minus(p(x))Marked_minus(x)Marked_*(s(x),y)Marked_+( *(x,y),y)Marked_*(s(x),y)Marked_*(x,y)Marked_*(p(x),y)Marked_+( *(x,y),minus(y))Marked_*(p(x),y)Marked_*(x,y)Marked_*(p(x),y)Marked_minus(y)+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))Marked_*(s(x),y)Marked_*(x,y)Marked_*(p(x),y)Marked_*(x,y)Marked_*1Marked_*(p(x),y)Marked_*(x,y)Marked_*(s(x),y)Marked_*(x,y)+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))Marked_+(s(x),y)Marked_+(x,y)Marked_+(p(x),y)Marked_+(x,y)Marked_+1Marked_+(p(x),y)Marked_+(x,y)Marked_+(s(x),y)Marked_+(x,y)+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))Marked_minus(s(x))Marked_minus(x)Marked_minus(p(x))Marked_minus(x)Marked_minus1Marked_minus(p(x))Marked_minus(x)Marked_minus(s(x))Marked_minus(x)+(0,y)y+(s(x),y)s(+(x,y))+(p(x),y)p(+(x,y))minus(0)0minus(s(x))p(minus(x))minus(p(x))s(minus(x)) *(0,y)0 *(s(x),y)+( *(x,y),y) *(p(x),y)+( *(x,y),minus(y))