The following polynomials are temporarily provided until the author has finished the Mathematica notebooks accompanying his PhD thesis. The author hopes to finish the proper files in the next months.

The Invariants for the Kimura 2 Substitution Model

The following function contains the 18 polynomials obtained with Singular for the Kimura 2 substitutions model. For an input of ten values it will return a vector. If the entries of the vector are all zero, the equation system for the Kimura model on three leaves has an algebraic solution w.r.t. the input

\(\(kiin[xa_, xb_, xb_, xd_, xe_, xf_, xg_, xh_, xi_, 
          xj_] := {4*xa + 4*xb + 8*xc + 4*xd + 4*xe + 8*xf + 8*xg + 8*xh + 
            8*xi + 8*xj - 1, 

          4*xb^2*xi + 4*xb^2*xj - 8*xb*xc*xh + 8*xb*xc*xj + 8*xb*xf*xg + 
            8*xb*xf*xj + 8*xb*xg*xj + 8*xb*xh*xj + 8*xb*xi*xj + 8*xb*xj^2 - 
            xb*xj - 8*xc^2*xh - 4*xc^2*xi + 4*xc^2*xj - 8*xc*xd*xh - 
            8*xc*xd*xj + 8*xc*xf*xg - 8*xc*xf*xh - 8*xc*xg*xh - 8*xc*xh^2 - 
            8*xc*xh*xi - 8*xc*xh*xj + xc*xh - 4*xd^2*xi - 4*xd^2*xj + 
            8*xd*xf*xg - 8*xd*xf*xj - 8*xd*xg*xj - 8*xd*xh*xj - 8*xd*xi*xj - 
            8*xd*xj^2 + xd*xj + 8*xf^2*xg + 4*xf^2*xi - 4*xf^2*xj + 
            8*xf*xg^2 + 8*xf*xg*xh + 8*xf*xg*xi + 8*xf*xg*xj - xf*xg + 
            4*xg^2*xi - 4*xg^2*xj - 4*xh^2*xi + 
            4*xh^2*xj, 
\(-32\)*xb^2*xi - 32*xb^2*xj + 64*xb*xc*xh - 
            64*xb*xc*xj + 32*xb*xd*xg + 32*xb*xd*xh - 32*xb*xd*xi - 
            32*xb*xd*xj + 32*xb*xe*xg + 32*xb*xe*xh - 32*xb*xe*xi - 
            32*xb*xe*xj + 64*xb*xf*xh - 64*xb*xf*xi - 128*xb*xf*xj + 
            32*xb*xg^2 + 64*xb*xg*xh - 64*xb*xg*xj - 4*xb*xg + 32*xb*xh^2 - 
            64*xb*xh*xj - 4*xb*xh - 32*xb*xi^2 - 128*xb*xi*xj + 4*xb*xi - 
            96*xb*xj^2 + 12*xb*xj + 64*xc^2*xh + 32*xc^2*xi - 32*xc^2*xj - 
            32*xc*xd*xg + 96*xc*xd*xh - 32*xc*xd*xi - 32*xc*xd*xj + 
            32*xc*xe*xg + 96*xc*xe*xh + 32*xc*xe*xi - 32*xc*xe*xj - 
            64*xc*xf*xg + 192*xc*xf*xh - 128*xc*xf*xj - 32*xc*xg^2 + 
            128*xc*xg*xh - 128*xc*xg*xj + 4*xc*xg + 160*xc*xh^2 + 
            192*xc*xh*xi + 64*xc*xh*xj - 20*xc*xh + 32*xc*xi^2 - 
            64*xc*xi*xj - 4*xc*xi - 96*xc*xj^2 + 12*xc*xj + 32*xd*xe*xg + 
            32*xd*xe*xh - 32*xd*xe*xi - 32*xd*xe*xj - 32*xd*xf*xg + 
            96*xd*xf*xh - 32*xd*xf*xi - 32*xd*xf*xj + 64*xd*xg*xh - 
            32*xd*xg*xi - 32*xd*xg*xj + 64*xd*xh^2 + 32*xd*xh*xi + 
            32*xd*xh*xj - 8*xd*xh - 32*xd*xi^2 - 64*xd*xi*xj + 4*xd*xi - 
            32*xd*xj^2 + 4*xd*xj + 32*xe^2*xg + 32*xe^2*xh + 32*xe*xf*xg + 
            96*xe*xf*xh - 32*xe*xf*xi - 96*xe*xf*xj + 32*xe*xg^2 + 
            128*xe*xg*xh + 32*xe*xg*xi - 32*xe*xg*xj - 4*xe*xg + 96*xe*xh^2 + 
            96*xe*xh*xi + 32*xe*xh*xj - 12*xe*xh - 64*xe*xi*xj - 64*xe*xj^2 + 
            8*xe*xj - 64*xf^2*xg + 128*xf^2*xh - 32*xf^2*xi - 96*xf^2*xj - 
            32*xf*xg^2 + 128*xf*xg*xh - 64*xf*xg*xi - 192*xf*xg*xj + 
            4*xf*xg + 160*xf*xh^2 + 128*xf*xh*xi - 20*xf*xh - 32*xf*xi^2 - 
            192*xf*xi*xj + 4*xf*xi - 160*xf*xj^2 + 20*xf*xj + 64*xg^2*xh - 
            32*xg^2*xi - 32*xg^2*xj + 128*xg*xh^2 + 128*xg*xh*xi - 16*xg*xh - 
            128*xg*xi*xj - 128*xg*xj^2 + 16*xg*xj + 64*xh^3 + 160*xh^2*xi + 
            32*xh^2*xj - 16*xh^2 + 64*xh*xi^2 - 16*xh*xi - 64*xh*xj^2 + xh - 
            64*xi^2*xj - 128*xi*xj^2 + 16*xi*xj - 64*xj^3 + 16*xj^2 - 
            xj, 
\(-8\)*xb^2*xi - 8*xb^2*xj + 32*xb*xc*xg + 48*xb*xc*xh + 
            32*xb*xc*xi + 16*xb*xc*xj + 32*xb*xd*xg + 32*xb*xd*xh + 
            32*xb*xe*xg + 32*xb*xe*xh + 16*xb*xf*xg + 32*xb*xf*xh - 
            32*xb*xf*xi - 48*xb*xf*xj + 32*xb*xg^2 + 64*xb*xg*xh + 
            32*xb*xg*xi + 16*xb*xg*xj - 4*xb*xg + 32*xb*xh^2 + 32*xb*xh*xi + 
            16*xb*xh*xj - 4*xb*xh - 16*xb*xi*xj - 16*xb*xj^2 + 2*xb*xj + 
            32*xc^2*xg + 48*xc^2*xh + 40*xc^2*xi + 24*xc^2*xj + 80*xc*xd*xh + 
            16*xc*xd*xj + 32*xc*xe*xg + 96*xc*xe*xh + 32*xc*xe*xi + 
            32*xc*xe*xj - 16*xc*xf*xg + 144*xc*xf*xh + 144*xc*xg*xh + 
            32*xc*xg*xi + 32*xc*xg*xj + 144*xc*xh^2 + 176*xc*xh*xi + 
            176*xc*xh*xj - 18*xc*xh + 32*xc*xi^2 + 64*xc*xi*xj - 4*xc*xi + 
            32*xc*xj^2 - 4*xc*xj + 8*xd^2*xi + 8*xd^2*xj + 32*xd*xe*xg + 
            32*xd*xe*xh - 16*xd*xf*xg + 64*xd*xf*xh + 16*xd*xf*xj + 
            64*xd*xg*xh + 16*xd*xg*xj + 64*xd*xh^2 + 64*xd*xh*xi + 
            80*xd*xh*xj - 8*xd*xh + 16*xd*xi*xj + 16*xd*xj^2 - 2*xd*xj + 
            32*xe^2*xg + 32*xe^2*xh + 32*xe*xf*xg + 96*xe*xf*xh - 
            32*xe*xf*xi - 32*xe*xf*xj + 32*xe*xg^2 + 128*xe*xg*xh + 
            32*xe*xg*xi + 32*xe*xg*xj - 4*xe*xg + 96*xe*xh^2 + 96*xe*xh*xi + 
            96*xe*xh*xj - 12*xe*xh - 48*xf^2*xg + 96*xf^2*xh - 40*xf^2*xi - 
            24*xf^2*xj - 16*xf*xg^2 + 112*xf*xg*xh - 48*xf*xg*xi - 
            48*xf*xg*xj + 2*xf*xg + 128*xf*xh^2 + 96*xf*xh*xi + 96*xf*xh*xj - 
            16*xf*xh - 32*xf*xi^2 - 64*xf*xi*xj + 4*xf*xi - 32*xf*xj^2 + 
            4*xf*xj + 64*xg^2*xh - 8*xg^2*xi + 8*xg^2*xj + 128*xg*xh^2 + 
            128*xg*xh*xi + 128*xg*xh*xj - 16*xg*xh + 64*xh^3 + 136*xh^2*xi + 
            120*xh^2*xj - 16*xh^2 + 64*xh*xi^2 + 128*xh*xi*xj - 16*xh*xi + 
            64*xh*xj^2 - 16*xh*xj + xh, 

          32*xb^2*xg + 32*xb^2*xh + 128*xb*xc*xg + 192*xb*xc*xh + 
            128*xb*xc*xi + 64*xb*xc*xj + 96*xb*xd*xg + 96*xb*xd*xh + 
            32*xb*xd*xi + 32*xb*xd*xj + 96*xb*xe*xg + 96*xb*xe*xh + 
            32*xb*xe*xi + 32*xb*xe*xj + 64*xb*xf*xg + 128*xb*xf*xh - 
            64*xb*xf*xj + 96*xb*xg^2 + 256*xb*xg*xh + 128*xb*xg*xi + 
            128*xb*xg*xj - 12*xb*xg + 160*xb*xh^2 + 192*xb*xh*xi + 
            192*xb*xh*xj - 20*xb*xh + 32*xb*xi^2 + 64*xb*xi*xj - 4*xb*xi + 
            32*xb*xj^2 - 4*xb*xj + 96*xc^2*xg + 160*xc^2*xh + 128*xc^2*xi + 
            64*xc^2*xj + 32*xc*xd*xg + 224*xc*xd*xh + 32*xc*xd*xi + 
            96*xc*xd*xj + 96*xc*xe*xg + 224*xc*xe*xh + 96*xc*xe*xi + 
            96*xc*xe*xj + 384*xc*xf*xh + 64*xc*xf*xi + 64*xc*xf*xj + 
            32*xc*xg^2 + 448*xc*xg*xh + 128*xc*xg*xi + 192*xc*xg*xj - 
            4*xc*xg + 416*xc*xh^2 + 512*xc*xh*xi + 576*xc*xh*xj - 52*xc*xh + 
            96*xc*xi^2 + 256*xc*xi*xj - 12*xc*xi + 160*xc*xj^2 - 20*xc*xj + 
            32*xd^2*xi + 32*xd^2*xj + 96*xd*xe*xg + 96*xd*xe*xh + 
            32*xd*xe*xi + 32*xd*xe*xj - 32*xd*xf*xg + 160*xd*xf*xh + 
            32*xd*xf*xi + 96*xd*xf*xj + 192*xd*xg*xh + 32*xd*xg*xi + 
            96*xd*xg*xj + 192*xd*xh^2 + 224*xd*xh*xi + 288*xd*xh*xj - 
            24*xd*xh + 32*xd*xi^2 + 128*xd*xi*xj - 4*xd*xi + 96*xd*xj^2 - 
            12*xd*xj + 64*xe^2*xg + 64*xe^2*xh + 96*xe*xf*xg + 224*xe*xf*xh - 
            32*xe*xf*xi - 32*xe*xf*xj + 96*xe*xg^2 + 320*xe*xg*xh + 
            96*xe*xg*xi + 160*xe*xg*xj - 12*xe*xg + 224*xe*xh^2 + 
            224*xe*xh*xi + 288*xe*xh*xj - 28*xe*xh + 64*xe*xi*xj + 
            64*xe*xj^2 - 8*xe*xj - 96*xf^2*xg + 224*xf^2*xh - 64*xf^2*xi - 
            32*xf*xg^2 + 320*xf*xg*xh - 64*xf*xg*xi + 4*xf*xg + 352*xf*xh^2 + 
            320*xf*xh*xi + 384*xf*xh*xj - 44*xf*xh - 32*xf*xi^2 + 4*xf*xi + 
            32*xf*xj^2 - 4*xf*xj + 192*xg^2*xh + 64*xg^2*xj + 384*xg*xh^2 + 
            384*xg*xh*xi + 512*xg*xh*xj - 48*xg*xh + 32*xg*xi^2 + 
            128*xg*xi*xj + 96*xg*xj^2 - 16*xg*xj + 192*xh^3 + 384*xh^2*xi + 
            448*xh^2*xj - 48*xh^2 + 160*xh*xi^2 + 512*xh*xi*xj - 48*xh*xi + 
            352*xh*xj^2 - 64*xh*xj + 3*xh + 64*xi^2*xj + 128*xi*xj^2 - 
            16*xi*xj + 64*xj^3 - 16*xj^2 + xj, 
\(-16\)*xb^2*xg - 
            16*xb^2*xh - 32*xb*xc*xg - 64*xb*xc*xh - 32*xb*xc*xi - 
            32*xb*xd*xg - 32*xb*xd*xh - 32*xb*xe*xg - 32*xb*xe*xh - 
            32*xb*xf*xg - 64*xb*xf*xh + 32*xb*xf*xj - 32*xb*xg^2 - 
            96*xb*xg*xh - 32*xb*xg*xi - 32*xb*xg*xj + 4*xb*xg - 64*xb*xh^2 - 
            64*xb*xh*xi - 64*xb*xh*xj + 8*xb*xh - 16*xc^2*xg - 48*xc^2*xh - 
            32*xc^2*xi + 16*xc*xd^2 + 32*xc*xd*xf - 64*xc*xd*xh - 
            16*xc*xe^2 - 32*xc*xe*xf - 32*xc*xe*xg - 64*xc*xe*xh - 
            32*xc*xe*xi - 128*xc*xf*xh - 32*xc*xf*xi + 32*xc*xf*xj - 
            16*xc*xg^2 - 128*xc*xg*xh - 32*xc*xg*xi - 32*xc*xg*xj - 
            112*xc*xh^2 - 128*xc*xh*xi - 128*xc*xh*xj + 16*xc*xh - 
            16*xc*xi^2 - 32*xc*xi*xj + 4*xc*xi - 16*xc*xj^2 + 16*xd^2*xf - 
            32*xd*xe*xg - 32*xd*xe*xh + 32*xd*xf^2 + 32*xd*xf*xg - 
            32*xd*xf*xh + 32*xd*xf*xi + 32*xd*xf*xj - 4*xd*xf - 64*xd*xg*xh - 
            32*xd*xg*xj - 64*xd*xh^2 - 32*xd*xh*xi - 64*xd*xh*xj + 8*xd*xh - 
            16*xe^2*xf - 16*xe^2*xg - 16*xe^2*xh - 32*xe*xf^2 - 64*xe*xf*xg - 
            96*xe*xf*xh - 32*xe*xf*xi + 4*xe*xf - 32*xe*xg^2 - 96*xe*xg*xh - 
            32*xe*xg*xi - 64*xe*xg*xj + 4*xe*xg - 64*xe*xh^2 - 32*xe*xh*xi - 
            64*xe*xh*xj + 8*xe*xh + 16*xf^2*xg - 80*xf^2*xh + 32*xf^2*xj + 
            16*xf*xg^2 - 128*xf*xg*xh - 144*xf*xh^2 - 96*xf*xh*xi - 
            96*xf*xh*xj + 16*xf*xh - 16*xf*xi^2 + 32*xf*xi*xj + 48*xf*xj^2 - 
            4*xf*xj - 64*xg^2*xh - 32*xg^2*xj - 128*xg*xh^2 - 96*xg*xh*xi - 
            160*xg*xh*xj + 16*xg*xh - 16*xg*xi^2 - 32*xg*xi*xj - 16*xg*xj^2 + 
            4*xg*xj - 64*xh^3 - 96*xh^2*xi - 128*xh^2*xj + 16*xh^2 - 
            16*xh*xi^2 - 96*xh*xi*xj + 12*xh*xi - 80*xh*xj^2 + 16*xh*xj - 
            xh, 
32*xb*xc*xd + 32*xb*xc*xe + 64*xb*xc*xf + 32*xb*xc*xg + 
            32*xb*xc*xh + 32*xb*xc*xi + 32*xb*xc*xj + 32*xb*xd*xf + 
            32*xb*xd*xg + 32*xb*xd*xh + 32*xb*xe*xf + 32*xb*xe*xg + 
            32*xb*xe*xh + 64*xb*xf^2 + 96*xb*xf*xg + 96*xb*xf*xh + 
            32*xb*xf*xi + 32*xb*xf*xj - 8*xb*xf + 32*xb*xg^2 + 64*xb*xg*xh + 
            32*xb*xg*xi + 32*xb*xg*xj - 4*xb*xg + 32*xb*xh^2 + 32*xb*xh*xi + 
            32*xb*xh*xj - 4*xb*xh + 32*xc^2*xd + 32*xc^2*xe + 64*xc^2*xf + 
            32*xc^2*xg + 32*xc^2*xh + 32*xc^2*xi + 32*xc^2*xj + 32*xc*xd*xe + 
            64*xc*xd*xf + 32*xc*xd*xg + 96*xc*xd*xh + 32*xc*xd*xi + 
            32*xc*xd*xj - 4*xc*xd + 32*xc*xe^2 + 128*xc*xe*xf + 64*xc*xe*xg + 
            128*xc*xe*xh + 64*xc*xe*xi + 64*xc*xe*xj - 4*xc*xe + 
            128*xc*xf^2 + 128*xc*xf*xg + 256*xc*xf*xh + 128*xc*xf*xi + 
            128*xc*xf*xj - 16*xc*xf + 32*xc*xg^2 + 128*xc*xg*xh + 
            64*xc*xg*xi + 64*xc*xg*xj + 96*xc*xh^2 + 128*xc*xh*xi + 
            128*xc*xh*xj - 16*xc*xh + 32*xc*xi^2 + 64*xc*xi*xj - 4*xc*xi + 
            32*xc*xj^2 - 4*xc*xj + 32*xd*xe*xf + 32*xd*xe*xg + 32*xd*xe*xh + 
            32*xd*xf^2 + 32*xd*xf*xg + 96*xd*xf*xh + 32*xd*xf*xi + 
            32*xd*xf*xj - 4*xd*xf + 64*xd*xg*xh + 32*xd*xg*xi + 32*xd*xg*xj + 
            64*xd*xh^2 + 32*xd*xh*xi + 32*xd*xh*xj - 8*xd*xh + 32*xe^2*xf + 
            32*xe^2*xg + 32*xe^2*xh + 96*xe*xf^2 + 128*xe*xf*xg + 
            192*xe*xf*xh + 64*xe*xf*xi + 64*xe*xf*xj - 12*xe*xf + 
            32*xe*xg^2 + 128*xe*xg*xh + 64*xe*xg*xi + 64*xe*xg*xj - 4*xe*xg + 
            96*xe*xh^2 + 64*xe*xh*xi + 64*xe*xh*xj - 12*xe*xh + 64*xf^3 + 
            96*xf^2*xg + 224*xf^2*xh + 96*xf^2*xi + 96*xf^2*xj - 16*xf^2 + 
            32*xf*xg^2 + 256*xf*xg*xh + 128*xf*xg*xi + 128*xf*xg*xj - 
            16*xf*xg + 224*xf*xh^2 + 192*xf*xh*xi + 192*xf*xh*xj - 32*xf*xh + 
            32*xf*xi^2 + 64*xf*xi*xj - 12*xf*xi + 32*xf*xj^2 - 12*xf*xj + 
            xf + 64*xg^2*xh + 32*xg^2*xi + 32*xg^2*xj + 128*xg*xh^2 + 
            128*xg*xh*xi + 128*xg*xh*xj - 16*xg*xh + 32*xg*xi^2 + 
            64*xg*xi*xj - 4*xg*xi + 32*xg*xj^2 - 4*xg*xj + 64*xh^3 + 
            96*xh^2*xi + 96*xh^2*xj - 16*xh^2 + 32*xh*xi^2 + 64*xh*xi*xj - 
            12*xh*xi + 32*xh*xj^2 - 12*xh*xj + xh, 

          32*xb^2*xd*xi + 32*xb^2*xd*xj + 32*xb^2*xe*xi + 32*xb^2*xe*xj + 
            64*xb^2*xf*xi + 64*xb^2*xf*xj + 64*xb^2*xi^2 + 128*xb^2*xi*xj - 
            4*xb^2*xi + 64*xb^2*xj^2 - 4*xb^2*xj - 128*xb*xc*xh*xi - 
            128*xb*xc*xh*xj + 8*xb*xc*xh + 128*xb*xc*xi*xj + 128*xb*xc*xj^2 - 
            8*xb*xc*xj + 32*xb*xd^2*xi + 32*xb*xd^2*xj + 64*xb*xd*xe*xi + 
            64*xb*xd*xe*xj + 64*xb*xd*xf*xi + 64*xb*xd*xf*xj + 
            64*xb*xd*xh*xi + 64*xb*xd*xh*xj + 64*xb*xd*xi^2 + 
            192*xb*xd*xi*xj - 4*xb*xd*xi + 128*xb*xd*xj^2 - 12*xb*xd*xj + 
            32*xb*xe^2*xi + 32*xb*xe^2*xj + 64*xb*xe*xf*xi + 64*xb*xe*xf*xj + 
            64*xb*xe*xh*xi + 64*xb*xe*xh*xj + 64*xb*xe*xi^2 + 
            192*xb*xe*xi*xj - 4*xb*xe*xi + 128*xb*xe*xj^2 - 12*xb*xe*xj - 
            8*xb*xf*xh + 256*xb*xf*xi*xj + 256*xb*xf*xj^2 - 8*xb*xf*xj - 
            32*xb*xg^2*xi - 32*xb*xg^2*xj - 64*xb*xg*xh*xi - 64*xb*xg*xh*xj + 
            128*xb*xg*xi*xj + 4*xb*xg*xi + 128*xb*xg*xj^2 - 4*xb*xg*xj - 
            32*xb*xh^2*xi - 32*xb*xh^2*xj + 128*xb*xh*xi*xj + 4*xb*xh*xi + 
            128*xb*xh*xj^2 - 4*xb*xh*xj + 32*xb*xi^3 + 224*xb*xi^2*xj - 
            4*xb*xi^2 + 352*xb*xi*xj^2 - 32*xb*xi*xj + 160*xb*xj^3 - 
            28*xb*xj^2 + xb*xj - 32*xc^2*xd*xi - 32*xc^2*xd*xj - 
            32*xc^2*xe*xi - 32*xc^2*xe*xj - 64*xc^2*xf*xi - 64*xc^2*xf*xj - 
            128*xc^2*xh*xi - 128*xc^2*xh*xj + 8*xc^2*xh - 64*xc^2*xi^2 + 
            4*xc^2*xi + 64*xc^2*xj^2 - 4*xc^2*xj - 64*xc*xd*xf*xi - 
            64*xc*xd*xf*xj - 128*xc*xd*xh*xi - 128*xc*xd*xh*xj + 8*xc*xd*xh + 
            4*xc*xd*xi + 4*xc*xd*xj - 64*xc*xe*xf*xi - 64*xc*xe*xf*xj - 
            64*xc*xe*xg*xi - 64*xc*xe*xg*xj - 64*xc*xe*xh*xi - 
            64*xc*xe*xh*xj - 64*xc*xe*xi^2 + 4*xc*xe*xi + 64*xc*xe*xj^2 - 
            4*xc*xe*xj - 128*xc*xf^2*xi - 128*xc*xf^2*xj - 64*xc*xf*xg*xi - 
            64*xc*xf*xg*xj - 320*xc*xf*xh*xi - 320*xc*xf*xh*xj - 
            192*xc*xf*xi^2 - 128*xc*xf*xi*xj + 16*xc*xf*xi + 64*xc*xf*xj^2 + 
            16*xc*xf*xj - 192*xc*xg*xh*xi - 192*xc*xg*xh*xj + 8*xc*xg*xh - 
            64*xc*xg*xi^2 + 64*xc*xg*xi*xj - 4*xc*xg*xi + 128*xc*xg*xj^2 - 
            4*xc*xg*xj - 192*xc*xh^2*xi - 192*xc*xh^2*xj + 8*xc*xh^2 - 
            256*xc*xh*xi^2 - 320*xc*xh*xi*xj + 36*xc*xh*xi - 64*xc*xh*xj^2 + 
            36*xc*xh*xj - xc*xh - 64*xc*xi^3 + 4*xc*xi^2 + 192*xc*xi*xj^2 - 
            8*xc*xi*xj + 128*xc*xj^3 - 12*xc*xj^2 + 32*xd^2*xe*xi + 
            32*xd^2*xe*xj + 64*xd^2*xh*xi + 64*xd^2*xh*xj + 32*xd*xe^2*xi + 
            32*xd*xe^2*xj + 64*xd*xe*xf*xi + 64*xd*xe*xf*xj + 
            64*xd*xe*xh*xi + 64*xd*xe*xh*xj + 64*xd*xe*xi^2 + 
            192*xd*xe*xi*xj - 4*xd*xe*xi + 128*xd*xe*xj^2 - 12*xd*xe*xj - 
            32*xd*xf^2*xi - 32*xd*xf^2*xj - 8*xd*xf*xh + 4*xd*xf*xi + 
            4*xd*xf*xj + 128*xd*xh*xi*xj + 128*xd*xh*xj^2 + 32*xd*xi^3 + 
            96*xd*xi^2*xj - 4*xd*xi^2 + 96*xd*xi*xj^2 - 8*xd*xi*xj + 
            32*xd*xj^3 - 4*xd*xj^2 + 64*xe^2*xi*xj + 64*xe^2*xj^2 - 
            8*xe^2*xj - 32*xe*xf^2*xi - 32*xe*xf^2*xj - 64*xe*xf*xg*xi - 
            64*xe*xf*xg*xj - 64*xe*xf*xh*xi - 64*xe*xf*xh*xj - 
            64*xe*xf*xi^2 + 128*xe*xf*xi*xj + 4*xe*xf*xi + 192*xe*xf*xj^2 - 
            4*xe*xf*xj - 32*xe*xg^2*xi - 32*xe*xg^2*xj - 64*xe*xg*xh*xi - 
            64*xe*xg*xh*xj - 64*xe*xg*xi^2 + 4*xe*xg*xi + 64*xe*xg*xj^2 - 
            4*xe*xg*xj - 32*xe*xh^2*xi - 32*xe*xh^2*xj - 64*xe*xh*xi^2 + 
            128*xe*xh*xi*xj + 4*xe*xh*xi + 192*xe*xh*xj^2 - 4*xe*xh*xj + 
            128*xe*xi^2*xj + 256*xe*xi*xj^2 - 24*xe*xi*xj + 128*xe*xj^3 - 
            24*xe*xj^2 + xe*xj - 64*xf^3*xi - 64*xf^3*xj - 64*xf^2*xg*xi - 
            64*xf^2*xg*xj - 192*xf^2*xh*xi - 192*xf^2*xh*xj - 8*xf^2*xh - 
            128*xf^2*xi^2 - 128*xf^2*xi*xj + 12*xf^2*xi + 20*xf^2*xj - 
            192*xf*xg*xh*xi - 192*xf*xg*xh*xj - 8*xf*xg*xh - 128*xf*xg*xi^2 - 
            64*xf*xg*xi*xj + 12*xf*xg*xi + 64*xf*xg*xj^2 + 12*xf*xg*xj - 
            192*xf*xh^2*xi - 192*xf*xh^2*xj - 8*xf*xh^2 - 320*xf*xh*xi^2 - 
            192*xf*xh*xi*xj + 20*xf*xh*xi + 128*xf*xh*xj^2 + 20*xf*xh*xj + 
            xf*xh - 64*xf*xi^3 + 20*xf*xi^2 + 192*xf*xi*xj^2 + 8*xf*xi*xj - 
            xf*xi + 128*xf*xj^3 - 12*xf*xj^2 - xf*xj - 64*xg^2*xh*xi - 
            64*xg^2*xh*xj - 128*xg*xh^2*xi - 128*xg*xh^2*xj - 
            192*xg*xh*xi^2 - 128*xg*xh*xi*xj + 16*xg*xh*xi + 64*xg*xh*xj^2 + 
            16*xg*xh*xj - 64*xg*xi^3 + 4*xg*xi^2 + 192*xg*xi*xj^2 - 
            8*xg*xi*xj + 128*xg*xj^3 - 12*xg*xj^2 - 64*xh^3*xi - 64*xh^3*xj - 
            192*xh^2*xi^2 - 128*xh^2*xi*xj + 16*xh^2*xi + 64*xh^2*xj^2 + 
            16*xh^2*xj - 64*xh*xi^3 + 20*xh*xi^2 + 192*xh*xi*xj^2 + 
            8*xh*xi*xj - xh*xi + 128*xh*xj^3 - 12*xh*xj^2 - xh*xj + 
            64*xi^3*xj + 192*xi^2*xj^2 - 16*xi^2*xj + 192*xi*xj^3 - 
            32*xi*xj^2 + xi*xj + 64*xj^4 - 16*xj^3 + 
            xj^2, 
\(-64\)*xb^2*xe*xi - 64*xb^2*xe*xj - 64*xb^2*xf*xi - 
            64*xb^2*xf*xj - 64*xb^2*xh*xi - 64*xb^2*xh*xj - 64*xb^2*xi^2 + 
            4*xb^2*xi + 64*xb^2*xj^2 + 4*xb^2*xj + 128*xb*xc*xe*xh - 
            128*xb*xc*xe*xj + 128*xb*xc*xf*xh - 128*xb*xc*xf*xj + 
            128*xb*xc*xh^2 + 128*xb*xc*xh*xi - 256*xb*xc*xh*xj - 8*xb*xc*xh - 
            128*xb*xc*xi*xj + 128*xb*xc*xj^2 + 8*xb*xc*xj - 64*xb*xd*xe*xi - 
            64*xb*xd*xe*xj - 64*xb*xd*xf*xi - 64*xb*xd*xf*xj - 
            64*xb*xd*xh*xi - 64*xb*xd*xh*xj - 64*xb*xd*xi^2 - 
            64*xb*xd*xi*xj + 4*xb*xd*xi + 4*xb*xd*xj - 64*xb*xe^2*xi - 
            64*xb*xe^2*xj + 128*xb*xe*xf*xh - 64*xb*xe*xf*xi - 
            192*xb*xe*xf*xj - 128*xb*xe*xg*xj - 64*xb*xe*xh*xi - 
            192*xb*xe*xh*xj - 64*xb*xe*xi^2 - 192*xb*xe*xi*xj + 4*xb*xe*xi - 
            128*xb*xe*xj^2 + 20*xb*xe*xj + 128*xb*xf^2*xh - 128*xb*xf^2*xj + 
            128*xb*xf*xh^2 + 128*xb*xf*xh*xi - 256*xb*xf*xh*xj - 8*xb*xf*xh - 
            256*xb*xf*xi*xj + 24*xb*xf*xj - 128*xb*xg*xh*xj - 
            128*xb*xg*xi*xj - 4*xb*xg*xi + 128*xb*xg*xj^2 + 12*xb*xg*xj - 
            128*xb*xh^2*xj - 256*xb*xh*xi*xj - 4*xb*xh*xi + 28*xb*xh*xj - 
            128*xb*xi^2*xj + 4*xb*xi^2 + 24*xb*xi*xj + 128*xb*xj^3 - 
            12*xb*xj^2 - xb*xj + 128*xc^2*xe*xh + 64*xc^2*xe*xi - 
            64*xc^2*xe*xj + 128*xc^2*xf*xh + 64*xc^2*xf*xi - 64*xc^2*xf*xj + 
            128*xc^2*xh^2 + 192*xc^2*xh*xi - 192*xc^2*xh*xj - 8*xc^2*xh + 
            64*xc^2*xi^2 - 128*xc^2*xi*xj - 4*xc^2*xi + 64*xc^2*xj^2 + 
            4*xc^2*xj + 128*xc*xd*xe*xh + 128*xc*xd*xf*xh + 128*xc*xd*xh^2 + 
            128*xc*xd*xh*xi - 128*xc*xd*xh*xj - 8*xc*xd*xh - 4*xc*xd*xi - 
            128*xc*xd*xj^2 + 4*xc*xd*xj - 128*xc*xe^2*xj + 256*xc*xe*xf*xh + 
            128*xc*xe*xf*xi - 256*xc*xe*xf*xj + 128*xc*xe*xg*xh + 
            64*xc*xe*xg*xi - 64*xc*xe*xg*xj + 128*xc*xe*xh^2 + 
            192*xc*xe*xh*xi - 64*xc*xe*xh*xj - 16*xc*xe*xh + 64*xc*xe*xi^2 - 
            128*xc*xe*xi*xj - 4*xc*xe*xi - 64*xc*xe*xj^2 + 12*xc*xe*xj + 
            256*xc*xf^2*xh + 128*xc*xf^2*xi - 128*xc*xf^2*xj + 
            128*xc*xf*xg*xh + 64*xc*xf*xg*xi + 64*xc*xf*xg*xj + 
            384*xc*xf*xh^2 + 576*xc*xf*xh*xi - 192*xc*xf*xh*xj - 
            32*xc*xf*xh + 192*xc*xf*xi^2 - 128*xc*xf*xi*xj - 16*xc*xf*xi - 
            64*xc*xf*xj^2 + 16*xc*xf*xj + 128*xc*xg*xh^2 + 192*xc*xg*xh*xi - 
            192*xc*xg*xh*xj - 8*xc*xg*xh + 64*xc*xg*xi^2 - 64*xc*xg*xi*xj + 
            4*xc*xg*xi - 4*xc*xg*xj + 128*xc*xh^3 + 320*xc*xh^2*xi - 
            64*xc*xh^2*xj - 24*xc*xh^2 + 256*xc*xh*xi^2 - 64*xc*xh*xi*xj - 
            36*xc*xh*xi - 192*xc*xh*xj^2 + 20*xc*xh*xj + xc*xh + 64*xc*xi^3 - 
            4*xc*xi^2 - 64*xc*xi*xj^2 + 16*xc*xi*xj - 12*xc*xj^2 - 
            64*xd^2*xi*xj - 64*xd^2*xj^2 - 64*xd*xe^2*xi - 64*xd*xe^2*xj + 
            128*xd*xe*xf*xh - 64*xd*xe*xf*xi - 64*xd*xe*xf*xj - 
            64*xd*xe*xh*xi - 64*xd*xe*xh*xj - 64*xd*xe*xi^2 - 
            64*xd*xe*xi*xj + 4*xd*xe*xi + 4*xd*xe*xj + 128*xd*xf^2*xh + 
            128*xd*xf*xg*xj + 128*xd*xf*xh^2 + 128*xd*xf*xh*xi - 8*xd*xf*xh - 
            4*xd*xf*xi - 128*xd*xf*xj^2 + 4*xd*xf*xj - 128*xd*xg*xj^2 - 
            128*xd*xh*xj^2 + 4*xd*xi^2 - 128*xd*xi*xj^2 - 128*xd*xj^3 + 
            12*xd*xj^2 - 128*xe^2*xf*xj - 128*xe^2*xg*xj - 128*xe^2*xh*xj - 
            128*xe^2*xi*xj - 128*xe^2*xj^2 + 16*xe^2*xj + 128*xe*xf^2*xh + 
            64*xe*xf^2*xi - 192*xe*xf^2*xj + 128*xe*xf*xg*xh + 
            64*xe*xf*xg*xi - 192*xe*xf*xg*xj + 128*xe*xf*xh^2 + 
            192*xe*xf*xh*xi - 192*xe*xf*xh*xj - 16*xe*xf*xh + 64*xe*xf*xi^2 - 
            256*xe*xf*xi*xj - 4*xe*xf*xi - 192*xe*xf*xj^2 + 28*xe*xf*xj + 
            128*xe*xg*xh*xi - 256*xe*xg*xh*xj + 64*xe*xg*xi^2 - 
            128*xe*xg*xi*xj - 4*xe*xg*xi - 64*xe*xg*xj^2 + 12*xe*xg*xj + 
            128*xe*xh^2*xi - 256*xe*xh^2*xj + 64*xe*xh*xi^2 - 
            256*xe*xh*xi*xj - 4*xe*xh*xi - 192*xe*xh*xj^2 + 28*xe*xh*xj - 
            128*xe*xi^2*xj - 128*xe*xi*xj^2 + 24*xe*xi*xj + 8*xe*xj^2 - 
            xe*xj + 128*xf^3*xh + 64*xf^3*xi - 64*xf^3*xj + 128*xf^2*xg*xh + 
            64*xf^2*xg*xi + 64*xf^2*xg*xj + 256*xf^2*xh^2 + 384*xf^2*xh*xi - 
            24*xf^2*xh + 128*xf^2*xi^2 - 12*xf^2*xi - 128*xf^2*xj^2 + 
            12*xf^2*xj + 128*xf*xg^2*xj + 128*xf*xg*xh^2 + 320*xf*xg*xh*xi - 
            64*xf*xg*xh*xj - 8*xf*xg*xh + 128*xf*xg*xi^2 + 64*xf*xg*xi*xj - 
            12*xf*xg*xi + 64*xf*xg*xj^2 - 4*xf*xg*xj + 128*xf*xh^3 + 
            448*xf*xh^2*xi - 64*xf*xh^2*xj - 24*xf*xh^2 + 320*xf*xh*xi^2 + 
            64*xf*xh*xi*xj - 52*xf*xh*xi - 128*xf*xh*xj^2 + 20*xf*xh*xj + 
            xf*xh + 64*xf*xi^3 - 20*xf*xi^2 - 64*xf*xi*xj^2 + 16*xf*xi*xj + 
            xf*xi + 4*xf*xj^2 - xf*xj + 64*xg^2*xi*xj - 64*xg^2*xj^2 + 
            128*xg*xh^2*xi - 128*xg*xh^2*xj + 192*xg*xh*xi^2 - 
            128*xg*xh*xi*xj - 16*xg*xh*xi - 64*xg*xh*xj^2 + 16*xg*xh*xj + 
            64*xg*xi^3 - 4*xg*xi^2 - 64*xg*xi*xj^2 + 16*xg*xi*xj - 
            12*xg*xj^2 + 128*xh^3*xi - 128*xh^3*xj + 192*xh^2*xi^2 - 
            192*xh^2*xi*xj - 16*xh^2*xi + 16*xh^2*xj + 64*xh*xi^3 - 
            20*xh*xi^2 - 64*xh*xi*xj^2 + 16*xh*xi*xj + xh*xi + 4*xh*xj^2 - 
            xh*xj + 8*xi^2*xj - xi*xj - 8*xj^3 + xj^2, 
\(-16\)*xb^2*xc*xi - 
            16*xb^2*xc*xj + 16*xb^2*xf*xi + 16*xb^2*xf*xj - 16*xb^2*xi^2 - 
            32*xb^2*xi*xj - 16*xb^2*xj^2 + 32*xb*xc^2*xh - 32*xb*xc^2*xj + 
            32*xb*xc*xf*xi + 32*xb*xc*xf*xj + 32*xb*xc*xh*xi + 
            32*xb*xc*xh*xj - 32*xb*xc*xi*xj - 32*xb*xc*xj^2 + 4*xb*xc*xj + 
            32*xb*xd*xf*xi + 32*xb*xd*xf*xj + 32*xb*xd*xi*xj + 
            32*xb*xd*xj^2 + 32*xb*xe*xf*xi + 32*xb*xe*xf*xj + 
            32*xb*xe*xi*xj + 32*xb*xe*xj^2 - 32*xb*xf^2*xh + 32*xb*xf^2*xi + 
            64*xb*xf^2*xj + 32*xb*xf*xh*xi + 32*xb*xf*xh*xj + 32*xb*xf*xi^2 + 
            96*xb*xf*xi*xj - 4*xb*xf*xi + 64*xb*xf*xj^2 - 8*xb*xf*xj + 
            32*xc^3*xh + 16*xc^3*xi - 16*xc^3*xj + 32*xc^2*xd*xh + 
            32*xc^2*xd*xj + 32*xc^2*xf*xh + 16*xc^2*xf*xi + 48*xc^2*xf*xj + 
            32*xc^2*xg*xh + 32*xc^2*xg*xj + 32*xc^2*xh^2 + 64*xc^2*xh*xi + 
            96*xc^2*xh*xj - 4*xc^2*xh + 16*xc^2*xi^2 + 32*xc^2*xi*xj + 
            16*xc^2*xj^2 + 64*xc*xd*xf*xj + 64*xc*xd*xg*xj + 32*xc*xd*xh*xi + 
            96*xc*xd*xh*xj + 96*xc*xd*xi*xj + 160*xc*xd*xj^2 - 4*xc*xd*xj + 
            16*xc*xe^2*xi + 16*xc*xe^2*xj + 32*xc*xe*xf*xi + 96*xc*xe*xf*xj + 
            64*xc*xe*xj^2 - 32*xc*xf^2*xh - 16*xc*xf^2*xi + 144*xc*xf^2*xj - 
            32*xc*xf*xg*xi + 96*xc*xf*xg*xj + 32*xc*xf*xh*xi + 
            160*xc*xf*xh*xj + 128*xc*xf*xi*xj + 256*xc*xf*xj^2 - 
            16*xc*xf*xj + 64*xc*xg^2*xj + 32*xc*xg*xh*xi + 96*xc*xg*xh*xj + 
            64*xc*xg*xi*xj + 192*xc*xg*xj^2 - 4*xc*xg*xj + 32*xc*xh^2*xi + 
            32*xc*xh^2*xj + 64*xc*xh*xi*xj - 4*xc*xh*xi + 192*xc*xh*xj^2 - 
            8*xc*xh*xj - 16*xc*xi^3 - 16*xc*xi^2*xj + 144*xc*xi*xj^2 + 
            144*xc*xj^3 - 16*xc*xj^2 + 16*xd^2*xi^2 + 64*xd^2*xi*xj + 
            48*xd^2*xj^2 + 32*xd*xe*xf*xi + 32*xd*xe*xf*xj + 32*xd*xe*xi*xj + 
            32*xd*xe*xj^2 - 32*xd*xf^2*xh + 32*xd*xf^2*xj - 32*xd*xf*xg*xi - 
            32*xd*xf*xg*xj + 96*xd*xf*xi*xj + 160*xd*xf*xj^2 - 4*xd*xf*xj + 
            96*xd*xg*xi*xj + 160*xd*xg*xj^2 - 32*xd*xh*xi^2 + 
            32*xd*xh*xi*xj + 128*xd*xh*xj^2 + 64*xd*xi^2*xj + 
            192*xd*xi*xj^2 - 8*xd*xi*xj + 128*xd*xj^3 - 16*xd*xj^2 + 
            16*xe^2*xf*xi + 16*xe^2*xf*xj + 32*xe*xf^2*xi + 96*xe*xf^2*xj + 
            32*xe*xf*xg*xi + 96*xe*xf*xg*xj + 32*xe*xf*xh*xi + 
            96*xe*xf*xh*xj + 32*xe*xf*xi^2 + 128*xe*xf*xi*xj - 4*xe*xf*xi + 
            160*xe*xf*xj^2 - 12*xe*xf*xj + 32*xe*xg*xi*xj + 96*xe*xg*xj^2 - 
            32*xe*xh*xi^2 - 32*xe*xh*xi*xj + 64*xe*xh*xj^2 + 64*xe*xi*xj^2 + 
            64*xe*xj^3 - 8*xe*xj^2 - 32*xf^3*xh - 16*xf^3*xi + 80*xf^3*xj - 
            32*xf^2*xg*xh - 32*xf^2*xg*xi + 64*xf^2*xg*xj - 32*xf^2*xh^2 - 
            32*xf^2*xh*xi + 64*xf^2*xh*xj + 4*xf^2*xh - 16*xf^2*xi^2 + 
            96*xf^2*xi*xj + 240*xf^2*xj^2 - 16*xf^2*xj - 32*xf*xg^2*xi - 
            32*xf*xg^2*xj - 32*xf*xg*xh*xi + 32*xf*xg*xh*xj - 32*xf*xg*xi^2 + 
            64*xf*xg*xi*xj + 4*xf*xg*xi + 224*xf*xg*xj^2 - 8*xf*xg*xj + 
            64*xf*xh^2*xj - 32*xf*xh*xi^2 + 64*xf*xh*xi*xj + 224*xf*xh*xj^2 - 
            12*xf*xh*xj + 16*xf*xi^3 + 80*xf*xi^2*xj + 240*xf*xi*xj^2 - 
            16*xf*xi*xj + 176*xf*xj^3 - 32*xf*xj^2 + xf*xj - 16*xg^2*xi^2 + 
            32*xg^2*xi*xj + 112*xg^2*xj^2 - 32*xg*xh*xi^2 + 160*xg*xh*xj^2 + 
            32*xg*xi^2*xj + 192*xg*xi*xj^2 - 4*xg*xi*xj + 160*xg*xj^3 - 
            20*xg*xj^2 - 16*xh^2*xi^2 - 32*xh^2*xi*xj + 48*xh^2*xj^2 - 
            32*xh*xi^3 - 64*xh*xi^2*xj + 4*xh*xi^2 + 96*xh*xi*xj^2 + 
            4*xh*xi*xj + 128*xh*xj^3 - 16*xh*xj^2 + 64*xi^2*xj^2 + 
            128*xi*xj^3 - 16*xi*xj^2 + 64*xj^4 - 16*xj^3 + 
            xj^2, 
\(-8\)*xb^3*xi - 8*xb^3*xj + 16*xb^2*xc*xh + 
            8*xb^2*xc*xi - 8*xb^2*xc*xj - 8*xb^2*xe*xi - 8*xb^2*xe*xj + 
            16*xb^2*xf*xh - 8*xb^2*xf*xi - 24*xb^2*xf*xj - 16*xb^2*xh*xi - 
            16*xb^2*xh*xj + 8*xb^2*xi^2 + 32*xb^2*xi*xj + 24*xb^2*xj^2 + 
            2*xb^2*xj + 8*xb*xc^2*xi + 8*xb*xc^2*xj - 32*xb*xc*xe*xj + 
            32*xb*xc*xf*xh - 64*xb*xc*xf*xj + 32*xb*xc*xh^2 - 
            16*xb*xc*xh*xi - 80*xb*xc*xh*xj - 2*xb*xc*xh + 16*xb*xc*xi*xj + 
            48*xb*xc*xj^2 - 2*xb*xc*xj + 8*xb*xd^2*xi + 8*xb*xd^2*xj - 
            16*xb*xd*xf*xi - 16*xb*xd*xf*xj - 16*xb*xd*xh*xi - 
            16*xb*xd*xh*xj + 16*xb*xd*xi*xj + 16*xb*xd*xj^2 - 2*xb*xd*xj - 
            16*xb*xe*xf*xi - 48*xb*xe*xf*xj - 32*xb*xe*xg*xj - 
            16*xb*xe*xh*xi - 48*xb*xe*xh*xj - 16*xb*xe*xi*xj - 
            16*xb*xe*xj^2 + 2*xb*xe*xj + 32*xb*xf^2*xh - 8*xb*xf^2*xi - 
            72*xb*xf^2*xj + 32*xb*xf*xh^2 - 16*xb*xf*xh*xi - 80*xb*xf*xh*xj - 
            2*xb*xf*xh - 16*xb*xf*xi^2 - 16*xb*xf*xi*xj + 2*xb*xf*xi + 
            32*xb*xf*xj^2 + 8*xb*xf*xj - 8*xb*xg^2*xi - 8*xb*xg^2*xj - 
            16*xb*xg*xh*xi - 48*xb*xg*xh*xj + 64*xb*xg*xj^2 + 2*xb*xg*xj - 
            8*xb*xh^2*xi - 40*xb*xh^2*xj - 16*xb*xh*xi^2 - 32*xb*xh*xi*xj + 
            2*xb*xh*xi + 48*xb*xh*xj^2 + 4*xb*xh*xj + 16*xb*xi^2*xj + 
            96*xb*xi*xj^2 - 2*xb*xi*xj + 80*xb*xj^3 - 10*xb*xj^2 - 
            16*xc^3*xh - 8*xc^3*xi + 8*xc^3*xj - 32*xc^2*xd*xh - 
            32*xc^2*xd*xj + 8*xc^2*xe*xi - 24*xc^2*xe*xj - 16*xc^2*xf*xh + 
            8*xc^2*xf*xi - 72*xc^2*xf*xj - 32*xc^2*xg*xh - 32*xc^2*xg*xj - 
            32*xc^2*xh*xi - 128*xc^2*xh*xj + 2*xc^2*xh - 8*xc^2*xi^2 - 
            48*xc^2*xi*xj - 8*xc^2*xj^2 - 64*xc*xd*xf*xj - 32*xc*xd*xg*xh - 
            32*xc*xd*xg*xj - 48*xc*xd*xh*xi - 176*xc*xd*xh*xj + 2*xc*xd*xh - 
            48*xc*xd*xi*xj - 112*xc*xd*xj^2 + 4*xc*xd*xj - 16*xc*xe^2*xh - 
            8*xc*xe^2*xi - 24*xc*xe^2*xj - 32*xc*xe*xf*xh - 128*xc*xe*xf*xj - 
            32*xc*xe*xg*xj - 128*xc*xe*xh*xj - 32*xc*xe*xi*xj - 
            64*xc*xe*xj^2 + 2*xc*xe*xj + 16*xc*xf^2*xh + 40*xc*xf^2*xi - 
            168*xc*xf^2*xj - 32*xc*xf*xg*xh + 32*xc*xf*xg*xi - 
            64*xc*xf*xg*xj + 32*xc*xf*xh^2 - 352*xc*xf*xh*xj + 
            16*xc*xf*xi^2 - 96*xc*xf*xi*xj - 2*xc*xf*xi - 176*xc*xf*xj^2 + 
            18*xc*xf*xj - 32*xc*xg^2*xh - 32*xc*xg^2*xj - 48*xc*xg*xh*xi - 
            240*xc*xg*xh*xj + 2*xc*xg*xh - 48*xc*xg*xi*xj - 80*xc*xg*xj^2 + 
            32*xc*xh^3 + 16*xc*xh^2*xi - 144*xc*xh^2*xj - 2*xc*xh^2 - 
            208*xc*xh*xi*xj + 2*xc*xh*xi - 240*xc*xh*xj^2 + 26*xc*xh*xj + 
            8*xc*xi^3 - 8*xc*xi^2*xj - 72*xc*xi*xj^2 + 2*xc*xi*xj - 
            56*xc*xj^3 + 6*xc*xj^2 + 8*xd^2*xe*xi + 8*xd^2*xe*xj - 
            8*xd^2*xi^2 - 48*xd^2*xi*xj - 40*xd^2*xj^2 - 16*xd*xe*xf*xi - 
            16*xd*xe*xf*xj - 16*xd*xe*xh*xi - 16*xd*xe*xh*xj + 
            16*xd*xe*xi*xj + 16*xd*xe*xj^2 - 2*xd*xe*xj + 32*xd*xf^2*xh - 
            32*xd*xf^2*xj + 16*xd*xf*xg*xi + 48*xd*xf*xg*xj + 32*xd*xf*xh^2 - 
            64*xd*xf*xh*xj - 2*xd*xf*xh - 48*xd*xf*xi*xj - 112*xd*xf*xj^2 + 
            4*xd*xf*xj - 32*xd*xg*xh*xi - 64*xd*xg*xh*xj - 48*xd*xg*xi*xj - 
            112*xd*xg*xj^2 - 32*xd*xh^2*xj - 48*xd*xh*xi*xj + 2*xd*xh*xi - 
            112*xd*xh*xj^2 + 6*xd*xh*xj - 16*xd*xi^2*xj - 96*xd*xi*xj^2 + 
            2*xd*xi*xj - 80*xd*xj^3 + 10*xd*xj^2 - 16*xe^2*xf*xh - 
            8*xe^2*xf*xi - 24*xe^2*xf*xj - 32*xe^2*xg*xj - 32*xe^2*xh*xj - 
            32*xe*xf^2*xh - 8*xe*xf^2*xi - 104*xe*xf^2*xj - 32*xe*xf*xg*xh - 
            16*xe*xf*xg*xi - 112*xe*xf*xg*xj - 32*xe*xf*xh^2 - 
            48*xe*xf*xh*xi - 240*xe*xf*xh*xj + 4*xe*xf*xh - 16*xe*xf*xi^2 - 
            64*xe*xf*xi*xj + 2*xe*xf*xi - 80*xe*xf*xj^2 + 12*xe*xf*xj - 
            8*xe*xg^2*xi - 8*xe*xg^2*xj - 16*xe*xg*xh*xi - 144*xe*xg*xh*xj - 
            48*xe*xg*xi*xj - 48*xe*xg*xj^2 + 2*xe*xg*xj + 24*xe*xh^2*xi - 
            104*xe*xh^2*xj + 16*xe*xh*xi^2 - 80*xe*xh*xi*xj - 96*xe*xh*xj^2 + 
            14*xe*xh*xj + 16*xf^3*xh + 24*xf^3*xi - 88*xf^3*xj + 
            32*xf^2*xg*xi - 32*xf^2*xg*xj + 32*xf^2*xh^2 + 32*xf^2*xh*xi - 
            224*xf^2*xh*xj - 2*xf^2*xh + 24*xf^2*xi^2 - 48*xf^2*xi*xj - 
            2*xf^2*xi - 168*xf^2*xj^2 + 18*xf^2*xj + 16*xf*xg^2*xi + 
            48*xf*xg^2*xj - 16*xf*xg*xh*xi - 208*xf*xg*xh*xj + 2*xf*xg*xh + 
            32*xf*xg*xi^2 - 16*xf*xg*xi*xj - 2*xf*xg*xi - 80*xf*xg*xj^2 + 
            6*xf*xg*xj + 32*xf*xh^2*xi - 192*xf*xh^2*xj - 2*xf*xh^2 - 
            176*xf*xh*xi*xj - 208*xf*xh*xj^2 + 32*xf*xh*xj - 8*xf*xi^3 - 
            24*xf*xi^2*xj - 56*xf*xi*xj^2 + 10*xf*xi*xj - 40*xf*xj^3 + 
            14*xf*xj^2 - xf*xj - 32*xg^2*xh*xi - 64*xg^2*xh*xj + 
            8*xg^2*xi^2 - 72*xg^2*xj^2 - 128*xg*xh^2*xj - 160*xg*xh*xi*xj + 
            2*xg*xh*xi - 160*xg*xh*xj^2 + 18*xg*xh*xj - 16*xg*xi^2*xj - 
            64*xg*xi*xj^2 + 4*xg*xi*xj - 48*xg*xj^3 + 4*xg*xj^2 + 
            32*xh^3*xi - 64*xh^3*xj + 24*xh^2*xi^2 - 96*xh^2*xi*xj - 
            2*xh^2*xi - 56*xh^2*xj^2 + 14*xh^2*xj + 16*xh*xi^3 - 
            32*xh*xi^2*xj - 2*xh*xi^2 - 80*xh*xi*xj^2 + 12*xh*xi*xj - 
            32*xh*xj^3 + 14*xh*xj^2 - xh*xj, 
\(-256\)*xb^2*xc*xi - 
            256*xb^2*xc*xj + 256*xb^2*xd*xi + 256*xb^2*xd*xj + 
            256*xb^2*xe*xi + 256*xb^2*xe*xj + 768*xb^2*xf*xi + 
            768*xb^2*xf*xj - 1024*xb^2*xh*xi - 1024*xb^2*xh*xj - 
            768*xb^2*xi^2 - 1536*xb^2*xi*xj - 768*xb^2*xj^2 + 
            512*xb*xc^2*xh - 512*xb*xc^2*xj + 512*xb*xc*xf*xi + 
            512*xb*xc*xf*xj + 2048*xb*xc*xh^2 + 1536*xb*xc*xh*xi - 
            512*xb*xc*xh*xj - 1536*xb*xc*xi*xj - 1536*xb*xc*xj^2 + 
            64*xb*xc*xj + 1024*xb*xd*xf*xi + 1024*xb*xd*xf*xj + 
            1024*xb*xd*xg*xh + 512*xb*xd*xg*xi + 512*xb*xd*xg*xj - 
            32*xb*xd*xg + 1024*xb*xd*xh^2 - 32*xb*xd*xh - 512*xb*xd*xi^2 + 
            32*xb*xd*xi + 512*xb*xd*xj^2 - 32*xb*xd*xj + 1024*xb*xe*xf*xi + 
            1024*xb*xe*xf*xj + 1024*xb*xe*xg*xh + 512*xb*xe*xg*xi + 
            512*xb*xe*xg*xj - 32*xb*xe*xg + 1024*xb*xe*xh^2 - 32*xb*xe*xh - 
            512*xb*xe*xi^2 + 32*xb*xe*xi + 512*xb*xe*xj^2 - 32*xb*xe*xj - 
            512*xb*xf^2*xh + 1536*xb*xf^2*xi + 2048*xb*xf^2*xj + 
            2048*xb*xf*xh^2 + 512*xb*xf*xh*xi - 1536*xb*xf*xh*xj - 
            128*xb*xf*xh - 512*xb*xf*xi^2 - 512*xb*xf*xi*xj - 64*xb*xf*xi - 
            128*xb*xf*xj + 1024*xb*xg^2*xh + 512*xb*xg^2*xi + 
            512*xb*xg^2*xj - 32*xb*xg^2 + 2048*xb*xg*xh^2 + 
            1024*xb*xg*xh*xi - 1024*xb*xg*xh*xj - 192*xb*xg*xh - 
            1024*xb*xg*xi*xj - 64*xb*xg*xi - 1024*xb*xg*xj^2 - 64*xb*xg*xj + 
            4*xb*xg + 1024*xb*xh^3 + 512*xb*xh^2*xi - 1536*xb*xh^2*xj - 
            160*xb*xh^2 - 1024*xb*xh*xi^2 - 5120*xb*xh*xi*xj + 64*xb*xh*xi - 
            4096*xb*xh*xj^2 + 320*xb*xh*xj + 4*xb*xh - 512*xb*xi^3 - 
            2560*xb*xi^2*xj + 96*xb*xi^2 - 3584*xb*xi*xj^2 + 320*xb*xi*xj - 
            4*xb*xi - 1536*xb*xj^3 + 224*xb*xj^2 - 4*xb*xj + 512*xc^3*xh + 
            256*xc^3*xi - 256*xc^3*xj + 512*xc^2*xd*xh - 256*xc^2*xd*xi + 
            256*xc^2*xd*xj - 256*xc^2*xe*xi - 256*xc^2*xe*xj + 
            512*xc^2*xf*xh - 256*xc^2*xf*xi + 256*xc^2*xf*xj + 
            512*xc^2*xg*xh + 512*xc^2*xg*xj + 2560*xc^2*xh^2 + 
            3072*xc^2*xh*xi + 1536*xc^2*xh*xj - 64*xc^2*xh + 768*xc^2*xi^2 + 
            512*xc^2*xi*xj - 256*xc^2*xj^2 - 1024*xc*xd*xe*xj + 
            1024*xc*xd*xf*xg + 512*xc*xd*xf*xi + 1536*xc*xd*xf*xj - 
            1024*xc*xd*xg*xh - 512*xc*xd*xg*xi - 512*xc*xd*xg*xj + 
            32*xc*xd*xg + 3072*xc*xd*xh^2 + 1536*xc*xd*xh*xi + 
            1536*xc*xd*xh*xj - 32*xc*xd*xh - 512*xc*xd*xi^2 + 32*xc*xd*xi + 
            1536*xc*xd*xj^2 + 96*xc*xd*xj + 256*xc*xe^2*xi - 768*xc*xe^2*xj - 
            1024*xc*xe*xf*xh - 1024*xc*xe*xf*xj + 1024*xc*xe*xg*xh + 
            512*xc*xe*xg*xi - 512*xc*xe*xg*xj - 32*xc*xe*xg + 
            3072*xc*xe*xh^2 + 3072*xc*xe*xh*xi - 96*xc*xe*xh + 
            512*xc*xe*xi^2 - 512*xc*xe*xi*xj - 32*xc*xe*xi + 96*xc*xe*xj + 
            1024*xc*xf^2*xg - 1536*xc*xf^2*xh - 256*xc*xf^2*xi + 
            2304*xc*xf^2*xj + 1024*xc*xf*xg^2 - 2048*xc*xf*xg*xh - 
            1536*xc*xf*xg*xi + 512*xc*xf*xg*xj - 64*xc*xf*xg + 
            5120*xc*xf*xh^2 + 2560*xc*xf*xh*xi + 512*xc*xf*xh*xj - 
            64*xc*xf*xh - 1024*xc*xf*xi^2 - 1024*xc*xf*xi*xj + 64*xc*xf*xi + 
            2048*xc*xf*xj^2 - 64*xc*xf*xj - 1024*xc*xg^2*xh - 
            512*xc*xg^2*xi - 512*xc*xg^2*xj + 32*xc*xg^2 + 4096*xc*xg*xh^2 + 
            3072*xc*xg*xh*xi - 1024*xc*xg*xh*xj + 64*xc*xg*xh - 
            1536*xc*xg*xi*xj + 64*xc*xg*xi - 512*xc*xg*xj^2 + 128*xc*xg*xj - 
            4*xc*xg + 5120*xc*xh^3 + 9728*xc*xh^2*xi + 5632*xc*xh^2*xj - 
            736*xc*xh^2 + 4608*xc*xh*xi^2 + 4608*xc*xh*xi*xj - 640*xc*xh*xi + 
            1024*xc*xh*xj^2 - 64*xc*xh*xj + 12*xc*xh + 256*xc*xi^3 - 
            256*xc*xi^2*xj - 96*xc*xi^2 - 256*xc*xi*xj^2 + 192*xc*xi*xj + 
            4*xc*xi + 256*xc*xj^3 + 32*xc*xj^2 - 12*xc*xj - 256*xd^3*xi - 
            256*xd^3*xj - 256*xd^2*xe*xi - 256*xd^2*xe*xj + 512*xd^2*xf*xg + 
            512*xd^2*xf*xh - 256*xd^2*xg*xi - 768*xd^2*xg*xj + 
            256*xd^2*xh*xi - 256*xd^2*xh*xj + 256*xd^2*xi^2 + 
            512*xd^2*xi*xj + 32*xd^2*xi + 256*xd^2*xj^2 + 96*xd^2*xj + 
            1024*xd*xe*xf*xi + 1024*xd*xe*xg*xh + 512*xd*xe*xg*xi - 
            512*xd*xe*xg*xj - 32*xd*xe*xg + 1024*xd*xe*xh^2 - 
            1024*xd*xe*xh*xj - 32*xd*xe*xh - 512*xd*xe*xi^2 - 
            1024*xd*xe*xi*xj + 32*xd*xe*xi - 512*xd*xe*xj^2 + 96*xd*xe*xj + 
            1024*xd*xf^2*xg - 512*xd*xf^2*xh + 768*xd*xf^2*xi + 
            1280*xd*xf^2*xj + 1024*xd*xf*xg^2 - 96*xd*xf*xg + 
            3072*xd*xf*xh^2 + 2048*xd*xf*xh*xi + 2048*xd*xf*xh*xj - 
            160*xd*xf*xh + 2048*xd*xf*xi*xj - 32*xd*xf*xi + 3072*xd*xf*xj^2 - 
            96*xd*xf*xj + 256*xd*xg^2*xi - 768*xd*xg^2*xj + 2048*xd*xg*xh^2 + 
            1024*xd*xg*xh*xi - 1024*xd*xg*xh*xj - 64*xd*xg*xh - 
            512*xd*xg*xi^2 - 512*xd*xg*xi*xj + 32*xd*xg*xi + 160*xd*xg*xj + 
            2048*xd*xh^3 + 2816*xd*xh^2*xi + 1792*xd*xh^2*xj - 320*xd*xh^2 - 
            512*xd*xh*xi^2 + 1536*xd*xh*xi*xj - 96*xd*xh*xi + 
            2048*xd*xh*xj^2 + 32*xd*xh*xj + 8*xd*xh - 512*xd*xi^3 - 
            512*xd*xi^2*xj + 96*xd*xi^2 + 1536*xd*xi*xj^2 + 128*xd*xi*xj - 
            4*xd*xi + 1536*xd*xj^3 - 96*xd*xj^2 - 12*xd*xj - 512*xe^2*xf*xg - 
            512*xe^2*xf*xh + 256*xe^2*xf*xi - 768*xe^2*xf*xj + 
            1024*xe^2*xg*xh + 768*xe^2*xg*xi + 256*xe^2*xg*xj - 32*xe^2*xg + 
            1024*xe^2*xh^2 + 768*xe^2*xh*xi + 256*xe^2*xh*xj - 32*xe^2*xh - 
            1024*xe*xf^2*xh + 1280*xe*xf^2*xi + 256*xe*xf^2*xj + 
            1024*xe*xf*xg*xi - 32*xe*xf*xg + 2048*xe*xf*xh^2 + 
            512*xe*xf*xh*xi - 2560*xe*xf*xh*xj + 32*xe*xf*xh - 
            512*xe*xf*xi^2 - 1536*xe*xf*xi*xj - 32*xe*xf*xi + 96*xe*xf*xj + 
            1024*xe*xg^2*xh + 768*xe*xg^2*xi - 256*xe*xg^2*xj - 32*xe*xg^2 + 
            4096*xe*xg*xh^2 + 4096*xe*xg*xh*xi - 256*xe*xg*xh + 
            512*xe*xg*xi^2 - 512*xe*xg*xi*xj - 96*xe*xg*xi - 
            1024*xe*xg*xj^2 + 32*xe*xg*xj + 4*xe*xg + 3072*xe*xh^3 + 
            5376*xe*xh^2*xi + 2304*xe*xh^2*xj - 480*xe*xh^2 + 
            1536*xe*xh*xi^2 + 1536*xe*xh*xi*xj - 352*xe*xh*xi + 32*xe*xh*xj + 
            12*xe*xh - 1024*xe*xi^2*xj - 1024*xe*xi*xj^2 + 192*xe*xi*xj + 
            64*xe*xj^2 - 8*xe*xj + 1024*xf^3*xg - 1536*xf^3*xh + 
            256*xf^3*xi + 1792*xf^3*xj + 1024*xf^2*xg^2 - 2560*xf^2*xg*xh - 
            512*xf^2*xg*xi + 1024*xf^2*xg*xj - 64*xf^2*xg + 2560*xf^2*xh^2 + 
            512*xf^2*xh*xi - 768*xf^2*xi^2 + 512*xf^2*xi*xj - 64*xf^2*xi + 
            3328*xf^2*xj^2 - 192*xf^2*xj + 512*xf*xg^3 - 512*xf*xg^2*xh - 
            96*xf*xg^2 + 3584*xf*xg*xh^2 - 4096*xf*xg*xh*xj - 64*xf*xg*xh - 
            2048*xf*xg*xi^2 - 3584*xf*xg*xi*xj + 128*xf*xg*xi - 
            512*xf*xg*xj^2 + 64*xf*xg*xj + 4*xf*xg + 4608*xf*xh^3 + 
            6144*xf*xh^2*xi + 2048*xf*xh^2*xj - 736*xf*xh^2 - 
            512*xf*xh*xi^2 - 1536*xf*xh*xi*xj - 320*xf*xh*xi + 128*xf*xh*xj + 
            20*xf*xh - 768*xf*xi^3 - 3328*xf*xi^2*xj + 160*xf*xi^2 - 
            1280*xf*xi*xj^2 + 320*xf*xi*xj - 4*xf*xi + 1280*xf*xj^3 - 
            96*xf*xj^2 - 4*xf*xj + 256*xg^3*xi - 256*xg^3*xj + 
            2048*xg^2*xh^2 + 768*xg^2*xh*xi - 768*xg^2*xh*xj - 64*xg^2*xh - 
            768*xg^2*xi^2 - 1024*xg^2*xi*xj - 256*xg^2*xj^2 + 64*xg^2*xj + 
            4096*xg*xh^3 + 6912*xg*xh^2*xi + 1280*xg*xh^2*xj - 640*xg*xh^2 + 
            2048*xg*xh*xi^2 - 1024*xg*xh*xi*xj - 448*xg*xh*xi - 
            3072*xg*xh*xj^2 + 320*xg*xh*xj + 16*xg*xh - 256*xg*xi^3 - 
            2304*xg*xi^2*xj - 2816*xg*xi*xj^2 + 384*xg*xi*xj - 768*xg*xj^3 + 
            256*xg*xj^2 - 16*xg*xj + 2048*xh^4 + 6400*xh^3*xi + 
            1792*xh^3*xj - 576*xh^3 + 4864*xh^2*xi^2 + 4096*xh^2*xi*xj - 
            960*xh^2*xi - 768*xh^2*xj^2 - 256*xh^2*xj + 48*xh^2 + 
            768*xh*xi^3 - 256*xh*xi^2*xj - 256*xh*xi^2 - 1792*xh*xi*xj^2 + 
            128*xh*xi*xj + 32*xh*xi - 768*xh*xj^3 + 256*xh*xj^2 - 16*xh*xj - 
            xh - 1024*xi^3*xj - 2048*xi^2*xj^2 + 320*xi^2*xj - 1024*xi*xj^3 + 
            384*xi*xj^2 - 32*xi*xj + 64*xj^3 - 16*xj^2 + 
            xj, 
\(-128\)*xb^2*xd*xi - 128*xb^2*xd*xj + 384*xb^2*xe*xi + 
            384*xb^2*xe*xj + 256*xb^2*xf*xi + 256*xb^2*xf*xj + 
            1024*xb^2*xh*xi + 1024*xb^2*xh*xj + 512*xb^2*xi^2 - 
            512*xb^2*xi*xj - 48*xb^2*xi - 1024*xb^2*xj^2 - 48*xb^2*xj - 
            1024*xb*xc*xe*xh + 1024*xb*xc*xe*xj - 1024*xb*xc*xf*xh + 
            1024*xb*xc*xf*xj - 2048*xb*xc*xh^2 - 1024*xb*xc*xh*xi + 
            4096*xb*xc*xh*xj + 96*xb*xc*xh + 1024*xb*xc*xi*xj - 
            2048*xb*xc*xj^2 - 96*xb*xc*xj + 512*xb*xd*xe*xi + 
            512*xb*xd*xe*xj + 256*xb*xd*xf*xi + 256*xb*xd*xf*xj + 
            768*xb*xd*xh*xi + 768*xb*xd*xh*xj + 512*xb*xd*xi^2 - 
            256*xb*xd*xi*xj - 32*xb*xd*xi - 768*xb*xd*xj^2 + 512*xb*xe^2*xi + 
            512*xb*xe^2*xj - 1024*xb*xe*xf*xh + 256*xb*xe*xf*xi + 
            1280*xb*xe*xf*xj - 512*xb*xe*xg^2 - 1024*xb*xe*xg*xh + 
            1024*xb*xe*xg*xj + 64*xb*xe*xg - 512*xb*xe*xh^2 + 
            768*xb*xe*xh*xi + 1792*xb*xe*xh*xj + 64*xb*xe*xh + 
            1024*xb*xe*xi^2 + 1792*xb*xe*xi*xj - 96*xb*xe*xi + 
            768*xb*xe*xj^2 - 192*xb*xe*xj - 1024*xb*xf^2*xh - 
            512*xb*xf^2*xi + 512*xb*xf^2*xj - 2048*xb*xf*xh^2 - 
            1536*xb*xf*xh*xi + 3584*xb*xf*xh*xj + 160*xb*xf*xh + 
            1536*xb*xf*xi*xj - 32*xb*xf*xi - 1536*xb*xf*xj^2 - 256*xb*xf*xj - 
            512*xb*xg^2*xh - 512*xb*xg^2*xi + 512*xb*xg^2*xj + 64*xb*xg^2 - 
            1024*xb*xg*xh^2 - 1024*xb*xg*xh*xi + 3072*xb*xg*xh*xj + 
            128*xb*xg*xh + 1024*xb*xg*xi*xj + 32*xb*xg*xi - 2048*xb*xg*xj^2 - 
            192*xb*xg*xj - 4*xb*xg - 512*xb*xh^3 - 512*xb*xh^2*xi + 
            2560*xb*xh^2*xj + 64*xb*xh^2 + 512*xb*xh*xi^2 + 
            4096*xb*xh*xi*xj + 32*xb*xh*xi + 512*xb*xh*xj^2 - 448*xb*xh*xj - 
            4*xb*xh + 512*xb*xi^3 + 1536*xb*xi^2*xj - 96*xb*xi^2 - 
            1536*xb*xi*xj^2 - 288*xb*xi*xj + 4*xb*xi - 2560*xb*xj^3 + 
            192*xb*xj^2 + 16*xb*xj + 128*xc^2*xd*xi + 128*xc^2*xd*xj - 
            1024*xc^2*xe*xh - 384*xc^2*xe*xi + 640*xc^2*xe*xj - 
            1024*xc^2*xf*xh - 256*xc^2*xf*xi + 768*xc^2*xf*xj - 
            2048*xc^2*xh^2 - 2048*xc^2*xh*xi + 3072*xc^2*xh*xj + 96*xc^2*xh - 
            512*xc^2*xi^2 + 1536*xc^2*xi*xj + 48*xc^2*xi - 1024*xc^2*xj^2 - 
            48*xc^2*xj + 512*xc*xd*xe*xg - 512*xc*xd*xe*xh + 
            512*xc*xd*xe*xi + 1024*xc*xd*xe*xj - 512*xc*xd*xf*xh + 
            256*xc*xd*xf*xi + 256*xc*xd*xf*xj + 512*xc*xd*xg*xh + 
            512*xc*xd*xg*xi - 512*xc*xd*xg*xj - 1536*xc*xd*xh^2 + 
            256*xc*xd*xh*xi + 2304*xc*xd*xh*xj + 32*xc*xd*xh + 
            512*xc*xd*xi^2 + 256*xc*xd*xi*xj - 32*xc*xd*xi + 768*xc*xd*xj^2 - 
            32*xc*xd*xj - 512*xc*xe^2*xg - 512*xc*xe^2*xh - 512*xc*xe^2*xi + 
            1024*xc*xe^2*xj - 512*xc*xe*xf*xg - 2048*xc*xe*xf*xh - 
            1280*xc*xe*xf*xi + 2816*xc*xe*xf*xj - 2560*xc*xe*xg*xh - 
            1024*xc*xe*xg*xi + 2048*xc*xe*xg*xj - 2560*xc*xe*xh^2 - 
            3328*xc*xe*xh*xi + 1792*xc*xe*xh*xj + 320*xc*xe*xh - 
            1024*xc*xe*xi^2 + 2304*xc*xe*xi*xj + 96*xc*xe*xi + 
            1280*xc*xe*xj^2 - 256*xc*xe*xj - 512*xc*xf^2*xg - 
            1536*xc*xf^2*xh - 1024*xc*xf^2*xi + 1024*xc*xf^2*xj - 
            1024*xc*xf*xg*xh - 512*xc*xf*xg*xi - 512*xc*xf*xg*xj - 
            5120*xc*xf*xh^2 - 5120*xc*xf*xh*xi + 5120*xc*xf*xh*xj + 
            384*xc*xf*xh - 1536*xc*xf*xi^2 + 2560*xc*xf*xi*xj + 96*xc*xf*xi - 
            288*xc*xf*xj - 64*xc*xg^2 - 3072*xc*xg*xh^2 - 2816*xc*xg*xh*xi + 
            4864*xc*xg*xh*xj + 224*xc*xg*xh - 512*xc*xg*xi^2 + 
            1792*xc*xg*xi*xj - 32*xc*xg*xi - 1280*xc*xg*xj^2 - 160*xc*xg*xj + 
            4*xc*xg - 3072*xc*xh^3 - 5888*xc*xh^2*xi + 1792*xc*xh^2*xj + 
            544*xc*xh^2 - 3328*xc*xh*xi^2 + 3840*xc*xh*xi*xj + 576*xc*xh*xi + 
            3584*xc*xh*xj^2 - 448*xc*xh*xj - 24*xc*xh - 512*xc*xi^3 + 
            1280*xc*xi^2*xj + 96*xc*xi^2 + 512*xc*xi*xj^2 - 320*xc*xi*xj - 
            4*xc*xi - 1280*xc*xj^3 + 96*xc*xj^2 + 12*xc*xj + 128*xd^3*xi + 
            128*xd^3*xj + 128*xd^2*xe*xi + 128*xd^2*xe*xj - 256*xd^2*xf*xg - 
            256*xd^2*xf*xh - 128*xd^2*xg*xi + 128*xd^2*xg*xj - 
            384*xd^2*xh*xi - 128*xd^2*xh*xj + 768*xd^2*xi*xj + 16*xd^2*xi + 
            768*xd^2*xj^2 - 16*xd^2*xj + 512*xd*xe^2*xi + 512*xd*xe^2*xj + 
            512*xd*xe*xf*xg - 512*xd*xe*xf*xh + 768*xd*xe*xf*xi + 
            1280*xd*xe*xf*xj + 512*xd*xe*xg*xi + 1024*xd*xe*xg*xj + 
            1280*xd*xe*xh*xi + 1792*xd*xe*xh*xj + 1024*xd*xe*xi^2 + 
            1280*xd*xe*xi*xj - 96*xd*xe*xi + 256*xd*xe*xj^2 - 128*xd*xe*xj - 
            512*xd*xf^2*xh + 128*xd*xf^2*xi + 128*xd*xf^2*xj + 
            1024*xd*xf*xg*xh + 512*xd*xf*xg*xi - 2048*xd*xf*xg*xj - 
            1024*xd*xf*xh^2 + 256*xd*xf*xh*xi + 768*xd*xf*xh*xj + 
            32*xd*xf*xh + 768*xd*xf*xi^2 + 256*xd*xf*xi*xj - 64*xd*xf*xi + 
            512*xd*xf*xj^2 - 128*xd*xg^2*xi - 128*xd*xg^2*xj + 
            512*xd*xg*xh*xi + 512*xd*xg*xh*xj + 512*xd*xg*xi^2 - 
            64*xd*xg*xi + 1024*xd*xg*xj^2 + 640*xd*xh^2*xi + 640*xd*xh^2*xj + 
            1280*xd*xh*xi^2 + 512*xd*xh*xi*xj - 96*xd*xh*xi + 
            768*xd*xh*xj^2 - 32*xd*xh*xj + 512*xd*xi^3 + 512*xd*xi^2*xj - 
            96*xd*xi^2 + 512*xd*xi*xj^2 - 32*xd*xi*xj + 4*xd*xi + 
            512*xd*xj^3 - 64*xd*xj^2 - 256*xe^2*xf*xg - 256*xe^2*xf*xh - 
            512*xe^2*xf*xi + 1024*xe^2*xf*xj - 512*xe^2*xg^2 - 
            1024*xe^2*xg*xh - 384*xe^2*xg*xi + 896*xe^2*xg*xj + 64*xe^2*xg - 
            512*xe^2*xh^2 - 384*xe^2*xh*xi + 896*xe^2*xh*xj + 64*xe^2*xh + 
            1024*xe^2*xi*xj + 1024*xe^2*xj^2 - 128*xe^2*xj - 512*xe*xf^2*xg - 
            1024*xe*xf^2*xh - 1408*xe*xf^2*xi + 1664*xe*xf^2*xj - 
            512*xe*xf*xg^2 - 3072*xe*xf*xg*xh - 1536*xe*xf*xg*xi + 
            3072*xe*xf*xg*xj + 64*xe*xf*xg - 2560*xe*xf*xh^2 - 
            3328*xe*xf*xh*xi + 3328*xe*xf*xh*xj + 320*xe*xf*xh - 
            1280*xe*xf*xi^2 + 2816*xe*xf*xi*xj + 96*xe*xf*xi + 
            2048*xe*xf*xj^2 - 448*xe*xf*xj - 1536*xe*xg^2*xh - 
            640*xe*xg^2*xi + 384*xe*xg^2*xj + 64*xe*xg^2 - 3072*xe*xg*xh^2 - 
            3584*xe*xg*xh*xi + 2560*xe*xg*xh*xj + 384*xe*xg*xh - 
            1024*xe*xg*xi^2 + 2048*xe*xg*xi*xj + 96*xe*xg*xi + 
            1536*xe*xg*xj^2 - 320*xe*xg*xj - 4*xe*xg - 1536*xe*xh^3 - 
            2944*xe*xh^2*xi + 2176*xe*xh^2*xj + 320*xe*xh^2 - 
            768*xe*xh*xi^2 + 3584*xe*xh*xi*xj + 320*xe*xh*xi + 
            2816*xe*xh*xj^2 - 352*xe*xh*xj - 20*xe*xh + 2048*xe*xi^2*xj + 
            2048*xe*xi*xj^2 - 448*xe*xi*xj - 192*xe*xj^2 + 24*xe*xj - 
            512*xf^3*xg - 512*xf^3*xh - 768*xf^3*xi + 256*xf^3*xj - 
            1024*xf^2*xg*xh - 1024*xf^2*xg*xi - 1024*xf^2*xg*xj - 
            3072*xf^2*xh^2 - 3584*xf^2*xh*xi + 1536*xf^2*xh*xj + 
            288*xf^2*xh - 1536*xf^2*xi^2 + 112*xf^2*xi + 512*xf^2*xj^2 - 
            176*xf^2*xj + 256*xf*xg^3 + 256*xf*xg^2*xh - 1536*xf*xg^2*xj - 
            3328*xf*xg*xh^2 - 3840*xf*xg*xh*xi + 3840*xf*xg*xh*xj + 
            288*xf*xg*xh - 1280*xf*xg*xi^2 + 768*xf*xg*xi*xj + 64*xf*xg*xi - 
            1536*xf*xg*xj^2 - 192*xf*xg*xj - 3328*xf*xh^3 - 6912*xf*xh^2*xi + 
            2304*xf*xh^2*xj + 544*xf*xh^2 - 3584*xf*xh*xi^2 + 
            2816*xf*xh*xi*xj + 672*xf*xh*xi + 2816*xf*xh*xj^2 - 
            480*xf*xh*xj - 28*xf*xh - 768*xf*xi^3 + 1536*xf*xi^2*xj + 
            128*xf*xi^2 + 768*xf*xi*xj^2 - 448*xf*xi*xj - 4*xf*xi - 
            1536*xf*xj^3 - 64*xf*xj^2 + 28*xf*xj + 128*xg^3*xi - 
            128*xg^3*xj - 1024*xg^2*xh^2 - 640*xg^2*xh*xi + 640*xg^2*xh*xj + 
            128*xg^2*xh - 768*xg^2*xi*xj - 16*xg^2*xi + 768*xg^2*xj^2 - 
            112*xg^2*xj - 2048*xg*xh^3 - 4736*xg*xh^2*xi + 2688*xg*xh^2*xj + 
            384*xg*xh^2 - 2816*xg*xh*xi^2 + 2560*xg*xh*xi*xj + 544*xg*xh*xi + 
            2304*xg*xh*xj^2 - 416*xg*xh*xj - 24*xg*xh - 640*xg*xi^3 + 
            1152*xg*xi^2*xj + 32*xg*xi^2 + 640*xg*xi*xj^2 - 416*xg*xi*xj - 
            1152*xg*xj^3 + 24*xg*xj - 1024*xh^4 - 3968*xh^3*xi + 
            1920*xh^3*xj + 256*xh^3 - 2816*xh^2*xi^2 + 3328*xh^2*xi*xj + 
            560*xh^2*xi + 1536*xh^2*xj^2 - 304*xh^2*xj - 24*xh^2 - 
            384*xh*xi^3 + 2432*xh*xi^2*xj + 288*xh*xi^2 + 2432*xh*xi*xj^2 - 
            416*xh*xi*xj - 32*xh*xi - 384*xh*xj^3 - 256*xh*xj^2 + 24*xh*xj + 
            xh + 1024*xi^3*xj + 1024*xi^2*xj^2 - 320*xi^2*xj - 1024*xi*xj^3 - 
            128*xi*xj^2 + 32*xi*xj - 1024*xj^4 + 192*xj^3 - xj, 

          384*xb^2*xc*xi + 384*xb^2*xc*xj + 128*xb^2*xd*xi + 128*xb^2*xd*xj + 
            128*xb^2*xe*xi + 128*xb^2*xe*xj + 384*xb^2*xf*xi + 
            384*xb^2*xf*xj + 1920*xb^2*xi^2 + 4352*xb^2*xi*xj - 16*xb^2*xi + 
            2432*xb^2*xj^2 - 16*xb^2*xj - 768*xb*xc^2*xh + 768*xb*xc^2*xj - 
            1024*xb*xc*xf*xh - 768*xb*xc*xf*xi + 256*xb*xc*xf*xj - 
            3840*xb*xc*xh*xi - 4864*xb*xc*xh*xj + 32*xb*xc*xh + 
            3840*xb*xc*xi*xj - 128*xb*xc*xi + 4864*xb*xc*xj^2 - 
            256*xb*xc*xj + 512*xb*xd*xe*xg + 512*xb*xd*xe*xh + 
            1024*xb*xd*xg^2 + 1024*xb*xd*xg*xh - 1024*xb*xd*xg*xi - 
            1024*xb*xd*xg*xj - 64*xb*xd*xg - 768*xb*xd*xh*xi - 
            768*xb*xd*xh*xj - 64*xb*xd*xh + 512*xb*xd*xi^2 + 
            1536*xb*xd*xi*xj - 32*xb*xd*xi + 1024*xb*xd*xj^2 - 64*xb*xd*xj + 
            512*xb*xe^2*xg + 512*xb*xe^2*xh - 1024*xb*xe*xf*xi - 
            1024*xb*xe*xf*xj + 1024*xb*xe*xg^2 + 1024*xb*xe*xg*xh - 
            1024*xb*xe*xg*xi - 1024*xb*xe*xg*xj - 64*xb*xe*xg - 
            768*xb*xe*xh*xi - 768*xb*xe*xh*xj - 64*xb*xe*xh + 
            512*xb*xe*xi^2 + 1536*xb*xe*xi*xj - 32*xb*xe*xi + 
            1024*xb*xe*xj^2 - 64*xb*xe*xj - 256*xb*xf^2*xh - 256*xb*xf^2*xi - 
            1280*xb*xf*xh*xi - 2304*xb*xf*xh*xj - 32*xb*xf*xh + 
            1280*xb*xf*xi^2 + 6400*xb*xf*xi*xj + 128*xb*xf*xi + 
            6144*xb*xf*xj^2 + 64*xb*xf*xj + 1024*xb*xg^3 + 1536*xb*xg^2*xh - 
            512*xb*xg^2*xi - 1536*xb*xg^2*xj - 128*xb*xg^2 - 
            1024*xb*xg*xh*xi - 3072*xb*xg*xh*xj - 128*xb*xg*xh - 
            1024*xb*xg*xi^2 + 1024*xb*xg*xi*xj + 96*xb*xg*xi + 
            3072*xb*xg*xj^2 + 192*xb*xg*xj + 4*xb*xg - 512*xb*xh^3 - 
            512*xb*xh^2*xi - 1536*xb*xh^2*xj + 512*xb*xh*xi^2 + 
            4096*xb*xh*xi*xj - 32*xb*xh*xi + 4608*xb*xh*xj^2 + 64*xb*xh*xj + 
            4*xb*xh + 512*xb*xi^3 + 5632*xb*xi^2*xj - 96*xb*xi^2 + 
            10752*xb*xi*xj^2 - 736*xb*xi*xj + 4*xb*xi + 5632*xb*xj^3 - 
            768*xb*xj^2 + 8*xb*xj - 768*xc^3*xh - 384*xc^3*xi + 384*xc^3*xj + 
            1024*xc^2*xd*xg - 768*xc^2*xd*xh - 128*xc^2*xd*xi + 
            128*xc^2*xd*xj - 1024*xc^2*xe*xh - 1152*xc^2*xe*xi - 
            128*xc^2*xe*xj + 1024*xc^2*xf*xg - 2816*xc^2*xf*xh - 
            2176*xc^2*xf*xi + 128*xc^2*xf*xj + 1024*xc^2*xg^2 - 
            768*xc^2*xg*xh + 1280*xc^2*xg*xj - 128*xc^2*xg - 1792*xc^2*xh^2 - 
            6656*xc^2*xh*xi - 6400*xc^2*xh*xj + 256*xc^2*xh - 
            2944*xc^2*xi^2 - 1280*xc^2*xi*xj + 16*xc^2*xi + 2688*xc^2*xj^2 - 
            272*xc^2*xj + 1024*xc*xd*xe*xh - 512*xc*xd*xe*xj + 
            2048*xc*xd*xf*xg - 1536*xc*xd*xf*xh - 256*xc*xd*xf*xi + 
            256*xc*xd*xf*xj + 2560*xc*xd*xg*xh + 512*xc*xd*xg*xi + 
            1024*xc*xd*xg*xj - 64*xc*xd*xg + 512*xc*xd*xh^2 - 
            5120*xc*xd*xh*xi - 5632*xc*xd*xh*xj - 96*xc*xd*xh + 
            512*xc*xd*xi^2 - 1536*xc*xd*xi*xj - 32*xc*xd*xi - 
            2560*xc*xd*xj^2 - 64*xc*xd*xj + 1024*xc*xe^2*xh - 
            384*xc*xe^2*xi - 896*xc*xe^2*xj - 512*xc*xe*xf*xg - 
            1024*xc*xe*xf*xh - 3584*xc*xe*xf*xi - 3072*xc*xe*xf*xj + 
            512*xc*xe*xg^2 + 1536*xc*xe*xg*xh - 1024*xc*xe*xg*xi - 
            1024*xc*xe*xg*xj - 1024*xc*xe*xh^2 - 4864*xc*xe*xh*xi - 
            4864*xc*xe*xh*xj - 64*xc*xe*xh - 1536*xc*xe*xi^2 - 
            2304*xc*xe*xi*xj + 32*xc*xe*xi - 256*xc*xe*xj^2 - 128*xc*xe*xj + 
            2560*xc*xf^2*xg - 3840*xc*xf^2*xh - 2688*xc*xf^2*xi - 
            384*xc*xf^2*xj + 1024*xc*xf*xg^2 + 1024*xc*xf*xg*xh + 
            2304*xc*xf*xg*xi + 5376*xc*xf*xg*xj - 256*xc*xf*xg - 
            4096*xc*xf*xh^2 - 15104*xc*xf*xh*xi - 14080*xc*xf*xh*xj + 
            384*xc*xf*xh - 2560*xc*xf*xi^2 - 1536*xc*xf*xi*xj + 
            416*xc*xf*xi + 2048*xc*xf*xj^2 - 96*xc*xf*xj + 3072*xc*xg^2*xh + 
            1024*xc*xg^2*xi - 512*xc*xg^2*xj + 1024*xc*xg*xh^2 - 
            4096*xc*xg*xh*xi - 5120*xc*xg*xh*xj - 352*xc*xg*xh - 
            512*xc*xg*xi^2 + 768*xc*xg*xi*xj - 224*xc*xg*xi + 
            1792*xc*xg*xj^2 - 512*xc*xg*xj + 4*xc*xg - 2048*xc*xh^3 - 
            10240*xc*xh^2*xi - 9728*xc*xh^2*xj + 160*xc*xh^2 - 
            8960*xc*xh*xi^2 - 15616*xc*xh*xi*xj + 1056*xc*xh*xi - 
            6144*xc*xh*xj^2 + 896*xc*xh*xj - 1152*xc*xi^3 - 896*xc*xi^2*xj + 
            96*xc*xi^2 + 2176*xc*xi*xj^2 - 320*xc*xi*xj + 4*xc*xi + 
            1920*xc*xj^3 - 544*xc*xj^2 + 36*xc*xj - 128*xd^3*xi - 
            128*xd^3*xj - 128*xd^2*xe*xi - 128*xd^2*xe*xj + 256*xd^2*xf*xg + 
            256*xd^2*xf*xh + 128*xd^2*xg*xi - 128*xd^2*xg*xj + 
            384*xd^2*xh*xi + 128*xd^2*xh*xj - 1408*xd^2*xi^2 - 
            3328*xd^2*xi*xj - 16*xd^2*xi - 1920*xd^2*xj^2 + 16*xd^2*xj + 
            512*xd*xe^2*xg + 512*xd*xe^2*xh + 1024*xd*xe*xf*xh - 
            512*xd*xe*xf*xj + 1024*xd*xe*xg^2 + 2048*xd*xe*xg*xh - 
            1024*xd*xe*xg*xi - 1536*xd*xe*xg*xj - 64*xd*xe*xg + 
            1024*xd*xe*xh^2 + 256*xd*xe*xh*xi - 256*xd*xe*xh*xj - 
            192*xd*xe*xh + 512*xd*xe*xi^2 + 1024*xd*xe*xi*xj - 32*xd*xe*xi + 
            512*xd*xe*xj^2 + 1024*xd*xf^2*xg - 768*xd*xf^2*xh - 
            128*xd*xf^2*xi + 128*xd*xf^2*xj + 2048*xd*xf*xg*xh + 
            3328*xd*xf*xg*xi + 4864*xd*xf*xg*xj - 64*xd*xf*xg - 
            2304*xd*xf*xh*xi - 1792*xd*xf*xh*xj - 96*xd*xf*xh + 
            256*xd*xf*xi^2 - 1536*xd*xf*xi*xj - 2304*xd*xf*xj^2 - 
            96*xd*xf*xj + 2048*xd*xg^2*xh + 128*xd*xg^2*xi + 128*xd*xg^2*xj + 
            2048*xd*xg*xh^2 + 512*xd*xg*xh*xi + 512*xd*xg*xh*xj - 
            384*xd*xg*xh - 512*xd*xg*xi^2 - 3328*xd*xg*xi*xj - 
            3840*xd*xg*xj^2 - 64*xd*xg*xj - 1664*xd*xh^2*xi - 
            1664*xd*xh^2*xj - 128*xd*xh^2 - 512*xd*xh*xi^2 - 
            2304*xd*xh*xi*xj + 32*xd*xh*xi - 2816*xd*xh*xj^2 - 32*xd*xh*xj + 
            16*xd*xh + 512*xd*xi^3 - 1024*xd*xi^2*xj - 96*xd*xi^2 - 
            4096*xd*xi*xj^2 + 96*xd*xi*xj + 4*xd*xi - 2560*xd*xj^3 + 
            256*xd*xj^2 + 8*xd*xj + 512*xe^3*xg + 512*xe^3*xh - 
            256*xe^2*xf*xg + 768*xe^2*xf*xh - 1408*xe^2*xf*xi - 
            1920*xe^2*xf*xj + 1024*xe^2*xg^2 + 2048*xe^2*xg*xh - 
            1152*xe^2*xg*xi - 1408*xe^2*xg*xj - 64*xe^2*xg + 1024*xe^2*xh^2 - 
            128*xe^2*xh*xi - 384*xe^2*xh*xj - 192*xe^2*xh - 512*xe*xf^2*xg - 
            1920*xe*xf^2*xi - 2432*xe*xf^2*xj + 1024*xe*xf*xg^2 + 
            2048*xe*xf*xg*xh - 4352*xe*xf*xg*xi - 5376*xe*xf*xg*xj - 
            64*xe*xf*xg - 1024*xe*xf*xh^2 - 6656*xe*xf*xh*xi - 
            7680*xe*xf*xh*xj - 64*xe*xf*xh - 1024*xe*xf*xi^2 - 
            1792*xe*xf*xi*xj + 384*xe*xf*xi - 256*xe*xf*xj^2 + 352*xe*xf*xj + 
            1024*xe*xg^3 + 3584*xe*xg^2*xh + 128*xe*xg^2*xi - 
            896*xe*xg^2*xj - 128*xe*xg^2 + 2048*xe*xg*xh^2 - 
            1536*xe*xg*xh*xi - 3584*xe*xg*xh*xj - 512*xe*xg*xh - 
            2048*xe*xg*xi^2 - 3840*xe*xg*xi*xj + 96*xe*xg*xi - 
            1792*xe*xg*xj^2 + 128*xe*xg*xj + 4*xe*xg - 512*xe*xh^3 - 
            3712*xe*xh^2*xi - 4736*xe*xh^2*xj - 128*xe*xh^2 - 
            2560*xe*xh*xi^2 - 3840*xe*xh*xi*xj + 256*xe*xh*xi - 
            1280*xe*xh*xj^2 + 288*xe*xh*xj + 20*xe*xh + 1024*xe*xi^2*xj + 
            2560*xe*xi*xj^2 - 192*xe*xi*xj + 1536*xe*xj^3 - 256*xe*xj^2 + 
            8*xe*xj + 1536*xf^3*xg - 1792*xf^3*xh - 896*xf^3*xi - 
            128*xf^3*xj + 1792*xf^2*xg*xh + 2816*xf^2*xg*xi + 
            4608*xf^2*xg*xj - 128*xf^2*xg - 2304*xf^2*xh^2 - 
            7936*xf^2*xh*xi - 7168*xf^2*xh*xj + 128*xf^2*xh + 896*xf^2*xi^2 + 
            768*xf^2*xi*xj + 336*xf^2*xi - 128*xf^2*xj^2 + 112*xf^2*xj - 
            256*xf*xg^3 + 2816*xf*xg^2*xh + 2816*xf*xg^2*xi + 
            2304*xf*xg^2*xj - 64*xf*xg^2 + 1280*xf*xg*xh^2 - 
            1536*xf*xg*xh*xi - 2560*xf*xg*xh*xj - 416*xf*xg*xh + 
            1024*xf*xg*xi^2 + 3840*xf*xg*xi*xj - 32*xf*xg*xi + 
            3328*xf*xg*xj^2 - 256*xf*xg*xj + 8*xf*xg - 1792*xf*xh^3 - 
            9472*xf*xh^2*xi - 9984*xf*xh^2*xj + 160*xf*xh^2 - 
            5888*xf*xh*xi^2 - 8448*xf*xh*xi*xj + 992*xf*xh*xi - 
            2048*xf*xh*xj^2 + 896*xf*xh*xj + 4*xf*xh + 384*xf*xi^3 + 
            2688*xf*xi^2*xj + 192*xf*xi^2 + 5760*xf*xi*xj^2 - 64*xf*xi*xj - 
            28*xf*xi + 3456*xf*xj^3 - 384*xf*xj^2 - 4*xf*xj + 2048*xg^3*xh - 
            128*xg^3*xi + 128*xg^3*xj + 3072*xg^2*xh^2 + 1664*xg^2*xh*xi + 
            384*xg^2*xh*xj - 512*xg^2*xh + 1408*xg^2*xi^2 - 1024*xg^2*xi*xj - 
            48*xg^2*xi - 3456*xg^2*xj^2 + 48*xg^2*xj - 1408*xg*xh^2*xi - 
            4736*xg*xh^2*xj - 384*xg*xh^2 - 2560*xg*xh*xi^2 - 
            4608*xg*xh*xi*xj - 32*xg*xh*xi - 2048*xg*xh*xj^2 + 160*xg*xh*xj + 
            40*xg*xh - 384*xg*xi^3 - 896*xg*xi^2*xj + 96*xg*xi^2 - 
            128*xg*xi*xj^2 + 384*xg*xj^3 - 160*xg*xj^2 + 8*xg*xj - 
            1024*xh^4 - 3200*xh^3*xi - 4992*xh^3*xj + 128*xh^3 - 
            6016*xh^2*xi^2 - 7680*xh^2*xi*xj + 528*xh^2*xi - 640*xh^2*xj^2 + 
            624*xh^2*xj + 8*xh^2 - 1920*xh*xi^3 - 1920*xh*xi^2*xj + 
            384*xh*xi^2 + 2432*xh*xi*xj^2 + 320*xh*xi*xj - 16*xh*xi + 
            2432*xh*xj^3 - 128*xh*xj^2 - 8*xh*xj - xh + 1024*xi^3*xj + 
            3584*xi^2*xj^2 - 320*xi^2*xj + 4096*xi*xj^3 - 768*xi*xj^2 + 
            32*xi*xj + 1536*xj^4 - 448*xj^3 + 40*xj^2 - 
            xj, 
\(-512\)*xb^2*xe*xi - 512*xb^2*xe*xj - 512*xb^2*xf*xi - 
            512*xb^2*xf*xj - 1024*xb^2*xh*xi - 1024*xb^2*xh*xj - 
            512*xb^2*xi^2 + 512*xb^2*xi*xj + 64*xb^2*xi + 1024*xb^2*xj^2 + 
            64*xb^2*xj + 1024*xb*xc*xe*xh - 1024*xb*xc*xe*xj + 
            1024*xb*xc*xf*xh - 1024*xb*xc*xf*xj + 2048*xb*xc*xh^2 + 
            1024*xb*xc*xh*xi - 4096*xb*xc*xh*xj - 128*xb*xc*xh - 
            1024*xb*xc*xi*xj + 64*xb*xc*xi + 2048*xb*xc*xj^2 + 192*xb*xc*xj - 
            512*xb*xd*xe*xi - 512*xb*xd*xe*xj - 512*xb*xd*xf*xi - 
            512*xb*xd*xf*xj - 1024*xb*xd*xh*xi - 1024*xb*xd*xh*xj - 
            512*xb*xd*xi^2 + 64*xb*xd*xi + 512*xb*xd*xj^2 + 64*xb*xd*xj - 
            512*xb*xe^2*xi - 512*xb*xe^2*xj + 1024*xb*xe*xf*xh - 
            512*xb*xe*xf*xi - 1536*xb*xe*xf*xj + 512*xb*xe*xg^2 + 
            1024*xb*xe*xg*xh - 1024*xb*xe*xg*xj - 64*xb*xe*xg + 
            512*xb*xe*xh^2 - 1024*xb*xe*xh*xi - 2048*xb*xe*xh*xj - 
            64*xb*xe*xh - 1024*xb*xe*xi^2 - 2048*xb*xe*xi*xj + 128*xb*xe*xi - 
            1024*xb*xe*xj^2 + 256*xb*xe*xj + 1024*xb*xf^2*xh - 
            1024*xb*xf^2*xj + 2048*xb*xf*xh^2 + 1024*xb*xf*xh*xi - 
            4096*xb*xf*xh*xj - 128*xb*xf*xh - 2048*xb*xf*xi*xj + 
            64*xb*xf*xi + 1024*xb*xf*xj^2 + 320*xb*xf*xj + 512*xb*xg^2*xh + 
            512*xb*xg^2*xi - 512*xb*xg^2*xj - 64*xb*xg^2 + 1024*xb*xg*xh^2 + 
            1024*xb*xg*xh*xi - 3072*xb*xg*xh*xj - 128*xb*xg*xh - 
            1024*xb*xg*xi*xj + 2048*xb*xg*xj^2 + 256*xb*xg*xj + 4*xb*xg + 
            512*xb*xh^3 + 512*xb*xh^2*xi - 2560*xb*xh^2*xj - 64*xb*xh^2 - 
            512*xb*xh*xi^2 - 4096*xb*xh*xi*xj - 512*xb*xh*xj^2 + 
            512*xb*xh*xj + 4*xb*xh - 512*xb*xi^3 - 1536*xb*xi^2*xj + 
            128*xb*xi^2 + 1536*xb*xi*xj^2 + 384*xb*xi*xj - 8*xb*xi + 
            2560*xb*xj^3 - 128*xb*xj^2 - 24*xb*xj + 512*xc^2*xd*xe + 
            512*xc^2*xd*xf + 512*xc^2*xd*xh + 512*xc^2*xd*xi - 64*xc^2*xd + 
            512*xc^2*xe^2 + 1536*xc^2*xe*xf + 512*xc^2*xe*xg + 
            2048*xc^2*xe*xh + 1536*xc^2*xe*xi - 64*xc^2*xe + 1024*xc^2*xf^2 + 
            512*xc^2*xf*xg + 2560*xc^2*xf*xh + 2048*xc^2*xf*xi - 
            128*xc^2*xf + 512*xc^2*xg*xh + 512*xc^2*xg*xi + 64*xc^2*xg + 
            2560*xc^2*xh^2 + 3072*xc^2*xh*xi - 2560*xc^2*xh*xj - 
            192*xc^2*xh + 1024*xc^2*xi^2 - 1024*xc^2*xi*xj - 64*xc^2*xi + 
            1024*xc^2*xj^2 + 192*xc^2*xj + 1024*xc*xd*xe*xf + 
            1024*xc*xd*xe*xh - 64*xc*xd*xe + 1024*xc*xd*xf^2 + 
            2048*xc*xd*xf*xh + 1024*xc*xd*xf*xi - 128*xc*xd*xf + 
            1024*xc*xd*xg*xj + 2048*xc*xd*xh^2 + 512*xc*xd*xh*xi - 
            1536*xc*xd*xh*xj - 128*xc*xd*xh + 512*xc*xd*xi*xj - 
            512*xc*xd*xj^2 + 64*xc*xd*xj + 4*xc*xd + 1024*xc*xe^2*xf + 
            1024*xc*xe^2*xg + 1024*xc*xe^2*xh + 1024*xc*xe^2*xi - 
            64*xc*xe^2 + 3072*xc*xe*xf^2 + 3072*xc*xe*xf*xg + 
            6144*xc*xe*xf*xh + 5120*xc*xe*xf*xi + 1024*xc*xe*xf*xj - 
            384*xc*xe*xf + 512*xc*xe*xg^2 + 4096*xc*xe*xg*xh + 
            2560*xc*xe*xg*xi - 512*xc*xe*xg*xj - 64*xc*xe*xg + 
            3584*xc*xe*xh^2 + 5120*xc*xe*xh*xi - 448*xc*xe*xh + 
            2048*xc*xe*xi^2 - 512*xc*xe*xi*xj - 192*xc*xe*xi - 
            512*xc*xe*xj^2 + 256*xc*xe*xj + 4*xc*xe + 2048*xc*xf^3 + 
            2048*xc*xf^2*xg + 6144*xc*xf^2*xh + 5120*xc*xf^2*xi + 
            1024*xc*xf^2*xj - 384*xc*xf^2 + 4096*xc*xf*xg*xh + 
            3584*xc*xf*xg*xi + 1536*xc*xf*xg*xj - 192*xc*xf*xg + 
            8192*xc*xf*xh^2 + 10752*xc*xf*xh*xi - 1536*xc*xf*xh*xj - 
            960*xc*xf*xh + 4608*xc*xf*xi^2 + 1024*xc*xf*xi*xj - 
            640*xc*xf*xi + 512*xc*xf*xj^2 + 128*xc*xf*xj + 24*xc*xf + 
            512*xc*xg^2*xh + 512*xc*xg^2*xi + 512*xc*xg^2*xj + 64*xc*xg^2 + 
            4096*xc*xg*xh^2 + 4608*xc*xg*xh*xi - 3584*xc*xg*xh*xj - 
            320*xc*xg*xh + 1536*xc*xg*xi^2 - 512*xc*xg*xi*xj + 
            2048*xc*xg*xj^2 + 384*xc*xg*xj - 8*xc*xg + 3584*xc*xh^3 + 
            7168*xc*xh^2*xi - 1024*xc*xh^2*xj - 640*xc*xh^2 + 
            4608*xc*xh*xi^2 - 2560*xc*xh*xi*xj - 768*xc*xh*xi - 
            3072*xc*xh*xj^2 + 512*xc*xh*xj + 32*xc*xh + 1024*xc*xi^3 - 
            512*xc*xi^2*xj - 128*xc*xi^2 + 448*xc*xi*xj + 4*xc*xi + 
            1536*xc*xj^3 + 64*xc*xj^2 - 36*xc*xj + 256*xd^2*xg*xi + 
            256*xd^2*xg*xj + 256*xd^2*xh*xi + 256*xd^2*xh*xj - 
            512*xd^2*xi*xj - 512*xd^2*xj^2 - 512*xd*xe^2*xi - 
            512*xd*xe^2*xj + 512*xd*xe*xf^2 + 1024*xd*xe*xf*xh - 
            512*xd*xe*xf*xi - 512*xd*xe*xf*xj - 64*xd*xe*xf - 
            1024*xd*xe*xh*xi - 1024*xd*xe*xh*xj - 1024*xd*xe*xi^2 - 
            1024*xd*xe*xi*xj + 128*xd*xe*xi + 128*xd*xe*xj + 512*xd*xf^3 + 
            1536*xd*xf^2*xh + 512*xd*xf^2*xi - 64*xd*xf^2 - 512*xd*xf*xg^2 - 
            1024*xd*xf*xg*xh + 2048*xd*xf*xg*xj + 1536*xd*xf*xh^2 + 
            512*xd*xf*xh*xi - 512*xd*xf*xh*xj - 128*xd*xf*xh - 
            512*xd*xf*xi^2 - 512*xd*xf*xi*xj - 1024*xd*xf*xj^2 + 
            64*xd*xf*xj + 4*xd*xf + 512*xd*xg^2*xj - 512*xd*xg*xh*xi + 
            512*xd*xg*xh*xj + 1024*xd*xg*xi*xj + 64*xd*xg*xi - 
            512*xd*xh^2*xi - 1024*xd*xh*xi^2 - 1024*xd*xh*xi*xj + 
            128*xd*xh*xi - 1024*xd*xh*xj^2 + 64*xd*xh*xj - 512*xd*xi^3 - 
            512*xd*xi^2*xj + 128*xd*xi^2 - 512*xd*xi*xj^2 + 128*xd*xi*xj - 
            8*xd*xi - 512*xd*xj^3 + 128*xd*xj^2 - 8*xd*xj + 512*xe^2*xf^2 + 
            1024*xe^2*xf*xg + 1024*xe^2*xf*xh + 1024*xe^2*xf*xi - 
            64*xe^2*xf + 512*xe^2*xg^2 + 1024*xe^2*xg*xh + 768*xe^2*xg*xi - 
            256*xe^2*xg*xj - 64*xe^2*xg + 512*xe^2*xh^2 + 768*xe^2*xh*xi - 
            256*xe^2*xh*xj - 64*xe^2*xh - 1024*xe^2*xi*xj - 1024*xe^2*xj^2 + 
            128*xe^2*xj + 1536*xe*xf^3 + 2560*xe*xf^2*xg + 4096*xe*xf^2*xh + 
            3584*xe*xf^2*xi + 1024*xe*xf^2*xj - 320*xe*xf^2 + 
            1024*xe*xf*xg^2 + 5120*xe*xf*xg*xh + 4608*xe*xf*xg*xi + 
            512*xe*xf*xg*xj - 320*xe*xf*xg + 4096*xe*xf*xh^2 + 
            7168*xe*xf*xh*xi + 1024*xe*xf*xh*xj - 704*xe*xf*xh + 
            2560*xe*xf*xi^2 - 512*xe*xf*xi*xj - 448*xe*xf*xi - 
            1024*xe*xf*xj^2 + 128*xe*xf*xj + 20*xe*xf + 1536*xe*xg^2*xh + 
            1024*xe*xg^2*xi + 512*xe*xg^2*xj - 64*xe*xg^2 + 3072*xe*xg*xh^2 + 
            4608*xe*xg*xh*xi - 512*xe*xg*xh*xj - 384*xe*xg*xh + 
            2048*xe*xg*xi^2 - 192*xe*xg*xi + 256*xe*xg*xj + 4*xe*xg + 
            1536*xe*xh^3 + 3584*xe*xh^2*xi - 1024*xe*xh^2*xj - 320*xe*xh^2 + 
            1536*xe*xh*xi^2 - 3072*xe*xh*xi*xj - 384*xe*xh*xi - 
            2560*xe*xh*xj^2 + 320*xe*xh*xj + 20*xe*xh - 2048*xe*xi^2*xj - 
            2048*xe*xi*xj^2 + 512*xe*xi*xj + 256*xe*xj^2 - 32*xe*xj + 
            1024*xf^4 + 1536*xf^3*xg + 3584*xf^3*xh + 3072*xf^3*xi + 
            1024*xf^3*xj - 256*xf^3 + 3584*xf^2*xg*xh + 4096*xf^2*xg*xi + 
            2560*xf^2*xg*xj - 256*xf^2*xg + 5632*xf^2*xh^2 + 
            8704*xf^2*xh*xi + 2048*xf^2*xh*xj - 768*xf^2*xh + 
            3584*xf^2*xi^2 + 2048*xf^2*xi*xj - 576*xf^2*xi - 512*xf^2*xj^2 - 
            64*xf^2*xj + 24*xf^2 - 512*xf*xg^3 + 512*xf*xg^2*xi + 
            1536*xf*xg^2*xj + 4608*xf*xg*xh^2 + 7680*xf*xg*xh*xi - 
            512*xf*xg*xh*xj - 576*xf*xg*xh + 4096*xf*xg*xi^2 + 
            2560*xf*xg*xi*xj - 512*xf*xg*xi + 2560*xf*xg*xj^2 + 16*xf*xg + 
            4096*xf*xh^3 + 10240*xf*xh^2*xi + 1024*xf*xh^2*xj - 832*xf*xh^2 + 
            7168*xf*xh*xi^2 + 512*xf*xh*xi*xj - 1280*xf*xh*xi - 
            2560*xf*xh*xj^2 + 128*xf*xh*xj + 56*xf*xh + 1536*xf*xi^3 - 
            448*xf*xi^2 - 512*xf*xi*xj^2 + 192*xf*xi*xj + 36*xf*xi + 
            1024*xf*xj^3 + 128*xf*xj^2 - 20*xf*xj - xf - 256*xg^3*xi + 
            256*xg^3*xj + 1024*xg^2*xh^2 + 768*xg^2*xh*xi + 256*xg^2*xh*xj - 
            128*xg^2*xh + 512*xg^2*xi^2 + 1536*xg^2*xi*xj + 128*xg^2*xj + 
            2048*xg*xh^3 + 5376*xg*xh^2*xi - 1280*xg*xh^2*xj - 384*xg*xh^2 + 
            4096*xg*xh*xi^2 - 1024*xg*xh*xi*xj - 640*xg*xh*xi - 
            1024*xg*xh*xj^2 + 384*xg*xh*xj + 24*xg*xh + 1280*xg*xi^3 + 
            256*xg*xi^2*xj - 128*xg*xi^2 + 768*xg*xi*xj^2 + 384*xg*xi*xj + 
            4*xg*xi + 1792*xg*xj^3 - 36*xg*xj + 1024*xh^4 + 4352*xh^3*xi - 
            1280*xh^3*xj - 256*xh^3 + 3584*xh^2*xi^2 - 2560*xh^2*xi*xj - 
            640*xh^2*xi - 1024*xh^2*xj^2 + 256*xh^2*xj + 24*xh^2 + 
            768*xh*xi^3 - 2304*xh*xi^2*xj - 384*xh*xi^2 - 2816*xh*xi*xj^2 + 
            512*xh*xi*xj + 36*xh*xi + 256*xh*xj^3 + 384*xh*xj^2 - 36*xh*xj - 
            xh - 1024*xi^3*xj - 1024*xi^2*xj^2 + 384*xi^2*xj + 1024*xi*xj^3 + 
            256*xi*xj^2 - 48*xi*xj + 1024*xj^4 - 128*xj^3 - 16*xj^2 + 
            2*xj, 
\(-256\)*xb^2*xh*xi^2 - 512*xb^2*xh*xi*xj - 
            256*xb^2*xh*xj^2 + 256*xb^2*xi^2*xj - 80*xb^2*xi^2 + 
            512*xb^2*xi*xj^2 - 160*xb^2*xi*xj + 256*xb^2*xj^3 - 
            80*xb^2*xj^2 + 512*xb*xc*xh^2*xi + 512*xb*xc*xh^2*xj - 
            1024*xb*xc*xh*xi*xj + 160*xb*xc*xh*xi - 1024*xb*xc*xh*xj^2 + 
            160*xb*xc*xh*xj + 512*xb*xc*xi*xj^2 - 160*xb*xc*xi*xj + 
            512*xb*xc*xj^3 - 160*xb*xc*xj^2 - 256*xb*xd^2*xe*xi - 
            256*xb*xd^2*xe*xj - 256*xb*xd^2*xf*xi - 256*xb*xd^2*xf*xj - 
            256*xb*xd^2*xh*xi - 256*xb*xd^2*xh*xj - 256*xb*xd^2*xi^2 - 
            256*xb*xd^2*xi*xj - 512*xb*xd*xe^2*xi - 512*xb*xd*xe^2*xj - 
            512*xb*xd*xe*xf*xi - 512*xb*xd*xe*xf*xj - 512*xb*xd*xe*xh*xi - 
            512*xb*xd*xe*xh*xj - 512*xb*xd*xe*xi^2 - 512*xb*xd*xe*xi*xj - 
            32*xb*xd*xe*xi - 32*xb*xd*xe*xj - 32*xb*xd*xf*xi - 
            32*xb*xd*xf*xj - 256*xb*xd*xh*xi^2 - 512*xb*xd*xh*xi*xj + 
            32*xb*xd*xh*xi - 256*xb*xd*xh*xj^2 + 32*xb*xd*xh*xj + 
            256*xb*xd*xi^2*xj - 64*xb*xd*xi^2 + 512*xb*xd*xi*xj^2 - 
            160*xb*xd*xi*xj + 4*xb*xd*xi + 256*xb*xd*xj^3 - 96*xb*xd*xj^2 + 
            4*xb*xd*xj - 256*xb*xe^3*xi - 256*xb*xe^3*xj - 
            256*xb*xe^2*xf*xi - 256*xb*xe^2*xf*xj - 256*xb*xe^2*xh*xi - 
            256*xb*xe^2*xh*xj - 256*xb*xe^2*xi^2 - 256*xb*xe^2*xi*xj - 
            32*xb*xe^2*xi - 32*xb*xe^2*xj + 1024*xb*xe*xf^2*xi + 
            1024*xb*xe*xf^2*xj + 32*xb*xe*xf*xi + 32*xb*xe*xf*xj + 
            256*xb*xe*xg^2*xi + 256*xb*xe*xg^2*xj + 512*xb*xe*xg*xh*xi + 
            512*xb*xe*xg*xh*xj - 32*xb*xe*xg*xi - 32*xb*xe*xg*xj + 
            256*xb*xe*xh^2*xi + 256*xb*xe*xh^2*xj - 256*xb*xe*xh*xi^2 - 
            512*xb*xe*xh*xi*xj - 256*xb*xe*xh*xj^2 - 256*xb*xe*xi^3 - 
            512*xb*xe*xi^2*xj - 32*xb*xe*xi^2 - 256*xb*xe*xi*xj^2 - 
            96*xb*xe*xi*xj + 4*xb*xe*xi - 64*xb*xe*xj^2 + 4*xb*xe*xj + 
            1024*xb*xf^3*xi + 1024*xb*xf^3*xj + 1024*xb*xf^2*xh*xi + 
            1024*xb*xf^2*xh*xj + 1024*xb*xf^2*xi^2 + 1024*xb*xf^2*xi*xj + 
            64*xb*xf^2*xi + 64*xb*xf^2*xj + 512*xb*xf*xh^2*xi + 
            512*xb*xf*xh^2*xj - 1024*xb*xf*xh*xi*xj + 96*xb*xf*xh*xi - 
            1024*xb*xf*xh*xj^2 + 96*xb*xf*xh*xj - 32*xb*xf*xi^2 + 
            512*xb*xf*xi*xj^2 - 160*xb*xf*xi*xj - 8*xb*xf*xi + 
            512*xb*xf*xj^3 - 128*xb*xf*xj^2 - 8*xb*xf*xj + 
            256*xb*xg^2*xh*xi + 256*xb*xg^2*xh*xj + 256*xb*xg^2*xi^2 - 
            256*xb*xg^2*xj^2 + 512*xb*xg*xh^2*xi + 512*xb*xg*xh^2*xj + 
            512*xb*xg*xh*xi^2 - 512*xb*xg*xh*xi*xj + 32*xb*xg*xh*xi - 
            1024*xb*xg*xh*xj^2 + 32*xb*xg*xh*xj + 512*xb*xg*xi*xj^2 - 
            96*xb*xg*xi*xj - 4*xb*xg*xi + 512*xb*xg*xj^3 - 96*xb*xg*xj^2 - 
            4*xb*xg*xj + 256*xb*xh^3*xi + 256*xb*xh^3*xj + 256*xb*xh^2*xi^2 - 
            512*xb*xh^2*xi*xj + 32*xb*xh^2*xi - 768*xb*xh^2*xj^2 + 
            32*xb*xh^2*xj - 256*xb*xh*xi^3 - 1280*xb*xh*xi^2*xj - 
            32*xb*xh*xi^2 - 1280*xb*xh*xi*xj^2 - 96*xb*xh*xi*xj - 
            4*xb*xh*xi - 256*xb*xh*xj^3 - 64*xb*xh*xj^2 - 4*xb*xh*xj - 
            256*xb*xi^4 - 512*xb*xi^3*xj + 512*xb*xi^2*xj^2 - 
            224*xb*xi^2*xj + 4*xb*xi^2 + 1536*xb*xi*xj^3 - 512*xb*xi*xj^2 + 
            28*xb*xi*xj + 768*xb*xj^4 - 288*xb*xj^3 + 24*xb*xj^2 + 
            512*xc^2*xh^2*xi + 512*xc^2*xh^2*xj + 256*xc^2*xh*xi^2 - 
            512*xc^2*xh*xi*xj + 160*xc^2*xh*xi - 768*xc^2*xh*xj^2 + 
            160*xc^2*xh*xj - 256*xc^2*xi^2*xj + 80*xc^2*xi^2 + 
            256*xc^2*xj^3 - 80*xc^2*xj^2 - 1024*xc*xd*xe^2*xj - 
            1024*xc*xd*xe*xf*xh - 1024*xc*xd*xe*xf*xj - 512*xc*xd*xe*xh*xi - 
            1536*xc*xd*xe*xh*xj - 1536*xc*xd*xe*xi*xj - 32*xc*xd*xe*xi - 
            512*xc*xd*xe*xj^2 - 32*xc*xd*xe*xj - 1024*xc*xd*xf^2*xh - 
            1024*xc*xd*xf*xh^2 - 1536*xc*xd*xf*xh*xi - 512*xc*xd*xf*xh*xj + 
            128*xc*xd*xf*xh - 512*xc*xd*xf*xi*xj + 96*xc*xd*xf*xi - 
            512*xc*xd*xf*xj^2 - 32*xc*xd*xf*xj + 512*xc*xd*xg*xi*xj + 
            512*xc*xd*xg*xj^2 - 256*xc*xd*xg*xj - 768*xc*xd*xh*xi^2 - 
            1536*xc*xd*xh*xi*xj + 320*xc*xd*xh*xi - 768*xc*xd*xh*xj^2 + 
            192*xc*xd*xh*xj - 256*xc*xd*xi^2*xj - 4*xc*xd*xi + 
            256*xc*xd*xj^3 - 128*xc*xd*xj^2 + 12*xc*xd*xj - 1024*xc*xe^3*xj + 
            1024*xc*xe^2*xf*xg + 1024*xc*xe^2*xf*xi - 2048*xc*xe^2*xf*xj + 
            512*xc*xe^2*xg*xi + 512*xc*xe^2*xg*xj - 1024*xc*xe^2*xh*xj + 
            512*xc*xe^2*xi^2 - 512*xc*xe^2*xi*xj - 32*xc*xe^2*xi - 
            32*xc*xe^2*xj + 2048*xc*xe*xf^2*xg - 1024*xc*xe*xf^2*xh + 
            2048*xc*xe*xf^2*xi + 1024*xc*xe*xf*xg*xh + 2048*xc*xe*xf*xg*xi + 
            1024*xc*xe*xf*xg*xj + 512*xc*xe*xf*xh*xi - 1536*xc*xe*xf*xh*xj - 
            128*xc*xe*xf*xh + 2048*xc*xe*xf*xi^2 - 512*xc*xe*xf*xi*xj - 
            96*xc*xe*xf*xi - 512*xc*xe*xf*xj^2 + 32*xc*xe*xf*xj + 
            512*xc*xe*xg*xh*xi + 1536*xc*xe*xg*xh*xj + 512*xc*xe*xg*xi^2 + 
            512*xc*xe*xg*xi*xj + 96*xc*xe*xg*xi - 1024*xc*xe*xg*xj^2 - 
            160*xc*xe*xg*xj + 1024*xc*xe*xh^2*xj + 256*xc*xe*xh*xi^2 + 
            512*xc*xe*xh*xi*xj + 128*xc*xe*xh*xi - 768*xc*xe*xh*xj^2 + 
            512*xc*xe*xi^3 + 256*xc*xe*xi^2*xj + 32*xc*xe*xi^2 - 
            1024*xc*xe*xi*xj^2 + 32*xc*xe*xi*xj - 4*xc*xe*xi - 
            768*xc*xe*xj^3 - 128*xc*xe*xj^2 + 12*xc*xe*xj + 1024*xc*xf^3*xg - 
            1024*xc*xf^3*xh + 1024*xc*xf^3*xi + 1024*xc*xf^3*xj + 
            1024*xc*xf^2*xg*xh + 1536*xc*xf^2*xg*xi + 512*xc*xf^2*xg*xj - 
            1024*xc*xf^2*xh^2 - 512*xc*xf^2*xh*xi + 512*xc*xf^2*xh*xj + 
            1536*xc*xf^2*xi^2 + 1024*xc*xf^2*xi*xj + 64*xc*xf^2*xi - 
            512*xc*xf^2*xj^2 + 64*xc*xf^2*xj - 256*xc*xf*xg^2*xi - 
            256*xc*xf*xg^2*xj + 256*xc*xf*xg^2 + 1024*xc*xf*xg*xh*xj - 
            128*xc*xf*xg*xh + 512*xc*xf*xg*xi^2 + 1024*xc*xf*xg*xi*xj - 
            512*xc*xf*xg*xj^2 + 128*xc*xf*xg*xj - 16*xc*xf*xg + 
            256*xc*xf*xh^2*xi + 1280*xc*xf*xh^2*xj - 128*xc*xf*xh^2 - 
            1024*xc*xf*xh*xi*xj + 256*xc*xf*xh*xi - 2048*xc*xf*xh*xj^2 + 
            128*xc*xf*xh*xj + 16*xc*xf*xh + 768*xc*xf*xi^3 + 
            256*xc*xf*xi^2*xj - 32*xc*xf*xi^2 - 768*xc*xf*xi*xj^2 - 
            8*xc*xf*xi - 256*xc*xf*xj^3 + 32*xc*xf*xj^2 - 8*xc*xf*xj + 
            256*xc*xg^2*xi*xj + 256*xc*xg^2*xj^2 + 512*xc*xg*xh^2*xi + 
            1536*xc*xg*xh^2*xj + 192*xc*xg*xh*xi - 2048*xc*xg*xh*xj^2 + 
            64*xc*xg*xh*xj + 64*xc*xg*xi^2 - 128*xc*xg*xi*xj + 4*xc*xg*xi + 
            1024*xc*xg*xj^3 - 64*xc*xg*xj^2 + 4*xc*xg*xj + 512*xc*xh^3*xi + 
            1536*xc*xh^3*xj + 512*xc*xh^2*xi^2 + 1792*xc*xh^2*xi*xj + 
            256*xc*xh^2*xi - 768*xc*xh^2*xj^2 + 128*xc*xh^2*xj - 
            512*xc*xh*xi^2*xj + 320*xc*xh*xi^2 - 3072*xc*xh*xi*xj^2 + 
            448*xc*xh*xi*xj - 32*xc*xh*xi - 1536*xc*xh*xj^3 + 
            256*xc*xh*xj^2 - 32*xc*xh*xj - 256*xc*xi^3*xj + 64*xc*xi^3 - 
            768*xc*xi^2*xj^2 + 64*xc*xi^2*xj - 4*xc*xi^2 + 256*xc*xi*xj^3 - 
            192*xc*xi*xj^2 + 8*xc*xi*xj + 768*xc*xj^4 - 192*xc*xj^3 + 
            12*xc*xj^2 - 256*xd^3*xe*xi - 256*xd^3*xe*xj - 256*xd^3*xf*xi - 
            256*xd^3*xf*xj - 256*xd^3*xh*xi - 256*xd^3*xh*xj - 
            256*xd^3*xi^2 - 256*xd^3*xi*xj - 512*xd^2*xe^2*xi - 
            512*xd^2*xe^2*xj + 512*xd^2*xe*xf*xg + 512*xd^2*xe*xf*xh - 
            512*xd^2*xe*xf*xi - 512*xd^2*xe*xf*xj + 256*xd^2*xe*xg*xi - 
            256*xd^2*xe*xg*xj - 256*xd^2*xe*xh*xi - 768*xd^2*xe*xh*xj - 
            512*xd^2*xe*xi^2 - 1024*xd^2*xe*xi*xj - 32*xd^2*xe*xi - 
            512*xd^2*xe*xj^2 + 32*xd^2*xe*xj + 512*xd^2*xf^2*xg + 
            512*xd^2*xf^2*xh + 512*xd^2*xf*xg*xh + 768*xd^2*xf*xg*xi - 
            256*xd^2*xf*xg*xj + 512*xd^2*xf*xh^2 + 768*xd^2*xf*xh*xi - 
            256*xd^2*xf*xh*xj - 512*xd^2*xf*xi*xj - 32*xd^2*xf*xi - 
            512*xd^2*xf*xj^2 + 32*xd^2*xf*xj + 256*xd^2*xg*xh*xi - 
            256*xd^2*xg*xh*xj + 384*xd^2*xg*xi^2 - 64*xd^2*xg*xi + 
            128*xd^2*xg*xj^2 - 64*xd^2*xg*xj + 256*xd^2*xh^2*xi - 
            256*xd^2*xh^2*xj + 384*xd^2*xh*xi^2 - 512*xd^2*xh*xi*xj - 
            32*xd^2*xh*xi - 384*xd^2*xh*xj^2 + 32*xd^2*xh*xj - 
            512*xd^2*xi^2*xj + 16*xd^2*xi^2 - 512*xd^2*xi*xj^2 + 
            64*xd^2*xi*xj + 4*xd^2*xi - 16*xd^2*xj^2 + 4*xd^2*xj - 
            256*xd*xe^3*xi - 256*xd*xe^3*xj - 256*xd*xe^2*xf*xi - 
            1280*xd*xe^2*xf*xj - 1024*xd*xe^2*xg*xj - 256*xd*xe^2*xh*xi - 
            1280*xd*xe^2*xh*xj - 256*xd*xe^2*xi^2 - 1280*xd*xe^2*xi*xj - 
            32*xd*xe^2*xi - 1024*xd*xe^2*xj^2 + 96*xd*xe^2*xj - 
            1024*xd*xe*xf^2*xh - 1024*xd*xe*xf^2*xj - 1024*xd*xe*xf*xg*xh - 
            1024*xd*xe*xf*xh^2 - 1536*xd*xe*xf*xh*xi - 2560*xd*xe*xf*xh*xj + 
            128*xd*xe*xf*xh - 512*xd*xe*xf*xi^2 - 2560*xd*xe*xf*xi*xj - 
            1024*xd*xe*xf*xj^2 + 256*xd*xe*xg^2*xi + 256*xd*xe*xg^2*xj - 
            1024*xd*xe*xg*xh*xj - 1024*xd*xe*xg*xi*xj - 1024*xd*xe*xg*xj^2 - 
            128*xd*xe*xg*xj - 256*xd*xe*xh^2*xi - 1280*xd*xe*xh^2*xj - 
            768*xd*xe*xh*xi^2 - 2560*xd*xe*xh*xi*xj + 96*xd*xe*xh*xi - 
            1792*xd*xe*xh*xj^2 + 96*xd*xe*xh*xj - 256*xd*xe*xi^3 - 
            1536*xd*xe*xi^2*xj - 32*xd*xe*xi^2 - 1280*xd*xe*xi*xj^2 - 
            32*xd*xe*xi*xj + 4*xd*xe*xi - 128*xd*xe*xj^2 + 12*xd*xe*xj - 
            1024*xd*xf^3*xh - 1024*xd*xf^2*xg*xh + 1024*xd*xf^2*xg*xj - 
            2048*xd*xf^2*xh^2 - 2560*xd*xf^2*xh*xi - 512*xd*xf^2*xh*xj + 
            256*xd*xf^2*xh - 512*xd*xf^2*xi^2 - 512*xd*xf^2*xi*xj + 
            160*xd*xf^2*xi - 96*xd*xf^2*xj + 128*xd*xf*xg^2 - 
            1024*xd*xf*xg*xh^2 - 1536*xd*xf*xg*xh*xi + 512*xd*xf*xg*xh*xj + 
            128*xd*xf*xg*xh + 1536*xd*xf*xg*xi*xj + 32*xd*xf*xg*xi - 
            512*xd*xf*xg*xj^2 - 224*xd*xf*xg*xj - 8*xd*xf*xg - 
            1024*xd*xf*xh^3 - 2560*xd*xf*xh^2*xi - 512*xd*xf*xh^2*xj + 
            128*xd*xf*xh^2 - 2816*xd*xf*xh*xi^2 - 1536*xd*xf*xh*xi*xj + 
            480*xd*xf*xh*xi - 768*xd*xf*xh*xj^2 + 96*xd*xf*xh*xj - 
            8*xd*xf*xh - 768*xd*xf*xi^3 - 1024*xd*xf*xi^2*xj + 
            96*xd*xf*xi^2 - 256*xd*xf*xi*xj^2 + 64*xd*xf*xi*xj - 
            12*xd*xf*xi - 32*xd*xf*xj^2 + 12*xd*xf*xj + 256*xd*xg^2*xh*xi + 
            256*xd*xg^2*xh*xj + 256*xd*xg^2*xi^2 + 512*xd*xg^2*xi*xj + 
            256*xd*xg^2*xj^2 - 128*xd*xg^2*xj - 256*xd*xg*xh*xi^2 + 
            128*xd*xg*xh*xi - 768*xd*xg*xh*xj^2 - 128*xd*xg*xh*xj + 
            512*xd*xg*xi^2*xj - 192*xd*xg*xi*xj + 512*xd*xg*xj^3 - 
            192*xd*xg*xj^2 + 24*xd*xg*xj - 256*xd*xh^3*xi - 256*xd*xh^3*xj - 
            1024*xd*xh^2*xi^2 - 512*xd*xh^2*xi*xj + 192*xd*xh^2*xi - 
            512*xd*xh^2*xj^2 + 64*xd*xh^2*xj - 1024*xd*xh*xi^3 - 
            1024*xd*xh*xi^2*xj + 192*xd*xh*xi^2 - 1024*xd*xh*xi*xj^2 + 
            192*xd*xh*xi*xj - 16*xd*xh*xi - 256*xd*xi^4 - 512*xd*xi^3*xj - 
            32*xd*xi^2*xj + 4*xd*xi^2 + 512*xd*xi*xj^3 - 128*xd*xi*xj^2 + 
            12*xd*xi*xj + 256*xd*xj^4 - 96*xd*xj^3 + 16*xd*xj^2 - xd*xj - 
            512*xe^3*xf*xg - 512*xe^3*xf*xh - 1024*xe^3*xf*xj - 
            256*xe^3*xg*xi - 768*xe^3*xg*xj - 256*xe^3*xh*xi - 
            768*xe^3*xh*xj - 512*xe^3*xi*xj - 512*xe^3*xj^2 + 64*xe^3*xj + 
            512*xe^2*xf^2*xg - 512*xe^2*xf^2*xh + 2048*xe^2*xf^2*xi - 
            1024*xe^2*xf^2*xj + 1024*xe^2*xf*xg^2 + 512*xe^2*xf*xg*xh + 
            768*xe^2*xf*xg*xi - 256*xe^2*xf*xg*xj - 128*xe^2*xf*xg - 
            512*xe^2*xf*xh^2 - 768*xe^2*xf*xh*xi - 2816*xe^2*xf*xh*xj + 
            1024*xe^2*xf*xi^2 - 1024*xe^2*xf*xi*xj - 32*xe^2*xf*xi - 
            1024*xe^2*xf*xj^2 + 160*xe^2*xf*xj + 512*xe^2*xg^2*xi + 
            512*xe^2*xg^2*xj + 256*xe^2*xg*xh*xi - 256*xe^2*xg*xh*xj + 
            128*xe^2*xg*xi^2 + 32*xe^2*xg*xi - 640*xe^2*xg*xj^2 - 
            96*xe^2*xg*xj - 256*xe^2*xh^2*xi - 768*xe^2*xh^2*xj - 
            384*xe^2*xh*xi^2 - 512*xe^2*xh*xi*xj + 96*xe^2*xh*xi - 
            640*xe^2*xh*xj^2 + 32*xe^2*xh*xj - 512*xe^2*xi^2*xj - 
            512*xe^2*xi*xj^2 - 64*xe^2*xj^2 + 8*xe^2*xj + 2048*xe*xf^3*xg - 
            1024*xe*xf^3*xh + 3072*xe*xf^3*xi + 1024*xe*xf^3*xj + 
            1024*xe*xf^2*xg^2 + 2048*xe*xf^2*xg*xh + 4096*xe*xf^2*xg*xi + 
            2048*xe*xf^2*xg*xj - 128*xe*xf^2*xg + 2560*xe*xf^2*xh*xi - 
            512*xe*xf^2*xh*xj - 128*xe*xf^2*xh + 4608*xe*xf^2*xi^2 + 
            2560*xe*xf^2*xi*xj - 224*xe*xf^2*xi + 32*xe*xf^2*xj - 
            512*xe*xf*xg^3 + 512*xe*xf*xg^2*xh + 1536*xe*xf*xg^2*xi + 
            1536*xe*xf*xg^2*xj + 1536*xe*xf*xg*xh^2 + 3072*xe*xf*xg*xh*xi + 
            2048*xe*xf*xg*xh*xj - 256*xe*xf*xg*xh + 3072*xe*xf*xg*xi^2 + 
            2560*xe*xf*xg*xi*xj - 128*xe*xf*xg*xi - 1536*xe*xf*xg*xj^2 + 
            512*xe*xf*xh^3 - 1024*xe*xf*xh^2*xj - 128*xe*xf*xh^2 + 
            768*xe*xf*xh*xi^2 - 512*xe*xf*xh*xi*xj - 160*xe*xf*xh*xi - 
            2304*xe*xf*xh*xj^2 + 96*xe*xf*xh*xj + 16*xe*xf*xh + 
            1792*xe*xf*xi^3 + 512*xe*xf*xi^2*xj - 288*xe*xf*xi^2 - 
            1280*xe*xf*xi*xj^2 - 32*xe*xf*xi*xj + 4*xe*xf*xi - 4*xe*xf*xj - 
            256*xe*xg^3*xi + 256*xe*xg^3*xj + 256*xe*xg^2*xh*xi + 
            1792*xe*xg^2*xh*xj + 512*xe*xg^2*xi^2 + 1024*xe*xg^2*xi*xj + 
            32*xe*xg^2*xi - 512*xe*xg^2*xj^2 - 160*xe*xg^2*xj + 
            768*xe*xg*xh^2*xi + 2304*xe*xg*xh^2*xj + 768*xe*xg*xh*xi^2 + 
            2560*xe*xg*xh*xi*xj + 96*xe*xg*xh*xi - 1280*xe*xg*xh*xj^2 - 
            288*xe*xg*xh*xj + 768*xe*xg*xi^3 + 1280*xe*xg*xi^2*xj + 
            32*xe*xg*xi^2 - 1280*xe*xg*xi*xj^2 - 160*xe*xg*xi*xj - 
            4*xe*xg*xi - 768*xe*xg*xj^3 - 64*xe*xg*xj^2 + 20*xe*xg*xj + 
            256*xe*xh^3*xi + 768*xe*xh^3*xj - 256*xe*xh^2*xi^2 + 
            1536*xe*xh^2*xi*xj + 128*xe*xh^2*xi - 256*xe*xh^2*xj^2 - 
            64*xe*xh^2*xj - 512*xe*xh*xi^3 - 512*xe*xh*xi^2*xj + 
            128*xe*xh*xi^2 - 2048*xe*xh*xi*xj^2 - 32*xe*xh*xi*xj - 
            12*xe*xh*xi - 1024*xe*xh*xj^3 - 32*xe*xh*xj^2 + 4*xe*xh*xj - 
            512*xe*xi^3*xj - 1024*xe*xi^2*xj^2 - 512*xe*xi*xj^3 - 
            128*xe*xi*xj^2 + 16*xe*xi*xj - 128*xe*xj^3 + 24*xe*xj^2 - xe*xj + 
            1024*xf^4*xg - 1024*xf^4*xh + 1024*xf^4*xi + 1024*xf^4*xj + 
            1024*xf^3*xg*xh + 2560*xf^3*xg*xi + 1536*xf^3*xg*xj - 
            1024*xf^3*xh^2 + 512*xf^3*xh*xi + 1536*xf^3*xh*xj + 
            2560*xf^3*xi^2 + 3072*xf^3*xi*xj - 64*xf^3*xi + 512*xf^3*xj^2 - 
            64*xf^3*xj - 512*xf^2*xg^3 - 512*xf^2*xg^2*xh - 
            256*xf^2*xg^2*xi + 768*xf^2*xg^2*xj + 128*xf^2*xg^2 + 
            512*xf^2*xg*xh^2 + 1024*xf^2*xg*xh*xi + 2048*xf^2*xg*xh*xj - 
            128*xf^2*xg*xh + 2560*xf^2*xg*xi^2 + 3072*xf^2*xg*xi*xj - 
            64*xf^2*xg*xi - 512*xf^2*xg*xj^2 + 64*xf^2*xg*xj - 8*xf^2*xg + 
            512*xf^2*xh^3 + 768*xf^2*xh^2*xi + 768*xf^2*xh^2*xj + 
            1792*xf^2*xh*xi^2 + 1536*xf^2*xh*xi*xj + 160*xf^2*xh*xi - 
            1280*xf^2*xh*xj^2 + 32*xf^2*xh*xj + 8*xf^2*xh + 2304*xf^2*xi^3 + 
            2048*xf^2*xi^2*xj - 176*xf^2*xi^2 - 256*xf^2*xi*xj^2 - 
            16*xf^2*xi + 176*xf^2*xj^2 - 16*xf^2*xj - 512*xf*xg^3*xh - 
            1024*xf*xg^3*xi + 128*xf*xg^3 - 512*xf*xg^2*xh^2 - 
            1536*xf*xg^2*xh*xi + 1536*xf*xg^2*xh*xj + 128*xf*xg^2*xh - 
            256*xf*xg^2*xi^2 + 1280*xf*xg^2*xi*xj + 224*xf*xg^2*xi - 
            512*xf*xg^2*xj^2 + 160*xf*xg^2*xj - 24*xf*xg^2 + 512*xf*xg*xh^3 + 
            512*xf*xg*xh^2*xi + 2560*xf*xg*xh^2*xj - 128*xf*xg*xh^2 + 
            512*xf*xg*xh*xi^2 + 2048*xf*xg*xh*xi*xj + 64*xf*xg*xh*xi - 
            2560*xf*xg*xh*xj^2 - 192*xf*xg*xh*xj + 8*xf*xg*xh + 
            1536*xf*xg*xi^3 + 2048*xf*xg*xi^2*xj - 64*xf*xg*xi^2 - 
            512*xf*xg*xi*xj^2 - 128*xf*xg*xi*xj - 16*xf*xg*xi + 
            192*xf*xg*xj^2 - 24*xf*xg*xj + xf*xg + 512*xf*xh^4 + 
            1024*xf*xh^3*xi + 1024*xf*xh^3*xj - 128*xf*xh^3 + 
            256*xf*xh^2*xi^2 + 768*xf*xh^2*xi*xj + 160*xf*xh^2*xi - 
            1536*xf*xh^2*xj^2 - 32*xf*xh^2*xj + 16*xf*xh^2 + 512*xf*xh*xi^3 - 
            1536*xf*xh*xi^2*xj + 128*xf*xh*xi^2 - 4608*xf*xh*xi*xj^2 + 
            192*xf*xh*xi*xj - 20*xf*xh*xi - 1536*xf*xh*xj^3 + 
            320*xf*xh*xj^2 - 12*xf*xh*xj - xf*xh + 768*xf*xi^4 - 
            256*xf*xi^3*xj - 160*xf*xi^3 - 1280*xf*xi^2*xj^2 - 
            32*xf*xi^2*xj - 4*xf*xi^2 + 256*xf*xi*xj^3 + 32*xf*xi*xj^2 - 
            8*xf*xi*xj + xf*xi + 512*xf*xj^4 - 96*xf*xj^3 - 4*xf*xj^2 + 
            xf*xj - 256*xg^3*xh*xi + 256*xg^3*xh*xj - 384*xg^3*xi^2 + 
            256*xg^3*xi*xj + 64*xg^3*xi + 128*xg^3*xj^2 - 64*xg^3*xj - 
            256*xg^2*xh^2*xi + 1280*xg^2*xh^2*xj - 640*xg^2*xh*xi^2 + 
            1280*xg^2*xh*xi*xj + 160*xg^2*xh*xi - 640*xg^2*xh*xj^2 - 
            160*xg^2*xh*xj + 768*xg^2*xi^2*xj - 16*xg^2*xi^2 - 
            96*xg^2*xi*xj - 4*xg^2*xi + 256*xg^2*xj^3 + 112*xg^2*xj^2 + 
            4*xg^2*xj + 256*xg*xh^3*xi + 1792*xg*xh^3*xj + 384*xg*xh^2*xi^2 + 
            2816*xg*xh^2*xi*xj + 128*xg*xh^2*xi - 1152*xg*xh^2*xj^2 - 
            128*xg*xh^2*xj + 256*xg*xh*xi^3 + 1280*xg*xh*xi^2*xj + 
            160*xg*xh*xi^2 - 2304*xg*xh*xi*xj^2 - 192*xg*xh*xi*xj - 
            16*xg*xh*xi - 1280*xg*xh*xj^3 + 160*xg*xh*xj^2 + 384*xg*xi^4 + 
            512*xg*xi^3*xj - 256*xg*xi^2*xj^2 - 96*xg*xi^2*xj - 4*xg*xi^2 + 
            512*xg*xi*xj^3 - 128*xg*xi*xj^2 + 16*xg*xi*xj + 896*xg*xj^4 - 
            160*xg*xj^3 + 4*xg*xj^2 + 256*xh^4*xi + 768*xh^4*xj + 
            640*xh^3*xi^2 + 1792*xh^3*xi*xj + 32*xh^3*xi - 384*xh^3*xj^2 - 
            32*xh^3*xj - 256*xh^2*xi^3 + 304*xh^2*xi^2 - 1792*xh^2*xi*xj^2 + 
            32*xh^2*xi*xj - 20*xh^2*xi - 1024*xh^2*xj^3 + 48*xh^2*xj^2 - 
            12*xh^2*xj - 384*xh*xi^4 - 1536*xh*xi^3*xj + 128*xh*xi^3 - 
            2816*xh*xi^2*xj^2 + 160*xh*xi^2*xj - 20*xh*xi^2 - 
            1536*xh*xi*xj^3 + 128*xh*xi*xj^2 - 8*xh*xi*xj + xh*xi + 
            128*xh*xj^4 - 32*xh*xj^3 - 4*xh*xj^2 + xh*xj - 512*xi^4*xj - 
            1024*xi^3*xj^2 + 64*xi^3*xj - 64*xi^2*xj^2 + 8*xi^2*xj + 
            1024*xi*xj^4 - 320*xi*xj^3 + 32*xi*xj^2 - xi*xj + 512*xj^5 - 
            192*xj^4 + 24*xj^3 - xj^2, 
\(-256\)*xb^2*xh*xi^2 - 
            512*xb^2*xh*xi*xj - 256*xb^2*xh*xj^2 + 256*xb^2*xi^2*xj - 
            80*xb^2*xi^2 + 512*xb^2*xi*xj^2 - 160*xb^2*xi*xj + 
            256*xb^2*xj^3 - 80*xb^2*xj^2 + 512*xb*xc*xh^2*xi + 
            512*xb*xc*xh^2*xj - 1024*xb*xc*xh*xi*xj + 160*xb*xc*xh*xi - 
            1024*xb*xc*xh*xj^2 + 160*xb*xc*xh*xj + 512*xb*xc*xi*xj^2 - 
            160*xb*xc*xi*xj + 512*xb*xc*xj^3 - 160*xb*xc*xj^2 - 
            256*xb*xd^3*xi - 256*xb*xd^3*xj - 512*xb*xd^2*xe*xi - 
            512*xb*xd^2*xe*xj - 256*xb*xd^2*xf*xi - 256*xb*xd^2*xf*xj - 
            256*xb*xd^2*xh*xi - 256*xb*xd^2*xh*xj - 256*xb*xd^2*xi^2 - 
            256*xb*xd^2*xi*xj - 256*xb*xd*xe^2*xi - 256*xb*xd*xe^2*xj - 
            512*xb*xd*xe*xf*xi - 512*xb*xd*xe*xf*xj - 512*xb*xd*xe*xh*xi - 
            512*xb*xd*xe*xh*xj - 512*xb*xd*xe*xi^2 - 512*xb*xd*xe*xi*xj - 
            32*xb*xd*xe*xi - 32*xb*xd*xe*xj + 1024*xb*xd*xf^2*xi + 
            1024*xb*xd*xf^2*xj - 32*xb*xd*xf*xi - 32*xb*xd*xf*xj - 
            256*xb*xd*xh*xi^2 - 512*xb*xd*xh*xi*xj + 32*xb*xd*xh*xi - 
            256*xb*xd*xh*xj^2 + 32*xb*xd*xh*xj + 256*xb*xd*xi^2*xj - 
            64*xb*xd*xi^2 + 512*xb*xd*xi*xj^2 - 160*xb*xd*xi*xj + 
            4*xb*xd*xi + 256*xb*xd*xj^3 - 96*xb*xd*xj^2 + 4*xb*xd*xj - 
            256*xb*xe^2*xf*xi - 256*xb*xe^2*xf*xj - 256*xb*xe^2*xh*xi - 
            256*xb*xe^2*xh*xj - 256*xb*xe^2*xi^2 - 256*xb*xe^2*xi*xj - 
            32*xb*xe^2*xi - 32*xb*xe^2*xj + 32*xb*xe*xf*xi + 32*xb*xe*xf*xj + 
            256*xb*xe*xg^2*xi + 256*xb*xe*xg^2*xj + 512*xb*xe*xg*xh*xi + 
            512*xb*xe*xg*xh*xj - 32*xb*xe*xg*xi - 32*xb*xe*xg*xj + 
            256*xb*xe*xh^2*xi + 256*xb*xe*xh^2*xj - 256*xb*xe*xh*xi^2 - 
            512*xb*xe*xh*xi*xj - 256*xb*xe*xh*xj^2 - 256*xb*xe*xi^3 - 
            512*xb*xe*xi^2*xj - 32*xb*xe*xi^2 - 256*xb*xe*xi*xj^2 - 
            96*xb*xe*xi*xj + 4*xb*xe*xi - 64*xb*xe*xj^2 + 4*xb*xe*xj + 
            1024*xb*xf^3*xi + 1024*xb*xf^3*xj + 1024*xb*xf^2*xh*xi + 
            1024*xb*xf^2*xh*xj + 1024*xb*xf^2*xi^2 + 1024*xb*xf^2*xi*xj + 
            64*xb*xf^2*xi + 64*xb*xf^2*xj + 512*xb*xf*xh^2*xi + 
            512*xb*xf*xh^2*xj - 1024*xb*xf*xh*xi*xj + 96*xb*xf*xh*xi - 
            1024*xb*xf*xh*xj^2 + 96*xb*xf*xh*xj - 32*xb*xf*xi^2 + 
            512*xb*xf*xi*xj^2 - 160*xb*xf*xi*xj - 8*xb*xf*xi + 
            512*xb*xf*xj^3 - 128*xb*xf*xj^2 - 8*xb*xf*xj - 256*xb*xg^3*xi - 
            256*xb*xg^3*xj + 32*xb*xg^2*xi + 32*xb*xg^2*xj + 
            768*xb*xg*xh^2*xi + 768*xb*xg*xh^2*xj - 512*xb*xg*xh*xi*xj + 
            32*xb*xg*xh*xi - 512*xb*xg*xh*xj^2 + 32*xb*xg*xh*xj + 
            256*xb*xg*xi^3 + 768*xb*xg*xi^2*xj + 1280*xb*xg*xi*xj^2 - 
            160*xb*xg*xi*xj - 4*xb*xg*xi + 768*xb*xg*xj^3 - 160*xb*xg*xj^2 - 
            4*xb*xg*xj + 512*xb*xh^3*xi + 512*xb*xh^3*xj - 
            512*xb*xh^2*xi*xj - 512*xb*xh^2*xj^2 - 512*xb*xh*xi^3 - 
            2048*xb*xh*xi^2*xj + 32*xb*xh*xi^2 - 2048*xb*xh*xi*xj^2 - 
            32*xb*xh*xi*xj - 4*xb*xh*xi - 512*xb*xh*xj^3 - 64*xb*xh*xj^2 - 
            4*xb*xh*xj - 32*xb*xi^3 + 512*xb*xi^2*xj^2 - 256*xb*xi^2*xj + 
            4*xb*xi^2 + 1024*xb*xi*xj^3 - 480*xb*xi*xj^2 + 28*xb*xi*xj + 
            512*xb*xj^4 - 256*xb*xj^3 + 24*xb*xj^2 + 512*xc^2*xh^2*xi + 
            512*xc^2*xh^2*xj + 256*xc^2*xh*xi^2 - 512*xc^2*xh*xi*xj + 
            160*xc^2*xh*xi - 768*xc^2*xh*xj^2 + 160*xc^2*xh*xj - 
            256*xc^2*xi^2*xj + 80*xc^2*xi^2 + 256*xc^2*xj^3 - 80*xc^2*xj^2 - 
            1024*xc*xd*xe^2*xj - 1024*xc*xd*xe*xf*xh - 1024*xc*xd*xe*xf*xj - 
            512*xc*xd*xe*xh*xi - 1536*xc*xd*xe*xh*xj - 1536*xc*xd*xe*xi*xj - 
            32*xc*xd*xe*xi - 512*xc*xd*xe*xj^2 - 32*xc*xd*xe*xj - 
            1024*xc*xd*xf^2*xh - 1024*xc*xd*xf*xh^2 - 1536*xc*xd*xf*xh*xi - 
            512*xc*xd*xf*xh*xj + 128*xc*xd*xf*xh - 512*xc*xd*xf*xi*xj + 
            96*xc*xd*xf*xi - 512*xc*xd*xf*xj^2 - 32*xc*xd*xf*xj + 
            256*xc*xd*xg^2*xi + 256*xc*xd*xg^2*xj - 512*xc*xd*xg*xh*xi - 
            512*xc*xd*xg*xh*xj + 512*xc*xd*xg*xi^2 + 512*xc*xd*xg*xi*xj - 
            256*xc*xd*xg*xj + 256*xc*xd*xh^2*xi + 256*xc*xd*xh^2*xj - 
            256*xc*xd*xh*xi^2 - 1536*xc*xd*xh*xi*xj + 320*xc*xd*xh*xi - 
            1280*xc*xd*xh*xj^2 + 192*xc*xd*xh*xj + 256*xc*xd*xi^3 + 
            512*xc*xd*xi^2*xj - 256*xc*xd*xi*xj^2 - 4*xc*xd*xi - 
            512*xc*xd*xj^3 - 128*xc*xd*xj^2 + 12*xc*xd*xj - 1024*xc*xe^3*xj + 
            1024*xc*xe^2*xf*xg + 1024*xc*xe^2*xf*xi - 2048*xc*xe^2*xf*xj + 
            512*xc*xe^2*xg*xi + 512*xc*xe^2*xg*xj - 1024*xc*xe^2*xh*xj + 
            512*xc*xe^2*xi^2 - 512*xc*xe^2*xi*xj - 32*xc*xe^2*xi - 
            32*xc*xe^2*xj + 2048*xc*xe*xf^2*xg - 1024*xc*xe*xf^2*xh + 
            2048*xc*xe*xf^2*xi + 1024*xc*xe*xf*xg*xh + 2048*xc*xe*xf*xg*xi + 
            1024*xc*xe*xf*xg*xj + 512*xc*xe*xf*xh*xi - 1536*xc*xe*xf*xh*xj - 
            128*xc*xe*xf*xh + 2048*xc*xe*xf*xi^2 - 512*xc*xe*xf*xi*xj - 
            96*xc*xe*xf*xi - 512*xc*xe*xf*xj^2 + 32*xc*xe*xf*xj - 
            256*xc*xe*xg^2*xi - 256*xc*xe*xg^2*xj + 1024*xc*xe*xg*xh*xj - 
            512*xc*xe*xg*xi*xj + 96*xc*xe*xg*xi - 1536*xc*xe*xg*xj^2 - 
            160*xc*xe*xg*xj + 768*xc*xe*xh^2*xi + 1792*xc*xe*xh^2*xj + 
            768*xc*xe*xh*xi^2 + 1536*xc*xe*xh*xi*xj + 128*xc*xe*xh*xi - 
            256*xc*xe*xh*xj^2 + 256*xc*xe*xi^3 + 512*xc*xe*xi^2*xj + 
            32*xc*xe*xi^2 - 768*xc*xe*xi*xj^2 + 32*xc*xe*xi*xj - 4*xc*xe*xi - 
            1024*xc*xe*xj^3 - 128*xc*xe*xj^2 + 12*xc*xe*xj + 
            1024*xc*xf^3*xg - 1024*xc*xf^3*xh + 1024*xc*xf^3*xi + 
            1024*xc*xf^3*xj + 1024*xc*xf^2*xg*xh + 1536*xc*xf^2*xg*xi + 
            512*xc*xf^2*xg*xj - 1024*xc*xf^2*xh^2 - 512*xc*xf^2*xh*xi + 
            512*xc*xf^2*xh*xj + 1536*xc*xf^2*xi^2 + 1024*xc*xf^2*xi*xj + 
            64*xc*xf^2*xi - 512*xc*xf^2*xj^2 + 64*xc*xf^2*xj + 
            768*xc*xf*xg^2*xi + 768*xc*xf*xg^2*xj + 256*xc*xf*xg^2 - 
            1024*xc*xf*xg*xh*xi - 128*xc*xf*xg*xh + 512*xc*xf*xg*xi^2 + 
            2048*xc*xf*xg*xi*xj + 512*xc*xf*xg*xj^2 + 128*xc*xf*xg*xj - 
            16*xc*xf*xg + 256*xc*xf*xh^2*xi + 1280*xc*xf*xh^2*xj - 
            128*xc*xf*xh^2 - 1024*xc*xf*xh*xi^2 - 2048*xc*xf*xh*xi*xj + 
            256*xc*xf*xh*xi - 2048*xc*xf*xh*xj^2 + 128*xc*xf*xh*xj + 
            16*xc*xf*xh - 256*xc*xf*xi^3 + 256*xc*xf*xi^2*xj - 
            32*xc*xf*xi^2 + 256*xc*xf*xi*xj^2 - 8*xc*xf*xi - 256*xc*xf*xj^3 + 
            32*xc*xf*xj^2 - 8*xc*xf*xj + 256*xc*xg^3*xi + 256*xc*xg^3*xj - 
            768*xc*xg^2*xh*xi - 768*xc*xg^2*xh*xj + 256*xc*xg^2*xi^2 + 
            1280*xc*xg^2*xi*xj - 32*xc*xg^2*xi + 1024*xc*xg^2*xj^2 - 
            32*xc*xg^2*xj + 256*xc*xg*xh^2*xi + 1280*xc*xg*xh^2*xj - 
            1536*xc*xg*xh*xi^2 - 2048*xc*xg*xh*xi*xj + 320*xc*xg*xh*xi - 
            2560*xc*xg*xh*xj^2 + 192*xc*xg*xh*xj - 256*xc*xg*xi^3 + 
            1280*xc*xg*xi^2*xj + 64*xc*xg*xi^2 + 1280*xc*xg*xi*xj^2 - 
            192*xc*xg*xi*xj + 4*xc*xg*xi + 768*xc*xg*xj^3 - 128*xc*xg*xj^2 + 
            4*xc*xg*xj + 1280*xc*xh^3*xi + 2304*xc*xh^3*xj + 
            768*xc*xh^2*xi^2 + 2816*xc*xh^2*xi*xj + 160*xc*xh^2*xi + 
            32*xc*xh^2*xj - 768*xc*xh*xi^3 - 768*xc*xh*xi^2*xj + 
            384*xc*xh*xi^2 - 3328*xc*xh*xi*xj^2 + 512*xc*xh*xi*xj - 
            32*xc*xh*xi - 2304*xc*xh*xj^3 + 256*xc*xh*xj^2 - 32*xc*xh*xj - 
            256*xc*xi^4 + 256*xc*xi^3*xj + 96*xc*xi^3 + 256*xc*xi^2*xj^2 - 
            32*xc*xi^2*xj - 4*xc*xi^2 - 256*xc*xi*xj^3 - 224*xc*xi*xj^2 + 
            8*xc*xi*xj - 96*xc*xj^3 + 12*xc*xj^2 - 256*xd^4*xi - 
            256*xd^4*xj - 512*xd^3*xe*xi - 512*xd^3*xe*xj + 512*xd^3*xf*xg + 
            512*xd^3*xf*xh - 256*xd^3*xf*xi - 256*xd^3*xf*xj - 
            512*xd^3*xg*xj - 256*xd^3*xh*xi - 768*xd^3*xh*xj - 
            256*xd^3*xi^2 - 768*xd^3*xi*xj - 512*xd^3*xj^2 + 64*xd^3*xj - 
            256*xd^2*xe^2*xi - 256*xd^2*xe^2*xj - 512*xd^2*xe*xf*xi - 
            512*xd^2*xe*xf*xj + 256*xd^2*xe*xg*xi - 768*xd^2*xe*xg*xj - 
            256*xd^2*xe*xh*xi - 1280*xd^2*xe*xh*xj - 512*xd^2*xe*xi^2 - 
            1536*xd^2*xe*xi*xj - 32*xd^2*xe*xi - 1024*xd^2*xe*xj^2 + 
            96*xd^2*xe*xj + 512*xd^2*xf^2*xg + 512*xd^2*xf^2*xh + 
            512*xd^2*xf*xg^2 + 512*xd^2*xf*xg*xh + 1280*xd^2*xf*xg*xi + 
            1280*xd^2*xf*xg*xj - 64*xd^2*xf*xg + 256*xd^2*xf*xh*xi + 
            256*xd^2*xf*xh*xj + 64*xd^2*xf*xh + 512*xd^2*xf*xi*xj - 
            32*xd^2*xf*xi + 512*xd^2*xf*xj^2 - 96*xd^2*xf*xj + 
            512*xd^2*xg^2*xi + 768*xd^2*xg*xh*xi - 768*xd^2*xg*xh*xj + 
            384*xd^2*xg*xi^2 - 64*xd^2*xg*xi - 896*xd^2*xg*xj^2 - 
            64*xd^2*xg*xj + 256*xd^2*xh^2*xi - 768*xd^2*xh^2*xj + 
            384*xd^2*xh*xi^2 + 512*xd^2*xh*xi*xj - 32*xd^2*xh*xi - 
            384*xd^2*xh*xj^2 + 32*xd^2*xh*xj - 512*xd^2*xi^2*xj + 
            16*xd^2*xi^2 - 512*xd^2*xi*xj^2 + 64*xd^2*xi*xj + 4*xd^2*xi - 
            16*xd^2*xj^2 + 4*xd^2*xj - 512*xd*xe^2*xf*xg - 
            512*xd*xe^2*xf*xh - 256*xd*xe^2*xf*xi - 1280*xd*xe^2*xf*xj - 
            512*xd*xe^2*xg*xj - 256*xd*xe^2*xh*xi - 768*xd*xe^2*xh*xj - 
            256*xd*xe^2*xi^2 - 768*xd*xe^2*xi*xj - 32*xd*xe^2*xi - 
            512*xd*xe^2*xj^2 + 32*xd*xe^2*xj - 1024*xd*xe*xf^2*xh + 
            1024*xd*xe*xf^2*xi - 1024*xd*xe*xf*xg*xh - 1024*xd*xe*xf*xh^2 - 
            1536*xd*xe*xf*xh*xi - 2560*xd*xe*xf*xh*xj + 128*xd*xe*xf*xh - 
            512*xd*xe*xf*xi^2 - 2560*xd*xe*xf*xi*xj - 1024*xd*xe*xf*xj^2 + 
            256*xd*xe*xg^2*xi + 256*xd*xe*xg^2*xj - 1024*xd*xe*xg*xh*xj - 
            1024*xd*xe*xg*xi*xj - 3072*xd*xe*xg*xj^2 - 128*xd*xe*xg*xj - 
            256*xd*xe*xh^2*xi - 1280*xd*xe*xh^2*xj - 768*xd*xe*xh*xi^2 - 
            512*xd*xe*xh*xi*xj + 96*xd*xe*xh*xi - 1792*xd*xe*xh*xj^2 + 
            96*xd*xe*xh*xj - 256*xd*xe*xi^3 - 1536*xd*xe*xi^2*xj - 
            32*xd*xe*xi^2 - 1280*xd*xe*xi*xj^2 - 32*xd*xe*xi*xj + 
            4*xd*xe*xi - 128*xd*xe*xj^2 + 12*xd*xe*xj - 1024*xd*xf^3*xh - 
            1024*xd*xf^2*xg^2 - 1024*xd*xf^2*xg*xh - 1024*xd*xf^2*xg*xi + 
            128*xd*xf^2*xg - 1024*xd*xf^2*xh^2 - 1536*xd*xf^2*xh*xi + 
            512*xd*xf^2*xh*xj + 128*xd*xf^2*xh - 512*xd*xf^2*xi^2 - 
            512*xd*xf^2*xi*xj + 160*xd*xf^2*xi - 96*xd*xf^2*xj - 
            512*xd*xf*xg^3 - 512*xd*xf*xg^2*xh + 256*xd*xf*xg^2*xi + 
            2304*xd*xf*xg^2*xj + 128*xd*xf*xg^2 - 512*xd*xf*xg*xh^2 - 
            3072*xd*xf*xg*xh*xi - 1024*xd*xf*xg*xh*xj + 128*xd*xf*xg*xh + 
            2560*xd*xf*xg*xi*xj + 32*xd*xf*xg*xi + 512*xd*xf*xg*xj^2 - 
            224*xd*xf*xg*xj - 8*xd*xf*xg - 512*xd*xf*xh^3 - 
            1280*xd*xf*xh^2*xi - 1280*xd*xf*xh^2*xj + 128*xd*xf*xh^2 - 
            3840*xd*xf*xh*xi^2 - 2560*xd*xf*xh*xi*xj + 480*xd*xf*xh*xi - 
            768*xd*xf*xh*xj^2 + 96*xd*xf*xh*xj - 8*xd*xf*xh - 
            512*xd*xf*xi^3 - 1280*xd*xf*xi^2*xj + 96*xd*xf*xi^2 - 
            512*xd*xf*xi*xj^2 + 64*xd*xf*xi*xj - 12*xd*xf*xi + 
            256*xd*xf*xj^3 - 32*xd*xf*xj^2 + 12*xd*xf*xj + 512*xd*xg^3*xj - 
            256*xd*xg^2*xh*xi + 256*xd*xg^2*xh*xj + 512*xd*xg^2*xi^2 + 
            1536*xd*xg^2*xi*xj - 192*xd*xg^2*xj - 512*xd*xg*xh^2*xj - 
            768*xd*xg*xh*xi^2 + 192*xd*xg*xh*xi - 2304*xd*xg*xh*xj^2 - 
            64*xd*xg*xh*xj + 512*xd*xg*xi^3 + 1536*xd*xg*xi^2*xj - 
            32*xd*xg*xi^2 - 512*xd*xg*xi*xj^2 - 256*xd*xg*xi*xj - 
            512*xd*xg*xj^3 - 96*xd*xg*xj^2 + 24*xd*xg*xj + 256*xd*xh^3*xi - 
            256*xd*xh^3*xj - 768*xd*xh^2*xi^2 + 512*xd*xh^2*xi*xj + 
            128*xd*xh^2*xi - 768*xd*xh^2*xj^2 + 64*xd*xh^2*xj - 
            1024*xd*xh*xi^3 - 512*xd*xh*xi^2*xj + 224*xd*xh*xi^2 - 
            1024*xd*xh*xi*xj^2 + 128*xd*xh*xi*xj - 16*xd*xh*xi - 
            512*xd*xh*xj^3 + 32*xd*xh*xj^2 - 32*xd*xi^3 - 64*xd*xi^2*xj + 
            4*xd*xi^2 - 96*xd*xi*xj^2 + 12*xd*xi*xj - 64*xd*xj^3 + 
            16*xd*xj^2 - xd*xj - 1024*xe^3*xf*xj - 256*xe^3*xg*xi - 
            256*xe^3*xg*xj - 256*xe^3*xh*xi - 256*xe^3*xh*xj + 
            512*xe^2*xf^2*xg - 512*xe^2*xf^2*xh + 1024*xe^2*xf^2*xi - 
            2048*xe^2*xf^2*xj + 512*xe^2*xf*xg^2 + 512*xe^2*xf*xg*xh + 
            256*xe^2*xf*xg*xi - 1792*xe^2*xf*xg*xj - 64*xe^2*xf*xg - 
            256*xe^2*xf*xh*xi - 3328*xe^2*xf*xh*xj - 64*xe^2*xf*xh + 
            1024*xe^2*xf*xi^2 - 2048*xe^2*xf*xi*xj - 32*xe^2*xf*xi - 
            2048*xe^2*xf*xj^2 + 288*xe^2*xf*xj + 512*xe^2*xg^2*xj - 
            256*xe^2*xg*xh*xi + 256*xe^2*xg*xh*xj + 128*xe^2*xg*xi^2 + 
            32*xe^2*xg*xi - 1664*xe^2*xg*xj^2 - 96*xe^2*xg*xj - 
            256*xe^2*xh^2*xi - 256*xe^2*xh^2*xj - 384*xe^2*xh*xi^2 + 
            512*xe^2*xh*xi*xj + 96*xe^2*xh*xi - 640*xe^2*xh*xj^2 + 
            32*xe^2*xh*xj - 512*xe^2*xi^2*xj - 512*xe^2*xi*xj^2 - 
            64*xe^2*xj^2 + 8*xe^2*xj + 2048*xe*xf^3*xg - 1024*xe*xf^3*xh + 
            3072*xe*xf^3*xi + 1024*xe*xf^3*xj + 2048*xe*xf^2*xg^2 + 
            2048*xe*xf^2*xg*xh + 5120*xe*xf^2*xg*xi + 3072*xe*xf^2*xg*xj - 
            256*xe*xf^2*xg - 1024*xe*xf^2*xh^2 + 1536*xe*xf^2*xh*xi - 
            1536*xe*xf^2*xh*xj + 4608*xe*xf^2*xi^2 + 2560*xe*xf^2*xi*xj - 
            224*xe*xf^2*xi + 32*xe*xf^2*xj + 1024*xe*xf*xg^2*xh + 
            1280*xe*xf*xg^2*xi + 3328*xe*xf*xg^2*xj + 1024*xe*xf*xg*xh^2 + 
            1536*xe*xf*xg*xh*xi + 512*xe*xf*xg*xh*xj - 256*xe*xf*xg*xh + 
            3072*xe*xf*xg*xi^2 + 2560*xe*xf*xg*xi*xj - 128*xe*xf*xg*xi - 
            1536*xe*xf*xg*xj^2 + 1792*xe*xf*xh^2*xi - 1280*xe*xf*xh^2*xj - 
            128*xe*xf*xh^2 + 768*xe*xf*xh*xi^2 - 512*xe*xf*xh*xi*xj - 
            160*xe*xf*xh*xi - 2304*xe*xf*xh*xj^2 + 96*xe*xf*xh*xj + 
            16*xe*xf*xh + 1536*xe*xf*xi^3 - 256*xe*xf*xi^2*xj - 
            288*xe*xf*xi^2 - 1024*xe*xf*xi*xj^2 - 32*xe*xf*xi*xj + 
            4*xe*xf*xi + 768*xe*xf*xj^3 - 4*xe*xf*xj - 512*xe*xg^3*xi + 
            512*xe*xg^3*xj - 512*xe*xg^2*xh*xi + 1536*xe*xg^2*xh*xj + 
            1024*xe*xg^2*xi*xj + 64*xe*xg^2*xi - 1024*xe*xg^2*xj^2 - 
            192*xe*xg^2*xj + 1024*xe*xg*xh^2*xi + 2048*xe*xg*xh^2*xj - 
            256*xe*xg*xh*xi^2 + 2560*xe*xg*xh*xi*xj + 160*xe*xg*xh*xi - 
            2304*xe*xg*xh*xj^2 - 224*xe*xg*xh*xj + 512*xe*xg*xi^3 + 
            1024*xe*xg*xi^2*xj + 64*xe*xg*xi^2 - 2048*xe*xg*xi*xj^2 - 
            160*xe*xg*xi*xj - 4*xe*xg*xi - 1536*xe*xg*xj^3 + 32*xe*xg*xj^2 + 
            20*xe*xg*xj + 1024*xe*xh^3*xi + 1024*xe*xh^3*xj + 
            256*xe*xh^2*xi^2 + 3584*xe*xh^2*xi*xj + 32*xe*xh^2*xi + 
            256*xe*xh^2*xj^2 - 96*xe*xh^2*xj - 768*xe*xh*xi^3 + 
            256*xe*xh*xi^2*xj + 160*xe*xh*xi^2 - 768*xe*xh*xi*xj^2 - 
            160*xe*xh*xi*xj - 12*xe*xh*xi - 768*xe*xh*xj^3 - 64*xe*xh*xj^2 + 
            4*xe*xh*xj - 512*xe*xi^3*xj - 1024*xe*xi^2*xj^2 - 
            512*xe*xi*xj^3 - 128*xe*xi*xj^2 + 16*xe*xi*xj - 128*xe*xj^3 + 
            24*xe*xj^2 - xe*xj + 1024*xf^4*xg - 1024*xf^4*xh + 1024*xf^4*xi + 
            1024*xf^4*xj + 1024*xf^3*xg*xh + 2560*xf^3*xg*xi + 
            1536*xf^3*xg*xj - 1024*xf^3*xh^2 + 512*xf^3*xh*xi + 
            1536*xf^3*xh*xj + 2560*xf^3*xi^2 + 3072*xf^3*xi*xj - 64*xf^3*xi + 
            512*xf^3*xj^2 - 64*xf^3*xj - 1536*xf^2*xg^3 + 512*xf^2*xg^2*xh - 
            256*xf^2*xg^2*xi + 768*xf^2*xg^2*xj + 128*xf^2*xg^2 + 
            1536*xf^2*xg*xh^2 + 1024*xf^2*xg*xh*xj - 128*xf^2*xg*xh + 
            3584*xf^2*xg*xi^2 + 4096*xf^2*xg*xi*xj - 64*xf^2*xg*xi - 
            512*xf^2*xg*xj^2 + 64*xf^2*xg*xj - 8*xf^2*xg - 512*xf^2*xh^3 + 
            1792*xf^2*xh^2*xi + 1792*xf^2*xh^2*xj - 256*xf^2*xh*xi^2 + 
            512*xf^2*xh*xi*xj + 160*xf^2*xh*xi - 256*xf^2*xh*xj^2 + 
            32*xf^2*xh*xj + 8*xf^2*xh + 2304*xf^2*xi^3 + 3072*xf^2*xi^2*xj - 
            176*xf^2*xi^2 - 256*xf^2*xi*xj^2 - 16*xf^2*xi - 1024*xf^2*xj^3 + 
            176*xf^2*xj^2 - 16*xf^2*xj - 512*xf*xg^4 - 512*xf*xg^3*xh - 
            1280*xf*xg^3*xi + 768*xf*xg^3*xj + 192*xf*xg^3 + 
            512*xf*xg^2*xh^2 - 2816*xf*xg^2*xh*xi + 1280*xf*xg^2*xh*xj + 
            64*xf*xg^2*xh + 512*xf*xg^2*xi^2 + 4352*xf*xg^2*xi*xj + 
            192*xf*xg^2*xi + 1792*xf*xg^2*xj^2 - 24*xf*xg^2 + 
            512*xf*xg*xh^3 + 768*xf*xg*xh^2*xi + 1792*xf*xg*xh^2*xj - 
            192*xf*xg*xh^2 - 3072*xf*xg*xh*xi^2 - 2048*xf*xg*xh*xi*xj + 
            320*xf*xg*xh*xi - 3072*xf*xg*xh*xj^2 + 64*xf*xg*xh*xj + 
            8*xf*xg*xh + 1792*xf*xg*xi^3 + 4864*xf*xg*xi^2*xj - 
            128*xf*xg*xi^2 + 2304*xf*xg*xi*xj^2 - 320*xf*xg*xi*xj - 
            16*xf*xg*xi + 256*xf*xg*xj^3 + 64*xf*xg*xj^2 - 24*xf*xg*xj + 
            xf*xg + 2304*xf*xh^3*xi + 1280*xf*xh^3*xj - 64*xf*xh^3 + 
            1792*xf*xh^2*xi*xj - 64*xf*xh^2*xi - 256*xf*xh^2*xj^2 - 
            128*xf*xh^2*xj + 16*xf*xh^2 - 1792*xf*xh*xi^3 - 
            4352*xf*xh*xi^2*xj + 384*xf*xh*xi^2 - 5376*xf*xh*xi*xj^2 + 
            384*xf*xh*xi*xj - 20*xf*xh*xi - 1792*xf*xh*xj^3 + 
            256*xf*xh*xj^2 - 12*xf*xh*xj - xf*xh + 512*xf*xi^4 + 
            256*xf*xi^3*xj - 128*xf*xi^3 - 256*xf*xi^2*xj^2 - 
            128*xf*xi^2*xj - 4*xf*xi^2 - 256*xf*xi*xj^3 - 8*xf*xi*xj + 
            xf*xi - 256*xf*xj^4 - 4*xf*xj^2 + xf*xj - 256*xg^4*xi + 
            256*xg^4*xj - 1280*xg^3*xh*xi + 256*xg^3*xh*xj - 128*xg^3*xi^2 + 
            768*xg^3*xi*xj + 64*xg^3*xi + 384*xg^3*xj^2 - 64*xg^3*xj - 
            768*xg^2*xh^2*xi + 768*xg^2*xh^2*xj - 1920*xg^2*xh*xi^2 - 
            256*xg^2*xh*xi*xj + 288*xg^2*xh*xi - 896*xg^2*xh*xj^2 - 
            32*xg^2*xh*xj + 256*xg^2*xi^3 + 2560*xg^2*xi^2*xj - 
            16*xg^2*xi^2 + 1792*xg^2*xi*xj^2 - 224*xg^2*xi*xj - 4*xg^2*xi + 
            512*xg^2*xj^3 - 16*xg^2*xj^2 + 4*xg^2*xj + 1280*xg*xh^3*xi + 
            1792*xg*xh^3*xj - 896*xg*xh^2*xi^2 + 2304*xg*xh^2*xi*xj + 
            128*xg*xh^2*xi - 384*xg*xh^2*xj^2 - 128*xg*xh^2*xj - 
            1280*xg*xh*xi^3 - 256*xg*xh*xi^2*xj + 416*xg*xh*xi^2 - 
            2816*xg*xh*xi*xj^2 + 64*xg*xh*xi*xj - 24*xg*xh*xi - 
            1792*xg*xh*xj^3 + 160*xg*xh*xj^2 - 8*xg*xh*xj + 128*xg*xi^4 + 
            1536*xg*xi^3*xj + 2304*xg*xi^2*xj^2 - 352*xg*xi^2*xj - 
            4*xg*xi^2 + 1536*xg*xi*xj^3 - 384*xg*xi*xj^2 + 24*xg*xi*xj + 
            640*xg*xj^4 - 160*xg*xj^3 + 12*xg*xj^2 + 1024*xh^4*xi + 
            1024*xh^4*xj + 896*xh^3*xi^2 + 3328*xh^3*xi*xj - 96*xh^3*xi + 
            896*xh^3*xj^2 - 160*xh^3*xj - 1024*xh^2*xi^3 - 256*xh^2*xi^2*xj + 
            304*xh^2*xi^2 - 1024*xh^2*xi*xj^2 - 96*xh^2*xi*xj - 12*xh^2*xi - 
            768*xh^2*xj^3 - 80*xh^2*xj^2 - 4*xh^2*xj - 640*xh*xi^4 - 
            1536*xh*xi^3*xj + 256*xh*xi^3 - 3328*xh*xi^2*xj^2 + 
            288*xh*xi^2*xj - 28*xh*xi^2 - 3584*xh*xi*xj^3 + 256*xh*xi*xj^2 - 
            16*xh*xi*xj + xh*xi - 1152*xh*xj^4 + 96*xh*xj^3 - 4*xh*xj^2 + 
            xh*xj - 64*xi^3*xj - 192*xi^2*xj^2 + 16*xi^2*xj - 192*xi*xj^3 + 
            32*xi*xj^2 - xi*xj - 64*xj^4 + 16*xj^3 - 
            xj^2, 
\(-384\)*xb^2*xi^2 - 768*xb^2*xi*xj - 384*xb^2*xj^2 + 
            512*xb*xc*xe*xi + 512*xb*xc*xe*xj + 512*xb*xc*xf*xi + 
            512*xb*xc*xf*xj + 768*xb*xc*xh*xi + 768*xb*xc*xh*xj - 
            768*xb*xc*xi*xj - 64*xb*xc*xi - 768*xb*xc*xj^2 - 64*xb*xc*xj - 
            256*xb*xd*xi^2 - 512*xb*xd*xi*xj - 16*xb*xd*xi - 256*xb*xd*xj^2 - 
            16*xb*xd*xj + 512*xb*xe*xf*xi + 512*xb*xe*xf*xj + 
            256*xb*xe*xg*xi + 256*xb*xe*xg*xj + 256*xb*xe*xh*xi + 
            256*xb*xe*xh*xj - 48*xb*xe*xi - 48*xb*xe*xj + 512*xb*xf^2*xi + 
            512*xb*xf^2*xj + 768*xb*xf*xh*xi + 768*xb*xf*xh*xj + 
            256*xb*xf*xi^2 - 256*xb*xf*xi*xj - 64*xb*xf*xi - 512*xb*xf*xj^2 - 
            64*xb*xf*xj + 256*xb*xg*xh*xi + 256*xb*xg*xh*xj - 
            512*xb*xg*xi*xj - 48*xb*xg*xi - 512*xb*xg*xj^2 - 48*xb*xg*xj + 
            256*xb*xh^2*xi + 256*xb*xh^2*xj - 256*xb*xh*xi^2 - 
            1024*xb*xh*xi*xj - 48*xb*xh*xi - 768*xb*xh*xj^2 - 48*xb*xh*xj - 
            1024*xb*xi^2*xj - 16*xb*xi^2 - 2048*xb*xi*xj^2 + 64*xb*xi*xj + 
            4*xb*xi - 1024*xb*xj^3 + 80*xb*xj^2 + 4*xb*xj + 
            4096*xc^2*xe^2*xg + 4096*xc^2*xe^2*xh + 4096*xc^2*xe^2*xi + 
            4096*xc^2*xe^2*xj + 8192*xc^2*xe*xf*xg + 8192*xc^2*xe*xf*xh + 
            8192*xc^2*xe*xf*xi + 8192*xc^2*xe*xf*xj + 8192*xc^2*xe*xg*xh + 
            8192*xc^2*xe*xg*xi + 8192*xc^2*xe*xh^2 + 16384*xc^2*xe*xh*xi + 
            8192*xc^2*xe*xh*xj - 1024*xc^2*xe*xh + 8192*xc^2*xe*xi^2 + 
            8192*xc^2*xe*xi*xj - 512*xc^2*xe*xi + 512*xc^2*xe*xj + 
            4096*xc^2*xf^2*xg + 4096*xc^2*xf^2*xh + 4096*xc^2*xf^2*xi + 
            4096*xc^2*xf^2*xj + 8192*xc^2*xf*xg*xh + 8192*xc^2*xf*xg*xi + 
            8192*xc^2*xf*xh^2 + 16384*xc^2*xf*xh*xi + 8192*xc^2*xf*xh*xj - 
            1024*xc^2*xf*xh + 8192*xc^2*xf*xi^2 + 8192*xc^2*xf*xi*xj - 
            512*xc^2*xf*xi + 512*xc^2*xf*xj + 1024*xc^2*xg^2 + 
            4096*xc^2*xg*xh^2 + 8192*xc^2*xg*xh*xi + 4096*xc^2*xg*xi^2 + 
            2048*xc^2*xg*xj - 64*xc^2*xg + 4096*xc^2*xh^3 + 
            12288*xc^2*xh^2*xi + 4096*xc^2*xh^2*xj - 1024*xc^2*xh^2 + 
            12288*xc^2*xh*xi^2 + 8192*xc^2*xh*xi*xj - 1280*xc^2*xh*xi + 
            768*xc^2*xh*xj + 64*xc^2*xh + 4096*xc^2*xi^3 + 
            4096*xc^2*xi^2*xj - 640*xc^2*xi^2 + 640*xc^2*xj^2 - 128*xc^2*xj + 
            256*xc*xd*xe*xi + 256*xc*xd*xe*xj + 256*xc*xd*xf*xi + 
            256*xc*xd*xf*xj + 512*xc*xd*xg^2 + 512*xc*xd*xg*xh + 
            512*xc*xd*xg*xi + 1024*xc*xd*xg*xj - 32*xc*xd*xg + 
            512*xc*xd*xh*xi + 1024*xc*xd*xh*xj + 512*xc*xd*xi*xj - 
            48*xc*xd*xi + 512*xc*xd*xj^2 - 80*xc*xd*xj + 8192*xc*xe^2*xf*xg + 
            8192*xc*xe^2*xf*xh + 8192*xc*xe^2*xf*xi + 8192*xc*xe^2*xf*xj + 
            4096*xc*xe^2*xg^2 + 8192*xc*xe^2*xg*xh + 8192*xc*xe^2*xg*xi + 
            8192*xc*xe^2*xg*xj - 512*xc*xe^2*xg + 4096*xc*xe^2*xh^2 + 
            8192*xc*xe^2*xh*xi + 8192*xc*xe^2*xh*xj - 512*xc*xe^2*xh + 
            4096*xc*xe^2*xi^2 + 8192*xc*xe^2*xi*xj - 256*xc*xe^2*xi + 
            4096*xc*xe^2*xj^2 - 256*xc*xe^2*xj + 16384*xc*xe*xf^2*xg + 
            16384*xc*xe*xf^2*xh + 16384*xc*xe*xf^2*xi + 16384*xc*xe*xf^2*xj + 
            8192*xc*xe*xf*xg^2 + 32768*xc*xe*xf*xg*xh + 
            32768*xc*xe*xf*xg*xi + 16384*xc*xe*xf*xg*xj - 1024*xc*xe*xf*xg + 
            24576*xc*xe*xf*xh^2 + 49152*xc*xe*xf*xh*xi + 
            32768*xc*xe*xf*xh*xj - 3072*xc*xe*xf*xh + 24576*xc*xe*xf*xi^2 + 
            32768*xc*xe*xf*xi*xj - 1792*xc*xe*xf*xi + 8192*xc*xe*xf*xj^2 + 
            256*xc*xe*xf*xj + 8192*xc*xe*xg^2*xh + 8192*xc*xe*xg^2*xi + 
            16384*xc*xe*xg*xh^2 + 32768*xc*xe*xg*xh*xi + 
            16384*xc*xe*xg*xh*xj - 1536*xc*xe*xg*xh + 16384*xc*xe*xg*xi^2 + 
            16384*xc*xe*xg*xi*xj - 1024*xc*xe*xg*xi + 2560*xc*xe*xg*xj + 
            8192*xc*xe*xh^3 + 24576*xc*xe*xh^2*xi + 16384*xc*xe*xh^2*xj - 
            1536*xc*xe*xh^2 + 24576*xc*xe*xh*xi^2 + 32768*xc*xe*xh*xi*xj - 
            3840*xc*xe*xh*xi + 8192*xc*xe*xh*xj^2 - 256*xc*xe*xh*xj + 
            96*xc*xe*xh + 8192*xc*xe*xi^3 + 16384*xc*xe*xi^2*xj - 
            1024*xc*xe*xi^2 + 8192*xc*xe*xi*xj^2 - 256*xc*xe*xi*xj + 
            16*xc*xe*xi + 768*xc*xe*xj^2 - 208*xc*xe*xj + 8192*xc*xf^3*xg + 
            8192*xc*xf^3*xh + 8192*xc*xf^3*xi + 8192*xc*xf^3*xj + 
            4096*xc*xf^2*xg^2 + 24576*xc*xf^2*xg*xh + 24576*xc*xf^2*xg*xi + 
            8192*xc*xf^2*xg*xj - 512*xc*xf^2*xg + 20480*xc*xf^2*xh^2 + 
            40960*xc*xf^2*xh*xi + 24576*xc*xf^2*xh*xj - 2560*xc*xf^2*xh + 
            20480*xc*xf^2*xi^2 + 24576*xc*xf^2*xi*xj - 1536*xc*xf^2*xi + 
            4096*xc*xf^2*xj^2 + 512*xc*xf^2*xj + 8192*xc*xf*xg^2*xh + 
            8192*xc*xf*xg^2*xi + 512*xc*xf*xg^2 + 24576*xc*xf*xg*xh^2 + 
            49152*xc*xf*xg*xh*xi + 16384*xc*xf*xg*xh*xj - 3072*xc*xf*xg*xh + 
            24576*xc*xf*xg*xi^2 + 16384*xc*xf*xg*xi*xj - 2816*xc*xf*xg*xi + 
            3328*xc*xf*xg*xj - 32*xc*xf*xg + 16384*xc*xf*xh^3 + 
            49152*xc*xf*xh^2*xi + 24576*xc*xf*xh^2*xj - 3584*xc*xf*xh^2 + 
            49152*xc*xf*xh*xi^2 + 49152*xc*xf*xh*xi*xj - 6912*xc*xf*xh*xi + 
            8192*xc*xf*xh*xj^2 - 768*xc*xf*xh*xj + 224*xc*xf*xh + 
            16384*xc*xf*xi^3 + 24576*xc*xf*xi^2*xj - 2560*xc*xf*xi^2 + 
            8192*xc*xf*xi*xj^2 - 1536*xc*xf*xi*xj + 96*xc*xf*xi + 
            1024*xc*xf*xj^2 - 288*xc*xf*xj + 512*xc*xg^3 + 
            4096*xc*xg^2*xh^2 + 8192*xc*xg^2*xh*xi + 512*xc*xg^2*xh + 
            4096*xc*xg^2*xi^2 + 512*xc*xg^2*xi + 3584*xc*xg^2*xj - 
            96*xc*xg^2 + 8192*xc*xg*xh^3 + 24576*xc*xg*xh^2*xi + 
            8192*xc*xg*xh^2*xj - 1024*xc*xg*xh^2 + 24576*xc*xg*xh*xi^2 + 
            16384*xc*xg*xh*xi*xj - 3328*xc*xg*xh*xi + 3840*xc*xg*xh*xj + 
            8192*xc*xg*xi^3 + 8192*xc*xg*xi^2*xj - 768*xc*xg*xi^2 + 
            3072*xc*xg*xi*xj - 16*xc*xg*xi + 3328*xc*xg*xj^2 - 592*xc*xg*xj + 
            4*xc*xg + 4096*xc*xh^4 + 16384*xc*xh^3*xi + 8192*xc*xh^3*xj - 
            1024*xc*xh^3 + 24576*xc*xh^2*xi^2 + 24576*xc*xh^2*xi*xj - 
            3840*xc*xh^2*xi + 4096*xc*xh^2*xj^2 + 256*xc*xh^2*xj + 
            96*xc*xh^2 + 16384*xc*xh*xi^3 + 24576*xc*xh*xi^2*xj - 
            4096*xc*xh*xi^2 + 8192*xc*xh*xi*xj^2 - 2560*xc*xh*xi*xj + 
            272*xc*xh*xi + 1024*xc*xh*xj^2 - 304*xc*xh*xj - 4*xc*xh + 
            4096*xc*xi^4 + 8192*xc*xi^3*xj - 768*xc*xi^3 + 
            4096*xc*xi^2*xj^2 - 768*xc*xi^2*xj + 48*xc*xi^2 - 
            256*xc*xi*xj^2 - 160*xc*xi*xj - 256*xc*xj^3 - 208*xc*xj^2 + 
            24*xc*xj + 256*xd^2*xg*xi + 256*xd^2*xg*xj + 256*xd^2*xh*xi + 
            256*xd^2*xh*xj + 128*xd^2*xi^2 + 256*xd^2*xi*xj - 16*xd^2*xi + 
            128*xd^2*xj^2 - 16*xd^2*xj + 256*xd*xe*xf*xi + 256*xd*xe*xf*xj + 
            512*xd*xe*xg*xi + 512*xd*xe*xg*xj + 512*xd*xe*xh*xi + 
            512*xd*xe*xh*xj - 48*xd*xe*xi - 48*xd*xe*xj + 256*xd*xf^2*xi + 
            256*xd*xf^2*xj - 512*xd*xf*xg*xh + 256*xd*xf*xg*xi + 
            768*xd*xf*xg*xj - 512*xd*xf*xh^2 + 256*xd*xf*xh*xi + 
            768*xd*xf*xh*xj + 32*xd*xf*xh - 256*xd*xf*xi^2 - 48*xd*xf*xi + 
            256*xd*xf*xj^2 - 80*xd*xf*xj + 512*xd*xg^2*xi + 1024*xd*xg^2*xj + 
            512*xd*xg*xh*xi + 1536*xd*xg*xh*xj + 512*xd*xg*xi^2 + 
            1792*xd*xg*xi*xj - 96*xd*xg*xi + 1280*xd*xg*xj^2 - 192*xd*xg*xj + 
            512*xd*xh^2*xj - 256*xd*xh*xi^2 + 256*xd*xh*xi*xj - 32*xd*xh*xi + 
            512*xd*xh*xj^2 - 128*xd*xh*xj - 16*xd*xi^2 - 96*xd*xi*xj + 
            4*xd*xi - 80*xd*xj^2 + 8*xd*xj + 4096*xe^2*xf^2*xg + 
            4096*xe^2*xf^2*xh + 4096*xe^2*xf^2*xi + 4096*xe^2*xf^2*xj + 
            4096*xe^2*xf*xg^2 + 8192*xe^2*xf*xg*xh + 8192*xe^2*xf*xg*xi + 
            8192*xe^2*xf*xg*xj - 512*xe^2*xf*xg + 4096*xe^2*xf*xh^2 + 
            8192*xe^2*xf*xh*xi + 8192*xe^2*xf*xh*xj - 512*xe^2*xf*xh + 
            4096*xe^2*xf*xi^2 + 8192*xe^2*xf*xi*xj - 256*xe^2*xf*xi + 
            4096*xe^2*xf*xj^2 - 256*xe^2*xf*xj + 4096*xe^2*xg^2*xi + 
            4096*xe^2*xg^2*xj + 8192*xe^2*xg*xh*xi + 8192*xe^2*xg*xh*xj + 
            4096*xe^2*xg*xi^2 + 8192*xe^2*xg*xi*xj - 512*xe^2*xg*xi + 
            4096*xe^2*xg*xj^2 - 512*xe^2*xg*xj + 4096*xe^2*xh^2*xi + 
            4096*xe^2*xh^2*xj + 4096*xe^2*xh*xi^2 + 8192*xe^2*xh*xi*xj - 
            512*xe^2*xh*xi + 4096*xe^2*xh*xj^2 - 512*xe^2*xh*xj + 
            8192*xe*xf^3*xg + 8192*xe*xf^3*xh + 8192*xe*xf^3*xi + 
            8192*xe*xf^3*xj + 8192*xe*xf^2*xg^2 + 24576*xe*xf^2*xg*xh + 
            24576*xe*xf^2*xg*xi + 16384*xe*xf^2*xg*xj - 1024*xe*xf^2*xg + 
            16384*xe*xf^2*xh^2 + 32768*xe*xf^2*xh*xi + 24576*xe*xf^2*xh*xj - 
            2048*xe*xf^2*xh + 16384*xe*xf^2*xi^2 + 24576*xe*xf^2*xi*xj - 
            1280*xe*xf^2*xi + 8192*xe*xf^2*xj^2 - 256*xe*xf^2*xj + 
            8192*xe*xf*xg^2*xh + 16384*xe*xf*xg^2*xi + 8192*xe*xf*xg^2*xj - 
            512*xe*xf*xg^2 + 16384*xe*xf*xg*xh^2 + 49152*xe*xf*xg*xh*xi + 
            32768*xe*xf*xg*xh*xj - 2560*xe*xf*xg*xh + 24576*xe*xf*xg*xi^2 + 
            32768*xe*xf*xg*xi*xj - 2816*xe*xf*xg*xi + 8192*xe*xf*xg*xj^2 + 
            768*xe*xf*xg*xj + 32*xe*xf*xg + 8192*xe*xf*xh^3 + 
            32768*xe*xf*xh^2*xi + 24576*xe*xf*xh^2*xj - 2048*xe*xf*xh^2 + 
            32768*xe*xf*xh*xi^2 + 49152*xe*xf*xh*xi*xj - 5632*xe*xf*xh*xi + 
            16384*xe*xf*xh*xj^2 - 2048*xe*xf*xh*xj + 128*xe*xf*xh + 
            8192*xe*xf*xi^3 + 16384*xe*xf*xi^2*xj - 1536*xe*xf*xi^2 + 
            8192*xe*xf*xi*xj^2 - 1280*xe*xf*xi*xj + 80*xe*xf*xi + 
            256*xe*xf*xj^2 - 144*xe*xf*xj + 8192*xe*xg^2*xh*xi + 
            8192*xe*xg^2*xh*xj + 8192*xe*xg^2*xi^2 + 8192*xe*xg^2*xi*xj - 
            512*xe*xg^2*xi + 1024*xe*xg^2*xj + 16384*xe*xg*xh^2*xi + 
            16384*xe*xg*xh^2*xj + 24576*xe*xg*xh*xi^2 + 
            32768*xe*xg*xh*xi*xj - 2816*xe*xg*xh*xi + 8192*xe*xg*xh*xj^2 + 
            256*xe*xg*xh*xj + 8192*xe*xg*xi^3 + 16384*xe*xg*xi^2*xj - 
            1024*xe*xg*xi^2 + 8192*xe*xg*xi*xj^2 + 256*xe*xg*xi*xj + 
            48*xe*xg*xi + 1280*xe*xg*xj^2 - 240*xe*xg*xj + 8192*xe*xh^3*xi + 
            8192*xe*xh^3*xj + 16384*xe*xh^2*xi^2 + 24576*xe*xh^2*xi*xj - 
            2304*xe*xh^2*xi + 8192*xe*xh^2*xj^2 - 768*xe*xh^2*xj + 
            8192*xe*xh*xi^3 + 16384*xe*xh*xi^2*xj - 2560*xe*xh*xi^2 + 
            8192*xe*xh*xi*xj^2 - 2816*xe*xh*xi*xj + 176*xe*xh*xi - 
            256*xe*xh*xj^2 - 112*xe*xh*xj - 96*xe*xi*xj - 96*xe*xj^2 + 
            12*xe*xj + 4096*xf^4*xg + 4096*xf^4*xh + 4096*xf^4*xi + 
            4096*xf^4*xj + 4096*xf^3*xg^2 + 16384*xf^3*xg*xh + 
            16384*xf^3*xg*xi + 8192*xf^3*xg*xj - 512*xf^3*xg + 
            12288*xf^3*xh^2 + 24576*xf^3*xh*xi + 16384*xf^3*xh*xj - 
            1536*xf^3*xh + 12288*xf^3*xi^2 + 16384*xf^3*xi*xj - 
            1024*xf^3*xi + 4096*xf^3*xj^2 + 8192*xf^2*xg^2*xh + 
            12288*xf^2*xg^2*xi + 4096*xf^2*xg^2*xj - 512*xf^2*xg^2 + 
            20480*xf^2*xg*xh^2 + 49152*xf^2*xg*xh*xi + 24576*xf^2*xg*xh*xj - 
            3072*xf^2*xg*xh + 24576*xf^2*xg*xi^2 + 24576*xf^2*xg*xi*xj - 
            2816*xf^2*xg*xi + 4096*xf^2*xg*xj^2 + 1280*xf^2*xg*xj + 
            32*xf^2*xg + 12288*xf^2*xh^3 + 40960*xf^2*xh^2*xi + 
            24576*xf^2*xh^2*xj - 2560*xf^2*xh^2 + 40960*xf^2*xh*xi^2 + 
            49152*xf^2*xh*xi*xj - 5632*xf^2*xh*xi + 12288*xf^2*xh*xj^2 - 
            1536*xf^2*xh*xj + 160*xf^2*xh + 12288*xf^2*xi^3 + 
            20480*xf^2*xi^2*xj - 1920*xf^2*xi^2 + 8192*xf^2*xi*xj^2 - 
            1536*xf^2*xi*xj + 96*xf^2*xi + 384*xf^2*xj^2 - 160*xf^2*xj + 
            4096*xf*xg^2*xh^2 + 16384*xf*xg^2*xh*xi + 8192*xf*xg^2*xh*xj - 
            1024*xf*xg^2*xh + 12288*xf*xg^2*xi^2 + 8192*xf*xg^2*xi*xj - 
            1280*xf*xg^2*xi + 1792*xf*xg^2*xj + 8192*xf*xg*xh^3 + 
            40960*xf*xg*xh^2*xi + 24576*xf*xg*xh^2*xj - 2560*xf*xg*xh^2 + 
            49152*xf*xg*xh*xi^2 + 49152*xf*xg*xh*xi*xj - 7424*xf*xg*xh*xi + 
            8192*xf*xg*xh*xj^2 - 256*xf*xg*xh*xj + 192*xf*xg*xh + 
            16384*xf*xg*xi^3 + 24576*xf*xg*xi^2*xj - 3072*xf*xg*xi^2 + 
            8192*xf*xg*xi*xj^2 - 512*xf*xg*xi*xj + 176*xf*xg*xi + 
            2048*xf*xg*xj^2 - 400*xf*xg*xj + 4096*xf*xh^4 + 
            24576*xf*xh^3*xi + 16384*xf*xh^3*xj - 1536*xf*xh^3 + 
            40960*xf*xh^2*xi^2 + 49152*xf*xh^2*xi*xj - 6144*xf*xh^2*xi + 
            12288*xf*xh^2*xj^2 - 2048*xf*xh^2*xj + 192*xf*xh^2 + 
            24576*xf*xh*xi^3 + 40960*xf*xh*xi^2*xj - 6400*xf*xh*xi^2 + 
            16384*xf*xh*xi*xj^2 - 6144*xf*xh*xi*xj + 464*xf*xh*xi - 
            256*xf*xh*xj^2 - 112*xf*xh*xj - 8*xf*xh + 4096*xf*xi^4 + 
            8192*xf*xi^3*xj - 1280*xf*xi^3 + 4096*xf*xi^2*xj^2 - 
            1792*xf*xi^2*xj + 112*xf*xi^2 - 768*xf*xi*xj^2 - 32*xf*xi*xj - 
            4*xf*xi - 256*xf*xj^3 - 144*xf*xj^2 + 20*xf*xj + 256*xg^3*xi + 
            768*xg^3*xj + 4096*xg^2*xh^2*xi + 4096*xg^2*xh^2*xj + 
            8192*xg^2*xh*xi^2 + 8192*xg^2*xh*xi*xj - 768*xg^2*xh*xi + 
            1792*xg^2*xh*xj + 4096*xg^2*xi^3 + 4096*xg^2*xi^2*xj - 
            640*xg^2*xi^2 + 2048*xg^2*xi*xj - 16*xg^2*xi + 2688*xg^2*xj^2 - 
            304*xg^2*xj + 8192*xg*xh^3*xi + 8192*xg*xh^3*xj + 
            20480*xg*xh^2*xi^2 + 24576*xg*xh^2*xi*xj - 2816*xg*xh^2*xi + 
            4096*xg*xh^2*xj^2 + 768*xg*xh^2*xj + 16384*xg*xh*xi^3 + 
            24576*xg*xh*xi^2*xj - 3584*xg*xh*xi^2 + 8192*xg*xh*xi*xj^2 - 
            1536*xg*xh*xi*xj + 224*xg*xh*xi + 2048*xg*xh*xj^2 - 
            416*xg*xh*xj + 4096*xg*xi^4 + 8192*xg*xi^3*xj - 512*xg*xi^3 + 
            4096*xg*xi^2*xj^2 + 512*xg*xi^2*xj + 16*xg*xi^2 + 
            1536*xg*xi*xj^2 - 352*xg*xi*xj + 512*xg*xj^3 - 368*xg*xj^2 + 
            32*xg*xj + 4096*xh^4*xi + 4096*xh^4*xj + 12288*xh^3*xi^2 + 
            16384*xh^3*xi*xj - 1792*xh^3*xi + 4096*xh^3*xj^2 - 256*xh^3*xj + 
            12288*xh^2*xi^3 + 20480*xh^2*xi^2*xj - 2944*xh^2*xi^2 + 
            8192*xh^2*xi*xj^2 - 3584*xh^2*xi*xj + 240*xh^2*xi - 
            640*xh^2*xj^2 - 112*xh^2*xj + 4096*xh*xi^4 + 8192*xh*xi^3*xj - 
            2048*xh*xi^3 + 4096*xh*xi^2*xj^2 - 3584*xh*xi^2*xj + 
            272*xh*xi^2 - 2048*xh*xi*xj^2 + 160*xh*xi*xj - 12*xh*xi - 
            512*xh*xj^3 - 112*xh*xj^2 + 20*xh*xj - 512*xi^2*xj^2 - 
            32*xi^2*xj - 1024*xi*xj^3 + 12*xi*xj - 512*xj^4 + 32*xj^3 + 
            12*xj^2 - xj};\)\)

{a0, a1, a2, a3, a4, a5, a6, a7, a8, a9}=Table[Random[Real], {i, 10}];
{a0, a1, a2, a3, a4, a5, a6, a7, a8, 
          a9} = {a0, a1, a2, a3, a4, a5, a6, a7, a8, 
            a9}/(4 (a0 + a1 + a3 + a4) + 
              8 (a2 + a5 + a6 + a7 + a8 + a9));

kiin[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9]