Marked_+591Marked_*370Marked_c48+ *26czyxc(0,x)xc(x,c(y,z))c(+(x,y),z)+(0,0)0+(0,1)1+(0,2)2+(0,3)3+(0,4)4+(0,5)5+(0,6)6+(0,7)7+(0,8)8+(0,9)9+(1,0)1+(1,1)2+(1,2)3+(1,3)4+(1,4)5+(1,5)6+(1,6)7+(1,7)8+(1,8)9+(1,9)c(1,0)+(2,0)2+(2,1)3+(2,2)4+(2,3)5+(2,4)6+(2,5)7+(2,6)8+(2,7)9+(2,8)c(1,0)+(2,9)c(1,1)+(3,0)3+(3,1)4+(3,2)5+(3,3)6+(3,4)7+(3,5)8+(3,6)9+(3,7)c(1,0)+(3,8)c(1,1)+(3,9)c(1,2)+(4,0)4+(4,1)5+(4,2)6+(4,3)7+(4,4)8+(4,5)9+(4,6)c(1,0)+(4,7)c(1,1)+(4,8)c(1,2)+(4,9)c(1,3)+(5,0)5+(5,1)6+(5,2)7+(5,3)8+(5,4)9+(5,5)c(1,0)+(5,6)c(1,1)+(5,7)c(1,2)+(5,8)c(1,3)+(5,9)c(1,4)+(6,0)6+(6,1)7+(6,2)8+(6,3)9+(6,4)c(1,0)+(6,5)c(1,1)+(6,6)c(1,2)+(6,7)c(1,3)+(6,8)c(1,4)+(6,9)c(1,5)+(7,0)7+(7,1)8+(7,2)9+(7,3)c(1,0)+(7,4)c(1,1)+(7,5)c(1,2)+(7,6)c(1,3)+(7,7)c(1,4)+(7,8)c(1,5)+(7,9)c(1,6)+(8,0)8+(8,1)9+(8,2)c(1,0)+(8,3)c(1,1)+(8,4)c(1,2)+(8,5)c(1,3)+(8,6)c(1,4)+(8,7)c(1,5)+(8,8)c(1,6)+(8,9)c(1,7)+(9,0)9+(9,1)c(1,0)+(9,2)c(1,1)+(9,3)c(1,2)+(9,4)c(1,3)+(9,5)c(1,4)+(9,6)c(1,5)+(9,7)c(1,6)+(9,8)c(1,7)+(9,9)c(1,8)+(x,c(y,z))c(y,+(x,z))+(c(x,y),z)c(x,+(y,z)) *(0,0)0 *(0,1)0 *(0,2)0 *(0,3)0 *(0,4)0 *(0,5)0 *(0,6)0 *(0,7)0 *(0,8)0 *(0,9)0 *(1,0)0 *(1,1)1 *(1,2)2 *(1,3)3 *(1,4)4 *(1,5)5 *(1,6)6 *(1,7)7 *(1,8)8 *(1,9)9 *(2,0)0 *(2,1)2 *(2,2)4 *(2,3)6 *(2,4)8 *(2,5)c(1,0) *(2,6)c(1,2) *(2,7)c(1,4) *(2,8)c(1,6) *(2,9)c(1,8) *(3,0)0 *(3,1)3 *(3,2)6 *(3,3)9 *(3,4)c(1,2) *(3,5)c(1,5) *(3,6)c(1,8) *(3,7)c(2,1) *(3,8)c(2,4) *(3,9)c(2,7) *(4,0)0 *(4,1)4 *(4,2)8 *(4,3)c(1,2) *(4,4)c(1,6) *(4,5)c(2,0) *(4,6)c(2,4) *(4,7)c(2,8) *(4,8)c(3,2) *(4,9)c(3,6) *(5,0)0 *(5,1)5 *(5,2)c(1,0) *(5,3)c(1,5) *(5,4)c(2,0) *(5,5)c(2,5) *(5,6)c(3,0) *(5,7)c(3,5) *(5,8)c(4,0) *(5,9)c(4,5) *(6,0)0 *(6,1)6 *(6,2)c(1,2) *(6,3)c(1,8) *(6,4)c(2,4) *(6,5)c(3,0) *(6,6)c(3,6) *(6,7)c(4,2) *(6,8)c(4,8) *(6,9)c(5,4) *(7,0)0 *(7,1)7 *(7,2)c(1,4) *(7,3)c(2,1) *(7,4)c(2,8) *(7,5)c(3,5) *(7,6)c(4,2) *(7,7)c(4,9) *(7,8)c(5,6) *(7,9)c(6,3) *(8,0)0 *(8,1)8 *(8,2)c(1,8) *(8,3)c(2,4) *(8,4)c(3,2) *(8,5)c(4,0) *(8,6)c(4,8) *(8,7)c(5,6) *(8,8)c(6,4) *(8,9)c(7,2) *(9,0)0 *(9,1)9 *(9,2)c(1,8) *(9,3)c(2,7) *(9,4)c(3,6) *(9,5)c(4,5) *(9,6)c(5,4) *(9,7)c(6,3) *(9,8)c(7,2) *(9,9)c(8,1) *(x,c(y,z))c( *(x,y), *(x,z)) *(c(x,y),z)c( *(x,z), *(y,z))c(0,x)xc(x,c(y,z))c(+(x,y),z)+(0,0)0+(0,1)1+(0,2)2+(0,3)3+(0,4)4+(0,5)5+(0,6)6+(0,7)7+(0,8)8+(0,9)9+(1,0)1+(1,1)2+(1,2)3+(1,3)4+(1,4)5+(1,5)6+(1,6)7+(1,7)8+(1,8)9+(1,9)c(1,0)+(2,0)2+(2,1)3+(2,2)4+(2,3)5+(2,4)6+(2,5)7+(2,6)8+(2,7)9+(2,8)c(1,0)+(2,9)c(1,1)+(3,0)3+(3,1)4+(3,2)5+(3,3)6+(3,4)7+(3,5)8+(3,6)9+(3,7)c(1,0)+(3,8)c(1,1)+(3,9)c(1,2)+(4,0)4+(4,1)5+(4,2)6+(4,3)7+(4,4)8+(4,5)9+(4,6)c(1,0)+(4,7)c(1,1)+(4,8)c(1,2)+(4,9)c(1,3)+(5,0)5+(5,1)6+(5,2)7+(5,3)8+(5,4)9+(5,5)c(1,0)+(5,6)c(1,1)+(5,7)c(1,2)+(5,8)c(1,3)+(5,9)c(1,4)+(6,0)6+(6,1)7+(6,2)8+(6,3)9+(6,4)c(1,0)+(6,5)c(1,1)+(6,6)c(1,2)+(6,7)c(1,3)+(6,8)c(1,4)+(6,9)c(1,5)+(7,0)7+(7,1)8+(7,2)9+(7,3)c(1,0)+(7,4)c(1,1)+(7,5)c(1,2)+(7,6)c(1,3)+(7,7)c(1,4)+(7,8)c(1,5)+(7,9)c(1,6)+(8,0)8+(8,1)9+(8,2)c(1,0)+(8,3)c(1,1)+(8,4)c(1,2)+(8,5)c(1,3)+(8,6)c(1,4)+(8,7)c(1,5)+(8,8)c(1,6)+(8,9)c(1,7)+(9,0)9+(9,1)c(1,0)+(9,2)c(1,1)+(9,3)c(1,2)+(9,4)c(1,3)+(9,5)c(1,4)+(9,6)c(1,5)+(9,7)c(1,6)+(9,8)c(1,7)+(9,9)c(1,8)+(x,c(y,z))c(y,+(x,z))+(c(x,y),z)c(x,+(y,z)) *(0,0)0 *(0,1)0 *(0,2)0 *(0,3)0 *(0,4)0 *(0,5)0 *(0,6)0 *(0,7)0 *(0,8)0 *(0,9)0 *(1,0)0 *(1,1)1 *(1,2)2 *(1,3)3 *(1,4)4 *(1,5)5 *(1,6)6 *(1,7)7 *(1,8)8 *(1,9)9 *(2,0)0 *(2,1)2 *(2,2)4 *(2,3)6 *(2,4)8 *(2,5)c(1,0) *(2,6)c(1,2) *(2,7)c(1,4) *(2,8)c(1,6) *(2,9)c(1,8) *(3,0)0 *(3,1)3 *(3,2)6 *(3,3)9 *(3,4)c(1,2) *(3,5)c(1,5) *(3,6)c(1,8) *(3,7)c(2,1) *(3,8)c(2,4) *(3,9)c(2,7) *(4,0)0 *(4,1)4 *(4,2)8 *(4,3)c(1,2) *(4,4)c(1,6) *(4,5)c(2,0) *(4,6)c(2,4) *(4,7)c(2,8) *(4,8)c(3,2) *(4,9)c(3,6) *(5,0)0 *(5,1)5 *(5,2)c(1,0) *(5,3)c(1,5) *(5,4)c(2,0) *(5,5)c(2,5) *(5,6)c(3,0) *(5,7)c(3,5) *(5,8)c(4,0) *(5,9)c(4,5) *(6,0)0 *(6,1)6 *(6,2)c(1,2) *(6,3)c(1,8) *(6,4)c(2,4) *(6,5)c(3,0) *(6,6)c(3,6) *(6,7)c(4,2) *(6,8)c(4,8) *(6,9)c(5,4) *(7,0)0 *(7,1)7 *(7,2)c(1,4) *(7,3)c(2,1) *(7,4)c(2,8) *(7,5)c(3,5) *(7,6)c(4,2) *(7,7)c(4,9) *(7,8)c(5,6) *(7,9)c(6,3) *(8,0)0 *(8,1)8 *(8,2)c(1,8) *(8,3)c(2,4) *(8,4)c(3,2) *(8,5)c(4,0) *(8,6)c(4,8) *(8,7)c(5,6) *(8,8)c(6,4) *(8,9)c(7,2) *(9,0)0 *(9,1)9 *(9,2)c(1,8) *(9,3)c(2,7) *(9,4)c(3,6) *(9,5)c(4,5) *(9,6)c(5,4) *(9,7)c(6,3) *(9,8)c(7,2) *(9,9)c(8,1) *(x,c(y,z))c( *(x,y), *(x,z)) *(c(x,y),z)c( *(x,z), *(y,z))Marked_c(x,c(y,z))Marked_c(+(x,y),z)Marked_c(x,c(y,z))Marked_+(x,y)Marked_+(1,9)Marked_c(1,0)Marked_+(2,8)Marked_c(1,0)Marked_+(2,9)Marked_c(1,1)Marked_+(3,7)Marked_c(1,0)Marked_+(3,8)Marked_c(1,1)Marked_+(3,9)Marked_c(1,2)Marked_+(4,6)Marked_c(1,0)Marked_+(4,7)Marked_c(1,1)Marked_+(4,8)Marked_c(1,2)Marked_+(4,9)Marked_c(1,3)Marked_+(5,5)Marked_c(1,0)Marked_+(5,6)Marked_c(1,1)Marked_+(5,7)Marked_c(1,2)Marked_+(5,8)Marked_c(1,3)Marked_+(5,9)Marked_c(1,4)Marked_+(6,4)Marked_c(1,0)Marked_+(6,5)Marked_c(1,1)Marked_+(6,6)Marked_c(1,2)Marked_+(6,7)Marked_c(1,3)Marked_+(6,8)Marked_c(1,4)Marked_+(6,9)Marked_c(1,5)Marked_+(7,3)Marked_c(1,0)Marked_+(7,4)Marked_c(1,1)Marked_+(7,5)Marked_c(1,2)Marked_+(7,6)Marked_c(1,3)Marked_+(7,7)Marked_c(1,4)Marked_+(7,8)Marked_c(1,5)Marked_+(7,9)Marked_c(1,6)Marked_+(8,2)Marked_c(1,0)Marked_+(8,3)Marked_c(1,1)Marked_+(8,4)Marked_c(1,2)Marked_+(8,5)Marked_c(1,3)Marked_+(8,6)Marked_c(1,4)Marked_+(8,7)Marked_c(1,5)Marked_+(8,8)Marked_c(1,6)Marked_+(8,9)Marked_c(1,7)Marked_+(9,1)Marked_c(1,0)Marked_+(9,2)Marked_c(1,1)Marked_+(9,3)Marked_c(1,2)Marked_+(9,4)Marked_c(1,3)Marked_+(9,5)Marked_c(1,4)Marked_+(9,6)Marked_c(1,5)Marked_+(9,7)Marked_c(1,6)Marked_+(9,8)Marked_c(1,7)Marked_+(9,9)Marked_c(1,8)Marked_+(x,c(y,z))Marked_c(y,+(x,z))Marked_+(x,c(y,z))Marked_+(x,z)Marked_+(c(x,y),z)Marked_c(x,+(y,z))Marked_+(c(x,y),z)Marked_+(y,z)Marked_*(2,5)Marked_c(1,0)Marked_*(2,6)Marked_c(1,2)Marked_*(2,7)Marked_c(1,4)Marked_*(2,8)Marked_c(1,6)Marked_*(2,9)Marked_c(1,8)Marked_*(3,4)Marked_c(1,2)Marked_*(3,5)Marked_c(1,5)Marked_*(3,6)Marked_c(1,8)Marked_*(3,7)Marked_c(2,1)Marked_*(3,8)Marked_c(2,4)Marked_*(3,9)Marked_c(2,7)Marked_*(4,3)Marked_c(1,2)Marked_*(4,4)Marked_c(1,6)Marked_*(4,5)Marked_c(2,0)Marked_*(4,6)Marked_c(2,4)Marked_*(4,7)Marked_c(2,8)Marked_*(4,8)Marked_c(3,2)Marked_*(4,9)Marked_c(3,6)Marked_*(5,2)Marked_c(1,0)Marked_*(5,3)Marked_c(1,5)Marked_*(5,4)Marked_c(2,0)Marked_*(5,5)Marked_c(2,5)Marked_*(5,6)Marked_c(3,0)Marked_*(5,7)Marked_c(3,5)Marked_*(5,8)Marked_c(4,0)Marked_*(5,9)Marked_c(4,5)Marked_*(6,2)Marked_c(1,2)Marked_*(6,3)Marked_c(1,8)Marked_*(6,4)Marked_c(2,4)Marked_*(6,5)Marked_c(3,0)Marked_*(6,6)Marked_c(3,6)Marked_*(6,7)Marked_c(4,2)Marked_*(6,8)Marked_c(4,8)Marked_*(6,9)Marked_c(5,4)Marked_*(7,2)Marked_c(1,4)Marked_*(7,3)Marked_c(2,1)Marked_*(7,4)Marked_c(2,8)Marked_*(7,5)Marked_c(3,5)Marked_*(7,6)Marked_c(4,2)Marked_*(7,7)Marked_c(4,9)Marked_*(7,8)Marked_c(5,6)Marked_*(7,9)Marked_c(6,3)Marked_*(8,2)Marked_c(1,8)Marked_*(8,3)Marked_c(2,4)Marked_*(8,4)Marked_c(3,2)Marked_*(8,5)Marked_c(4,0)Marked_*(8,6)Marked_c(4,8)Marked_*(8,7)Marked_c(5,6)Marked_*(8,8)Marked_c(6,4)Marked_*(8,9)Marked_c(7,2)Marked_*(9,2)Marked_c(1,8)Marked_*(9,3)Marked_c(2,7)Marked_*(9,4)Marked_c(3,6)Marked_*(9,5)Marked_c(4,5)Marked_*(9,6)Marked_c(5,4)Marked_*(9,7)Marked_c(6,3)Marked_*(9,8)Marked_c(7,2)Marked_*(9,9)Marked_c(8,1)Marked_*(x,c(y,z))Marked_c( *(x,y), *(x,z))Marked_*(x,c(y,z))Marked_*(x,y)Marked_*(x,c(y,z))Marked_*(x,z)Marked_*(c(x,y),z)Marked_c( *(x,z), *(y,z))Marked_*(c(x,y),z)Marked_*(x,z)Marked_*(c(x,y),z)Marked_*(y,z)c(0,x)xc(x,c(y,z))c(+(x,y),z)+(0,0)0+(0,1)1+(0,2)2+(0,3)3+(0,4)4+(0,5)5+(0,6)6+(0,7)7+(0,8)8+(0,9)9+(1,0)1+(1,1)2+(1,2)3+(1,3)4+(1,4)5+(1,5)6+(1,6)7+(1,7)8+(1,8)9+(1,9)c(1,0)+(2,0)2+(2,1)3+(2,2)4+(2,3)5+(2,4)6+(2,5)7+(2,6)8+(2,7)9+(2,8)c(1,0)+(2,9)c(1,1)+(3,0)3+(3,1)4+(3,2)5+(3,3)6+(3,4)7+(3,5)8+(3,6)9+(3,7)c(1,0)+(3,8)c(1,1)+(3,9)c(1,2)+(4,0)4+(4,1)5+(4,2)6+(4,3)7+(4,4)8+(4,5)9+(4,6)c(1,0)+(4,7)c(1,1)+(4,8)c(1,2)+(4,9)c(1,3)+(5,0)5+(5,1)6+(5,2)7+(5,3)8+(5,4)9+(5,5)c(1,0)+(5,6)c(1,1)+(5,7)c(1,2)+(5,8)c(1,3)+(5,9)c(1,4)+(6,0)6+(6,1)7+(6,2)8+(6,3)9+(6,4)c(1,0)+(6,5)c(1,1)+(6,6)c(1,2)+(6,7)c(1,3)+(6,8)c(1,4)+(6,9)c(1,5)+(7,0)7+(7,1)8+(7,2)9+(7,3)c(1,0)+(7,4)c(1,1)+(7,5)c(1,2)+(7,6)c(1,3)+(7,7)c(1,4)+(7,8)c(1,5)+(7,9)c(1,6)+(8,0)8+(8,1)9+(8,2)c(1,0)+(8,3)c(1,1)+(8,4)c(1,2)+(8,5)c(1,3)+(8,6)c(1,4)+(8,7)c(1,5)+(8,8)c(1,6)+(8,9)c(1,7)+(9,0)9+(9,1)c(1,0)+(9,2)c(1,1)+(9,3)c(1,2)+(9,4)c(1,3)+(9,5)c(1,4)+(9,6)c(1,5)+(9,7)c(1,6)+(9,8)c(1,7)+(9,9)c(1,8)+(x,c(y,z))c(y,+(x,z))+(c(x,y),z)c(x,+(y,z)) *(0,0)0 *(0,1)0 *(0,2)0 *(0,3)0 *(0,4)0 *(0,5)0 *(0,6)0 *(0,7)0 *(0,8)0 *(0,9)0 *(1,0)0 *(1,1)1 *(1,2)2 *(1,3)3 *(1,4)4 *(1,5)5 *(1,6)6 *(1,7)7 *(1,8)8 *(1,9)9 *(2,0)0 *(2,1)2 *(2,2)4 *(2,3)6 *(2,4)8 *(2,5)c(1,0) *(2,6)c(1,2) *(2,7)c(1,4) *(2,8)c(1,6) *(2,9)c(1,8) *(3,0)0 *(3,1)3 *(3,2)6 *(3,3)9 *(3,4)c(1,2) *(3,5)c(1,5) *(3,6)c(1,8) *(3,7)c(2,1) *(3,8)c(2,4) *(3,9)c(2,7) *(4,0)0 *(4,1)4 *(4,2)8 *(4,3)c(1,2) *(4,4)c(1,6) *(4,5)c(2,0) *(4,6)c(2,4) *(4,7)c(2,8) *(4,8)c(3,2) *(4,9)c(3,6) *(5,0)0 *(5,1)5 *(5,2)c(1,0) *(5,3)c(1,5) *(5,4)c(2,0) *(5,5)c(2,5) *(5,6)c(3,0) *(5,7)c(3,5) *(5,8)c(4,0) *(5,9)c(4,5) *(6,0)0 *(6,1)6 *(6,2)c(1,2) *(6,3)c(1,8) *(6,4)c(2,4) *(6,5)c(3,0) *(6,6)c(3,6) *(6,7)c(4,2) *(6,8)c(4,8) *(6,9)c(5,4) *(7,0)0 *(7,1)7 *(7,2)c(1,4) *(7,3)c(2,1) *(7,4)c(2,8) *(7,5)c(3,5) *(7,6)c(4,2) *(7,7)c(4,9) *(7,8)c(5,6) *(7,9)c(6,3) *(8,0)0 *(8,1)8 *(8,2)c(1,8) *(8,3)c(2,4) *(8,4)c(3,2) *(8,5)c(4,0) *(8,6)c(4,8) *(8,7)c(5,6) *(8,8)c(6,4) *(8,9)c(7,2) *(9,0)0 *(9,1)9 *(9,2)c(1,8) *(9,3)c(2,7) *(9,4)c(3,6) *(9,5)c(4,5) *(9,6)c(5,4) *(9,7)c(6,3) *(9,8)c(7,2) *(9,9)c(8,1) *(x,c(y,z))c( *(x,y), *(x,z)) *(c(x,y),z)c( *(x,z), *(y,z))Marked_*(x,c(y,z))Marked_*(x,y)Marked_*(x,c(y,z))Marked_*(x,z)Marked_*(c(x,y),z)Marked_*(x,z)Marked_*(c(x,y),z)Marked_*(y,z)c2110610210 *2220+2110810420010710310Marked_*222010910520c(0,x)xc(x,c(y,z))c(+(x,y),z)+(0,0)0+(0,1)1+(0,2)2+(0,3)3+(0,4)4+(0,5)5+(0,6)6+(0,7)7+(0,8)8+(0,9)9+(1,0)1+(1,1)2+(1,2)3+(1,3)4+(1,4)5+(1,5)6+(1,6)7+(1,7)8+(1,8)9+(1,9)c(1,0)+(2,0)2+(2,1)3+(2,2)4+(2,3)5+(2,4)6+(2,5)7+(2,6)8+(2,7)9+(2,8)c(1,0)+(2,9)c(1,1)+(3,0)3+(3,1)4+(3,2)5+(3,3)6+(3,4)7+(3,5)8+(3,6)9+(3,7)c(1,0)+(3,8)c(1,1)+(3,9)c(1,2)+(4,0)4+(4,1)5+(4,2)6+(4,3)7+(4,4)8+(4,5)9+(4,6)c(1,0)+(4,7)c(1,1)+(4,8)c(1,2)+(4,9)c(1,3)+(5,0)5+(5,1)6+(5,2)7+(5,3)8+(5,4)9+(5,5)c(1,0)+(5,6)c(1,1)+(5,7)c(1,2)+(5,8)c(1,3)+(5,9)c(1,4)+(6,0)6+(6,1)7+(6,2)8+(6,3)9+(6,4)c(1,0)+(6,5)c(1,1)+(6,6)c(1,2)+(6,7)c(1,3)+(6,8)c(1,4)+(6,9)c(1,5)+(7,0)7+(7,1)8+(7,2)9+(7,3)c(1,0)+(7,4)c(1,1)+(7,5)c(1,2)+(7,6)c(1,3)+(7,7)c(1,4)+(7,8)c(1,5)+(7,9)c(1,6)+(8,0)8+(8,1)9+(8,2)c(1,0)+(8,3)c(1,1)+(8,4)c(1,2)+(8,5)c(1,3)+(8,6)c(1,4)+(8,7)c(1,5)+(8,8)c(1,6)+(8,9)c(1,7)+(9,0)9+(9,1)c(1,0)+(9,2)c(1,1)+(9,3)c(1,2)+(9,4)c(1,3)+(9,5)c(1,4)+(9,6)c(1,5)+(9,7)c(1,6)+(9,8)c(1,7)+(9,9)c(1,8)+(x,c(y,z))c(y,+(x,z))+(c(x,y),z)c(x,+(y,z)) *(0,0)0 *(0,1)0 *(0,2)0 *(0,3)0 *(0,4)0 *(0,5)0 *(0,6)0 *(0,7)0 *(0,8)0 *(0,9)0 *(1,0)0 *(1,1)1 *(1,2)2 *(1,3)3 *(1,4)4 *(1,5)5 *(1,6)6 *(1,7)7 *(1,8)8 *(1,9)9 *(2,0)0 *(2,1)2 *(2,2)4 *(2,3)6 *(2,4)8 *(2,5)c(1,0) *(2,6)c(1,2) *(2,7)c(1,4) *(2,8)c(1,6) *(2,9)c(1,8) *(3,0)0 *(3,1)3 *(3,2)6 *(3,3)9 *(3,4)c(1,2) *(3,5)c(1,5) *(3,6)c(1,8) *(3,7)c(2,1) *(3,8)c(2,4) *(3,9)c(2,7) *(4,0)0 *(4,1)4 *(4,2)8 *(4,3)c(1,2) *(4,4)c(1,6) *(4,5)c(2,0) *(4,6)c(2,4) *(4,7)c(2,8) *(4,8)c(3,2) *(4,9)c(3,6) *(5,0)0 *(5,1)5 *(5,2)c(1,0) *(5,3)c(1,5) *(5,4)c(2,0) *(5,5)c(2,5) *(5,6)c(3,0) *(5,7)c(3,5) *(5,8)c(4,0) *(5,9)c(4,5) *(6,0)0 *(6,1)6 *(6,2)c(1,2) *(6,3)c(1,8) *(6,4)c(2,4) *(6,5)c(3,0) *(6,6)c(3,6) *(6,7)c(4,2) *(6,8)c(4,8) *(6,9)c(5,4) *(7,0)0 *(7,1)7 *(7,2)c(1,4) *(7,3)c(2,1) *(7,4)c(2,8) *(7,5)c(3,5) *(7,6)c(4,2) *(7,7)c(4,9) *(7,8)c(5,6) *(7,9)c(6,3) *(8,0)0 *(8,1)8 *(8,2)c(1,8) *(8,3)c(2,4) *(8,4)c(3,2) *(8,5)c(4,0) *(8,6)c(4,8) *(8,7)c(5,6) *(8,8)c(6,4) *(8,9)c(7,2) *(9,0)0 *(9,1)9 *(9,2)c(1,8) *(9,3)c(2,7) *(9,4)c(3,6) *(9,5)c(4,5) *(9,6)c(5,4) *(9,7)c(6,3) *(9,8)c(7,2) *(9,9)c(8,1) *(x,c(y,z))c( *(x,y), *(x,z)) *(c(x,y),z)c( *(x,z), *(y,z))Marked_c(x,c(y,z))Marked_c(+(x,y),z)Marked_c(x,c(y,z))Marked_+(x,y)Marked_+(x,c(y,z))Marked_c(y,+(x,z))Marked_+(x,c(y,z))Marked_+(x,z)Marked_+(c(x,y),z)Marked_c(x,+(y,z))Marked_+(c(x,y),z)Marked_+(y,z)c2210620210 *1120+1110820410Marked_c12200072031010920520Marked_+220