Marked_+0 *Marked_ssMarked_*Marked_p+minusMarked_minuspzyxp(s(x))xs(p(x))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))p(s(x))xs(p(x))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))Marked_+(s(x),y)Marked_s(+(x,y))Marked_+(s(x),y)Marked_+(x,y)Marked_+(p(x),y)Marked_p(+(x,y))Marked_+(p(x),y)Marked_+(x,y)Marked_minus(s(x))Marked_p(minus(x))Marked_minus(s(x))Marked_minus(x)Marked_minus(p(x))Marked_s(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)p(s(x))xs(p(x))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))Marked_*(s(x),y)Marked_*(x,y)Marked_*(p(x),y)Marked_*(x,y)pminus+s *p+pminusp *s+sminuss *+ *minus *p(s(x))xs(p(x))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))Marked_+(s(x),y)Marked_+(x,y)Marked_+(p(x),y)Marked_+(x,y)pminus+s *p+pminusp *s+sminuss *+ *minus *p(s(x))xs(p(x))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))Marked_minus(s(x))Marked_minus(x)Marked_minus(p(x))Marked_minus(x)pminus+s *p+pminusp *s+sminuss *+ *minus *