Pappus

Geogebra sheet

Coq statement

Lemma Pappus forall A B C A1 B1 C1 P Q S:point,
  X A = 0 -> Y A = 0 -> Y B = 0 -> Y C = 0 -> 
  collinear A1 B1 C1 ->
  collinear A B1 P -> collinear A1 B P ->
  collinear A C1 Q -> collinear A1 C Q ->
  collinear B C1 S -> collinear B1 C S ->
  collinear P Q S 
  \/ (Y A1 - Y B1)^2=0 \/ (X A = X B1)
  \/ (X A1 = X C) \/ (X C = X B1)
  \/ parallel A B1 A1 B \/ parallel A C1 A1 C \/ parallel B C1 B1 C.
Proof.
geo_begin.
tzRpv 0%Z (X B::X A1::Y A1::X B1::Y B1::X C::Y C1::nil)
(X B
 :: X A1
    :: Y A1
       :: X B1
          :: Y B1
             :: X C
                :: Y C1
                   :: X C1 :: Y P :: X P :: Y Q :: X Q :: Y S :: X S :: nil).
Qed.

Algebraic version

p:=  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^4+(u2*u3^2*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5^3+((-2)*u2*u3^3*u4^3+(((-1)*u2^2+u1*u2)*u3^3)*u4^2)*u5^2+u2*u3^4*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^4+(u3^2*u4^2+(((-2)*u1+2*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5^2+u3^4*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^3+((2*u1+(-3)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^3+(((-1)*u1+3*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^3+(-1)*u2*u3^4*u4^2)*u5)*u6) *h^2*j*k +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^4+((-1)*u2*u3^2*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5^3+(2*u2*u3^3*u4^3+((u2^2+(-1)*u1*u2)*u3^3)*u4^2)*u5^2+(-1)*u2*u3^4*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^2+((2*u1+(-2)*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5^2+(-1)*u3^4*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^4+(u3^2*u4^3+(((-2)*u1+3*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^3+((u1+(-3)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5^2+(u3^4*u4^3+u2*u3^4*u4^2)*u5)*u6) *h^2*i*l +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^4+((-1)*u2*u3^2*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5^3+(2*u2*u3^3*u4^3+((u2^2+(-1)*u1*u2)*u3^3)*u4^2)*u5^2+(-1)*u2*u3^4*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^2+((2*u1+(-2)*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5^2+(-1)*u3^4*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^4+(u3^2*u4^3+(((-2)*u1+3*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^3+((u1+(-3)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5^2+(u3^4*u4^3+u2*u3^4*u4^2)*u5)*u6) *h^2*j*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^4+(u2*u3^2*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5^3+((-2)*u2*u3^3*u4^3+(((-1)*u2^2+u1*u2)*u3^3)*u4^2)*u5^2+u2*u3^4*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^4+(u3^2*u4^2+(((-2)*u1+2*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5^2+u3^4*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^3+((2*u1+(-3)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^3+(((-1)*u1+3*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^3+(-1)*u2*u3^4*u4^2)*u5)*u6) *h^2*l*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^4+(u2*u3^2*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5^3+((-2)*u2*u3^3*u4^3+(((-1)*u2^2+u1*u2)*u3^3)*u4^2)*u5^2+u2*u3^4*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^4+(u3^2*u4^2+(((-2)*u1+2*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5^2+u3^4*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^3+((2*u1+(-3)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^3+(((-1)*u1+3*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^3+(-1)*u2*u3^4*u4^2)*u5)*u6) *h^2*i*n +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^4+((-1)*u2*u3^2*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5^3+(2*u2*u3^3*u4^3+((u2^2+(-1)*u1*u2)*u3^3)*u4^2)*u5^2+(-1)*u2*u3^4*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^4+((-1)*u3^2*u4^2+((2*u1+(-2)*u2)*u3^2)*u4)*u5^3+(2*u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5^2+(-1)*u3^4*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^4+(u3^2*u4^3+(((-2)*u1+3*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+((-2)*u3^3*u4^3+((u1+(-3)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5^2+(u3^4*u4^3+u2*u3^4*u4^2)*u5)*u6) *h^2*k*n +  ((((u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^4+((-1)*u1*u2*u3^2*u4^3+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2)*u5^3+(2*u1*u2*u3^3*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(-1)*u1*u2*u3^4*u4^3*u5+(((((-1)*u1^2+u1*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^2+((2*u1^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^2+(((-1)*u1^2+u1*u2)*u3^3)*u4)*u5^2+(-1)*u1*u3^4*u4^2*u5)*u6^2+((((u1^2+(-1)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^3+(((-2)*u1^2+3*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^3+((u1^2+(-3)*u1*u2)*u3^3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4)*u5^2+(u1*u3^4*u4^3+u1*u2*u3^4*u4^2)*u5)*u6+((-1)*u2*u3^4*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^4+((-1)*u1*u2*u3*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^4+2*u1*u2*u3^2*u4^3+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^2)*u5^2+(2*u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+(u3^4*u4^2+((u1+(-1)*u2)*u4)*u5^4+(u3*u4^2+(((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5)*u6^3+((-2)*u3^4*u4^3+(-1)*u2*u3^4*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^4+((-1)*u3*u4^3+(-2)*u2*u3*u4^2+(((-3)*u2^2+3*u1*u2)*u3)*u4)*u5^3+3*u1*u3^2*u4^2*u5^2+(3*u3^3*u4^3+(((-2)*u1+2*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5)*u6^2+(u3^4*u4^4+2*u2*u3^4*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^4+(((u1+u2)*u3)*u4^3+((3*u2^2+(-2)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^3+(u3^2*u4^4+(-2)*u1*u3^2*u4^3+(-2)*u1*u2*u3^2*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5^2+((-2)*u3^3*u4^4+((u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u2^2+2*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*j*k +  (((((-1)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^4+(u1*u2*u3^2*u4^3+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2)*u5^3+((-2)*u1*u2*u3^3*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+u1*u2*u3^4*u4^3*u5+((((u1^2+(-1)*u1*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^2+(((-2)*u1^2+2*u1*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^2+((u1^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+u1*u3^4*u4^2*u5)*u6^2+(((((-1)*u1^2+u1*u2)*u3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^3+((2*u1^2+(-3)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^3+(((-1)*u1^2+3*u1*u2)*u3^3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4)*u5^2+((-1)*u1*u3^4*u4^3+(-1)*u1*u2*u3^4*u4^2)*u5)*u6+(u2*u3^4*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^4+(u1*u2*u3*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^4+(-2)*u1*u2*u3^2*u4^3+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^2)*u5^2+((-2)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+((-1)*u3^4*u4^2+(((-1)*u1+u2)*u4)*u5^4+((-1)*u3*u4^2+((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+(u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5)*u6^3+(2*u3^4*u4^3+u2*u3^4*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^4+(u3*u4^3+2*u2*u3*u4^2+((3*u2^2+(-3)*u1*u2)*u3)*u4)*u5^3+(-3)*u1*u3^2*u4^2*u5^2+((-3)*u3^3*u4^3+((2*u1+(-2)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5)*u6^2+((-1)*u3^4*u4^4+(-2)*u2*u3^4*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^4+((((-1)*u1+(-1)*u2)*u3)*u4^3+(((-3)*u2^2+2*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^3+((-1)*u3^2*u4^4+2*u1*u3^2*u4^3+2*u1*u2*u3^2*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5^2+(2*u3^3*u4^4+(((-1)*u1+3*u2)*u3^3)*u4^3+((u2^2+(-2)*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*i*l +  (((((-1)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^4+(u1*u2*u3^2*u4^3+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2)*u5^3+((-2)*u1*u2*u3^3*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+u1*u2*u3^4*u4^3*u5+((((u1^2+(-1)*u1*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^2+(((-2)*u1^2+2*u1*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^2+((u1^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+u1*u3^4*u4^2*u5)*u6^2+(((((-1)*u1^2+u1*u2)*u3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^3+((2*u1^2+(-3)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^3+(((-1)*u1^2+3*u1*u2)*u3^3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4)*u5^2+((-1)*u1*u3^4*u4^3+(-1)*u1*u2*u3^4*u4^2)*u5)*u6+(u2*u3^4*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^4+(u1*u2*u3*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^4+(-2)*u1*u2*u3^2*u4^3+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^2)*u5^2+((-2)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+((-1)*u3^4*u4^2+(((-1)*u1+u2)*u4)*u5^4+((-1)*u3*u4^2+((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+(u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5)*u6^3+(2*u3^4*u4^3+u2*u3^4*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^4+(u3*u4^3+2*u2*u3*u4^2+((3*u2^2+(-3)*u1*u2)*u3)*u4)*u5^3+(-3)*u1*u3^2*u4^2*u5^2+((-3)*u3^3*u4^3+((2*u1+(-2)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5)*u6^2+((-1)*u3^4*u4^4+(-2)*u2*u3^4*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^4+((((-1)*u1+(-1)*u2)*u3)*u4^3+(((-3)*u2^2+2*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^3+((-1)*u3^2*u4^4+2*u1*u3^2*u4^3+2*u1*u2*u3^2*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5^2+(2*u3^3*u4^4+(((-1)*u1+3*u2)*u3^3)*u4^3+((u2^2+(-2)*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*j*m +  ((((u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^4+((-1)*u1*u2*u3^2*u4^3+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2)*u5^3+(2*u1*u2*u3^3*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(-1)*u1*u2*u3^4*u4^3*u5+(((((-1)*u1^2+u1*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^2+((2*u1^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^2+(((-1)*u1^2+u1*u2)*u3^3)*u4)*u5^2+(-1)*u1*u3^4*u4^2*u5)*u6^2+((((u1^2+(-1)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^3+(((-2)*u1^2+3*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^3+((u1^2+(-3)*u1*u2)*u3^3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4)*u5^2+(u1*u3^4*u4^3+u1*u2*u3^4*u4^2)*u5)*u6+((-1)*u2*u3^4*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^4+((-1)*u1*u2*u3*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^4+2*u1*u2*u3^2*u4^3+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^2)*u5^2+(2*u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+(u3^4*u4^2+((u1+(-1)*u2)*u4)*u5^4+(u3*u4^2+(((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5)*u6^3+((-2)*u3^4*u4^3+(-1)*u2*u3^4*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^4+((-1)*u3*u4^3+(-2)*u2*u3*u4^2+(((-3)*u2^2+3*u1*u2)*u3)*u4)*u5^3+3*u1*u3^2*u4^2*u5^2+(3*u3^3*u4^3+(((-2)*u1+2*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5)*u6^2+(u3^4*u4^4+2*u2*u3^4*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^4+(((u1+u2)*u3)*u4^3+((3*u2^2+(-2)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^3+(u3^2*u4^4+(-2)*u1*u3^2*u4^3+(-2)*u1*u2*u3^2*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5^2+((-2)*u3^3*u4^4+((u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u2^2+2*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*l*m +  ((((u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^4+((-1)*u1*u2*u3^2*u4^3+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2)*u5^3+(2*u1*u2*u3^3*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(-1)*u1*u2*u3^4*u4^3*u5+(((((-1)*u1^2+u1*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^2+((2*u1^2+(-2)*u1*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^2+(((-1)*u1^2+u1*u2)*u3^3)*u4)*u5^2+(-1)*u1*u3^4*u4^2*u5)*u6^2+((((u1^2+(-1)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^3+(((-2)*u1^2+3*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^3+((u1^2+(-3)*u1*u2)*u3^3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4)*u5^2+(u1*u3^4*u4^3+u1*u2*u3^4*u4^2)*u5)*u6+((-1)*u2*u3^4*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^4+((-1)*u1*u2*u3*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^4+2*u1*u2*u3^2*u4^3+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^2)*u5^2+(2*u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+(u3^4*u4^2+((u1+(-1)*u2)*u4)*u5^4+(u3*u4^2+(((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u3^3)*u4)*u5)*u6^3+((-2)*u3^4*u4^3+(-1)*u2*u3^4*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^4+((-1)*u3*u4^3+(-2)*u2*u3*u4^2+(((-3)*u2^2+3*u1*u2)*u3)*u4)*u5^3+3*u1*u3^2*u4^2*u5^2+(3*u3^3*u4^3+(((-2)*u1+2*u2)*u3^3)*u4^2+((u2^2+(-1)*u1*u2)*u3^3)*u4)*u5)*u6^2+(u3^4*u4^4+2*u2*u3^4*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^4+(((u1+u2)*u3)*u4^3+((3*u2^2+(-2)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^3+(u3^2*u4^4+(-2)*u1*u3^2*u4^3+(-2)*u1*u2*u3^2*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5^2+((-2)*u3^3*u4^4+((u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u2^2+2*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*i*n +  (((((-1)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^4+(u1*u2*u3^2*u4^3+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2)*u5^3+((-2)*u1*u2*u3^3*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+u1*u2*u3^4*u4^3*u5+((((u1^2+(-1)*u1*u2)*u3)*u4)*u5^4+(u1*u3^2*u4^2+(((-2)*u1^2+2*u1*u2)*u3^2)*u4)*u5^3+((-2)*u1*u3^3*u4^2+((u1^2+(-1)*u1*u2)*u3^3)*u4)*u5^2+u1*u3^4*u4^2*u5)*u6^2+(((((-1)*u1^2+u1*u2)*u3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+((-1)*u1*u3^2*u4^3+((2*u1^2+(-3)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^3+(2*u1*u3^3*u4^3+(((-1)*u1^2+3*u1*u2)*u3^3)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4)*u5^2+((-1)*u1*u3^4*u4^3+(-1)*u1*u2*u3^4*u4^2)*u5)*u6+(u2*u3^4*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^4+(u1*u2*u3*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^4+(-2)*u1*u2*u3^2*u4^3+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^2)*u5^2+((-2)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+((-1)*u3^4*u4^2+(((-1)*u1+u2)*u4)*u5^4+((-1)*u3*u4^2+((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+(u3^3*u4^2+(((-1)*u1+u2)*u3^3)*u4)*u5)*u6^3+(2*u3^4*u4^3+u2*u3^4*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^4+(u3*u4^3+2*u2*u3*u4^2+((3*u2^2+(-3)*u1*u2)*u3)*u4)*u5^3+(-3)*u1*u3^2*u4^2*u5^2+((-3)*u3^3*u4^3+((2*u1+(-2)*u2)*u3^3)*u4^2+(((-1)*u2^2+u1*u2)*u3^3)*u4)*u5)*u6^2+((-1)*u3^4*u4^4+(-2)*u2*u3^4*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^4+((((-1)*u1+(-1)*u2)*u3)*u4^3+(((-3)*u2^2+2*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^3+((-1)*u3^2*u4^4+2*u1*u3^2*u4^3+2*u1*u2*u3^2*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5^2+(2*u3^3*u4^4+(((-1)*u1+3*u2)*u3^3)*u4^3+((u2^2+(-2)*u1*u2)*u3^3)*u4^2)*u5)*u6)*u7) *h*k*n +  ((u2^2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^3)*u5^3+(u2^2*u3*u4^4+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^3)*u5^2+((-2)*u2^2*u3^2*u4^4+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^4+((-2)*u3^3*u4^3+(-2)*u2*u3^3*u4^2+(((-2)*u1+2*u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-2)*u3*u4^3+((4*u1+(-6)*u2)*u3)*u4^2+(((-4)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(4*u3^2*u4^3+(((-2)*u1+6*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5)*u6^3+(u3^3*u4^4+4*u2*u3^3*u4^3+u2^2*u3^3*u4^2+((u1+(-1)*u2)*u4^3+((-4)*u2^2+4*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(u3*u4^4+(((-2)*u1+6*u2)*u3)*u4^3+((9*u2^2+(-8)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^2+((-2)*u3^2*u4^4+((u1+(-9)*u2)*u3^2)*u4^3+(((-6)*u2^2+4*u1*u2)*u3^2)*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5)*u6^2+((-2)*u2*u3^3*u4^4+(-2)*u2^2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^3+(2*u2^3+(-2)*u1*u2^2)*u4^2)*u5^3+((-2)*u2*u3*u4^4+(((-6)*u2^2+4*u1*u2)*u3)*u4^3+(((-4)*u2^3+4*u1*u2^2)*u3)*u4^2)*u5^2+(4*u2*u3^2*u4^4+((6*u2^2+(-2)*u1*u2)*u3^2)*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+((((-1)*u1*u2^3+u1^2*u2^2)*u4^2)*u5^4+(u1*u2^2*u3*u4^3+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4^2)*u5^3+((-2)*u1*u2^2*u3^2*u4^3+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4^2)*u5^2+u1*u2^2*u3^3*u4^3*u5+((((-1)*u1^2+u1*u2)*u4)*u5^4+((-1)*u1*u3*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(-1)*u1*u3^3*u4^2*u5)*u6^3+(((u1^2+(-1)*u1*u2)*u4^2+((-2)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+(u1*u3*u4^3+(((-2)*u1^2+4*u1*u2)*u3)*u4^2+((4*u1*u2^2+(-4)*u1^2*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^3+((u1^2+(-5)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^2+(u1*u3^3*u4^3+2*u1*u2*u3^3*u4^2)*u5)*u6^2+(((2*u1*u2^2+(-2)*u1^2*u2)*u4^2+(u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+((-2)*u1*u2*u3*u4^3+(((-5)*u1*u2^2+4*u1^2*u2)*u3)*u4^2+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4)*u5^3+(4*u1*u2*u3^2*u4^3+((4*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^2+((-2)*u1*u2*u3^3*u4^3+(-1)*u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *j*k +  (((-1)*u2^2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^3)*u5^3+((-1)*u2^2*u3*u4^4+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^3)*u5^2+(2*u2^2*u3^2*u4^4+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^4+(2*u3^3*u4^3+2*u2*u3^3*u4^2+((2*u1+(-2)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(2*u3*u4^3+(((-4)*u1+6*u2)*u3)*u4^2+((4*u2^2+(-4)*u1*u2)*u3)*u4)*u5^2+((-4)*u3^2*u4^3+((2*u1+(-6)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5)*u6^3+((-1)*u3^3*u4^4+(-4)*u2*u3^3*u4^3+(-1)*u2^2*u3^3*u4^2+(((-1)*u1+u2)*u4^3+(4*u2^2+(-4)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-1)*u3*u4^4+((2*u1+(-6)*u2)*u3)*u4^3+(((-9)*u2^2+8*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^2+(2*u3^2*u4^4+(((-1)*u1+9*u2)*u3^2)*u4^3+((6*u2^2+(-4)*u1*u2)*u3^2)*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5)*u6^2+(2*u2*u3^3*u4^4+2*u2^2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^3+((-2)*u2^3+2*u1*u2^2)*u4^2)*u5^3+(2*u2*u3*u4^4+((6*u2^2+(-4)*u1*u2)*u3)*u4^3+((4*u2^3+(-4)*u1*u2^2)*u3)*u4^2)*u5^2+((-4)*u2*u3^2*u4^4+(((-6)*u2^2+2*u1*u2)*u3^2)*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+(((u1*u2^3+(-1)*u1^2*u2^2)*u4^2)*u5^4+((-1)*u1*u2^2*u3*u4^3+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4^2)*u5^3+(2*u1*u2^2*u3^2*u4^3+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4^2)*u5^2+(-1)*u1*u2^2*u3^3*u4^3*u5+(((u1^2+(-1)*u1*u2)*u4)*u5^4+(u1*u3*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+u1*u3^3*u4^2*u5)*u6^3+((((-1)*u1^2+u1*u2)*u4^2+(2*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+((-1)*u1*u3*u4^3+((2*u1^2+(-4)*u1*u2)*u3)*u4^2+(((-4)*u1*u2^2+4*u1^2*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^3+(((-1)*u1^2+5*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u1*u3^3*u4^3+(-2)*u1*u2*u3^3*u4^2)*u5)*u6^2+((((-2)*u1*u2^2+2*u1^2*u2)*u4^2+((-1)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+(2*u1*u2*u3*u4^3+((5*u1*u2^2+(-4)*u1^2*u2)*u3)*u4^2+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4)*u5^3+((-4)*u1*u2*u3^2*u4^3+(((-4)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^2+(2*u1*u2*u3^3*u4^3+u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *i*l +  (((-1)*u2^2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^3)*u5^3+((-1)*u2^2*u3*u4^4+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^3)*u5^2+(2*u2^2*u3^2*u4^4+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^4+(2*u3^3*u4^3+2*u2*u3^3*u4^2+((2*u1+(-2)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(2*u3*u4^3+(((-4)*u1+6*u2)*u3)*u4^2+((4*u2^2+(-4)*u1*u2)*u3)*u4)*u5^2+((-4)*u3^2*u4^3+((2*u1+(-6)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5)*u6^3+((-1)*u3^3*u4^4+(-4)*u2*u3^3*u4^3+(-1)*u2^2*u3^3*u4^2+(((-1)*u1+u2)*u4^3+(4*u2^2+(-4)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-1)*u3*u4^4+((2*u1+(-6)*u2)*u3)*u4^3+(((-9)*u2^2+8*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^2+(2*u3^2*u4^4+(((-1)*u1+9*u2)*u3^2)*u4^3+((6*u2^2+(-4)*u1*u2)*u3^2)*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5)*u6^2+(2*u2*u3^3*u4^4+2*u2^2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^3+((-2)*u2^3+2*u1*u2^2)*u4^2)*u5^3+(2*u2*u3*u4^4+((6*u2^2+(-4)*u1*u2)*u3)*u4^3+((4*u2^3+(-4)*u1*u2^2)*u3)*u4^2)*u5^2+((-4)*u2*u3^2*u4^4+(((-6)*u2^2+2*u1*u2)*u3^2)*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+(((u1*u2^3+(-1)*u1^2*u2^2)*u4^2)*u5^4+((-1)*u1*u2^2*u3*u4^3+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4^2)*u5^3+(2*u1*u2^2*u3^2*u4^3+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4^2)*u5^2+(-1)*u1*u2^2*u3^3*u4^3*u5+(((u1^2+(-1)*u1*u2)*u4)*u5^4+(u1*u3*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+u1*u3^3*u4^2*u5)*u6^3+((((-1)*u1^2+u1*u2)*u4^2+(2*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+((-1)*u1*u3*u4^3+((2*u1^2+(-4)*u1*u2)*u3)*u4^2+(((-4)*u1*u2^2+4*u1^2*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^3+(((-1)*u1^2+5*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u1*u3^3*u4^3+(-2)*u1*u2*u3^3*u4^2)*u5)*u6^2+((((-2)*u1*u2^2+2*u1^2*u2)*u4^2+((-1)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+(2*u1*u2*u3*u4^3+((5*u1*u2^2+(-4)*u1^2*u2)*u3)*u4^2+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4)*u5^3+((-4)*u1*u2*u3^2*u4^3+(((-4)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^2+(2*u1*u2*u3^3*u4^3+u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *j*m +  ((u2^2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^3)*u5^3+(u2^2*u3*u4^4+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^3)*u5^2+((-2)*u2^2*u3^2*u4^4+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^4+((-2)*u3^3*u4^3+(-2)*u2*u3^3*u4^2+(((-2)*u1+2*u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-2)*u3*u4^3+((4*u1+(-6)*u2)*u3)*u4^2+(((-4)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(4*u3^2*u4^3+(((-2)*u1+6*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5)*u6^3+(u3^3*u4^4+4*u2*u3^3*u4^3+u2^2*u3^3*u4^2+((u1+(-1)*u2)*u4^3+((-4)*u2^2+4*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(u3*u4^4+(((-2)*u1+6*u2)*u3)*u4^3+((9*u2^2+(-8)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^2+((-2)*u3^2*u4^4+((u1+(-9)*u2)*u3^2)*u4^3+(((-6)*u2^2+4*u1*u2)*u3^2)*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5)*u6^2+((-2)*u2*u3^3*u4^4+(-2)*u2^2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^3+(2*u2^3+(-2)*u1*u2^2)*u4^2)*u5^3+((-2)*u2*u3*u4^4+(((-6)*u2^2+4*u1*u2)*u3)*u4^3+(((-4)*u2^3+4*u1*u2^2)*u3)*u4^2)*u5^2+(4*u2*u3^2*u4^4+((6*u2^2+(-2)*u1*u2)*u3^2)*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+((((-1)*u1*u2^3+u1^2*u2^2)*u4^2)*u5^4+(u1*u2^2*u3*u4^3+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4^2)*u5^3+((-2)*u1*u2^2*u3^2*u4^3+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4^2)*u5^2+u1*u2^2*u3^3*u4^3*u5+((((-1)*u1^2+u1*u2)*u4)*u5^4+((-1)*u1*u3*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(-1)*u1*u3^3*u4^2*u5)*u6^3+(((u1^2+(-1)*u1*u2)*u4^2+((-2)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+(u1*u3*u4^3+(((-2)*u1^2+4*u1*u2)*u3)*u4^2+((4*u1*u2^2+(-4)*u1^2*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^3+((u1^2+(-5)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^2+(u1*u3^3*u4^3+2*u1*u2*u3^3*u4^2)*u5)*u6^2+(((2*u1*u2^2+(-2)*u1^2*u2)*u4^2+(u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+((-2)*u1*u2*u3*u4^3+(((-5)*u1*u2^2+4*u1^2*u2)*u3)*u4^2+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4)*u5^3+(4*u1*u2*u3^2*u4^3+((4*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^2+((-2)*u1*u2*u3^3*u4^3+(-1)*u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *l*m +  ((u2^2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^3)*u5^3+(u2^2*u3*u4^4+((2*u2^3+(-2)*u1*u2^2)*u3)*u4^3)*u5^2+((-2)*u2^2*u3^2*u4^4+(((-1)*u2^3+u1*u2^2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^4+((-2)*u3^3*u4^3+(-2)*u2*u3^3*u4^2+(((-2)*u1+2*u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-2)*u3*u4^3+((4*u1+(-6)*u2)*u3)*u4^2+(((-4)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(4*u3^2*u4^3+(((-2)*u1+6*u2)*u3^2)*u4^2+((2*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5)*u6^3+(u3^3*u4^4+4*u2*u3^3*u4^3+u2^2*u3^3*u4^2+((u1+(-1)*u2)*u4^3+((-4)*u2^2+4*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(u3*u4^4+(((-2)*u1+6*u2)*u3)*u4^3+((9*u2^2+(-8)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^2+((-2)*u3^2*u4^4+((u1+(-9)*u2)*u3^2)*u4^3+(((-6)*u2^2+4*u1*u2)*u3^2)*u4^2+(((-1)*u2^3+u1*u2^2)*u3^2)*u4)*u5)*u6^2+((-2)*u2*u3^3*u4^4+(-2)*u2^2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^3+(2*u2^3+(-2)*u1*u2^2)*u4^2)*u5^3+((-2)*u2*u3*u4^4+(((-6)*u2^2+4*u1*u2)*u3)*u4^3+(((-4)*u2^3+4*u1*u2^2)*u3)*u4^2)*u5^2+(4*u2*u3^2*u4^4+((6*u2^2+(-2)*u1*u2)*u3^2)*u4^3+((2*u2^3+(-2)*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+((((-1)*u1*u2^3+u1^2*u2^2)*u4^2)*u5^4+(u1*u2^2*u3*u4^3+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4^2)*u5^3+((-2)*u1*u2^2*u3^2*u4^3+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4^2)*u5^2+u1*u2^2*u3^3*u4^3*u5+((((-1)*u1^2+u1*u2)*u4)*u5^4+((-1)*u1*u3*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(-1)*u1*u3^3*u4^2*u5)*u6^3+(((u1^2+(-1)*u1*u2)*u4^2+((-2)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+(u1*u3*u4^3+(((-2)*u1^2+4*u1*u2)*u3)*u4^2+((4*u1*u2^2+(-4)*u1^2*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^3+((u1^2+(-5)*u1*u2)*u3^2)*u4^2+(((-2)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^2+(u1*u3^3*u4^3+2*u1*u2*u3^3*u4^2)*u5)*u6^2+(((2*u1*u2^2+(-2)*u1^2*u2)*u4^2+(u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+((-2)*u1*u2*u3*u4^3+(((-5)*u1*u2^2+4*u1^2*u2)*u3)*u4^2+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4)*u5^3+(4*u1*u2*u3^2*u4^3+((4*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^2+((-2)*u1*u2*u3^3*u4^3+(-1)*u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *i*n +  (((-1)*u2^2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^3)*u5^3+((-1)*u2^2*u3*u4^4+(((-2)*u2^3+2*u1*u2^2)*u3)*u4^3)*u5^2+(2*u2^2*u3^2*u4^4+((u2^3+(-1)*u1*u2^2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^4+(2*u3^3*u4^3+2*u2*u3^3*u4^2+((2*u1+(-2)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(2*u3*u4^3+(((-4)*u1+6*u2)*u3)*u4^2+((4*u2^2+(-4)*u1*u2)*u3)*u4)*u5^2+((-4)*u3^2*u4^3+((2*u1+(-6)*u2)*u3^2)*u4^2+(((-2)*u2^2+2*u1*u2)*u3^2)*u4)*u5)*u6^3+((-1)*u3^3*u4^4+(-4)*u2*u3^3*u4^3+(-1)*u2^2*u3^3*u4^2+(((-1)*u1+u2)*u4^3+(4*u2^2+(-4)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-1)*u3*u4^4+((2*u1+(-6)*u2)*u3)*u4^3+(((-9)*u2^2+8*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^2+(2*u3^2*u4^4+(((-1)*u1+9*u2)*u3^2)*u4^3+((6*u2^2+(-4)*u1*u2)*u3^2)*u4^2+((u2^3+(-1)*u1*u2^2)*u3^2)*u4)*u5)*u6^2+(2*u2*u3^3*u4^4+2*u2^2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^3+((-2)*u2^3+2*u1*u2^2)*u4^2)*u5^3+(2*u2*u3*u4^4+((6*u2^2+(-4)*u1*u2)*u3)*u4^3+((4*u2^3+(-4)*u1*u2^2)*u3)*u4^2)*u5^2+((-4)*u2*u3^2*u4^4+(((-6)*u2^2+2*u1*u2)*u3^2)*u4^3+(((-2)*u2^3+2*u1*u2^2)*u3^2)*u4^2)*u5)*u6)*u7^2+(((u1*u2^3+(-1)*u1^2*u2^2)*u4^2)*u5^4+((-1)*u1*u2^2*u3*u4^3+(((-2)*u1*u2^3+2*u1^2*u2^2)*u3)*u4^2)*u5^3+(2*u1*u2^2*u3^2*u4^3+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4^2)*u5^2+(-1)*u1*u2^2*u3^3*u4^3*u5+(((u1^2+(-1)*u1*u2)*u4)*u5^4+(u1*u3*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+((-2)*u1*u3^2*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+u1*u3^3*u4^2*u5)*u6^3+((((-1)*u1^2+u1*u2)*u4^2+(2*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+((-1)*u1*u3*u4^3+((2*u1^2+(-4)*u1*u2)*u3)*u4^2+(((-4)*u1*u2^2+4*u1^2*u2)*u3)*u4)*u5^3+(2*u1*u3^2*u4^3+(((-1)*u1^2+5*u1*u2)*u3^2)*u4^2+((2*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u1*u3^3*u4^3+(-2)*u1*u2*u3^3*u4^2)*u5)*u6^2+((((-2)*u1*u2^2+2*u1^2*u2)*u4^2+((-1)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+(2*u1*u2*u3*u4^3+((5*u1*u2^2+(-4)*u1^2*u2)*u3)*u4^2+((2*u1*u2^3+(-2)*u1^2*u2^2)*u3)*u4)*u5^3+((-4)*u1*u2*u3^2*u4^3+(((-4)*u1*u2^2+2*u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^2+(2*u1*u2*u3^3*u4^3+u1*u2^2*u3^3*u4^2)*u5)*u6)*u7) *k*n 
F:= [
 ((-1)*u3+u5) *h +  (u3*u4+(-1)*u2*u5+(u2+(-1)*u4)*u7)  ;
 ((-1)*u4) *i +  (u5) *j ;
 ((-1)*u1+u2) *i +  ((-1)*u3) *j +  (u1*u3)  ;
 ((-1)) *h*k +  (u7) *l ;
 (u2+(-1)*u6) *k +  ((-1)*u3) *l +  (u3*u6)  ;
 ((-1)) *h*m +  (u1) *m +  (u7) *n +  ((-1)*u1*u7)  ;
 (u4+(-1)*u6) *m +  ((-1)*u5) *n +  (u5*u6)  ;
];

Certificate

CR:=[
 ((((-1)*u3^3*u4+((-1)*u1+u2)*u5^3+((2*u1+(-2)*u2)*u3+(-1)*u3*u4)*u5^2+(((-1)*u1+u2)*u3^2+2*u3^2*u4)*u5)*u6^4+(2*u3^3*u4^2+u2*u3^3*u4+((-2)*u2^2+2*u1*u2+(u1+(-1)*u2)*u4)*u5^3+((3*u2^2+(-3)*u1*u2)*u3+u3*u4^2+(((-3)*u1+5*u2)*u3)*u4)*u5^2+(((-1)*u2^2+u1*u2)*u3^2+(-3)*u3^2*u4^2+((2*u1+(-5)*u2)*u3^2)*u4)*u5)*u6^3+((-1)*u3^3*u4^3+(-2)*u2*u3^3*u4^2+(u2^3+(-1)*u1*u2^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+(((-1)*u2^3+u1*u2^2)*u3+((u1+(-3)*u2)*u3)*u4^2+(((-5)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(u3^2*u4^3+(((-1)*u1+5*u2)*u3^2)*u4^2+((3*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u2*u3^3*u4^3+(((-1)*u2^3+u1*u2^2)*u4)*u5^3+(((2*u2^2+(-1)*u1*u2)*u3)*u4^2+((u2^3+(-1)*u1*u2^2)*u3)*u4)*u5^2+((-1)*u2*u3^2*u4^3+(((-2)*u2^2+u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(((u1+(-1)*u2)*u5^4+(((-2)*u1+2*u2)*u3+u3*u4)*u5^3+((u1+(-1)*u2)*u3^2+(-2)*u3^2*u4)*u5^2+u3^3*u4*u5)*u6^4+((2*u2^2+(-2)*u1*u2+((-1)*u1+u2)*u4)*u5^4+(((-3)*u2^2+3*u1*u2)*u3+(-1)*u3*u4^2+((3*u1+(-5)*u2)*u3)*u4)*u5^3+((u2^2+(-1)*u1*u2)*u3^2+3*u3^2*u4^2+(((-2)*u1+5*u2)*u3^2)*u4)*u5^2+((-2)*u3^3*u4^2+(-1)*u2*u3^3*u4)*u5)*u6^3+(((-1)*u2^3+u1*u2^2+((-2)*u2^2+2*u1*u2)*u4)*u5^4+((u2^3+(-1)*u1*u2^2)*u3+(((-1)*u1+3*u2)*u3)*u4^2+((5*u2^2+(-4)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-5)*u2)*u3^2)*u4^2+(((-3)*u2^2+2*u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+2*u2*u3^3*u4^2)*u5)*u6^2+(((u2^3+(-1)*u1*u2^2)*u4)*u5^4+((((-2)*u2^2+u1*u2)*u3)*u4^2+(((-1)*u2^3+u1*u2^2)*u3)*u4)*u5^3+(u2*u3^2*u4^3+((2*u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5)*u6)*u7)  ;  ((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^2)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^2)*u4^2)*u5^2+(u3^3*u4^4+(-1)*u1*u3^3*u4^3)*u5+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u5^4+((u1^2+(-1)*u1*u2)*u3+(((-2)*u1+2*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+u1*u3^2*u4)*u5^2)*u6^2+((u2^3+(-2)*u1*u2^2+u1^2*u2+(u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+((u1*u2^2+(-1)*u1^2*u2)*u3+((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+(-3)*u2^2+5*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-3)*u1+3*u2)*u3^2)*u4^2+((u1^2+(-2)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6+((-1)*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3)*u4^2)*u5^2+((((-1)*u1+3*u2)*u3^2)*u4^3)*u5+((u1+(-1)*u2)*u5^3+(((-1)*u1+u2)*u3+u3*u4)*u5^2+(-1)*u3^2*u4*u5)*u6^3+((-1)*u3^3*u4^2+(2*u2^2+(-2)*u1*u2+((-1)*u1+u2)*u4)*u5^3+(((-1)*u2^2+u1*u2)*u3+(-1)*u3*u4^2+((3*u1+(-5)*u2)*u3)*u4)*u5^2+(3*u3^2*u4^2+(((-1)*u1+2*u2)*u3^2)*u4)*u5)*u6^2+(2*u3^3*u4^3+((-1)*u2^3+u1*u2^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+((((-2)*u1+4*u2)*u3)*u4^2+((4*u2^2+(-3)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((2*u1+(-5)*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j +  (((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+((-1)*u3^3*u4^4+u1*u3^3*u4^3)*u5)*u6+(u1*u3^3*u4^4+(((-1)*u1*u2^2+u1^2*u2)*u4^2)*u5^3+((((-1)*u1^2+2*u1*u2)*u3)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^2+((-1)*u1*u3^2*u4^4+((u1^2+(-2)*u1*u2)*u3^2)*u4^3)*u5+((((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((u1+(-1)*u2)*u3)*u4)*u5^2+u3^2*u4^2*u5)*u6^3+(u1*u3^3*u4^2+((u1+(-1)*u2)*u4^2+(u1^2+(-1)*u2^2)*u4)*u5^3+(u3*u4^3+(((-1)*u1+3*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+((-2)*u1*u3^3*u4^3+(((-1)*u1^2+u2^2)*u4^2+(u1*u2^2+(-1)*u1^2*u2)*u4)*u5^3+((-2)*u2*u3*u4^3+((3*u1^2+(-4)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^2+(u3^2*u4^4+3*u1*u3^2*u4^3+(((-2)*u1^2+3*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7)  ;  ((((u2^2+(-1)*u1*u2)*u3)*u5^3+(((u1+(-2)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((-1)*u2^3+u1*u2^2)*u3)*u5^3+(((2*u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+(-1)*u2*u3^3*u4^2*u5)*u6+((((-1)*u1+u2)*u5^3+((u1+(-1)*u2)*u3+(-1)*u3*u4)*u5^2+u3^2*u4*u5)*u6^3+(((-2)*u2^2+2*u1*u2)*u5^3+((u2^2+(-1)*u1*u2)*u3+(((-1)*u1+3*u2)*u3)*u4)*u5^2+((-1)*u3^2*u4^2+(-1)*u2*u3^2*u4)*u5)*u6^2+((u2^3+(-1)*u1*u2^2)*u5^3+((((-2)*u2^2+u1*u2)*u3)*u4)*u5^2+u2*u3^2*u4^2*u5)*u6)*u7) *j +  ((-1)*u3^4*u4^4+(((u2^3+(-1)*u1*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5^2+((((-1)*u1+3*u2)*u3^3)*u4^3)*u5+(u3^4*u4^3+((((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+((((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+((u1+(-2)*u2)*u3^3)*u4^2)*u5)*u6+(u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3)*u4^2)*u5^2+(((u1+(-3)*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^2+((-2)*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4)*u5^3+(((2*u1+(-4)*u2)*u3)*u4^2+(((-2)*u2^2+2*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-2)*u1+4*u2)*u3^2)*u4^2)*u5)*u6)*u7) *l +  (((-1)*u3^4*u4^3+((((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+((((-1)*u1+2*u2)*u3^3)*u4^2)*u5)*u6^2+(u3^4*u4^4+(((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(((u1+(-2)*u2)*u3^3)*u4^3)*u5)*u6+(((-1)*u3^3*u4^2+(((u1+(-1)*u2)*u3)*u4)*u5^2+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^2+((-1)*u3^2*u4^3+((2*u1+(-3)*u2)*u3^2)*u4^2)*u5)*u6^2+((-1)*u3^3*u4^4+((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^2+((((-1)*u1+2*u2)*u3^2)*u4^3)*u5)*u6)*u7)  ;  ((((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^3)*u4^3+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+((-1)*u2*u3^4*u4^4+u1*u2*u3^4*u4^3)*u5+(((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^2)*u5^2+(u3^4*u4^4+(-1)*u1*u3^4*u4^3)*u5)*u6+((-1)*u2*u3^3*u4^4+((u2^4+(-1)*u1*u2^3)*u4)*u5^3+((((-3)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^2+(((3*u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((3*u2^2+(-3)*u1*u2)*u4)*u5^3+(((2*u1+(-5)*u2)*u3)*u4^2+(((-4)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-2)*u1+6*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+(((-3)*u2^3+3*u1*u2^2)*u4)*u5^3+(((7*u2^2+(-4)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^2+(((u1+(-5)*u2)*u3^2)*u4^3+(((-4)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(u2*u3^4*u4^4+(((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3)*u4^2+(((-1)*u2^4+u1^2*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^3+((3*u2^3+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-3)*u2^2*u3^3*u4^3)*u5+(u3^4*u4^3+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+2*u1*u3^2*u4^2+(((-1)*u1^2+u2^2)*u3^2)*u4)*u5^2+(-2)*u2*u3^3*u4^2*u5)*u6^2+((-1)*u3^4*u4^4+(-1)*u2*u3^4*u4^3+((2*u2^3+(-4)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+((((-1)*u1^2+(-5)*u2^2+6*u1*u2)*u3)*u4^2+((u2^3+2*u1*u2^2+(-3)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+4*u2)*u3^2)*u4^3+((u1^2+(-3)*u2^2+(-2)*u1*u2)*u3^2)*u4^2+(((-1)*u2^3+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+3*u2*u3^3*u4^3+2*u2^2*u3^3*u4^2)*u5)*u6)*u7) *j +  (((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^3)*u4^3+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(u2*u3^4*u4^4+(-1)*u1*u2*u3^4*u4^3)*u5+((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+(-2)*u1*u2)*u3^3)*u4^2)*u5^2+((-1)*u3^4*u4^4+u1*u3^4*u4^3)*u5)*u6+(u2*u3^3*u4^4+(((-1)*u2^4+u1*u2^3)*u4)*u5^3+(((3*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^2+((((-3)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-3)*u2^2+3*u1*u2)*u4)*u5^3+((((-2)*u1+5*u2)*u3)*u4^2+((4*u2^2+(-4)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((2*u1+(-6)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+((3*u2^3+(-3)*u1*u2^2)*u4)*u5^3+((((-7)*u2^2+4*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^2+((((-1)*u1+5*u2)*u3^2)*u4^3+((4*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+((-1)*u2*u3^4*u4^4+((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2+((u2^4+(-1)*u1^2*u2^2)*u3)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-3)*u2^3+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+3*u2^2*u3^3*u4^3)*u5+((-1)*u3^4*u4^3+((u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u2^2)*u3^2)*u4)*u5^2+2*u2*u3^3*u4^2*u5)*u6^2+(u3^4*u4^4+u2*u3^4*u4^3+(((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+(((u1^2+5*u2^2+(-6)*u1*u2)*u3)*u4^2+(((-1)*u2^3+(-2)*u1*u2^2+3*u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-4)*u2)*u3^2)*u4^3+(((-1)*u1^2+3*u2^2+2*u1*u2)*u3^2)*u4^2+((u2^3+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(-3)*u2*u3^3*u4^3+(-2)*u2^2*u3^3*u4^2)*u5)*u6)*u7) *l ; 0;  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^4+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^3)*u5^2+(u3^4*u4^5+(-1)*u1*u3^4*u4^4)*u5+((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+(-2)*u1*u2)*u3^3)*u4^2)*u5^2+((-1)*u3^4*u4^4+u1*u3^4*u4^3)*u5)*u6+(u3^3*u4^5+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3)*u4^3)*u5^2+(((u1+(-3)*u2)*u3^2)*u4^4)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(3*u3^3*u4^3+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+(((-4)*u1+6*u2)*u3)*u4^2+((2*u2^2+(-2)*u1*u2)*u3)*u4)*u5^2+((-4)*u3^2*u4^3+((3*u1+(-5)*u2)*u3^2)*u4^2)*u5)*u6^2+((-3)*u3^3*u4^4+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+(((2*u1+(-4)*u2)*u3)*u4^3+(((-5)*u2^2+4*u1*u2)*u3)*u4^2)*u5^2+(2*u3^2*u4^4+(((-3)*u1+7*u2)*u3^2)*u4^3)*u5)*u6)*u7^2+((-1)*u3^4*u4^5+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u4^2)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3)*u4^3+((u2^3+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u1+3*u2)*u3^2)*u4^4+((u1^2+(-3)*u2^2)*u3^2)*u4^3)*u5^2+((-1)*u3^3*u4^5+3*u2*u3^3*u4^4)*u5+((-1)*u3^4*u4^3+((u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u2^2)*u3^2)*u4)*u5^2+2*u2*u3^3*u4^2*u5)*u6^2+(2*u3^4*u4^4+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^3+((3*u1^2+3*u2^2+(-6)*u1*u2)*u3)*u4^2+(((-1)*u2^3+u1^2*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^4+((4*u1+(-3)*u2)*u3^2)*u4^3+(((-2)*u1^2+4*u2^2)*u3^2)*u4^2)*u5^2+(u3^3*u4^4+(-5)*u2*u3^3*u4^3)*u5)*u6)*u7) *j +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^4+((u1^2+(-2)*u1*u2)*u3^3)*u4^3)*u5^2+((-1)*u3^4*u4^5+u1*u3^4*u4^4)*u5+(((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^2)*u5^2+(u3^4*u4^4+(-1)*u1*u3^4*u4^3)*u5)*u6+((-1)*u3^3*u4^5+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+((((-3)*u2^2+2*u1*u2)*u3)*u4^3)*u5^2+((((-1)*u1+3*u2)*u3^2)*u4^4)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-3)*u3^3*u4^3+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+((4*u1+(-6)*u2)*u3)*u4^2+(((-2)*u2^2+2*u1*u2)*u3)*u4)*u5^2+(4*u3^2*u4^3+(((-3)*u1+5*u2)*u3^2)*u4^2)*u5)*u6^2+(3*u3^3*u4^4+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+((((-2)*u1+4*u2)*u3)*u4^3+((5*u2^2+(-4)*u1*u2)*u3)*u4^2)*u5^2+((-2)*u3^2*u4^4+((3*u1+(-7)*u2)*u3^2)*u4^3)*u5)*u6)*u7^2+(u3^4*u4^5+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4^2)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3)*u4^3+(((-1)*u2^3+u1^2*u2)*u3)*u4^2)*u5^3+(((2*u1+(-3)*u2)*u3^2)*u4^4+(((-1)*u1^2+3*u2^2)*u3^2)*u4^3)*u5^2+(u3^3*u4^5+(-3)*u2*u3^3*u4^4)*u5+(u3^4*u4^3+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+2*u1*u3^2*u4^2+(((-1)*u1^2+u2^2)*u3^2)*u4)*u5^2+(-2)*u2*u3^3*u4^2*u5)*u6^2+((-2)*u3^4*u4^4+((u1^2+u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-2)*u1*u2^2+u1^2*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^3+(((-3)*u1^2+(-3)*u2^2+6*u1*u2)*u3)*u4^2+((u2^3+(-1)*u1^2*u2)*u3)*u4)*u5^3+(u3^2*u4^4+(((-4)*u1+3*u2)*u3^2)*u4^3+((2*u1^2+(-4)*u2^2)*u3^2)*u4^2)*u5^2+((-1)*u3^3*u4^4+5*u2*u3^3*u4^3)*u5)*u6)*u7) *n ; 0; 0;  (((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^3)*u4^3+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(u2*u3^4*u4^4+(-1)*u1*u2*u3^4*u4^3)*u5+((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u5^4+(((-1)*u1*u2^2+u1^2*u2)*u3^2+((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^2+(((-1)*u1^2+2*u1*u2)*u3^3)*u4)*u5^2+(u3^4*u4^3+(-1)*u1*u3^4*u4^2)*u5)*u6^2+(((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+(((-3)*u2^3+5*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+3*u2^2+(-4)*u1*u2)*u3^3)*u4^2+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^4+((u1+(-1)*u2)*u3^4)*u4^3+u1*u2*u3^4*u4^2)*u5)*u6+(u2*u3^3*u4^4+(((-1)*u2^4+u1*u2^3)*u4)*u5^3+(((3*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^2+((((-3)*u2^2+u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4+(u1+(-1)*u2)*u5^3+(((-2)*u1+2*u2)*u3+u3*u4)*u5^2+((u1+(-1)*u2)*u3^2+(-2)*u3^2*u4)*u5)*u6^4+((-3)*u3^3*u4^2+(-1)*u2*u3^3*u4+(3*u2^2+(-3)*u1*u2+((-1)*u1+u2)*u4)*u5^3+(((-4)*u2^2+4*u1*u2)*u3+(-1)*u3*u4^2+((4*u1+(-7)*u2)*u3)*u4)*u5^2+((u2^2+(-1)*u1*u2)*u3^2+4*u3^2*u4^2+(((-3)*u1+7*u2)*u3^2)*u4)*u5)*u6^3+(3*u3^3*u4^3+3*u2*u3^3*u4^2+((-3)*u2^3+3*u1*u2^2+((-3)*u2^2+3*u1*u2)*u4)*u5^3+((2*u2^3+(-2)*u1*u2^2)*u3+(((-2)*u1+5*u2)*u3)*u4^2+((11*u2^2+(-8)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((3*u1+(-11)*u2)*u3^2)*u4^2+(((-5)*u2^2+3*u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-3)*u2*u3^3*u4^3+(u2^4+(-1)*u1*u2^3+(3*u2^3+(-3)*u1*u2^2)*u4)*u5^3+((((-7)*u2^2+4*u1*u2)*u3)*u4^2+(((-5)*u2^3+4*u1*u2^2)*u3)*u4)*u5^2+((((-1)*u1+5*u2)*u3^2)*u4^3+((7*u2^2+(-3)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+((-1)*u2*u3^4*u4^4+((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2+((u2^4+(-1)*u1^2*u2^2)*u3)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-3)*u2^3+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+3*u2^2*u3^3*u4^3)*u5+(u3^4*u4^2+((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u5^4+((2*u1^2+(-2)*u1*u2)*u3+(((-2)*u1+2*u2)*u3)*u4)*u5^3+(((-1)*u1^2+u2^2)*u3^2+(-1)*u3^2*u4^2+2*u1*u3^2*u4)*u5^2+(-2)*u2*u3^3*u4*u5)*u6^3+((-2)*u3^4*u4^3+(-1)*u2*u3^4*u4^2+(2*u2^3+(-4)*u1*u2^2+2*u1^2*u2+(u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+((u2^3+2*u1*u2^2+(-3)*u1^2*u2)*u3+((2*u1+(-2)*u2)*u3)*u4^2+(((-3)*u1^2+(-5)*u2^2+8*u1*u2)*u3)*u4)*u5^3+(((-1)*u2^3+u1^2*u2)*u3^2+u3^2*u4^3+(((-4)*u1+4*u2)*u3^2)*u4^2+((2*u1^2+(-4)*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+5*u2*u3^3*u4^2+2*u2^2*u3^3*u4)*u5)*u6^2+(u3^4*u4^4+2*u2*u3^4*u4^3+((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2+((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+(((-1)*u2^4+u1^2*u2^2)*u3+((u1^2+5*u2^2+(-6)*u1*u2)*u3)*u4^2+((2*u2^3+(-6)*u1*u2^2+4*u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-4)*u2)*u3^2)*u4^3+(((-1)*u1^2+4*u1*u2)*u3^2)*u4^2+((4*u2^3+(-2)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(-2)*u2*u3^3*u4^3+(-5)*u2^2*u3^3*u4^2)*u5)*u6)*u7) *l +  ((((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^3)*u4^3+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+((-1)*u2*u3^4*u4^4+u1*u2*u3^4*u4^3)*u5+(((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u5^4+((u1*u2^2+(-1)*u1^2*u2)*u3^2+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^2+((u1^2+(-2)*u1*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^3+u1*u3^4*u4^2)*u5)*u6^2+((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2+((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+((3*u2^3+(-5)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^3)*u4^2+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4)*u5^2+(u3^4*u4^4+(((-1)*u1+u2)*u3^4)*u4^3+(-1)*u1*u2*u3^4*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+((u2^4+(-1)*u1*u2^3)*u4)*u5^3+((((-3)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^2+(((3*u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4+((-1)*u1+u2)*u5^3+((2*u1+(-2)*u2)*u3+(-1)*u3*u4)*u5^2+(((-1)*u1+u2)*u3^2+2*u3^2*u4)*u5)*u6^4+(3*u3^3*u4^2+u2*u3^3*u4+((-3)*u2^2+3*u1*u2+(u1+(-1)*u2)*u4)*u5^3+((4*u2^2+(-4)*u1*u2)*u3+u3*u4^2+(((-4)*u1+7*u2)*u3)*u4)*u5^2+(((-1)*u2^2+u1*u2)*u3^2+(-4)*u3^2*u4^2+((3*u1+(-7)*u2)*u3^2)*u4)*u5)*u6^3+((-3)*u3^3*u4^3+(-3)*u2*u3^3*u4^2+(3*u2^3+(-3)*u1*u2^2+(3*u2^2+(-3)*u1*u2)*u4)*u5^3+(((-2)*u2^3+2*u1*u2^2)*u3+((2*u1+(-5)*u2)*u3)*u4^2+(((-11)*u2^2+8*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-3)*u1+11*u2)*u3^2)*u4^2+((5*u2^2+(-3)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+3*u2*u3^3*u4^3+((-1)*u2^4+u1*u2^3+((-3)*u2^3+3*u1*u2^2)*u4)*u5^3+(((7*u2^2+(-4)*u1*u2)*u3)*u4^2+((5*u2^3+(-4)*u1*u2^2)*u3)*u4)*u5^2+(((u1+(-5)*u2)*u3^2)*u4^3+(((-7)*u2^2+3*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(u2*u3^4*u4^4+(((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3)*u4^2+(((-1)*u2^4+u1^2*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^3+((3*u2^3+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-3)*u2^2*u3^3*u4^3)*u5+((-1)*u3^4*u4^2+(u1^2+u2^2+(-2)*u1*u2)*u5^4+(((-2)*u1^2+2*u1*u2)*u3+((2*u1+(-2)*u2)*u3)*u4)*u5^3+((u1^2+(-1)*u2^2)*u3^2+u3^2*u4^2+(-2)*u1*u3^2*u4)*u5^2+2*u2*u3^3*u4*u5)*u6^3+(2*u3^4*u4^3+u2*u3^4*u4^2+((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2+((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+(((-1)*u2^3+(-2)*u1*u2^2+3*u1^2*u2)*u3+(((-2)*u1+2*u2)*u3)*u4^2+((3*u1^2+5*u2^2+(-8)*u1*u2)*u3)*u4)*u5^3+((u2^3+(-1)*u1^2*u2)*u3^2+(-1)*u3^2*u4^3+((4*u1+(-4)*u2)*u3^2)*u4^2+(((-2)*u1^2+4*u2^2+2*u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-5)*u2*u3^3*u4^2+(-2)*u2^2*u3^3*u4)*u5)*u6^2+((-1)*u3^4*u4^4+(-2)*u2*u3^4*u4^3+(u2^4+(-2)*u1*u2^3+u1^2*u2^2+(2*u2^3+(-4)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+((u2^4+(-1)*u1^2*u2^2)*u3+(((-1)*u1^2+(-5)*u2^2+6*u1*u2)*u3)*u4^2+(((-2)*u2^3+6*u1*u2^2+(-4)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+4*u2)*u3^2)*u4^3+((u1^2+(-4)*u1*u2)*u3^2)*u4^2+(((-4)*u2^3+2*u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+2*u2*u3^3*u4^3+5*u2^2*u3^3*u4^2)*u5)*u6)*u7) *n ;  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*j*k +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*i*l +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*j*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*l*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*i*n +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*k*n +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j*k +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *i*l +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j*m +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *l*m +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *i*n +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *k*n ; ];

C:=[
[
 ((((-1)*u3^3*u4+((-1)*u1+u2)*u5^3+((2*u1+(-2)*u2)*u3+(-1)*u3*u4)*u5^2+(((-1)*u1+u2)*u3^2+2*u3^2*u4)*u5)*u6^4+(2*u3^3*u4^2+u2*u3^3*u4+((-2)*u2^2+2*u1*u2+(u1+(-1)*u2)*u4)*u5^3+((3*u2^2+(-3)*u1*u2)*u3+u3*u4^2+(((-3)*u1+5*u2)*u3)*u4)*u5^2+(((-1)*u2^2+u1*u2)*u3^2+(-3)*u3^2*u4^2+((2*u1+(-5)*u2)*u3^2)*u4)*u5)*u6^3+((-1)*u3^3*u4^3+(-2)*u2*u3^3*u4^2+(u2^3+(-1)*u1*u2^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+(((-1)*u2^3+u1*u2^2)*u3+((u1+(-3)*u2)*u3)*u4^2+(((-5)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(u3^2*u4^3+(((-1)*u1+5*u2)*u3^2)*u4^2+((3*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u2*u3^3*u4^3+(((-1)*u2^3+u1*u2^2)*u4)*u5^3+(((2*u2^2+(-1)*u1*u2)*u3)*u4^2+((u2^3+(-1)*u1*u2^2)*u3)*u4)*u5^2+((-1)*u2*u3^2*u4^3+(((-2)*u2^2+u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(((u1+(-1)*u2)*u5^4+(((-2)*u1+2*u2)*u3+u3*u4)*u5^3+((u1+(-1)*u2)*u3^2+(-2)*u3^2*u4)*u5^2+u3^3*u4*u5)*u6^4+((2*u2^2+(-2)*u1*u2+((-1)*u1+u2)*u4)*u5^4+(((-3)*u2^2+3*u1*u2)*u3+(-1)*u3*u4^2+((3*u1+(-5)*u2)*u3)*u4)*u5^3+((u2^2+(-1)*u1*u2)*u3^2+3*u3^2*u4^2+(((-2)*u1+5*u2)*u3^2)*u4)*u5^2+((-2)*u3^3*u4^2+(-1)*u2*u3^3*u4)*u5)*u6^3+(((-1)*u2^3+u1*u2^2+((-2)*u2^2+2*u1*u2)*u4)*u5^4+((u2^3+(-1)*u1*u2^2)*u3+(((-1)*u1+3*u2)*u3)*u4^2+((5*u2^2+(-4)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-5)*u2)*u3^2)*u4^2+(((-3)*u2^2+2*u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+2*u2*u3^3*u4^2)*u5)*u6^2+(((u2^3+(-1)*u1*u2^2)*u4)*u5^4+((((-2)*u2^2+u1*u2)*u3)*u4^2+(((-1)*u2^3+u1*u2^2)*u3)*u4)*u5^3+(u2*u3^2*u4^3+((2*u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5)*u6)*u7)  ;  ((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^2)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^2)*u4^2)*u5^2+(u3^3*u4^4+(-1)*u1*u3^3*u4^3)*u5+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u5^4+((u1^2+(-1)*u1*u2)*u3+(((-2)*u1+2*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+u1*u3^2*u4)*u5^2)*u6^2+((u2^3+(-2)*u1*u2^2+u1^2*u2+(u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+((u1*u2^2+(-1)*u1^2*u2)*u3+((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+(-3)*u2^2+5*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-3)*u1+3*u2)*u3^2)*u4^2+((u1^2+(-2)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6+((-1)*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3)*u4^2)*u5^2+((((-1)*u1+3*u2)*u3^2)*u4^3)*u5+((u1+(-1)*u2)*u5^3+(((-1)*u1+u2)*u3+u3*u4)*u5^2+(-1)*u3^2*u4*u5)*u6^3+((-1)*u3^3*u4^2+(2*u2^2+(-2)*u1*u2+((-1)*u1+u2)*u4)*u5^3+(((-1)*u2^2+u1*u2)*u3+(-1)*u3*u4^2+((3*u1+(-5)*u2)*u3)*u4)*u5^2+(3*u3^2*u4^2+(((-1)*u1+2*u2)*u3^2)*u4)*u5)*u6^2+(2*u3^3*u4^3+((-1)*u2^3+u1*u2^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+((((-2)*u1+4*u2)*u3)*u4^2+((4*u2^2+(-3)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((2*u1+(-5)*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j +  (((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+((-1)*u3^3*u4^4+u1*u3^3*u4^3)*u5)*u6+(u1*u3^3*u4^4+(((-1)*u1*u2^2+u1^2*u2)*u4^2)*u5^3+((((-1)*u1^2+2*u1*u2)*u3)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^2+((-1)*u1*u3^2*u4^4+((u1^2+(-2)*u1*u2)*u3^2)*u4^3)*u5+((((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((u1+(-1)*u2)*u3)*u4)*u5^2+u3^2*u4^2*u5)*u6^3+(u1*u3^3*u4^2+((u1+(-1)*u2)*u4^2+(u1^2+(-1)*u2^2)*u4)*u5^3+(u3*u4^3+(((-1)*u1+3*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+((-2)*u1*u3^3*u4^3+(((-1)*u1^2+u2^2)*u4^2+(u1*u2^2+(-1)*u1^2*u2)*u4)*u5^3+((-2)*u2*u3*u4^3+((3*u1^2+(-4)*u1*u2)*u3)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^2+(u3^2*u4^4+3*u1*u3^2*u4^3+(((-2)*u1^2+3*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7)  ;  ((((u2^2+(-1)*u1*u2)*u3)*u5^3+(((u1+(-2)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((-1)*u2^3+u1*u2^2)*u3)*u5^3+(((2*u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+(-1)*u2*u3^3*u4^2*u5)*u6+((((-1)*u1+u2)*u5^3+((u1+(-1)*u2)*u3+(-1)*u3*u4)*u5^2+u3^2*u4*u5)*u6^3+(((-2)*u2^2+2*u1*u2)*u5^3+((u2^2+(-1)*u1*u2)*u3+(((-1)*u1+3*u2)*u3)*u4)*u5^2+((-1)*u3^2*u4^2+(-1)*u2*u3^2*u4)*u5)*u6^2+((u2^3+(-1)*u1*u2^2)*u5^3+((((-2)*u2^2+u1*u2)*u3)*u4)*u5^2+u2*u3^2*u4^2*u5)*u6)*u7) *j +  ((-1)*u3^4*u4^4+(((u2^3+(-1)*u1*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5^2+((((-1)*u1+3*u2)*u3^3)*u4^3)*u5+(u3^4*u4^3+((((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+((((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+((u1+(-2)*u2)*u3^3)*u4^2)*u5)*u6+(u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3)*u4^2)*u5^2+(((u1+(-3)*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^2+((-2)*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4)*u5^3+(((2*u1+(-4)*u2)*u3)*u4^2+(((-2)*u2^2+2*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-2)*u1+4*u2)*u3^2)*u4^2)*u5)*u6)*u7) *l +  (((-1)*u3^4*u4^3+((((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+((((-1)*u1+2*u2)*u3^3)*u4^2)*u5)*u6^2+(u3^4*u4^4+(((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(((u1+(-2)*u2)*u3^3)*u4^3)*u5)*u6+(((-1)*u3^3*u4^2+(((u1+(-1)*u2)*u3)*u4)*u5^2+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^2+((-1)*u3^2*u4^3+((2*u1+(-3)*u2)*u3^2)*u4^2)*u5)*u6^2+((-1)*u3^3*u4^4+((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^2+((((-1)*u1+2*u2)*u3^2)*u4^3)*u5)*u6)*u7)  ;  ((((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^3)*u4^3+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+((-1)*u2*u3^4*u4^4+u1*u2*u3^4*u4^3)*u5+(((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^2)*u5^2+(u3^4*u4^4+(-1)*u1*u3^4*u4^3)*u5)*u6+((-1)*u2*u3^3*u4^4+((u2^4+(-1)*u1*u2^3)*u4)*u5^3+((((-3)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^2+(((3*u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((3*u2^2+(-3)*u1*u2)*u4)*u5^3+(((2*u1+(-5)*u2)*u3)*u4^2+(((-4)*u2^2+4*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-2)*u1+6*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+(((-3)*u2^3+3*u1*u2^2)*u4)*u5^3+(((7*u2^2+(-4)*u1*u2)*u3)*u4^2+((2*u2^3+(-2)*u1*u2^2)*u3)*u4)*u5^2+(((u1+(-5)*u2)*u3^2)*u4^3+(((-4)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(u2*u3^4*u4^4+(((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3)*u4^2+(((-1)*u2^4+u1^2*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^3+((3*u2^3+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-3)*u2^2*u3^3*u4^3)*u5+(u3^4*u4^3+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+2*u1*u3^2*u4^2+(((-1)*u1^2+u2^2)*u3^2)*u4)*u5^2+(-2)*u2*u3^3*u4^2*u5)*u6^2+((-1)*u3^4*u4^4+(-1)*u2*u3^4*u4^3+((2*u2^3+(-4)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+((((-1)*u1^2+(-5)*u2^2+6*u1*u2)*u3)*u4^2+((u2^3+2*u1*u2^2+(-3)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+4*u2)*u3^2)*u4^3+((u1^2+(-3)*u2^2+(-2)*u1*u2)*u3^2)*u4^2+(((-1)*u2^3+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+3*u2*u3^3*u4^3+2*u2^2*u3^3*u4^2)*u5)*u6)*u7) *j +  (((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^3)*u4^3+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(u2*u3^4*u4^4+(-1)*u1*u2*u3^4*u4^3)*u5+((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+(-2)*u1*u2)*u3^3)*u4^2)*u5^2+((-1)*u3^4*u4^4+u1*u3^4*u4^3)*u5)*u6+(u2*u3^3*u4^4+(((-1)*u2^4+u1*u2^3)*u4)*u5^3+(((3*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^2+((((-3)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-3)*u2^2+3*u1*u2)*u4)*u5^3+((((-2)*u1+5*u2)*u3)*u4^2+((4*u2^2+(-4)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((2*u1+(-6)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+((3*u2^3+(-3)*u1*u2^2)*u4)*u5^3+((((-7)*u2^2+4*u1*u2)*u3)*u4^2+(((-2)*u2^3+2*u1*u2^2)*u3)*u4)*u5^2+((((-1)*u1+5*u2)*u3^2)*u4^3+((4*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+((-1)*u2*u3^4*u4^4+((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2+((u2^4+(-1)*u1^2*u2^2)*u3)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-3)*u2^3+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+3*u2^2*u3^3*u4^3)*u5+((-1)*u3^4*u4^3+((u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u2^2)*u3^2)*u4)*u5^2+2*u2*u3^3*u4^2*u5)*u6^2+(u3^4*u4^4+u2*u3^4*u4^3+(((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+(((u1^2+5*u2^2+(-6)*u1*u2)*u3)*u4^2+(((-1)*u2^3+(-2)*u1*u2^2+3*u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-4)*u2)*u3^2)*u4^3+(((-1)*u1^2+3*u2^2+2*u1*u2)*u3^2)*u4^2+((u2^3+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(-3)*u2*u3^3*u4^3+(-2)*u2^2*u3^3*u4^2)*u5)*u6)*u7) *l ; 0;  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^4+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^3)*u5^2+(u3^4*u4^5+(-1)*u1*u3^4*u4^4)*u5+((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+(-2)*u1*u2)*u3^3)*u4^2)*u5^2+((-1)*u3^4*u4^4+u1*u3^4*u4^3)*u5)*u6+(u3^3*u4^5+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3)*u4^3)*u5^2+(((u1+(-3)*u2)*u3^2)*u4^4)*u5+((-1)*u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+((-1)*u3*u4^2+((2*u1+(-2)*u2)*u3)*u4)*u5^2+(2*u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(3*u3^3*u4^3+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+(((-4)*u1+6*u2)*u3)*u4^2+((2*u2^2+(-2)*u1*u2)*u3)*u4)*u5^2+((-4)*u3^2*u4^3+((3*u1+(-5)*u2)*u3^2)*u4^2)*u5)*u6^2+((-3)*u3^3*u4^4+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+(((2*u1+(-4)*u2)*u3)*u4^3+(((-5)*u2^2+4*u1*u2)*u3)*u4^2)*u5^2+(2*u3^2*u4^4+(((-3)*u1+7*u2)*u3^2)*u4^3)*u5)*u6)*u7^2+((-1)*u3^4*u4^5+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u4^2)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3)*u4^3+((u2^3+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u1+3*u2)*u3^2)*u4^4+((u1^2+(-3)*u2^2)*u3^2)*u4^3)*u5^2+((-1)*u3^3*u4^5+3*u2*u3^3*u4^4)*u5+((-1)*u3^4*u4^3+((u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^2+(((-2)*u1^2+2*u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(-2)*u1*u3^2*u4^2+((u1^2+(-1)*u2^2)*u3^2)*u4)*u5^2+2*u2*u3^3*u4^2*u5)*u6^2+(2*u3^4*u4^4+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^3+((3*u1^2+3*u2^2+(-6)*u1*u2)*u3)*u4^2+(((-1)*u2^3+u1^2*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^4+((4*u1+(-3)*u2)*u3^2)*u4^3+(((-2)*u1^2+4*u2^2)*u3^2)*u4^2)*u5^2+(u3^3*u4^4+(-5)*u2*u3^3*u4^3)*u5)*u6)*u7) *j +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^4+((((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^4+((u1^2+(-2)*u1*u2)*u3^3)*u4^3)*u5^2+((-1)*u3^4*u4^5+u1*u3^4*u4^4)*u5+(((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+2*u1*u2)*u3^3)*u4^2)*u5^2+(u3^4*u4^4+(-1)*u1*u3^4*u4^3)*u5)*u6+((-1)*u3^3*u4^5+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+((((-3)*u2^2+2*u1*u2)*u3)*u4^3)*u5^2+((((-1)*u1+3*u2)*u3^2)*u4^4)*u5+(u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+(u3*u4^2+(((-2)*u1+2*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-3)*u3^3*u4^3+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+((4*u1+(-6)*u2)*u3)*u4^2+(((-2)*u2^2+2*u1*u2)*u3)*u4)*u5^2+(4*u3^2*u4^3+(((-3)*u1+5*u2)*u3^2)*u4^2)*u5)*u6^2+(3*u3^3*u4^4+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+((((-2)*u1+4*u2)*u3)*u4^3+((5*u2^2+(-4)*u1*u2)*u3)*u4^2)*u5^2+((-2)*u3^2*u4^4+((3*u1+(-7)*u2)*u3^2)*u4^3)*u5)*u6)*u7^2+(u3^4*u4^5+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u4^2)*u5^4+(((u1^2+3*u2^2+(-4)*u1*u2)*u3)*u4^3+(((-1)*u2^3+u1^2*u2)*u3)*u4^2)*u5^3+(((2*u1+(-3)*u2)*u3^2)*u4^4+(((-1)*u1^2+3*u2^2)*u3^2)*u4^3)*u5^2+(u3^3*u4^5+(-3)*u2*u3^3*u4^4)*u5+(u3^4*u4^3+(((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+((((-2)*u1+2*u2)*u3)*u4^2+((2*u1^2+(-2)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+2*u1*u3^2*u4^2+(((-1)*u1^2+u2^2)*u3^2)*u4)*u5^2+(-2)*u2*u3^3*u4^2*u5)*u6^2+((-2)*u3^4*u4^4+((u1^2+u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-2)*u1*u2^2+u1^2*u2)*u4)*u5^4+(((2*u1+(-2)*u2)*u3)*u4^3+(((-3)*u1^2+(-3)*u2^2+6*u1*u2)*u3)*u4^2+((u2^3+(-1)*u1^2*u2)*u3)*u4)*u5^3+(u3^2*u4^4+(((-4)*u1+3*u2)*u3^2)*u4^3+((2*u1^2+(-4)*u2^2)*u3^2)*u4^2)*u5^2+((-1)*u3^3*u4^4+5*u2*u3^3*u4^3)*u5)*u6)*u7) *n ; 0; 0;  (((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3^2)*u4^2+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^3)*u4^3+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4^2)*u5^2+(u2*u3^4*u4^4+(-1)*u1*u2*u3^4*u4^3)*u5+((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u5^4+(((-1)*u1*u2^2+u1^2*u2)*u3^2+((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^2+(((-1)*u1^2+2*u1*u2)*u3^3)*u4)*u5^2+(u3^4*u4^3+(-1)*u1*u3^4*u4^2)*u5)*u6^2+(((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^4+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4^2+(((-3)*u2^3+5*u1*u2^2+(-2)*u1^2*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^3+((u1^2+3*u2^2+(-4)*u1*u2)*u3^3)*u4^2+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^4+((u1+(-1)*u2)*u3^4)*u4^3+u1*u2*u3^4*u4^2)*u5)*u6+(u2*u3^3*u4^4+(((-1)*u2^4+u1*u2^3)*u4)*u5^3+(((3*u2^3+(-2)*u1*u2^2)*u3)*u4^2)*u5^2+((((-3)*u2^2+u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4+(u1+(-1)*u2)*u5^3+(((-2)*u1+2*u2)*u3+u3*u4)*u5^2+((u1+(-1)*u2)*u3^2+(-2)*u3^2*u4)*u5)*u6^4+((-3)*u3^3*u4^2+(-1)*u2*u3^3*u4+(3*u2^2+(-3)*u1*u2+((-1)*u1+u2)*u4)*u5^3+(((-4)*u2^2+4*u1*u2)*u3+(-1)*u3*u4^2+((4*u1+(-7)*u2)*u3)*u4)*u5^2+((u2^2+(-1)*u1*u2)*u3^2+4*u3^2*u4^2+(((-3)*u1+7*u2)*u3^2)*u4)*u5)*u6^3+(3*u3^3*u4^3+3*u2*u3^3*u4^2+((-3)*u2^3+3*u1*u2^2+((-3)*u2^2+3*u1*u2)*u4)*u5^3+((2*u2^3+(-2)*u1*u2^2)*u3+(((-2)*u1+5*u2)*u3)*u4^2+((11*u2^2+(-8)*u1*u2)*u3)*u4)*u5^2+((-2)*u3^2*u4^3+((3*u1+(-11)*u2)*u3^2)*u4^2+(((-5)*u2^2+3*u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-3)*u2*u3^3*u4^3+(u2^4+(-1)*u1*u2^3+(3*u2^3+(-3)*u1*u2^2)*u4)*u5^3+((((-7)*u2^2+4*u1*u2)*u3)*u4^2+(((-5)*u2^3+4*u1*u2^2)*u3)*u4)*u5^2+((((-1)*u1+5*u2)*u3^2)*u4^3+((7*u2^2+(-3)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+((-1)*u2*u3^4*u4^4+((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2+((u2^4+(-1)*u1^2*u2^2)*u3)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-3)*u2^3+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+3*u2^2*u3^3*u4^3)*u5+(u3^4*u4^2+((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u5^4+((2*u1^2+(-2)*u1*u2)*u3+(((-2)*u1+2*u2)*u3)*u4)*u5^3+(((-1)*u1^2+u2^2)*u3^2+(-1)*u3^2*u4^2+2*u1*u3^2*u4)*u5^2+(-2)*u2*u3^3*u4*u5)*u6^3+((-2)*u3^4*u4^3+(-1)*u2*u3^4*u4^2+(2*u2^3+(-4)*u1*u2^2+2*u1^2*u2+(u1^2+u2^2+(-2)*u1*u2)*u4)*u5^4+((u2^3+2*u1*u2^2+(-3)*u1^2*u2)*u3+((2*u1+(-2)*u2)*u3)*u4^2+(((-3)*u1^2+(-5)*u2^2+8*u1*u2)*u3)*u4)*u5^3+(((-1)*u2^3+u1^2*u2)*u3^2+u3^2*u4^3+(((-4)*u1+4*u2)*u3^2)*u4^2+((2*u1^2+(-4)*u2^2+(-2)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+5*u2*u3^3*u4^2+2*u2^2*u3^3*u4)*u5)*u6^2+(u3^4*u4^4+2*u2*u3^4*u4^3+((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2+((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2)*u4)*u5^4+(((-1)*u2^4+u1^2*u2^2)*u3+((u1^2+5*u2^2+(-6)*u1*u2)*u3)*u4^2+((2*u2^3+(-6)*u1*u2^2+4*u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-4)*u2)*u3^2)*u4^3+(((-1)*u1^2+4*u1*u2)*u3^2)*u4^2+((4*u2^3+(-2)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(-2)*u2*u3^3*u4^3+(-5)*u2^2*u3^3*u4^2)*u5)*u6)*u7) *l +  ((((u2^4+(-2)*u1*u2^3+u1^2*u2^2)*u3)*u4)*u5^4+((((-3)*u2^3+4*u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2+((u1*u2^3+(-1)*u1^2*u2^2)*u3^2)*u4)*u5^3+(((3*u2^2+(-2)*u1*u2)*u3^3)*u4^3+(((-2)*u1*u2^2+u1^2*u2)*u3^3)*u4^2)*u5^2+((-1)*u2*u3^4*u4^4+u1*u2*u3^4*u4^3)*u5+(((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u5^4+((u1*u2^2+(-1)*u1^2*u2)*u3^2+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^2)*u4)*u5^3+((((-2)*u1+3*u2)*u3^3)*u4^2+((u1^2+(-2)*u1*u2)*u3^3)*u4)*u5^2+((-1)*u3^4*u4^3+u1*u3^4*u4^2)*u5)*u6^2+((((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u3+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^4+(((-1)*u1*u2^3+u1^2*u2^2)*u3^2+((u1^2+3*u2^2+(-4)*u1*u2)*u3^2)*u4^2+((3*u2^3+(-5)*u1*u2^2+2*u1^2*u2)*u3^2)*u4)*u5^3+(((2*u1+(-3)*u2)*u3^3)*u4^3+(((-1)*u1^2+(-3)*u2^2+4*u1*u2)*u3^3)*u4^2+((2*u1*u2^2+(-1)*u1^2*u2)*u3^3)*u4)*u5^2+(u3^4*u4^4+(((-1)*u1+u2)*u3^4)*u4^3+(-1)*u1*u2*u3^4*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+((u2^4+(-1)*u1*u2^3)*u4)*u5^3+((((-3)*u2^3+2*u1*u2^2)*u3)*u4^2)*u5^2+(((3*u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4+((-1)*u1+u2)*u5^3+((2*u1+(-2)*u2)*u3+(-1)*u3*u4)*u5^2+(((-1)*u1+u2)*u3^2+2*u3^2*u4)*u5)*u6^4+(3*u3^3*u4^2+u2*u3^3*u4+((-3)*u2^2+3*u1*u2+(u1+(-1)*u2)*u4)*u5^3+((4*u2^2+(-4)*u1*u2)*u3+u3*u4^2+(((-4)*u1+7*u2)*u3)*u4)*u5^2+(((-1)*u2^2+u1*u2)*u3^2+(-4)*u3^2*u4^2+((3*u1+(-7)*u2)*u3^2)*u4)*u5)*u6^3+((-3)*u3^3*u4^3+(-3)*u2*u3^3*u4^2+(3*u2^3+(-3)*u1*u2^2+(3*u2^2+(-3)*u1*u2)*u4)*u5^3+(((-2)*u2^3+2*u1*u2^2)*u3+((2*u1+(-5)*u2)*u3)*u4^2+(((-11)*u2^2+8*u1*u2)*u3)*u4)*u5^2+(2*u3^2*u4^3+(((-3)*u1+11*u2)*u3^2)*u4^2+((5*u2^2+(-3)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+3*u2*u3^3*u4^3+((-1)*u2^4+u1*u2^3+((-3)*u2^3+3*u1*u2^2)*u4)*u5^3+(((7*u2^2+(-4)*u1*u2)*u3)*u4^2+((5*u2^3+(-4)*u1*u2^2)*u3)*u4)*u5^2+(((u1+(-5)*u2)*u3^2)*u4^3+(((-7)*u2^2+3*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7^2+(u2*u3^4*u4^4+(((-1)*u2^4+2*u1*u2^3+(-1)*u1^2*u2^2)*u4)*u5^4+(((3*u2^3+(-4)*u1*u2^2+u1^2*u2)*u3)*u4^2+(((-1)*u2^4+u1^2*u2^2)*u3)*u4)*u5^3+((((-3)*u2^2+2*u1*u2)*u3^2)*u4^3+((3*u2^3+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-3)*u2^2*u3^3*u4^3)*u5+((-1)*u3^4*u4^2+(u1^2+u2^2+(-2)*u1*u2)*u5^4+(((-2)*u1^2+2*u1*u2)*u3+((2*u1+(-2)*u2)*u3)*u4)*u5^3+((u1^2+(-1)*u2^2)*u3^2+u3^2*u4^2+(-2)*u1*u3^2*u4)*u5^2+2*u2*u3^3*u4*u5)*u6^3+(2*u3^4*u4^3+u2*u3^4*u4^2+((-2)*u2^3+4*u1*u2^2+(-2)*u1^2*u2+((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u4)*u5^4+(((-1)*u2^3+(-2)*u1*u2^2+3*u1^2*u2)*u3+(((-2)*u1+2*u2)*u3)*u4^2+((3*u1^2+5*u2^2+(-8)*u1*u2)*u3)*u4)*u5^3+((u2^3+(-1)*u1^2*u2)*u3^2+(-1)*u3^2*u4^3+((4*u1+(-4)*u2)*u3^2)*u4^2+(((-2)*u1^2+4*u2^2+2*u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-5)*u2*u3^3*u4^2+(-2)*u2^2*u3^3*u4)*u5)*u6^2+((-1)*u3^4*u4^4+(-2)*u2*u3^4*u4^3+(u2^4+(-2)*u1*u2^3+u1^2*u2^2+(2*u2^3+(-4)*u1*u2^2+2*u1^2*u2)*u4)*u5^4+((u2^4+(-1)*u1^2*u2^2)*u3+(((-1)*u1^2+(-5)*u2^2+6*u1*u2)*u3)*u4^2+(((-2)*u2^3+6*u1*u2^2+(-4)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+4*u2)*u3^2)*u4^3+((u1^2+(-4)*u1*u2)*u3^2)*u4^2+(((-4)*u2^3+2*u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+2*u2*u3^3*u4^3+5*u2^2*u3^3*u4^2)*u5)*u6)*u7) *n ;  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*j*k +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*i*l +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*j*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*l*m +  (((((-1)*u2^2+u1*u2)*u3)*u4^2)*u5^3+(u2*u3^2*u4^3+((u2^2+(-1)*u1*u2)*u3^2)*u4^2)*u5^2+(-1)*u2*u3^3*u4^3*u5+((((u1+(-1)*u2)*u3)*u4)*u5^3+(u3^2*u4^2+(((-1)*u1+u2)*u3^2)*u4)*u5^2+(-1)*u3^3*u4^2*u5)*u6^2+(((((-1)*u1+u2)*u3)*u4^2+((u2^2+(-1)*u1*u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^3+((u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+u2*u3^3*u4^2)*u5)*u6) *h*i*n +  ((((u2^2+(-1)*u1*u2)*u3)*u4^2)*u5^3+((-1)*u2*u3^2*u4^3+(((-1)*u2^2+u1*u2)*u3^2)*u4^2)*u5^2+u2*u3^3*u4^3*u5+(((((-1)*u1+u2)*u3)*u4)*u5^3+((-1)*u3^2*u4^2+((u1+(-1)*u2)*u3^2)*u4)*u5^2+u3^3*u4^2*u5)*u6^2+((((u1+(-1)*u2)*u3)*u4^2+(((-1)*u2^2+u1*u2)*u3)*u4)*u5^3+(u3^2*u4^3+(((-1)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+(-1)*u2*u3^3*u4^2)*u5)*u6) *h*k*n +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j*k +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *i*l +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *j*m +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *l*m +  (((((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4^2)*u5^3+(((2*u2^2+(-2)*u1*u2)*u3^2)*u4^3+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4^2)*u5^2+((-1)*u2*u3^3*u4^4+u1*u2*u3^3*u4^3)*u5+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^2+((u1^2+(-1)*u1*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^3+u1*u3^3*u4^2)*u5)*u6^2+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4^2+((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^3+(((-1)*u1^2+(-2)*u2^2+3*u1*u2)*u3^2)*u4^2+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4)*u5^2+(u3^3*u4^4+(((-1)*u1+u2)*u3^3)*u4^3+(-1)*u1*u2*u3^3*u4^2)*u5)*u6+(u2*u3^3*u4^4+((u2^3+(-1)*u1*u2^2)*u4^2)*u5^3+(-1)*u2^2*u3*u4^3*u5^2+((((-1)*u2^2+u1*u2)*u3^2)*u4^3)*u5+((-1)*u3^3*u4^2+((u1+(-1)*u2)*u4)*u5^3+u3*u4^2*u5^2+((((-1)*u1+u2)*u3^2)*u4)*u5)*u6^3+(2*u3^3*u4^3+u2*u3^3*u4^2+(((-1)*u1+u2)*u4^2+(2*u2^2+(-2)*u1*u2)*u4)*u5^3+((-1)*u3*u4^3+(-2)*u2*u3*u4^2)*u5^2+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u2^2+u1*u2)*u3^2)*u4)*u5)*u6^2+((-1)*u3^3*u4^4+(-2)*u2*u3^3*u4^3+(((-2)*u2^2+2*u1*u2)*u4^2+((-1)*u2^3+u1*u2^2)*u4)*u5^3+(2*u2*u3*u4^3+u2^2*u3*u4^2)*u5^2+((((-1)*u1+u2)*u3^2)*u4^3+((2*u2^2+(-2)*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *i*n +  ((((u2^3+(-2)*u1*u2^2+u1^2*u2)*u3)*u4^2)*u5^3+((((-2)*u2^2+2*u1*u2)*u3^2)*u4^3+((u1*u2^2+(-1)*u1^2*u2)*u3^2)*u4^2)*u5^2+(u2*u3^3*u4^4+(-1)*u1*u2*u3^3*u4^3)*u5+((((u1^2+u2^2+(-2)*u1*u2)*u3)*u4)*u5^3+(((2*u1+(-2)*u2)*u3^2)*u4^2+(((-1)*u1^2+u1*u2)*u3^2)*u4)*u5^2+(u3^3*u4^3+(-1)*u1*u3^3*u4^2)*u5)*u6^2+(((((-1)*u1^2+(-1)*u2^2+2*u1*u2)*u3)*u4^2+(((-1)*u2^3+2*u1*u2^2+(-1)*u1^2*u2)*u3)*u4)*u5^3+((((-2)*u1+2*u2)*u3^2)*u4^3+((u1^2+2*u2^2+(-3)*u1*u2)*u3^2)*u4^2+(((-1)*u1*u2^2+u1^2*u2)*u3^2)*u4)*u5^2+((-1)*u3^3*u4^4+((u1+(-1)*u2)*u3^3)*u4^3+u1*u2*u3^3*u4^2)*u5)*u6+((-1)*u2*u3^3*u4^4+(((-1)*u2^3+u1*u2^2)*u4^2)*u5^3+u2^2*u3*u4^3*u5^2+(((u2^2+(-1)*u1*u2)*u3^2)*u4^3)*u5+(u3^3*u4^2+(((-1)*u1+u2)*u4)*u5^3+(-1)*u3*u4^2*u5^2+(((u1+(-1)*u2)*u3^2)*u4)*u5)*u6^3+((-2)*u3^3*u4^3+(-1)*u2*u3^3*u4^2+((u1+(-1)*u2)*u4^2+((-2)*u2^2+2*u1*u2)*u4)*u5^3+(u3*u4^3+2*u2*u3*u4^2)*u5^2+((((-2)*u1+2*u2)*u3^2)*u4^2+((u2^2+(-1)*u1*u2)*u3^2)*u4)*u5)*u6^2+(u3^3*u4^4+2*u2*u3^3*u4^3+((2*u2^2+(-2)*u1*u2)*u4^2+(u2^3+(-1)*u1*u2^2)*u4)*u5^3+((-2)*u2*u3*u4^3+(-1)*u2^2*u3*u4^2)*u5^2+(((u1+(-1)*u2)*u3^2)*u4^3+(((-2)*u2^2+2*u1*u2)*u3^2)*u4^2)*u5)*u6)*u7) *k*n ; ];

[
0; 0; 0; 0; 0; 0;  (u4)  ;  ((-1)*u1+u2)  ; 0; ];

[
0; 0; 0;  ((-1)*u3+u5) *h ;  ((-1)*u2*u3+u2*u5+(u3+(-1)*u5)*u6)  ; 0; 0;  (u3) *l +  ((-1)*u3*u6)  ; ];

[
 ((-1)*u3+u5) *h +  (u1*u3+(-1)*u1*u5)  ;  ((-1)*u3*u4+u4*u5+(u3+(-1)*u5)*u6)  ; 0; 0; 0; 0;  (u5) *n +  ((-1)*u5*u6)  ; ];

];

c:=
1;