*Marked_+1oppMarked_-0-Marked_0+Marked_oppjMarked_*#xyz0(#)#+(#,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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))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_+(0(x),j(y))Marked_+(x,y)Marked_+(j(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(1(x),1(y))Marked_+(x,y)Marked_+(j(x),j(y))Marked_+(+(x,y),j(#))Marked_+(j(x),j(y))Marked_+(x,y)Marked_+(1(x),j(y))Marked_0(+(x,y))Marked_+(1(x),j(y))Marked_+(x,y)Marked_+(j(x),1(y))Marked_0(+(x,y))Marked_+(j(x),1(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)Marked_opp(0(x))Marked_0(opp(x))Marked_opp(0(x))Marked_opp(x)Marked_opp(1(x))Marked_opp(x)Marked_opp(j(x))Marked_opp(x)Marked_-(x,y)Marked_+(x,opp(y))Marked_-(x,y)Marked_opp(y)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_*(j(x),y)Marked_-(0( *(x,y)),y)Marked_*(j(x),y)Marked_0( *(x,y))Marked_*(j(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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_*(0(x),y)Marked_*(x,y)Marked_*(1(x),y)Marked_*(x,y)Marked_*(j(x),y)Marked_*(x,y)Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(y,z)#0Marked_*10j110+110-110010opp101110 *12220Marked_*(1(x),y)Marked_*(x,y)Marked_*(j(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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_*(0(x),y)Marked_*(x,y)#0Marked_*220j210+110-1200210opp201210 *2200(#)#+(#,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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))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_+(0(x),j(y))Marked_+(x,y)Marked_+(j(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(1(x),1(y))Marked_+(x,y)Marked_+(j(x),j(y))Marked_+(+(x,y),j(#))Marked_+(j(x),j(y))Marked_+(x,y)Marked_+(1(x),j(y))Marked_+(x,y)Marked_+(j(x),1(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#0j210+110-110010opp101210Marked_+110 *2120Marked_+(0(x),1(y))Marked_+(x,y)Marked_+(1(x),0(y))Marked_+(x,y)Marked_+(0(x),j(y))Marked_+(x,y)Marked_+(j(x),0(y))Marked_+(x,y)Marked_+(1(x),1(y))Marked_+(+(x,y),1(#))Marked_+(1(x),1(y))Marked_+(x,y)Marked_+(j(x),j(y))Marked_+(+(x,y),j(#))Marked_+(j(x),j(y))Marked_+(x,y)Marked_+(1(x),j(y))Marked_+(x,y)Marked_+(j(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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_+(0(x),0(y))Marked_+(x,y)Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#0j110+110-1200110opp201110Marked_+110 *1120Marked_+(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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)#0j20+2110-2210020opp10120Marked_+210 *23100(#)#+(#,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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_opp(0(x))Marked_opp(x)Marked_opp(1(x))Marked_opp(x)Marked_opp(j(x))Marked_opp(x)#0j210Marked_opp20+110-120010opp201210 *1120Marked_opp(1(x))Marked_opp(x)Marked_opp(j(x))Marked_opp(x)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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_opp(0(x))Marked_opp(x)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))+(0(x),j(y))j(+(x,y))+(j(x),0(y))j(+(x,y))+(1(x),1(y))j(+(+(x,y),1(#)))+(j(x),j(y))1(+(+(x,y),j(#)))+(1(x),j(y))0(+(x,y))+(j(x),1(y))0(+(x,y))+(+(x,y),z)+(x,+(y,z))opp(#)#opp(0(x))0(opp(x))opp(1(x))j(opp(x))opp(j(x))1(opp(x))-(x,y)+(x,opp(y)) *(#,x)# *(0(x),y)0( *(x,y)) *(1(x),y)+(0( *(x,y)),y) *(j(x),y)-(0( *(x,y)),y) *( *(x,y),z) *(x, *(y,z))Marked_opp(0(x))Marked_opp(x)#0j210Marked_opp20+110-1200110opp101210 *210