consMarked_sum1Marked_0sumMarked_prod0nilMarked_*+Marked_+ *prod#xyzl0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_0(+(x,y))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(0(x),1(y))Marked_+(x,y)Marked_+(1(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_0(+(+(x,y),1(#)))Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(1(x),1(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)Marked_*(0(x),y)Marked_0( *(x,y))Marked_*(0(x),y)Marked_*(x,y)Marked_*(1(x),y)Marked_+(0( *(x,y)),y)Marked_*(1(x),y)Marked_0( *(x,y))Marked_*(1(x),y)Marked_*(x,y)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)Marked_sum(nil)Marked_0(#)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)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_sum(cons(x,l))Marked_sum(l)#0prod120 *2210+210nil0020sum220110Marked_sum30cons22100(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_prod(cons(x,l))Marked_prod(l)#0prod210 *2210+210nil20020Marked_prod30sum20110cons22200(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_*(0(x),y)Marked_*(x,y)Marked_*(1(x),y)Marked_*(x,y)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)#0prod20 *1120+110Marked_*1120nil20010sum201210cons21220Marked_*(1(x),y)Marked_*(x,y)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_*(0(x),y)Marked_*(x,y)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_*(0(x),y)Marked_*(x,y)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)#20prod20 *22110+110Marked_*2110nil20010sum201210cons22220Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_*(0(x),y)Marked_*(x,y)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_*(0(x),y)Marked_*(x,y)#0prod20 *1110+110Marked_*220nil200210sum2101210cons222200(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(0(x),1(y))Marked_+(x,y)Marked_+(1(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(1(x),1(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#10prod110 *1110Marked_+110+110nil20010sum2201110cons12210Marked_+(0(x),1(y))Marked_+(x,y)Marked_+(1(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(x,y)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#0prod20 *10Marked_+110+110nil10020sum201120cons1210Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#0prod10 *1220Marked_+210+2110nil20010sum201210cons12120Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)0(#)#+(x,#)x+(#,x)x+(0(x),0(y))0(+(x,y))+(0(x),1(y))1(+(x,y))+(1(x),0(y))1(+(x,y))+(1(x),1(y))0(+(+(x,y),1(#)))+(+(x,y),z)+(x,+(y,z)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))sum(nil)0(#)sum(cons(x,l))+(x,sum(l))prod(nil)1(#)prod(cons(x,l)) *(x,prod(l))Marked_+(0(x),0(y))Marked_+(x,y)#0prod10 *110Marked_+10+110nil200110sum101210cons1210