S:=u1^2*u2*v2*v3*x1*x2*y1*y2 + u1^2*u2*v2*v3*x1*x2*y1*y3 + u1^2*u2*v2*v3*x1*x2*y2*y3 + u1^2*u2*v2*v3*x1*x2*y3^2 - 2*u1^2*u2*v2*v3*x1*x3*y1*y2 - 2*u1^2*u2*v2*v3*x1*x3*y2*y3 - u1^2*u2*v2*v3*x2^2*y1^2 - 2*u1^2*u2*v2*v3*x2^2*y1*y3 - u1^2*u2*v2*v3*x2^2*y3^2 + 2*u1^2*u2*v2*v3*x2*x3*y1^2 + 2*u1^2*u2*v2*v3*x2*x3*y2*y3 - u1^2*u2*v2*v3*x3^2*y1^2 + 2*u1^2*u2*v2*v3*x3^2*y1*y2 - u1^2*u2*v2*v3*x3^2*y2^2 + 2*u1^2*v2^2*x1*x2*y1*y2*y3 + 2*u1^2*v2^2*x1*x2*y1*y3^2 + 2*u1^2*v2^2*x1*x2*y2*y3^2 + 2*u1^2*v2^2*x1*x2*y3^3 - u1^2*v2^2*x1*x3*y1*y2^2 - 2*u1^2*v2^2*x1*x3*y1*y2*y3 - u1^2*v2^2*x1*x3*y1*y3^2 - u1^2*v2^2*x1*x3*y2^2*y3 - 2*u1^2*v2^2*x1*x3*y2*y3^2 - u1^2*v2^2*x1*x3*y3^3 - 2*u1^2*v2^2*x2^2*y1^2*y3 - 4*u1^2*v2^2*x2^2*y1*y3^2 - 2*u1^2*v2^2*x2^2*y3^3 + u1^2*v2^2*x2*x3*y1^2*y2 + u1^2*v2^2*x2*x3*y1^2*y3 + 2*u1^2*v2^2*x2*x3*y1*y2*y3 + 2*u1^2*v2^2*x2*x3*y1*y3^2 + u1^2*v2^2*x2*x3*y2*y3^2 + u1^2*v2^2*x2*x3*y3^3 - u1^2*v2*v3*x1*x2*y1*y2*y3 - u1^2*v2*v3*x1*x2*y1*y3^2 - u1^2*v2*v3*x1*x2*y2*y3^2 - u1^2*v2*v3*x1*x2*y3^3 + 2*u1^2*v2*v3*x1*x3*y1*y2^2 - 2*u1^2*v2*v3*x1*x3*y1*y2*y3 + 2*u1^2*v2*v3*x1*x3*y1*y3^2 + 2*u1^2*v2*v3*x1*x3*y2^2*y3 - 2*u1^2*v2*v3*x1*x3*y2*y3^2 + 2*u1^2*v2*v3*x1*x3*y3^3 + u1^2*v2*v3*x2^2*y1^2*y3 + 2*u1^2*v2*v3*x2^2*y1*y3^2 + u1^2*v2*v3*x2^2*y3^3 - 2*u1^2*v2*v3*x2*x3*y1^2*y2 + 4*u1^2*v2*v3*x2*x3*y1^2*y3 - 4*u1^2*v2*v3*x2*x3*y1*y2*y3 - 4*u1^2*v2*v3*x2*x3*y1*y3^2 + 4*u1^2*v2*v3*x2*x3*y2*y3^2 - 2*u1^2*v2*v3*x2*x3*y3^3 - 3*u1^2*v2*v3*x3^2*y1^2*y3 + 6*u1^2*v2*v3*x3^2*y1*y2*y3 - 3*u1^2*v2*v3*x3^2*y2^2*y3 - u1^2*v3^2*x1*x3*y1*y2^2 + 2*u1^2*v3^2*x1*x3*y1*y2*y3 - u1^2*v3^2*x1*x3*y1*y3^2 - u1^2*v3^2*x1*x3*y2^2*y3 + 2*u1^2*v3^2*x1*x3*y2*y3^2 - u1^2*v3^2*x1*x3*y3^3 + u1^2*v3^2*x2*x3*y1^2*y2 - 3*u1^2*v3^2*x2*x3*y1^2*y3 + 2*u1^2*v3^2*x2*x3*y1*y2*y3 + 2*u1^2*v3^2*x2*x3*y1*y3^2 - 3*u1^2*v3^2*x2*x3*y2*y3^2 + u1^2*v3^2*x2*x3*y3^3 + 2*u1^2*v3^2*x3^2*y1^2*y3 - 4*u1^2*v3^2*x3^2*y1*y2*y3 + 2*u1^2*v3^2*x3^2*y2^2*y3 - u1*u2^2*v1*v3*x1*x2*y1*y2 - u1*u2^2*v1*v3*x1*x2*y1*y3 - u1*u2^2*v1*v3*x1*x2*y2*y3 - u1*u2^2*v1*v3*x1*x2*y3^2 + 2*u1*u2^2*v1*v3*x1*x3*y1*y2 + 2*u1*u2^2*v1*v3*x1*x3*y2*y3 + u1*u2^2*v1*v3*x2^2*y1^2 + 2*u1*u2^2*v1*v3*x2^2*y1*y3 + u1*u2^2*v1*v3*x2^2*y3^2 - 2*u1*u2^2*v1*v3*x2*x3*y1^2 - 2*u1*u2^2*v1*v3*x2*x3*y2*y3 + u1*u2^2*v1*v3*x3^2*y1^2 - 2*u1*u2^2*v1*v3*x3^2*y1*y2 + u1*u2^2*v1*v3*x3^2*y2^2 - 2*u1*u2*v1*v2*x1*x2*y1*y2*y3 - 2*u1*u2*v1*v2*x1*x2*y1*y3^2 - 2*u1*u2*v1*v2*x1*x2*y2*y3^2 - 2*u1*u2*v1*v2*x1*x2*y3^3 + u1*u2*v1*v2*x1*x3*y1*y2^2 + 2*u1*u2*v1*v2*x1*x3*y1*y2*y3 + u1*u2*v1*v2*x1*x3*y1*y3^2 + u1*u2*v1*v2*x1*x3*y2^2*y3 + 2*u1*u2*v1*v2*x1*x3*y2*y3^2 + u1*u2*v1*v2*x1*x3*y3^3 + 2*u1*u2*v1*v2*x2^2*y1^2*y3 + 4*u1*u2*v1*v2*x2^2*y1*y3^2 + 2*u1*u2*v1*v2*x2^2*y3^3 - u1*u2*v1*v2*x2*x3*y1^2*y2 - u1*u2*v1*v2*x2*x3*y1^2*y3 - 2*u1*u2*v1*v2*x2*x3*y1*y2*y3 - 2*u1*u2*v1*v2*x2*x3*y1*y3^2 - u1*u2*v1*v2*x2*x3*y2*y3^2 - u1*u2*v1*v2*x2*x3*y3^3 + 2*u1*u2*v1*v3*x1*x2*y1*y2*y3 + 2*u1*u2*v1*v3*x1*x2*y1*y3^2 + 2*u1*u2*v1*v3*x1*x2*y2*y3^2 + 2*u1*u2*v1*v3*x1*x2*y3^3 - 2*u1*u2*v1*v3*x1*x3*y1*y2^2 - 2*u1*u2*v1*v3*x1*x3*y1*y3^2 - 2*u1*u2*v1*v3*x1*x3*y2^2*y3 - 2*u1*u2*v1*v3*x1*x3*y3^3 - 2*u1*u2*v1*v3*x2^2*y1^2*y3 - 4*u1*u2*v1*v3*x2^2*y1*y3^2 - 2*u1*u2*v1*v3*x2^2*y3^3 + 2*u1*u2*v1*v3*x2*x3*y1^2*y2 - 2*u1*u2*v1*v3*x2*x3*y1^2*y3 + 4*u1*u2*v1*v3*x2*x3*y1*y2*y3 + 4*u1*u2*v1*v3*x2*x3*y1*y3^2 - 2*u1*u2*v1*v3*x2*x3*y2*y3^2 + 2*u1*u2*v1*v3*x2*x3*y3^3 + 2*u1*u2*v1*v3*x3^2*y1^2*y3 - 4*u1*u2*v1*v3*x3^2*y1*y2*y3 + 2*u1*u2*v1*v3*x3^2*y2^2*y3 - 2*u1*u2*v2*v3*x1*x2*y1*y2*y3 - 2*u1*u2*v2*v3*x1*x2*y1*y3^2 - 2*u1*u2*v2*v3*x1*x2*y2*y3^2 - 2*u1*u2*v2*v3*x1*x2*y3^3 + 4*u1*u2*v2*v3*x1*x3*y1*y2*y3 + 4*u1*u2*v2*v3*x1*x3*y2*y3^2 + 2*u1*u2*v2*v3*x2^2*y1^2*y3 + 4*u1*u2*v2*v3*x2^2*y1*y3^2 + 2*u1*u2*v2*v3*x2^2*y3^3 - 4*u1*u2*v2*v3*x2*x3*y1^2*y3 - 4*u1*u2*v2*v3*x2*x3*y2*y3^2 + 2*u1*u2*v2*v3*x3^2*y1^2*y3 - 4*u1*u2*v2*v3*x3^2*y1*y2*y3 + 2*u1*u2*v2*v3*x3^2*y2^2*y3 + 2*u1*u2*v3^2*x1*x3*y1*y2^2 - 4*u1*u2*v3^2*x1*x3*y1*y2*y3 + 2*u1*u2*v3^2*x1*x3*y1*y3^2 + 2*u1*u2*v3^2*x1*x3*y2^2*y3 - 4*u1*u2*v3^2*x1*x3*y2*y3^2 + 2*u1*u2*v3^2*x1*x3*y3^3 - 2*u1*u2*v3^2*x2*x3*y1^2*y2 + 6*u1*u2*v3^2*x2*x3*y1^2*y3 - 4*u1*u2*v3^2*x2*x3*y1*y2*y3 - 4*u1*u2*v3^2*x2*x3*y1*y3^2 + 6*u1*u2*v3^2*x2*x3*y2*y3^2 - 2*u1*u2*v3^2*x2*x3*y3^3 - 4*u1*u2*v3^2*x3^2*y1^2*y3 + 8*u1*u2*v3^2*x3^2*y1*y2*y3 - 4*u1*u2*v3^2*x3^2*y2^2*y3 + 2*u1*v1*v2*x1*x2*y1*y2*y3^2 + 2*u1*v1*v2*x1*x2*y1*y3^3 + 2*u1*v1*v2*x1*x2*y2*y3^3 + 2*u1*v1*v2*x1*x2*y3^4 - u1*v1*v2*x1*x3*y1*y2^2*y3 - 2*u1*v1*v2*x1*x3*y1*y2*y3^2 - u1*v1*v2*x1*x3*y1*y3^3 - u1*v1*v2*x1*x3*y2^2*y3^2 - 2*u1*v1*v2*x1*x3*y2*y3^3 - u1*v1*v2*x1*x3*y3^4 - 2*u1*v1*v2*x2^2*y1^2*y3^2 - 4*u1*v1*v2*x2^2*y1*y3^3 - 2*u1*v1*v2*x2^2*y3^4 + u1*v1*v2*x2*x3*y1^2*y2*y3 + u1*v1*v2*x2*x3*y1^2*y3^2 + 2*u1*v1*v2*x2*x3*y1*y2*y3^2 + 2*u1*v1*v2*x2*x3*y1*y3^3 + u1*v1*v2*x2*x3*y2*y3^3 + u1*v1*v2*x2*x3*y3^4 - u1*v1*v3*x1*x2*y1*y2*y3^2 - u1*v1*v3*x1*x2*y1*y3^3 - u1*v1*v3*x1*x2*y2*y3^3 - u1*v1*v3*x1*x2*y3^4 + 2*u1*v1*v3*x1*x3*y1*y2*y3^2 + 2*u1*v1*v3*x1*x3*y2*y3^3 + u1*v1*v3*x2^2*y1^2*y3^2 + 2*u1*v1*v3*x2^2*y1*y3^3 + u1*v1*v3*x2^2*y3^4 - 2*u1*v1*v3*x2*x3*y1^2*y3^2 - 2*u1*v1*v3*x2*x3*y2*y3^3 + u1*v1*v3*x3^2*y1^2*y3^2 - 2*u1*v1*v3*x3^2*y1*y2*y3^2 + u1*v1*v3*x3^2*y2^2*y3^2 - 4*u1*v2^2*x1*x2*y1*y2*y3^2 - 4*u1*v2^2*x1*x2*y1*y3^3 - 4*u1*v2^2*x1*x2*y2*y3^3 - 4*u1*v2^2*x1*x2*y3^4 + 2*u1*v2^2*x1*x3*y1*y2^2*y3 + 4*u1*v2^2*x1*x3*y1*y2*y3^2 + 2*u1*v2^2*x1*x3*y1*y3^3 + 2*u1*v2^2*x1*x3*y2^2*y3^2 + 4*u1*v2^2*x1*x3*y2*y3^3 + 2*u1*v2^2*x1*x3*y3^4 + 4*u1*v2^2*x2^2*y1^2*y3^2 + 8*u1*v2^2*x2^2*y1*y3^3 + 4*u1*v2^2*x2^2*y3^4 - 2*u1*v2^2*x2*x3*y1^2*y2*y3 - 2*u1*v2^2*x2*x3*y1^2*y3^2 - 4*u1*v2^2*x2*x3*y1*y2*y3^2 - 4*u1*v2^2*x2*x3*y1*y3^3 - 2*u1*v2^2*x2*x3*y2*y3^3 - 2*u1*v2^2*x2*x3*y3^4 + 2*u1*v2*v3*x1*x2*y1*y2*y3^2 + 2*u1*v2*v3*x1*x2*y1*y3^3 + 2*u1*v2*v3*x1*x2*y2*y3^3 + 2*u1*v2*v3*x1*x2*y3^4 - 4*u1*v2*v3*x1*x3*y1*y2*y3^2 - 4*u1*v2*v3*x1*x3*y2*y3^3 - 2*u1*v2*v3*x2^2*y1^2*y3^2 - 4*u1*v2*v3*x2^2*y1*y3^3 - 2*u1*v2*v3*x2^2*y3^4 + 4*u1*v2*v3*x2*x3*y1^2*y3^2 + 4*u1*v2*v3*x2*x3*y2*y3^3 - 2*u1*v2*v3*x3^2*y1^2*y3^2 + 4*u1*v2*v3*x3^2*y1*y2*y3^2 - 2*u1*v2*v3*x3^2*y2^2*y3^2 + u2^2*v1*v3*x1*x2*y1*y2*y3 + u2^2*v1*v3*x1*x2*y1*y3^2 + u2^2*v1*v3*x1*x2*y2*y3^2 + u2^2*v1*v3*x1*x2*y3^3 - 2*u2^2*v1*v3*x1*x3*y1*y2*y3 - 2*u2^2*v1*v3*x1*x3*y2*y3^2 - u2^2*v1*v3*x2^2*y1^2*y3 - 2*u2^2*v1*v3*x2^2*y1*y3^2 - u2^2*v1*v3*x2^2*y3^3 + 2*u2^2*v1*v3*x2*x3*y1^2*y3 + 2*u2^2*v1*v3*x2*x3*y2*y3^2 - u2^2*v1*v3*x3^2*y1^2*y3 + 2*u2^2*v1*v3*x3^2*y1*y2*y3 - u2^2*v1*v3*x3^2*y2^2*y3 - u2^2*v3^2*x1*x3*y1*y2^2 + 2*u2^2*v3^2*x1*x3*y1*y2*y3 - u2^2*v3^2*x1*x3*y1*y3^2 - u2^2*v3^2*x1*x3*y2^2*y3 + 2*u2^2*v3^2*x1*x3*y2*y3^2 - u2^2*v3^2*x1*x3*y3^3 + u2^2*v3^2*x2*x3*y1^2*y2 - 3*u2^2*v3^2*x2*x3*y1^2*y3 + 2*u2^2*v3^2*x2*x3*y1*y2*y3 + 2*u2^2*v3^2*x2*x3*y1*y3^2 - 3*u2^2*v3^2*x2*x3*y2*y3^2 + u2^2*v3^2*x2*x3*y3^3 + 2*u2^2*v3^2*x3^2*y1^2*y3 - 4*u2^2*v3^2*x3^2*y1*y2*y3 + 2*u2^2*v3^2*x3^2*y2^2*y3 + 2*u2*v1*v2*x1*x2*y1*y2*y3^2 + 2*u2*v1*v2*x1*x2*y1*y3^3 + 2*u2*v1*v2*x1*x2*y2*y3^3 + 2*u2*v1*v2*x1*x2*y3^4 - u2*v1*v2*x1*x3*y1*y2^2*y3 - 2*u2*v1*v2*x1*x3*y1*y2*y3^2 - u2*v1*v2*x1*x3*y1*y3^3 - u2*v1*v2*x1*x3*y2^2*y3^2 - 2*u2*v1*v2*x1*x3*y2*y3^3 - u2*v1*v2*x1*x3*y3^4 - 2*u2*v1*v2*x2^2*y1^2*y3^2 - 4*u2*v1*v2*x2^2*y1*y3^3 - 2*u2*v1*v2*x2^2*y3^4 + u2*v1*v2*x2*x3*y1^2*y2*y3 + u2*v1*v2*x2*x3*y1^2*y3^2 + 2*u2*v1*v2*x2*x3*y1*y2*y3^2 + 2*u2*v1*v2*x2*x3*y1*y3^3 + u2*v1*v2*x2*x3*y2*y3^3 + u2*v1*v2*x2*x3*y3^4 - 2*u2*v1*v3*x1*x2*y1*y2*y3^2 - 2*u2*v1*v3*x1*x2*y1*y3^3 - 2*u2*v1*v3*x1*x2*y2*y3^3 - 2*u2*v1*v3*x1*x2*y3^4 + 2*u2*v1*v3*x1*x3*y1*y2^2*y3 + 2*u2*v1*v3*x1*x3*y1*y3^3 + 2*u2*v1*v3*x1*x3*y2^2*y3^2 + 2*u2*v1*v3*x1*x3*y3^4 + 2*u2*v1*v3*x2^2*y1^2*y3^2 + 4*u2*v1*v3*x2^2*y1*y3^3 + 2*u2*v1*v3*x2^2*y3^4 - 2*u2*v1*v3*x2*x3*y1^2*y2*y3 + 2*u2*v1*v3*x2*x3*y1^2*y3^2 - 4*u2*v1*v3*x2*x3*y1*y2*y3^2 - 4*u2*v1*v3*x2*x3*y1*y3^3 + 2*u2*v1*v3*x2*x3*y2*y3^3 - 2*u2*v1*v3*x2*x3*y3^4 - 2*u2*v1*v3*x3^2*y1^2*y3^2 + 4*u2*v1*v3*x3^2*y1*y2*y3^2 - 2*u2*v1*v3*x3^2*y2^2*y3^2 + u2*v2*v3*x1*x2*y1*y2*y3^2 + u2*v2*v3*x1*x2*y1*y3^3 + u2*v2*v3*x1*x2*y2*y3^3 + u2*v2*v3*x1*x2*y3^4 - 2*u2*v2*v3*x1*x3*y1*y2^2*y3 + 2*u2*v2*v3*x1*x3*y1*y2*y3^2 - 2*u2*v2*v3*x1*x3*y1*y3^3 - 2*u2*v2*v3*x1*x3*y2^2*y3^2 + 2*u2*v2*v3*x1*x3*y2*y3^3 - 2*u2*v2*v3*x1*x3*y3^4 - u2*v2*v3*x2^2*y1^2*y3^2 - 2*u2*v2*v3*x2^2*y1*y3^3 - u2*v2*v3*x2^2*y3^4 + 2*u2*v2*v3*x2*x3*y1^2*y2*y3 - 4*u2*v2*v3*x2*x3*y1^2*y3^2 + 4*u2*v2*v3*x2*x3*y1*y2*y3^2 + 4*u2*v2*v3*x2*x3*y1*y3^3 - 4*u2*v2*v3*x2*x3*y2*y3^3 + 2*u2*v2*v3*x2*x3*y3^4 + 3*u2*v2*v3*x3^2*y1^2*y3^2 - 6*u2*v2*v3*x3^2*y1*y2*y3^2 + 3*u2*v2*v3*x3^2*y2^2*y3^2 - 2*v1*v2*x1*x2*y1*y2*y3^3 - 2*v1*v2*x1*x2*y1*y3^4 - 2*v1*v2*x1*x2*y2*y3^4 - 2*v1*v2*x1*x2*y3^5 + v1*v2*x1*x3*y1*y2^2*y3^2 + 2*v1*v2*x1*x3*y1*y2*y3^3 + v1*v2*x1*x3*y1*y3^4 + v1*v2*x1*x3*y2^2*y3^3 + 2*v1*v2*x1*x3*y2*y3^4 + v1*v2*x1*x3*y3^5 + 2*v1*v2*x2^2*y1^2*y3^3 + 4*v1*v2*x2^2*y1*y3^4 + 2*v1*v2*x2^2*y3^5 - v1*v2*x2*x3*y1^2*y2*y3^2 - v1*v2*x2*x3*y1^2*y3^3 - 2*v1*v2*x2*x3*y1*y2*y3^3 - 2*v1*v2*x2*x3*y1*y3^4 - v1*v2*x2*x3*y2*y3^4 - v1*v2*x2*x3*y3^5 + v1*v3*x1*x2*y1*y2*y3^3 + v1*v3*x1*x2*y1*y3^4 + v1*v3*x1*x2*y2*y3^4 + v1*v3*x1*x2*y3^5 - 2*v1*v3*x1*x3*y1*y2*y3^3 - 2*v1*v3*x1*x3*y2*y3^4 - v1*v3*x2^2*y1^2*y3^3 - 2*v1*v3*x2^2*y1*y3^4 - v1*v3*x2^2*y3^5 + 2*v1*v3*x2*x3*y1^2*y3^3 + 2*v1*v3*x2*x3*y2*y3^4 - v1*v3*x3^2*y1^2*y3^3 + 2*v1*v3*x3^2*y1*y2*y3^3 - v1*v3*x3^2*y2^2*y3^3 + 2*v2^2*x1*x2*y1*y2*y3^3 + 2*v2^2*x1*x2*y1*y3^4 + 2*v2^2*x1*x2*y2*y3^4 + 2*v2^2*x1*x2*y3^5 - v2^2*x1*x3*y1*y2^2*y3^2 - 2*v2^2*x1*x3*y1*y2*y3^3 - v2^2*x1*x3*y1*y3^4 - v2^2*x1*x3*y2^2*y3^3 - 2*v2^2*x1*x3*y2*y3^4 - v2^2*x1*x3*y3^5 - 2*v2^2*x2^2*y1^2*y3^3 - 4*v2^2*x2^2*y1*y3^4 - 2*v2^2*x2^2*y3^5 + v2^2*x2*x3*y1^2*y2*y3^2 + v2^2*x2*x3*y1^2*y3^3 + 2*v2^2*x2*x3*y1*y2*y3^3 + 2*v2^2*x2*x3*y1*y3^4 + v2^2*x2*x3*y2*y3^4 + v2^2*x2*x3*y3^5 - v2*v3*x1*x2*y1*y2*y3^3 - v2*v3*x1*x2*y1*y3^4 - v2*v3*x1*x2*y2*y3^4 - v2*v3*x1*x2*y3^5 + 2*v2*v3*x1*x3*y1*y2*y3^3 + 2*v2*v3*x1*x3*y2*y3^4 + v2*v3*x2^2*y1^2*y3^3 + 2*v2*v3*x2^2*y1*y3^4 + v2*v3*x2^2*y3^5 - 2*v2*v3*x2*x3*y1^2*y3^3 - 2*v2*v3*x2*x3*y2*y3^4 + v2*v3*x3^2*y1^2*y3^3 - 2*v2*v3*x3^2*y1*y2*y3^3 + v2*v3*x3^2*y2^2*y3^3: