prodMarked_+ *nilMarked_*0consMarked_sumssumMarked_prod+xyl+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))Marked_+(s(x),s(y))Marked_+(x,y)Marked_*(s(x),s(y))Marked_+( *(x,y),+(x,y))Marked_*(s(x),s(y))Marked_*(x,y)Marked_*(s(x),s(y))Marked_+(x,y)Marked_sum(cons(x,l))Marked_+(x,sum(l))Marked_sum(cons(x,l))Marked_sum(l)Marked_prod(cons(x,l))Marked_*(x,prod(l))Marked_prod(cons(x,l))Marked_prod(l)+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))Marked_sum(cons(x,l))Marked_sum(l)Marked_sum1Marked_sum(cons(x,l))Marked_sum(l)+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))Marked_prod(cons(x,l))Marked_prod(l)Marked_prod1Marked_prod(cons(x,l))Marked_prod(l)+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))Marked_*(s(x),s(y))Marked_*(x,y)Marked_*1Marked_*(s(x),s(y))Marked_*(x,y)+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))Marked_+(s(x),s(y))Marked_+(x,y)Marked_+1Marked_+(s(x),s(y))Marked_+(x,y)+(x,0)x+(0,x)x+(s(x),s(y))s(s(+(x,y))) *(x,0)0 *(0,x)0 *(s(x),s(y))s(+( *(x,y),+(x,y)))sum(nil)0sum(cons(x,l))+(x,sum(l))prod(nil)s(0)prod(cons(x,l)) *(x,prod(l))