S:=u1^2*v3^2*x1*x3*y1*y2^2 + 2*u1^2*v3^2*x1*x3*y1*y2*y3 - 3*u1^2*v3^2*x1*x3*y1*y3^2 - 3*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 + 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^2*y2^2 - 2*u1*u2^2*v1*v3*x1^2*y2*y3 - u1*u2^2*v1*v3*x1^2*y3^2 + 2*u1*u2^2*v1*v3*x1*x3*y1*y3 + 2*u1*u2^2*v1*v3*x1*x3*y2^2 - 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*v3*x1^2*y2^2*y3 + 4*u1*u2*v1*v3*x1^2*y2*y3^2 + 2*u1*u2*v1*v3*x1^2*y3^3 - 4*u1*u2*v1*v3*x1*x3*y1*y3^2 - 4*u1*u2*v1*v3*x1*x3*y2^2*y3 + 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*v3^2*x1*x3*y1*y2^2 - 4*u1*u2*v3^2*x1*x3*y1*y2*y3 + 6*u1*u2*v3^2*x1*x3*y1*y3^2 + 6*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 - 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 - u1*v1*v3*x1^2*y2^2*y3^2 - 2*u1*v1*v3*x1^2*y2*y3^3 - u1*v1*v3*x1^2*y3^4 + 2*u1*v1*v3*x1*x3*y1*y2^2*y3 + 4*u1*v1*v3*x1*x3*y1*y2*y3^2 - 4*u1*v1*v3*x1*x3*y1*y3^3 - 4*u1*v1*v3*x1*x3*y2^2*y3^2 + 4*u1*v1*v3*x1*x3*y2*y3^3 + 2*u1*v1*v3*x1*x3*y3^4 + 3*u1*v1*v3*x3^2*y1^2*y3^2 - 6*u1*v1*v3*x3^2*y1*y2*y3^2 + 3*u1*v1*v3*x3^2*y2^2*y3^2 - 2*u2^2*v1^2*x1^2*y2^2*y3 - 4*u2^2*v1^2*x1^2*y2*y3^2 - 2*u2^2*v1^2*x1^2*y3^3 + u2^2*v1^2*x1*x3*y1*y2^2 + 2*u2^2*v1^2*x1*x3*y1*y2*y3 + u2^2*v1^2*x1*x3*y1*y3^2 + u2^2*v1^2*x1*x3*y2^2*y3 + 2*u2^2*v1^2*x1*x3*y2*y3^2 + u2^2*v1^2*x1*x3*y3^3 + u2^2*v1*v3*x1^2*y2^2*y3 + 2*u2^2*v1*v3*x1^2*y2*y3^2 + u2^2*v1*v3*x1^2*y3^3 - 2*u2^2*v1*v3*x1*x3*y1*y2^2 - 4*u2^2*v1*v3*x1*x3*y1*y2*y3 + 4*u2^2*v1*v3*x1*x3*y1*y3^2 + 4*u2^2*v1*v3*x1*x3*y2^2*y3 - 4*u2^2*v1*v3*x1*x3*y2*y3^2 - 2*u2^2*v1*v3*x1*x3*y3^3 - 3*u2^2*v1*v3*x3^2*y1^2*y3 + 6*u2^2*v1*v3*x3^2*y1*y2*y3 - 3*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 - 3*u2^2*v3^2*x1*x3*y1*y3^2 - 3*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 + 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 + 4*u2*v1^2*x1^2*y2^2*y3^2 + 8*u2*v1^2*x1^2*y2*y3^3 + 4*u2*v1^2*x1^2*y3^4 - 2*u2*v1^2*x1*x3*y1*y2^2*y3 - 4*u2*v1^2*x1*x3*y1*y2*y3^2 - 2*u2*v1^2*x1*x3*y1*y3^3 - 2*u2*v1^2*x1*x3*y2^2*y3^2 - 4*u2*v1^2*x1*x3*y2*y3^3 - 2*u2*v1^2*x1*x3*y3^4 - 2*u2*v1*v3*x1^2*y2^2*y3^2 - 4*u2*v1*v3*x1^2*y2*y3^3 - 2*u2*v1*v3*x1^2*y3^4 + 4*u2*v1*v3*x1*x3*y1*y3^3 + 4*u2*v1*v3*x1*x3*y2^2*y3^2 - 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 - 2*v1^2*x1^2*y2^2*y3^3 - 4*v1^2*x1^2*y2*y3^4 - 2*v1^2*x1^2*y3^5 + v1^2*x1*x3*y1*y2^2*y3^2 + 2*v1^2*x1*x3*y1*y2*y3^3 + v1^2*x1*x3*y1*y3^4 + v1^2*x1*x3*y2^2*y3^3 + 2*v1^2*x1*x3*y2*y3^4 + v1^2*x1*x3*y3^5 + v1*v3*x1^2*y2^2*y3^3 + 2*v1*v3*x1^2*y2*y3^4 + v1*v3*x1^2*y3^5 - 2*v1*v3*x1*x3*y1*y3^4 - 2*v1*v3*x1*x3*y2^2*y3^3 + 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: