ガロア群が (Subscript[G, 72]) (またはその部分群) の方程式の厳密解  
with Mathematica 14

例：f(x)=(x^6) + 3 (x^3) + 9 (x^2) + 9 x + 9       
                                                                                    2025 年5月31日  by  　(HyperlinkURL["mixedmoss", https://mixedmoss.com])

注 【計算量が多いので，ノートブックの評価には30秒ほどかかります】

ClearAll["Global`*"]

§1. ガロア群 (Subscript[G, 72])について

既約で可解な6次方程式のガロア群Galは大きく分けて，3つのグループに分かれます．(添え数字は位数を表します.)
    ({{{, ({{(Subscript[G, 72])グループ:, (Subscript[G, 72]), (Subscript[G, 36]), (Subscript[Γ, 36]), (Subscript[G, 18])((Subscript[G, 72])の部分群だが(Subscript[G, 48])の部分群でない)}, {(Subscript[G, 48])グループ:, (Subscript[G, 48]),(Subscript[G, 24]), (Subscript[Γ, 24]),(Subscript[H, 24]), (Subscript[Γ, 12])((Subscript[G, 48])の部分群(Subscript[だがG, 72])の部分群でない)}, {(Subscript[G, 12])グループ:, (Subscript[G, 12]), (Subscript[C, 6]), (Subscript[H, 6])((Subscript[G, 72])(Subscript[とG, 48])(Subscript[の共通の部分群でG, 12])の部分群となる)}})}})
(Subscript[G, 72]) の分解列は,例えば   (Subscript[G, 72])⊳(Subscript[G, 36])⊳(Subscript[G, 18])⊳(Subscript[H, 6])≃(Subscript[S, 3]) ⊳(Subscript[C, 3])⊳{id}

(Subscript[G, 72])は定まった名前はないようですが，例えば 

 (Subscript[G, 72])=<σ,τ>, σ=(1,2,3,4,5,6),τ=(1,3) 

です．ガロア群が (Subscript[G, 72])グループとなる方程式の例としては 「f(x)=(((g(x)))^2)+a (g(x))+b (a,bは有理数,gは3次式)」があります．例えば
「f(x)=((((x^3)+(x^2)+x+1))^2)+4((x^3)+(x^2)+x+1)+1=(x^6)+2(x^5)+3(x^4)+8(x^3)+7(x^2)+6x+6」 のガロア群は (Subscript[G, 72]) です．この例は，「2次方程式→3次方程式」の順で比較的簡単に解くことができます．これと同様に 「2次方程式→3次方程式」の順で，Gal=(Subscript[G, 72 ])(Subscript[やグループG, 72]),(Subscript[G, 12])の方程式は解くことが可能です．因みに Gal=(Subscript[G, 72])の方程式は 可解で既約な5次方程式のほぼ半分を占めており，その内わずか 7％ほどが上の様な形に直ります．(但し fがmonicかつ整数係数でその絶対値が10以下の場合)

ここでは上のような簡単な形にならないGal=(Subscript[G, 72])の方程式の例として「f(x)=(x^6)+3(x^3)+9(x^2)+9 x+9」を取り上げます． なお，ガロア群について詳しくは sexticEquationsGaloisGroup.nb     をご覧ください．

§2 . ガロア分解式 (Galois Resolvent)

5次方程式に関するDummit氏の論文(1991年)の， (Subscript[f, 20])(x)=(x- (Subscript[θ, 1]))  (x-  (Subscript[θ, 2]))  (x- (Subscript[θ, 3]))(x- (Subscript[θ, 4]))(x- (Subscript[θ, 5]))(x- (Subscript[θ, 6])) がその例です．ただこの論文では Galois Resolventは (Subscript[f, 20])(x) の一つだけで，またGalois Resolvent という言葉は使われていません．6次方程式に関するHagedorn氏の論文(2000年)では，Galois Resolvent という言葉が与えられて，かつ10個ほど使われています．一方 「Minnesota Journal of Undergraduate Mathematics vol1 #1(2015年)」では absolute Resolvent という名前になっているので，結局，定まった名前はないようです．ガロア理論の入門書(数学書)には載っていないですが，歴史は古く，Emmy Noether 氏が1915年の論文で触れたようです．Noether 氏がどのようなことを書いたのかは全く知りませんが，コンピューターを使って解を計算したり ガロア群を求めるにはとても有効みたいです．私は今まで5次方程式や7次方程式を解くときは，原始元vによるfの解の表現を使っていたのですが，Gal= (Subscript[G, 72]) の時は SageMathを使っても正しい式が見つからなかったので，今回は Galois Resolventを使うことにしました．

まず  「(Subscript[G, 72])= <σ,τ>, σ=(1,2,3,4,5,6),τ=(1,3)  」 によって不変な式を1つ見つけます．例えば  θ=(x1 + x3 + x5) (x2 + x4 + x6) がそれに当たります．次に [(Subscript[S, 6]): (Subscript[G, 72])]=6!/72=10 なので ,(Subscript[S, 6])は (Subscript[G, 72])の10個の剰余類に 分けられます．その代表元の集合をΣ10 とし，θをΣ10 の全ての要素で置換して作った積 p(x)= Π(x-(Subscript[θ, Σ10])) は ,x1~x6の対称式となり，p(x)は有理数係数の多項式となります．そしてp(x) の10個の解のうちちょうど一個が θとなる訳ですが, θは (Subscript[G, 72])によって不変なので，有理数です．即ち  p(x)は有理数解θを少なくとも1つ持ちます．可解な5次方程式の時は，有理数θはただ1つだったのですが, 6次方程式では異なります．さてまずは  Σ10 ({x1,x3,x5,x2,x4,x6}の置換として表現)を作ります．

Clear[x1,x2,x3,x4,x5,x6]

Σ10=(set=Subsets[{x1,x3,x5,x2,x4,x6},{3}][[1;;10]];Table[Flatten[{set[[k]],Complement[{x1,x2,x3,x4,x5,x6},set[[k]]]}],{k,1,10}])

次に 「f(x)=(x^6)-(Subscript[a, 1])(x^5)+(Subscript[a, 2])(x^4)-(Subscript[a, 3])(x^3)+(Subscript[a, 4])(x^2)-(Subscript[a, 5])x+(Subscript[a, 6]) 」と置きます．即ち 「f(x)の n次対称式が (Subscript[a, n]) (n=1,2,..6)」です．そして θ=(Subscript[θ, a])=(x1+x3+x5) (x2+x4+x6)と取ります．このとき

p=Product[(x-(x1+x3+x5)(x2+x4+x6))/.AssociationThread[Σ10[[1]]->Σ10[[k]]],{k,1,10}]

これを展開すると x1~x6 の対称式となるので，SymmetricReduction を使って，(Subscript[a, 1])~(Subscript[a, 6 ])の式に直して p10a と名付けます.(計算には20秒ほど掛かります)

(RefLink[SymmetricReduction, paclet:ref/SymmetricReduction])[f,{(Subscript[x, 1]),…,(Subscript[x, n])},{(Subscript[s, 1]),…,(Subscript[s, n])}]
p における初等対称式を (Subscript[s, 1]),…,(Subscript[s, n])で置き換えたペア{p,q}を与える．

makeP10[p_] := SymmetricReduction[Expand[Product[(x - p) /. AssociationThread[Σ10[[1]] -> Σ10[[k]]], {k, 1, 10}]], {x1, x2, x3, x4, x5, x6}, {a1, a2, a3, a4, a5, a6}][[1]] // Collect[#, x] &;

p10a = makeP10[(x1+x3+x5)(x2+x4+x6)]

今，計算したのは
 (Subscript[θ, a]) = (x1 + x3+  x5) (x2+  x4+  x6)
でした．(ちなみに HageDorn 氏の論文には 付録として この式が載っていますが，一部これと違っています．何故なのか解りません．)  p10aに具体的な数字を代入するのは後回しにして，(Subscript[G, 72])不変な式を更に考えます．
 (Subscript[θ, b]) = (x1  x3 + x3  x5 + x5  x1) + (x2  x4 + x4  x6 + x6  x2)
(Subscript[θ, c]) = (x1 + x3 + x5) (x1  x3 + x3  x5 + x5  x1) + (x2 + x4 + x6) (x2  x4 + x4  x6 + x6  x2)
(Subscript[θ, d]) = x1  x3  x5 + x2  x4  x6
 (Subscript[θ, e]) = (x1 + x3 + x5) (x1  x3  x5) + (x2 + x4 + x6) (x2  x4  x6)
  (Subscript[θ, f]) = (x1  x3 +x3  x5+x5 x1)  (x2 x4 +x4 x6+ x6 x2)

これらについても「θ をΣ10の要素で置換した式の積」と「基本対称式への変形」を行い，順に多項式  p10b, p10c, p10d, p10e,p10f   を作りますが，これらの計算は  p10a  より更に時間がかかるので，コマンドはコメントアウトし結果も  closed  cell  に入れてあります．Mathematicaでは，右側の小さい 「コ」 マークをクリックして 「評価」して下さい．また結果の式を見るには 「セル」 → 「セルのプロパティ」 → 「開く」 を選択してください．Mathematicaをお持ちでない方は  「formulas . txt」 をご覧ください．結果は信じられないほど長く検索が必要な位です．(1万行を超えます.)

(*p10b= makeP10[(x1 x3+x3 x5+x5 x1)+(x2 x4+x4 x6+x6 x2)]*)(*結果は直下の closed cell に入っています*)

p10b=a2 (a3^6)+2 (a1^2) a2 (a3^4) a4-8 (a2^2) (a3^4) a4-a1 (a3^5) a4+(a1^4) a2 (a3^2) (a4^2)-8 (a1^2) (a2^2) (a3^2) (a4^2)+16 (a2^3) (a3^2) (a4^2)-2 (a1^3) (a3^3) (a4^2)+8 a1 a2 (a3^3) (a4^2)+(a3^4) (a4^2)-(a1^5) a3 (a4^3)+8 (a1^3) a2 a3 (a4^3)-16 a1 (a2^2) a3 (a4^3)+2 (a1^2) (a3^2) (a4^3)-8 a2 (a3^2) (a4^3)+(a1^4) (a4^4)-8 (a1^2) a2 (a4^4)+16 (a2^2) (a4^4)+(a1^4) a2 (a3^3) a5-8 (a1^2) (a2^2) (a3^3) a5+16 (a2^3) (a3^3) a5+(a1^6) a2 a3 a4 a5-12 (a1^4) (a2^2) a3 a4 a5+48 (a1^2) (a2^3) a3 a4 a5-64 (a2^4) a3 a4 a5-(a1^5) (a3^2) a4 a5+8 (a1^3) a2 (a3^2) a4 a5-16 a1 (a2^2) (a3^2) a4 a5-(a1^2) (a3^3) a4 a5+4 a2 (a3^3) a4 a5-(a1^7) (a4^2) a5+12 (a1^5) a2 (a4^2) a5-48 (a1^3) (a2^2) (a4^2) a5+64 a1 (a2^3) (a4^2) a5-(a1^4) a3 (a4^2) a5+8 (a1^2) a2 a3 (a4^2) a5-16 (a2^2) a3 (a4^2) a5-(a1^6) (a2^2) (a5^2)+12 (a1^4) (a2^3) (a5^2)-48 (a1^2) (a2^4) (a5^2)+64 (a2^5) (a5^2)-3 (a1^5) a2 a3 (a5^2)+24 (a1^3) (a2^2) a3 (a5^2)-48 a1 (a2^3) a3 (a5^2)-9 (a1^2) a2 (a3^2) (a5^2)+36 (a2^2) (a3^2) (a5^2)-a1 (a3^3) (a5^2)+2 (a1^6) a4 (a5^2)-20 (a1^4) a2 a4 (a5^2)+64 (a1^2) (a2^2) a4 (a5^2)-64 (a2^3) a4 (a5^2)+5 (a1^3) a3 a4 (a5^2)-20 a1 a2 a3 a4 (a5^2)+2 (a3^2) a4 (a5^2)-2 (a1^2) (a4^2) (a5^2)+8 a2 (a4^2) (a5^2)-(a1^5) (a5^3)+8 (a1^3) a2 (a5^3)-16 a1 (a2^2) (a5^3)-3 (a1^2) a3 (a5^3)+12 a2 a3 (a5^3)+(a5^4)-(a1^6) a2 (a3^2) a6+8 (a1^4) (a2^2) (a3^2) a6-16 (a1^2) (a2^3) (a3^2) a6-8 (a1^3) a2 (a3^3) a6+32 a1 (a2^2) (a3^3) a6+(a1^2) (a3^4) a6-12 a2 (a3^4) a6+(a1^7) a3 a4 a6-8 (a1^5) a2 a3 a4 a6+16 (a1^3) (a2^2) a3 a4 a6+10 (a1^4) (a3^2) a4 a6-40 (a1^2) a2 (a3^2) a4 a6+8 a1 (a3^3) a4 a6-4 (a1^4) a2 (a4^2) a6+32 (a1^2) (a2^2) (a4^2) a6-64 (a2^3) (a4^2) a6-16 (a1^3) a3 (a4^2) a6+64 a1 a2 a3 (a4^2) a6-8 (a3^2) (a4^2) a6+8 (a1^2) (a4^3) a6-32 a2 (a4^3) a6+2 (a1^7) a2 a5 a6-24 (a1^5) (a2^2) a5 a6+96 (a1^3) (a2^3) a5 a6-128 a1 (a2^4) a5 a6+(a1^6) a3 a5 a6+4 (a1^4) a2 a3 a5 a6-80 (a1^2) (a2^2) a3 a5 a6+192 (a2^3) a3 a5 a6+2 (a1^3) (a3^2) a5 a6-8 a1 a2 (a3^2) a5 a6-4 (a1^5) a4 a5 a6+32 (a1^3) a2 a4 a5 a6-64 a1 (a2^2) a4 a5 a6+4 (a1^2) a3 a4 a5 a6-16 a2 a3 a4 a5 a6+4 (a1^4) (a5^2) a6-28 (a1^2) a2 (a5^2) a6+48 (a2^2) (a5^2) a6+4 a1 a3 (a5^2) a6-8 a4 (a5^2) a6-(a1^8) (a6^2)+12 (a1^6) a2 (a6^2)-48 (a1^4) (a2^2) (a6^2)+64 (a1^2) (a2^3) (a6^2)-8 (a1^5) a3 (a6^2)+64 (a1^3) a2 a3 (a6^2)-128 a1 (a2^2) a3 (a6^2)-8 (a1^2) (a3^2) (a6^2)+48 a2 (a3^2) (a6^2)+8 (a1^4) a4 (a6^2)-64 (a1^2) a2 a4 (a6^2)+128 (a2^2) a4 (a6^2)-16 a1 a3 a4 (a6^2)+16 (a4^2) (a6^2)-8 (a1^3) a5 (a6^2)+32 a1 a2 a5 (a6^2)+16 (a1^2) (a6^3)-64 a2 (a6^3)+(-3 a1 a2 (a3^5)-(a3^6)-4 (a1^3) a2 (a3^3) a4+16 a1 (a2^2) (a3^3) a4+(a1^2) (a3^4) a4+14 a2 (a3^4) a4-(a1^5) a2 a3 (a4^2)+8 (a1^3) (a2^2) a3 (a4^2)-16 a1 (a2^3) a3 (a4^2)+3 (a1^4) (a3^2) (a4^2)-4 (a1^2) a2 (a3^2) (a4^2)-32 (a2^2) (a3^2) (a4^2)-10 a1 (a3^3) (a4^2)+(a1^6) (a4^3)-10 (a1^4) a2 (a4^3)+32 (a1^2) (a2^2) (a4^3)-32 (a2^3) (a4^3)-10 (a1^3) a3 (a4^3)+40 a1 a2 a3 (a4^3)+8 (a3^2) (a4^3)+8 (a1^2) (a4^4)-32 a2 (a4^4)-(a1^5) a2 (a3^2) a5+8 (a1^3) (a2^2) (a3^2) a5-16 a1 (a2^3) (a3^2) a5-(a1^4) (a3^3) a5+20 (a1^2) a2 (a3^3) a5-64 (a2^2) (a3^3) a5+a1 (a3^4) a5+20 (a1^4) a2 a3 a4 a5-160 (a1^2) (a2^2) a3 a4 a5+320 (a2^3) a3 a4 a5-7 (a1^3) (a3^2) a4 a5+28 a1 a2 (a3^2) a4 a5-6 (a3^3) a4 a5-13 (a1^5) (a4^2) a5+104 (a1^3) a2 (a4^2) a5-208 a1 (a2^2) (a4^2) a5-10 (a1^2) a3 (a4^2) a5+40 a2 a3 (a4^2) a5+4 (a1^6) a2 (a5^2)-54 (a1^4) (a2^2) (a5^2)+240 (a1^2) (a2^3) (a5^2)-352 (a2^4) (a5^2)+4 (a1^5) a3 (a5^2)-47 (a1^3) a2 a3 (a5^2)+124 a1 (a2^2) a3 (a5^2)+14 (a1^2) (a3^2) (a5^2)-86 a2 (a3^2) (a5^2)+19 (a1^4) a4 (a5^2)-130 (a1^2) a2 a4 (a5^2)+216 (a2^2) a4 (a5^2)+18 a1 a3 a4 (a5^2)-8 (a4^2) (a5^2)-7 (a1^3) (a5^3)+28 a1 a2 (a5^3)-14 a3 (a5^3)+4 (a1^5) (a2^2) a3 a6-32 (a1^3) (a2^3) a3 a6+64 a1 (a2^4) a3 a6+(a1^6) (a3^2) a6-10 (a1^4) a2 (a3^2) a6+48 (a1^2) (a2^2) (a3^2) a6-96 (a2^3) (a3^2) a6+5 (a1^3) (a3^3) a6-36 a1 a2 (a3^3) a6+12 (a3^4) a6-4 (a1^6) a2 a4 a6+40 (a1^4) (a2^2) a4 a6-128 (a1^2) (a2^3) a4 a6+128 (a2^4) a4 a6-2 (a1^5) a3 a4 a6+8 (a1^3) a2 a3 a4 a6+26 (a1^2) (a3^2) a4 a6+8 a2 (a3^2) a4 a6+14 (a1^4) (a4^2) a6-112 (a1^2) a2 (a4^2) a6+224 (a2^2) (a4^2) a6-56 a1 a3 (a4^2) a6+32 (a4^3) a6-4 (a1^7) a5 a6+64 (a1^5) a2 a5 a6-320 (a1^3) (a2^2) a5 a6+512 a1 (a2^3) a5 a6-14 (a1^4) a3 a5 a6+232 (a1^2) a2 a3 a5 a6-704 (a2^2) a3 a5 a6+4 a1 (a3^2) a5 a6-36 (a1^3) a4 a5 a6+144 a1 a2 a4 a5 a6+24 a3 a4 a5 a6+30 (a1^2) (a5^2) a6-112 a2 (a5^2) a6-6 (a1^6) (a6^2)+40 (a1^4) a2 (a6^2)-32 (a1^2) (a2^2) (a6^2)-128 (a2^3) (a6^2)-52 (a1^3) a3 (a6^2)+192 a1 a2 a3 (a6^2)-48 (a3^2) (a6^2)+72 (a1^2) a4 (a6^2)-256 a2 a4 (a6^2)-32 a1 a5 (a6^2)+64 (a6^3)) x+(3 (a1^2) a2 (a3^4)+3 (a2^2) (a3^4)+3 a1 (a3^5)+2 (a1^4) a2 (a3^2) a4-4 (a1^2) (a2^2) (a3^2) a4-16 (a2^3) (a3^2) a4+(a1^3) (a3^3) a4-30 a1 a2 (a3^3) a4-6 (a3^4) a4+(a1^4) (a2^2) (a4^2)-8 (a1^2) (a2^3) (a4^2)+16 (a2^4) (a4^2)-(a1^5) a3 (a4^2)-6 (a1^3) a2 a3 (a4^2)+40 a1 (a2^2) a3 (a4^2)+13 (a1^2) (a3^2) (a4^2)+18 a2 (a3^2) (a4^2)+10 (a1^4) (a4^3)-62 (a1^2) a2 (a4^3)+88 (a2^2) (a4^3)-24 a1 a3 (a4^3)+16 (a4^4)+(a1^4) (a2^2) a3 a5-8 (a1^2) (a2^3) a3 a5+16 (a2^4) a3 a5+(a1^5) (a3^2) a5-22 (a1^3) a2 (a3^2) a5+72 a1 (a2^2) (a3^2) a5-15 (a1^2) (a3^3) a5+84 a2 (a3^3) a5-3 (a1^5) a2 a4 a5+24 (a1^3) (a2^2) a4 a5-48 a1 (a2^3) a4 a5-9 (a1^4) a3 a4 a5+183 (a1^2) a2 a3 a4 a5-588 (a2^2) a3 a4 a5-9 a1 (a3^2) a4 a5-55 (a1^3) (a4^2) a5+220 a1 a2 (a4^2) a5-24 a3 (a4^2) a5-4 (a1^6) (a5^2)+79 (a1^4) a2 (a5^2)-449 (a1^2) (a2^2) (a5^2)+788 (a2^3) (a5^2)+18 (a1^3) a3 (a5^2)-87 a1 a2 a3 (a5^2)+51 (a3^2) (a5^2)+68 (a1^2) a4 (a5^2)-246 a2 a4 (a5^2)-11 a1 (a5^3)-4 (a1^4) (a2^3) a6+32 (a1^2) (a2^4) a6-64 (a2^5) a6-9 (a1^5) a2 a3 a6+80 (a1^3) (a2^2) a3 a6-176 a1 (a2^3) a3 a6+5 (a1^4) (a3^2) a6-81 (a1^2) a2 (a3^2) a6+324 (a2^2) (a3^2) a6+3 a1 (a3^3) a6+7 (a1^6) a4 a6-94 (a1^4) a2 a4 a6+392 (a1^2) (a2^2) a4 a6-512 (a2^3) a4 a6-9 (a1^3) a3 a4 a6-36 a1 a2 a3 a4 a6-6 (a3^2) a4 a6+74 (a1^2) (a4^2) a6-240 a2 (a4^2) a6-35 (a1^5) a5 a6+314 (a1^3) a2 a5 a6-696 a1 (a2^2) a5 a6-153 (a1^2) a3 a5 a6+852 a2 a3 a5 a6-84 a1 a4 a5 a6+66 (a5^2) a6+4 (a1^4) (a6^2)-108 (a1^2) a2 (a6^2)+384 (a2^2) (a6^2)-60 a1 a3 (a6^2)+120 a4 (a6^2)) (x^2)+(-(a1^3) a2 (a3^3)-6 a1 (a2^2) (a3^3)-3 (a1^2) (a3^4)-6 a2 (a3^4)-4 (a1^3) (a2^2) a3 a4+16 a1 (a2^3) a3 a4-(a1^4) (a3^2) a4+10 (a1^2) a2 (a3^2) a4+44 (a2^2) (a3^2) a4+14 a1 (a3^3) a4+12 (a1^2) (a2^2) (a4^2)-48 (a2^3) (a4^2)-2 (a1^3) a3 (a4^2)-34 a1 a2 a3 (a4^2)-2 (a3^2) (a4^2)+30 (a1^2) (a4^3)-80 a2 (a4^3)+20 (a1^2) (a2^2) a3 a5-80 (a2^3) a3 a5+17 (a1^3) (a3^2) a5-102 a1 a2 (a3^2) a5-36 (a3^3) a5+4 (a1^5) a4 a5-56 (a1^3) a2 a4 a5+160 a1 (a2^2) a4 a5-72 (a1^2) a3 a4 a5+470 a2 a3 a4 a5-76 a1 (a4^2) a5-36 (a1^4) (a5^2)+368 (a1^2) a2 (a5^2)-898 (a2^2) (a5^2)+10 a1 a3 (a5^2)+94 a4 (a5^2)+16 (a1^4) (a2^2) a6-144 (a1^2) (a2^3) a6+320 (a2^4) a6+4 (a1^5) a3 a6-48 (a1^3) a2 a3 a6+112 a1 (a2^2) a3 a6+52 (a1^2) (a3^2) a6-366 a2 (a3^2) a6+48 (a1^4) a4 a6-376 (a1^2) a2 a4 a6+752 (a2^2) a4 a6+34 a1 a3 a4 a6+80 (a4^2) a6-88 (a1^3) a5 a6+356 a1 a2 a5 a6-342 a3 a5 a6+74 (a1^2) (a6^2)-384 a2 (a6^2)) (x^3)+(3 (a1^2) (a2^2) (a3^2)+3 (a2^3) (a3^2)+(a1^3) (a3^3)+12 a1 a2 (a3^3)+3 (a3^4)+2 (a1^2) (a2^3) a4-8 (a2^4) a4+6 (a1^3) a2 a3 a4-45 a1 (a2^2) a3 a4-6 (a1^2) (a3^2) a4-40 a2 (a3^2) a4-(a1^4) (a4^2)+49 (a2^2) (a4^2)+10 a1 a3 (a4^2)+24 (a4^3)-2 (a1^3) (a2^2) a5+8 a1 (a2^3) a5-2 (a1^4) a3 a5-15 (a1^2) a2 a3 a5+148 (a2^2) a3 a5+46 a1 (a3^2) a5+32 (a1^3) a4 a5-175 a1 a2 a4 a5-138 a3 a4 a5-111 (a1^2) (a5^2)+521 a2 (a5^2)-22 (a1^4) a2 a6+246 (a1^2) (a2^2) a6-640 (a2^3) a6-3 (a1^3) a3 a6+57 a1 a2 a3 a6+138 (a3^2) a6+113 (a1^2) a4 a6-482 a2 a4 a6-43 a1 a5 a6+129 (a6^2)) (x^4)+(-3 a1 (a2^3) a3-6 (a1^2) a2 (a3^2)-9 (a2^2) (a3^2)-6 a1 (a3^3)-5 (a1^2) (a2^2) a4+30 (a2^3) a4-2 (a1^3) a3 a4+42 a1 a2 a3 a4+12 (a3^2) a4-4 (a1^2) (a4^2)-18 a2 (a4^2)+5 (a1^3) a2 a5-27 a1 (a2^2) a5+3 (a1^2) a3 a5-120 a2 a3 a5+63 a1 a4 a5-123 (a5^2)+11 (a1^4) a6-192 (a1^2) a2 a6+642 (a2^2) a6-57 a1 a3 a6+114 a4 a6) (x^5)+((a2^4)+9 a1 (a2^2) a3+3 (a1^2) (a3^2)+9 a2 (a3^2)+4 (a1^2) a2 a4-42 (a2^2) a4-13 a1 a3 a4+(a4^2)-3 (a1^3) a5+30 a1 a2 a5+36 a3 a5+58 (a1^2) a6-324 a2 a6) (x^6)+(-4 (a2^3)-9 a1 a2 a3-3 (a3^2)-(a1^2) a4+26 a2 a4-11 a1 a5+66 a6) (x^7)+(6 (a2^2)+3 a1 a3-6 a4) (x^8)-4 a2 (x^9)+(x^10);

(*p10c = makeP10[(x1+x3+x5)(x1 x3+x3 x5+x5 x1)+(x2+x4+x6)(x2 x4+x4 x6+x6 x2)]*)

p10c=(a1^4) (a2^4) (a3^6)-3 (a1^3) (a2^3) (a3^7)+3 (a1^2) (a2^2) (a3^8)-a1 a2 (a3^9)+2 (a1^8) (a2^3) (a3^4) a4-8 (a1^6) (a2^4) (a3^4) a4-4 (a1^7) (a2^2) (a3^5) a4+23 (a1^5) (a2^3) (a3^5) a4+2 (a1^6) a2 (a3^6) a4-21 (a1^4) (a2^2) (a3^6) a4+(a1^2) (a2^3) (a3^6) a4+5 (a1^3) a2 (a3^7) a4-2 a1 (a2^2) (a3^7) a4+(a1^2) (a3^8) a4+a2 (a3^8) a4+(a1^12) (a2^2) (a3^2) (a4^2)-8 (a1^10) (a2^3) (a3^2) (a4^2)+16 (a1^8) (a2^4) (a3^2) (a4^2)-(a1^11) a2 (a3^3) (a4^2)+14 (a1^9) (a2^2) (a3^3) (a4^2)-40 (a1^7) (a2^3) (a3^3) (a4^2)-4 (a1^8) a2 (a3^4) (a4^2)+26 (a1^6) (a2^2) (a3^4) (a4^2)-7 (a1^4) (a2^3) (a3^4) (a4^2)-2 (a1^7) (a3^5) (a4^2)+6 (a1^5) a2 (a3^5) (a4^2)+12 (a1^3) (a2^2) (a3^5) (a4^2)-8 (a1^4) (a3^6) (a4^2)-3 (a1^2) a2 (a3^6) (a4^2)-2 a1 (a3^7) (a4^2)-(a1^13) a2 a3 (a4^3)+8 (a1^11) (a2^2) a3 (a4^3)-16 (a1^9) (a2^3) a3 (a4^3)+(a1^12) (a3^2) (a4^3)-15 (a1^10) a2 (a3^2) (a4^3)+42 (a1^8) (a2^2) (a3^2) (a4^3)+8 (a1^6) (a2^3) (a3^2) (a4^3)+8 (a1^9) (a3^3) (a4^3)-46 (a1^7) a2 (a3^3) (a4^3)+20 (a1^6) (a3^4) (a4^3)-24 (a1^4) a2 (a3^4) (a4^3)+(a1^2) (a2^2) (a3^4) (a4^3)+16 (a1^3) (a3^5) (a4^3)-2 a1 a2 (a3^5) (a4^3)+(a3^6) (a4^3)+(a1^12) a2 (a4^4)-8 (a1^10) (a2^2) (a4^4)+16 (a1^8) (a2^3) (a4^4)-2 (a1^11) a3 (a4^4)+24 (a1^9) a2 a3 (a4^4)-64 (a1^7) (a2^2) a3 (a4^4)-16 (a1^8) (a3^2) (a4^4)+82 (a1^6) a2 (a3^2) (a4^4)-8 (a1^4) (a2^2) (a3^2) (a4^4)-34 (a1^5) (a3^3) (a4^4)+16 (a1^3) a2 (a3^3) (a4^4)-8 (a1^2) (a3^4) (a4^4)+(a1^10) (a4^5)-8 (a1^8) a2 (a4^5)+16 (a1^6) (a2^2) (a4^5)+8 (a1^7) a3 (a4^5)-32 (a1^5) a2 a3 (a4^5)+16 (a1^4) (a3^2) (a4^5)+(a1^12) (a2^2) (a3^3) a5-8 (a1^10) (a2^3) (a3^3) a5+16 (a1^8) (a2^4) (a3^3) a5-(a1^11) a2 (a3^4) a5+16 (a1^9) (a2^2) (a3^4) a5-45 (a1^7) (a2^3) (a3^4) a5-12 (a1^5) (a2^4) (a3^4) a5-8 (a1^8) a2 (a3^5) a5+40 (a1^6) (a2^2) (a3^5) a5+34 (a1^4) (a2^3) (a3^5) a5-11 (a1^5) a2 (a3^6) a5-31 (a1^3) (a2^2) (a3^6) a5+a1 (a2^3) (a3^6) a5+8 (a1^2) a2 (a3^7) a5-(a2^2) (a3^7) a5+a1 (a3^8) a5+(a1^16) a2 a3 a4 a5-12 (a1^14) (a2^2) a3 a4 a5+48 (a1^12) (a2^3) a3 a4 a5-64 (a1^10) (a2^4) a3 a4 a5+11 (a1^13) a2 (a3^2) a4 a5-84 (a1^11) (a2^2) (a3^2) a4 a5+144 (a1^9) (a2^3) (a3^2) a4 a5+64 (a1^7) (a2^4) (a3^2) a4 a5+(a1^12) (a3^3) a4 a5+26 (a1^10) a2 (a3^3) a4 a5-83 (a1^8) (a2^2) (a3^3) a4 a5-148 (a1^6) (a2^3) (a3^3) a4 a5+8 (a1^9) (a3^4) a4 a5-6 (a1^7) a2 (a3^4) a4 a5+90 (a1^5) (a2^2) (a3^4) a4 a5-20 (a1^3) (a2^3) (a3^4) a4 a5+9 (a1^6) (a3^5) a4 a5+13 (a1^4) a2 (a3^5) a4 a5+29 (a1^2) (a2^2) (a3^5) a4 a5-18 (a1^3) (a3^6) a4 a5-7 a1 a2 (a3^6) a4 a5-2 (a3^7) a4 a5-(a1^17) (a4^2) a5+13 (a1^15) a2 (a4^2) a5-60 (a1^13) (a2^2) (a4^2) a5+112 (a1^11) (a2^3) (a4^2) a5-64 (a1^9) (a2^4) (a4^2) a5-12 (a1^14) a3 (a4^2) a5+99 (a1^12) a2 a3 (a4^2) a5-216 (a1^10) (a2^2) a3 (a4^2) a5+48 (a1^8) (a2^3) a3 (a4^2) a5-42 (a1^11) (a3^2) (a4^2) a5+139 (a1^9) a2 (a3^2) (a4^2) a5+98 (a1^7) (a2^2) (a3^2) (a4^2) a5+72 (a1^5) (a2^3) (a3^2) (a4^2) a5-32 (a1^8) (a3^3) (a4^2) a5-130 (a1^6) a2 (a3^3) (a4^2) a5-84 (a1^4) (a2^2) (a3^3) (a4^2) a5+43 (a1^5) (a3^4) (a4^2) a5-24 (a1^3) a2 (a3^4) (a4^2) a5+a1 (a2^2) (a3^4) (a4^2) a5+36 (a1^2) (a3^5) (a4^2) a5-a2 (a3^5) (a4^2) a5+6 (a1^13) (a4^3) a5-50 (a1^11) a2 (a4^3) a5+112 (a1^9) (a2^2) (a4^3) a5-32 (a1^7) (a2^3) (a4^3) a5+39 (a1^10) a3 (a4^3) a5-140 (a1^8) a2 a3 (a4^3) a5-64 (a1^6) (a2^2) a3 (a4^3) a5+32 (a1^7) (a3^2) (a4^3) a5+212 (a1^5) a2 (a3^2) (a4^3) a5-16 (a1^3) (a2^2) (a3^2) (a4^3) a5-115 (a1^4) (a3^3) (a4^3) a5+24 (a1^2) a2 (a3^3) (a4^3) a5-8 a1 (a3^4) (a4^3) a5+3 (a1^9) (a4^4) a5-24 (a1^7) a2 (a4^4) a5+48 (a1^5) (a2^2) (a4^4) a5+20 (a1^6) a3 (a4^4) a5-80 (a1^4) a2 a3 (a4^4) a5+32 (a1^3) (a3^2) (a4^4) a5-(a1^16) (a2^2) (a5^2)+12 (a1^14) (a2^3) (a5^2)-48 (a1^12) (a2^4) (a5^2)+64 (a1^10) (a2^5) (a5^2)+(a1^15) a2 a3 (a5^2)-27 (a1^13) (a2^2) a3 (a5^2)+168 (a1^11) (a2^3) a3 (a5^2)-304 (a1^9) (a2^4) a3 (a5^2)+15 (a1^12) a2 (a3^2) (a5^2)-186 (a1^10) (a2^2) (a3^2) (a5^2)+495 (a1^8) (a2^3) (a3^2) (a5^2)+36 (a1^6) (a2^4) (a3^2) (a5^2)+(a1^11) (a3^3) (a5^2)+58 (a1^9) a2 (a3^3) (a5^2)-321 (a1^7) (a2^2) (a3^3) (a5^2)-73 (a1^5) (a2^3) (a3^3) (a5^2)+8 (a1^8) (a3^4) (a5^2)+53 (a1^6) a2 (a3^4) (a5^2)+50 (a1^4) (a2^2) (a3^4) (a5^2)-12 (a1^2) (a2^3) (a3^4) (a5^2)+11 (a1^5) (a3^5) (a5^2)-3 (a1^3) a2 (a3^5) (a5^2)+10 a1 (a2^2) (a3^5) (a5^2)-10 (a1^2) (a3^6) (a5^2)+3 a2 (a3^6) (a5^2)-2 (a1^16) a4 (a5^2)+27 (a1^14) a2 a4 (a5^2)-120 (a1^12) (a2^2) a4 (a5^2)+176 (a1^10) (a2^3) a4 (a5^2)-27 (a1^13) a3 a4 (a5^2)+225 (a1^11) a2 a3 a4 (a5^2)-411 (a1^9) (a2^2) a3 a4 (a5^2)-228 (a1^7) (a2^3) a3 a4 (a5^2)-109 (a1^10) (a3^2) a4 (a5^2)+385 (a1^8) a2 (a3^2) a4 (a5^2)+358 (a1^6) (a2^2) (a3^2) a4 (a5^2)+98 (a1^4) (a2^3) (a3^2) a4 (a5^2)-122 (a1^7) (a3^3) a4 (a5^2)-188 (a1^5) a2 (a3^3) a4 (a5^2)-83 (a1^3) (a2^2) (a3^3) a4 (a5^2)+48 (a1^4) (a3^4) a4 (a5^2)-43 (a1^2) a2 (a3^4) a4 (a5^2)+19 a1 (a3^5) a4 (a5^2)+23 (a1^12) (a4^2) (a5^2)-189 (a1^10) a2 (a4^2) (a5^2)+414 (a1^8) (a2^2) (a4^2) (a5^2)-104 (a1^6) (a2^3) (a4^2) (a5^2)+143 (a1^9) a3 (a4^2) (a5^2)-559 (a1^7) a2 a3 (a4^2) (a5^2)-76 (a1^5) (a2^2) a3 (a4^2) (a5^2)+176 (a1^6) (a3^2) (a4^2) (a5^2)+333 (a1^4) a2 (a3^2) (a4^2) (a5^2)-10 (a1^2) (a2^2) (a3^2) (a4^2) (a5^2)-129 (a1^3) (a3^3) (a4^2) (a5^2)+12 a1 a2 (a3^3) (a4^2) (a5^2)-(a3^4) (a4^2) (a5^2)+5 (a1^8) (a4^3) (a5^2)-18 (a1^6) a2 (a4^3) (a5^2)+56 (a1^4) (a2^2) (a4^3) (a5^2)-2 (a1^5) a3 (a4^3) (a5^2)-80 (a1^3) a2 a3 (a4^3) (a5^2)+16 (a1^2) (a3^2) (a4^3) (a5^2)+16 (a1^4) (a4^4) (a5^2)-(a1^15) (a5^3)+12 (a1^13) a2 (a5^3)-45 (a1^11) (a2^2) (a5^3)+40 (a1^9) (a2^3) (a5^3)+48 (a1^7) (a2^4) (a5^3)-15 (a1^12) a3 (a5^3)+117 (a1^10) a2 a3 (a5^3)-186 (a1^8) (a2^2) a3 (a5^3)-168 (a1^6) (a2^3) a3 (a5^3)-66 (a1^9) (a3^2) (a5^3)+225 (a1^7) a2 (a3^2) (a5^3)+114 (a1^5) (a2^2) (a3^2) (a5^3)+36 (a1^3) (a2^3) (a3^2) (a5^3)-82 (a1^6) (a3^3) (a5^3)+5 (a1^4) a2 (a3^3) (a5^3)-17 (a1^2) (a2^2) (a3^3) (a5^3)+25 (a1^3) (a3^4) (a5^3)-31 a1 a2 (a3^4) (a5^3)-2 (a3^5) (a5^3)+21 (a1^11) a4 (a5^3)-192 (a1^9) a2 a4 (a5^3)+450 (a1^7) (a2^2) a4 (a5^3)-72 (a1^5) (a2^3) a4 (a5^3)+141 (a1^8) a3 a4 (a5^3)-654 (a1^6) a2 a3 a4 (a5^3)-84 (a1^4) (a2^2) a3 a4 (a5^3)+107 (a1^5) (a3^2) a4 (a5^3)+264 (a1^3) a2 (a3^2) a4 (a5^3)-2 a1 (a2^2) (a3^2) a4 (a5^3)-15 (a1^2) (a3^3) a4 (a5^3)+2 a2 (a3^3) a4 (a5^3)+98 (a1^7) (a4^2) (a5^3)-64 (a1^5) a2 (a4^2) (a5^3)+32 (a1^3) (a2^2) (a4^2) (a5^3)-83 (a1^4) a3 (a4^2) (a5^3)-40 (a1^2) a2 a3 (a4^2) (a5^3)+32 (a1^3) (a4^3) (a5^3)+3 (a1^10) (a5^4)-24 (a1^8) a2 (a5^4)+234 (a1^6) (a2^2) (a5^4)-15 (a1^4) (a2^3) (a5^4)+30 (a1^7) a3 (a5^4)-306 (a1^5) a2 a3 (a5^4)-27 (a1^3) (a2^2) a3 (a5^4)-42 (a1^4) (a3^2) (a5^4)+78 (a1^2) a2 (a3^2) (a5^4)+19 a1 (a3^3) (a5^4)+270 (a1^6) a4 (a5^4)-60 (a1^4) a2 a4 (a5^4)+9 (a1^2) (a2^2) a4 (a5^4)-123 (a1^3) a3 a4 (a5^4)-10 a1 a2 a3 a4 (a5^4)-(a3^2) a4 (a5^4)+24 (a1^2) (a4^2) (a5^4)+186 (a1^5) (a5^5)-15 (a1^3) a2 (a5^5)+a1 (a2^2) (a5^5)-42 (a1^2) a3 (a5^5)-a2 a3 (a5^5)+8 a1 a4 (a5^5)+(a5^6)-(a1^16) a2 (a3^2) a6+12 (a1^14) (a2^2) (a3^2) a6-52 (a1^12) (a2^3) (a3^2) a6+96 (a1^10) (a2^4) (a3^2) a6-64 (a1^8) (a2^5) (a3^2) a6-12 (a1^13) a2 (a3^3) a6+100 (a1^11) (a2^2) (a3^3) a6-264 (a1^9) (a2^3) (a3^3) a6+224 (a1^7) (a2^4) (a3^3) a6-45 (a1^10) a2 (a3^4) a6+234 (a1^8) (a2^2) (a3^4) a6-297 (a1^6) (a2^3) (a3^4) a6-4 (a1^4) (a2^4) (a3^4) a6-66 (a1^7) a2 (a3^5) a6+179 (a1^5) (a2^2) (a3^5) a6+12 (a1^3) (a2^3) (a3^5) a6-44 (a1^4) a2 (a3^6) a6-18 (a1^2) (a2^2) (a3^6) a6+(a2^3) (a3^6) a6-(a1^3) (a3^7) a6+10 a1 a2 (a3^7) a6+(a1^17) a3 a4 a6-12 (a1^15) a2 a3 a4 a6+52 (a1^13) (a2^2) a3 a4 a6-96 (a1^11) (a2^3) a3 a4 a6+64 (a1^9) (a2^4) a3 a4 a6+12 (a1^14) (a3^2) a4 a6-94 (a1^12) a2 (a3^2) a4 a6+216 (a1^10) (a2^2) (a3^2) a4 a6-120 (a1^8) (a2^3) (a3^2) a4 a6-32 (a1^6) (a2^4) (a3^2) a4 a6+45 (a1^11) (a3^3) a4 a6-194 (a1^9) a2 (a3^3) a4 a6+114 (a1^7) (a2^2) (a3^3) a4 a6+64 (a1^5) (a2^3) (a3^3) a4 a6+68 (a1^8) (a3^4) a4 a6-104 (a1^6) a2 (a3^4) a4 a6+9 (a1^4) (a2^2) (a3^4) a4 a6-12 (a1^2) (a2^3) (a3^4) a4 a6+55 (a1^5) (a3^5) a4 a6-30 (a1^3) a2 (a3^5) a4 a6+7 a1 (a2^2) (a3^5) a4 a6-5 (a1^2) (a3^6) a4 a6-8 a2 (a3^6) a4 a6-(a1^16) (a4^2) a6+13 (a1^14) a2 (a4^2) a6-64 (a1^12) (a2^2) (a4^2) a6+144 (a1^10) (a2^3) (a4^2) a6-128 (a1^8) (a2^4) (a4^2) a6-19 (a1^13) a3 (a4^2) a6+170 (a1^11) a2 a3 (a4^2) a6-496 (a1^9) (a2^2) a3 (a4^2) a6+480 (a1^7) (a2^3) a3 (a4^2) a6-97 (a1^10) (a3^2) (a4^2) a6+543 (a1^8) a2 (a3^2) (a4^2) a6-746 (a1^6) (a2^2) (a3^2) (a4^2) a6+48 (a1^4) (a2^3) (a3^2) (a4^2) a6-194 (a1^7) (a3^3) (a4^2) a6+414 (a1^5) a2 (a3^3) (a4^2) a6-56 (a1^3) (a2^2) (a3^3) (a4^2) a6-53 (a1^4) (a3^4) (a4^2) a6+58 (a1^2) a2 (a3^4) (a4^2) a6+(a2^2) (a3^4) (a4^2) a6+10 a1 (a3^5) (a4^2) a6+7 (a1^12) (a4^3) a6-62 (a1^10) a2 (a4^3) a6+168 (a1^8) (a2^2) (a4^3) a6-128 (a1^6) (a2^3) (a4^3) a6+49 (a1^9) a3 (a4^3) a6-208 (a1^7) a2 a3 (a4^3) a6+272 (a1^5) (a2^2) a3 (a4^3) a6+70 (a1^6) (a3^2) (a4^3) a6-216 (a1^4) a2 (a3^2) (a4^3) a6-8 (a1^2) (a2^2) (a3^2) (a4^3) a6-34 (a1^3) (a3^3) (a4^3) a6-4 (a3^4) (a4^3) a6+3 (a1^8) (a4^4) a6-80 (a1^6) a2 (a4^4) a6+16 (a1^4) (a2^2) (a4^4) a6+120 (a1^5) a3 (a4^4) a6+32 (a1^2) (a3^2) (a4^4) a6-64 (a1^4) (a4^5) a6+2 (a1^17) a2 a5 a6-28 (a1^15) (a2^2) a5 a6+144 (a1^13) (a2^3) a5 a6-320 (a1^11) (a2^4) a5 a6+256 (a1^9) (a2^5) a5 a6+(a1^16) a3 a5 a6+15 (a1^14) a2 a3 a5 a6-228 (a1^12) (a2^2) a3 a5 a6+848 (a1^10) (a2^3) a3 a5 a6-960 (a1^8) (a2^4) a3 a5 a6+11 (a1^13) (a3^2) a5 a6+45 (a1^11) a2 (a3^2) a5 a6-720 (a1^9) (a2^2) (a3^2) a5 a6+1464 (a1^7) (a2^3) (a3^2) a5 a6-32 (a1^5) (a2^4) (a3^2) a5 a6+37 (a1^10) (a3^3) a5 a6+119 (a1^8) a2 (a3^3) a5 a6-978 (a1^6) (a2^2) (a3^3) a5 a6+24 (a1^4) (a2^3) (a3^3) a5 a6+55 (a1^7) (a3^4) a5 a6+175 (a1^5) a2 (a3^4) a5 a6+110 (a1^3) (a2^2) (a3^4) a5 a6-16 a1 (a2^3) (a3^4) a5 a6+56 (a1^4) (a3^5) a5 a6-74 (a1^2) a2 (a3^5) a5 a6+2 (a2^2) (a3^5) a5 a6-8 a1 (a3^6) a5 a6-3 (a1^15) a4 a5 a6+28 (a1^13) a2 a4 a5 a6-72 (a1^11) (a2^2) a4 a5 a6+128 (a1^7) (a2^4) a4 a5 a6-56 (a1^12) a3 a4 a5 a6+299 (a1^10) a2 a3 a4 a5 a6-204 (a1^8) (a2^2) a3 a4 a5 a6-384 (a1^6) (a2^3) a3 a4 a5 a6-270 (a1^9) (a3^2) a4 a5 a6+839 (a1^7) a2 (a3^2) a4 a5 a6-148 (a1^5) (a2^2) (a3^2) a4 a5 a6+128 (a1^3) (a2^3) (a3^2) a4 a5 a6-492 (a1^6) (a3^3) a4 a5 a6+137 (a1^4) a2 (a3^3) a4 a5 a6-60 (a1^2) (a2^2) (a3^3) a4 a5 a6+7 (a1^3) (a3^4) a4 a5 a6+65 a1 a2 (a3^4) a4 a5 a6+16 (a3^5) a4 a5 a6+121 (a1^11) (a4^2) a5 a6-746 (a1^9) a2 (a4^2) a5 a6+1128 (a1^7) (a2^2) (a4^2) a5 a6-320 (a1^5) (a2^3) (a4^2) a5 a6+451 (a1^8) a3 (a4^2) a5 a6-756 (a1^6) a2 a3 (a4^2) a5 a6+272 (a1^4) (a2^2) a3 (a4^2) a5 a6+381 (a1^5) (a3^2) (a4^2) a5 a6-260 (a1^3) a2 (a3^2) (a4^2) a5 a6-8 a1 (a2^2) (a3^2) (a4^2) a5 a6-213 (a1^2) (a3^3) (a4^2) a5 a6-370 (a1^7) (a4^3) a5 a6+128 (a1^5) a2 (a4^3) a5 a6+32 (a1^3) (a2^2) (a4^3) a5 a6+436 (a1^4) a3 (a4^3) a5 a6+32 a1 (a3^2) (a4^3) a5 a6-128 (a1^3) (a4^4) a5 a6-9 (a1^12) a2 (a5^2) a6+171 (a1^10) (a2^2) (a5^2) a6-612 (a1^8) (a2^3) (a5^2) a6+288 (a1^6) (a2^4) (a5^2) a6-24 (a1^11) a3 (a5^2) a6+72 (a1^9) a2 a3 (a5^2) a6+627 (a1^7) (a2^2) a3 (a5^2) a6-504 (a1^5) (a2^3) a3 (a5^2) a6-160 (a1^8) (a3^2) (a5^2) a6+335 (a1^6) a2 (a3^2) (a5^2) a6-169 (a1^4) (a2^2) (a3^2) (a5^2) a6+68 (a1^2) (a2^3) (a3^2) (a5^2) a6-333 (a1^5) (a3^3) (a5^2) a6+216 (a1^3) a2 (a3^3) (a5^2) a6-5 a1 (a2^2) (a3^3) (a5^2) a6+62 (a1^2) (a3^4) (a5^2) a6-12 a2 (a3^4) (a5^2) a6+218 (a1^10) a4 (a5^2) a6-1365 (a1^8) a2 a4 (a5^2) a6+1218 (a1^6) (a2^2) a4 (a5^2) a6-224 (a1^4) (a2^3) a4 (a5^2) a6+831 (a1^7) a3 a4 (a5^2) a6-730 (a1^5) a2 a3 a4 (a5^2) a6-28 (a1^3) (a2^2) a3 a4 (a5^2) a6+293 (a1^4) (a3^2) a4 (a5^2) a6+3 (a1^2) a2 (a3^2) a4 (a5^2) a6-2 (a2^2) (a3^2) a4 (a5^2) a6-122 a1 (a3^3) a4 (a5^2) a6-967 (a1^6) (a4^2) (a5^2) a6+60 (a1^4) a2 (a4^2) (a5^2) a6+24 (a1^2) (a2^2) (a4^2) (a5^2) a6+578 (a1^3) a3 (a4^2) (a5^2) a6+8 (a3^2) (a4^2) (a5^2) a6-96 (a1^2) (a4^3) (a5^2) a6+72 (a1^9) (a5^3) a6-600 (a1^7) a2 (a5^3) a6+936 (a1^5) (a2^2) (a5^3) a6-48 (a1^3) (a2^3) (a5^3) a6+369 (a1^6) a3 (a5^3) a6-699 (a1^4) a2 a3 (a5^3) a6-48 (a1^2) (a2^2) a3 (a5^3) a6-193 (a1^3) (a3^2) (a5^3) a6+71 a1 a2 (a3^2) (a5^3) a6+8 (a3^3) (a5^3) a6-247 (a1^5) a4 (a5^3) a6-76 (a1^3) a2 a4 (a5^3) a6+8 a1 (a2^2) a4 (a5^3) a6+115 (a1^2) a3 a4 (a5^3) a6-32 a1 (a4^2) (a5^3) a6+522 (a1^4) (a5^4) a6-32 (a1^2) a2 (a5^4) a6+(a2^2) (a5^4) a6-40 a1 a3 (a5^4) a6-4 a4 (a5^4) a6-(a1^18) (a6^2)+16 (a1^16) a2 (a6^2)-100 (a1^14) (a2^2) (a6^2)+304 (a1^12) (a2^3) (a6^2)-448 (a1^10) (a2^4) (a6^2)+256 (a1^8) (a2^5) (a6^2)-12 (a1^15) a3 (a6^2)+148 (a1^13) a2 a3 (a6^2)-664 (a1^11) (a2^2) a3 (a6^2)+1280 (a1^9) (a2^3) a3 (a6^2)-896 (a1^7) (a2^4) a3 (a6^2)-45 (a1^12) (a3^2) (a6^2)+504 (a1^10) a2 (a3^2) (a6^2)-1629 (a1^8) (a2^2) (a3^2) (a6^2)+1672 (a1^6) (a2^3) (a3^2) (a6^2)-64 (a1^4) (a2^4) (a3^2) (a6^2)-66 (a1^9) (a3^3) (a6^2)+667 (a1^7) a2 (a3^3) (a6^2)-1280 (a1^5) (a2^2) (a3^3) (a6^2)+32 (a1^3) (a2^3) (a3^3) (a6^2)-47 (a1^6) (a3^4) (a6^2)+452 (a1^4) a2 (a3^4) (a6^2)+15 (a1^2) (a2^2) (a3^4) (a6^2)-4 (a2^3) (a3^4) (a6^2)+6 (a1^3) (a3^5) (a6^2)-32 a1 a2 (a3^5) (a6^2)+6 (a1^14) a4 (a6^2)-74 (a1^12) a2 a4 (a6^2)+320 (a1^10) (a2^2) a4 (a6^2)-544 (a1^8) (a2^3) a4 (a6^2)+256 (a1^6) (a2^4) a4 (a6^2)-46 (a1^11) a3 a4 (a6^2)-5 (a1^9) a2 a3 a4 (a6^2)+576 (a1^7) (a2^2) a3 a4 (a6^2)-576 (a1^5) (a2^3) a3 a4 (a6^2)-111 (a1^8) (a3^2) a4 (a6^2)-333 (a1^6) a2 (a3^2) a4 (a6^2)+592 (a1^4) (a2^2) (a3^2) a4 (a6^2)+32 (a1^2) (a2^3) (a3^2) a4 (a6^2)-272 (a1^5) (a3^3) a4 (a6^2)-94 (a1^3) a2 (a3^3) a4 (a6^2)+4 (a1^2) (a3^4) a4 (a6^2)+16 a2 (a3^4) a4 (a6^2)+93 (a1^10) (a4^2) (a6^2)-487 (a1^8) a2 (a4^2) (a6^2)+816 (a1^6) (a2^2) (a4^2) (a6^2)-128 (a1^4) (a2^3) (a4^2) (a6^2)+634 (a1^7) a3 (a4^2) (a6^2)-1056 (a1^5) a2 a3 (a4^2) (a6^2)+32 (a1^3) (a2^2) a3 (a4^2) (a6^2)+414 (a1^4) (a3^2) (a4^2) (a6^2)-138 (a1^2) a2 (a3^2) (a4^2) (a6^2)-8 a1 (a3^3) (a4^2) (a6^2)-421 (a1^6) (a4^3) (a6^2)+536 (a1^4) a2 (a4^3) (a6^2)-112 (a1^3) a3 (a4^3) (a6^2)+11 (a1^13) a5 (a6^2)-299 (a1^11) a2 a5 (a6^2)+1572 (a1^9) (a2^2) a5 (a6^2)-2336 (a1^7) (a2^3) a5 (a6^2)+512 (a1^5) (a2^4) a5 (a6^2)-31 (a1^10) a3 a5 (a6^2)-692 (a1^8) a2 a3 a5 (a6^2)+2760 (a1^6) (a2^2) a3 a5 (a6^2)-576 (a1^4) (a2^3) a3 a5 (a6^2)-106 (a1^7) (a3^2) a5 (a6^2)-949 (a1^5) a2 (a3^2) a5 (a6^2)-64 (a1^3) (a2^2) (a3^2) a5 (a6^2)+32 a1 (a2^3) (a3^2) a5 (a6^2)-405 (a1^4) (a3^3) a5 (a6^2)+206 (a1^2) a2 (a3^3) a5 (a6^2)+8 (a2^2) (a3^3) a5 (a6^2)+16 a1 (a3^4) a5 (a6^2)+271 (a1^9) a4 a5 (a6^2)-800 (a1^7) a2 a4 a5 (a6^2)+192 (a1^5) (a2^2) a4 a5 (a6^2)-128 (a1^3) (a2^3) a4 a5 (a6^2)+1686 (a1^6) a3 a4 a5 (a6^2)-244 (a1^4) a2 a3 a4 a5 (a6^2)-64 (a1^2) (a2^2) a3 a4 a5 (a6^2)+599 (a1^3) (a3^2) a4 a5 (a6^2)-132 a1 a2 (a3^2) a4 a5 (a6^2)-32 (a3^3) a4 a5 (a6^2)-1993 (a1^5) (a4^2) a5 (a6^2)+552 (a1^3) a2 (a4^2) a5 (a6^2)+280 (a1^2) a3 (a4^2) a5 (a6^2)+107 (a1^8) (a5^2) (a6^2)-693 (a1^6) a2 (a5^2) (a6^2)+1068 (a1^4) (a2^2) (a5^2) (a6^2)-32 (a1^2) (a2^3) (a5^2) (a6^2)+1150 (a1^5) a3 (a5^2) (a6^2)-649 (a1^3) a2 a3 (a5^2) (a6^2)-40 a1 (a2^2) a3 (a5^2) (a6^2)-84 (a1^2) (a3^2) (a5^2) (a6^2)-2008 (a1^4) a4 (a5^2) (a6^2)+150 (a1^2) a2 a4 (a5^2) (a6^2)+168 a1 a3 a4 (a5^2) (a6^2)+342 (a1^3) (a5^3) (a6^2)+4 a1 a2 (a5^3) (a6^2)+90 (a1^12) (a6^3)-755 (a1^10) a2 (a6^3)+2060 (a1^8) (a2^2) (a6^3)-1984 (a1^6) (a2^3) (a6^3)+256 (a1^4) (a2^4) (a6^3)+221 (a1^9) a3 (a6^3)-1436 (a1^7) a2 a3 (a6^3)+2240 (a1^5) (a2^2) a3 (a6^3)-128 (a1^3) (a2^3) a3 (a6^3)+270 (a1^6) (a3^2) (a6^3)-1433 (a1^4) a2 (a3^2) (a6^3)+40 (a1^2) (a2^2) (a3^2) (a6^3)-8 (a1^3) (a3^3) (a6^3)+32 a1 a2 (a3^3) (a6^3)-357 (a1^8) a4 (a6^3)+1708 (a1^6) a2 a4 (a6^3)-1120 (a1^4) (a2^2) a4 (a6^3)+231 (a1^5) a3 a4 (a6^3)+448 (a1^3) a2 a3 a4 (a6^3)-343 (a1^4) (a4^2) (a6^3)-350 (a1^7) a5 (a6^3)+1344 (a1^5) a2 a5 (a6^3)+224 (a1^3) (a2^2) a5 (a6^3)+728 (a1^4) a3 a5 (a6^3)-168 (a1^2) a2 a3 a5 (a6^3)-1372 (a1^3) a4 a5 (a6^3)-343 (a1^6) (a6^4)+1372 (a1^4) a2 (a6^4)+(-3 (a1^6) (a2^3) (a3^5)+6 (a1^4) (a2^4) (a3^5)+6 (a1^5) (a2^2) (a3^6)-22 (a1^3) (a2^3) (a3^6)-3 (a1^4) a2 (a3^7)+27 (a1^2) (a2^2) (a3^7)-12 a1 a2 (a3^8)+(a3^9)-4 (a1^10) (a2^2) (a3^3) a4+24 (a1^8) (a2^3) (a3^3) a4-32 (a1^6) (a2^4) (a3^3) a4+4 (a1^9) a2 (a3^4) a4-51 (a1^7) (a2^2) (a3^4) a4+121 (a1^5) (a2^3) (a3^4) a4+26 (a1^6) a2 (a3^5) a4-147 (a1^4) (a2^2) (a3^5) a4+6 (a1^2) (a2^3) (a3^5) a4+(a1^5) (a3^6) a4+57 (a1^3) a2 (a3^6) a4-14 a1 (a2^2) (a3^6) a4+(a1^2) (a3^7) a4+8 a2 (a3^7) a4-(a1^14) a2 a3 (a4^2)+10 (a1^12) (a2^2) a3 (a4^2)-32 (a1^10) (a2^3) a3 (a4^2)+32 (a1^8) (a2^4) a3 (a4^2)-8 (a1^11) a2 (a3^2) (a4^2)+62 (a1^9) (a2^2) (a3^2) (a4^2)-120 (a1^7) (a2^3) (a3^2) (a4^2)-3 (a1^10) (a3^3) (a4^2)-12 (a1^8) a2 (a3^3) (a4^2)+118 (a1^6) (a2^2) (a3^3) (a4^2)-28 (a1^4) (a2^3) (a3^3) (a4^2)-20 (a1^7) (a3^4) (a4^2)+12 (a1^5) a2 (a3^4) (a4^2)+57 (a1^3) (a2^2) (a3^4) (a4^2)-44 (a1^4) (a3^5) (a4^2)-12 (a1^2) a2 (a3^5) (a4^2)-17 a1 (a3^6) (a4^2)+(a1^15) (a4^3)-11 (a1^13) a2 (a4^3)+40 (a1^11) (a2^2) (a4^3)-48 (a1^9) (a2^3) (a4^3)+11 (a1^12) a3 (a4^3)-88 (a1^10) a2 a3 (a4^3)+172 (a1^8) (a2^2) a3 (a4^3)+16 (a1^6) (a2^3) a3 (a4^3)+52 (a1^9) (a3^2) (a4^3)-232 (a1^7) a2 (a3^2) (a4^3)+24 (a1^5) (a2^2) (a3^2) (a4^3)+118 (a1^6) (a3^3) (a4^3)-146 (a1^4) a2 (a3^3) (a4^3)+4 (a1^2) (a2^2) (a3^3) (a4^3)+106 (a1^3) (a3^4) (a4^3)-10 a1 a2 (a3^4) (a4^3)+6 (a3^5) (a4^3)-5 (a1^11) (a4^4)+48 (a1^9) a2 (a4^4)-112 (a1^7) (a2^2) (a4^4)-58 (a1^8) a3 (a4^4)+268 (a1^6) a2 a3 (a4^4)-16 (a1^4) (a2^2) a3 (a4^4)-158 (a1^5) (a3^2) (a4^4)+48 (a1^3) a2 (a3^2) (a4^4)-32 (a1^2) (a3^3) (a4^4)+8 (a1^7) (a4^5)-32 (a1^5) a2 (a4^5)+32 (a1^4) a3 (a4^5)-(a1^14) a2 (a3^2) a5+10 (a1^12) (a2^2) (a3^2) a5-32 (a1^10) (a2^3) (a3^2) a5+32 (a1^8) (a2^4) (a3^2) a5-12 (a1^11) a2 (a3^3) a5+84 (a1^9) (a2^2) (a3^3) a5-132 (a1^7) (a2^3) (a3^3) a5-48 (a1^5) (a2^4) (a3^3) a5+(a1^10) (a3^4) a5-58 (a1^8) a2 (a3^4) a5+178 (a1^6) (a2^2) (a3^4) a5+184 (a1^4) (a2^3) (a3^4) a5+8 (a1^7) (a3^5) a5-90 (a1^5) a2 (a3^5) a5-229 (a1^3) (a2^2) (a3^5) a5+6 a1 (a2^3) (a3^5) a5+14 (a1^4) (a3^6) a5+95 (a1^2) a2 (a3^6) a5-7 (a2^2) (a3^6) a5-3 a1 (a3^7) a5+12 (a1^13) a2 a3 a4 a5-88 (a1^11) (a2^2) a3 a4 a5+128 (a1^9) (a2^3) a3 a4 a5+128 (a1^7) (a2^4) a3 a4 a5-(a1^12) (a3^2) a4 a5+95 (a1^10) a2 (a3^2) a4 a5-232 (a1^8) (a2^2) (a3^2) a4 a5-528 (a1^6) (a2^3) (a3^2) a4 a5-3 (a1^9) (a3^3) a4 a5+95 (a1^7) a2 (a3^3) a4 a5+607 (a1^5) (a2^2) (a3^3) a4 a5-80 (a1^3) (a2^3) (a3^3) a4 a5-(a1^6) (a3^4) a4 a5-129 (a1^4) a2 (a3^4) a4 a5+145 (a1^2) (a2^2) (a3^4) a4 a5-72 (a1^3) (a3^5) a4 a5-45 a1 a2 (a3^5) a4 a5-11 (a3^6) a4 a5-12 (a1^14) (a4^2) a5+106 (a1^12) a2 (a4^2) a5-272 (a1^10) (a2^2) (a4^2) a5+160 (a1^8) (a2^3) (a4^2) a5-99 (a1^11) a3 (a4^2) a5+403 (a1^9) a2 a3 (a4^2) a5-64 (a1^7) (a2^2) a3 (a4^2) a5+144 (a1^5) (a2^3) a3 (a4^2) a5-141 (a1^8) (a3^2) (a4^2) a5-303 (a1^6) a2 (a3^2) (a4^2) a5-232 (a1^4) (a2^2) (a3^2) (a4^2) a5+226 (a1^5) (a3^3) (a4^2) a5-115 (a1^3) a2 (a3^3) (a4^2) a5+4 a1 (a2^2) (a3^3) (a4^2) a5+178 (a1^2) (a3^4) (a4^2) a5-5 a2 (a3^4) (a4^2) a5+34 (a1^10) (a4^3) a5-100 (a1^8) a2 (a4^3) a5-144 (a1^6) (a2^2) (a4^3) a5+31 (a1^7) a3 (a4^3) a5+556 (a1^5) a2 a3 (a4^3) a5-32 (a1^3) (a2^2) a3 (a4^3) a5-393 (a1^4) (a3^2) (a4^3) a5+72 (a1^2) a2 (a3^2) (a4^3) a5-32 a1 (a3^3) (a4^3) a5+20 (a1^6) (a4^4) a5-80 (a1^4) a2 (a4^4) a5+64 (a1^3) a3 (a4^4) a5+4 (a1^15) a2 (a5^2)-57 (a1^13) (a2^2) (a5^2)+264 (a1^11) (a2^3) (a5^2)-400 (a1^9) (a2^4) (a5^2)+63 (a1^12) a2 a3 (a5^2)-603 (a1^10) (a2^2) a3 (a5^2)+1386 (a1^8) (a2^3) a3 (a5^2)+72 (a1^6) (a2^4) a3 (a5^2)-6 (a1^11) (a3^2) (a5^2)+383 (a1^9) a2 (a3^2) (a5^2)-1638 (a1^7) (a2^2) (a3^2) (a5^2)-281 (a1^5) (a2^3) (a3^2) (a5^2)-40 (a1^8) (a3^3) (a5^2)+686 (a1^6) a2 (a3^3) (a5^2)+352 (a1^4) (a2^2) (a3^3) (a5^2)-48 (a1^2) (a2^3) (a3^3) (a5^2)-57 (a1^5) (a3^4) (a5^2)-124 (a1^3) a2 (a3^4) (a5^2)+52 a1 (a2^2) (a3^4) (a5^2)-30 (a1^2) (a3^5) (a5^2)+16 a2 (a3^5) (a5^2)-23 (a1^13) a4 (a5^2)+201 (a1^11) a2 a4 (a5^2)-405 (a1^9) (a2^2) a4 (a5^2)-124 (a1^7) (a2^3) a4 (a5^2)-223 (a1^10) a3 a4 (a5^2)+836 (a1^8) a2 a3 a4 (a5^2)+562 (a1^6) (a2^2) a3 a4 (a5^2)+196 (a1^4) (a2^3) a3 a4 (a5^2)-438 (a1^7) (a3^2) a4 (a5^2)-606 (a1^5) a2 (a3^2) a4 (a5^2)-261 (a1^3) (a2^2) (a3^2) a4 (a5^2)+252 (a1^4) (a3^3) a4 (a5^2)-146 (a1^2) a2 (a3^3) a4 (a5^2)+78 a1 (a3^4) a4 (a5^2)+151 (a1^9) (a4^2) (a5^2)-559 (a1^7) a2 (a4^2) (a5^2)-108 (a1^5) (a2^2) (a4^2) (a5^2)+341 (a1^6) a3 (a4^2) (a5^2)+700 (a1^4) a2 a3 (a4^2) (a5^2)-20 (a1^2) (a2^2) a3 (a4^2) (a5^2)-359 (a1^3) (a3^2) (a4^2) (a5^2)+36 a1 a2 (a3^2) (a4^2) (a5^2)-4 (a3^3) (a4^2) (a5^2)-58 (a1^5) (a4^3) (a5^2)-80 (a1^3) a2 (a4^3) (a5^2)+32 (a1^2) a3 (a4^3) (a5^2)-6 (a1^12) (a5^3)+21 (a1^10) a2 (a5^3)+57 (a1^8) (a2^2) (a5^3)-180 (a1^6) (a2^3) (a5^3)-87 (a1^9) a3 (a5^3)+261 (a1^7) a2 a3 (a5^3)+231 (a1^5) (a2^2) a3 (a5^3)+72 (a1^3) (a2^3) a3 (a5^3)-186 (a1^6) (a3^2) (a5^3)-25 (a1^4) a2 (a3^2) (a5^3)-61 (a1^2) (a2^2) (a3^2) (a5^3)+73 (a1^3) (a3^3) (a5^3)-113 a1 a2 (a3^3) (a5^3)-9 (a3^4) (a5^3)+79 (a1^8) a4 (a5^3)-503 (a1^6) a2 a4 (a5^3)-80 (a1^4) (a2^2) a4 (a5^3)+246 (a1^5) a3 a4 (a5^3)+513 (a1^3) a2 a3 a4 (a5^3)-4 a1 (a2^2) a3 a4 (a5^3)-31 (a1^2) (a3^2) a4 (a5^3)+6 a2 (a3^2) a4 (a5^3)-139 (a1^4) (a4^2) (a5^3)-40 (a1^2) a2 (a4^2) (a5^3)-87 (a1^7) (a5^4)-276 (a1^5) a2 (a5^4)-24 (a1^3) (a2^2) (a5^4)-3 (a1^4) a3 (a5^4)+150 (a1^2) a2 a3 (a5^4)+51 a1 (a3^2) (a5^4)-137 (a1^3) a4 (a5^4)-10 a1 a2 a4 (a5^4)-2 a3 a4 (a5^4)-42 (a1^2) (a5^5)-a2 (a5^5)+4 (a1^14) (a2^2) a3 a6-40 (a1^12) (a2^3) a3 a6+128 (a1^10) (a2^4) a3 a6-128 (a1^8) (a2^5) a3 a6+(a1^15) (a3^2) a6-27 (a1^13) a2 (a3^2) a6+232 (a1^11) (a2^2) (a3^2) a6-760 (a1^9) (a2^3) (a3^2) a6+800 (a1^7) (a2^4) (a3^2) a6+12 (a1^12) (a3^3) a6-245 (a1^10) a2 (a3^3) a6+1180 (a1^8) (a2^2) (a3^3) a6-1556 (a1^6) (a2^3) (a3^3) a6-16 (a1^4) (a2^4) (a3^3) a6+45 (a1^9) (a3^4) a6-601 (a1^7) a2 (a3^4) a6+1278 (a1^5) (a2^2) (a3^4) a6+64 (a1^3) (a2^3) (a3^4) a6+63 (a1^6) (a3^5) a6-431 (a1^4) a2 (a3^5) a6-123 (a1^2) (a2^2) (a3^5) a6+6 (a2^3) (a3^5) a6+38 (a1^3) (a3^6) a6+88 a1 a2 (a3^6) a6-12 (a3^7) a6-4 (a1^15) a2 a4 a6+44 (a1^13) (a2^2) a4 a6-160 (a1^11) (a2^3) a4 a6+192 (a1^9) (a2^4) a4 a6+16 (a1^14) a3 a4 a6-196 (a1^12) a2 a3 a4 a6+776 (a1^10) (a2^2) a3 a4 a6-976 (a1^8) (a2^3) a3 a4 a6-64 (a1^6) (a2^4) a3 a4 a6+155 (a1^11) (a3^2) a4 a6-969 (a1^9) a2 (a3^2) a4 a6+1454 (a1^7) (a2^2) (a3^2) a4 a6+224 (a1^5) (a2^3) (a3^2) a4 a6+402 (a1^8) (a3^3) a4 a6-1041 (a1^6) a2 (a3^3) a4 a6+72 (a1^4) (a2^2) (a3^3) a4 a6-48 (a1^2) (a2^3) (a3^3) a4 a6+310 (a1^5) (a3^4) a4 a6-297 (a1^3) a2 (a3^4) a4 a6+33 a1 (a2^2) (a3^4) a4 a6+74 (a1^2) (a3^5) a4 a6-49 a2 (a3^5) a4 a6-13 (a1^13) (a4^2) a6+150 (a1^11) a2 (a4^2) a6-592 (a1^9) (a2^2) (a4^2) a6+800 (a1^7) (a2^3) (a4^2) a6-216 (a1^10) a3 (a4^2) a6+1468 (a1^8) a2 a3 (a4^2) a6-2596 (a1^6) (a2^2) a3 (a4^2) a6+96 (a1^4) (a2^3) a3 (a4^2) a6-715 (a1^7) (a3^2) (a4^2) a6+2408 (a1^5) a2 (a3^2) (a4^2) a6-152 (a1^3) (a2^2) (a3^2) (a4^2) a6-627 (a1^4) (a3^3) (a4^2) a6+242 (a1^2) a2 (a3^3) (a4^2) a6+4 (a2^2) (a3^3) (a4^2) a6+56 a1 (a3^4) (a4^2) a6-15 (a1^9) (a4^3) a6-56 (a1^7) a2 (a4^3) a6+304 (a1^5) (a2^2) (a4^3) a6+72 (a1^6) a3 (a4^3) a6-568 (a1^4) a2 a3 (a4^3) a6-16 (a1^2) (a2^2) a3 (a4^3) a6-134 (a1^3) (a3^2) (a4^3) a6-16 (a3^3) (a4^3) a6+344 (a1^5) (a4^4) a6+64 (a1^2) a3 (a4^4) a6-4 (a1^16) a5 a6+82 (a1^14) a2 a5 a6-552 (a1^12) (a2^2) a5 a6+1504 (a1^10) (a2^3) a5 a6-1408 (a1^8) (a2^4) a5 a6-34 (a1^13) a3 a5 a6+642 (a1^11) a2 a3 a5 a6-3080 (a1^9) (a2^2) a3 a5 a6+4240 (a1^7) (a2^3) a3 a5 a6-64 (a1^5) (a2^4) a3 a5 a6-73 (a1^10) (a3^2) a5 a6+1701 (a1^8) a2 (a3^2) a5 a6-4746 (a1^6) (a2^2) (a3^2) a5 a6+80 (a1^4) (a2^3) (a3^2) a5 a6-72 (a1^7) (a3^3) a5 a6+1894 (a1^5) a2 (a3^3) a5 a6+552 (a1^3) (a2^2) (a3^3) a5 a6-64 a1 (a2^3) (a3^3) a5 a6-111 (a1^4) (a3^4) a5 a6-579 (a1^2) a2 (a3^4) a5 a6+12 (a2^2) (a3^4) a5 a6+60 a1 (a3^5) a5 a6-18 (a1^12) a4 a5 a6+80 (a1^10) a2 a4 a5 a6+16 (a1^8) (a2^2) a4 a5 a6-192 (a1^6) (a2^3) a4 a5 a6-348 (a1^9) a3 a4 a5 a6+917 (a1^7) a2 a3 a4 a5 a6-976 (a1^5) (a2^2) a3 a4 a5 a6+256 (a1^3) (a2^3) a3 a4 a5 a6-1046 (a1^6) (a3^2) a4 a5 a6+1452 (a1^4) a2 (a3^2) a4 a5 a6-192 (a1^2) (a2^2) (a3^2) a4 a5 a6-326 (a1^3) (a3^3) a4 a5 a6+287 a1 a2 (a3^3) a4 a5 a6+58 (a3^4) a4 a5 a6+689 (a1^8) (a4^2) a5 a6-1384 (a1^6) a2 (a4^2) a5 a6+384 (a1^4) (a2^2) (a4^2) a5 a6+620 (a1^5) a3 (a4^2) a5 a6-740 (a1^3) a2 a3 (a4^2) a5 a6-16 a1 (a2^2) a3 (a4^2) a5 a6-551 (a1^2) (a3^2) (a4^2) a5 a6+628 (a1^4) (a4^3) a5 a6+64 a1 a3 (a4^3) a5 a6+50 (a1^11) (a5^2) a6-777 (a1^9) a2 (a5^2) a6+2721 (a1^7) (a2^2) (a5^2) a6-680 (a1^5) (a2^3) (a5^2) a6+106 (a1^8) a3 (a5^2) a6-1862 (a1^6) a2 a3 (a5^2) a6-418 (a1^4) (a2^2) a3 (a5^2) a6+136 (a1^2) (a2^3) a3 (a5^2) a6-35 (a1^5) (a3^2) (a5^2) a6+1048 (a1^3) a2 (a3^2) (a5^2) a6-33 a1 (a2^2) (a3^2) (a5^2) a6+42 (a1^2) (a3^3) (a5^2) a6-39 a2 (a3^3) (a5^2) a6+1128 (a1^7) a4 (a5^2) a6-460 (a1^5) a2 a4 (a5^2) a6+60 (a1^3) (a2^2) a4 (a5^2) a6+71 (a1^4) a3 a4 (a5^2) a6-120 (a1^2) a2 a3 a4 (a5^2) a6-4 (a2^2) a3 a4 (a5^2) a6-290 a1 (a3^2) a4 (a5^2) a6+642 (a1^3) (a4^2) (a5^2) a6+16 a3 (a4^2) (a5^2) a6+128 (a1^6) (a5^3) a6-682 (a1^4) a2 (a5^3) a6-28 (a1^2) (a2^2) (a5^3) a6-333 (a1^3) a3 (a5^3) a6+117 a1 a2 a3 (a5^3) a6+22 (a3^2) (a5^3) a6+147 (a1^2) a4 (a5^3) a6-30 a1 (a5^4) a6-21 (a1^15) (a6^2)+260 (a1^13) a2 (a6^2)-1160 (a1^11) (a2^2) (a6^2)+2176 (a1^9) (a2^3) (a6^2)-1408 (a1^7) (a2^4) (a6^2)-217 (a1^12) a3 (a6^2)+1871 (a1^10) a2 a3 (a6^2)-5370 (a1^8) (a2^2) a3 (a6^2)+4816 (a1^6) (a2^3) a3 (a6^2)-128 (a1^4) (a2^4) a3 (a6^2)-733 (a1^9) (a3^2) (a6^2)+4608 (a1^7) a2 (a3^2) (a6^2)-6544 (a1^5) (a2^2) (a3^2) (a6^2)+160 (a1^3) (a2^3) (a3^2) (a6^2)-902 (a1^6) (a3^3) (a6^2)+3340 (a1^4) a2 (a3^3) (a6^2)+108 (a1^2) (a2^2) (a3^3) (a6^2)-16 (a2^3) (a3^3) (a6^2)-520 (a1^3) (a3^4) (a6^2)-158 a1 a2 (a3^4) (a6^2)+48 (a3^5) (a6^2)+104 (a1^11) a4 (a6^2)-507 (a1^9) a2 a4 (a6^2)+864 (a1^7) (a2^2) a4 (a6^2)-704 (a1^5) (a2^3) a4 (a6^2)-296 (a1^8) a3 a4 (a6^2)-166 (a1^6) a2 a3 a4 (a6^2)+1344 (a1^4) (a2^2) a3 a4 (a6^2)+64 (a1^2) (a2^3) a3 a4 (a6^2)-109 (a1^5) (a3^2) a4 (a6^2)-514 (a1^3) a2 (a3^2) a4 (a6^2)-407 (a1^2) (a3^3) a4 (a6^2)+68 a2 (a3^3) a4 (a6^2)+631 (a1^7) (a4^2) (a6^2)-2672 (a1^5) a2 (a4^2) (a6^2)+96 (a1^3) (a2^2) (a4^2) (a6^2)+2390 (a1^4) a3 (a4^2) (a6^2)-276 (a1^2) a2 a3 (a4^2) (a6^2)-400 (a1^3) (a4^3) (a6^2)+495 (a1^10) a5 (a6^2)-4422 (a1^8) a2 a5 (a6^2)+8080 (a1^6) (a2^2) a5 (a6^2)-1024 (a1^4) (a2^3) a5 (a6^2)+921 (a1^7) a3 a5 (a6^2)-6594 (a1^5) a2 a3 a5 (a6^2)-160 (a1^3) (a2^2) a3 a5 (a6^2)+64 a1 (a2^3) a3 a5 (a6^2)+1220 (a1^4) (a3^2) a5 (a6^2)+734 (a1^2) a2 (a3^2) a5 (a6^2)+16 (a2^2) (a3^2) a5 (a6^2)-276 a1 (a3^3) a5 (a6^2)+335 (a1^6) a4 a5 (a6^2)+160 (a1^4) a2 a4 a5 (a6^2)+2025 (a1^3) a3 a4 a5 (a6^2)-272 a1 a2 a3 a4 a5 (a6^2)-56 (a3^2) a4 a5 (a6^2)-40 (a1^2) (a4^2) a5 (a6^2)-496 (a1^5) (a5^2) (a6^2)-631 (a1^3) a2 (a5^2) (a6^2)-24 a1 (a2^2) (a5^2) (a6^2)+212 (a1^2) a3 (a5^2) (a6^2)-4 a2 a3 (a5^2) (a6^2)+64 a1 a4 (a5^2) (a6^2)-8 (a5^3) (a6^2)+1276 (a1^9) (a6^3)-6064 (a1^7) a2 (a6^3)+6528 (a1^5) (a2^2) (a6^3)-384 (a1^3) (a2^3) (a6^3)+2355 (a1^6) a3 (a6^3)-6002 (a1^4) a2 a3 (a6^3)-48 (a1^2) (a2^2) a3 (a6^3)+2142 (a1^3) (a3^2) (a6^3)-8 a1 a2 (a3^2) (a6^3)-64 (a3^3) (a6^3)-3087 (a1^5) a4 (a6^3)+1792 (a1^3) a2 a4 (a6^3)+476 (a1^2) a3 a4 (a6^3)-3626 (a1^4) a5 (a6^3)+112 (a1^2) a2 a5 (a6^3)+336 a1 a3 a5 (a6^3)-2744 (a1^3) (a6^4)) x+(3 (a1^8) (a2^2) (a3^4)-12 (a1^6) (a2^3) (a3^4)+15 (a1^4) (a2^4) (a3^4)-3 (a1^7) a2 (a3^5)+33 (a1^5) (a2^2) (a3^5)-69 (a1^3) (a2^3) (a3^5)-24 (a1^4) a2 (a3^6)+105 (a1^2) (a2^2) (a3^6)+3 (a1^3) (a3^7)-60 a1 a2 (a3^7)+9 (a3^8)+2 (a1^12) a2 (a3^2) a4-16 (a1^10) (a2^2) (a3^2) a4+44 (a1^8) (a2^3) (a3^2) a4-48 (a1^6) (a2^4) (a3^2) a4+21 (a1^9) a2 (a3^3) a4-146 (a1^7) (a2^2) (a3^3) a4+254 (a1^5) (a2^3) (a3^3) a4-(a1^8) (a3^4) a4+115 (a1^6) a2 (a3^4) a4-415 (a1^4) (a2^2) (a3^4) a4+15 (a1^2) (a2^3) (a3^4) a4-10 (a1^5) (a3^5) a4+229 (a1^3) a2 (a3^5) a4-42 a1 (a2^2) (a3^5) a4-18 (a1^2) (a3^6) a4+28 a2 (a3^6) a4+(a1^12) (a2^2) (a4^2)-8 (a1^10) (a2^3) (a4^2)+16 (a1^8) (a2^4) (a4^2)-(a1^13) a3 (a4^2)-3 (a1^11) a2 a3 (a4^2)+58 (a1^9) (a2^2) a3 (a4^2)-120 (a1^7) (a2^3) a3 (a4^2)-9 (a1^10) (a3^2) (a4^2)-11 (a1^8) a2 (a3^2) (a4^2)+168 (a1^6) (a2^2) (a3^2) (a4^2)-42 (a1^4) (a2^3) (a3^2) (a4^2)-52 (a1^7) (a3^3) (a4^2)+44 (a1^5) a2 (a3^3) (a4^2)+108 (a1^3) (a2^2) (a3^3) (a4^2)-126 (a1^4) (a3^4) (a4^2)-15 (a1^2) a2 (a3^4) (a4^2)-60 a1 (a3^5) (a4^2)+13 (a1^12) (a4^3)-95 (a1^10) a2 (a4^3)+170 (a1^8) (a2^2) (a4^3)+8 (a1^6) (a2^3) (a4^3)+106 (a1^9) a3 (a4^3)-422 (a1^7) a2 a3 (a4^3)+48 (a1^5) (a2^2) a3 (a4^3)+291 (a1^6) (a3^2) (a4^3)-292 (a1^4) a2 (a3^2) (a4^3)+6 (a1^2) (a2^2) (a3^2) (a4^3)+262 (a1^3) (a3^3) (a4^3)-20 a1 a2 (a3^3) (a4^3)+15 (a3^4) (a4^3)-40 (a1^8) (a4^4)+178 (a1^6) a2 (a4^4)-8 (a1^4) (a2^2) (a4^4)-206 (a1^5) a3 (a4^4)+48 (a1^3) a2 a3 (a4^4)-48 (a1^2) (a3^2) (a4^4)+16 (a1^4) (a4^5)+(a1^12) (a2^2) a3 a5-8 (a1^10) (a2^3) a3 a5+16 (a1^8) (a2^4) a3 a5+(a1^13) (a3^2) a5-20 (a1^11) a2 (a3^2) a5+98 (a1^9) (a2^2) (a3^2) a5-118 (a1^7) (a2^3) (a3^2) a5-72 (a1^5) (a2^4) (a3^2) a5+11 (a1^10) (a3^3) a5-144 (a1^8) a2 (a3^3) a5+248 (a1^6) (a2^2) (a3^3) a5+396 (a1^4) (a2^3) (a3^3) a5+45 (a1^7) (a3^4) a5-201 (a1^5) a2 (a3^4) a5-679 (a1^3) (a2^2) (a3^4) a5+15 a1 (a2^3) (a3^4) a5+59 (a1^4) (a3^5) a5+408 (a1^2) a2 (a3^5) a5-21 (a2^2) (a3^5) a5-55 a1 (a3^6) a5-3 (a1^13) a2 a4 a5+28 (a1^11) (a2^2) a4 a5-80 (a1^9) (a2^3) a4 a5+64 (a1^7) (a2^4) a4 a5-(a1^12) a3 a4 a5+16 (a1^10) a2 a3 a4 a5+105 (a1^8) (a2^2) a3 a4 a5-612 (a1^6) (a2^3) a3 a4 a5-13 (a1^9) (a3^2) a4 a5+(a1^7) a2 (a3^2) a4 a5+1263 (a1^5) (a2^2) (a3^2) a4 a5-120 (a1^3) (a2^3) (a3^2) a4 a5-34 (a1^6) (a3^3) a4 a5-676 (a1^4) a2 (a3^3) a4 a5+290 (a1^2) (a2^2) (a3^3) a4 a5-44 (a1^3) (a3^4) a4 a5-120 a1 a2 (a3^4) a4 a5-24 (a3^5) a4 a5-45 (a1^11) (a4^2) a5+212 (a1^9) a2 (a4^2) a5-146 (a1^7) (a2^2) (a4^2) a5+72 (a1^5) (a2^3) (a4^2) a5-159 (a1^8) a3 (a4^2) a5-152 (a1^6) a2 a3 (a4^2) a5-212 (a1^4) (a2^2) a3 (a4^2) a5+334 (a1^5) (a3^2) (a4^2) a5-197 (a1^3) a2 (a3^2) (a4^2) a5+6 a1 (a2^2) (a3^2) (a4^2) a5+349 (a1^2) (a3^3) (a4^2) a5-10 a2 (a3^3) (a4^2) a5+5 (a1^7) (a4^3) a5+320 (a1^5) a2 (a4^3) a5-16 (a1^3) (a2^2) (a4^3) a5-421 (a1^4) a3 (a4^3) a5+72 (a1^2) a2 a3 (a4^3) a5-48 a1 (a3^2) (a4^3) a5+32 (a1^3) (a4^4) a5-4 (a1^14) (a5^2)+87 (a1^12) a2 (a5^2)-522 (a1^10) (a2^2) (a5^2)+943 (a1^8) (a2^3) (a5^2)+36 (a1^6) (a2^4) (a5^2)-46 (a1^11) a3 (a5^2)+761 (a1^9) a2 a3 (a5^2)-2364 (a1^7) (a2^2) a3 (a5^2)-343 (a1^5) (a2^3) a3 (a5^2)-224 (a1^8) (a3^2) (a5^2)+1837 (a1^6) a2 (a3^2) (a5^2)+759 (a1^4) (a2^2) (a3^2) (a5^2)-72 (a1^2) (a2^3) (a3^2) (a5^2)-409 (a1^5) (a3^3) (a5^2)-516 (a1^3) a2 (a3^3) (a5^2)+108 a1 (a2^2) (a3^3) (a5^2)+38 (a1^2) (a3^4) (a5^2)+35 a2 (a3^4) (a5^2)-71 (a1^10) a4 (a5^2)+277 (a1^8) a2 a4 (a5^2)+206 (a1^6) (a2^2) a4 (a5^2)+98 (a1^4) (a2^3) a4 (a5^2)-348 (a1^7) a3 a4 (a5^2)-485 (a1^5) a2 a3 a4 (a5^2)-273 (a1^3) (a2^2) a3 a4 (a5^2)+307 (a1^4) (a3^2) a4 (a5^2)-177 (a1^2) a2 (a3^2) a4 (a5^2)+119 a1 (a3^3) a4 (a5^2)+242 (a1^6) (a4^2) (a5^2)+341 (a1^4) a2 (a4^2) (a5^2)-10 (a1^2) (a2^2) (a4^2) (a5^2)-309 (a1^3) a3 (a4^2) (a5^2)+36 a1 a2 a3 (a4^2) (a5^2)-6 (a3^2) (a4^2) (a5^2)+16 (a1^2) (a4^3) (a5^2)+50 (a1^9) (a5^3)-316 (a1^7) a2 (a5^3)+131 (a1^5) (a2^2) (a5^3)+36 (a1^3) (a2^3) (a5^3)+73 (a1^6) a3 (a5^3)+8 (a1^4) a2 a3 (a5^3)-71 (a1^2) (a2^2) a3 (a5^3)+21 (a1^3) (a3^2) (a5^3)-152 a1 a2 (a3^2) (a5^3)-17 (a3^3) (a5^3)+138 (a1^5) a4 (a5^3)+237 (a1^3) a2 a4 (a5^3)-2 a1 (a2^2) a4 (a5^3)-4 (a1^2) a3 a4 (a5^3)+6 a2 a3 a4 (a5^3)+26 (a1^4) (a5^4)+70 (a1^2) a2 (a5^4)+48 a1 a3 (a5^4)-a4 (a5^4)-4 (a1^12) (a2^3) a6+32 (a1^10) (a2^4) a6-64 (a1^8) (a2^5) a6-9 (a1^13) a2 a3 a6+132 (a1^11) (a2^2) a3 a6-616 (a1^9) (a2^3) a3 a6+928 (a1^7) (a2^4) a3 a6+15 (a1^12) (a3^2) a6-308 (a1^10) a2 (a3^2) a6+1793 (a1^8) (a2^2) (a3^2) a6-2986 (a1^6) (a2^3) (a3^2) a6-24 (a1^4) (a2^4) (a3^2) a6+142 (a1^9) (a3^3) a6-1582 (a1^7) a2 (a3^3) a6+3541 (a1^5) (a2^2) (a3^3) a6+136 (a1^3) (a2^3) (a3^3) a6+355 (a1^6) (a3^4) a6-1629 (a1^4) a2 (a3^4) a6-342 (a1^2) (a2^2) (a3^4) a6+15 (a2^3) (a3^4) a6+231 (a1^3) (a3^5) a6+321 a1 a2 (a3^5) a6-81 (a3^6) a6+7 (a1^14) a4 a6-126 (a1^12) a2 a4 a6+648 (a1^10) (a2^2) a4 a6-1016 (a1^8) (a2^3) a4 a6-32 (a1^6) (a2^4) a4 a6+166 (a1^11) a3 a4 a6-1561 (a1^9) a2 a3 a4 a6+3330 (a1^7) (a2^2) a3 a4 a6+256 (a1^5) (a2^3) a3 a4 a6+899 (a1^8) (a3^2) a4 a6-3535 (a1^6) a2 (a3^2) a4 a6+108 (a1^4) (a2^2) (a3^2) a4 a6-72 (a1^2) (a2^3) (a3^2) a4 a6+1224 (a1^5) (a3^3) a4 a6-861 (a1^3) a2 (a3^3) a4 a6+62 a1 (a2^2) (a3^3) a4 a6+416 (a1^2) (a3^4) a4 a6-125 a2 (a3^4) a4 a6-86 (a1^10) (a4^2) a6+829 (a1^8) a2 (a4^2) a6-1938 (a1^6) (a2^2) (a4^2) a6+48 (a1^4) (a2^3) (a4^2) a6-965 (a1^7) a3 (a4^2) a6+3858 (a1^5) a2 a3 (a4^2) a6-136 (a1^3) (a2^2) a3 (a4^2) a6-1627 (a1^4) (a3^2) (a4^2) a6+378 (a1^2) a2 (a3^2) (a4^2) a6+6 (a2^2) (a3^2) (a4^2) a6+130 a1 (a3^3) (a4^2) a6-268 (a1^6) (a4^3) a6-368 (a1^4) a2 (a4^3) a6-8 (a1^2) (a2^2) (a4^3) a6-174 (a1^3) a3 (a4^3) a6-24 (a3^2) (a4^3) a6+32 (a1^2) (a4^4) a6-59 (a1^13) a5 a6+704 (a1^11) a2 a5 a6-2632 (a1^9) (a2^2) a5 a6+3048 (a1^7) (a2^3) a5 a6-32 (a1^5) (a2^4) a5 a6-490 (a1^10) a3 a5 a6+3947 (a1^8) a2 a3 a5 a6-7006 (a1^6) (a2^2) a3 a5 a6+88 (a1^4) (a2^3) a3 a5 a6-1151 (a1^7) (a3^2) a5 a6+5018 (a1^5) a2 (a3^2) a5 a6+960 (a1^3) (a2^2) (a3^2) a5 a6-96 a1 (a2^3) (a3^2) a5 a6-1006 (a1^4) (a3^3) a5 a6-1621 (a1^2) a2 (a3^3) a5 a6+28 (a2^2) (a3^3) a5 a6+440 a1 (a3^4) a5 a6-46 (a1^9) a4 a5 a6+330 (a1^7) a2 a4 a5 a6-852 (a1^5) (a2^2) a4 a5 a6+128 (a1^3) (a2^3) a4 a5 a6-672 (a1^6) a3 a4 a5 a6+2785 (a1^4) a2 a3 a4 a5 a6-204 (a1^2) (a2^2) a3 a4 a5 a6-1225 (a1^3) (a3^2) a4 a5 a6+471 a1 a2 (a3^2) a4 a5 a6+75 (a3^3) a4 a5 a6+387 (a1^5) (a4^2) a5 a6-512 (a1^3) a2 (a4^2) a5 a6-8 a1 (a2^2) (a4^2) a5 a6-475 (a1^2) a3 (a4^2) a5 a6+32 a1 (a4^3) a5 a6+702 (a1^8) (a5^2) a6-3787 (a1^6) a2 (a5^2) a6-167 (a1^4) (a2^2) (a5^2) a6+68 (a1^2) (a2^3) (a5^2) a6+1779 (a1^5) a3 (a5^2) a6+1623 (a1^3) a2 a3 (a5^2) a6-51 a1 (a2^2) a3 (a5^2) a6-351 (a1^2) (a3^2) (a5^2) a6-44 a2 (a3^2) (a5^2) a6-236 (a1^4) a4 (a5^2) a6-143 (a1^2) a2 a4 (a5^2) a6-2 (a2^2) a4 (a5^2) a6-212 a1 a3 a4 (a5^2) a6+8 (a4^2) (a5^2) a6-181 (a1^3) (a5^3) a6+42 a1 a2 (a5^3) a6+23 a3 (a5^3) a6-157 (a1^12) (a6^2)+1401 (a1^10) a2 (a6^2)-3881 (a1^8) (a2^2) (a6^2)+3496 (a1^6) (a2^3) (a6^2)-64 (a1^4) (a2^4) (a6^2)-1302 (a1^9) a3 (a6^2)+7438 (a1^7) a2 a3 (a6^2)-10040 (a1^5) (a2^2) a3 (a6^2)+224 (a1^3) (a2^3) a3 (a6^2)-3248 (a1^6) (a3^2) (a6^2)+8589 (a1^4) a2 (a3^2) (a6^2)+198 (a1^2) (a2^2) (a3^2) (a6^2)-24 (a2^3) (a3^2) (a6^2)-2165 (a1^3) (a3^3) (a6^2)-345 a1 a2 (a3^3) (a6^2)+216 (a3^4) (a6^2)-5 (a1^8) a4 (a6^2)+1417 (a1^6) a2 a4 (a6^2)+816 (a1^4) (a2^2) a4 (a6^2)+32 (a1^2) (a2^3) a4 (a6^2)-1354 (a1^5) a3 a4 (a6^2)-838 (a1^3) a2 a3 a4 (a6^2)-1118 (a1^2) (a3^2) a4 (a6^2)+106 a2 (a3^2) a4 (a6^2)+2798 (a1^4) (a4^2) (a6^2)-146 (a1^2) a2 (a4^2) (a6^2)+8 a1 a3 (a4^2) (a6^2)+3106 (a1^7) a5 (a6^2)-8677 (a1^5) a2 a5 (a6^2)+80 (a1^3) (a2^2) a5 (a6^2)+32 a1 (a2^3) a5 (a6^2)+3992 (a1^4) a3 a5 (a6^2)+970 (a1^2) a2 a3 a5 (a6^2)+8 (a2^2) a3 a5 (a6^2)-889 a1 (a3^2) a5 (a6^2)+1684 (a1^3) a4 a5 (a6^2)-148 a1 a2 a4 a5 (a6^2)-24 a3 a4 a5 (a6^2)+293 (a1^2) (a5^2) (a6^2)-6 a2 (a5^2) (a6^2)+4767 (a1^6) (a6^3)-7125 (a1^4) a2 (a6^3)+8 (a1^2) (a2^2) (a6^3)+4511 (a1^3) a3 (a6^3)-24 a1 a2 a3 (a6^3)-144 (a3^2) (a6^3)+210 (a1^2) a4 (a6^3)+252 a1 a5 (a6^3)) (x^2)+(-(a1^10) a2 (a3^3)+6 (a1^8) (a2^2) (a3^3)-18 (a1^6) (a2^3) (a3^3)+20 (a1^4) (a2^4) (a3^3)-12 (a1^7) a2 (a3^4)+72 (a1^5) (a2^2) (a3^4)-120 (a1^3) (a2^3) (a3^4)+3 (a1^6) (a3^5)-75 (a1^4) a2 (a3^5)+231 (a1^2) (a2^2) (a3^5)+18 (a1^3) (a3^6)-168 a1 a2 (a3^6)+36 (a3^7)-4 (a1^10) (a2^2) a3 a4+24 (a1^8) (a2^3) a3 a4-32 (a1^6) (a2^4) a3 a4-(a1^11) (a3^2) a4+29 (a1^9) a2 (a3^2) a4-160 (a1^7) (a2^2) (a3^2) a4+266 (a1^5) (a2^3) (a3^2) a4-11 (a1^8) (a3^3) a4+206 (a1^6) a2 (a3^3) a4-610 (a1^4) (a2^2) (a3^3) a4+20 (a1^2) (a2^3) (a3^3) a4-45 (a1^5) (a3^4) a4+465 (a1^3) a2 (a3^4) a4-70 a1 (a2^2) (a3^4) a4-73 (a1^2) (a3^5) a4+56 a2 (a3^5) a4+10 (a1^9) (a2^2) (a4^2)-40 (a1^7) (a2^3) (a4^2)-13 (a1^10) a3 (a4^2)+28 (a1^8) a2 a3 (a4^2)+86 (a1^6) (a2^2) a3 (a4^2)-28 (a1^4) (a2^3) a3 (a4^2)-87 (a1^7) (a3^2) (a4^2)+114 (a1^5) a2 (a3^2) (a4^2)+102 (a1^3) (a2^2) (a3^2) (a4^2)-218 (a1^4) (a3^3) (a4^2)-115 a1 (a3^4) (a4^2)+56 (a1^9) (a4^3)-212 (a1^7) a2 (a4^3)+24 (a1^5) (a2^2) (a4^3)+282 (a1^6) a3 (a4^3)-242 (a1^4) a2 a3 (a4^3)+4 (a1^2) (a2^2) a3 (a4^3)+310 (a1^3) (a3^2) (a4^3)-20 a1 a2 (a3^2) (a4^3)+20 (a3^3) (a4^3)-82 (a1^5) (a4^4)+16 (a1^3) a2 (a4^4)-32 (a1^2) a3 (a4^4)+8 (a1^9) (a2^2) a3 a5-20 (a1^7) (a2^3) a3 a5-48 (a1^5) (a2^4) a3 a5+11 (a1^10) (a3^2) a5-89 (a1^8) a2 (a3^2) a5+84 (a1^6) (a2^2) (a3^2) a5+424 (a1^4) (a2^3) (a3^2) a5+71 (a1^7) (a3^3) a5-130 (a1^5) a2 (a3^3) a5-1046 (a1^3) (a2^2) (a3^3) a5+20 a1 (a2^3) (a3^3) a5+74 (a1^4) (a3^4) a5+895 (a1^2) a2 (a3^4) a5-35 (a2^2) (a3^4) a5-211 a1 (a3^5) a5+4 (a1^12) a4 a5-64 (a1^10) a2 a4 a5+250 (a1^8) (a2^2) a4 a5-232 (a1^6) (a2^3) a4 a5+28 (a1^9) a3 a4 a5-358 (a1^7) a2 a3 a4 a5+1065 (a1^5) (a2^2) a3 a4 a5-80 (a1^3) (a2^3) a3 a4 a5+81 (a1^6) (a3^2) a4 a5-1130 (a1^4) a2 (a3^2) a4 a5+290 (a1^2) (a2^2) (a3^2) a4 a5+187 (a1^3) (a3^3) a4 a5-170 a1 a2 (a3^3) a4 a5-25 (a3^4) a4 a5-61 (a1^8) (a4^2) a5+65 (a1^6) a2 (a4^2) a5-64 (a1^4) (a2^2) (a4^2) a5+125 (a1^5) a3 (a4^2) a5-145 (a1^3) a2 a3 (a4^2) a5+4 a1 (a2^2) a3 (a4^2) a5+339 (a1^2) (a3^2) (a4^2) a5-10 a2 (a3^2) (a4^2) a5-143 (a1^4) (a4^3) a5+24 (a1^2) a2 (a4^3) a5-32 a1 a3 (a4^3) a5-44 (a1^11) (a5^2)+454 (a1^9) a2 (a5^2)-1085 (a1^7) (a2^2) (a5^2)-135 (a1^5) (a2^3) (a5^2)-347 (a1^8) a3 (a5^2)+1819 (a1^6) a2 a3 (a5^2)+662 (a1^4) (a2^2) a3 (a5^2)-48 (a1^2) (a2^3) a3 (a5^2)-731 (a1^5) (a3^2) (a5^2)-835 (a1^3) a2 (a3^2) (a5^2)+112 a1 (a2^2) (a3^2) (a5^2)+255 (a1^2) (a3^3) (a5^2)+40 a2 (a3^3) (a5^2)-73 (a1^7) a4 (a5^2)-47 (a1^5) a2 a4 (a5^2)-95 (a1^3) (a2^2) a4 (a5^2)+25 (a1^4) a3 a4 (a5^2)-88 (a1^2) a2 a3 a4 (a5^2)+79 a1 (a3^2) a4 (a5^2)-79 (a1^3) (a4^2) (a5^2)+12 a1 a2 (a4^2) (a5^2)-4 a3 (a4^2) (a5^2)+226 (a1^6) (a5^3)+38 (a1^4) a2 (a5^3)-27 (a1^2) (a2^2) (a5^3)-88 (a1^3) a3 (a5^3)-89 a1 a2 a3 (a5^3)-17 (a3^2) (a5^3)+12 (a1^2) a4 (a5^3)+2 a2 a4 (a5^3)+16 a1 (a5^4)+16 (a1^11) (a2^2) a6-152 (a1^9) (a2^3) a6+352 (a1^7) (a2^4) a6+4 (a1^12) a3 a6-136 (a1^10) a2 a3 a6+1074 (a1^8) (a2^2) a3 a6-2492 (a1^6) (a2^3) a3 a6-16 (a1^4) (a2^4) a3 a6+122 (a1^9) (a3^2) a6-1633 (a1^7) a2 (a3^2) a6+4787 (a1^5) (a2^2) (a3^2) a6+144 (a1^3) (a2^3) (a3^2) a6+642 (a1^6) (a3^3) a6-3182 (a1^4) a2 (a3^3) a6-498 (a1^2) (a2^2) (a3^3) a6+20 (a2^3) (a3^3) a6+607 (a1^3) (a3^4) a6+635 a1 a2 (a3^4) a6-234 (a3^5) a6+92 (a1^11) a4 a6-868 (a1^9) a2 a4 a6+1982 (a1^7) (a2^2) a4 a6+96 (a1^5) (a2^3) a4 a6+934 (a1^8) a3 a4 a6-4293 (a1^6) a2 a3 a4 a6+36 (a1^4) (a2^2) a3 a4 a6-48 (a1^2) (a2^3) a3 a4 a6+2349 (a1^5) (a3^2) a4 a6-1097 (a1^3) a2 (a3^2) a4 a6+58 a1 (a2^2) (a3^2) a4 a6+803 (a1^2) (a3^3) a4 a6-170 a2 (a3^3) a4 a6-330 (a1^7) (a4^2) a6+1880 (a1^5) a2 (a4^2) a6-40 (a1^3) (a2^2) (a4^2) a6-1525 (a1^4) a3 (a4^2) a6+262 (a1^2) a2 a3 (a4^2) a6+4 (a2^2) a3 (a4^2) a6+154 a1 (a3^2) (a4^2) a6-74 (a1^3) (a4^3) a6-16 a3 (a4^3) a6-290 (a1^10) a5 a6+2024 (a1^8) a2 a5 a6-3386 (a1^6) (a2^2) a5 a6+32 (a1^4) (a2^3) a5 a6-1788 (a1^7) a3 a5 a6+5277 (a1^5) a2 a3 a5 a6+704 (a1^3) (a2^2) a3 a5 a6-64 a1 (a2^3) a3 a5 a6-1881 (a1^4) (a3^2) a5 a6-2123 (a1^2) a2 (a3^2) a5 a6+32 (a2^2) (a3^2) a5 a6+997 a1 (a3^3) a5 a6-472 (a1^6) a4 a5 a6+1462 (a1^4) a2 a4 a5 a6-72 (a1^2) (a2^2) a4 a5 a6-1374 (a1^3) a3 a4 a5 a6+341 a1 a2 a3 a4 a5 a6+37 (a3^2) a4 a5 a6-137 (a1^2) (a4^2) a5 a6+1646 (a1^5) (a5^2) a6+771 (a1^3) a2 (a5^2) a6-23 a1 (a2^2) (a5^2) a6-581 (a1^2) a3 (a5^2) a6-19 a2 a3 (a5^2) a6-44 a1 a4 (a5^2) a6+9 (a5^3) a6-491 (a1^9) (a6^2)+2807 (a1^7) a2 (a6^2)-4920 (a1^5) (a2^2) (a6^2)+96 (a1^3) (a2^3) (a6^2)-3250 (a1^6) a3 (a6^2)+9246 (a1^4) a2 a3 (a6^2)+132 (a1^2) (a2^2) a3 (a6^2)-16 (a2^3) a3 (a6^2)-3579 (a1^3) (a3^2) (a6^2)-401 a1 a2 (a3^2) (a6^2)+387 (a3^3) (a6^2)-2315 (a1^5) a4 (a6^2)-442 (a1^3) a2 a4 (a6^2)-949 (a1^2) a3 a4 (a6^2)+72 a2 a3 a4 (a6^2)+2640 (a1^4) a5 (a6^2)+406 (a1^2) a2 a5 (a6^2)-891 a1 a3 a5 (a6^2)+2763 (a1^3) (a6^3)-108 a3 (a6^3)) (x^3)+(3 (a1^8) (a2^2) (a3^2)-12 (a1^6) (a2^3) (a3^2)+15 (a1^4) (a2^4) (a3^2)+(a1^9) (a3^3)-15 (a1^7) a2 (a3^3)+78 (a1^5) (a2^2) (a3^3)-125 (a1^3) (a2^3) (a3^3)+9 (a1^6) (a3^4)-120 (a1^4) a2 (a3^4)+315 (a1^2) (a2^2) (a3^4)+45 (a1^3) (a3^5)-294 a1 a2 (a3^5)+84 (a3^6)+2 (a1^8) (a2^3) a4-8 (a1^6) (a2^4) a4+6 (a1^9) a2 a3 a4-66 (a1^7) (a2^2) a3 a4+139 (a1^5) (a2^3) a3 a4-9 (a1^8) (a3^2) a4+165 (a1^6) a2 (a3^2) a4-495 (a1^4) (a2^2) (a3^2) a4+15 (a1^2) (a2^3) (a3^2) a4-66 (a1^5) (a3^3) a4+535 (a1^3) a2 (a3^3) a4-70 a1 (a2^2) (a3^3) a4-130 (a1^2) (a3^4) a4+70 a2 (a3^4) a4-(a1^10) (a4^2)+8 (a1^8) a2 (a4^2)+10 (a1^6) (a2^2) (a4^2)-7 (a1^4) (a2^3) (a4^2)-60 (a1^7) a3 (a4^2)+114 (a1^5) a2 a3 (a4^2)+48 (a1^3) (a2^2) a3 (a4^2)-218 (a1^4) (a3^2) (a4^2)+15 (a1^2) a2 (a3^2) (a4^2)-130 a1 (a3^3) (a4^2)+90 (a1^6) (a4^3)-72 (a1^4) a2 (a4^3)+(a1^2) (a2^2) (a4^3)+178 (a1^3) a3 (a4^3)-10 a1 a2 a3 (a4^3)+15 (a3^2) (a4^3)-8 (a1^2) (a4^4)-2 (a1^9) (a2^2) a5+11 (a1^7) (a2^3) a5-12 (a1^5) (a2^4) a5-2 (a1^10) a3 a5+16 (a1^8) a2 a3 a5-64 (a1^6) (a2^2) a3 a5+226 (a1^4) (a2^3) a3 a5+20 (a1^7) (a3^2) a5+84 (a1^5) a2 (a3^2) a5-889 (a1^3) (a2^2) (a3^2) a5+15 a1 (a2^3) (a3^2) a5-11 (a1^4) (a3^3) a5+1120 (a1^2) a2 (a3^3) a5-35 (a2^2) (a3^3) a5-405 a1 (a3^4) a5+39 (a1^9) a4 a5-272 (a1^7) a2 a4 a5+319 (a1^5) (a2^2) a4 a5-20 (a1^3) (a2^3) a4 a5+216 (a1^6) a3 a4 a5-813 (a1^4) a2 a3 a4 a5+145 (a1^2) (a2^2) a3 a4 a5+375 (a1^3) (a3^2) a4 a5-135 a1 a2 (a3^2) a4 a5-10 (a3^3) a4 a5-23 (a1^5) (a4^2) a5-39 (a1^3) a2 (a4^2) a5+a1 (a2^2) (a4^2) a5+163 (a1^2) a3 (a4^2) a5-5 a2 a3 (a4^2) a5-8 a1 (a4^3) a5-147 (a1^8) (a5^2)+622 (a1^6) a2 (a5^2)+205 (a1^4) (a2^2) (a5^2)-12 (a1^2) (a2^3) (a5^2)-526 (a1^5) a3 (a5^2)-603 (a1^3) a2 a3 (a5^2)+58 a1 (a2^2) a3 (a5^2)+387 (a1^2) (a3^2) (a5^2)+25 a2 (a3^2) (a5^2)-75 (a1^4) a4 (a5^2)-14 (a1^2) a2 a4 (a5^2)+18 a1 a3 a4 (a5^2)-(a4^2) (a5^2)-60 (a1^3) (a5^3)-19 a1 a2 (a5^3)-9 a3 (a5^3)-22 (a1^10) a2 a6+275 (a1^8) (a2^2) a6-765 (a1^6) (a2^3) a6-4 (a1^4) (a2^4) a6+39 (a1^9) a3 a6-797 (a1^7) a2 a3 a6+3168 (a1^5) (a2^2) a3 a6+76 (a1^3) (a2^3) a3 a6+483 (a1^6) (a3^2) a6-3425 (a1^4) a2 (a3^2) a6-402 (a1^2) (a2^2) (a3^2) a6+15 (a2^3) (a3^2) a6+934 (a1^3) (a3^3) a6+740 a1 a2 (a3^3) a6-375 (a3^4) a6+381 (a1^8) a4 a6-1677 (a1^6) a2 a4 a6-9 (a1^4) (a2^2) a4 a6-12 (a1^2) (a2^3) a4 a6+1873 (a1^5) a3 a4 a6-649 (a1^3) a2 a3 a4 a6+27 a1 (a2^2) a3 a4 a6+728 (a1^2) (a3^2) a4 a6-130 a2 (a3^2) a4 a6-469 (a1^4) (a4^2) a6+68 (a1^2) a2 (a4^2) a6+(a2^2) (a4^2) a6+92 a1 a3 (a4^2) a6-4 (a4^3) a6-551 (a1^7) a5 a6+2020 (a1^5) a2 a5 a6+186 (a1^3) (a2^2) a5 a6-16 a1 (a2^3) a5 a6-1557 (a1^4) a3 a5 a6-1329 (a1^2) a2 a3 a5 a6+18 (a2^2) a3 a5 a6+1071 a1 (a3^2) a5 a6-476 (a1^3) a4 a5 a6+92 a1 a2 a4 a5 a6+a3 a4 a5 a6-247 (a1^2) (a5^2) a6-2 a2 (a5^2) a6-527 (a1^6) (a6^2)+3578 (a1^4) a2 (a6^2)+27 (a1^2) (a2^2) (a6^2)-4 (a2^3) (a6^2)-2827 (a1^3) a3 (a6^2)-239 a1 a2 a3 (a6^2)+345 (a3^2) (a6^2)-239 (a1^2) a4 (a6^2)+18 a2 a4 (a6^2)-291 a1 a5 (a6^2)-27 (a6^3)) (x^4)+(-3 (a1^6) (a2^3) a3+6 (a1^4) (a2^4) a3-6 (a1^7) a2 (a3^2)+42 (a1^5) (a2^2) (a3^2)-78 (a1^3) (a2^3) (a3^2)+9 (a1^6) (a3^3)-105 (a1^4) a2 (a3^3)+273 (a1^2) (a2^2) (a3^3)+60 (a1^3) (a3^4)-336 a1 a2 (a3^4)+126 (a3^5)-5 (a1^7) (a2^2) a4+29 (a1^5) (a2^3) a4-2 (a1^8) a3 a4+54 (a1^6) a2 a3 a4-211 (a1^4) (a2^2) a3 a4+6 (a1^2) (a2^3) a3 a4-43 (a1^5) (a3^2) a4+355 (a1^3) a2 (a3^2) a4-42 a1 (a2^2) (a3^2) a4-129 (a1^2) (a3^3) a4+56 a2 (a3^3) a4-10 (a1^7) (a4^2)+38 (a1^5) a2 (a4^2)+9 (a1^3) (a2^2) (a4^2)-114 (a1^4) a3 (a4^2)+12 (a1^2) a2 a3 (a4^2)-87 a1 (a3^2) (a4^2)+40 (a1^3) (a4^3)-2 a1 a2 (a4^3)+6 a3 (a4^3)+5 (a1^8) a2 a5-38 (a1^6) (a2^2) a5+48 (a1^4) (a2^3) a5-20 (a1^7) a3 a5+138 (a1^5) a2 a3 a5-397 (a1^3) (a2^2) a3 a5+6 a1 (a2^3) a3 a5-97 (a1^4) (a3^2) a5+813 (a1^2) a2 (a3^2) a5-21 (a2^2) (a3^2) a5-449 a1 (a3^3) a5+105 (a1^6) a4 a5-217 (a1^4) a2 a4 a5+29 (a1^2) (a2^2) a4 a5+265 (a1^3) a3 a4 a5-57 a1 a2 a3 a4 a5+3 (a3^2) a4 a5+31 (a1^2) (a4^2) a5-a2 (a4^2) a5-139 (a1^5) (a5^2)-163 (a1^3) a2 (a5^2)+12 a1 (a2^2) (a5^2)+251 (a1^2) a3 (a5^2)+8 a2 a3 (a5^2)-a1 a4 (a5^2)-2 (a5^3)+11 (a1^9) a6-229 (a1^7) a2 a6+823 (a1^5) (a2^2) a6+16 (a1^3) (a2^3) a6+208 (a1^6) a3 a6-1929 (a1^4) a2 a3 a6-171 (a1^2) (a2^2) a3 a6+6 (a2^3) a3 a6+879 (a1^3) (a3^2) a6+510 a1 a2 (a3^2) a6-360 (a3^3) a6+487 (a1^5) a4 a6-146 (a1^3) a2 a4 a6+5 a1 (a2^2) a4 a6+311 (a1^2) a3 a4 a6-53 a2 a3 a4 a6+22 a1 (a4^2) a6-521 (a1^4) a5 a6-322 (a1^2) a2 a5 a6+4 (a2^2) a5 a6+563 a1 a3 a5 a6-3 a4 a5 a6-890 (a1^3) (a6^2)-57 a1 a2 (a6^2)+153 a3 (a6^2)) (x^5)+((a1^4) (a2^4)+9 (a1^5) (a2^2) a3-27 (a1^3) (a2^3) a3+3 (a1^6) (a3^2)-48 (a1^4) a2 (a3^2)+147 (a1^2) (a2^2) (a3^2)+45 (a1^3) (a3^3)-252 a1 a2 (a3^3)+126 (a3^4)+4 (a1^6) a2 a4-37 (a1^4) (a2^2) a4+(a1^2) (a2^3) a4-12 (a1^5) a3 a4+127 (a1^3) a2 a3 a4-14 a1 (a2^2) a3 a4-74 (a1^2) (a3^2) a4+28 a2 (a3^2) a4-24 (a1^4) (a4^2)+3 (a1^2) a2 (a4^2)-32 a1 a3 (a4^2)+(a4^3)-3 (a1^7) a5+46 (a1^5) a2 a5-73 (a1^3) (a2^2) a5+a1 (a2^3) a5-76 (a1^4) a3 a5+320 (a1^2) a2 a3 a5-7 (a2^2) a3 a5-293 a1 (a3^2) a5+67 (a1^3) a4 a5-10 a1 a2 a4 a5+4 a3 a4 a5+61 (a1^2) (a5^2)+a2 (a5^2)+78 (a1^6) a6-444 (a1^4) a2 a6-30 (a1^2) (a2^2) a6+(a2^3) a6+464 (a1^3) a3 a6+193 a1 a2 a3 a6-207 (a3^2) a6+49 (a1^2) a4 a6-9 a2 a4 a6+117 a1 a5 a6+27 (a6^2)) (x^6)+(-4 (a1^3) (a2^3)-9 (a1^4) a2 a3+45 (a1^2) (a2^2) a3+18 (a1^3) (a3^2)-120 a1 a2 (a3^2)+84 (a3^3)-(a1^5) a4+19 (a1^3) a2 a4-2 a1 (a2^2) a4-23 (a1^2) a3 a4+8 a2 a3 a4-5 a1 (a4^2)-19 (a1^4) a5+53 (a1^2) a2 a5-(a2^2) a5-105 a1 a3 a5+a4 a5+104 (a1^3) a6+31 a1 a2 a6-66 a3 a6) (x^7)+(6 (a1^2) (a2^2)+3 (a1^3) a3-33 a1 a2 a3+36 (a3^2)-3 (a1^2) a4+a2 a4-16 a1 a5-9 a6) (x^8)+(-4 a1 a2+9 a3) (x^9)+(x^10);

(*p10d=makeP10[x1 x3 x5+x2 x4 x6]*)

p10d=(a5^6)+(a2^2) (a5^4) a6-2 a1 a3 (a5^4) a6-4 a4 (a5^4) a6+(a1^2) (a3^2) (a5^2) (a6^2)-2 a2 (a3^2) (a5^2) (a6^2)-2 (a1^2) a2 a4 (a5^2) (a6^2)+8 a1 a3 a4 (a5^2) (a6^2)+2 (a1^3) (a5^3) (a6^2)-4 a1 a2 (a5^3) (a6^2)+8 a3 (a5^3) (a6^2)+(a3^4) (a6^3)-2 (a1^2) (a3^2) a4 (a6^3)+(a1^4) (a4^2) (a6^3)-2 (a1^4) a3 a5 (a6^3)+8 (a1^2) a2 a3 a5 (a6^3)-12 a1 (a3^2) a5 (a6^3)-4 (a1^3) a4 a5 (a6^3)+(a1^6) (a6^4)-4 (a1^4) a2 (a6^4)+8 (a1^3) a3 (a6^4)+(-a2 (a5^5)-a1 a2 a3 (a5^3) a6+3 (a3^2) (a5^3) a6+3 (a1^2) a4 (a5^3) a6-2 a1 (a5^4) a6-a1 (a3^3) a5 (a6^2)-(a1^3) a3 a4 a5 (a6^2)+8 a1 a2 a3 a4 a5 (a6^2)-8 (a3^2) a4 a5 (a6^2)-8 (a1^2) (a4^2) a5 (a6^2)+3 (a1^3) a2 (a5^2) (a6^2)-8 a1 (a2^2) (a5^2) (a6^2)-6 (a1^2) a3 (a5^2) (a6^2)+8 a2 a3 (a5^2) (a6^2)+16 a1 a4 (a5^2) (a6^2)-8 (a5^3) (a6^2)+3 (a1^3) (a3^2) (a6^3)-8 a1 a2 (a3^2) (a6^3)+8 (a3^3) (a6^3)-(a1^5) a4 (a6^3)+8 (a1^2) a3 a4 (a6^3)-2 (a1^4) a5 (a6^3)+16 (a1^2) a2 a5 (a6^3)-24 a1 a3 a5 (a6^3)-8 (a1^3) (a6^4)) x+(a1 a3 (a5^4)-a4 (a5^4)+a2 (a3^2) (a5^2) a6+(a1^2) a2 a4 (a5^2) a6-2 (a2^2) a4 (a5^2) a6-8 a1 a3 a4 (a5^2) a6+8 (a4^2) (a5^2) a6-4 (a1^3) (a5^3) a6+10 a1 a2 (a5^3) a6-4 a3 (a5^3) a6+(a1^2) (a3^2) a4 (a6^2)-2 a2 (a3^2) a4 (a6^2)-2 (a1^2) a2 (a4^2) (a6^2)+8 a1 a3 (a4^2) (a6^2)+(a1^4) a3 a5 (a6^2)-8 (a1^2) a2 a3 a5 (a6^2)+8 (a2^2) a3 a5 (a6^2)+8 a1 (a3^2) a5 (a6^2)+10 (a1^3) a4 a5 (a6^2)-4 a1 a2 a4 a5 (a6^2)-24 a3 a4 a5 (a6^2)-7 (a1^2) (a5^2) (a6^2)-6 a2 (a5^2) (a6^2)-(a1^4) a2 (a6^3)+8 (a1^2) (a2^2) (a6^3)-4 (a1^3) a3 (a6^3)-24 a1 a2 a3 (a6^3)+18 (a3^2) (a6^3)-6 (a1^2) a4 (a6^3)+36 a1 a5 (a6^3)) (x^2)+(-(a3^2) (a5^3)-(a1^2) a4 (a5^3)+2 a2 a4 (a5^3)+a1 (a5^4)-a1 a2 a3 a4 a5 a6+3 (a3^2) a4 a5 a6+3 (a1^2) (a4^2) a5 a6-(a1^3) a2 (a5^2) a6+3 a1 (a2^2) (a5^2) a6+6 (a1^2) a3 (a5^2) a6-11 a2 a3 (a5^2) a6-14 a1 a4 (a5^2) a6+9 (a5^3) a6-(a1^3) (a3^2) (a6^2)+3 a1 a2 (a3^2) (a6^2)-3 (a3^3) (a6^2)+2 (a1^3) a2 a4 (a6^2)-11 (a1^2) a3 a4 (a6^2)+(a1^4) a5 (a6^2)-14 (a1^2) a2 a5 (a6^2)+39 a1 a3 a5 (a6^2)+9 (a1^3) (a6^3)) (x^3)+(a1 a3 a4 (a5^2)-(a4^2) (a5^2)+(a1^3) (a5^3)-3 a1 a2 (a5^3)+a3 (a5^3)+(a2^2) (a4^2) a6-2 a1 a3 (a4^2) a6-4 (a4^3) a6+(a1^2) a2 a3 a5 a6-2 (a2^2) a3 a5 a6-a1 (a3^2) a5 a6-3 (a1^3) a4 a5 a6+16 a3 a4 a5 a6+6 (a1^2) (a5^2) a6-2 a2 (a5^2) a6-(a1^2) (a2^2) (a6^2)-4 (a2^3) (a6^2)+(a1^3) a3 (a6^2)+16 a1 a2 a3 (a6^2)-15 (a3^2) (a6^2)-2 (a1^2) a4 (a6^2)+18 a2 a4 (a6^2)-30 a1 a5 (a6^2)-27 (a6^3)) (x^4)+(-a2 (a4^2) a5-(a1^2) a3 (a5^2)+2 a2 a3 (a5^2)+2 a1 a4 (a5^2)-2 (a5^3)-a1 (a2^2) a4 a6+2 (a1^2) a3 a4 a6+a2 a3 a4 a6+4 a1 (a4^2) a6+2 (a1^2) a2 a5 a6+4 (a2^2) a5 a6-16 a1 a3 a5 a6-3 a4 a5 a6-2 (a1^3) (a6^2)-3 a1 a2 (a6^2)-9 a3 (a6^2)) (x^5)+((a4^3)+a1 a2 a4 a5-3 a3 a4 a5-(a1^2) (a5^2)+a2 (a5^2)+(a2^3) a6-3 a1 a2 a3 a6+3 (a3^2) a6+(a1^2) a4 a6-9 a2 a4 a6+9 a1 a5 a6+27 (a6^2)) (x^6)+(-a1 (a4^2)-(a2^2) a5+2 a1 a3 a5+a4 a5+a1 a2 a6+6 a3 a6) (x^7)+(a2 a4-a1 a5-9 a6) (x^8)-a3 (x^9)+(x^10);

(*p10e=makeP10[x1 x3 x5(x1+x3+x5)+x2 x4 x6(x2+x4+x6)]*)

p10e=(a1^3) (a2^2) a3 (a5^6)-2 (a1^2) a2 (a3^2) (a5^6)+a1 (a3^3) (a5^6)-(a1^4) a2 a4 (a5^6)+(a1^3) a3 a4 (a5^6)+a1 a2 a3 a4 (a5^6)-(a3^2) a4 (a5^6)-(a1^2) (a4^2) (a5^6)+(a1^5) (a5^7)-(a1^3) a2 (a5^7)+3 (a1^2) a3 (a5^7)+a2 a3 (a5^7)-2 a1 a4 (a5^7)-(a5^8)+(a1^4) (a2^5) (a5^4) a6-3 (a1^5) (a2^3) a3 (a5^4) a6-3 (a1^3) (a2^4) a3 (a5^4) a6+11 (a1^4) (a2^2) (a3^2) (a5^4) a6+3 (a1^2) (a2^3) (a3^2) (a5^4) a6-13 (a1^3) a2 (a3^3) (a5^4) a6-a1 (a2^2) (a3^3) (a5^4) a6+5 (a1^2) (a3^4) (a5^4) a6+4 (a1^6) (a2^2) a4 (a5^4) a6-4 (a1^4) (a2^3) a4 (a5^4) a6+(a1^2) (a2^4) a4 (a5^4) a6-10 (a1^5) a2 a3 a4 (a5^4) a6-3 (a1^3) (a2^2) a3 a4 (a5^4) a6-2 a1 (a2^3) a3 a4 (a5^4) a6+6 (a1^4) (a3^2) a4 (a5^4) a6+20 (a1^2) a2 (a3^2) a4 (a5^4) a6+(a2^2) (a3^2) a4 (a5^4) a6-13 a1 (a3^3) a4 (a5^4) a6+16 (a1^4) a2 (a4^2) (a5^4) a6-4 (a1^2) (a2^2) (a4^2) (a5^4) a6-18 (a1^3) a3 (a4^2) (a5^4) a6-4 a1 a2 a3 (a4^2) (a5^4) a6+8 (a3^2) (a4^2) (a5^4) a6+12 (a1^2) (a4^3) (a5^4) a6-5 (a1^7) a2 (a5^5) a6+10 (a1^5) (a2^2) (a5^5) a6+(a1^3) (a2^3) (a5^5) a6+a1 (a2^4) (a5^5) a6+7 (a1^6) a3 (a5^5) a6-30 (a1^4) a2 a3 (a5^5) a6-4 (a1^2) (a2^2) a3 (a5^5) a6-(a2^3) a3 (a5^5) a6+24 (a1^3) (a3^2) (a5^5) a6+5 a1 a2 (a3^2) (a5^5) a6-13 (a1^5) a4 (a5^5) a6+22 (a1^3) a2 a4 (a5^5) a6-4 a1 (a2^2) a4 (a5^5) a6-51 (a1^2) a3 a4 (a5^5) a6-8 a2 a3 a4 (a5^5) a6+24 a1 (a4^2) (a5^5) a6+3 (a1^4) (a5^6) a6+10 (a1^2) a2 (a5^6) a6-9 a1 a3 (a5^6) a6+12 a4 (a5^6) a6+(a1^8) (a2^2) (a3^2) (a5^2) (a6^2)-4 (a1^6) (a2^3) (a3^2) (a5^2) (a6^2)+2 (a1^4) (a2^4) (a3^2) (a5^2) (a6^2)-2 (a1^7) a2 (a3^3) (a5^2) (a6^2)+13 (a1^5) (a2^2) (a3^3) (a5^2) (a6^2)-6 (a1^3) (a2^3) (a3^3) (a5^2) (a6^2)+(a1^6) (a3^4) (a5^2) (a6^2)-14 (a1^4) a2 (a3^4) (a5^2) (a6^2)+6 (a1^2) (a2^2) (a3^4) (a5^2) (a6^2)+5 (a1^3) (a3^5) (a5^2) (a6^2)-2 a1 a2 (a3^5) (a5^2) (a6^2)-2 (a1^8) (a2^3) a4 (a5^2) (a6^2)+8 (a1^6) (a2^4) a4 (a5^2) (a6^2)-8 (a1^4) (a2^5) a4 (a5^2) (a6^2)-(a1^9) a2 a3 a4 (a5^2) (a6^2)+8 (a1^7) (a2^2) a3 a4 (a5^2) (a6^2)-16 (a1^5) (a2^3) a3 a4 (a5^2) (a6^2)+24 (a1^3) (a2^4) a3 a4 (a5^2) (a6^2)+(a1^8) (a3^2) a4 (a5^2) (a6^2)-10 (a1^6) a2 (a3^2) a4 (a5^2) (a6^2)-20 (a1^4) (a2^2) (a3^2) a4 (a5^2) (a6^2)-22 (a1^2) (a2^3) (a3^2) a4 (a5^2) (a6^2)+4 (a1^5) (a3^3) a4 (a5^2) (a6^2)+57 (a1^3) a2 (a3^3) a4 (a5^2) (a6^2)+4 a1 (a2^2) (a3^3) a4 (a5^2) (a6^2)-29 (a1^2) (a3^4) a4 (a5^2) (a6^2)+2 a2 (a3^4) a4 (a5^2) (a6^2)+4 (a1^8) a2 (a4^2) (a5^2) (a6^2)-34 (a1^6) (a2^2) (a4^2) (a5^2) (a6^2)+40 (a1^4) (a2^3) (a4^2) (a5^2) (a6^2)-8 (a1^2) (a2^4) (a4^2) (a5^2) (a6^2)-5 (a1^7) a3 (a4^2) (a5^2) (a6^2)+86 (a1^5) a2 a3 (a4^2) (a5^2) (a6^2)-56 (a1^3) (a2^2) a3 (a4^2) (a5^2) (a6^2)+16 a1 (a2^3) a3 (a4^2) (a5^2) (a6^2)-53 (a1^4) (a3^2) (a4^2) (a5^2) (a6^2)-24 (a1^2) a2 (a3^2) (a4^2) (a5^2) (a6^2)-8 (a2^2) (a3^2) (a4^2) (a5^2) (a6^2)+40 a1 (a3^3) (a4^2) (a5^2) (a6^2)+4 (a1^6) (a4^3) (a5^2) (a6^2)-80 (a1^4) a2 (a4^3) (a5^2) (a6^2)+32 (a1^2) (a2^2) (a4^3) (a5^2) (a6^2)+96 (a1^3) a3 (a4^3) (a5^2) (a6^2)-16 a1 a2 a3 (a4^3) (a5^2) (a6^2)-16 (a3^2) (a4^3) (a5^2) (a6^2)-48 (a1^2) (a4^4) (a5^2) (a6^2)+5 (a1^9) (a2^2) (a5^3) (a6^2)-20 (a1^7) (a2^3) (a5^3) (a6^2)+8 (a1^5) (a2^4) (a5^3) (a6^2)+(a1^10) a3 (a5^3) (a6^2)-19 (a1^8) a2 a3 (a5^3) (a6^2)+91 (a1^6) (a2^2) a3 (a5^3) (a6^2)-32 (a1^4) (a2^3) a3 (a5^3) (a6^2)+17 (a1^7) (a3^2) (a5^3) (a6^2)-134 (a1^5) a2 (a3^2) (a5^3) (a6^2)+46 (a1^3) (a2^2) (a3^2) (a5^3) (a6^2)+2 a1 (a2^3) (a3^2) (a5^3) (a6^2)+66 (a1^4) (a3^3) (a5^3) (a6^2)-29 (a1^2) a2 (a3^3) (a5^3) (a6^2)-2 (a2^2) (a3^3) (a5^3) (a6^2)+8 a1 (a3^4) (a5^3) (a6^2)-4 (a1^9) a4 (a5^3) (a6^2)+39 (a1^7) a2 a4 (a5^3) (a6^2)-94 (a1^5) (a2^2) a4 (a5^3) (a6^2)+8 (a1^3) (a2^3) a4 (a5^3) (a6^2)-8 a1 (a2^4) a4 (a5^3) (a6^2)-67 (a1^6) a3 a4 (a5^3) (a6^2)+291 (a1^4) a2 a3 a4 (a5^3) (a6^2)-16 (a1^2) (a2^2) a3 a4 (a5^3) (a6^2)+8 (a2^3) a3 a4 (a5^3) (a6^2)-237 (a1^3) (a3^2) a4 (a5^3) (a6^2)-8 (a3^3) a4 (a5^3) (a6^2)+56 (a1^5) (a4^2) (a5^3) (a6^2)-128 (a1^3) a2 (a4^2) (a5^3) (a6^2)+32 a1 (a2^2) (a4^2) (a5^3) (a6^2)+264 (a1^2) a3 (a4^2) (a5^3) (a6^2)+16 a2 a3 (a4^2) (a5^3) (a6^2)-96 a1 (a4^3) (a5^3) (a6^2)+11 (a1^8) (a5^4) (a6^2)-29 (a1^6) a2 (a5^4) (a6^2)-7 (a1^4) (a2^2) (a5^4) (a6^2)+10 (a1^2) (a2^3) (a5^4) (a6^2)+(a2^4) (a5^4) (a6^2)+59 (a1^5) a3 (a5^4) (a6^2)+31 (a1^3) a2 a3 (a5^4) (a6^2)-15 a1 (a2^2) a3 (a5^4) (a6^2)-(a1^2) (a3^2) (a5^4) (a6^2)+10 a2 (a3^2) (a5^4) (a6^2)-54 (a1^4) a4 (a5^4) (a6^2)-84 (a1^2) a2 a4 (a5^4) (a6^2)-4 (a2^2) a4 (a5^4) (a6^2)+60 a1 a3 a4 (a5^4) (a6^2)-48 (a4^2) (a5^4) (a6^2)-6 (a1^3) (a5^5) (a6^2)+12 a1 a2 (a5^5) (a6^2)-8 a3 (a5^5) (a6^2)+(a1^4) (a2^3) (a3^4) (a6^3)-3 (a1^3) (a2^2) (a3^5) (a6^3)+3 (a1^2) a2 (a3^6) (a6^3)-a1 (a3^7) (a6^3)-2 (a1^8) (a2^2) (a3^2) a4 (a6^3)+8 (a1^6) (a2^3) (a3^2) a4 (a6^3)-8 (a1^4) (a2^4) (a3^2) a4 (a6^3)+4 (a1^7) a2 (a3^3) a4 (a6^3)-28 (a1^5) (a2^2) (a3^3) a4 (a6^3)+24 (a1^3) (a2^3) (a3^3) a4 (a6^3)-2 (a1^6) (a3^4) a4 (a6^3)+32 (a1^4) a2 (a3^4) a4 (a6^3)-23 (a1^2) (a2^2) (a3^4) a4 (a6^3)-12 (a1^3) (a3^5) a4 (a6^3)+6 a1 a2 (a3^5) a4 (a6^3)+(a3^6) a4 (a6^3)+(a1^12) a2 (a4^2) (a6^3)-8 (a1^10) (a2^2) (a4^2) (a6^3)+24 (a1^8) (a2^3) (a4^2) (a6^3)-32 (a1^6) (a2^4) (a4^2) (a6^3)+16 (a1^4) (a2^5) (a4^2) (a6^3)-(a1^11) a3 (a4^2) (a6^3)+20 (a1^9) a2 a3 (a4^2) (a6^3)-80 (a1^7) (a2^2) a3 (a4^2) (a6^3)+112 (a1^5) (a2^3) a3 (a4^2) (a6^3)-48 (a1^3) (a2^4) a3 (a4^2) (a6^3)-12 (a1^8) (a3^2) (a4^2) (a6^3)+90 (a1^6) a2 (a3^2) (a4^2) (a6^3)-104 (a1^4) (a2^2) (a3^2) (a4^2) (a6^3)+40 (a1^2) (a2^3) (a3^2) (a4^2) (a6^3)-34 (a1^5) (a3^3) (a4^2) (a6^3)-4 (a1^3) a2 (a3^3) (a4^2) (a6^3)+28 (a1^2) (a3^4) (a4^2) (a6^3)-8 a2 (a3^4) (a4^2) (a6^3)+(a1^10) (a4^3) (a6^3)-24 (a1^8) a2 (a4^3) (a6^3)+88 (a1^6) (a2^2) (a4^3) (a6^3)-96 (a1^4) (a2^3) (a4^3) (a6^3)+16 (a1^2) (a2^4) (a4^3) (a6^3)+28 (a1^7) a3 (a4^3) (a6^3)-216 (a1^5) a2 a3 (a4^3) (a6^3)+208 (a1^3) (a2^2) a3 (a4^3) (a6^3)-32 a1 (a2^3) a3 (a4^3) (a6^3)+132 (a1^4) (a3^2) (a4^3) (a6^3)-96 (a1^2) a2 (a3^2) (a4^3) (a6^3)+16 (a2^2) (a3^2) (a4^3) (a6^3)-16 a1 (a3^3) (a4^3) (a6^3)-16 (a1^6) (a4^4) (a6^3)+128 (a1^4) a2 (a4^4) (a6^3)-64 (a1^2) (a2^2) (a4^4) (a6^3)-160 (a1^3) a3 (a4^4) (a6^3)+64 a1 a2 a3 (a4^4) (a6^3)+64 (a1^2) (a4^5) (a6^3)-2 (a1^12) a2 a3 a5 (a6^3)+16 (a1^10) (a2^2) a3 a5 (a6^3)-40 (a1^8) (a2^3) a3 a5 (a6^3)+32 (a1^6) (a2^4) a3 a5 (a6^3)+2 (a1^11) (a3^2) a5 (a6^3)-37 (a1^9) a2 (a3^2) a5 (a6^3)+132 (a1^7) (a2^2) (a3^2) a5 (a6^3)-120 (a1^5) (a2^3) (a3^2) a5 (a6^3)+21 (a1^8) (a3^3) a5 (a6^3)-147 (a1^6) a2 (a3^3) a5 (a6^3)+168 (a1^4) (a2^2) (a3^3) a5 (a6^3)+55 (a1^5) (a3^4) a5 (a6^3)-103 (a1^3) a2 (a3^4) a5 (a6^3)+a1 (a2^2) (a3^4) a5 (a6^3)+23 (a1^2) (a3^5) a5 (a6^3)-a2 (a3^5) a5 (a6^3)-(a1^13) a4 a5 (a6^3)+8 (a1^11) a2 a4 a5 (a6^3)-28 (a1^9) (a2^2) a4 a5 (a6^3)+48 (a1^7) (a2^3) a4 a5 (a6^3)-32 (a1^5) (a2^4) a4 a5 (a6^3)-15 (a1^10) a3 a4 a5 (a6^3)+120 (a1^8) a2 a3 a4 a5 (a6^3)-308 (a1^6) (a2^2) a3 a4 a5 (a6^3)+160 (a1^4) (a2^3) a3 a4 a5 (a6^3)-107 (a1^7) (a3^2) a4 a5 (a6^3)+526 (a1^5) a2 (a3^2) a4 a5 (a6^3)-280 (a1^3) (a2^2) (a3^2) a4 a5 (a6^3)-8 a1 (a2^3) (a3^2) a4 a5 (a6^3)-279 (a1^4) (a3^3) a4 a5 (a6^3)+204 (a1^2) a2 (a3^3) a4 a5 (a6^3)+8 (a2^2) (a3^3) a4 a5 (a6^3)-56 a1 (a3^4) a4 a5 (a6^3)+17 (a1^9) (a4^2) a5 (a6^3)-76 (a1^7) a2 (a4^2) a5 (a6^3)+200 (a1^5) (a2^2) (a4^2) a5 (a6^3)-48 (a1^3) (a2^3) (a4^2) a5 (a6^3)+16 a1 (a2^4) (a4^2) a5 (a6^3)+160 (a1^6) a3 (a4^2) a5 (a6^3)-636 (a1^4) a2 a3 (a4^2) a5 (a6^3)+128 (a1^2) (a2^2) a3 (a4^2) a5 (a6^3)-16 (a2^3) a3 (a4^2) a5 (a6^3)+532 (a1^3) (a3^2) (a4^2) a5 (a6^3)-80 a1 a2 (a3^2) (a4^2) a5 (a6^3)+32 (a3^3) (a4^2) a5 (a6^3)-80 (a1^5) (a4^3) a5 (a6^3)+224 (a1^3) a2 (a4^3) a5 (a6^3)-64 a1 (a2^2) (a4^3) a5 (a6^3)-432 (a1^2) a3 (a4^3) a5 (a6^3)+128 a1 (a4^4) a5 (a6^3)+5 (a1^12) (a5^2) (a6^3)-48 (a1^10) a2 (a5^2) (a6^3)+126 (a1^8) (a2^2) (a5^2) (a6^3)-50 (a1^6) (a2^3) (a5^2) (a6^3)+8 (a1^4) (a2^4) (a5^2) (a6^3)+67 (a1^9) a3 (a5^2) (a6^3)-351 (a1^7) a2 a3 (a5^2) (a6^3)+138 (a1^5) (a2^2) a3 (a5^2) (a6^3)+8 (a1^3) (a2^3) a3 (a5^2) (a6^3)+254 (a1^6) (a3^2) (a5^2) (a6^3)-163 (a1^4) a2 (a3^2) (a5^2) (a6^3)-32 (a1^2) (a2^2) (a3^2) (a5^2) (a6^3)+2 (a2^3) (a3^2) (a5^2) (a6^3)+98 (a1^3) (a3^3) (a5^2) (a6^3)+25 a1 a2 (a3^3) (a5^2) (a6^3)+(a3^4) (a5^2) (a6^3)-86 (a1^8) a4 (a5^2) (a6^3)+282 (a1^6) a2 a4 (a5^2) (a6^3)-60 (a1^4) (a2^2) a4 (a5^2) (a6^3)-32 (a1^2) (a2^3) a4 (a5^2) (a6^3)-8 (a2^4) a4 (a5^2) (a6^3)-494 (a1^5) a3 a4 (a5^2) (a6^3)+22 (a1^3) a2 a3 a4 (a5^2) (a6^3)+24 a1 (a2^2) a3 a4 (a5^2) (a6^3)-125 (a1^2) (a3^2) a4 (a5^2) (a6^3)-40 a2 (a3^2) a4 (a5^2) (a6^3)+264 (a1^4) (a4^2) (a5^2) (a6^3)+192 (a1^2) a2 (a4^2) (a5^2) (a6^3)+32 (a2^2) (a4^2) (a5^2) (a6^3)-48 a1 a3 (a4^2) (a5^2) (a6^3)+64 (a4^3) (a5^2) (a6^3)+89 (a1^5) a2 (a5^3) (a6^3)-46 (a1^3) (a2^2) (a5^3) (a6^3)+16 a1 (a2^3) (a5^3) (a6^3)-107 (a1^4) a3 (a5^3) (a6^3)+85 (a1^2) a2 a3 (a5^3) (a6^3)-16 (a2^2) a3 (a5^3) (a6^3)-58 a1 (a3^2) (a5^3) (a6^3)+56 (a1^3) a4 (a5^3) (a6^3)-96 a1 a2 a4 (a5^3) (a6^3)+64 a3 a4 (a5^3) (a6^3)+32 (a1^2) (a5^4) (a6^3)+8 a2 (a5^4) (a6^3)+(a1^16) (a6^4)-12 (a1^14) a2 (a6^4)+56 (a1^12) (a2^2) (a6^4)-128 (a1^10) (a2^3) (a6^4)+144 (a1^8) (a2^4) (a6^4)-64 (a1^6) (a2^5) (a6^4)+18 (a1^13) a3 (a6^4)-152 (a1^11) a2 a3 (a6^4)+456 (a1^9) (a2^2) a3 (a6^4)-576 (a1^7) (a2^3) a3 (a6^4)+256 (a1^5) (a2^4) a3 (a6^4)+111 (a1^10) (a3^2) (a6^4)-574 (a1^8) a2 (a3^2) (a6^4)+882 (a1^6) (a2^2) (a3^2) (a6^4)-392 (a1^4) (a2^3) (a3^2) (a6^4)+266 (a1^7) (a3^3) (a6^4)-630 (a1^5) a2 (a3^3) (a6^4)+280 (a1^3) (a2^2) (a3^3) (a6^4)+195 (a1^4) (a3^4) (a6^4)-86 (a1^2) a2 (a3^4) (a6^4)+(a2^2) (a3^4) (a6^4)+12 a1 (a3^5) (a6^4)-22 (a1^12) a4 (a6^4)+174 (a1^10) a2 a4 (a6^4)-456 (a1^8) (a2^2) a4 (a6^4)+440 (a1^6) (a2^3) a4 (a6^4)-96 (a1^4) (a2^4) a4 (a6^4)-264 (a1^9) a3 a4 (a6^4)+1180 (a1^7) a2 a3 a4 (a6^4)-1304 (a1^5) (a2^2) a3 a4 (a6^4)+288 (a1^3) (a2^3) a3 a4 (a6^4)-870 (a1^6) (a3^2) a4 (a6^4)+1360 (a1^4) a2 (a3^2) a4 (a6^4)-304 (a1^2) (a2^2) (a3^2) a4 (a6^4)-8 (a2^3) (a3^2) a4 (a6^4)-614 (a1^3) (a3^3) a4 (a6^4)+76 a1 a2 (a3^3) a4 (a6^4)-12 (a3^4) a4 (a6^4)+159 (a1^8) (a4^2) (a6^4)-624 (a1^6) a2 (a4^2) (a6^4)+336 (a1^4) (a2^2) (a4^2) (a6^4)-32 (a1^2) (a2^3) (a4^2) (a6^4)+16 (a2^4) (a4^2) (a6^4)+984 (a1^5) a3 (a4^2) (a6^4)-648 (a1^3) a2 a3 (a4^2) (a6^4)+144 a1 (a2^2) a3 (a4^2) (a6^4)+612 (a1^2) (a3^2) (a4^2) (a6^4)-384 (a1^4) (a4^3) (a6^4)-64 (a1^2) a2 (a4^3) (a6^4)-64 (a2^2) (a4^3) (a6^4)-192 a1 a3 (a4^3) (a6^4)+5 (a1^11) a5 (a6^4)+24 (a1^9) a2 a5 (a6^4)-184 (a1^7) (a2^2) a5 (a6^4)+48 (a1^5) (a2^3) a5 (a6^4)-64 (a1^3) (a2^4) a5 (a6^4)-(a1^8) a3 a5 (a6^4)+508 (a1^6) a2 a3 a5 (a6^4)-40 (a1^4) (a2^2) a3 a5 (a6^4)+160 (a1^2) (a2^3) a3 a5 (a6^4)-285 (a1^5) (a3^2) a5 (a6^4)+86 (a1^3) a2 (a3^2) a5 (a6^4)-96 a1 (a2^2) (a3^2) a5 (a6^4)-65 (a1^2) (a3^3) a5 (a6^4)+8 a2 (a3^3) a5 (a6^4)-2 (a1^7) a4 a5 (a6^4)-356 (a1^5) a2 a4 a5 (a6^4)+216 (a1^3) (a2^2) a4 a5 (a6^4)-64 a1 (a2^3) a4 a5 (a6^4)+404 (a1^4) a3 a4 a5 (a6^4)-372 (a1^2) a2 a3 a4 a5 (a6^4)+64 (a2^2) a3 a4 a5 (a6^4)+200 a1 (a3^2) a4 a5 (a6^4)-128 (a1^3) (a4^2) a5 (a6^4)+192 a1 a2 (a4^2) a5 (a6^4)-128 a3 (a4^2) a5 (a6^4)+10 (a1^6) (a5^2) (a6^4)-214 (a1^4) a2 (a5^2) (a6^4)-66 (a1^2) (a2^2) (a5^2) (a6^4)+8 (a2^3) (a5^2) (a6^4)+263 (a1^3) a3 (a5^2) (a6^4)+124 a1 a2 a3 (a5^2) (a6^4)-8 (a3^2) (a5^2) (a6^4)-220 (a1^2) a4 (a5^2) (a6^4)-64 a2 a4 (a5^2) (a6^4)-24 a1 (a5^3) (a6^4)-6 (a1^10) (a6^5)-47 (a1^8) a2 (a6^5)+280 (a1^6) (a2^2) (a6^5)+32 (a1^4) (a2^3) (a6^5)-64 (a1^2) (a2^4) (a6^5)+21 (a1^7) a3 (a6^5)-768 (a1^5) a2 a3 (a6^5)-320 (a1^3) (a2^2) a3 (a6^5)+64 a1 (a2^3) a3 (a6^5)+446 (a1^4) (a3^2) (a6^5)+306 (a1^2) a2 (a3^2) (a6^5)-8 (a2^2) (a3^2) (a6^5)-48 a1 (a3^3) (a6^5)-9 (a1^6) a4 (a6^5)+736 (a1^4) a2 a4 (a6^5)+248 (a1^2) (a2^2) a4 (a6^5)-32 (a2^3) a4 (a6^5)-820 (a1^3) a3 a4 (a6^5)-400 a1 a2 a3 a4 (a6^5)+48 (a3^2) a4 (a6^5)+368 (a1^2) (a4^2) (a6^5)+128 a2 (a4^2) (a6^5)-15 (a1^5) a5 (a6^5)+64 (a1^3) a2 a5 (a6^5)-16 a1 (a2^2) a5 (a6^5)-108 (a1^2) a3 a5 (a6^5)-16 a2 a3 a5 (a6^5)+96 a1 a4 a5 (a6^5)+16 (a5^2) (a6^5)+9 (a1^4) (a6^6)-40 (a1^2) a2 (a6^6)+16 (a2^2) (a6^6)+64 a1 a3 (a6^6)-64 a4 (a6^6)+(-(a1^3) (a2^4) (a5^5)+2 (a1^4) (a2^2) a3 (a5^5)+2 (a1^2) (a2^3) a3 (a5^5)-4 (a1^3) a2 (a3^2) (a5^5)-a1 (a2^2) (a3^2) (a5^5)+2 (a1^2) (a3^3) (a5^5)-3 (a1^5) a2 a4 (a5^5)+4 (a1^3) (a2^2) a4 (a5^5)-a1 (a2^3) a4 (a5^5)+3 (a1^4) a3 a4 (a5^5)-6 (a1^2) a2 a3 a4 (a5^5)+(a2^2) a3 a4 (a5^5)+2 a1 (a3^2) a4 (a5^5)-3 (a1^3) (a4^2) (a5^5)+4 a1 a2 (a4^2) (a5^5)-4 a3 (a4^2) (a5^5)+4 (a1^6) (a5^6)-9 (a1^4) a2 (a5^6)-(a1^2) (a2^2) (a5^6)-(a2^3) (a5^6)+16 (a1^3) a3 (a5^6)+4 a1 a2 a3 (a5^6)-(a3^2) (a5^6)-10 (a1^2) a4 (a5^6)+4 a2 a4 (a5^6)-11 a1 (a5^7)-(a1^6) (a2^3) a3 (a5^3) a6+2 (a1^4) (a2^4) a3 (a5^3) a6+5 (a1^5) (a2^2) (a3^2) (a5^3) a6-8 (a1^3) (a2^3) (a3^2) (a5^3) a6-7 (a1^4) a2 (a3^3) (a5^3) a6+10 (a1^2) (a2^2) (a3^3) (a5^3) a6+3 (a1^3) (a3^4) (a5^3) a6-4 a1 a2 (a3^4) (a5^3) a6+5 (a1^7) (a2^2) a4 (a5^3) a6-16 (a1^5) (a2^3) a4 (a5^3) a6+8 (a1^3) (a2^4) a4 (a5^3) a6-14 (a1^6) a2 a3 a4 (a5^3) a6+39 (a1^4) (a2^2) a3 a4 (a5^3) a6-14 (a1^2) (a2^3) a3 a4 (a5^3) a6+9 (a1^5) (a3^2) a4 (a5^3) a6-28 (a1^3) a2 (a3^2) a4 (a5^3) a6+2 a1 (a2^2) (a3^2) a4 (a5^3) a6+5 (a1^2) (a3^3) a4 (a5^3) a6+4 a2 (a3^3) a4 (a5^3) a6+29 (a1^5) a2 (a4^2) (a5^3) a6-48 (a1^3) (a2^2) (a4^2) (a5^3) a6+8 a1 (a2^3) (a4^2) (a5^3) a6-33 (a1^4) a3 (a4^2) (a5^3) a6+88 (a1^2) a2 a3 (a4^2) (a5^3) a6-8 (a2^2) a3 (a4^2) (a5^3) a6-40 a1 (a3^2) (a4^2) (a5^3) a6+24 (a1^3) (a4^3) (a5^3) a6-32 a1 a2 (a4^3) (a5^3) a6+32 a3 (a4^3) (a5^3) a6-11 (a1^8) a2 (a5^4) a6+41 (a1^6) (a2^2) (a5^4) a6-15 (a1^4) (a2^3) (a5^4) a6+4 (a1^2) (a2^4) (a5^4) a6+17 (a1^7) a3 (a5^4) a6-109 (a1^5) a2 a3 (a5^4) a6+30 (a1^3) (a2^2) a3 (a5^4) a6-3 a1 (a2^3) a3 (a5^4) a6+78 (a1^4) (a3^2) (a5^4) a6-6 (a1^2) a2 (a3^2) (a5^4) a6-3 (a2^2) (a3^2) (a5^4) a6-7 a1 (a3^3) (a5^4) a6-38 (a1^6) a4 (a5^4) a6+120 (a1^4) a2 a4 (a5^4) a6-40 (a1^2) (a2^2) a4 (a5^4) a6+10 (a2^3) a4 (a5^4) a6-198 (a1^3) a3 a4 (a5^4) a6+24 a1 a2 a3 a4 (a5^4) a6+10 (a3^2) a4 (a5^4) a6+102 (a1^2) (a4^2) (a5^4) a6-40 a2 (a4^2) (a5^4) a6+2 (a1^5) (a5^5) a6+67 (a1^3) a2 (a5^5) a6-16 a1 (a2^2) (a5^5) a6-99 (a1^2) a3 (a5^5) a6+2 a2 a3 (a5^5) a6+132 a1 a4 (a5^5) a6+6 (a5^6) a6-(a1^6) (a2^2) (a3^3) a5 (a6^2)+2 (a1^4) (a2^3) (a3^3) a5 (a6^2)+2 (a1^5) a2 (a3^4) a5 (a6^2)-7 (a1^3) (a2^2) (a3^4) a5 (a6^2)-(a1^4) (a3^5) a5 (a6^2)+8 (a1^2) a2 (a3^5) a5 (a6^2)-3 a1 (a3^6) a5 (a6^2)-(a1^10) a2 a3 a4 a5 (a6^2)+6 (a1^8) (a2^2) a3 a4 a5 (a6^2)-4 (a1^6) (a2^3) a3 a4 a5 (a6^2)-8 (a1^4) (a2^4) a3 a4 a5 (a6^2)+(a1^9) (a3^2) a4 a5 (a6^2)-13 (a1^7) a2 (a3^2) a4 a5 (a6^2)+12 (a1^5) (a2^2) (a3^2) a4 a5 (a6^2)+32 (a1^3) (a2^3) (a3^2) a4 a5 (a6^2)+7 (a1^6) (a3^3) a4 a5 (a6^2)-13 (a1^4) a2 (a3^3) a4 a5 (a6^2)-38 (a1^2) (a2^2) (a3^3) a4 a5 (a6^2)+5 (a1^3) (a3^4) a4 a5 (a6^2)+11 a1 a2 (a3^4) a4 a5 (a6^2)+3 (a3^5) a4 a5 (a6^2)+4 (a1^9) a2 (a4^2) a5 (a6^2)-36 (a1^7) (a2^2) (a4^2) a5 (a6^2)+64 (a1^5) (a2^3) (a4^2) a5 (a6^2)-16 (a1^3) (a2^4) (a4^2) a5 (a6^2)-5 (a1^8) a3 (a4^2) a5 (a6^2)+94 (a1^6) a2 a3 (a4^2) a5 (a6^2)-196 (a1^4) (a2^2) a3 (a4^2) a5 (a6^2)+24 (a1^2) (a2^3) a3 (a4^2) a5 (a6^2)-59 (a1^5) (a3^2) (a4^2) a5 (a6^2)+200 (a1^3) a2 (a3^2) (a4^2) a5 (a6^2)+8 a1 (a2^2) (a3^2) (a4^2) a5 (a6^2)-68 (a1^2) (a3^3) (a4^2) a5 (a6^2)-16 a2 (a3^3) (a4^2) a5 (a6^2)+4 (a1^7) (a4^3) a5 (a6^2)-84 (a1^5) a2 (a4^3) a5 (a6^2)+128 (a1^3) (a2^2) (a4^3) a5 (a6^2)-16 a1 (a2^3) (a4^3) a5 (a6^2)+100 (a1^4) a3 (a4^3) a5 (a6^2)-256 (a1^2) a2 a3 (a4^3) a5 (a6^2)+16 (a2^2) a3 (a4^3) a5 (a6^2)+128 a1 (a3^2) (a4^3) a5 (a6^2)-48 (a1^3) (a4^4) a5 (a6^2)+64 a1 a2 (a4^4) a5 (a6^2)-64 a3 (a4^4) a5 (a6^2)+3 (a1^10) (a2^2) (a5^2) (a6^2)-18 (a1^8) (a2^3) (a5^2) (a6^2)+28 (a1^6) (a2^4) (a5^2) (a6^2)-8 (a1^4) (a2^5) (a5^2) (a6^2)+2 (a1^11) a3 (a5^2) (a6^2)-23 (a1^9) a2 a3 (a5^2) (a6^2)+95 (a1^7) (a2^2) a3 (a5^2) (a6^2)-126 (a1^5) (a2^3) a3 (a5^2) (a6^2)+24 (a1^3) (a2^4) a3 (a5^2) (a6^2)+25 (a1^8) (a3^2) (a5^2) (a6^2)-147 (a1^6) a2 (a3^2) (a5^2) (a6^2)+166 (a1^4) (a2^2) (a3^2) (a5^2) (a6^2)-16 (a1^2) (a2^3) (a3^2) (a5^2) (a6^2)+73 (a1^5) (a3^3) (a5^2) (a6^2)-53 (a1^3) a2 (a3^3) (a5^2) (a6^2)-16 (a1^2) (a3^4) (a5^2) (a6^2)-a2 (a3^4) (a5^2) (a6^2)-8 (a1^10) a4 (a5^2) (a6^2)+81 (a1^8) a2 a4 (a5^2) (a6^2)-204 (a1^6) (a2^2) a4 (a5^2) (a6^2)+164 (a1^4) (a2^3) a4 (a5^2) (a6^2)-40 (a1^2) (a2^4) a4 (a5^2) (a6^2)-133 (a1^7) a3 a4 (a5^2) (a6^2)+579 (a1^5) a2 a3 a4 (a5^2) (a6^2)-398 (a1^3) (a2^2) a3 a4 (a5^2) (a6^2)+48 a1 (a2^3) a3 a4 (a5^2) (a6^2)-427 (a1^4) (a3^2) a4 (a5^2) (a6^2)+174 (a1^2) a2 (a3^2) a4 (a5^2) (a6^2)+4 (a2^2) (a3^2) a4 (a5^2) (a6^2)+64 a1 (a3^3) a4 (a5^2) (a6^2)+120 (a1^6) (a4^2) (a5^2) (a6^2)-450 (a1^4) a2 (a4^2) (a5^2) (a6^2)+304 (a1^2) (a2^2) (a4^2) (a5^2) (a6^2)-32 (a2^3) (a4^2) (a5^2) (a6^2)+684 (a1^3) a3 (a4^2) (a5^2) (a6^2)-288 a1 a2 a3 (a4^2) (a5^2) (a6^2)-48 (a3^2) (a4^2) (a5^2) (a6^2)-336 (a1^2) (a4^3) (a5^2) (a6^2)+128 a2 (a4^3) (a5^2) (a6^2)+23 (a1^9) (a5^3) (a6^2)-89 (a1^7) a2 (a5^3) (a6^2)-68 (a1^5) (a2^2) (a5^3) (a6^2)+44 (a1^3) (a2^3) (a5^3) (a6^2)-8 a1 (a2^4) (a5^3) (a6^2)+130 (a1^6) a3 (a5^3) (a6^2)+257 (a1^4) a2 a3 (a5^3) (a6^2)-115 (a1^2) (a2^2) a3 (a5^3) (a6^2)+10 (a2^3) a3 (a5^3) (a6^2)-191 (a1^3) (a3^2) (a5^3) (a6^2)+58 a1 a2 (a3^2) (a5^3) (a6^2)-5 (a3^3) (a5^3) (a6^2)-40 (a1^5) a4 (a5^3) (a6^2)-469 (a1^3) a2 a4 (a5^3) (a6^2)+112 a1 (a2^2) a4 (a5^3) (a6^2)+755 (a1^2) a3 a4 (a5^3) (a6^2)-8 a2 a3 a4 (a5^3) (a6^2)-528 a1 (a4^2) (a5^3) (a6^2)-111 (a1^4) (a5^4) (a6^2)+17 (a1^2) a2 (a5^4) (a6^2)-14 (a2^2) (a5^4) (a6^2)-42 a1 a3 (a5^4) (a6^2)-40 a4 (a5^4) (a6^2)+3 (a1^10) a2 (a3^2) (a6^3)-18 (a1^8) (a2^2) (a3^2) (a6^3)+28 (a1^6) (a2^3) (a3^2) (a6^3)-8 (a1^4) (a2^4) (a3^2) (a6^3)-3 (a1^9) (a3^3) (a6^3)+45 (a1^7) a2 (a3^3) (a6^3)-98 (a1^5) (a2^2) (a3^3) (a6^3)+24 (a1^3) (a2^3) (a3^3) (a6^3)-27 (a1^6) (a3^4) (a6^3)+121 (a1^4) a2 (a3^4) (a6^3)-20 (a1^2) (a2^2) (a3^4) (a6^3)-51 (a1^3) (a3^5) (a6^3)+3 a1 a2 (a3^5) (a6^3)+(a3^6) (a6^3)-(a1^14) a4 (a6^3)+10 (a1^12) a2 a4 (a6^3)-40 (a1^10) (a2^2) a4 (a6^3)+80 (a1^8) (a2^3) a4 (a6^3)-80 (a1^6) (a2^4) a4 (a6^3)+32 (a1^4) (a2^5) a4 (a6^3)-15 (a1^11) a3 a4 (a6^3)+102 (a1^9) a2 a3 a4 (a6^3)-244 (a1^7) (a2^2) a3 a4 (a6^3)+248 (a1^5) (a2^3) a3 a4 (a6^3)-96 (a1^3) (a2^4) a3 a4 (a6^3)-69 (a1^8) (a3^2) a4 (a6^3)+196 (a1^6) a2 (a3^2) a4 (a6^3)-124 (a1^4) (a2^2) (a3^2) a4 (a6^3)+56 (a1^2) (a2^3) (a3^2) a4 (a6^3)-33 (a1^5) (a3^3) a4 (a6^3)-262 (a1^3) a2 (a3^3) a4 (a6^3)+24 a1 (a2^2) (a3^3) a4 (a6^3)+222 (a1^2) (a3^4) a4 (a6^3)-14 a2 (a3^4) a4 (a6^3)+20 (a1^10) (a4^2) (a6^3)-136 (a1^8) a2 (a4^2) (a6^3)+360 (a1^6) (a2^2) (a4^2) (a6^3)-384 (a1^4) (a2^3) (a4^2) (a6^3)+96 (a1^2) (a2^4) (a4^2) (a6^3)+198 (a1^7) a3 (a4^2) (a6^3)-772 (a1^5) a2 a3 (a4^2) (a6^3)+856 (a1^3) (a2^2) a3 (a4^2) (a6^3)-144 a1 (a2^3) a3 (a4^2) (a6^3)+438 (a1^4) (a3^2) (a4^2) (a6^3)-232 (a1^2) a2 (a3^2) (a4^2) (a6^3)+32 (a2^2) (a3^2) (a4^2) (a6^3)-272 a1 (a3^3) (a4^2) (a6^3)-136 (a1^6) (a4^3) (a6^3)+552 (a1^4) a2 (a4^3) (a6^3)-512 (a1^2) (a2^2) (a4^3) (a6^3)+32 (a2^3) (a4^3) (a6^3)-720 (a1^3) a3 (a4^3) (a6^3)+512 a1 a2 a3 (a4^3) (a6^3)+96 (a3^2) (a4^3) (a6^3)+352 (a1^2) (a4^4) (a6^3)-128 a2 (a4^4) (a6^3)+5 (a1^13) a5 (a6^3)-54 (a1^11) a2 a5 (a6^3)+196 (a1^9) (a2^2) a5 (a6^3)-248 (a1^7) (a2^3) a5 (a6^3)+64 (a1^5) (a2^4) a5 (a6^3)+67 (a1^10) a3 a5 (a6^3)-433 (a1^8) a2 a3 a5 (a6^3)+634 (a1^6) (a2^2) a3 a5 (a6^3)-40 (a1^4) (a2^3) a3 a5 (a6^3)+248 (a1^7) (a3^2) a5 (a6^3)-474 (a1^5) a2 (a3^2) a5 (a6^3)-108 (a1^3) (a2^2) (a3^2) a5 (a6^3)-8 a1 (a2^3) (a3^2) a5 (a6^3)+93 (a1^4) (a3^3) a5 (a6^3)+113 (a1^2) a2 (a3^3) a5 (a6^3)+10 (a2^2) (a3^3) a5 (a6^3)-25 a1 (a3^4) a5 (a6^3)-75 (a1^9) a4 a5 (a6^3)+280 (a1^7) a2 a4 a5 (a6^3)-160 (a1^5) (a2^2) a4 a5 (a6^3)-80 (a1^3) (a2^3) a4 a5 (a6^3)+32 a1 (a2^4) a4 a5 (a6^3)-340 (a1^6) a3 a4 a5 (a6^3)-292 (a1^4) a2 a3 a4 a5 (a6^3)+220 (a1^2) (a2^2) a3 a4 a5 (a6^3)-40 (a2^3) a3 a4 a5 (a6^3)+523 (a1^3) (a3^2) a4 a5 (a6^3)-128 a1 a2 (a3^2) a4 a5 (a6^3)+36 (a3^3) a4 a5 (a6^3)+104 (a1^5) (a4^2) a5 (a6^3)+772 (a1^3) a2 (a4^2) a5 (a6^3)-192 a1 (a2^2) (a4^2) a5 (a6^3)-1340 (a1^2) a3 (a4^2) a5 (a6^3)+704 a1 (a4^3) a5 (a6^3)-83 (a1^8) (a5^2) (a6^3)+619 (a1^6) a2 (a5^2) (a6^3)-354 (a1^4) (a2^2) (a5^2) (a6^3)+108 (a1^2) (a2^3) (a5^2) (a6^3)-8 (a2^4) (a5^2) (a6^3)-875 (a1^5) a3 (a5^2) (a6^3)+665 (a1^3) a2 a3 (a5^2) (a6^3)-122 a1 (a2^2) a3 (a5^2) (a6^3)-516 (a1^2) (a3^2) (a5^2) (a6^3)-26 a2 (a3^2) (a5^2) (a6^3)+738 (a1^4) a4 (a5^2) (a6^3)-286 (a1^2) a2 a4 (a5^2) (a6^3)+112 (a2^2) a4 (a5^2) (a6^3)+488 a1 a3 a4 (a5^2) (a6^3)+32 (a4^2) (a5^2) (a6^3)+226 (a1^3) (a5^3) (a6^3)-32 a1 a2 (a5^3) (a6^3)+52 a3 (a5^3) (a6^3)-15 (a1^12) (a6^4)+166 (a1^10) a2 (a6^4)-628 (a1^8) (a2^2) (a6^4)+856 (a1^6) (a2^3) (a6^4)-288 (a1^4) (a2^4) (a6^4)-225 (a1^9) a3 (a6^4)+1562 (a1^7) a2 a3 (a6^4)-2656 (a1^5) (a2^2) a3 (a6^4)+672 (a1^3) (a2^3) a3 (a6^4)-1029 (a1^6) (a3^2) (a6^4)+2862 (a1^4) a2 (a3^2) (a6^4)-500 (a1^2) (a2^2) (a3^2) (a6^4)-8 (a2^3) (a3^2) (a6^4)-1143 (a1^3) (a3^3) (a6^4)+90 a1 a2 (a3^3) (a6^4)-12 (a3^4) (a6^4)+270 (a1^8) a4 (a6^4)-1476 (a1^6) a2 a4 (a6^4)+1896 (a1^4) (a2^2) a4 (a6^4)-304 (a1^2) (a2^3) a4 (a6^4)+32 (a2^4) a4 (a6^4)+2100 (a1^5) a3 a4 (a6^4)-3860 (a1^3) a2 a3 a4 (a6^4)+488 a1 (a2^2) a3 a4 (a6^4)+2462 (a1^2) (a3^2) a4 (a6^4)-8 a2 (a3^2) a4 (a6^4)-1128 (a1^4) (a4^2) (a6^4)+808 (a1^2) a2 (a4^2) (a6^4)-224 (a2^2) (a4^2) (a6^4)-1408 a1 a3 (a4^2) (a6^4)+128 (a4^3) (a6^4)+35 (a1^7) a5 (a6^4)-848 (a1^5) a2 a5 (a6^4)+64 (a1^3) (a2^2) a5 (a6^4)-32 a1 (a2^3) a5 (a6^4)+1041 (a1^4) a3 a5 (a6^4)+2 (a1^2) a2 a3 a5 (a6^4)+56 (a2^2) a3 a5 (a6^4)+116 a1 (a3^2) a5 (a6^4)-820 (a1^3) a4 a5 (a6^4)+176 a1 a2 a4 a5 (a6^4)-192 a3 a4 a5 (a6^4)-310 (a1^2) (a5^2) (a6^4)-72 a2 (a5^2) (a6^4)-30 (a1^6) (a6^5)+828 (a1^4) a2 (a6^5)+216 (a1^2) (a2^2) (a6^5)-32 (a2^3) (a6^5)-970 (a1^3) a3 (a6^5)-408 a1 a2 a3 (a6^5)+48 (a3^2) (a6^5)+880 (a1^2) a4 (a6^5)+256 a2 a4 (a6^5)+128 a1 a5 (a6^5)-64 (a6^6)) x+((a1^5) (a2^2) a3 (a5^4)-2 (a1^3) (a2^3) a3 (a5^4)-2 (a1^4) a2 (a3^2) (a5^4)+4 (a1^2) (a2^2) (a3^2) (a5^4)+(a1^3) (a3^3) (a5^4)-2 a1 a2 (a3^3) (a5^4)-3 (a1^6) a2 a4 (a5^4)+8 (a1^4) (a2^2) a4 (a5^4)+(a1^2) (a2^3) a4 (a5^4)+3 (a1^5) a3 a4 (a5^4)-14 (a1^3) a2 a3 a4 (a5^4)-3 a1 (a2^2) a3 a4 (a5^4)+6 (a1^2) (a3^2) a4 (a5^4)+2 a2 (a3^2) a4 (a5^4)-3 (a1^4) (a4^2) (a5^4)+4 (a1^2) a2 (a4^2) (a5^4)+(a2^2) (a4^2) (a5^4)-3 a1 a3 (a4^2) (a5^4)-4 (a4^3) (a5^4)+6 (a1^7) (a5^5)-21 (a1^5) a2 (a5^5)+7 (a1^3) (a2^2) (a5^5)-3 a1 (a2^3) (a5^5)+29 (a1^4) a3 (a5^5)-12 (a1^2) a2 a3 (a5^5)-(a2^2) a3 (a5^5)+3 a1 (a3^2) (a5^5)-14 (a1^3) a4 (a5^5)+29 a1 a2 a4 (a5^5)-9 a3 a4 (a5^5)-40 (a1^2) (a5^6)+7 a2 (a5^6)+(a1^4) (a2^3) (a3^2) (a5^2) a6-5 (a1^3) (a2^2) (a3^3) (a5^2) a6+7 (a1^2) a2 (a3^4) (a5^2) a6-3 a1 (a3^5) (a5^2) a6+(a1^8) (a2^2) a4 (a5^2) a6-4 (a1^6) (a2^3) a4 (a5^2) a6+2 (a1^4) (a2^4) a4 (a5^2) a6-4 (a1^7) a2 a3 a4 (a5^2) a6+11 (a1^5) (a2^2) a3 a4 (a5^2) a6+2 (a1^3) (a2^3) a3 a4 (a5^2) a6+3 (a1^6) (a3^2) a4 (a5^2) a6-8 (a1^4) a2 (a3^2) a4 (a5^2) a6-7 (a1^2) (a2^2) (a3^2) a4 (a5^2) a6+(a1^3) (a3^3) a4 (a5^2) a6+3 (a3^4) a4 (a5^2) a6+16 (a1^6) a2 (a4^2) (a5^2) a6-28 (a1^4) (a2^2) (a4^2) (a5^2) a6-6 (a1^2) (a2^3) (a4^2) (a5^2) a6-18 (a1^5) a3 (a4^2) (a5^2) a6+39 (a1^3) a2 a3 (a4^2) (a5^2) a6+12 a1 (a2^2) a3 (a4^2) (a5^2) a6-9 (a1^2) (a3^2) (a4^2) (a5^2) a6-4 a2 (a3^2) (a4^2) (a5^2) a6+15 (a1^4) (a4^3) (a5^2) a6+8 (a1^2) a2 (a4^3) (a5^2) a6-8 (a2^2) (a4^3) (a5^2) a6-24 a1 a3 (a4^3) (a5^2) a6+32 (a4^4) (a5^2) a6-7 (a1^9) a2 (a5^3) a6+37 (a1^7) (a2^2) (a5^3) a6-45 (a1^5) (a2^3) (a5^3) a6+8 (a1^3) (a2^4) (a5^3) a6+13 (a1^8) a3 (a5^3) a6-97 (a1^6) a2 a3 (a5^3) a6+120 (a1^4) (a2^2) a3 (a5^3) a6-8 (a1^2) (a2^3) a3 (a5^3) a6+66 (a1^5) (a3^2) (a5^3) a6-82 (a1^3) a2 (a3^2) (a5^3) a6-7 a1 (a2^2) (a3^2) (a5^3) a6+(a1^2) (a3^3) (a5^3) a6+a2 (a3^3) (a5^3) a6-40 (a1^7) a4 (a5^3) a6+152 (a1^5) a2 a4 (a5^3) a6-167 (a1^3) (a2^2) a4 (a5^3) a6+34 a1 (a2^3) a4 (a5^3) a6-210 (a1^4) a3 a4 (a5^3) a6+284 (a1^2) a2 a3 a4 (a5^3) a6-6 (a2^2) a3 a4 (a5^3) a6-63 a1 (a3^2) a4 (a5^3) a6+99 (a1^3) (a4^2) (a5^3) a6-224 a1 a2 (a4^2) (a5^3) a6+80 a3 (a4^2) (a5^3) a6-8 (a1^6) (a5^4) a6+174 (a1^4) a2 (a5^4) a6-91 (a1^2) (a2^2) (a5^4) a6+10 (a2^3) (a5^4) a6-276 (a1^3) a3 (a5^4) a6+76 a1 a2 a3 (a5^4) a6+5 (a3^2) (a5^4) a6+396 (a1^2) a4 (a5^4) a6-94 a2 a4 (a5^4) a6+66 a1 (a5^5) a6+(a1^8) a2 (a3^2) a4 (a6^2)-4 (a1^6) (a2^2) (a3^2) a4 (a6^2)+2 (a1^4) (a2^3) (a3^2) a4 (a6^2)-(a1^7) (a3^3) a4 (a6^2)+10 (a1^5) a2 (a3^3) a4 (a6^2)-6 (a1^3) (a2^2) (a3^3) a4 (a6^2)-6 (a1^4) (a3^4) a4 (a6^2)+7 (a1^2) a2 (a3^4) a4 (a6^2)-3 a1 (a3^5) a4 (a6^2)-2 (a1^8) (a2^2) (a4^2) (a6^2)+8 (a1^6) (a2^3) (a4^2) (a6^2)-8 (a1^4) (a2^4) (a4^2) (a6^2)-4 (a1^5) (a2^2) a3 (a4^2) (a6^2)+24 (a1^3) (a2^3) a3 (a4^2) (a6^2)+3 (a1^6) (a3^2) (a4^2) (a6^2)-36 (a1^4) a2 (a3^2) (a4^2) (a6^2)-30 (a1^2) (a2^2) (a3^2) (a4^2) (a6^2)+34 (a1^3) (a3^3) (a4^2) (a6^2)+12 a1 a2 (a3^3) (a4^2) (a6^2)+3 (a3^4) (a4^2) (a6^2)+2 (a1^6) a2 (a4^3) (a6^2)-24 (a1^4) (a2^2) (a4^3) (a6^2)+8 (a1^2) (a2^3) (a4^3) (a6^2)-6 (a1^5) a3 (a4^3) (a6^2)+116 (a1^3) a2 a3 (a4^3) (a6^2)-108 (a1^2) (a3^2) (a4^3) (a6^2)-16 a2 (a3^2) (a4^3) (a6^2)+4 (a1^4) (a4^4) (a6^2)-96 (a1^2) a2 (a4^4) (a6^2)+16 (a2^2) (a4^4) (a6^2)+144 a1 a3 (a4^4) (a6^2)-64 (a4^5) (a6^2)+(a1^12) a3 a5 (a6^2)-8 (a1^10) a2 a3 a5 (a6^2)+16 (a1^8) (a2^2) a3 a5 (a6^2)-8 (a1^4) (a2^4) a3 a5 (a6^2)+9 (a1^9) (a3^2) a5 (a6^2)-27 (a1^7) a2 (a3^2) a5 (a6^2)-31 (a1^5) (a2^2) (a3^2) a5 (a6^2)+32 (a1^3) (a2^3) (a3^2) a5 (a6^2)+8 (a1^6) (a3^3) a5 (a6^2)+78 (a1^4) a2 (a3^3) a5 (a6^2)-32 (a1^2) (a2^2) (a3^3) a5 (a6^2)-52 (a1^3) (a3^4) a5 (a6^2)+3 a1 a2 (a3^4) a5 (a6^2)+3 (a3^5) a5 (a6^2)-4 (a1^11) a4 a5 (a6^2)+48 (a1^9) a2 a4 a5 (a6^2)-152 (a1^7) (a2^2) a4 a5 (a6^2)+156 (a1^5) (a2^3) a4 a5 (a6^2)-32 (a1^3) (a2^4) a4 a5 (a6^2)-68 (a1^8) a3 a4 a5 (a6^2)+363 (a1^6) a2 a3 a4 a5 (a6^2)-408 (a1^4) (a2^2) a3 a4 a5 (a6^2)+24 (a1^2) (a2^3) a3 a4 a5 (a6^2)-201 (a1^5) (a3^2) a4 a5 (a6^2)+235 (a1^3) a2 (a3^2) a4 a5 (a6^2)+58 a1 (a2^2) (a3^2) a4 a5 (a6^2)+63 (a1^2) (a3^3) a4 a5 (a6^2)-30 a2 (a3^3) a4 a5 (a6^2)+62 (a1^7) (a4^2) a5 (a6^2)-362 (a1^5) a2 (a4^2) a5 (a6^2)+524 (a1^3) (a2^2) (a4^2) a5 (a6^2)-88 a1 (a2^3) (a4^2) a5 (a6^2)+403 (a1^4) a3 (a4^2) a5 (a6^2)-840 (a1^2) a2 a3 (a4^2) a5 (a6^2)+40 (a2^2) a3 (a4^2) a5 (a6^2)+156 a1 (a3^2) (a4^2) a5 (a6^2)-204 (a1^3) (a4^3) a5 (a6^2)+432 a1 a2 (a4^3) a5 (a6^2)-176 a3 (a4^3) a5 (a6^2)+13 (a1^10) (a5^2) (a6^2)-70 (a1^8) a2 (a5^2) (a6^2)-2 (a1^6) (a2^2) (a5^2) (a6^2)+146 (a1^4) (a2^3) (a5^2) (a6^2)-32 (a1^2) (a2^4) (a5^2) (a6^2)+64 (a1^7) a3 (a5^2) (a6^2)+201 (a1^5) a2 a3 (a5^2) (a6^2)-426 (a1^3) (a2^2) a3 (a5^2) (a6^2)+32 a1 (a2^3) a3 (a5^2) (a6^2)-255 (a1^4) (a3^2) (a5^2) (a6^2)+187 (a1^2) a2 (a3^2) (a5^2) (a6^2)+13 (a2^2) (a3^2) (a5^2) (a6^2)+69 a1 (a3^3) (a5^2) (a6^2)+132 (a1^6) a4 (a5^2) (a6^2)-845 (a1^4) a2 a4 (a5^2) (a6^2)+646 (a1^2) (a2^2) a4 (a5^2) (a6^2)-62 (a2^3) a4 (a5^2) (a6^2)+1487 (a1^3) a3 a4 (a5^2) (a6^2)-573 a1 a2 a3 a4 (a5^2) (a6^2)-81 (a3^2) a4 (a5^2) (a6^2)-1213 (a1^2) (a4^2) (a5^2) (a6^2)+392 a2 (a4^2) (a5^2) (a6^2)-257 (a1^5) (a5^3) (a6^2)+3 (a1^3) a2 (a5^3) (a6^2)+17 a1 (a2^2) (a5^3) (a6^2)+109 (a1^2) a3 (a5^3) (a6^2)-9 a2 a3 (a5^3) (a6^2)-482 a1 a4 (a5^3) (a6^2)+4 (a5^4) (a6^2)-(a1^12) a2 (a6^3)+8 (a1^10) (a2^2) (a6^3)-16 (a1^8) (a2^3) (a6^3)+16 (a1^4) (a2^5) (a6^3)-3 (a1^11) a3 (a6^3)+8 (a1^9) a2 a3 (a6^3)+16 (a1^7) (a2^2) a3 (a6^3)-40 (a1^5) (a2^3) a3 (a6^3)-48 (a1^3) (a2^4) a3 (a6^3)-26 (a1^8) (a3^2) (a6^3)+9 (a1^6) a2 (a3^2) (a6^3)+282 (a1^4) (a2^2) (a3^2) (a6^3)+16 (a1^2) (a2^3) (a3^2) (a6^3)-15 (a1^5) (a3^3) (a6^3)-498 (a1^3) a2 (a3^3) (a6^3)+24 a1 (a2^2) (a3^3) (a6^3)+258 (a1^2) (a3^4) (a6^3)-6 a2 (a3^4) (a6^3)+18 (a1^10) a4 (a6^3)-184 (a1^8) a2 a4 (a6^3)+554 (a1^6) (a2^2) a4 (a6^3)-528 (a1^4) (a2^3) a4 (a6^3)+144 (a1^2) (a2^4) a4 (a6^3)+292 (a1^7) a3 a4 (a6^3)-1378 (a1^5) a2 a3 a4 (a6^3)+1016 (a1^3) (a2^2) a3 a4 (a6^3)-192 a1 (a2^3) a3 a4 (a6^3)+920 (a1^4) (a3^2) a4 (a6^3)+82 (a1^2) a2 (a3^2) a4 (a6^3)+18 (a2^2) (a3^2) a4 (a6^3)-594 a1 (a3^3) a4 (a6^3)-308 (a1^6) (a4^2) (a6^3)+1496 (a1^4) a2 (a4^2) (a6^3)-1240 (a1^2) (a2^2) (a4^2) (a6^3)+88 (a2^3) (a4^2) (a6^3)-2038 (a1^3) a3 (a4^2) (a6^3)+1092 a1 a2 a3 (a4^2) (a6^3)+324 (a3^2) (a4^2) (a6^3)+1172 (a1^2) (a4^3) (a6^3)-512 a2 (a4^3) (a6^3)-94 (a1^9) a5 (a6^3)+707 (a1^7) a2 a5 (a6^3)-1100 (a1^5) (a2^2) a5 (a6^3)+240 (a1^3) (a2^3) a5 (a6^3)+16 a1 (a2^4) a5 (a6^3)-907 (a1^6) a3 a5 (a6^3)+1896 (a1^4) a2 a3 a5 (a6^3)-232 (a1^2) (a2^2) a3 a5 (a6^3)-24 (a2^3) a3 a5 (a6^3)-868 (a1^3) (a3^2) a5 (a6^3)+15 a1 a2 (a3^2) a5 (a6^3)+3 (a3^3) a5 (a6^3)+681 (a1^5) a4 a5 (a6^3)-602 (a1^3) a2 a4 a5 (a6^3)-36 a1 (a2^2) a4 a5 (a6^3)+21 (a1^2) a3 a4 a5 (a6^3)-36 a2 a3 a4 a5 (a6^3)+840 a1 (a4^2) a5 (a6^3)+765 (a1^4) (a5^2) (a6^3)-354 (a1^2) a2 (a5^2) (a6^3)+74 (a2^2) (a5^2) (a6^3)+477 a1 a3 (a5^2) (a6^3)-108 a4 (a5^2) (a6^3)+141 (a1^8) (a6^4)-1078 (a1^6) a2 (a6^4)+1592 (a1^4) (a2^2) (a6^4)-224 (a1^2) (a2^3) (a6^4)+16 (a2^4) (a6^4)+1446 (a1^5) a3 (a6^4)-3120 (a1^3) a2 a3 (a6^4)+312 a1 (a2^2) a3 (a6^4)+1821 (a1^2) (a3^2) (a6^4)-6 a2 (a3^2) (a6^4)-1410 (a1^4) a4 (a6^4)+1762 (a1^2) a2 a4 (a6^4)-240 (a2^2) a4 (a6^4)-2220 a1 a3 a4 (a6^4)+384 (a4^2) (a6^4)-783 (a1^3) a5 (a6^4)-12 a1 a2 a5 (a6^4)-60 a3 a5 (a6^4)+522 (a1^2) (a6^5)+120 a2 (a6^5)) (x^2)+(-(a1^3) (a2^2) (a3^2) (a5^3)+2 (a1^2) a2 (a3^3) (a5^3)-a1 (a3^4) (a5^3)-(a1^7) a2 a4 (a5^3)+4 (a1^5) (a2^2) a4 (a5^3)-2 (a1^3) (a2^3) a4 (a5^3)+(a1^6) a3 a4 (a5^3)-6 (a1^4) a2 a3 a4 (a5^3)+6 (a1^2) (a2^2) a3 a4 (a5^3)+2 (a1^3) (a3^2) a4 (a5^3)-5 a1 a2 (a3^2) a4 (a5^3)+(a3^3) a4 (a5^3)-(a1^5) (a4^2) (a5^3)-4 (a1^3) a2 (a4^2) (a5^3)-2 a1 (a2^2) (a4^2) (a5^3)+6 (a1^2) a3 (a4^2) (a5^3)+4 a2 a3 (a4^2) (a5^3)-8 a1 (a4^3) (a5^3)+4 (a1^8) (a5^4)-19 (a1^6) a2 (a5^4)+17 (a1^4) (a2^2) (a5^4)+21 (a1^5) a3 (a5^4)-28 (a1^3) a2 a3 (a5^4)-7 a1 (a2^2) a3 (a5^4)+3 (a1^2) (a3^2) (a5^4)+a2 (a3^2) (a5^4)-2 (a1^4) a4 (a5^4)+36 (a1^2) a2 a4 (a5^4)-16 (a4^2) (a5^4)-65 (a1^3) (a5^5)+40 a1 a2 (a5^5)-4 a3 (a5^5)-(a1^6) (a2^2) a3 a4 a5 a6+2 (a1^4) (a2^3) a3 a4 a5 a6+4 (a1^5) a2 (a3^2) a4 a5 a6-8 (a1^3) (a2^2) (a3^2) a4 a5 a6-3 (a1^4) (a3^3) a4 a5 a6+12 (a1^2) a2 (a3^3) a4 a5 a6-6 a1 (a3^4) a4 a5 a6+3 (a1^7) a2 (a4^2) a5 a6-8 (a1^5) (a2^2) (a4^2) a5 a6+8 (a1^3) (a2^3) (a4^2) a5 a6-3 (a1^6) a3 (a4^2) a5 a6-(a1^4) a2 a3 (a4^2) a5 a6-22 (a1^2) (a2^2) a3 (a4^2) a5 a6+11 (a1^3) (a3^2) (a4^2) a5 a6+10 a1 a2 (a3^2) (a4^2) a5 a6+6 (a3^3) (a4^2) a5 a6+3 (a1^5) (a4^3) a5 a6+24 (a1^3) a2 (a4^3) a5 a6+8 a1 (a2^2) (a4^3) a5 a6-40 (a1^2) a3 (a4^3) a5 a6-16 a2 a3 (a4^3) a5 a6+32 a1 (a4^4) a5 a6-(a1^10) a2 (a5^2) a6+6 (a1^8) (a2^2) (a5^2) a6-9 (a1^6) (a2^3) (a5^2) a6+2 (a1^4) (a2^4) (a5^2) a6+3 (a1^9) a3 (a5^2) a6-17 (a1^7) a2 a3 (a5^2) a6+16 (a1^5) (a2^2) a3 (a5^2) a6+2 (a1^3) (a2^3) a3 (a5^2) a6+9 (a1^6) (a3^2) (a5^2) a6+18 (a1^4) a2 (a3^2) (a5^2) a6-6 (a1^2) (a2^2) (a3^2) (a5^2) a6-35 (a1^3) (a3^3) (a5^2) a6-7 a1 a2 (a3^3) (a5^2) a6+3 (a3^4) (a5^2) a6-18 (a1^8) a4 (a5^2) a6+68 (a1^6) a2 a4 (a5^2) a6-71 (a1^4) (a2^2) a4 (a5^2) a6+2 (a1^2) (a2^3) a4 (a5^2) a6-64 (a1^5) a3 a4 (a5^2) a6+84 (a1^3) a2 a3 a4 (a5^2) a6+36 a1 (a2^2) a3 a4 (a5^2) a6+69 (a1^2) (a3^2) a4 (a5^2) a6-10 a2 (a3^2) a4 (a5^2) a6+(a1^4) (a4^2) (a5^2) a6-64 (a1^2) a2 (a4^2) (a5^2) a6-12 (a2^2) (a4^2) (a5^2) a6-148 a1 a3 (a4^2) (a5^2) a6+144 (a4^3) (a5^2) a6-10 (a1^7) (a5^3) a6+159 (a1^5) a2 (a5^3) a6-193 (a1^3) (a2^2) (a5^3) a6+26 a1 (a2^3) (a5^3) a6-265 (a1^4) a3 (a5^3) a6+245 (a1^2) a2 a3 (a5^3) a6+2 (a2^2) a3 (a5^3) a6+8 a1 (a3^2) (a5^3) a6+439 (a1^3) a4 (a5^3) a6-392 a1 a2 a4 (a5^3) a6+48 a3 a4 (a5^3) a6+189 (a1^2) (a5^4) a6-48 a2 (a5^4) a6-(a1^10) (a3^2) (a6^2)+6 (a1^8) a2 (a3^2) (a6^2)-9 (a1^6) (a2^2) (a3^2) (a6^2)+2 (a1^4) (a2^3) (a3^2) (a6^2)-9 (a1^7) (a3^3) (a6^2)+24 (a1^5) a2 (a3^3) (a6^2)-6 (a1^3) (a2^2) (a3^3) (a6^2)-18 (a1^4) (a3^4) (a6^2)+6 (a1^2) a2 (a3^4) (a6^2)-3 a1 (a3^5) (a6^2)+2 (a1^10) a2 a4 (a6^2)-12 (a1^8) (a2^2) a4 (a6^2)+24 (a1^6) (a2^3) a4 (a6^2)-16 (a1^4) (a2^4) a4 (a6^2)+2 (a1^9) a3 a4 (a6^2)-5 (a1^7) a2 a3 a4 (a6^2)-22 (a1^5) (a2^2) a3 a4 (a6^2)+48 (a1^3) (a2^3) a3 a4 (a6^2)+41 (a1^6) (a3^2) a4 (a6^2)-83 (a1^4) a2 (a3^2) a4 (a6^2)-46 (a1^2) (a2^2) (a3^2) a4 (a6^2)+111 (a1^3) (a3^3) a4 (a6^2)+18 a1 a2 (a3^3) a4 (a6^2)+6 (a3^4) a4 (a6^2)-4 (a1^8) (a4^2) (a6^2)+26 (a1^6) a2 (a4^2) (a6^2)-32 (a1^4) (a2^2) (a4^2) (a6^2)-16 (a1^2) (a2^3) (a4^2) (a6^2)-97 (a1^5) a3 (a4^2) (a6^2)+282 (a1^3) a2 a3 (a4^2) (a6^2)+24 a1 (a2^2) a3 (a4^2) (a6^2)-374 (a1^2) (a3^2) (a4^2) (a6^2)-44 a2 (a3^2) (a4^2) (a6^2)+74 (a1^4) (a4^3) (a6^2)-304 (a1^2) a2 (a4^3) (a6^2)+48 (a2^2) (a4^3) (a6^2)+592 a1 a3 (a4^3) (a6^2)-320 (a4^4) (a6^2)+(a1^11) a5 (a6^2)-6 (a1^9) a2 a5 (a6^2)-6 (a1^7) (a2^2) a5 (a6^2)+28 (a1^5) (a2^3) a5 (a6^2)-16 (a1^3) (a2^4) a5 (a6^2)-10 (a1^8) a3 a5 (a6^2)+109 (a1^6) a2 a3 a5 (a6^2)-54 (a1^4) (a2^2) a3 a5 (a6^2)-124 (a1^5) (a3^2) a5 (a6^2)-199 (a1^3) a2 (a3^2) a5 (a6^2)+50 a1 (a2^2) (a3^2) a5 (a6^2)+241 (a1^2) (a3^3) a5 (a6^2)-14 a2 (a3^3) a5 (a6^2)+136 (a1^7) a4 a5 (a6^2)-716 (a1^5) a2 a4 a5 (a6^2)+724 (a1^3) (a2^2) a4 a5 (a6^2)-128 a1 (a2^3) a4 a5 (a6^2)+1014 (a1^4) a3 a4 a5 (a6^2)-793 (a1^2) a2 a3 a4 a5 (a6^2)+34 (a2^2) a3 a4 a5 (a6^2)-199 a1 (a3^2) a4 a5 (a6^2)-839 (a1^3) (a4^2) a5 (a6^2)+920 a1 a2 (a4^2) a5 (a6^2)-112 a3 (a4^2) a5 (a6^2)-179 (a1^6) (a5^2) (a6^2)+80 (a1^4) a2 (a5^2) (a6^2)+215 (a1^2) (a2^2) (a5^2) (a6^2)-30 (a2^3) (a5^2) (a6^2)+282 (a1^3) a3 (a5^2) (a6^2)-223 a1 a2 a3 (a5^2) (a6^2)-52 (a3^2) (a5^2) (a6^2)-1088 (a1^2) a4 (a5^2) (a6^2)+376 a2 a4 (a5^2) (a6^2)-65 a1 (a5^3) (a6^2)-6 (a1^10) (a6^3)+51 (a1^8) a2 (a6^3)-70 (a1^6) (a2^2) (a6^3)-32 (a1^4) (a2^3) (a6^3)+64 (a1^2) (a2^4) (a6^3)-31 (a1^7) a3 (a6^3)-72 (a1^5) a2 a3 (a6^3)+64 (a1^3) (a2^2) a3 (a6^3)-80 a1 (a2^3) a3 (a6^3)+192 (a1^4) (a3^2) (a6^3)+323 (a1^2) a2 (a3^2) (a6^3)+2 (a2^2) (a3^2) (a6^3)-345 a1 (a3^3) (a6^3)-173 (a1^6) a4 (a6^3)+1166 (a1^4) a2 a4 (a6^3)-1016 (a1^2) (a2^2) a4 (a6^3)+80 (a2^3) a4 (a6^3)-1853 (a1^3) a3 a4 (a6^3)+802 a1 a2 a3 a4 (a6^3)+366 (a3^2) a4 (a6^3)+1778 (a1^2) (a4^2) (a6^3)-752 a2 (a4^2) (a6^3)+689 (a1^5) a5 (a6^3)-1108 (a1^3) a2 a5 (a6^3)+76 a1 (a2^2) a5 (a6^3)+883 (a1^2) a3 a5 (a6^3)-34 a2 a3 a5 (a6^3)+92 a1 a4 a5 (a6^3)-74 (a5^2) (a6^3)-689 (a1^4) (a6^4)+906 (a1^2) a2 (a6^4)-80 (a2^2) (a6^4)-1002 a1 a3 (a6^4)+384 a4 (a6^4)) (x^3)+((a1^5) a2 a3 a4 (a5^2)-2 (a1^3) (a2^2) a3 a4 (a5^2)-(a1^4) (a3^2) a4 (a5^2)+5 (a1^2) a2 (a3^2) a4 (a5^2)-3 a1 (a3^3) a4 (a5^2)-4 (a1^4) a2 (a4^2) (a5^2)+2 (a1^2) (a2^2) (a4^2) (a5^2)+5 (a1^3) a3 (a4^2) (a5^2)-4 a1 a2 a3 (a4^2) (a5^2)+3 (a3^2) (a4^2) (a5^2)-4 (a1^2) (a4^3) (a5^2)+2 a2 (a4^3) (a5^2)+(a1^9) (a5^3)-6 (a1^7) a2 (a5^3)+9 (a1^5) (a2^2) (a5^3)-2 (a1^3) (a2^3) (a5^3)+4 (a1^6) a3 (a5^3)-9 (a1^4) a2 a3 (a5^3)+4 (a1^2) (a2^2) a3 (a5^3)-7 (a1^3) (a3^2) (a5^3)-7 a1 a2 (a3^2) (a5^3)+(a3^3) (a5^3)+8 (a1^5) a4 (a5^3)+2 (a1^3) a2 a4 (a5^3)-8 a1 (a2^2) a4 (a5^3)+24 (a1^2) a3 a4 (a5^3)+6 a2 a3 a4 (a5^3)-31 a1 (a4^2) (a5^3)-50 (a1^4) (a5^4)+58 (a1^2) a2 (a5^4)-(a2^2) (a5^4)+11 a1 a3 (a5^4)-22 a4 (a5^4)+(a1^4) (a2^3) (a4^2) a6-2 (a1^5) a2 a3 (a4^2) a6-3 (a1^3) (a2^2) a3 (a4^2) a6+2 (a1^4) (a3^2) (a4^2) a6+5 (a1^2) a2 (a3^2) (a4^2) a6-3 a1 (a3^3) (a4^2) a6+8 (a1^4) a2 (a4^3) a6-7 (a1^2) (a2^2) (a4^3) a6-10 (a1^3) a3 (a4^3) a6+6 a1 a2 a3 (a4^3) a6+3 (a3^2) (a4^3) a6+8 (a1^2) (a4^4) a6-8 a2 (a4^4) a6+(a1^8) a2 a3 a5 a6-4 (a1^6) (a2^2) a3 a5 a6+2 (a1^4) (a2^3) a3 a5 a6-3 (a1^7) (a3^2) a5 a6+17 (a1^5) a2 (a3^2) a5 a6-8 (a1^3) (a2^2) (a3^2) a5 a6-17 (a1^4) (a3^3) a5 a6+10 (a1^2) a2 (a3^3) a5 a6-6 a1 (a3^4) a5 a6-3 (a1^9) a4 a5 a6+14 (a1^7) a2 a4 a5 a6-25 (a1^5) (a2^2) a4 a5 a6+16 (a1^3) (a2^3) a4 a5 a6+(a1^6) a3 a4 a5 a6+10 (a1^4) a2 a3 a4 a5 a6-30 (a1^2) (a2^2) a3 a4 a5 a6+49 (a1^3) (a3^2) a4 a5 a6+10 a1 a2 (a3^2) a4 a5 a6+12 (a3^3) a4 a5 a6-28 (a1^5) (a4^2) a5 a6+36 (a1^3) a2 (a4^2) a5 a6+41 a1 (a2^2) (a4^2) a5 a6-146 (a1^2) a3 (a4^2) a5 a6-45 a2 a3 (a4^2) a5 a6+132 a1 (a4^3) a5 a6-3 (a1^8) (a5^2) a6+44 (a1^6) a2 (a5^2) a6-61 (a1^4) (a2^2) (a5^2) a6+8 (a1^2) (a2^3) (a5^2) a6-83 (a1^5) a3 (a5^2) a6+12 (a1^3) a2 a3 (a5^2) a6+24 a1 (a2^2) a3 (a5^2) a6+151 (a1^2) (a3^2) (a5^2) a6-6 a2 (a3^2) (a5^2) a6+192 (a1^4) a4 (a5^2) a6-188 (a1^2) a2 a4 (a5^2) a6-276 a1 a3 a4 (a5^2) a6+246 (a4^2) (a5^2) a6+196 (a1^3) (a5^3) a6-171 a1 a2 (a5^3) a6-3 a3 (a5^3) a6-(a1^8) (a2^2) (a6^2)+4 (a1^6) (a2^3) (a6^2)-8 (a1^4) (a2^4) (a6^2)+(a1^9) a3 (a6^2)-6 (a1^7) a2 a3 (a6^2)+22 (a1^5) (a2^2) a3 (a6^2)+24 (a1^3) (a2^3) a3 (a6^2)+18 (a1^6) (a3^2) (a6^2)-130 (a1^4) a2 (a3^2) (a6^2)-16 (a1^2) (a2^2) (a3^2) (a6^2)+123 (a1^3) (a3^3) (a6^2)+6 a1 a2 (a3^3) (a6^2)+3 (a3^4) (a6^2)+14 (a1^8) a4 (a6^2)-74 (a1^6) a2 a4 (a6^2)+82 (a1^4) (a2^2) a4 (a6^2)-56 (a1^2) (a2^3) a4 (a6^2)+24 (a1^5) a3 a4 (a6^2)+200 (a1^3) a2 a3 a4 (a6^2)+48 a1 (a2^2) a3 a4 (a6^2)-474 (a1^2) (a3^2) a4 (a6^2)-40 a2 (a3^2) a4 (a6^2)+18 (a1^4) (a4^2) (a6^2)-288 (a1^2) a2 (a4^2) (a6^2)+49 (a2^2) (a4^2) (a6^2)+922 a1 a3 (a4^2) (a6^2)-640 (a4^3) (a6^2)-27 (a1^7) a5 (a6^2)-40 (a1^5) a2 a5 (a6^2)+140 (a1^3) (a2^2) a5 (a6^2)-56 a1 (a2^3) a5 (a6^2)+279 (a1^4) a3 a5 (a6^2)-70 (a1^2) a2 a3 a5 (a6^2)+10 (a2^2) a3 a5 (a6^2)-242 a1 (a3^2) a5 (a6^2)-872 (a1^3) a4 a5 (a6^2)+733 a1 a2 a4 a5 (a6^2)+57 a3 a4 a5 (a6^2)-178 (a1^2) (a5^2) (a6^2)+113 a2 (a5^2) (a6^2)+54 (a1^6) (a6^3)+72 (a1^4) a2 (a6^3)-236 (a1^2) (a2^2) (a6^3)+24 (a2^3) (a6^3)-378 (a1^3) a3 (a6^3)+162 a1 a2 a3 (a6^3)+138 (a3^2) (a6^3)+1124 (a1^2) a4 (a6^3)-482 a2 a4 (a6^3)-172 a1 a5 (a6^3)+129 (a6^4)) (x^4)+(-(a1^3) (a2^2) (a4^2) a5+4 (a1^2) a2 a3 (a4^2) a5-3 a1 (a3^2) (a4^2) a5-a1 a2 (a4^3) a5+3 a3 (a4^3) a5-(a1^7) a3 (a5^2)+4 (a1^5) a2 a3 (a5^2)-2 (a1^3) (a2^2) a3 (a5^2)-6 (a1^4) (a3^2) (a5^2)+4 (a1^2) a2 (a3^2) (a5^2)-3 a1 (a3^3) (a5^2)+4 (a1^6) a4 (a5^2)-8 (a1^4) a2 a4 (a5^2)+2 (a1^2) (a2^2) a4 (a5^2)+12 (a1^3) a3 a4 (a5^2)-12 a1 a2 a3 a4 (a5^2)+6 (a3^2) a4 (a5^2)-15 (a1^2) (a4^2) (a5^2)+5 a2 (a4^2) (a5^2)-16 (a1^5) (a5^3)+24 (a1^3) a2 (a5^3)-6 a1 (a2^2) (a5^3)+36 (a1^2) a3 (a5^3)+2 a2 a3 (a5^3)-42 a1 a4 (a5^3)-11 (a5^4)-(a1^6) (a2^2) a4 a6+2 (a1^4) (a2^3) a4 a6+2 (a1^7) a3 a4 a6-2 (a1^5) a2 a3 a4 a6-6 (a1^3) (a2^2) a3 a4 a6+3 (a1^4) (a3^2) a4 a6+8 (a1^2) a2 (a3^2) a4 a6-6 a1 (a3^3) a4 a6-8 (a1^6) (a4^2) a6+24 (a1^4) a2 (a4^2) a6-10 (a1^2) (a2^2) (a4^2) a6-32 (a1^3) a3 (a4^2) a6+15 a1 a2 a3 (a4^2) a6+9 (a3^2) (a4^2) a6+32 (a1^2) (a4^3) a6-30 a2 (a4^3) a6+2 (a1^7) a2 a5 a6-3 (a1^5) (a2^2) a5 a6+8 (a1^3) (a2^3) a5 a6-4 (a1^6) a3 a5 a6-36 (a1^4) a2 a3 a5 a6-8 (a1^2) (a2^2) a3 a5 a6+91 (a1^3) (a3^2) a5 a6+6 (a3^3) a5 a6+30 (a1^5) a4 a5 a6-32 (a1^3) a2 a4 a5 a6+58 a1 (a2^2) a4 a5 a6-204 (a1^2) a3 a4 a5 a6-42 a2 a3 a4 a5 a6+204 a1 (a4^2) a5 a6+74 (a1^4) (a5^2) a6-61 (a1^2) a2 (a5^2) a6+4 (a2^2) (a5^2) a6-165 a1 a3 (a5^2) a6+192 a4 (a5^2) a6-2 (a1^8) (a6^2)+6 (a1^4) (a2^2) (a6^2)-32 (a1^2) (a2^3) (a6^2)+12 (a1^5) a3 (a6^2)+114 (a1^3) a2 a3 (a6^2)+24 a1 (a2^2) a3 (a6^2)-222 (a1^2) (a3^2) (a6^2)-12 a2 (a3^2) (a6^2)-76 (a1^4) a4 (a6^2)-95 (a1^2) a2 a4 (a6^2)+18 (a2^2) a4 (a6^2)+657 a1 a3 a4 (a6^2)-642 (a4^2) (a6^2)-190 (a1^3) a5 (a6^2)+183 a1 a2 a5 (a6^2)+57 a3 a5 (a6^2)+228 (a1^2) (a6^3)-114 a2 (a6^3)) (x^5)+((a1^2) a2 (a4^3)-a1 a3 (a4^3)+(a4^4)+(a1^5) a2 a4 a5-2 (a1^3) (a2^2) a4 a5-3 (a1^4) a3 a4 a5+6 (a1^2) a2 a3 a4 a5-6 a1 (a3^2) a4 a5-(a1^3) (a4^2) a5-5 a1 a2 (a4^2) a5+9 a3 (a4^2) a5-(a1^6) (a5^2)-(a1^4) a2 (a5^2)+23 (a1^3) a3 (a5^2)-8 a1 a2 a3 (a5^2)+3 (a3^2) (a5^2)-18 (a1^2) a4 (a5^2)+4 a2 a4 (a5^2)-23 a1 (a5^3)+(a1^4) (a2^3) a6-3 (a1^5) a2 a3 a6-3 (a1^3) (a2^2) a3 a6+9 (a1^4) (a3^2) a6+3 (a1^2) a2 (a3^2) a6-3 a1 (a3^3) a6+(a1^6) a4 a6+2 (a1^4) a2 a4 a6+(a1^2) (a2^2) a4 a6-30 (a1^3) a3 a4 a6+12 a1 a2 a3 a4 a6+9 (a3^2) a4 a6+42 (a1^2) (a4^2) a6-42 a2 (a4^2) a6+7 (a1^5) a5 a6+3 (a1^3) a2 a5 a6+25 a1 (a2^2) a5 a6-115 (a1^2) a3 a5 a6-13 a2 a3 a5 a6+148 a1 a4 a5 a6+58 (a5^2) a6-21 (a1^4) (a6^2)-14 (a1^2) a2 (a6^2)+(a2^2) (a6^2)+183 a1 a3 (a6^2)-324 a4 (a6^2)) (x^6)+(-(a1^4) (a4^2)+2 (a1^2) a2 (a4^2)-3 a1 a3 (a4^2)+4 (a4^3)-(a1^3) (a2^2) a5+2 (a1^4) a3 a5+2 (a1^2) a2 a3 a5-3 a1 (a3^2) a5+2 (a1^3) a4 a5-7 a1 a2 a4 a5+9 a3 a4 a5-13 (a1^2) (a5^2)+a2 (a5^2)+(a1^4) a2 a6+4 (a1^2) (a2^2) a6-15 (a1^3) a3 a6+3 a1 a2 a3 a6+3 (a3^2) a6+24 (a1^2) a4 a6-26 a2 a4 a6+44 a1 a5 a6-66 (a6^2)) (x^7)+((a1^2) a2 a4-3 a1 a3 a4+6 (a4^2)-(a1^3) a5-3 a1 a2 a5+3 a3 a5+6 (a1^2) a6-6 a2 a6) (x^8)+(-a1 a3+4 a4) (x^9)+(x^10);

(*p10f=makeP10[(x1 x3+x3 x5+x5 x1)(x2 x4+x4 x6+x6 x2)]*)

p10f=a2 (a3^2) (a4^3) (a5^4)-a1 a3 (a4^4) (a5^4)+(a4^5) (a5^4)-2 (a2^2) a3 (a4^2) (a5^5)+a1 a2 (a4^3) (a5^5)-a3 (a4^3) (a5^5)+(a2^3) a4 (a5^6)+a1 a2 a3 a4 (a5^6)-(a1^2) (a4^2) (a5^6)+3 a2 (a4^2) (a5^6)-a1 (a2^2) (a5^7)+a2 a3 (a5^7)-2 a1 a4 (a5^7)-(a5^8)-3 a2 (a3^3) (a4^2) (a5^3) a6+3 a1 (a3^2) (a4^3) (a5^3) a6-3 a3 (a4^4) (a5^3) a6+4 (a2^2) (a3^2) a4 (a5^4) a6-a1 a2 a3 (a4^2) (a5^4) a6+3 (a3^2) (a4^2) (a5^4) a6+(a1^2) (a4^3) (a5^4) a6-6 a2 (a4^3) (a5^4) a6-(a2^3) a3 (a5^5) a6-a1 a2 (a3^2) (a5^5) a6-a1 (a2^2) a4 (a5^5) a6+(a1^2) a3 a4 (a5^5) a6-10 a2 a3 a4 (a5^5) a6+5 a1 (a4^2) (a5^5) a6+2 (a1^2) a2 (a5^6) a6+a1 a3 (a5^6) a6+6 a4 (a5^6) a6+3 a2 (a3^4) a4 (a5^2) (a6^2)+(a2^2) (a3^2) (a4^2) (a5^2) (a6^2)-3 a1 (a3^3) (a4^2) (a5^2) (a6^2)-a1 a2 a3 (a4^3) (a5^2) (a6^2)+3 (a3^2) (a4^3) (a5^2) (a6^2)+a2 (a4^4) (a5^2) (a6^2)-2 (a2^2) (a3^3) (a5^3) (a6^2)-2 (a2^3) a3 a4 (a5^3) (a6^2)+a1 a2 (a3^2) a4 (a5^3) (a6^2)-3 (a3^3) a4 (a5^3) (a6^2)+a1 (a2^2) (a4^2) (a5^3) (a6^2)-5 (a1^2) a3 (a4^2) (a5^3) (a6^2)+15 a2 a3 (a4^2) (a5^3) (a6^2)+2 a1 (a4^3) (a5^3) (a6^2)+(a2^4) (a5^4) (a6^2)-a1 (a2^2) a3 (a5^4) (a6^2)+10 a2 (a3^2) (a5^4) (a6^2)-(a1^2) a2 a4 (a5^4) (a6^2)+10 (a2^2) a4 (a5^4) (a6^2)-10 a1 a3 a4 (a5^4) (a6^2)-4 (a4^2) (a5^4) (a6^2)-(a1^3) (a5^5) (a6^2)-4 a1 a2 (a5^5) (a6^2)-8 a3 (a5^5) (a6^2)-a2 (a3^5) a5 (a6^3)-2 (a2^2) (a3^3) a4 a5 (a6^3)+a1 (a3^4) a4 a5 (a6^3)+3 a1 a2 (a3^2) (a4^2) a5 (a6^3)-(a3^3) (a4^2) a5 (a6^3)-(a1^2) a3 (a4^3) a5 (a6^3)-2 a2 a3 (a4^3) a5 (a6^3)+a1 (a4^4) a5 (a6^3)+2 (a2^3) (a3^2) (a5^2) (a6^3)-a1 a2 (a3^3) (a5^2) (a6^3)+(a3^4) (a5^2) (a6^3)-2 a1 (a2^2) a3 a4 (a5^2) (a6^3)+5 (a1^2) (a3^2) a4 (a5^2) (a6^3)-14 a2 (a3^2) a4 (a5^2) (a6^3)+2 (a1^2) a2 (a4^2) (a5^2) (a6^3)-6 (a2^2) (a4^2) (a5^2) (a6^3)-a1 a3 (a4^2) (a5^2) (a6^3)-2 (a4^3) (a5^2) (a6^3)+5 (a1^2) a2 a3 (a5^3) (a6^3)-16 (a2^2) a3 (a5^3) (a6^3)+2 a1 (a3^2) (a5^3) (a6^3)+(a1^3) a4 (a5^3) (a6^3)-4 a1 a2 a4 (a5^3) (a6^3)+12 a3 a4 (a5^3) (a6^3)+4 (a1^2) (a5^4) (a6^3)+8 a2 (a5^4) (a6^3)+(a2^2) (a3^4) (a6^4)-2 a1 a2 (a3^3) a4 (a6^4)+(a1^2) (a3^2) (a4^2) (a6^4)+2 a2 (a3^2) (a4^2) (a6^4)-2 a1 a3 (a4^3) (a6^4)+(a4^4) (a6^4)-(a1^2) (a3^3) a5 (a6^4)+8 a2 (a3^3) a5 (a6^4)-2 (a1^2) a2 a3 a4 a5 (a6^4)+8 (a2^2) a3 a4 a5 (a6^4)-4 a1 (a3^2) a4 a5 (a6^4)+(a1^3) (a4^2) a5 (a6^4)-4 a1 a2 (a4^2) a5 (a6^4)+4 a3 (a4^2) a5 (a6^4)-2 (a1^2) (a2^2) (a5^2) (a6^4)+8 (a2^3) (a5^2) (a6^4)-3 (a1^3) a3 (a5^2) (a6^4)+4 a1 a2 a3 (a5^2) (a6^4)-8 (a3^2) (a5^2) (a6^4)+2 (a1^2) a4 (a5^2) (a6^4)+8 a2 a4 (a5^2) (a6^4)-8 a1 (a5^3) (a6^4)+2 (a1^2) a2 (a3^2) (a6^5)-8 (a2^2) (a3^2) (a6^5)-2 (a1^3) a3 a4 (a6^5)+8 a1 a2 a3 a4 (a6^5)+2 (a1^2) (a4^2) (a6^5)-8 a2 (a4^2) (a6^5)+4 (a1^2) a3 a5 (a6^5)-16 a2 a3 a5 (a6^5)+16 (a5^2) (a6^5)+(a1^4) (a6^6)-8 (a1^2) a2 (a6^6)+16 (a2^2) (a6^6)+(-(a3^3) (a4^3) (a5^3)-2 a2 a3 (a4^4) (a5^3)+a1 (a4^5) (a5^3)-a2 (a3^2) (a4^2) (a5^4)+2 (a2^2) (a4^3) (a5^4)+6 a1 a3 (a4^3) (a5^4)-7 (a4^4) (a5^4)+3 (a2^2) a3 a4 (a5^5)-a1 (a3^2) a4 (a5^5)-6 a1 a2 (a4^2) (a5^5)+2 a3 (a4^2) (a5^5)-(a2^3) (a5^6)-(a3^2) (a5^6)+4 (a1^2) a4 (a5^6)-10 a2 a4 (a5^6)+4 a1 (a5^7)+3 (a3^4) (a4^2) (a5^2) a6+2 a2 (a3^2) (a4^3) (a5^2) a6+a1 a3 (a4^4) (a5^2) a6-4 (a4^5) (a5^2) a6+2 a2 (a3^3) a4 (a5^3) a6+10 (a2^2) a3 (a4^2) (a5^3) a6-15 a1 (a3^2) (a4^2) (a5^3) a6-8 a1 a2 (a4^3) (a5^3) a6+28 a3 (a4^3) (a5^3) a6-3 (a2^2) (a3^2) (a5^4) a6+a1 (a3^3) (a5^4) a6-10 (a2^3) a4 (a5^4) a6-2 a1 a2 a3 a4 (a5^4) a6+4 (a1^2) (a4^2) (a5^4) a6+4 a2 (a4^2) (a5^4) a6+13 a1 (a2^2) (a5^5) a6-4 (a1^2) a3 (a5^5) a6+2 a2 a3 (a5^5) a6+6 a1 a4 (a5^5) a6+6 (a5^6) a6-3 (a3^5) a4 a5 (a6^2)+2 a2 (a3^3) (a4^2) a5 (a6^2)-2 (a2^2) a3 (a4^3) a5 (a6^2)-6 a1 (a3^2) (a4^3) a5 (a6^2)+a1 a2 (a4^4) a5 (a6^2)+9 a3 (a4^4) a5 (a6^2)-a2 (a3^4) (a5^2) (a6^2)-22 (a2^2) (a3^2) a4 (a5^2) (a6^2)+10 a1 (a3^3) a4 (a5^2) (a6^2)+2 (a2^3) (a4^2) (a5^2) (a6^2)+10 a1 a2 a3 (a4^2) (a5^2) (a6^2)-42 (a3^2) (a4^2) (a5^2) (a6^2)-2 (a1^2) (a4^3) (a5^2) (a6^2)+20 a2 (a4^3) (a5^2) (a6^2)+10 (a2^3) a3 (a5^3) (a6^2)+7 a1 a2 (a3^2) (a5^3) (a6^2)-5 (a3^3) (a5^3) (a6^2)+6 a1 (a2^2) a4 (a5^3) (a6^2)+11 (a1^2) a3 a4 (a5^3) (a6^2)+10 a2 a3 a4 (a5^3) (a6^2)-44 a1 (a4^2) (a5^3) (a6^2)-19 (a1^2) a2 (a5^4) (a6^2)-14 (a2^2) (a5^4) (a6^2)+14 a1 a3 (a5^4) (a6^2)-48 a4 (a5^4) (a6^2)+(a3^6) (a6^3)-2 a2 (a3^4) a4 (a6^3)+2 (a2^2) (a3^2) (a4^2) (a6^3)+4 a1 (a3^3) (a4^2) (a6^3)-2 a1 a2 a3 (a4^3) (a6^3)-6 (a3^2) (a4^3) (a6^3)+(a1^2) (a4^4) (a6^3)-2 a2 (a4^4) (a6^3)+10 (a2^2) (a3^3) a5 (a6^3)-a1 (a3^4) a5 (a6^3)+8 (a2^3) a3 a4 a5 (a6^3)-10 a1 a2 (a3^2) a4 a5 (a6^3)+30 (a3^3) a4 a5 (a6^3)-4 a1 (a2^2) (a4^2) a5 (a6^3)+20 (a1^2) a3 (a4^2) a5 (a6^3)-30 a2 a3 (a4^2) a5 (a6^3)-16 a1 (a4^3) a5 (a6^3)-8 (a2^4) (a5^2) (a6^3)+10 a1 (a2^2) a3 (a5^2) (a6^3)-14 (a1^2) (a3^2) (a5^2) (a6^3)-26 a2 (a3^2) (a5^2) (a6^3)-6 (a1^2) a2 a4 (a5^2) (a6^3)-36 (a2^2) a4 (a5^2) (a6^3)+74 a1 a3 a4 (a5^2) (a6^3)+26 (a4^2) (a5^2) (a6^3)+7 (a1^3) (a5^3) (a6^3)+36 a1 a2 (a5^3) (a6^3)+52 a3 (a5^3) (a6^3)-8 (a2^3) (a3^2) (a6^4)+6 a1 a2 (a3^3) (a6^4)-12 (a3^4) (a6^4)+8 a1 (a2^2) a3 a4 (a6^4)-16 (a1^2) (a3^2) a4 (a6^4)+4 a2 (a3^2) a4 (a6^4)-6 (a1^2) a2 (a4^2) (a6^4)+16 (a2^2) (a4^2) (a6^4)+26 a1 a3 (a4^2) (a6^4)-4 (a4^3) (a6^4)-18 (a1^2) a2 a3 a5 (a6^4)+56 (a2^2) a3 a5 (a6^4)-4 a1 (a3^2) a5 (a6^4)-6 (a1^3) a4 a5 (a6^4)+24 a1 a2 a4 a5 (a6^4)-72 a3 a4 a5 (a6^4)-30 (a1^2) (a5^2) (a6^4)-72 a2 (a5^2) (a6^4)+8 (a1^2) (a2^2) (a6^5)-32 (a2^3) (a6^5)+14 (a1^3) a3 (a6^5)-24 a1 a2 a3 (a6^5)+48 (a3^2) (a6^5)-20 (a1^2) a4 (a6^5)+16 a2 a4 (a6^5)+32 a1 a5 (a6^5)-64 (a6^6)) x+(3 (a3^2) (a4^4) (a5^2)+a2 (a4^5) (a5^2)+3 (a3^3) (a4^2) (a5^3)+4 a2 a3 (a4^3) (a5^3)-7 a1 (a4^4) (a5^3)-a2 (a3^2) a4 (a5^4)-5 (a2^2) (a4^2) (a5^4)-11 a1 a3 (a4^2) (a5^4)+22 (a4^3) (a5^4)-(a2^2) a3 (a5^5)+a1 (a3^2) (a5^5)+9 a1 a2 a4 (a5^5)+3 a3 a4 (a5^5)-4 (a1^2) (a5^6)+7 a2 (a5^6)-6 (a3^3) (a4^3) a5 a6+3 a2 a3 (a4^4) a5 a6-3 a1 (a4^5) a5 a6-6 (a3^4) a4 (a5^2) a6-10 a2 (a3^2) (a4^2) (a5^2) a6-12 (a2^2) (a4^3) (a5^2) a6-8 a1 a3 (a4^3) (a5^2) a6+26 (a4^4) (a5^2) a6+a2 (a3^3) (a5^3) a6-12 (a2^2) a3 a4 (a5^3) a6+29 a1 (a3^2) a4 (a5^3) a6+48 a1 a2 (a4^2) (a5^3) a6-82 a3 (a4^2) (a5^3) a6+10 (a2^3) (a5^4) a6-9 a1 a2 a3 (a5^4) a6+5 (a3^2) (a5^4) a6-29 (a1^2) a4 (a5^4) a6+50 a2 a4 (a5^4) a6-35 a1 (a5^5) a6+3 (a3^4) (a4^2) (a6^2)-4 a2 (a3^2) (a4^3) (a6^2)+(a2^2) (a4^4) (a6^2)+4 a1 a3 (a4^4) (a6^2)+2 (a4^5) (a6^2)+3 (a3^5) a5 (a6^2)+12 a2 (a3^3) a4 a5 (a6^2)-2 (a2^2) a3 (a4^2) a5 (a6^2)+42 a1 (a3^2) (a4^2) a5 (a6^2)+12 a1 a2 (a4^3) a5 (a6^2)-68 a3 (a4^3) a5 (a6^2)+13 (a2^2) (a3^2) (a5^2) (a6^2)-15 a1 (a3^3) (a5^2) (a6^2)+28 (a2^3) a4 (a5^2) (a6^2)-33 a1 a2 a3 a4 (a5^2) (a6^2)+75 (a3^2) a4 (a5^2) (a6^2)-11 (a1^2) (a4^2) (a5^2) (a6^2)-58 a2 (a4^2) (a5^2) (a6^2)-55 a1 (a2^2) (a5^3) (a6^2)+18 (a1^2) a3 (a5^3) (a6^2)-9 a2 a3 (a5^3) (a6^2)+50 a1 a4 (a5^3) (a6^2)+4 (a5^4) (a6^2)-6 a2 (a3^4) (a6^3)+12 (a2^2) (a3^2) a4 (a6^3)-24 a1 (a3^3) a4 (a6^3)-8 (a2^3) (a4^2) (a6^3)-6 a1 a2 a3 (a4^2) (a6^3)+54 (a3^2) (a4^2) (a6^3)-10 (a1^2) (a4^3) (a6^3)-8 a2 (a4^3) (a6^3)-24 (a2^3) a3 a5 (a6^3)-9 a1 a2 (a3^2) a5 (a6^3)+3 (a3^3) a5 (a6^3)-8 a1 (a2^2) a4 a5 (a6^3)-57 (a1^2) a3 a4 a5 (a6^3)+66 a2 a3 a4 a5 (a6^3)+114 a1 (a4^2) a5 (a6^3)+68 (a1^2) a2 (a5^2) (a6^3)+74 (a2^2) (a5^2) (a6^3)-153 a1 a3 (a5^2) (a6^3)+114 a4 (a5^2) (a6^3)+16 (a2^4) (a6^4)-24 a1 (a2^2) a3 (a6^4)+51 (a1^2) (a3^2) (a6^4)-6 a2 (a3^2) (a6^4)+36 (a1^2) a2 a4 (a6^4)-174 a1 a3 a4 (a6^4)+6 (a4^2) (a6^4)-11 (a1^3) a5 (a6^4)-84 a1 a2 a5 (a6^4)-60 a3 a5 (a6^4)+66 (a1^2) (a6^5)+120 a2 (a6^5)) (x^2)+(-3 a3 (a4^5) a5-12 (a3^2) (a4^3) (a5^2)-3 a2 (a4^4) (a5^2)-3 (a3^3) a4 (a5^3)+18 a1 (a4^3) (a5^3)+a2 (a3^2) (a5^4)+4 (a2^2) a4 (a5^4)+8 a1 a3 a4 (a5^4)-38 (a4^2) (a5^4)-4 a1 a2 (a5^5)-4 a3 (a5^5)+3 (a3^2) (a4^4) a6-2 a2 (a4^5) a6+18 (a3^3) (a4^2) a5 a6+4 a2 a3 (a4^3) a5 a6+23 a1 (a4^4) a5 a6+3 (a3^4) (a5^2) a6+14 a2 (a3^2) a4 (a5^2) a6+28 (a2^2) (a4^2) (a5^2) a6+10 a1 a3 (a4^2) (a5^2) a6-80 (a4^3) (a5^2) a6+2 (a2^2) a3 (a5^3) a6-17 a1 (a3^2) (a5^3) a6-72 a1 a2 a4 (a5^3) a6+60 a3 a4 (a5^3) a6+36 (a1^2) (a5^4) a6-48 a2 (a5^4) a6-6 (a3^4) a4 (a6^2)-4 a2 (a3^2) (a4^2) (a6^2)+12 (a2^2) (a4^3) (a6^2)-32 a1 a3 (a4^3) (a6^2)-10 (a4^4) (a6^2)-14 a2 (a3^3) a5 (a6^2)-6 (a2^2) a3 a4 a5 (a6^2)-82 a1 (a3^2) a4 a5 (a6^2)-90 a1 a2 (a4^2) a5 (a6^2)+230 a3 (a4^2) a5 (a6^2)-30 (a2^3) (a5^2) (a6^2)+72 a1 a2 a3 (a5^2) (a6^2)-52 (a3^2) (a5^2) (a6^2)+76 (a1^2) a4 (a5^2) (a6^2)-76 a2 a4 (a5^2) (a6^2)+88 a1 (a5^3) (a6^2)+2 (a2^2) (a3^2) (a6^3)+36 a1 (a3^3) (a6^3)-16 (a2^3) a4 (a6^3)+82 a1 a2 a3 a4 (a6^3)-186 (a3^2) a4 (a6^3)+44 (a1^2) (a4^2) (a6^3)+36 a2 (a4^2) (a6^3)+76 a1 (a2^2) a5 (a6^3)-10 (a1^2) a3 a5 (a6^3)-34 a2 a3 a5 (a6^3)-184 a1 a4 a5 (a6^3)-74 (a5^2) (a6^3)-94 (a1^2) a2 (a6^4)-80 (a2^2) (a6^4)+342 a1 a3 (a6^4)-132 a4 (a6^4)) (x^3)+((a4^6)+15 a3 (a4^4) a5+18 (a3^2) (a4^2) (a5^2)+2 a2 (a4^3) (a5^2)+(a3^3) (a5^3)-4 a2 a3 a4 (a5^3)-22 a1 (a4^2) (a5^3)-(a2^2) (a5^4)-2 a1 a3 (a5^4)+33 a4 (a5^4)-12 (a3^2) (a4^3) a6+2 a2 (a4^4) a6-18 (a3^3) a4 a5 a6-30 a2 a3 (a4^2) a5 a6-62 a1 (a4^3) a5 a6-6 a2 (a3^2) (a5^2) a6-20 (a2^2) a4 (a5^2) a6+156 (a4^2) (a5^2) a6+32 a1 a2 (a5^3) a6-3 a3 (a5^3) a6+3 (a3^4) (a6^2)+20 a2 (a3^2) a4 (a6^2)-26 (a2^2) (a4^2) (a6^2)+88 a1 a3 (a4^2) (a6^2)+20 (a4^3) (a6^2)+10 (a2^2) a3 a5 (a6^2)+46 a1 (a3^2) a5 (a6^2)+140 a1 a2 a4 a5 (a6^2)-228 a3 a4 a5 (a6^2)-111 (a1^2) (a5^2) (a6^2)+113 a2 (a5^2) (a6^2)+24 (a2^3) (a6^3)-138 a1 a2 a3 (a6^3)+138 (a3^2) (a6^3)-94 (a1^2) a4 (a6^3)+88 a2 a4 (a6^3)-43 a1 a5 (a6^3)+129 (a6^4)) (x^4)+(-6 (a4^5)-30 a3 (a4^3) a5-12 (a3^2) a4 (a5^2)+2 a2 (a4^2) (a5^2)+2 a2 a3 (a5^3)+13 a1 a4 (a5^3)-11 (a5^4)+18 (a3^2) (a4^2) a6+12 a2 (a4^3) a6+6 (a3^3) a5 a6+36 a2 a3 a4 a5 a6+78 a1 (a4^2) a5 a6+4 (a2^2) (a5^2) a6-3 a1 a3 (a5^2) a6-156 a4 (a5^2) a6-12 a2 (a3^2) (a6^2)+12 (a2^2) a4 (a6^2)-96 a1 a3 a4 (a6^2)-84 (a4^2) (a6^2)-63 a1 a2 a5 (a6^2)+57 a3 a5 (a6^2)+123 (a1^2) (a6^3)-114 a2 (a6^3)) (x^5)+(15 (a4^4)+30 a3 (a4^2) a5+3 (a3^2) (a5^2)-3 a2 a4 (a5^2)-3 a1 (a5^3)-12 (a3^2) a4 a6-28 a2 (a4^2) a6-13 a2 a3 a5 a6-47 a1 a4 a5 a6+58 (a5^2) a6+(a2^2) (a6^2)+36 a1 a3 (a6^2)+138 a4 (a6^2)) (x^6)+(-20 (a4^3)-15 a3 a4 a5+a2 (a5^2)+3 (a3^2) a6+22 a2 a4 a6+11 a1 a5 a6-66 (a6^2)) (x^7)+(15 (a4^2)+3 a3 a5-6 a2 a6) (x^8)-6 a4 (x^9)+(x^10);

今までは一般の話でしたが，ここから具体的に「例：f(x)=(x^6)+3(x^3)+9(x^2)+9 x+9」に対して，p10a,p10b,p10c,p10d,p10e,p10f を作り，名前を f10a,f10b,f10c,f10d,f10e ,f10f と変え，その有理数解を求めます．

f=x^6+3x^3+9x^2+9x+9;

as=CoefficientList[f,x][[1;;6]]{1,-1,1,-1,1,-1}//Reverse;
f10a=p10a/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as]
f10b=p10b/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as]
f10c=p10c/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as] 
f10d=p10d/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as] 
f10e=p10e/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as] 
f10f=p10f/.AssociationThread[{a1,a2,a3,a4,a5,a6}->as]

f10a,f10b,f10c,f10d,f10e,f10fを，有理数の範囲で因数分解します．

Factor[f10a]
Factor[f10b]
Factor[f10c]
Factor[f10d]
Factor[f10e]
Factor[f10f]

f10a=0 の有理数解は「 x=3 」なので，「((Subscript[x, 1])+(Subscript[x, 3])+(Subscript[x, 5]))((Subscript[x, 2])+(Subscript[x, 4])+(Subscript[x, 6]))=3 」となります．

同様にf10b, f10c, f10d, f10e,f10f の有理数解は，順に -3, 9, 6,0,9  となるので，対応するθの値が求まります．

§3 . 解を求める

§2の結果より
(Subscript[θ, a])= ((Subscript[x, 1]) +(Subscript[x, 3]) +(Subscript[x, 5]))((Subscript[x, 2]) +(Subscript[x, 4]) +(Subscript[x, 6])) = 3
(Subscript[θ, b])= ((Subscript[x, 1])(Subscript[x, 3])  +(Subscript[x, 3])(Subscript[x, 5]) +(Subscript[x, 5])(Subscript[x, 1])) + ((Subscript[x, 2])(Subscript[x, 4])  +(Subscript[x, 4])(Subscript[x, 6]) +(Subscript[x, 6])(Subscript[x, 2])) = -3
(Subscript[θ, c])=  ((Subscript[x, 1]) +(Subscript[x, 3]) +(Subscript[x, 5])) ((Subscript[x, 1])(Subscript[x, 3])  +(Subscript[x, 3])(Subscript[x, 5]) +(Subscript[x, 5])(Subscript[x, 1])) + ((Subscript[x, 2]) +(Subscript[x, 4]) +(Subscript[x, 6])) ((Subscript[x, 2])(Subscript[x, 4])  +(Subscript[x, 4])(Subscript[x, 6]) +(Subscript[x, 6])(Subscript[x, 2])) =9
(Subscript[θ, d])=  ((Subscript[x, 1])(Subscript[x, 3])(Subscript[x, 5])) + ((Subscript[x, 2])(Subscript[x, 4])(Subscript[x, 6]) ) = 6
(Subscript[θ, e])= ((Subscript[x, 1]) +(Subscript[x, 3]) +(Subscript[x, 5])) ((Subscript[x, 1])(Subscript[x, 3])(Subscript[x, 5])) +((Subscript[x, 2]) +(Subscript[x, 4]) +(Subscript[x, 6]))  ((Subscript[x, 2])(Subscript[x, 4])(Subscript[x, 6]) ) = 0
(Subscript[θ, f])= ((Subscript[x, 1])(Subscript[x, 3])  +(Subscript[x, 3])(Subscript[x, 5]) +(Subscript[x, 5])(Subscript[x, 1])) ((Subscript[x, 2])(Subscript[x, 4])  +(Subscript[x, 4])(Subscript[x, 6]) +(Subscript[x, 6])(Subscript[x, 2])) = 9

また解と係数の関係より
(Subscript[s, 1])= ((Subscript[x, 1]) +(Subscript[x, 3]) +(Subscript[x, 5])) +((Subscript[x, 2]) +(Subscript[x, 4]) +(Subscript[x, 6]))  = (Subscript[a, 1])=0
(Subscript[s, 6])= ((Subscript[x, 1]) (Subscript[x, 3])(Subscript[x, 5]))((Subscript[x, 2])(Subscript[x, 4])(Subscript[x, 6]))  = (Subscript[a, 6])=9
(Subscript[s, 5])= ((Subscript[x, 1]) (Subscript[x, 3])(Subscript[x, 5]))((Subscript[x, 2])(Subscript[x, 4])+(Subscript[x, 4])(Subscript[x, 6])+(Subscript[x, 6])(Subscript[x, 2]))+((Subscript[x, 2]) (Subscript[x, 4])(Subscript[x, 6]))((Subscript[x, 1])(Subscript[x, 3])+(Subscript[x, 3])(Subscript[x, 5])+(Subscript[x, 5])(Subscript[x, 1]))= (Subscript[a, 5])=-9

「2 次方程式 → 3 次方程式」 の順に解いていきます．

§3-1.   2 次方程式を解く  [((Subscript[x, 1])+(Subscript[x, 3])+(Subscript[x, 5])) と ((Subscript[x, 2])+(Subscript[x, 4])+ (Subscript[x, 6]))を求める]

α=x1+x3+x5とβ=x2+x4+x6 とおくと，((Subscript[s, 1]) )と((Subscript[θ, a]))から α,β は 「 (t^2)+3=0」の2解となる. 故に

α=x1+x3+x5=(Sqrt[-3]), β=x2+x4+x6=- (Sqrt[-3])としてよい．

§3-2.   3 次方程式を解く [{(Subscript[x, 1]),(Subscript[x, 3]),(Subscript[x, 5])}と{(Subscript[x, 2]),(Subscript[x, 4]),(Subscript[x, 6])}を各々求める]

次に (Subscript[u, 1])=x1 x3+x3 x5+x5 x1,(Subscript[u, 2])=x2 x4+x4 x6+x6 x2とおくと ((Subscript[θ, b])),((Subscript[θ, c]))より
(Subscript[u, 1]),(Subscript[u, 2]) は連立一次方程式「(Subscript[u, 1])+(Subscript[u, 2])=-3,α (Subscript[u, 1])+β (Subscript[u, 2])=9」の解となる．これから ((Subscript[u, 1]),(Subscript[u, 2]))=(-(3/2) (1+ (Sqrt[-3])),-(3/2) (1- (Sqrt[-3])))

また (Subscript[v, 1])=x1 x3 x5,  (Subscript[v, 2])=x2 x4 x6 とおくと， ((Subscript[θ, d])), ((Subscript[θ, e]))より, (Subscript[v, 1]), (Subscript[v, 2]) は連立一次方程式 「(Subscript[v, 1])+  (Subscript[v, 2])=6, α (Subscript[v, 1]) +β (Subscript[v, 2]) =0 」の解となる．これから ((Subscript[v, 1]), (Subscript[v, 2]))=(3,3)

以上より，x1, x3, x5  を解に持つ3次方程式eq1と， x2, x4, x6  を解に持つ3次方程式  eq2  は次の様になる．

({{{, ({{eq1:, (x^3)-α (x^2)+ (Subscript[u, 1])x-(Subscript[v, 1])=0}, {eq2:, (x^3)-β (x^2)+ (Subscript[u, 2])x-(Subscript[v, 2])=0}})}})⟹({{{, ({{eq1:, (x^3)-(Sqrt[-3]) (x^2)- (3/2) (1+ (Sqrt[-3]))x-3=0}, {eq2:, (x^3)+(Sqrt[-3]) (x^2)- (3/2) (1- (Sqrt[-3]))x-3=0}})}})

Solveを用いて，これらを解くと  f = 0  の解が全て求まる．(残念ながら Mathematica のSolve では「分母の有理化」が行われていません.)

{x1,x3,x5}=x/.Solve[x^3-Sqrt[-3]x^2-3/2(1+Sqrt[-3])x-3==0,x,Cubics->True];
{x2,x4,x6}=x/.Solve[x^3+Sqrt[-3]x^2-3/2(1-Sqrt[-3])x-3==0,x,Cubics->True];

(Subscript[x, 1]),x2  を表示します．

TraditionalForm[x1]
TraditionalForm[x2]

この厳密解と数値解を比べてみると，下の様に一致します．

N[{x1,x2,x3,x4,x5,x6}]//Sort

x/.NSolve[f==0,x]//Sort

§4 . 解を求める（続き)

§3の例では α!=β なので，「(Subscript[θ, b]):(Subscript[u, 1])+(Subscript[u, 2])=-3,(Subscript[θ, c]):α (Subscript[u, 1])+β (Subscript[u, 2])=9」　が一次独立になって解を持ちましたが，α=β のときは (Subscript[θ, b]),(Subscript[θ, c])の値から (Subscript[u, 1]),(Subscript[u, 2])を求めることはできません． しかし，f は既約なので重解を持ちません．よって (Subscript[u, 1])!=(Subscript[u, 2]) または (Subscript[v, 1])!=(Subscript[v, 2 ])の少なくとも一方は成り立ちます．

まず「(Subscript[θ, b])=(Subscript[u, 1])+(Subscript[u, 2]) 」と「(Subscript[θ, f])=(Subscript[u, 1])(Subscript[u, 2])」の値から{(Subscript[u, 1]), (Subscript[u, 2])} の「組」が，(Subscript[θ, d])=(Subscript[v, 1])+(Subscript[v, 2])と (Subscript[s, 6])=(Subscript[v, 1])(Subscript[v, 2]) の値から{(Subscript[v, 1]),(Subscript[v, 2])}の「組」が求まります．
更に 「(Subscript[s, 3])=(Subscript[v, 1])(Subscript[u, 2])+(Subscript[v, 2])(Subscript[u, 1])」の値と組み合わせることによって，((Subscript[u, 1]),(Subscript[u, 2])),((Subscript[v, 1]),(Subscript[v, 2]))の値が求まります．

(私の調べた限りでは)(Subscript[G, 48 ])や (Subscript[G, 12])のグループと異なり,(Subscript[G, 72])のグループでは f10a~f10f の有理数解がただ1つに決まるので，これだけで f=0 の解が求まります．