/* For each moneric classes, we write out the initial term of each generators of the Cox ring, in the following order: E(1),E(2),E(3),E(4),E(5),E(6), F(1,2),F(1,3),F(1,4),F(1,5),F(1,6),F(2,3),F(2,4),F(2,5),F(2,6),F(3,4),F(3,5),F(3,6),F(4,5),F(4,6),F(5,6), G(1),G(2),G(3),G(4),G(5),G(6). */ x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(3)*x(4)^2*x(5)*x(6)*y(1)*y(2),x(3)*x(4)*x(5)^2*x(6)*y(1)*y(2),x(3)*x(4)*x(5)*x(6)^2*y(1)*y(2) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(3)*x(4)*x(5)^2*x(6)*y(1)*y(2),x(3)*x(4)*x(5)*x(6)^2*y(1)*y(2) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(3)*x(4)*x(5)^2*x(6)*y(1)*y(2),x(3)*x(4)*x(5)*x(6)^2*y(1)*y(2) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(3)*x(4)*x(5)*x(6)^2*y(1)*y(2) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(3)*x(4)*x(5)*x(6)^2*y(1)*y(2) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(5)*y(6),x(2)*x(3)*x(4)*y(6),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(4)*x(5)*y(1)*y(6),x(2)*x(3)^2*x(4)*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(3)*x(6)*y(2),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(1)*x(3)*x(5)*x(6)^2*y(2)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(4)*x(5)*y(6),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(3)*x(6)*y(2),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(1)*x(3)*x(4)*x(5)*x(6)*y(2)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(2)*x(3)*x(5)*y(6),x(2)*x(3)*x(4)*y(6),x(3)*x(4)*x(5)*y(2),x(1)*x(4)*x(5)*y(6),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(2)*x(3)*y(6),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(4)*x(5)*y(1)*y(6),x(2)*x(3)^2*x(4)*x(5)*y(1)*y(6),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(1)*x(2)*x(3)*x(4)*x(5)*y(6)^2 x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(2)*x(6)*y(3),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(2)*x(6)*y(3),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)^2*x(2)*x(5)*x(6)*y(3)*y(4),x(1)*x(2)^2*x(5)*x(6)*y(3)*y(4),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(2),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(3)*x(6)*y(4),x(1)*x(3)*x(5)*y(4),x(2)*x(5)*x(6)*y(1),x(1)*x(2)*x(6)*y(4),x(1)*x(2)*x(5)*y(4),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(1)*x(3)*x(6)*y(5),x(1)*x(3)*x(6)*y(4),x(1)*x(3)*x(5)*y(4),x(2)*x(5)*x(6)*y(1),x(1)*x(2)*x(6)*y(4),x(1)*x(2)*x(5)*y(4),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(3)*x(6)*y(4),x(1)*x(3)*x(5)*y(4),x(2)*x(5)*x(6)*y(1),x(1)*x(2)*x(6)*y(4),x(1)*x(2)*x(5)*y(4),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(1)*x(2)*x(3)*x(5)*x(6)*y(4)^2,x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(4),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(6)*y(4),x(2)*x(3)*x(5)*y(4),x(1)*x(5)*x(6)*y(4),x(1)*x(3)*x(6)*y(5),x(1)*x(3)*x(6)*y(4),x(1)*x(3)*x(5)*y(4),x(2)*x(5)*x(6)*y(1),x(1)*x(2)*x(6)*y(4),x(1)*x(2)*x(5)*y(4),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(5)*x(6)*y(1)*y(4),x(2)^2*x(3)*x(5)*x(6)*y(1)*y(4),x(2)*x(3)^2*x(5)*x(6)*y(1)*y(4),x(1)*x(2)*x(3)*x(5)*x(6)*y(4)^2,x(2)*x(3)*x(5)^2*x(6)*y(1)*y(4),x(2)*x(3)*x(5)*x(6)^2*y(1)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(2),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(4)*y(6),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(1)*x(2)*x(3)*x(4)*x(6)*y(1)*y(5),x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(3)*x(5)*x(6)*y(2),x(3)*x(4)*x(6)*y(2),x(3)*x(4)*x(5)*y(2),x(4)*x(5)*x(6)*y(1),x(3)*x(5)*x(6)*y(1),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(3)^2*x(4)*x(5)*x(6)*y(1)*y(2),x(3)*x(4)^2*x(5)*x(6)*y(1)*y(2),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(4)*x(5)*x(6)*y(2),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(4)*x(5)*x(6)*y(1),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(2)*x(4)^2*x(5)*x(6)*y(1)*y(3),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)*x(5)*x(6)*y(3)*y(4),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)*x(5)*x(6)*y(3)*y(4),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(2)*x(6)*y(3),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)*x(5)*x(6)*y(3)*y(4),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(1)*x(2)*x(6)*y(3),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(3)*x(4)*x(6)*y(3)*y(5),x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(4)*x(5)*y(6),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(5)*y(6),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)^2*x(5)*y(3)*y(6),x(2)*x(4)*x(5)^2*x(6)*y(1)*y(3),x(2)*x(4)*x(5)*x(6)^2*y(1)*y(3) x(1),x(2),x(3),x(4),x(5),x(6),x(4)*x(5)*x(6)*y(3),x(2)*x(5)*x(6)*y(4),x(2)*x(5)*x(6)*y(3),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(5)*x(6)*y(4),x(1)*x(5)*x(6)*y(3),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(1)*x(2)*x(6)*y(4),x(1)*x(2)*x(5)*y(4),x(1)*x(2)*x(6)*y(3),x(1)*x(2)*x(5)*y(3),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(3)^2,x(1)*x(2)*x(4)*x(5)*x(6)*y(3)*y(4),x(1)*x(2)*x(5)^2*x(6)*y(3)*y(4),x(1)*x(2)*x(5)*x(6)^2*y(3)*y(4) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(3)*x(4)*x(6)*y(3)*y(5),x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(1)*x(2)*x(4)*y(5),x(2)*x(3)*x(6)*y(1),x(1)*x(2)*x(3)*y(5),x(1)*x(2)*x(4)*y(3),x(1)*x(2)*x(4)*x(5)*x(6)*y(1)*y(3),x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(1)*x(2)*x(3)*x(4)*x(6)*y(3)*y(5),x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(1)*x(2)*x(3)*x(4)*x(6)*y(5)^2,x(2)*x(3)*x(4)*x(6)^2*y(1)*y(5) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(2)*x(3)*x(5)*y(6),x(2)*x(3)*x(4)*y(6),x(3)*x(4)*x(5)*y(2),x(1)*x(4)*x(5)*y(6),x(1)*x(3)*x(5)*y(6),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(2),x(2)*x(3)^2*x(4)*x(5)*y(1)*y(6),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(2)*x(3)*x(5)*y(6),x(2)*x(3)*x(4)*y(6),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(5)*y(6),x(1)*x(3)*x(5)*y(6),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(4)*x(5)*x(6)*y(1)*y(3),x(2)*x(3)^2*x(4)*x(5)*y(1)*y(6),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(5)*y(6),x(2)*x(4)*x(5)*y(6),x(2)*x(3)*x(5)*y(6),x(2)*x(3)*x(4)*y(6),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(5)*y(6),x(1)*x(3)*x(5)*y(6),x(3)*x(4)*x(6)*y(1),x(3)*x(4)*x(5)*y(1),x(2)*x(5)*x(6)*y(1),x(2)*x(4)*x(6)*y(1),x(2)*x(4)*x(5)*y(1),x(2)*x(3)*x(6)*y(1),x(2)*x(3)*x(5)*y(1),x(2)*x(3)*x(4)*y(1),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)^2,x(2)^2*x(3)*x(4)*x(6)*y(1)*y(5),x(2)*x(3)^2*x(4)*x(5)*y(1)*y(6),x(2)*x(3)*x(4)^2*x(5)*y(1)*y(6),x(2)*x(3)*x(4)*x(5)^2*y(1)*y(6),x(2)*x(3)*x(4)*x(5)*x(6)*y(1)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(4)*y(6),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(3)*x(4)*y(6),x(1)*x(3)*x(4)*y(5),x(1)*x(2)*x(5)*y(6),x(1)*x(2)*x(4)*y(6),x(1)*x(2)*x(4)*y(5),x(1)*x(2)*x(3)*y(6),x(1)*x(2)*x(3)*y(5),x(2)*x(3)*x(4)*y(1),x(1)^2*x(2)*x(3)*x(4)*y(5)*y(6),x(1)*x(2)^2*x(3)*x(4)*y(5)*y(6),x(2)*x(3)^2*x(4)*x(6)*y(1)*y(5),x(2)*x(3)*x(4)^2*x(6)*y(1)*y(5),x(1)*x(2)*x(3)*x(4)*x(6)*y(5)^2,x(1)*x(2)*x(3)*x(4)*x(6)*y(5)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(4)*x(6)*y(3),x(2)*x(4)*x(5)*y(3),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(4)*x(6)*y(3),x(1)*x(4)*x(5)*y(3),x(1)*x(2)*x(5)*y(6),x(1)*x(2)*x(4)*y(6),x(1)*x(2)*x(4)*y(5),x(1)*x(2)*x(3)*y(6),x(1)*x(2)*x(3)*y(5),x(1)*x(2)*x(4)*y(3),x(1)^2*x(2)*x(4)*x(5)*y(3)*y(6),x(1)*x(2)^2*x(4)*x(5)*y(3)*y(6),x(1)*x(2)*x(3)*x(4)*x(6)*y(3)*y(5),x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(1)*x(2)*x(3)*x(4)*x(6)*y(5)^2,x(1)*x(2)*x(3)*x(4)*x(6)*y(5)*y(6) x(1),x(2),x(3),x(4),x(5),x(6),x(3)*x(4)*x(6)*y(5),x(2)*x(4)*x(6)*y(5),x(2)*x(3)*x(6)*y(5),x(2)*x(3)*x(4)*y(6),x(2)*x(3)*x(4)*y(5),x(1)*x(4)*x(6)*y(5),x(1)*x(3)*x(6)*y(5),x(1)*x(3)*x(4)*y(6),x(1)*x(3)*x(4)*y(5),x(1)*x(2)*x(5)*y(6),x(1)*x(2)*x(4)*y(6),x(1)*x(2)*x(4)*y(5),x(1)*x(2)*x(3)*y(6),x(1)*x(2)*x(3)*y(5),x(1)*x(2)*x(4)*y(3),x(1)^2*x(2)*x(3)*x(4)*y(5)*y(6),x(1)*x(2)^2*x(3)*x(4)*y(5)*y(6),x(1)*x(2)*x(3)*x(4)*x(6)*y(3)*y(5),x(1)*x(2)*x(4)^2*x(6)*y(3)*y(5),x(1)*x(2)*x(3)*x(4)*x(6)*y(5)^2,x(1)*x(2)*x(3)*x(4)*x(6)*y(5)*y(6)