/******************************************************* Here we have the 15 different components of h12 under Rosenhain transformations. Run the commands below to produce the output. > R:=PolynomialRing(Rationals(),3); > load "h12.txt"; Loading "h12.txt" > load "../fixedgroups.txt"; Loading "../fixedgroups.txt" > time H12:=humbertcomponentsfast(h12,12); computing 15 humbert components: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Time: 6.734 ********************************************************/ H12:= [ e1^8*e2^4*e3^4 - 4*e1^8*e2^4*e3^3 + 6*e1^8*e2^4*e3^2 - 4*e1^8*e2^4*e3 + e1^8*e2^4 - 4*e1^7*e2^5*e3^4 - 16*e1^7*e2^5*e3^3 + 40*e1^7*e2^5*e3^2 - 16*e1^7*e2^5*e3 - 4*e1^7*e2^5 + 160*e1^7*e2^4*e3^4 - 160*e1^7*e2^4*e3^3 - 160*e1^7*e2^4*e3^2 + 160*e1^7*e2^4*e3 - 132*e1^7*e2^3*e3^5 - 272*e1^7*e2^3*e3^4 + 808*e1^7*e2^3*e3^3 - 272*e1^7*e2^3*e3^2 - 132*e1^7*e2^3*e3 + 384*e1^7*e2^2*e3^5 - 384*e1^7*e2^2*e3^4 - 384*e1^7*e2^2*e3^3 + 384*e1^7*e2^2*e3^2 - 256*e1^7*e2*e3^5 + 512*e1^7*e2*e3^4 - 256*e1^7*e2*e3^3 + 6*e1^6*e2^6*e3^4 + 40*e1^6*e2^6*e3^3 + 164*e1^6*e2^6*e3^2 + 40*e1^6*e2^6*e3 + 6*e1^6*e2^6 - 160*e1^6*e2^5*e3^4 - 352*e1^6*e2^5*e3^3 - 352*e1^6*e2^5*e3^2 - 160*e1^6*e2^5*e3 - 272*e1^6*e2^4*e3^5 + 1344*e1^6*e2^4*e3^4 - 608*e1^6*e2^4*e3^3 + 1344*e1^6*e2^4*e3^2 - 272*e1^6*e2^4*e3 + 384*e1^6*e2^3*e3^6 - 416*e1^6*e2^3*e3^5 - 480*e1^6*e2^3*e3^4 - 480*e1^6*e2^3*e3^3 - 416*e1^6*e2^3*e3^2 + 384*e1^6*e2^3*e3 - 762*e1^6*e2^2*e3^6 + 1064*e1^6*e2^2*e3^5 - 348*e1^6*e2^2*e3^4 + 1064*e1^6*e2^2*e3^3 - 762*e1^6*e2^2*e3^2 + 384*e1^6*e2*e3^6 - 384*e1^6*e2*e3^5 - 384*e1^6*e2*e3^4 + 384*e1^6*e2*e3^3 - 4*e1^5*e2^7*e3^4 - 16*e1^5*e2^7*e3^3 + 40*e1^5*e2^7*e3^2 - 16*e1^5*e2^7*e3 - 4*e1^5*e2^7 - 160*e1^5*e2^6*e3^4 - 352*e1^5*e2^6*e3^3 - 352*e1^5*e2^6*e3^2 - 160*e1^5*e2^6*e3 + 808*e1^5*e2^5*e3^5 - 608*e1^5*e2^5*e3^4 + 3696*e1^5*e2^5*e3^3 - 608*e1^5*e2^5*e3^2 + 808*e1^5*e2^5*e3 - 384*e1^5*e2^4*e3^6 - 480*e1^5*e2^4*e3^5 - 2208*e1^5*e2^4*e3^4 - 2208*e1^5*e2^4*e3^3 - 480*e1^5*e2^4*e3^2 - 384*e1^5*e2^4*e3 - 256*e1^5*e2^3*e3^7 + 1064*e1^5*e2^3*e3^6 - 608*e1^5*e2^3*e3^5 + 3696*e1^5*e2^3*e3^4 - 608*e1^5*e2^3*e3^3 + 1064*e1^5*e2^3*e3^2 - 256*e1^5*e2^3*e3 + 384*e1^5*e2^2*e3^7 - 416*e1^5*e2^2*e3^6 - 480*e1^5*e2^2*e3^5 - 480*e1^5*e2^2*e3^4 - 416*e1^5*e2^2*e3^3 + 384*e1^5*e2^2*e3^2 - 132*e1^5*e2*e3^7 - 272*e1^5*e2*e3^6 + 808*e1^5*e2*e3^5 - 272*e1^5*e2*e3^4 - 132*e1^5*e2*e3^3 + e1^4*e2^8*e3^4 - 4*e1^4*e2^8*e3^3 + 6*e1^4*e2^8*e3^2 - 4*e1^4*e2^8*e3 + e1^4*e2^8 + 160*e1^4*e2^7*e3^4 - 160*e1^4*e2^7*e3^3 - 160*e1^4*e2^7*e3^2 + 160*e1^4*e2^7*e3 - 272*e1^4*e2^6*e3^5 + 1344*e1^4*e2^6*e3^4 - 608*e1^4*e2^6*e3^3 + 1344*e1^4*e2^6*e3^2 - 272*e1^4*e2^6*e3 - 384*e1^4*e2^5*e3^6 - 480*e1^4*e2^5*e3^5 - 2208*e1^4*e2^5*e3^4 - 2208*e1^4*e2^5*e3^3 - 480*e1^4*e2^5*e3^2 - 384*e1^4*e2^5*e3 + 512*e1^4*e2^4*e3^7 - 348*e1^4*e2^4*e3^6 + 3696*e1^4*e2^4*e3^5 + 1496*e1^4*e2^4*e3^4 + 3696*e1^4*e2^4*e3^3 - 348*e1^4*e2^4*e3^2 + 512*e1^4*e2^4*e3 - 384*e1^4*e2^3*e3^7 - 480*e1^4*e2^3*e3^6 - 2208*e1^4*e2^3*e3^5 - 2208*e1^4*e2^3*e3^4 - 480*e1^4*e2^3*e3^3 - 384*e1^4*e2^3*e3^2 - 272*e1^4*e2^2*e3^7 + 1344*e1^4*e2^2*e3^6 - 608*e1^4*e2^2*e3^5 + 1344*e1^4*e2^2*e3^4 - 272*e1^4*e2^2*e3^3 + 160*e1^4*e2*e3^7 - 160*e1^4*e2*e3^6 - 160*e1^4*e2*e3^5 + 160*e1^4*e2*e3^4 + e1^4*e3^8 - 4*e1^4*e3^7 + 6*e1^4*e3^6 - 4*e1^4*e3^5 + e1^4*e3^4 - 132*e1^3*e2^7*e3^5 - 272*e1^3*e2^7*e3^4 + 808*e1^3*e2^7*e3^3 - 272*e1^3*e2^7*e3^2 - 132*e1^3*e2^7*e3 + 384*e1^3*e2^6*e3^6 - 416*e1^3*e2^6*e3^5 - 480*e1^3*e2^6*e3^4 - 480*e1^3*e2^6*e3^3 - 416*e1^3*e2^6*e3^2 + 384*e1^3*e2^6*e3 - 256*e1^3*e2^5*e3^7 + 1064*e1^3*e2^5*e3^6 - 608*e1^3*e2^5*e3^5 + 3696*e1^3*e2^5*e3^4 - 608*e1^3*e2^5*e3^3 + 1064*e1^3*e2^5*e3^2 - 256*e1^3*e2^5*e3 - 384*e1^3*e2^4*e3^7 - 480*e1^3*e2^4*e3^6 - 2208*e1^3*e2^4*e3^5 - 2208*e1^3*e2^4*e3^4 - 480*e1^3*e2^4*e3^3 - 384*e1^3*e2^4*e3^2 + 808*e1^3*e2^3*e3^7 - 608*e1^3*e2^3*e3^6 + 3696*e1^3*e2^3*e3^5 - 608*e1^3*e2^3*e3^4 + 808*e1^3*e2^3*e3^3 - 160*e1^3*e2^2*e3^7 - 352*e1^3*e2^2*e3^6 - 352*e1^3*e2^2*e3^5 - 160*e1^3*e2^2*e3^4 - 4*e1^3*e2*e3^8 - 16*e1^3*e2*e3^7 + 40*e1^3*e2*e3^6 - 16*e1^3*e2*e3^5 - 4*e1^3*e2*e3^4 + 384*e1^2*e2^7*e3^5 - 384*e1^2*e2^7*e3^4 - 384*e1^2*e2^7*e3^3 + 384*e1^2*e2^7*e3^2 - 762*e1^2*e2^6*e3^6 + 1064*e1^2*e2^6*e3^5 - 348*e1^2*e2^6*e3^4 + 1064*e1^2*e2^6*e3^3 - 762*e1^2*e2^6*e3^2 + 384*e1^2*e2^5*e3^7 - 416*e1^2*e2^5*e3^6 - 480*e1^2*e2^5*e3^5 - 480*e1^2*e2^5*e3^4 - 416*e1^2*e2^5*e3^3 + 384*e1^2*e2^5*e3^2 - 272*e1^2*e2^4*e3^7 + 1344*e1^2*e2^4*e3^6 - 608*e1^2*e2^4*e3^5 + 1344*e1^2*e2^4*e3^4 - 272*e1^2*e2^4*e3^3 - 160*e1^2*e2^3*e3^7 - 352*e1^2*e2^3*e3^6 - 352*e1^2*e2^3*e3^5 - 160*e1^2*e2^3*e3^4 + 6*e1^2*e2^2*e3^8 + 40*e1^2*e2^2*e3^7 + 164*e1^2*e2^2*e3^6 + 40*e1^2*e2^2*e3^5 + 6*e1^2*e2^2*e3^4 - 256*e1*e2^7*e3^5 + 512*e1*e2^7*e3^4 - 256*e1*e2^7*e3^3 + 384*e1*e2^6*e3^6 - 384*e1*e2^6*e3^5 - 384*e1*e2^6*e3^4 + 384*e1*e2^6*e3^3 - 132*e1*e2^5*e3^7 - 272*e1*e2^5*e3^6 + 808*e1*e2^5*e3^5 - 272*e1*e2^5*e3^4 - 132*e1*e2^5*e3^3 + 160*e1*e2^4*e3^7 - 160*e1*e2^4*e3^6 - 160*e1*e2^4*e3^5 + 160*e1*e2^4*e3^4 - 4*e1*e2^3*e3^8 - 16*e1*e2^3*e3^7 + 40*e1*e2^3*e3^6 - 16*e1*e2^3*e3^5 - 4*e1*e2^3*e3^4 + e2^4*e3^8 - 4*e2^4*e3^7 + 6*e2^4*e3^6 - 4*e2^4*e3^5 + e2^4*e3^4, e1^8*e2^4 - 4*e1^8*e2^3*e3 + 6*e1^8*e2^2*e3^2 - 4*e1^8*e2*e3^3 + e1^8*e3^4 - 256*e1^7*e2^5*e3^3 + 384*e1^7*e2^5*e3^2 - 132*e1^7*e2^5*e3 + 512*e1^7*e2^4*e3^4 - 384*e1^7*e2^4*e3^3 - 272*e1^7*e2^4*e3^2 + 160*e1^7*e2^4*e3 - 4*e1^7*e2^4 - 256*e1^7*e2^3*e3^5 - 384*e1^7*e2^3*e3^4 + 808*e1^7*e2^3*e3^3 - 160*e1^7*e2^3*e3^2 - 16*e1^7*e2^3*e3 + 384*e1^7*e2^2*e3^5 - 272*e1^7*e2^2*e3^4 - 160*e1^7*e2^2*e3^3 + 40*e1^7*e2^2*e3^2 - 132*e1^7*e2*e3^5 + 160*e1^7*e2*e3^4 - 16*e1^7*e2*e3^3 - 4*e1^7*e3^4 + 384*e1^6*e2^6*e3^3 - 762*e1^6*e2^6*e3^2 + 384*e1^6*e2^6*e3 - 384*e1^6*e2^5*e3^4 + 1064*e1^6*e2^5*e3^3 - 416*e1^6*e2^5*e3^2 - 272*e1^6*e2^5*e3 - 384*e1^6*e2^4*e3^5 - 348*e1^6*e2^4*e3^4 - 480*e1^6*e2^4*e3^3 + 1344*e1^6*e2^4*e3^2 - 160*e1^6*e2^4*e3 + 6*e1^6*e2^4 + 384*e1^6*e2^3*e3^6 + 1064*e1^6*e2^3*e3^5 - 480*e1^6*e2^3*e3^4 - 608*e1^6*e2^3*e3^3 - 352*e1^6*e2^3*e3^2 + 40*e1^6*e2^3*e3 - 762*e1^6*e2^2*e3^6 - 416*e1^6*e2^2*e3^5 + 1344*e1^6*e2^2*e3^4 - 352*e1^6*e2^2*e3^3 + 164*e1^6*e2^2*e3^2 + 384*e1^6*e2*e3^6 - 272*e1^6*e2*e3^5 - 160*e1^6*e2*e3^4 + 40*e1^6*e2*e3^3 + 6*e1^6*e3^4 - 132*e1^5*e2^7*e3^3 + 384*e1^5*e2^7*e3^2 - 256*e1^5*e2^7*e3 - 272*e1^5*e2^6*e3^4 - 416*e1^5*e2^6*e3^3 + 1064*e1^5*e2^6*e3^2 - 384*e1^5*e2^6*e3 + 808*e1^5*e2^5*e3^5 - 480*e1^5*e2^5*e3^4 - 608*e1^5*e2^5*e3^3 - 480*e1^5*e2^5*e3^2 + 808*e1^5*e2^5*e3 - 272*e1^5*e2^4*e3^6 - 480*e1^5*e2^4*e3^5 + 3696*e1^5*e2^4*e3^4 - 2208*e1^5*e2^4*e3^3 - 608*e1^5*e2^4*e3^2 - 160*e1^5*e2^4*e3 - 4*e1^5*e2^4 - 132*e1^5*e2^3*e3^7 - 416*e1^5*e2^3*e3^6 - 608*e1^5*e2^3*e3^5 - 2208*e1^5*e2^3*e3^4 + 3696*e1^5*e2^3*e3^3 - 352*e1^5*e2^3*e3^2 - 16*e1^5*e2^3*e3 + 384*e1^5*e2^2*e3^7 + 1064*e1^5*e2^2*e3^6 - 480*e1^5*e2^2*e3^5 - 608*e1^5*e2^2*e3^4 - 352*e1^5*e2^2*e3^3 + 40*e1^5*e2^2*e3^2 - 256*e1^5*e2*e3^7 - 384*e1^5*e2*e3^6 + 808*e1^5*e2*e3^5 - 160*e1^5*e2*e3^4 - 16*e1^5*e2*e3^3 - 4*e1^5*e3^4 + e1^4*e2^8*e3^4 - 4*e1^4*e2^7*e3^5 + 160*e1^4*e2^7*e3^4 - 272*e1^4*e2^7*e3^3 - 384*e1^4*e2^7*e3^2 + 512*e1^4*e2^7*e3 + 6*e1^4*e2^6*e3^6 - 160*e1^4*e2^6*e3^5 + 1344*e1^4*e2^6*e3^4 - 480*e1^4*e2^6*e3^3 - 348*e1^4*e2^6*e3^2 - 384*e1^4*e2^6*e3 - 4*e1^4*e2^5*e3^7 - 160*e1^4*e2^5*e3^6 - 608*e1^4*e2^5*e3^5 - 2208*e1^4*e2^5*e3^4 + 3696*e1^4*e2^5*e3^3 - 480*e1^4*e2^5*e3^2 - 272*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 + 160*e1^4*e2^4*e3^7 + 1344*e1^4*e2^4*e3^6 - 2208*e1^4*e2^4*e3^5 + 1496*e1^4*e2^4*e3^4 - 2208*e1^4*e2^4*e3^3 + 1344*e1^4*e2^4*e3^2 + 160*e1^4*e2^4*e3 + e1^4*e2^4 - 272*e1^4*e2^3*e3^7 - 480*e1^4*e2^3*e3^6 + 3696*e1^4*e2^3*e3^5 - 2208*e1^4*e2^3*e3^4 - 608*e1^4*e2^3*e3^3 - 160*e1^4*e2^3*e3^2 - 4*e1^4*e2^3*e3 - 384*e1^4*e2^2*e3^7 - 348*e1^4*e2^2*e3^6 - 480*e1^4*e2^2*e3^5 + 1344*e1^4*e2^2*e3^4 - 160*e1^4*e2^2*e3^3 + 6*e1^4*e2^2*e3^2 + 512*e1^4*e2*e3^7 - 384*e1^4*e2*e3^6 - 272*e1^4*e2*e3^5 + 160*e1^4*e2*e3^4 - 4*e1^4*e2*e3^3 + e1^4*e3^4 - 4*e1^3*e2^8*e3^4 - 16*e1^3*e2^7*e3^5 - 160*e1^3*e2^7*e3^4 + 808*e1^3*e2^7*e3^3 - 384*e1^3*e2^7*e3^2 - 256*e1^3*e2^7*e3 + 40*e1^3*e2^6*e3^6 - 352*e1^3*e2^6*e3^5 - 608*e1^3*e2^6*e3^4 - 480*e1^3*e2^6*e3^3 + 1064*e1^3*e2^6*e3^2 + 384*e1^3*e2^6*e3 - 16*e1^3*e2^5*e3^7 - 352*e1^3*e2^5*e3^6 + 3696*e1^3*e2^5*e3^5 - 2208*e1^3*e2^5*e3^4 - 608*e1^3*e2^5*e3^3 - 416*e1^3*e2^5*e3^2 - 132*e1^3*e2^5*e3 - 4*e1^3*e2^4*e3^8 - 160*e1^3*e2^4*e3^7 - 608*e1^3*e2^4*e3^6 - 2208*e1^3*e2^4*e3^5 + 3696*e1^3*e2^4*e3^4 - 480*e1^3*e2^4*e3^3 - 272*e1^3*e2^4*e3^2 + 808*e1^3*e2^3*e3^7 - 480*e1^3*e2^3*e3^6 - 608*e1^3*e2^3*e3^5 - 480*e1^3*e2^3*e3^4 + 808*e1^3*e2^3*e3^3 - 384*e1^3*e2^2*e3^7 + 1064*e1^3*e2^2*e3^6 - 416*e1^3*e2^2*e3^5 - 272*e1^3*e2^2*e3^4 - 256*e1^3*e2*e3^7 + 384*e1^3*e2*e3^6 - 132*e1^3*e2*e3^5 + 6*e1^2*e2^8*e3^4 + 40*e1^2*e2^7*e3^5 - 160*e1^2*e2^7*e3^4 - 272*e1^2*e2^7*e3^3 + 384*e1^2*e2^7*e3^2 + 164*e1^2*e2^6*e3^6 - 352*e1^2*e2^6*e3^5 + 1344*e1^2*e2^6*e3^4 - 416*e1^2*e2^6*e3^3 - 762*e1^2*e2^6*e3^2 + 40*e1^2*e2^5*e3^7 - 352*e1^2*e2^5*e3^6 - 608*e1^2*e2^5*e3^5 - 480*e1^2*e2^5*e3^4 + 1064*e1^2*e2^5*e3^3 + 384*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 - 160*e1^2*e2^4*e3^7 + 1344*e1^2*e2^4*e3^6 - 480*e1^2*e2^4*e3^5 - 348*e1^2*e2^4*e3^4 - 384*e1^2*e2^4*e3^3 - 272*e1^2*e2^3*e3^7 - 416*e1^2*e2^3*e3^6 + 1064*e1^2*e2^3*e3^5 - 384*e1^2*e2^3*e3^4 + 384*e1^2*e2^2*e3^7 - 762*e1^2*e2^2*e3^6 + 384*e1^2*e2^2*e3^5 - 4*e1*e2^8*e3^4 - 16*e1*e2^7*e3^5 + 160*e1*e2^7*e3^4 - 132*e1*e2^7*e3^3 + 40*e1*e2^6*e3^6 - 160*e1*e2^6*e3^5 - 272*e1*e2^6*e3^4 + 384*e1*e2^6*e3^3 - 16*e1*e2^5*e3^7 - 160*e1*e2^5*e3^6 + 808*e1*e2^5*e3^5 - 384*e1*e2^5*e3^4 - 256*e1*e2^5*e3^3 - 4*e1*e2^4*e3^8 + 160*e1*e2^4*e3^7 - 272*e1*e2^4*e3^6 - 384*e1*e2^4*e3^5 + 512*e1*e2^4*e3^4 - 132*e1*e2^3*e3^7 + 384*e1*e2^3*e3^6 - 256*e1*e2^3*e3^5 + e2^8*e3^4 - 4*e2^7*e3^5 + 6*e2^6*e3^6 - 4*e2^5*e3^7 + e2^4*e3^8, e1^8*e2^4*e3^4 - 4*e1^8*e2^3*e3^4 + 6*e1^8*e2^2*e3^4 - 4*e1^8*e2*e3^4 + e1^8*e3^4 - 4*e1^7*e2^5*e3^4 + 32*e1^7*e2^5*e3^3 - 32*e1^7*e2^5*e3^2 - 148*e1^7*e2^4*e3^4 + 320*e1^7*e2^4*e3^3 - 160*e1^7*e2^4*e3^2 + 132*e1^7*e2^3*e3^5 - 300*e1^7*e2^3*e3^4 + 160*e1^7*e2^3*e3^2 - 12*e1^7*e2^2*e3^5 + 292*e1^7*e2^2*e3^4 - 320*e1^7*e2^2*e3^3 + 32*e1^7*e2^2*e3^2 - 116*e1^7*e2*e3^5 + 160*e1^7*e2*e3^4 - 32*e1^7*e2*e3^3 - 4*e1^7*e3^5 + 6*e1^6*e2^6*e3^4 - 64*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 512*e1^6*e2^6*e3 + 256*e1^6*e2^6 + 152*e1^6*e2^5*e3^4 - 832*e1^6*e2^5*e3^3 + 672*e1^6*e2^5*e3^2 + 512*e1^6*e2^5*e3 - 512*e1^6*e2^5 + 272*e1^6*e2^4*e3^5 + 282*e1^6*e2^4*e3^4 - 288*e1^6*e2^4*e3^3 - 1056*e1^6*e2^4*e3^2 + 512*e1^6*e2^4*e3 + 256*e1^6*e2^4 - 384*e1^6*e2^3*e3^6 - 124*e1^6*e2^3*e3^5 + 556*e1^6*e2^3*e3^4 + 672*e1^6*e2^3*e3^3 - 160*e1^6*e2^3*e3^2 - 512*e1^6*e2^3*e3 + 390*e1^6*e2^2*e3^6 - 440*e1^6*e2^2*e3^5 - 676*e1^6*e2^2*e3^4 + 480*e1^6*e2^2*e3^3 + 224*e1^6*e2^2*e3^2 - 12*e1^6*e2*e3^6 + 292*e1^6*e2*e3^5 - 320*e1^6*e2*e3^4 + 32*e1^6*e2*e3^3 + 6*e1^6*e3^6 - 4*e1^5*e2^7*e3^4 + 32*e1^5*e2^7*e3^3 - 32*e1^5*e2^7*e3^2 + 152*e1^5*e2^6*e3^4 - 832*e1^5*e2^6*e3^3 + 672*e1^5*e2^6*e3^2 + 512*e1^5*e2^6*e3 - 512*e1^5*e2^6 - 808*e1^5*e2^5*e3^5 + 1560*e1^5*e2^5*e3^4 + 1600*e1^5*e2^5*e3^3 - 3328*e1^5*e2^5*e3^2 + 1024*e1^5*e2^5 + 384*e1^5*e2^4*e3^6 - 376*e1^5*e2^4*e3^5 - 2892*e1^5*e2^4*e3^4 + 2208*e1^5*e2^4*e3^3 + 2688*e1^5*e2^4*e3^2 - 1536*e1^5*e2^4*e3 - 512*e1^5*e2^4 + 256*e1^5*e2^3*e3^7 + 40*e1^5*e2^3*e3^6 + 628*e1^5*e2^3*e3^5 + 352*e1^5*e2^3*e3^4 - 2848*e1^5*e2^3*e3^3 + 512*e1^5*e2^3*e3^2 + 1024*e1^5*e2^3*e3 - 384*e1^5*e2^2*e3^7 - 124*e1^5*e2^2*e3^6 + 556*e1^5*e2^2*e3^5 + 672*e1^5*e2^2*e3^4 - 160*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 + 132*e1^5*e2*e3^7 - 300*e1^5*e2*e3^6 + 160*e1^5*e2*e3^4 - 4*e1^5*e3^7 + e1^4*e2^8*e3^4 - 148*e1^4*e2^7*e3^4 + 320*e1^4*e2^7*e3^3 - 160*e1^4*e2^7*e3^2 + 272*e1^4*e2^6*e3^5 + 282*e1^4*e2^6*e3^4 - 288*e1^4*e2^6*e3^3 - 1056*e1^4*e2^6*e3^2 + 512*e1^4*e2^6*e3 + 256*e1^4*e2^6 + 384*e1^4*e2^5*e3^6 - 376*e1^4*e2^5*e3^5 - 2892*e1^4*e2^5*e3^4 + 2208*e1^4*e2^5*e3^3 + 2688*e1^4*e2^5*e3^2 - 1536*e1^4*e2^5*e3 - 512*e1^4*e2^5 - 512*e1^4*e2^4*e3^7 - 604*e1^4*e2^4*e3^6 + 3440*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 - 5440*e1^4*e2^4*e3^3 - 192*e1^4*e2^4*e3^2 + 1536*e1^4*e2^4*e3 + 256*e1^4*e2^4 + 384*e1^4*e2^3*e3^7 - 376*e1^4*e2^3*e3^6 - 2892*e1^4*e2^3*e3^5 + 2208*e1^4*e2^3*e3^4 + 2688*e1^4*e2^3*e3^3 - 1536*e1^4*e2^3*e3^2 - 512*e1^4*e2^3*e3 + 272*e1^4*e2^2*e3^7 + 282*e1^4*e2^2*e3^6 - 288*e1^4*e2^2*e3^5 - 1056*e1^4*e2^2*e3^4 + 512*e1^4*e2^2*e3^3 + 256*e1^4*e2^2*e3^2 - 148*e1^4*e2*e3^7 + 320*e1^4*e2*e3^6 - 160*e1^4*e2*e3^5 + e1^4*e3^8 - 4*e1^3*e2^8*e3^4 + 132*e1^3*e2^7*e3^5 - 300*e1^3*e2^7*e3^4 + 160*e1^3*e2^7*e3^2 - 384*e1^3*e2^6*e3^6 - 124*e1^3*e2^6*e3^5 + 556*e1^3*e2^6*e3^4 + 672*e1^3*e2^6*e3^3 - 160*e1^3*e2^6*e3^2 - 512*e1^3*e2^6*e3 + 256*e1^3*e2^5*e3^7 + 40*e1^3*e2^5*e3^6 + 628*e1^3*e2^5*e3^5 + 352*e1^3*e2^5*e3^4 - 2848*e1^3*e2^5*e3^3 + 512*e1^3*e2^5*e3^2 + 1024*e1^3*e2^5*e3 + 384*e1^3*e2^4*e3^7 - 376*e1^3*e2^4*e3^6 - 2892*e1^3*e2^4*e3^5 + 2208*e1^3*e2^4*e3^4 + 2688*e1^3*e2^4*e3^3 - 1536*e1^3*e2^4*e3^2 - 512*e1^3*e2^4*e3 - 808*e1^3*e2^3*e3^7 + 1560*e1^3*e2^3*e3^6 + 1600*e1^3*e2^3*e3^5 - 3328*e1^3*e2^3*e3^4 + 1024*e1^3*e2^3*e3^2 + 152*e1^3*e2^2*e3^7 - 832*e1^3*e2^2*e3^6 + 672*e1^3*e2^2*e3^5 + 512*e1^3*e2^2*e3^4 - 512*e1^3*e2^2*e3^3 - 4*e1^3*e2*e3^8 + 32*e1^3*e2*e3^7 - 32*e1^3*e2*e3^6 + 6*e1^2*e2^8*e3^4 - 12*e1^2*e2^7*e3^5 + 292*e1^2*e2^7*e3^4 - 320*e1^2*e2^7*e3^3 + 32*e1^2*e2^7*e3^2 + 390*e1^2*e2^6*e3^6 - 440*e1^2*e2^6*e3^5 - 676*e1^2*e2^6*e3^4 + 480*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 - 384*e1^2*e2^5*e3^7 - 124*e1^2*e2^5*e3^6 + 556*e1^2*e2^5*e3^5 + 672*e1^2*e2^5*e3^4 - 160*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 + 272*e1^2*e2^4*e3^7 + 282*e1^2*e2^4*e3^6 - 288*e1^2*e2^4*e3^5 - 1056*e1^2*e2^4*e3^4 + 512*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 + 152*e1^2*e2^3*e3^7 - 832*e1^2*e2^3*e3^6 + 672*e1^2*e2^3*e3^5 + 512*e1^2*e2^3*e3^4 - 512*e1^2*e2^3*e3^3 + 6*e1^2*e2^2*e3^8 - 64*e1^2*e2^2*e3^7 + 320*e1^2*e2^2*e3^6 - 512*e1^2*e2^2*e3^5 + 256*e1^2*e2^2*e3^4 - 4*e1*e2^8*e3^4 - 116*e1*e2^7*e3^5 + 160*e1*e2^7*e3^4 - 32*e1*e2^7*e3^3 - 12*e1*e2^6*e3^6 + 292*e1*e2^6*e3^5 - 320*e1*e2^6*e3^4 + 32*e1*e2^6*e3^3 + 132*e1*e2^5*e3^7 - 300*e1*e2^5*e3^6 + 160*e1*e2^5*e3^4 - 148*e1*e2^4*e3^7 + 320*e1*e2^4*e3^6 - 160*e1*e2^4*e3^5 - 4*e1*e2^3*e3^8 + 32*e1*e2^3*e3^7 - 32*e1*e2^3*e3^6 + e2^8*e3^4 - 4*e2^7*e3^5 + 6*e2^6*e3^6 - 4*e2^5*e3^7 + e2^4*e3^8, e1^8*e2^4*e3^4 - 4*e1^8*e2^3*e3^4 + 6*e1^8*e2^2*e3^4 - 4*e1^8*e2*e3^4 + e1^8*e3^4 - 32*e1^7*e2^5*e3^3 + 32*e1^7*e2^5*e3^2 - 4*e1^7*e2^4*e3^5 + 160*e1^7*e2^4*e3^4 - 320*e1^7*e2^4*e3^3 + 160*e1^7*e2^4*e3^2 - 116*e1^7*e2^3*e3^5 + 292*e1^7*e2^3*e3^4 - 160*e1^7*e2^3*e3^2 - 12*e1^7*e2^2*e3^5 - 300*e1^7*e2^2*e3^4 + 320*e1^7*e2^2*e3^3 - 32*e1^7*e2^2*e3^2 + 132*e1^7*e2*e3^5 - 148*e1^7*e2*e3^4 + 32*e1^7*e2*e3^3 - 4*e1^7*e3^4 + 32*e1^6*e2^6*e3^3 + 224*e1^6*e2^6*e3^2 - 512*e1^6*e2^6*e3 + 256*e1^6*e2^6 - 320*e1^6*e2^5*e3^4 + 480*e1^6*e2^5*e3^3 - 160*e1^6*e2^5*e3^2 + 512*e1^6*e2^5*e3 - 512*e1^6*e2^5 + 6*e1^6*e2^4*e3^6 + 292*e1^6*e2^4*e3^5 - 676*e1^6*e2^4*e3^4 + 672*e1^6*e2^4*e3^3 - 1056*e1^6*e2^4*e3^2 + 512*e1^6*e2^4*e3 + 256*e1^6*e2^4 - 12*e1^6*e2^3*e3^6 - 440*e1^6*e2^3*e3^5 + 556*e1^6*e2^3*e3^4 - 288*e1^6*e2^3*e3^3 + 672*e1^6*e2^3*e3^2 - 512*e1^6*e2^3*e3 + 390*e1^6*e2^2*e3^6 - 124*e1^6*e2^2*e3^5 + 282*e1^6*e2^2*e3^4 - 832*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 384*e1^6*e2*e3^6 + 272*e1^6*e2*e3^5 + 152*e1^6*e2*e3^4 - 64*e1^6*e2*e3^3 + 6*e1^6*e3^4 - 512*e1^5*e2^7*e3^2 + 1024*e1^5*e2^7*e3 - 512*e1^5*e2^7 + 160*e1^5*e2^6*e3^4 - 160*e1^5*e2^6*e3^3 + 512*e1^5*e2^6*e3^2 - 1536*e1^5*e2^6*e3 + 1024*e1^5*e2^6 + 672*e1^5*e2^5*e3^4 - 2848*e1^5*e2^5*e3^3 + 2688*e1^5*e2^5*e3^2 - 512*e1^5*e2^5 - 4*e1^5*e2^4*e3^7 - 300*e1^5*e2^4*e3^6 + 556*e1^5*e2^4*e3^5 + 352*e1^5*e2^4*e3^4 + 2208*e1^5*e2^4*e3^3 - 3328*e1^5*e2^4*e3^2 + 512*e1^5*e2^4*e3 + 132*e1^5*e2^3*e3^7 - 124*e1^5*e2^3*e3^6 + 628*e1^5*e2^3*e3^5 - 2892*e1^5*e2^3*e3^4 + 1600*e1^5*e2^3*e3^3 + 672*e1^5*e2^3*e3^2 - 384*e1^5*e2^2*e3^7 + 40*e1^5*e2^2*e3^6 - 376*e1^5*e2^2*e3^5 + 1560*e1^5*e2^2*e3^4 - 832*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 + 256*e1^5*e2*e3^7 + 384*e1^5*e2*e3^6 - 808*e1^5*e2*e3^5 + 152*e1^5*e2*e3^4 + 32*e1^5*e2*e3^3 - 4*e1^5*e3^4 + 256*e1^4*e2^8*e3^2 - 512*e1^4*e2^8*e3 + 256*e1^4*e2^8 + 512*e1^4*e2^7*e3^3 - 1536*e1^4*e2^7*e3^2 + 1536*e1^4*e2^7*e3 - 512*e1^4*e2^7 - 160*e1^4*e2^6*e3^5 - 1056*e1^4*e2^6*e3^4 + 2688*e1^4*e2^6*e3^3 - 192*e1^4*e2^6*e3^2 - 1536*e1^4*e2^6*e3 + 256*e1^4*e2^6 + 320*e1^4*e2^5*e3^6 - 288*e1^4*e2^5*e3^5 + 2208*e1^4*e2^5*e3^4 - 5440*e1^4*e2^5*e3^3 + 2688*e1^4*e2^5*e3^2 + 512*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 - 148*e1^4*e2^4*e3^7 + 282*e1^4*e2^4*e3^6 - 2892*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 2208*e1^4*e2^4*e3^3 - 1056*e1^4*e2^4*e3^2 + 272*e1^4*e2^3*e3^7 - 376*e1^4*e2^3*e3^6 + 3440*e1^4*e2^3*e3^5 - 2892*e1^4*e2^3*e3^4 - 288*e1^4*e2^3*e3^3 - 160*e1^4*e2^3*e3^2 + 384*e1^4*e2^2*e3^7 - 604*e1^4*e2^2*e3^6 - 376*e1^4*e2^2*e3^5 + 282*e1^4*e2^2*e3^4 + 320*e1^4*e2^2*e3^3 - 512*e1^4*e2*e3^7 + 384*e1^4*e2*e3^6 + 272*e1^4*e2*e3^5 - 148*e1^4*e2*e3^4 + e1^4*e3^4 - 512*e1^3*e2^8*e3^3 + 1024*e1^3*e2^8*e3^2 - 512*e1^3*e2^8*e3 + 512*e1^3*e2^7*e3^4 - 1536*e1^3*e2^7*e3^2 + 1024*e1^3*e2^7*e3 - 32*e1^3*e2^6*e3^6 + 672*e1^3*e2^6*e3^5 - 3328*e1^3*e2^6*e3^4 + 2688*e1^3*e2^6*e3^3 + 512*e1^3*e2^6*e3^2 - 512*e1^3*e2^6*e3 + 32*e1^3*e2^5*e3^7 - 832*e1^3*e2^5*e3^6 + 1600*e1^3*e2^5*e3^5 + 2208*e1^3*e2^5*e3^4 - 2848*e1^3*e2^5*e3^3 - 160*e1^3*e2^5*e3^2 - 4*e1^3*e2^4*e3^8 + 152*e1^3*e2^4*e3^7 + 1560*e1^3*e2^4*e3^6 - 2892*e1^3*e2^4*e3^5 + 352*e1^3*e2^4*e3^4 + 672*e1^3*e2^4*e3^3 + 160*e1^3*e2^4*e3^2 - 808*e1^3*e2^3*e3^7 - 376*e1^3*e2^3*e3^6 + 628*e1^3*e2^3*e3^5 + 556*e1^3*e2^3*e3^4 + 384*e1^3*e2^2*e3^7 + 40*e1^3*e2^2*e3^6 - 124*e1^3*e2^2*e3^5 - 300*e1^3*e2^2*e3^4 + 256*e1^3*e2*e3^7 - 384*e1^3*e2*e3^6 + 132*e1^3*e2*e3^5 - 4*e1^3*e2*e3^4 + 256*e1^2*e2^8*e3^4 - 512*e1^2*e2^8*e3^3 + 256*e1^2*e2^8*e3^2 - 512*e1^2*e2^7*e3^5 + 512*e1^2*e2^7*e3^4 + 512*e1^2*e2^7*e3^3 - 512*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 + 672*e1^2*e2^6*e3^5 - 1056*e1^2*e2^6*e3^4 - 160*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 - 64*e1^2*e2^5*e3^7 - 832*e1^2*e2^5*e3^6 - 288*e1^2*e2^5*e3^5 + 672*e1^2*e2^5*e3^4 + 480*e1^2*e2^5*e3^3 + 32*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 + 152*e1^2*e2^4*e3^7 + 282*e1^2*e2^4*e3^6 + 556*e1^2*e2^4*e3^5 - 676*e1^2*e2^4*e3^4 - 320*e1^2*e2^4*e3^3 + 272*e1^2*e2^3*e3^7 - 124*e1^2*e2^3*e3^6 - 440*e1^2*e2^3*e3^5 + 292*e1^2*e2^3*e3^4 - 384*e1^2*e2^2*e3^7 + 390*e1^2*e2^2*e3^6 - 12*e1^2*e2^2*e3^5 + 6*e1^2*e2^2*e3^4 - 32*e1*e2^6*e3^6 - 160*e1*e2^6*e3^5 + 160*e1*e2^6*e3^4 + 32*e1*e2^6*e3^3 + 32*e1*e2^5*e3^7 + 320*e1*e2^5*e3^6 - 320*e1*e2^5*e3^4 - 32*e1*e2^5*e3^3 - 4*e1*e2^4*e3^8 - 148*e1*e2^4*e3^7 - 300*e1*e2^4*e3^6 + 292*e1*e2^4*e3^5 + 160*e1*e2^4*e3^4 + 132*e1*e2^3*e3^7 - 12*e1*e2^3*e3^6 - 116*e1*e2^3*e3^5 - 4*e1*e2^3*e3^4 + e2^4*e3^8 - 4*e2^4*e3^7 + 6*e2^4*e3^6 - 4*e2^4*e3^5 + e2^4*e3^4, e1^8*e2^4 - 4*e1^8*e2^3*e3 + 6*e1^8*e2^2*e3^2 - 4*e1^8*e2*e3^3 + e1^8*e3^4 + 256*e1^7*e2^5*e3^3 - 384*e1^7*e2^5*e3^2 + 132*e1^7*e2^5*e3 - 4*e1^7*e2^5 - 512*e1^7*e2^4*e3^4 + 384*e1^7*e2^4*e3^3 + 272*e1^7*e2^4*e3^2 - 148*e1^7*e2^4*e3 + 256*e1^7*e2^3*e3^5 + 384*e1^7*e2^3*e3^4 - 808*e1^7*e2^3*e3^3 + 152*e1^7*e2^3*e3^2 + 32*e1^7*e2^3*e3 - 384*e1^7*e2^2*e3^5 + 272*e1^7*e2^2*e3^4 + 152*e1^7*e2^2*e3^3 - 64*e1^7*e2^2*e3^2 + 132*e1^7*e2*e3^5 - 148*e1^7*e2*e3^4 + 32*e1^7*e2*e3^3 - 4*e1^7*e3^5 - 384*e1^6*e2^6*e3^3 + 390*e1^6*e2^6*e3^2 - 12*e1^6*e2^6*e3 + 6*e1^6*e2^6 + 384*e1^6*e2^5*e3^4 + 40*e1^6*e2^5*e3^3 - 124*e1^6*e2^5*e3^2 - 300*e1^6*e2^5*e3 + 384*e1^6*e2^4*e3^5 - 604*e1^6*e2^4*e3^4 - 376*e1^6*e2^4*e3^3 + 282*e1^6*e2^4*e3^2 + 320*e1^6*e2^4*e3 - 384*e1^6*e2^3*e3^6 + 40*e1^6*e2^3*e3^5 - 376*e1^6*e2^3*e3^4 + 1560*e1^6*e2^3*e3^3 - 832*e1^6*e2^3*e3^2 - 32*e1^6*e2^3*e3 + 390*e1^6*e2^2*e3^6 - 124*e1^6*e2^2*e3^5 + 282*e1^6*e2^2*e3^4 - 832*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 12*e1^6*e2*e3^6 - 300*e1^6*e2*e3^5 + 320*e1^6*e2*e3^4 - 32*e1^6*e2*e3^3 + 6*e1^6*e3^6 + 132*e1^5*e2^7*e3^3 - 12*e1^5*e2^7*e3^2 - 116*e1^5*e2^7*e3 - 4*e1^5*e2^7 + 272*e1^5*e2^6*e3^4 - 124*e1^5*e2^6*e3^3 - 440*e1^5*e2^6*e3^2 + 292*e1^5*e2^6*e3 - 808*e1^5*e2^5*e3^5 - 376*e1^5*e2^5*e3^4 + 628*e1^5*e2^5*e3^3 + 556*e1^5*e2^5*e3^2 + 272*e1^5*e2^4*e3^6 - 376*e1^5*e2^4*e3^5 + 3440*e1^5*e2^4*e3^4 - 2892*e1^5*e2^4*e3^3 - 288*e1^5*e2^4*e3^2 - 160*e1^5*e2^4*e3 + 132*e1^5*e2^3*e3^7 - 124*e1^5*e2^3*e3^6 + 628*e1^5*e2^3*e3^5 - 2892*e1^5*e2^3*e3^4 + 1600*e1^5*e2^3*e3^3 + 672*e1^5*e2^3*e3^2 - 12*e1^5*e2^2*e3^7 - 440*e1^5*e2^2*e3^6 + 556*e1^5*e2^2*e3^5 - 288*e1^5*e2^2*e3^4 + 672*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 - 116*e1^5*e2*e3^7 + 292*e1^5*e2*e3^6 - 160*e1^5*e2*e3^4 - 4*e1^5*e3^7 + e1^4*e2^8*e3^4 - 4*e1^4*e2^8*e3^3 + 6*e1^4*e2^8*e3^2 - 4*e1^4*e2^8*e3 + e1^4*e2^8 - 4*e1^4*e2^7*e3^5 - 148*e1^4*e2^7*e3^4 - 300*e1^4*e2^7*e3^3 + 292*e1^4*e2^7*e3^2 + 160*e1^4*e2^7*e3 + 6*e1^4*e2^6*e3^6 + 152*e1^4*e2^6*e3^5 + 282*e1^4*e2^6*e3^4 + 556*e1^4*e2^6*e3^3 - 676*e1^4*e2^6*e3^2 - 320*e1^4*e2^6*e3 - 4*e1^4*e2^5*e3^7 + 152*e1^4*e2^5*e3^6 + 1560*e1^4*e2^5*e3^5 - 2892*e1^4*e2^5*e3^4 + 352*e1^4*e2^5*e3^3 + 672*e1^4*e2^5*e3^2 + 160*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 - 148*e1^4*e2^4*e3^7 + 282*e1^4*e2^4*e3^6 - 2892*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 2208*e1^4*e2^4*e3^3 - 1056*e1^4*e2^4*e3^2 - 4*e1^4*e2^3*e3^8 - 300*e1^4*e2^3*e3^7 + 556*e1^4*e2^3*e3^6 + 352*e1^4*e2^3*e3^5 + 2208*e1^4*e2^3*e3^4 - 3328*e1^4*e2^3*e3^3 + 512*e1^4*e2^3*e3^2 + 6*e1^4*e2^2*e3^8 + 292*e1^4*e2^2*e3^7 - 676*e1^4*e2^2*e3^6 + 672*e1^4*e2^2*e3^5 - 1056*e1^4*e2^2*e3^4 + 512*e1^4*e2^2*e3^3 + 256*e1^4*e2^2*e3^2 - 4*e1^4*e2*e3^8 + 160*e1^4*e2*e3^7 - 320*e1^4*e2*e3^6 + 160*e1^4*e2*e3^5 + e1^4*e3^8 + 32*e1^3*e2^7*e3^5 + 320*e1^3*e2^7*e3^4 - 320*e1^3*e2^7*e3^2 - 32*e1^3*e2^7*e3 - 64*e1^3*e2^6*e3^6 - 832*e1^3*e2^6*e3^5 - 288*e1^3*e2^6*e3^4 + 672*e1^3*e2^6*e3^3 + 480*e1^3*e2^6*e3^2 + 32*e1^3*e2^6*e3 + 32*e1^3*e2^5*e3^7 - 832*e1^3*e2^5*e3^6 + 1600*e1^3*e2^5*e3^5 + 2208*e1^3*e2^5*e3^4 - 2848*e1^3*e2^5*e3^3 - 160*e1^3*e2^5*e3^2 + 320*e1^3*e2^4*e3^7 - 288*e1^3*e2^4*e3^6 + 2208*e1^3*e2^4*e3^5 - 5440*e1^3*e2^4*e3^4 + 2688*e1^3*e2^4*e3^3 + 512*e1^3*e2^4*e3^2 + 672*e1^3*e2^3*e3^6 - 2848*e1^3*e2^3*e3^5 + 2688*e1^3*e2^3*e3^4 - 512*e1^3*e2^3*e3^2 - 320*e1^3*e2^2*e3^7 + 480*e1^3*e2^2*e3^6 - 160*e1^3*e2^2*e3^5 + 512*e1^3*e2^2*e3^4 - 512*e1^3*e2^2*e3^3 - 32*e1^3*e2*e3^7 + 32*e1^3*e2*e3^6 - 32*e1^2*e2^7*e3^5 - 160*e1^2*e2^7*e3^4 + 160*e1^2*e2^7*e3^3 + 32*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 + 672*e1^2*e2^6*e3^5 - 1056*e1^2*e2^6*e3^4 - 160*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 - 32*e1^2*e2^5*e3^7 + 672*e1^2*e2^5*e3^6 - 3328*e1^2*e2^5*e3^5 + 2688*e1^2*e2^5*e3^4 + 512*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 - 160*e1^2*e2^4*e3^7 - 1056*e1^2*e2^4*e3^6 + 2688*e1^2*e2^4*e3^5 - 192*e1^2*e2^4*e3^4 - 1536*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 + 160*e1^2*e2^3*e3^7 - 160*e1^2*e2^3*e3^6 + 512*e1^2*e2^3*e3^5 - 1536*e1^2*e2^3*e3^4 + 1024*e1^2*e2^3*e3^3 + 32*e1^2*e2^2*e3^7 + 224*e1^2*e2^2*e3^6 - 512*e1^2*e2^2*e3^5 + 256*e1^2*e2^2*e3^4 - 512*e1*e2^6*e3^6 + 512*e1*e2^6*e3^5 + 512*e1*e2^6*e3^4 - 512*e1*e2^6*e3^3 + 512*e1*e2^5*e3^6 - 1536*e1*e2^5*e3^4 + 1024*e1*e2^5*e3^3 + 512*e1*e2^4*e3^6 - 1536*e1*e2^4*e3^5 + 1536*e1*e2^4*e3^4 - 512*e1*e2^4*e3^3 - 512*e1*e2^3*e3^6 + 1024*e1*e2^3*e3^5 - 512*e1*e2^3*e3^4 + 256*e2^6*e3^6 - 512*e2^6*e3^5 + 256*e2^6*e3^4 - 512*e2^5*e3^6 + 1024*e2^5*e3^5 - 512*e2^5*e3^4 + 256*e2^4*e3^6 - 512*e2^4*e3^5 + 256*e2^4*e3^4, 256*e1^8*e2^4*e3^4 - 512*e1^8*e2^4*e3^3 + 256*e1^8*e2^4*e3^2 - 512*e1^8*e2^3*e3^4 + 1024*e1^8*e2^3*e3^3 - 512*e1^8*e2^3*e3^2 + 256*e1^8*e2^2*e3^4 - 512*e1^8*e2^2*e3^3 + 256*e1^8*e2^2*e3^2 - 512*e1^7*e2^5*e3^4 + 1024*e1^7*e2^5*e3^3 - 512*e1^7*e2^5*e3^2 - 512*e1^7*e2^4*e3^5 + 1536*e1^7*e2^4*e3^4 - 1536*e1^7*e2^4*e3^3 + 512*e1^7*e2^4*e3^2 + 1024*e1^7*e2^3*e3^5 - 1536*e1^7*e2^3*e3^4 + 512*e1^7*e2^3*e3^2 - 512*e1^7*e2^2*e3^5 + 512*e1^7*e2^2*e3^4 + 512*e1^7*e2^2*e3^3 - 512*e1^7*e2^2*e3^2 + 256*e1^6*e2^6*e3^4 - 512*e1^6*e2^6*e3^3 + 224*e1^6*e2^6*e3^2 + 32*e1^6*e2^6*e3 + 1024*e1^6*e2^5*e3^5 - 1536*e1^6*e2^5*e3^4 + 512*e1^6*e2^5*e3^3 - 160*e1^6*e2^5*e3^2 + 160*e1^6*e2^5*e3 + 256*e1^6*e2^4*e3^6 - 1536*e1^6*e2^4*e3^5 - 192*e1^6*e2^4*e3^4 + 2688*e1^6*e2^4*e3^3 - 1056*e1^6*e2^4*e3^2 - 160*e1^6*e2^4*e3 - 512*e1^6*e2^3*e3^6 + 512*e1^6*e2^3*e3^5 + 2688*e1^6*e2^3*e3^4 - 3328*e1^6*e2^3*e3^3 + 672*e1^6*e2^3*e3^2 - 32*e1^6*e2^3*e3 + 224*e1^6*e2^2*e3^6 - 160*e1^6*e2^2*e3^5 - 1056*e1^6*e2^2*e3^4 + 672*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 + 32*e1^6*e2*e3^6 + 160*e1^6*e2*e3^5 - 160*e1^6*e2*e3^4 - 32*e1^6*e2*e3^3 + 32*e1^5*e2^7*e3^2 - 32*e1^5*e2^7*e3 - 512*e1^5*e2^6*e3^5 + 512*e1^5*e2^6*e3^4 - 160*e1^5*e2^6*e3^3 + 480*e1^5*e2^6*e3^2 - 320*e1^5*e2^6*e3 - 512*e1^5*e2^5*e3^6 + 2688*e1^5*e2^5*e3^4 - 2848*e1^5*e2^5*e3^3 + 672*e1^5*e2^5*e3^2 + 512*e1^5*e2^4*e3^6 + 2688*e1^5*e2^4*e3^5 - 5440*e1^5*e2^4*e3^4 + 2208*e1^5*e2^4*e3^3 - 288*e1^5*e2^4*e3^2 + 320*e1^5*e2^4*e3 - 160*e1^5*e2^3*e3^6 - 2848*e1^5*e2^3*e3^5 + 2208*e1^5*e2^3*e3^4 + 1600*e1^5*e2^3*e3^3 - 832*e1^5*e2^3*e3^2 + 32*e1^5*e2^3*e3 + 32*e1^5*e2^2*e3^7 + 480*e1^5*e2^2*e3^6 + 672*e1^5*e2^2*e3^5 - 288*e1^5*e2^2*e3^4 - 832*e1^5*e2^2*e3^3 - 64*e1^5*e2^2*e3^2 - 32*e1^5*e2*e3^7 - 320*e1^5*e2*e3^6 + 320*e1^5*e2*e3^4 + 32*e1^5*e2*e3^3 + e1^4*e2^8 + 160*e1^4*e2^7*e3^3 - 320*e1^4*e2^7*e3^2 + 160*e1^4*e2^7*e3 - 4*e1^4*e2^7 + 256*e1^4*e2^6*e3^6 + 512*e1^4*e2^6*e3^5 - 1056*e1^4*e2^6*e3^4 + 672*e1^4*e2^6*e3^3 - 676*e1^4*e2^6*e3^2 + 292*e1^4*e2^6*e3 + 6*e1^4*e2^6 + 512*e1^4*e2^5*e3^6 - 3328*e1^4*e2^5*e3^5 + 2208*e1^4*e2^5*e3^4 + 352*e1^4*e2^5*e3^3 + 556*e1^4*e2^5*e3^2 - 300*e1^4*e2^5*e3 - 4*e1^4*e2^5 - 1056*e1^4*e2^4*e3^6 + 2208*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 - 2892*e1^4*e2^4*e3^3 + 282*e1^4*e2^4*e3^2 - 148*e1^4*e2^4*e3 + e1^4*e2^4 + 160*e1^4*e2^3*e3^7 + 672*e1^4*e2^3*e3^6 + 352*e1^4*e2^3*e3^5 - 2892*e1^4*e2^3*e3^4 + 1560*e1^4*e2^3*e3^3 + 152*e1^4*e2^3*e3^2 - 4*e1^4*e2^3*e3 - 320*e1^4*e2^2*e3^7 - 676*e1^4*e2^2*e3^6 + 556*e1^4*e2^2*e3^5 + 282*e1^4*e2^2*e3^4 + 152*e1^4*e2^2*e3^3 + 6*e1^4*e2^2*e3^2 + 160*e1^4*e2*e3^7 + 292*e1^4*e2*e3^6 - 300*e1^4*e2*e3^5 - 148*e1^4*e2*e3^4 - 4*e1^4*e2*e3^3 + e1^4*e3^8 - 4*e1^4*e3^7 + 6*e1^4*e3^6 - 4*e1^4*e3^5 + e1^4*e3^4 - 4*e1^3*e2^8*e3 - 160*e1^3*e2^7*e3^4 + 292*e1^3*e2^7*e3^2 - 116*e1^3*e2^7*e3 - 512*e1^3*e2^6*e3^6 + 672*e1^3*e2^6*e3^5 - 288*e1^3*e2^6*e3^4 + 556*e1^3*e2^6*e3^3 - 440*e1^3*e2^6*e3^2 - 12*e1^3*e2^6*e3 + 672*e1^3*e2^5*e3^6 + 1600*e1^3*e2^5*e3^5 - 2892*e1^3*e2^5*e3^4 + 628*e1^3*e2^5*e3^3 - 124*e1^3*e2^5*e3^2 + 132*e1^3*e2^5*e3 - 160*e1^3*e2^4*e3^7 - 288*e1^3*e2^4*e3^6 - 2892*e1^3*e2^4*e3^5 + 3440*e1^3*e2^4*e3^4 - 376*e1^3*e2^4*e3^3 + 272*e1^3*e2^4*e3^2 + 556*e1^3*e2^3*e3^6 + 628*e1^3*e2^3*e3^5 - 376*e1^3*e2^3*e3^4 - 808*e1^3*e2^3*e3^3 + 292*e1^3*e2^2*e3^7 - 440*e1^3*e2^2*e3^6 - 124*e1^3*e2^2*e3^5 + 272*e1^3*e2^2*e3^4 - 4*e1^3*e2*e3^8 - 116*e1^3*e2*e3^7 - 12*e1^3*e2*e3^6 + 132*e1^3*e2*e3^5 + 6*e1^2*e2^8*e3^2 - 32*e1^2*e2^7*e3^5 + 320*e1^2*e2^7*e3^4 - 300*e1^2*e2^7*e3^3 - 12*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 - 832*e1^2*e2^6*e3^5 + 282*e1^2*e2^6*e3^4 - 124*e1^2*e2^6*e3^3 + 390*e1^2*e2^6*e3^2 - 32*e1^2*e2^5*e3^7 - 832*e1^2*e2^5*e3^6 + 1560*e1^2*e2^5*e3^5 - 376*e1^2*e2^5*e3^4 + 40*e1^2*e2^5*e3^3 - 384*e1^2*e2^5*e3^2 + 320*e1^2*e2^4*e3^7 + 282*e1^2*e2^4*e3^6 - 376*e1^2*e2^4*e3^5 - 604*e1^2*e2^4*e3^4 + 384*e1^2*e2^4*e3^3 - 300*e1^2*e2^3*e3^7 - 124*e1^2*e2^3*e3^6 + 40*e1^2*e2^3*e3^5 + 384*e1^2*e2^3*e3^4 + 6*e1^2*e2^2*e3^8 - 12*e1^2*e2^2*e3^7 + 390*e1^2*e2^2*e3^6 - 384*e1^2*e2^2*e3^5 - 4*e1*e2^8*e3^3 + 32*e1*e2^7*e3^5 - 148*e1*e2^7*e3^4 + 132*e1*e2^7*e3^3 - 64*e1*e2^6*e3^6 + 152*e1*e2^6*e3^5 + 272*e1*e2^6*e3^4 - 384*e1*e2^6*e3^3 + 32*e1*e2^5*e3^7 + 152*e1*e2^5*e3^6 - 808*e1*e2^5*e3^5 + 384*e1*e2^5*e3^4 + 256*e1*e2^5*e3^3 - 148*e1*e2^4*e3^7 + 272*e1*e2^4*e3^6 + 384*e1*e2^4*e3^5 - 512*e1*e2^4*e3^4 - 4*e1*e2^3*e3^8 + 132*e1*e2^3*e3^7 - 384*e1*e2^3*e3^6 + 256*e1*e2^3*e3^5 + e2^8*e3^4 - 4*e2^7*e3^5 + 6*e2^6*e3^6 - 4*e2^5*e3^7 + e2^4*e3^8, e1^8*e2^4 - 4*e1^8*e2^3*e3 + 6*e1^8*e2^2*e3^2 - 4*e1^8*e2*e3^3 + e1^8*e3^4 + 32*e1^7*e2^5*e3^2 - 32*e1^7*e2^5*e3 + 160*e1^7*e2^4*e3^3 - 320*e1^7*e2^4*e3^2 + 160*e1^7*e2^4*e3 - 4*e1^7*e2^4 - 160*e1^7*e2^3*e3^4 + 292*e1^7*e2^3*e3^2 - 116*e1^7*e2^3*e3 - 32*e1^7*e2^2*e3^5 + 320*e1^7*e2^2*e3^4 - 300*e1^7*e2^2*e3^3 - 12*e1^7*e2^2*e3^2 + 32*e1^7*e2*e3^5 - 148*e1^7*e2*e3^4 + 132*e1^7*e2*e3^3 - 4*e1^7*e3^5 + 256*e1^6*e2^6*e3^4 - 512*e1^6*e2^6*e3^3 + 224*e1^6*e2^6*e3^2 + 32*e1^6*e2^6*e3 - 512*e1^6*e2^5*e3^5 + 512*e1^6*e2^5*e3^4 - 160*e1^6*e2^5*e3^3 + 480*e1^6*e2^5*e3^2 - 320*e1^6*e2^5*e3 + 256*e1^6*e2^4*e3^6 + 512*e1^6*e2^4*e3^5 - 1056*e1^6*e2^4*e3^4 + 672*e1^6*e2^4*e3^3 - 676*e1^6*e2^4*e3^2 + 292*e1^6*e2^4*e3 + 6*e1^6*e2^4 - 512*e1^6*e2^3*e3^6 + 672*e1^6*e2^3*e3^5 - 288*e1^6*e2^3*e3^4 + 556*e1^6*e2^3*e3^3 - 440*e1^6*e2^3*e3^2 - 12*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 - 832*e1^6*e2^2*e3^5 + 282*e1^6*e2^2*e3^4 - 124*e1^6*e2^2*e3^3 + 390*e1^6*e2^2*e3^2 - 64*e1^6*e2*e3^6 + 152*e1^6*e2*e3^5 + 272*e1^6*e2*e3^4 - 384*e1^6*e2*e3^3 + 6*e1^6*e3^6 - 512*e1^5*e2^7*e3^4 + 1024*e1^5*e2^7*e3^3 - 512*e1^5*e2^7*e3^2 + 1024*e1^5*e2^6*e3^5 - 1536*e1^5*e2^6*e3^4 + 512*e1^5*e2^6*e3^3 - 160*e1^5*e2^6*e3^2 + 160*e1^5*e2^6*e3 - 512*e1^5*e2^5*e3^6 + 2688*e1^5*e2^5*e3^4 - 2848*e1^5*e2^5*e3^3 + 672*e1^5*e2^5*e3^2 + 512*e1^5*e2^4*e3^6 - 3328*e1^5*e2^4*e3^5 + 2208*e1^5*e2^4*e3^4 + 352*e1^5*e2^4*e3^3 + 556*e1^5*e2^4*e3^2 - 300*e1^5*e2^4*e3 - 4*e1^5*e2^4 + 672*e1^5*e2^3*e3^6 + 1600*e1^5*e2^3*e3^5 - 2892*e1^5*e2^3*e3^4 + 628*e1^5*e2^3*e3^3 - 124*e1^5*e2^3*e3^2 + 132*e1^5*e2^3*e3 - 32*e1^5*e2^2*e3^7 - 832*e1^5*e2^2*e3^6 + 1560*e1^5*e2^2*e3^5 - 376*e1^5*e2^2*e3^4 + 40*e1^5*e2^2*e3^3 - 384*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^7 + 152*e1^5*e2*e3^6 - 808*e1^5*e2*e3^5 + 384*e1^5*e2*e3^4 + 256*e1^5*e2*e3^3 - 4*e1^5*e3^7 + 256*e1^4*e2^8*e3^4 - 512*e1^4*e2^8*e3^3 + 256*e1^4*e2^8*e3^2 - 512*e1^4*e2^7*e3^5 + 1536*e1^4*e2^7*e3^4 - 1536*e1^4*e2^7*e3^3 + 512*e1^4*e2^7*e3^2 + 256*e1^4*e2^6*e3^6 - 1536*e1^4*e2^6*e3^5 - 192*e1^4*e2^6*e3^4 + 2688*e1^4*e2^6*e3^3 - 1056*e1^4*e2^6*e3^2 - 160*e1^4*e2^6*e3 + 512*e1^4*e2^5*e3^6 + 2688*e1^4*e2^5*e3^5 - 5440*e1^4*e2^5*e3^4 + 2208*e1^4*e2^5*e3^3 - 288*e1^4*e2^5*e3^2 + 320*e1^4*e2^5*e3 - 1056*e1^4*e2^4*e3^6 + 2208*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 - 2892*e1^4*e2^4*e3^3 + 282*e1^4*e2^4*e3^2 - 148*e1^4*e2^4*e3 + e1^4*e2^4 - 160*e1^4*e2^3*e3^7 - 288*e1^4*e2^3*e3^6 - 2892*e1^4*e2^3*e3^5 + 3440*e1^4*e2^3*e3^4 - 376*e1^4*e2^3*e3^3 + 272*e1^4*e2^3*e3^2 + 320*e1^4*e2^2*e3^7 + 282*e1^4*e2^2*e3^6 - 376*e1^4*e2^2*e3^5 - 604*e1^4*e2^2*e3^4 + 384*e1^4*e2^2*e3^3 - 148*e1^4*e2*e3^7 + 272*e1^4*e2*e3^6 + 384*e1^4*e2*e3^5 - 512*e1^4*e2*e3^4 + e1^4*e3^8 - 512*e1^3*e2^8*e3^4 + 1024*e1^3*e2^8*e3^3 - 512*e1^3*e2^8*e3^2 + 1024*e1^3*e2^7*e3^5 - 1536*e1^3*e2^7*e3^4 + 512*e1^3*e2^7*e3^2 - 512*e1^3*e2^6*e3^6 + 512*e1^3*e2^6*e3^5 + 2688*e1^3*e2^6*e3^4 - 3328*e1^3*e2^6*e3^3 + 672*e1^3*e2^6*e3^2 - 32*e1^3*e2^6*e3 - 160*e1^3*e2^5*e3^6 - 2848*e1^3*e2^5*e3^5 + 2208*e1^3*e2^5*e3^4 + 1600*e1^3*e2^5*e3^3 - 832*e1^3*e2^5*e3^2 + 32*e1^3*e2^5*e3 + 160*e1^3*e2^4*e3^7 + 672*e1^3*e2^4*e3^6 + 352*e1^3*e2^4*e3^5 - 2892*e1^3*e2^4*e3^4 + 1560*e1^3*e2^4*e3^3 + 152*e1^3*e2^4*e3^2 - 4*e1^3*e2^4*e3 + 556*e1^3*e2^3*e3^6 + 628*e1^3*e2^3*e3^5 - 376*e1^3*e2^3*e3^4 - 808*e1^3*e2^3*e3^3 - 300*e1^3*e2^2*e3^7 - 124*e1^3*e2^2*e3^6 + 40*e1^3*e2^2*e3^5 + 384*e1^3*e2^2*e3^4 - 4*e1^3*e2*e3^8 + 132*e1^3*e2*e3^7 - 384*e1^3*e2*e3^6 + 256*e1^3*e2*e3^5 + 256*e1^2*e2^8*e3^4 - 512*e1^2*e2^8*e3^3 + 256*e1^2*e2^8*e3^2 - 512*e1^2*e2^7*e3^5 + 512*e1^2*e2^7*e3^4 + 512*e1^2*e2^7*e3^3 - 512*e1^2*e2^7*e3^2 + 224*e1^2*e2^6*e3^6 - 160*e1^2*e2^6*e3^5 - 1056*e1^2*e2^6*e3^4 + 672*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 + 32*e1^2*e2^5*e3^7 + 480*e1^2*e2^5*e3^6 + 672*e1^2*e2^5*e3^5 - 288*e1^2*e2^5*e3^4 - 832*e1^2*e2^5*e3^3 - 64*e1^2*e2^5*e3^2 - 320*e1^2*e2^4*e3^7 - 676*e1^2*e2^4*e3^6 + 556*e1^2*e2^4*e3^5 + 282*e1^2*e2^4*e3^4 + 152*e1^2*e2^4*e3^3 + 6*e1^2*e2^4*e3^2 + 292*e1^2*e2^3*e3^7 - 440*e1^2*e2^3*e3^6 - 124*e1^2*e2^3*e3^5 + 272*e1^2*e2^3*e3^4 + 6*e1^2*e2^2*e3^8 - 12*e1^2*e2^2*e3^7 + 390*e1^2*e2^2*e3^6 - 384*e1^2*e2^2*e3^5 + 32*e1*e2^6*e3^6 + 160*e1*e2^6*e3^5 - 160*e1*e2^6*e3^4 - 32*e1*e2^6*e3^3 - 32*e1*e2^5*e3^7 - 320*e1*e2^5*e3^6 + 320*e1*e2^5*e3^4 + 32*e1*e2^5*e3^3 + 160*e1*e2^4*e3^7 + 292*e1*e2^4*e3^6 - 300*e1*e2^4*e3^5 - 148*e1*e2^4*e3^4 - 4*e1*e2^4*e3^3 - 4*e1*e2^3*e3^8 - 116*e1*e2^3*e3^7 - 12*e1*e2^3*e3^6 + 132*e1*e2^3*e3^5 + e2^4*e3^8 - 4*e2^4*e3^7 + 6*e2^4*e3^6 - 4*e2^4*e3^5 + e2^4*e3^4, e1^8*e2^4*e3^4 - 4*e1^8*e2^4*e3^3 + 6*e1^8*e2^4*e3^2 - 4*e1^8*e2^4*e3 + e1^8*e2^4 + 32*e1^7*e2^5*e3^3 - 64*e1^7*e2^5*e3^2 + 32*e1^7*e2^5*e3 - 4*e1^7*e2^4*e3^5 - 148*e1^7*e2^4*e3^4 + 152*e1^7*e2^4*e3^3 + 152*e1^7*e2^4*e3^2 - 148*e1^7*e2^4*e3 - 4*e1^7*e2^4 + 132*e1^7*e2^3*e3^5 + 272*e1^7*e2^3*e3^4 - 808*e1^7*e2^3*e3^3 + 272*e1^7*e2^3*e3^2 + 132*e1^7*e2^3*e3 - 384*e1^7*e2^2*e3^5 + 384*e1^7*e2^2*e3^4 + 384*e1^7*e2^2*e3^3 - 384*e1^7*e2^2*e3^2 + 256*e1^7*e2*e3^5 - 512*e1^7*e2*e3^4 + 256*e1^7*e2*e3^3 - 32*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 32*e1^6*e2^6*e3 + 320*e1^6*e2^5*e3^4 - 832*e1^6*e2^5*e3^3 - 832*e1^6*e2^5*e3^2 + 320*e1^6*e2^5*e3 + 6*e1^6*e2^4*e3^6 - 300*e1^6*e2^4*e3^5 + 282*e1^6*e2^4*e3^4 + 1560*e1^6*e2^4*e3^3 + 282*e1^6*e2^4*e3^2 - 300*e1^6*e2^4*e3 + 6*e1^6*e2^4 - 12*e1^6*e2^3*e3^6 - 124*e1^6*e2^3*e3^5 - 376*e1^6*e2^3*e3^4 - 376*e1^6*e2^3*e3^3 - 124*e1^6*e2^3*e3^2 - 12*e1^6*e2^3*e3 + 390*e1^6*e2^2*e3^6 + 40*e1^6*e2^2*e3^5 - 604*e1^6*e2^2*e3^4 + 40*e1^6*e2^2*e3^3 + 390*e1^6*e2^2*e3^2 - 384*e1^6*e2*e3^6 + 384*e1^6*e2*e3^5 + 384*e1^6*e2*e3^4 - 384*e1^6*e2*e3^3 - 512*e1^5*e2^7*e3^2 - 160*e1^5*e2^6*e3^4 + 672*e1^5*e2^6*e3^3 + 672*e1^5*e2^6*e3^2 - 160*e1^5*e2^6*e3 - 288*e1^5*e2^5*e3^4 + 1600*e1^5*e2^5*e3^3 - 288*e1^5*e2^5*e3^2 - 4*e1^5*e2^4*e3^7 + 292*e1^5*e2^4*e3^6 + 556*e1^5*e2^4*e3^5 - 2892*e1^5*e2^4*e3^4 - 2892*e1^5*e2^4*e3^3 + 556*e1^5*e2^4*e3^2 + 292*e1^5*e2^4*e3 - 4*e1^5*e2^4 - 116*e1^5*e2^3*e3^7 - 440*e1^5*e2^3*e3^6 + 628*e1^5*e2^3*e3^5 + 3440*e1^5*e2^3*e3^4 + 628*e1^5*e2^3*e3^3 - 440*e1^5*e2^3*e3^2 - 116*e1^5*e2^3*e3 - 12*e1^5*e2^2*e3^7 - 124*e1^5*e2^2*e3^6 - 376*e1^5*e2^2*e3^5 - 376*e1^5*e2^2*e3^4 - 124*e1^5*e2^2*e3^3 - 12*e1^5*e2^2*e3^2 + 132*e1^5*e2*e3^7 + 272*e1^5*e2*e3^6 - 808*e1^5*e2*e3^5 + 272*e1^5*e2*e3^4 + 132*e1^5*e2*e3^3 + 256*e1^4*e2^8*e3^2 + 512*e1^4*e2^7*e3^3 + 512*e1^4*e2^7*e3^2 + 160*e1^4*e2^6*e3^5 - 1056*e1^4*e2^6*e3^4 - 3328*e1^4*e2^6*e3^3 - 1056*e1^4*e2^6*e3^2 + 160*e1^4*e2^6*e3 - 320*e1^4*e2^5*e3^6 + 672*e1^4*e2^5*e3^5 + 2208*e1^4*e2^5*e3^4 + 2208*e1^4*e2^5*e3^3 + 672*e1^4*e2^5*e3^2 - 320*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 + 160*e1^4*e2^4*e3^7 - 676*e1^4*e2^4*e3^6 + 352*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 352*e1^4*e2^4*e3^3 - 676*e1^4*e2^4*e3^2 + 160*e1^4*e2^4*e3 + e1^4*e2^4 - 4*e1^4*e2^3*e3^8 + 292*e1^4*e2^3*e3^7 + 556*e1^4*e2^3*e3^6 - 2892*e1^4*e2^3*e3^5 - 2892*e1^4*e2^3*e3^4 + 556*e1^4*e2^3*e3^3 + 292*e1^4*e2^3*e3^2 - 4*e1^4*e2^3*e3 + 6*e1^4*e2^2*e3^8 - 300*e1^4*e2^2*e3^7 + 282*e1^4*e2^2*e3^6 + 1560*e1^4*e2^2*e3^5 + 282*e1^4*e2^2*e3^4 - 300*e1^4*e2^2*e3^3 + 6*e1^4*e2^2*e3^2 - 4*e1^4*e2*e3^8 - 148*e1^4*e2*e3^7 + 152*e1^4*e2*e3^6 + 152*e1^4*e2*e3^5 - 148*e1^4*e2*e3^4 - 4*e1^4*e2*e3^3 + e1^4*e3^8 - 4*e1^4*e3^7 + 6*e1^4*e3^6 - 4*e1^4*e3^5 + e1^4*e3^4 - 512*e1^3*e2^8*e3^3 - 512*e1^3*e2^8*e3^2 + 512*e1^3*e2^7*e3^4 + 512*e1^3*e2^7*e3^2 + 32*e1^3*e2^6*e3^6 - 160*e1^3*e2^6*e3^5 + 2688*e1^3*e2^6*e3^4 + 2688*e1^3*e2^6*e3^3 - 160*e1^3*e2^6*e3^2 + 32*e1^3*e2^6*e3 - 32*e1^3*e2^5*e3^7 + 480*e1^3*e2^5*e3^6 - 2848*e1^3*e2^5*e3^5 - 5440*e1^3*e2^5*e3^4 - 2848*e1^3*e2^5*e3^3 + 480*e1^3*e2^5*e3^2 - 32*e1^3*e2^5*e3 - 320*e1^3*e2^4*e3^7 + 672*e1^3*e2^4*e3^6 + 2208*e1^3*e2^4*e3^5 + 2208*e1^3*e2^4*e3^4 + 672*e1^3*e2^4*e3^3 - 320*e1^3*e2^4*e3^2 - 288*e1^3*e2^3*e3^6 + 1600*e1^3*e2^3*e3^5 - 288*e1^3*e2^3*e3^4 + 320*e1^3*e2^2*e3^7 - 832*e1^3*e2^2*e3^6 - 832*e1^3*e2^2*e3^5 + 320*e1^3*e2^2*e3^4 + 32*e1^3*e2*e3^7 - 64*e1^3*e2*e3^6 + 32*e1^3*e2*e3^5 + 256*e1^2*e2^8*e3^4 + 1024*e1^2*e2^8*e3^3 + 256*e1^2*e2^8*e3^2 - 512*e1^2*e2^7*e3^5 - 1536*e1^2*e2^7*e3^4 - 1536*e1^2*e2^7*e3^3 - 512*e1^2*e2^7*e3^2 + 224*e1^2*e2^6*e3^6 + 512*e1^2*e2^6*e3^5 - 192*e1^2*e2^6*e3^4 + 512*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 + 32*e1^2*e2^5*e3^7 - 160*e1^2*e2^5*e3^6 + 2688*e1^2*e2^5*e3^5 + 2688*e1^2*e2^5*e3^4 - 160*e1^2*e2^5*e3^3 + 32*e1^2*e2^5*e3^2 + 160*e1^2*e2^4*e3^7 - 1056*e1^2*e2^4*e3^6 - 3328*e1^2*e2^4*e3^5 - 1056*e1^2*e2^4*e3^4 + 160*e1^2*e2^4*e3^3 - 160*e1^2*e2^3*e3^7 + 672*e1^2*e2^3*e3^6 + 672*e1^2*e2^3*e3^5 - 160*e1^2*e2^3*e3^4 - 32*e1^2*e2^2*e3^7 + 320*e1^2*e2^2*e3^6 - 32*e1^2*e2^2*e3^5 - 512*e1*e2^8*e3^4 - 512*e1*e2^8*e3^3 + 1024*e1*e2^7*e3^5 + 1536*e1*e2^7*e3^4 + 1024*e1*e2^7*e3^3 - 512*e1*e2^6*e3^6 - 1536*e1*e2^6*e3^5 - 1536*e1*e2^6*e3^4 - 512*e1*e2^6*e3^3 + 512*e1*e2^5*e3^6 + 512*e1*e2^5*e3^4 + 512*e1*e2^4*e3^6 + 512*e1*e2^4*e3^5 - 512*e1*e2^3*e3^6 + 256*e2^8*e3^4 - 512*e2^7*e3^5 - 512*e2^7*e3^4 + 256*e2^6*e3^6 + 1024*e2^6*e3^5 + 256*e2^6*e3^4 - 512*e2^5*e3^6 - 512*e2^5*e3^5 + 256*e2^4*e3^6, 256*e1^8*e2^4*e3^2 - 512*e1^8*e2^4*e3 + 256*e1^8*e2^4 - 512*e1^8*e2^3*e3^3 + 1024*e1^8*e2^3*e3^2 - 512*e1^8*e2^3*e3 + 256*e1^8*e2^2*e3^4 - 512*e1^8*e2^2*e3^3 + 256*e1^8*e2^2*e3^2 - 512*e1^7*e2^5*e3^2 + 1024*e1^7*e2^5*e3 - 512*e1^7*e2^5 + 512*e1^7*e2^4*e3^3 - 1536*e1^7*e2^4*e3^2 + 1536*e1^7*e2^4*e3 - 512*e1^7*e2^4 + 512*e1^7*e2^3*e3^4 - 1536*e1^7*e2^3*e3^2 + 1024*e1^7*e2^3*e3 - 512*e1^7*e2^2*e3^5 + 512*e1^7*e2^2*e3^4 + 512*e1^7*e2^2*e3^3 - 512*e1^7*e2^2*e3^2 + 32*e1^6*e2^6*e3^3 + 224*e1^6*e2^6*e3^2 - 512*e1^6*e2^6*e3 + 256*e1^6*e2^6 + 160*e1^6*e2^5*e3^4 - 160*e1^6*e2^5*e3^3 + 512*e1^6*e2^5*e3^2 - 1536*e1^6*e2^5*e3 + 1024*e1^6*e2^5 - 160*e1^6*e2^4*e3^5 - 1056*e1^6*e2^4*e3^4 + 2688*e1^6*e2^4*e3^3 - 192*e1^6*e2^4*e3^2 - 1536*e1^6*e2^4*e3 + 256*e1^6*e2^4 - 32*e1^6*e2^3*e3^6 + 672*e1^6*e2^3*e3^5 - 3328*e1^6*e2^3*e3^4 + 2688*e1^6*e2^3*e3^3 + 512*e1^6*e2^3*e3^2 - 512*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 + 672*e1^6*e2^2*e3^5 - 1056*e1^6*e2^2*e3^4 - 160*e1^6*e2^2*e3^3 + 224*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 - 160*e1^6*e2*e3^5 + 160*e1^6*e2*e3^4 + 32*e1^6*e2*e3^3 - 32*e1^5*e2^7*e3^3 + 32*e1^5*e2^7*e3^2 - 320*e1^5*e2^6*e3^4 + 480*e1^5*e2^6*e3^3 - 160*e1^5*e2^6*e3^2 + 512*e1^5*e2^6*e3 - 512*e1^5*e2^6 + 672*e1^5*e2^5*e3^4 - 2848*e1^5*e2^5*e3^3 + 2688*e1^5*e2^5*e3^2 - 512*e1^5*e2^5 + 320*e1^5*e2^4*e3^6 - 288*e1^5*e2^4*e3^5 + 2208*e1^5*e2^4*e3^4 - 5440*e1^5*e2^4*e3^3 + 2688*e1^5*e2^4*e3^2 + 512*e1^5*e2^4*e3 + 32*e1^5*e2^3*e3^7 - 832*e1^5*e2^3*e3^6 + 1600*e1^5*e2^3*e3^5 + 2208*e1^5*e2^3*e3^4 - 2848*e1^5*e2^3*e3^3 - 160*e1^5*e2^3*e3^2 - 64*e1^5*e2^2*e3^7 - 832*e1^5*e2^2*e3^6 - 288*e1^5*e2^2*e3^5 + 672*e1^5*e2^2*e3^4 + 480*e1^5*e2^2*e3^3 + 32*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^7 + 320*e1^5*e2*e3^6 - 320*e1^5*e2*e3^4 - 32*e1^5*e2*e3^3 + e1^4*e2^8*e3^4 - 4*e1^4*e2^7*e3^5 + 160*e1^4*e2^7*e3^4 - 320*e1^4*e2^7*e3^3 + 160*e1^4*e2^7*e3^2 + 6*e1^4*e2^6*e3^6 + 292*e1^4*e2^6*e3^5 - 676*e1^4*e2^6*e3^4 + 672*e1^4*e2^6*e3^3 - 1056*e1^4*e2^6*e3^2 + 512*e1^4*e2^6*e3 + 256*e1^4*e2^6 - 4*e1^4*e2^5*e3^7 - 300*e1^4*e2^5*e3^6 + 556*e1^4*e2^5*e3^5 + 352*e1^4*e2^5*e3^4 + 2208*e1^4*e2^5*e3^3 - 3328*e1^4*e2^5*e3^2 + 512*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 - 148*e1^4*e2^4*e3^7 + 282*e1^4*e2^4*e3^6 - 2892*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 2208*e1^4*e2^4*e3^3 - 1056*e1^4*e2^4*e3^2 - 4*e1^4*e2^3*e3^8 + 152*e1^4*e2^3*e3^7 + 1560*e1^4*e2^3*e3^6 - 2892*e1^4*e2^3*e3^5 + 352*e1^4*e2^3*e3^4 + 672*e1^4*e2^3*e3^3 + 160*e1^4*e2^3*e3^2 + 6*e1^4*e2^2*e3^8 + 152*e1^4*e2^2*e3^7 + 282*e1^4*e2^2*e3^6 + 556*e1^4*e2^2*e3^5 - 676*e1^4*e2^2*e3^4 - 320*e1^4*e2^2*e3^3 - 4*e1^4*e2*e3^8 - 148*e1^4*e2*e3^7 - 300*e1^4*e2*e3^6 + 292*e1^4*e2*e3^5 + 160*e1^4*e2*e3^4 + e1^4*e3^8 - 4*e1^4*e3^7 + 6*e1^4*e3^6 - 4*e1^4*e3^5 + e1^4*e3^4 - 4*e1^3*e2^8*e3^4 - 116*e1^3*e2^7*e3^5 + 292*e1^3*e2^7*e3^4 - 160*e1^3*e2^7*e3^2 - 12*e1^3*e2^6*e3^6 - 440*e1^3*e2^6*e3^5 + 556*e1^3*e2^6*e3^4 - 288*e1^3*e2^6*e3^3 + 672*e1^3*e2^6*e3^2 - 512*e1^3*e2^6*e3 + 132*e1^3*e2^5*e3^7 - 124*e1^3*e2^5*e3^6 + 628*e1^3*e2^5*e3^5 - 2892*e1^3*e2^5*e3^4 + 1600*e1^3*e2^5*e3^3 + 672*e1^3*e2^5*e3^2 + 272*e1^3*e2^4*e3^7 - 376*e1^3*e2^4*e3^6 + 3440*e1^3*e2^4*e3^5 - 2892*e1^3*e2^4*e3^4 - 288*e1^3*e2^4*e3^3 - 160*e1^3*e2^4*e3^2 - 808*e1^3*e2^3*e3^7 - 376*e1^3*e2^3*e3^6 + 628*e1^3*e2^3*e3^5 + 556*e1^3*e2^3*e3^4 + 272*e1^3*e2^2*e3^7 - 124*e1^3*e2^2*e3^6 - 440*e1^3*e2^2*e3^5 + 292*e1^3*e2^2*e3^4 + 132*e1^3*e2*e3^7 - 12*e1^3*e2*e3^6 - 116*e1^3*e2*e3^5 - 4*e1^3*e2*e3^4 + 6*e1^2*e2^8*e3^4 - 12*e1^2*e2^7*e3^5 - 300*e1^2*e2^7*e3^4 + 320*e1^2*e2^7*e3^3 - 32*e1^2*e2^7*e3^2 + 390*e1^2*e2^6*e3^6 - 124*e1^2*e2^6*e3^5 + 282*e1^2*e2^6*e3^4 - 832*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 384*e1^2*e2^5*e3^7 + 40*e1^2*e2^5*e3^6 - 376*e1^2*e2^5*e3^5 + 1560*e1^2*e2^5*e3^4 - 832*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 384*e1^2*e2^4*e3^7 - 604*e1^2*e2^4*e3^6 - 376*e1^2*e2^4*e3^5 + 282*e1^2*e2^4*e3^4 + 320*e1^2*e2^4*e3^3 + 384*e1^2*e2^3*e3^7 + 40*e1^2*e2^3*e3^6 - 124*e1^2*e2^3*e3^5 - 300*e1^2*e2^3*e3^4 - 384*e1^2*e2^2*e3^7 + 390*e1^2*e2^2*e3^6 - 12*e1^2*e2^2*e3^5 + 6*e1^2*e2^2*e3^4 - 4*e1*e2^8*e3^4 + 132*e1*e2^7*e3^5 - 148*e1*e2^7*e3^4 + 32*e1*e2^7*e3^3 - 384*e1*e2^6*e3^6 + 272*e1*e2^6*e3^5 + 152*e1*e2^6*e3^4 - 64*e1*e2^6*e3^3 + 256*e1*e2^5*e3^7 + 384*e1*e2^5*e3^6 - 808*e1*e2^5*e3^5 + 152*e1*e2^5*e3^4 + 32*e1*e2^5*e3^3 - 512*e1*e2^4*e3^7 + 384*e1*e2^4*e3^6 + 272*e1*e2^4*e3^5 - 148*e1*e2^4*e3^4 + 256*e1*e2^3*e3^7 - 384*e1*e2^3*e3^6 + 132*e1*e2^3*e3^5 - 4*e1*e2^3*e3^4 + e2^8*e3^4 - 4*e2^7*e3^4 + 6*e2^6*e3^4 - 4*e2^5*e3^4 + e2^4*e3^4, e1^8*e2^4*e3^4 - 4*e1^8*e2^4*e3^3 + 6*e1^8*e2^4*e3^2 - 4*e1^8*e2^4*e3 + e1^8*e2^4 + 132*e1^7*e2^5*e3^3 - 12*e1^7*e2^5*e3^2 - 116*e1^7*e2^5*e3 - 4*e1^7*e2^5 - 4*e1^7*e2^4*e3^5 - 148*e1^7*e2^4*e3^4 - 300*e1^7*e2^4*e3^3 + 292*e1^7*e2^4*e3^2 + 160*e1^7*e2^4*e3 + 32*e1^7*e2^3*e3^5 + 320*e1^7*e2^3*e3^4 - 320*e1^7*e2^3*e3^2 - 32*e1^7*e2^3*e3 - 32*e1^7*e2^2*e3^5 - 160*e1^7*e2^2*e3^4 + 160*e1^7*e2^2*e3^3 + 32*e1^7*e2^2*e3^2 - 384*e1^6*e2^6*e3^3 + 390*e1^6*e2^6*e3^2 - 12*e1^6*e2^6*e3 + 6*e1^6*e2^6 + 272*e1^6*e2^5*e3^4 - 124*e1^6*e2^5*e3^3 - 440*e1^6*e2^5*e3^2 + 292*e1^6*e2^5*e3 + 6*e1^6*e2^4*e3^6 + 152*e1^6*e2^4*e3^5 + 282*e1^6*e2^4*e3^4 + 556*e1^6*e2^4*e3^3 - 676*e1^6*e2^4*e3^2 - 320*e1^6*e2^4*e3 - 64*e1^6*e2^3*e3^6 - 832*e1^6*e2^3*e3^5 - 288*e1^6*e2^3*e3^4 + 672*e1^6*e2^3*e3^3 + 480*e1^6*e2^3*e3^2 + 32*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 + 672*e1^6*e2^2*e3^5 - 1056*e1^6*e2^2*e3^4 - 160*e1^6*e2^2*e3^3 + 224*e1^6*e2^2*e3^2 - 512*e1^6*e2*e3^6 + 512*e1^6*e2*e3^5 + 512*e1^6*e2*e3^4 - 512*e1^6*e2*e3^3 + 256*e1^6*e3^6 - 512*e1^6*e3^5 + 256*e1^6*e3^4 + 256*e1^5*e2^7*e3^3 - 384*e1^5*e2^7*e3^2 + 132*e1^5*e2^7*e3 - 4*e1^5*e2^7 + 384*e1^5*e2^6*e3^4 + 40*e1^5*e2^6*e3^3 - 124*e1^5*e2^6*e3^2 - 300*e1^5*e2^6*e3 - 808*e1^5*e2^5*e3^5 - 376*e1^5*e2^5*e3^4 + 628*e1^5*e2^5*e3^3 + 556*e1^5*e2^5*e3^2 - 4*e1^5*e2^4*e3^7 + 152*e1^5*e2^4*e3^6 + 1560*e1^5*e2^4*e3^5 - 2892*e1^5*e2^4*e3^4 + 352*e1^5*e2^4*e3^3 + 672*e1^5*e2^4*e3^2 + 160*e1^5*e2^4*e3 + 32*e1^5*e2^3*e3^7 - 832*e1^5*e2^3*e3^6 + 1600*e1^5*e2^3*e3^5 + 2208*e1^5*e2^3*e3^4 - 2848*e1^5*e2^3*e3^3 - 160*e1^5*e2^3*e3^2 - 32*e1^5*e2^2*e3^7 + 672*e1^5*e2^2*e3^6 - 3328*e1^5*e2^2*e3^5 + 2688*e1^5*e2^2*e3^4 + 512*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 + 512*e1^5*e2*e3^6 - 1536*e1^5*e2*e3^4 + 1024*e1^5*e2*e3^3 - 512*e1^5*e3^6 + 1024*e1^5*e3^5 - 512*e1^5*e3^4 + e1^4*e2^8 - 512*e1^4*e2^7*e3^4 + 384*e1^4*e2^7*e3^3 + 272*e1^4*e2^7*e3^2 - 148*e1^4*e2^7*e3 + 384*e1^4*e2^6*e3^5 - 604*e1^4*e2^6*e3^4 - 376*e1^4*e2^6*e3^3 + 282*e1^4*e2^6*e3^2 + 320*e1^4*e2^6*e3 + 272*e1^4*e2^5*e3^6 - 376*e1^4*e2^5*e3^5 + 3440*e1^4*e2^5*e3^4 - 2892*e1^4*e2^5*e3^3 - 288*e1^4*e2^5*e3^2 - 160*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 - 148*e1^4*e2^4*e3^7 + 282*e1^4*e2^4*e3^6 - 2892*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 2208*e1^4*e2^4*e3^3 - 1056*e1^4*e2^4*e3^2 + 320*e1^4*e2^3*e3^7 - 288*e1^4*e2^3*e3^6 + 2208*e1^4*e2^3*e3^5 - 5440*e1^4*e2^3*e3^4 + 2688*e1^4*e2^3*e3^3 + 512*e1^4*e2^3*e3^2 - 160*e1^4*e2^2*e3^7 - 1056*e1^4*e2^2*e3^6 + 2688*e1^4*e2^2*e3^5 - 192*e1^4*e2^2*e3^4 - 1536*e1^4*e2^2*e3^3 + 256*e1^4*e2^2*e3^2 + 512*e1^4*e2*e3^6 - 1536*e1^4*e2*e3^5 + 1536*e1^4*e2*e3^4 - 512*e1^4*e2*e3^3 + 256*e1^4*e3^6 - 512*e1^4*e3^5 + 256*e1^4*e3^4 - 4*e1^3*e2^8*e3 + 256*e1^3*e2^7*e3^5 + 384*e1^3*e2^7*e3^4 - 808*e1^3*e2^7*e3^3 + 152*e1^3*e2^7*e3^2 + 32*e1^3*e2^7*e3 - 384*e1^3*e2^6*e3^6 + 40*e1^3*e2^6*e3^5 - 376*e1^3*e2^6*e3^4 + 1560*e1^3*e2^6*e3^3 - 832*e1^3*e2^6*e3^2 - 32*e1^3*e2^6*e3 + 132*e1^3*e2^5*e3^7 - 124*e1^3*e2^5*e3^6 + 628*e1^3*e2^5*e3^5 - 2892*e1^3*e2^5*e3^4 + 1600*e1^3*e2^5*e3^3 + 672*e1^3*e2^5*e3^2 - 4*e1^3*e2^4*e3^8 - 300*e1^3*e2^4*e3^7 + 556*e1^3*e2^4*e3^6 + 352*e1^3*e2^4*e3^5 + 2208*e1^3*e2^4*e3^4 - 3328*e1^3*e2^4*e3^3 + 512*e1^3*e2^4*e3^2 + 672*e1^3*e2^3*e3^6 - 2848*e1^3*e2^3*e3^5 + 2688*e1^3*e2^3*e3^4 - 512*e1^3*e2^3*e3^2 + 160*e1^3*e2^2*e3^7 - 160*e1^3*e2^2*e3^6 + 512*e1^3*e2^2*e3^5 - 1536*e1^3*e2^2*e3^4 + 1024*e1^3*e2^2*e3^3 - 512*e1^3*e2*e3^6 + 1024*e1^3*e2*e3^5 - 512*e1^3*e2*e3^4 + 6*e1^2*e2^8*e3^2 - 384*e1^2*e2^7*e3^5 + 272*e1^2*e2^7*e3^4 + 152*e1^2*e2^7*e3^3 - 64*e1^2*e2^7*e3^2 + 390*e1^2*e2^6*e3^6 - 124*e1^2*e2^6*e3^5 + 282*e1^2*e2^6*e3^4 - 832*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 12*e1^2*e2^5*e3^7 - 440*e1^2*e2^5*e3^6 + 556*e1^2*e2^5*e3^5 - 288*e1^2*e2^5*e3^4 + 672*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 + 292*e1^2*e2^4*e3^7 - 676*e1^2*e2^4*e3^6 + 672*e1^2*e2^4*e3^5 - 1056*e1^2*e2^4*e3^4 + 512*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 - 320*e1^2*e2^3*e3^7 + 480*e1^2*e2^3*e3^6 - 160*e1^2*e2^3*e3^5 + 512*e1^2*e2^3*e3^4 - 512*e1^2*e2^3*e3^3 + 32*e1^2*e2^2*e3^7 + 224*e1^2*e2^2*e3^6 - 512*e1^2*e2^2*e3^5 + 256*e1^2*e2^2*e3^4 - 4*e1*e2^8*e3^3 + 132*e1*e2^7*e3^5 - 148*e1*e2^7*e3^4 + 32*e1*e2^7*e3^3 - 12*e1*e2^6*e3^6 - 300*e1*e2^6*e3^5 + 320*e1*e2^6*e3^4 - 32*e1*e2^6*e3^3 - 116*e1*e2^5*e3^7 + 292*e1*e2^5*e3^6 - 160*e1*e2^5*e3^4 - 4*e1*e2^4*e3^8 + 160*e1*e2^4*e3^7 - 320*e1*e2^4*e3^6 + 160*e1*e2^4*e3^5 - 32*e1*e2^3*e3^7 + 32*e1*e2^3*e3^6 + e2^8*e3^4 - 4*e2^7*e3^5 + 6*e2^6*e3^6 - 4*e2^5*e3^7 + e2^4*e3^8, e1^8*e2^4*e3^4 - 4*e1^8*e2^3*e3^4 + 6*e1^8*e2^2*e3^4 - 4*e1^8*e2*e3^4 + e1^8*e3^4 - 132*e1^7*e2^5*e3^3 + 384*e1^7*e2^5*e3^2 - 256*e1^7*e2^5*e3 - 4*e1^7*e2^4*e3^5 + 160*e1^7*e2^4*e3^4 - 272*e1^7*e2^4*e3^3 - 384*e1^7*e2^4*e3^2 + 512*e1^7*e2^4*e3 - 16*e1^7*e2^3*e3^5 - 160*e1^7*e2^3*e3^4 + 808*e1^7*e2^3*e3^3 - 384*e1^7*e2^3*e3^2 - 256*e1^7*e2^3*e3 + 40*e1^7*e2^2*e3^5 - 160*e1^7*e2^2*e3^4 - 272*e1^7*e2^2*e3^3 + 384*e1^7*e2^2*e3^2 - 16*e1^7*e2*e3^5 + 160*e1^7*e2*e3^4 - 132*e1^7*e2*e3^3 - 4*e1^7*e3^5 + 384*e1^6*e2^6*e3^3 - 762*e1^6*e2^6*e3^2 + 384*e1^6*e2^6*e3 - 272*e1^6*e2^5*e3^4 - 416*e1^6*e2^5*e3^3 + 1064*e1^6*e2^5*e3^2 - 384*e1^6*e2^5*e3 + 6*e1^6*e2^4*e3^6 - 160*e1^6*e2^4*e3^5 + 1344*e1^6*e2^4*e3^4 - 480*e1^6*e2^4*e3^3 - 348*e1^6*e2^4*e3^2 - 384*e1^6*e2^4*e3 + 40*e1^6*e2^3*e3^6 - 352*e1^6*e2^3*e3^5 - 608*e1^6*e2^3*e3^4 - 480*e1^6*e2^3*e3^3 + 1064*e1^6*e2^3*e3^2 + 384*e1^6*e2^3*e3 + 164*e1^6*e2^2*e3^6 - 352*e1^6*e2^2*e3^5 + 1344*e1^6*e2^2*e3^4 - 416*e1^6*e2^2*e3^3 - 762*e1^6*e2^2*e3^2 + 40*e1^6*e2*e3^6 - 160*e1^6*e2*e3^5 - 272*e1^6*e2*e3^4 + 384*e1^6*e2*e3^3 + 6*e1^6*e3^6 - 256*e1^5*e2^7*e3^3 + 384*e1^5*e2^7*e3^2 - 132*e1^5*e2^7*e3 - 384*e1^5*e2^6*e3^4 + 1064*e1^5*e2^6*e3^3 - 416*e1^5*e2^6*e3^2 - 272*e1^5*e2^6*e3 + 808*e1^5*e2^5*e3^5 - 480*e1^5*e2^5*e3^4 - 608*e1^5*e2^5*e3^3 - 480*e1^5*e2^5*e3^2 + 808*e1^5*e2^5*e3 - 4*e1^5*e2^4*e3^7 - 160*e1^5*e2^4*e3^6 - 608*e1^5*e2^4*e3^5 - 2208*e1^5*e2^4*e3^4 + 3696*e1^5*e2^4*e3^3 - 480*e1^5*e2^4*e3^2 - 272*e1^5*e2^4*e3 - 16*e1^5*e2^3*e3^7 - 352*e1^5*e2^3*e3^6 + 3696*e1^5*e2^3*e3^5 - 2208*e1^5*e2^3*e3^4 - 608*e1^5*e2^3*e3^3 - 416*e1^5*e2^3*e3^2 - 132*e1^5*e2^3*e3 + 40*e1^5*e2^2*e3^7 - 352*e1^5*e2^2*e3^6 - 608*e1^5*e2^2*e3^5 - 480*e1^5*e2^2*e3^4 + 1064*e1^5*e2^2*e3^3 + 384*e1^5*e2^2*e3^2 - 16*e1^5*e2*e3^7 - 160*e1^5*e2*e3^6 + 808*e1^5*e2*e3^5 - 384*e1^5*e2*e3^4 - 256*e1^5*e2*e3^3 - 4*e1^5*e3^7 + e1^4*e2^8 + 512*e1^4*e2^7*e3^4 - 384*e1^4*e2^7*e3^3 - 272*e1^4*e2^7*e3^2 + 160*e1^4*e2^7*e3 - 4*e1^4*e2^7 - 384*e1^4*e2^6*e3^5 - 348*e1^4*e2^6*e3^4 - 480*e1^4*e2^6*e3^3 + 1344*e1^4*e2^6*e3^2 - 160*e1^4*e2^6*e3 + 6*e1^4*e2^6 - 272*e1^4*e2^5*e3^6 - 480*e1^4*e2^5*e3^5 + 3696*e1^4*e2^5*e3^4 - 2208*e1^4*e2^5*e3^3 - 608*e1^4*e2^5*e3^2 - 160*e1^4*e2^5*e3 - 4*e1^4*e2^5 + e1^4*e2^4*e3^8 + 160*e1^4*e2^4*e3^7 + 1344*e1^4*e2^4*e3^6 - 2208*e1^4*e2^4*e3^5 + 1496*e1^4*e2^4*e3^4 - 2208*e1^4*e2^4*e3^3 + 1344*e1^4*e2^4*e3^2 + 160*e1^4*e2^4*e3 + e1^4*e2^4 - 4*e1^4*e2^3*e3^8 - 160*e1^4*e2^3*e3^7 - 608*e1^4*e2^3*e3^6 - 2208*e1^4*e2^3*e3^5 + 3696*e1^4*e2^3*e3^4 - 480*e1^4*e2^3*e3^3 - 272*e1^4*e2^3*e3^2 + 6*e1^4*e2^2*e3^8 - 160*e1^4*e2^2*e3^7 + 1344*e1^4*e2^2*e3^6 - 480*e1^4*e2^2*e3^5 - 348*e1^4*e2^2*e3^4 - 384*e1^4*e2^2*e3^3 - 4*e1^4*e2*e3^8 + 160*e1^4*e2*e3^7 - 272*e1^4*e2*e3^6 - 384*e1^4*e2*e3^5 + 512*e1^4*e2*e3^4 + e1^4*e3^8 - 4*e1^3*e2^8*e3 - 256*e1^3*e2^7*e3^5 - 384*e1^3*e2^7*e3^4 + 808*e1^3*e2^7*e3^3 - 160*e1^3*e2^7*e3^2 - 16*e1^3*e2^7*e3 + 384*e1^3*e2^6*e3^6 + 1064*e1^3*e2^6*e3^5 - 480*e1^3*e2^6*e3^4 - 608*e1^3*e2^6*e3^3 - 352*e1^3*e2^6*e3^2 + 40*e1^3*e2^6*e3 - 132*e1^3*e2^5*e3^7 - 416*e1^3*e2^5*e3^6 - 608*e1^3*e2^5*e3^5 - 2208*e1^3*e2^5*e3^4 + 3696*e1^3*e2^5*e3^3 - 352*e1^3*e2^5*e3^2 - 16*e1^3*e2^5*e3 - 272*e1^3*e2^4*e3^7 - 480*e1^3*e2^4*e3^6 + 3696*e1^3*e2^4*e3^5 - 2208*e1^3*e2^4*e3^4 - 608*e1^3*e2^4*e3^3 - 160*e1^3*e2^4*e3^2 - 4*e1^3*e2^4*e3 + 808*e1^3*e2^3*e3^7 - 480*e1^3*e2^3*e3^6 - 608*e1^3*e2^3*e3^5 - 480*e1^3*e2^3*e3^4 + 808*e1^3*e2^3*e3^3 - 272*e1^3*e2^2*e3^7 - 416*e1^3*e2^2*e3^6 + 1064*e1^3*e2^2*e3^5 - 384*e1^3*e2^2*e3^4 - 132*e1^3*e2*e3^7 + 384*e1^3*e2*e3^6 - 256*e1^3*e2*e3^5 + 6*e1^2*e2^8*e3^2 + 384*e1^2*e2^7*e3^5 - 272*e1^2*e2^7*e3^4 - 160*e1^2*e2^7*e3^3 + 40*e1^2*e2^7*e3^2 - 762*e1^2*e2^6*e3^6 - 416*e1^2*e2^6*e3^5 + 1344*e1^2*e2^6*e3^4 - 352*e1^2*e2^6*e3^3 + 164*e1^2*e2^6*e3^2 + 384*e1^2*e2^5*e3^7 + 1064*e1^2*e2^5*e3^6 - 480*e1^2*e2^5*e3^5 - 608*e1^2*e2^5*e3^4 - 352*e1^2*e2^5*e3^3 + 40*e1^2*e2^5*e3^2 - 384*e1^2*e2^4*e3^7 - 348*e1^2*e2^4*e3^6 - 480*e1^2*e2^4*e3^5 + 1344*e1^2*e2^4*e3^4 - 160*e1^2*e2^4*e3^3 + 6*e1^2*e2^4*e3^2 - 384*e1^2*e2^3*e3^7 + 1064*e1^2*e2^3*e3^6 - 416*e1^2*e2^3*e3^5 - 272*e1^2*e2^3*e3^4 + 384*e1^2*e2^2*e3^7 - 762*e1^2*e2^2*e3^6 + 384*e1^2*e2^2*e3^5 - 4*e1*e2^8*e3^3 - 132*e1*e2^7*e3^5 + 160*e1*e2^7*e3^4 - 16*e1*e2^7*e3^3 + 384*e1*e2^6*e3^6 - 272*e1*e2^6*e3^5 - 160*e1*e2^6*e3^4 + 40*e1*e2^6*e3^3 - 256*e1*e2^5*e3^7 - 384*e1*e2^5*e3^6 + 808*e1*e2^5*e3^5 - 160*e1*e2^5*e3^4 - 16*e1*e2^5*e3^3 + 512*e1*e2^4*e3^7 - 384*e1*e2^4*e3^6 - 272*e1*e2^4*e3^5 + 160*e1*e2^4*e3^4 - 4*e1*e2^4*e3^3 - 256*e1*e2^3*e3^7 + 384*e1*e2^3*e3^6 - 132*e1*e2^3*e3^5 + e2^8*e3^4 - 4*e2^7*e3^4 + 6*e2^6*e3^4 - 4*e2^5*e3^4 + e2^4*e3^4, e1^8*e2^4 - 4*e1^8*e2^3*e3 + 6*e1^8*e2^2*e3^2 - 4*e1^8*e2*e3^3 + e1^8*e3^4 - 32*e1^7*e2^5*e3^2 + 32*e1^7*e2^5*e3 - 4*e1^7*e2^5 - 160*e1^7*e2^4*e3^3 + 320*e1^7*e2^4*e3^2 - 148*e1^7*e2^4*e3 + 160*e1^7*e2^3*e3^4 - 300*e1^7*e2^3*e3^2 + 132*e1^7*e2^3*e3 + 32*e1^7*e2^2*e3^5 - 320*e1^7*e2^2*e3^4 + 292*e1^7*e2^2*e3^3 - 12*e1^7*e2^2*e3^2 - 32*e1^7*e2*e3^5 + 160*e1^7*e2*e3^4 - 116*e1^7*e2*e3^3 - 4*e1^7*e3^4 + 256*e1^6*e2^6*e3^4 - 512*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 64*e1^6*e2^6*e3 + 6*e1^6*e2^6 - 512*e1^6*e2^5*e3^5 + 512*e1^6*e2^5*e3^4 + 672*e1^6*e2^5*e3^3 - 832*e1^6*e2^5*e3^2 + 152*e1^6*e2^5*e3 + 256*e1^6*e2^4*e3^6 + 512*e1^6*e2^4*e3^5 - 1056*e1^6*e2^4*e3^4 - 288*e1^6*e2^4*e3^3 + 282*e1^6*e2^4*e3^2 + 272*e1^6*e2^4*e3 - 512*e1^6*e2^3*e3^6 - 160*e1^6*e2^3*e3^5 + 672*e1^6*e2^3*e3^4 + 556*e1^6*e2^3*e3^3 - 124*e1^6*e2^3*e3^2 - 384*e1^6*e2^3*e3 + 224*e1^6*e2^2*e3^6 + 480*e1^6*e2^2*e3^5 - 676*e1^6*e2^2*e3^4 - 440*e1^6*e2^2*e3^3 + 390*e1^6*e2^2*e3^2 + 32*e1^6*e2*e3^6 - 320*e1^6*e2*e3^5 + 292*e1^6*e2*e3^4 - 12*e1^6*e2*e3^3 + 6*e1^6*e3^4 - 32*e1^5*e2^7*e3^2 + 32*e1^5*e2^7*e3 - 4*e1^5*e2^7 - 512*e1^5*e2^6*e3^5 + 512*e1^5*e2^6*e3^4 + 672*e1^5*e2^6*e3^3 - 832*e1^5*e2^6*e3^2 + 152*e1^5*e2^6*e3 + 1024*e1^5*e2^5*e3^6 - 3328*e1^5*e2^5*e3^4 + 1600*e1^5*e2^5*e3^3 + 1560*e1^5*e2^5*e3^2 - 808*e1^5*e2^5*e3 - 512*e1^5*e2^4*e3^7 - 1536*e1^5*e2^4*e3^6 + 2688*e1^5*e2^4*e3^5 + 2208*e1^5*e2^4*e3^4 - 2892*e1^5*e2^4*e3^3 - 376*e1^5*e2^4*e3^2 + 384*e1^5*e2^4*e3 + 1024*e1^5*e2^3*e3^7 + 512*e1^5*e2^3*e3^6 - 2848*e1^5*e2^3*e3^5 + 352*e1^5*e2^3*e3^4 + 628*e1^5*e2^3*e3^3 + 40*e1^5*e2^3*e3^2 + 256*e1^5*e2^3*e3 - 512*e1^5*e2^2*e3^7 - 160*e1^5*e2^2*e3^6 + 672*e1^5*e2^2*e3^5 + 556*e1^5*e2^2*e3^4 - 124*e1^5*e2^2*e3^3 - 384*e1^5*e2^2*e3^2 + 160*e1^5*e2*e3^6 - 300*e1^5*e2*e3^4 + 132*e1^5*e2*e3^3 - 4*e1^5*e3^4 + e1^4*e2^8 - 160*e1^4*e2^7*e3^3 + 320*e1^4*e2^7*e3^2 - 148*e1^4*e2^7*e3 + 256*e1^4*e2^6*e3^6 + 512*e1^4*e2^6*e3^5 - 1056*e1^4*e2^6*e3^4 - 288*e1^4*e2^6*e3^3 + 282*e1^4*e2^6*e3^2 + 272*e1^4*e2^6*e3 - 512*e1^4*e2^5*e3^7 - 1536*e1^4*e2^5*e3^6 + 2688*e1^4*e2^5*e3^5 + 2208*e1^4*e2^5*e3^4 - 2892*e1^4*e2^5*e3^3 - 376*e1^4*e2^5*e3^2 + 384*e1^4*e2^5*e3 + 256*e1^4*e2^4*e3^8 + 1536*e1^4*e2^4*e3^7 - 192*e1^4*e2^4*e3^6 - 5440*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 3440*e1^4*e2^4*e3^3 - 604*e1^4*e2^4*e3^2 - 512*e1^4*e2^4*e3 - 512*e1^4*e2^3*e3^8 - 1536*e1^4*e2^3*e3^7 + 2688*e1^4*e2^3*e3^6 + 2208*e1^4*e2^3*e3^5 - 2892*e1^4*e2^3*e3^4 - 376*e1^4*e2^3*e3^3 + 384*e1^4*e2^3*e3^2 + 256*e1^4*e2^2*e3^8 + 512*e1^4*e2^2*e3^7 - 1056*e1^4*e2^2*e3^6 - 288*e1^4*e2^2*e3^5 + 282*e1^4*e2^2*e3^4 + 272*e1^4*e2^2*e3^3 - 160*e1^4*e2*e3^6 + 320*e1^4*e2*e3^5 - 148*e1^4*e2*e3^4 + e1^4*e3^4 - 4*e1^3*e2^8*e3 + 160*e1^3*e2^7*e3^4 - 300*e1^3*e2^7*e3^2 + 132*e1^3*e2^7*e3 - 512*e1^3*e2^6*e3^6 - 160*e1^3*e2^6*e3^5 + 672*e1^3*e2^6*e3^4 + 556*e1^3*e2^6*e3^3 - 124*e1^3*e2^6*e3^2 - 384*e1^3*e2^6*e3 + 1024*e1^3*e2^5*e3^7 + 512*e1^3*e2^5*e3^6 - 2848*e1^3*e2^5*e3^5 + 352*e1^3*e2^5*e3^4 + 628*e1^3*e2^5*e3^3 + 40*e1^3*e2^5*e3^2 + 256*e1^3*e2^5*e3 - 512*e1^3*e2^4*e3^8 - 1536*e1^3*e2^4*e3^7 + 2688*e1^3*e2^4*e3^6 + 2208*e1^3*e2^4*e3^5 - 2892*e1^3*e2^4*e3^4 - 376*e1^3*e2^4*e3^3 + 384*e1^3*e2^4*e3^2 + 1024*e1^3*e2^3*e3^8 - 3328*e1^3*e2^3*e3^6 + 1600*e1^3*e2^3*e3^5 + 1560*e1^3*e2^3*e3^4 - 808*e1^3*e2^3*e3^3 - 512*e1^3*e2^2*e3^8 + 512*e1^3*e2^2*e3^7 + 672*e1^3*e2^2*e3^6 - 832*e1^3*e2^2*e3^5 + 152*e1^3*e2^2*e3^4 - 32*e1^3*e2*e3^6 + 32*e1^3*e2*e3^5 - 4*e1^3*e2*e3^4 + 6*e1^2*e2^8*e3^2 + 32*e1^2*e2^7*e3^5 - 320*e1^2*e2^7*e3^4 + 292*e1^2*e2^7*e3^3 - 12*e1^2*e2^7*e3^2 + 224*e1^2*e2^6*e3^6 + 480*e1^2*e2^6*e3^5 - 676*e1^2*e2^6*e3^4 - 440*e1^2*e2^6*e3^3 + 390*e1^2*e2^6*e3^2 - 512*e1^2*e2^5*e3^7 - 160*e1^2*e2^5*e3^6 + 672*e1^2*e2^5*e3^5 + 556*e1^2*e2^5*e3^4 - 124*e1^2*e2^5*e3^3 - 384*e1^2*e2^5*e3^2 + 256*e1^2*e2^4*e3^8 + 512*e1^2*e2^4*e3^7 - 1056*e1^2*e2^4*e3^6 - 288*e1^2*e2^4*e3^5 + 282*e1^2*e2^4*e3^4 + 272*e1^2*e2^4*e3^3 - 512*e1^2*e2^3*e3^8 + 512*e1^2*e2^3*e3^7 + 672*e1^2*e2^3*e3^6 - 832*e1^2*e2^3*e3^5 + 152*e1^2*e2^3*e3^4 + 256*e1^2*e2^2*e3^8 - 512*e1^2*e2^2*e3^7 + 320*e1^2*e2^2*e3^6 - 64*e1^2*e2^2*e3^5 + 6*e1^2*e2^2*e3^4 - 4*e1*e2^8*e3^3 - 32*e1*e2^7*e3^5 + 160*e1*e2^7*e3^4 - 116*e1*e2^7*e3^3 + 32*e1*e2^6*e3^6 - 320*e1*e2^6*e3^5 + 292*e1*e2^6*e3^4 - 12*e1*e2^6*e3^3 + 160*e1*e2^5*e3^6 - 300*e1*e2^5*e3^4 + 132*e1*e2^5*e3^3 - 160*e1*e2^4*e3^6 + 320*e1*e2^4*e3^5 - 148*e1*e2^4*e3^4 - 32*e1*e2^3*e3^6 + 32*e1*e2^3*e3^5 - 4*e1*e2^3*e3^4 + e2^8*e3^4 - 4*e2^7*e3^4 + 6*e2^6*e3^4 - 4*e2^5*e3^4 + e2^4*e3^4, 256*e1^8*e2^4*e3^2 - 512*e1^8*e2^3*e3^3 - 512*e1^8*e2^3*e3^2 + 256*e1^8*e2^2*e3^4 + 1024*e1^8*e2^2*e3^3 + 256*e1^8*e2^2*e3^2 - 512*e1^8*e2*e3^4 - 512*e1^8*e2*e3^3 + 256*e1^8*e3^4 - 512*e1^7*e2^5*e3^2 + 512*e1^7*e2^4*e3^3 + 512*e1^7*e2^4*e3^2 + 512*e1^7*e2^3*e3^4 + 512*e1^7*e2^3*e3^2 - 512*e1^7*e2^2*e3^5 - 1536*e1^7*e2^2*e3^4 - 1536*e1^7*e2^2*e3^3 - 512*e1^7*e2^2*e3^2 + 1024*e1^7*e2*e3^5 + 1536*e1^7*e2*e3^4 + 1024*e1^7*e2*e3^3 - 512*e1^7*e3^5 - 512*e1^7*e3^4 - 32*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 32*e1^6*e2^6*e3 - 160*e1^6*e2^5*e3^4 + 672*e1^6*e2^5*e3^3 + 672*e1^6*e2^5*e3^2 - 160*e1^6*e2^5*e3 + 160*e1^6*e2^4*e3^5 - 1056*e1^6*e2^4*e3^4 - 3328*e1^6*e2^4*e3^3 - 1056*e1^6*e2^4*e3^2 + 160*e1^6*e2^4*e3 + 32*e1^6*e2^3*e3^6 - 160*e1^6*e2^3*e3^5 + 2688*e1^6*e2^3*e3^4 + 2688*e1^6*e2^3*e3^3 - 160*e1^6*e2^3*e3^2 + 32*e1^6*e2^3*e3 + 224*e1^6*e2^2*e3^6 + 512*e1^6*e2^2*e3^5 - 192*e1^6*e2^2*e3^4 + 512*e1^6*e2^2*e3^3 + 224*e1^6*e2^2*e3^2 - 512*e1^6*e2*e3^6 - 1536*e1^6*e2*e3^5 - 1536*e1^6*e2*e3^4 - 512*e1^6*e2*e3^3 + 256*e1^6*e3^6 + 1024*e1^6*e3^5 + 256*e1^6*e3^4 + 32*e1^5*e2^7*e3^3 - 64*e1^5*e2^7*e3^2 + 32*e1^5*e2^7*e3 + 320*e1^5*e2^6*e3^4 - 832*e1^5*e2^6*e3^3 - 832*e1^5*e2^6*e3^2 + 320*e1^5*e2^6*e3 - 288*e1^5*e2^5*e3^4 + 1600*e1^5*e2^5*e3^3 - 288*e1^5*e2^5*e3^2 - 320*e1^5*e2^4*e3^6 + 672*e1^5*e2^4*e3^5 + 2208*e1^5*e2^4*e3^4 + 2208*e1^5*e2^4*e3^3 + 672*e1^5*e2^4*e3^2 - 320*e1^5*e2^4*e3 - 32*e1^5*e2^3*e3^7 + 480*e1^5*e2^3*e3^6 - 2848*e1^5*e2^3*e3^5 - 5440*e1^5*e2^3*e3^4 - 2848*e1^5*e2^3*e3^3 + 480*e1^5*e2^3*e3^2 - 32*e1^5*e2^3*e3 + 32*e1^5*e2^2*e3^7 - 160*e1^5*e2^2*e3^6 + 2688*e1^5*e2^2*e3^5 + 2688*e1^5*e2^2*e3^4 - 160*e1^5*e2^2*e3^3 + 32*e1^5*e2^2*e3^2 + 512*e1^5*e2*e3^6 + 512*e1^5*e2*e3^4 - 512*e1^5*e3^6 - 512*e1^5*e3^5 + e1^4*e2^8*e3^4 - 4*e1^4*e2^8*e3^3 + 6*e1^4*e2^8*e3^2 - 4*e1^4*e2^8*e3 + e1^4*e2^8 - 4*e1^4*e2^7*e3^5 - 148*e1^4*e2^7*e3^4 + 152*e1^4*e2^7*e3^3 + 152*e1^4*e2^7*e3^2 - 148*e1^4*e2^7*e3 - 4*e1^4*e2^7 + 6*e1^4*e2^6*e3^6 - 300*e1^4*e2^6*e3^5 + 282*e1^4*e2^6*e3^4 + 1560*e1^4*e2^6*e3^3 + 282*e1^4*e2^6*e3^2 - 300*e1^4*e2^6*e3 + 6*e1^4*e2^6 - 4*e1^4*e2^5*e3^7 + 292*e1^4*e2^5*e3^6 + 556*e1^4*e2^5*e3^5 - 2892*e1^4*e2^5*e3^4 - 2892*e1^4*e2^5*e3^3 + 556*e1^4*e2^5*e3^2 + 292*e1^4*e2^5*e3 - 4*e1^4*e2^5 + e1^4*e2^4*e3^8 + 160*e1^4*e2^4*e3^7 - 676*e1^4*e2^4*e3^6 + 352*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 + 352*e1^4*e2^4*e3^3 - 676*e1^4*e2^4*e3^2 + 160*e1^4*e2^4*e3 + e1^4*e2^4 - 320*e1^4*e2^3*e3^7 + 672*e1^4*e2^3*e3^6 + 2208*e1^4*e2^3*e3^5 + 2208*e1^4*e2^3*e3^4 + 672*e1^4*e2^3*e3^3 - 320*e1^4*e2^3*e3^2 + 160*e1^4*e2^2*e3^7 - 1056*e1^4*e2^2*e3^6 - 3328*e1^4*e2^2*e3^5 - 1056*e1^4*e2^2*e3^4 + 160*e1^4*e2^2*e3^3 + 512*e1^4*e2*e3^6 + 512*e1^4*e2*e3^5 + 256*e1^4*e3^6 + 132*e1^3*e2^7*e3^5 + 272*e1^3*e2^7*e3^4 - 808*e1^3*e2^7*e3^3 + 272*e1^3*e2^7*e3^2 + 132*e1^3*e2^7*e3 - 12*e1^3*e2^6*e3^6 - 124*e1^3*e2^6*e3^5 - 376*e1^3*e2^6*e3^4 - 376*e1^3*e2^6*e3^3 - 124*e1^3*e2^6*e3^2 - 12*e1^3*e2^6*e3 - 116*e1^3*e2^5*e3^7 - 440*e1^3*e2^5*e3^6 + 628*e1^3*e2^5*e3^5 + 3440*e1^3*e2^5*e3^4 + 628*e1^3*e2^5*e3^3 - 440*e1^3*e2^5*e3^2 - 116*e1^3*e2^5*e3 - 4*e1^3*e2^4*e3^8 + 292*e1^3*e2^4*e3^7 + 556*e1^3*e2^4*e3^6 - 2892*e1^3*e2^4*e3^5 - 2892*e1^3*e2^4*e3^4 + 556*e1^3*e2^4*e3^3 + 292*e1^3*e2^4*e3^2 - 4*e1^3*e2^4*e3 - 288*e1^3*e2^3*e3^6 + 1600*e1^3*e2^3*e3^5 - 288*e1^3*e2^3*e3^4 - 160*e1^3*e2^2*e3^7 + 672*e1^3*e2^2*e3^6 + 672*e1^3*e2^2*e3^5 - 160*e1^3*e2^2*e3^4 - 512*e1^3*e2*e3^6 - 384*e1^2*e2^7*e3^5 + 384*e1^2*e2^7*e3^4 + 384*e1^2*e2^7*e3^3 - 384*e1^2*e2^7*e3^2 + 390*e1^2*e2^6*e3^6 + 40*e1^2*e2^6*e3^5 - 604*e1^2*e2^6*e3^4 + 40*e1^2*e2^6*e3^3 + 390*e1^2*e2^6*e3^2 - 12*e1^2*e2^5*e3^7 - 124*e1^2*e2^5*e3^6 - 376*e1^2*e2^5*e3^5 - 376*e1^2*e2^5*e3^4 - 124*e1^2*e2^5*e3^3 - 12*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 - 300*e1^2*e2^4*e3^7 + 282*e1^2*e2^4*e3^6 + 1560*e1^2*e2^4*e3^5 + 282*e1^2*e2^4*e3^4 - 300*e1^2*e2^4*e3^3 + 6*e1^2*e2^4*e3^2 + 320*e1^2*e2^3*e3^7 - 832*e1^2*e2^3*e3^6 - 832*e1^2*e2^3*e3^5 + 320*e1^2*e2^3*e3^4 - 32*e1^2*e2^2*e3^7 + 320*e1^2*e2^2*e3^6 - 32*e1^2*e2^2*e3^5 + 256*e1*e2^7*e3^5 - 512*e1*e2^7*e3^4 + 256*e1*e2^7*e3^3 - 384*e1*e2^6*e3^6 + 384*e1*e2^6*e3^5 + 384*e1*e2^6*e3^4 - 384*e1*e2^6*e3^3 + 132*e1*e2^5*e3^7 + 272*e1*e2^5*e3^6 - 808*e1*e2^5*e3^5 + 272*e1*e2^5*e3^4 + 132*e1*e2^5*e3^3 - 4*e1*e2^4*e3^8 - 148*e1*e2^4*e3^7 + 152*e1*e2^4*e3^6 + 152*e1*e2^4*e3^5 - 148*e1*e2^4*e3^4 - 4*e1*e2^4*e3^3 + 32*e1*e2^3*e3^7 - 64*e1*e2^3*e3^6 + 32*e1*e2^3*e3^5 + e2^4*e3^8 - 4*e2^4*e3^7 + 6*e2^4*e3^6 - 4*e2^4*e3^5 + e2^4*e3^4, e1^8*e2^4*e3^4 - 4*e1^8*e2^4*e3^3 + 6*e1^8*e2^4*e3^2 - 4*e1^8*e2^4*e3 + e1^8*e2^4 - 4*e1^7*e2^5*e3^4 - 116*e1^7*e2^5*e3^3 - 12*e1^7*e2^5*e3^2 + 132*e1^7*e2^5*e3 + 160*e1^7*e2^4*e3^4 + 292*e1^7*e2^4*e3^3 - 300*e1^7*e2^4*e3^2 - 148*e1^7*e2^4*e3 - 4*e1^7*e2^4 - 32*e1^7*e2^3*e3^5 - 320*e1^7*e2^3*e3^4 + 320*e1^7*e2^3*e3^2 + 32*e1^7*e2^3*e3 + 32*e1^7*e2^2*e3^5 + 160*e1^7*e2^2*e3^4 - 160*e1^7*e2^2*e3^3 - 32*e1^7*e2^2*e3^2 + 6*e1^6*e2^6*e3^4 - 12*e1^6*e2^6*e3^3 + 390*e1^6*e2^6*e3^2 - 384*e1^6*e2^6*e3 + 292*e1^6*e2^5*e3^4 - 440*e1^6*e2^5*e3^3 - 124*e1^6*e2^5*e3^2 + 272*e1^6*e2^5*e3 - 320*e1^6*e2^4*e3^5 - 676*e1^6*e2^4*e3^4 + 556*e1^6*e2^4*e3^3 + 282*e1^6*e2^4*e3^2 + 152*e1^6*e2^4*e3 + 6*e1^6*e2^4 + 32*e1^6*e2^3*e3^6 + 480*e1^6*e2^3*e3^5 + 672*e1^6*e2^3*e3^4 - 288*e1^6*e2^3*e3^3 - 832*e1^6*e2^3*e3^2 - 64*e1^6*e2^3*e3 + 224*e1^6*e2^2*e3^6 - 160*e1^6*e2^2*e3^5 - 1056*e1^6*e2^2*e3^4 + 672*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 512*e1^6*e2*e3^6 + 512*e1^6*e2*e3^5 + 512*e1^6*e2*e3^4 - 512*e1^6*e2*e3^3 + 256*e1^6*e3^6 - 512*e1^6*e3^5 + 256*e1^6*e3^4 - 4*e1^5*e2^7*e3^4 + 132*e1^5*e2^7*e3^3 - 384*e1^5*e2^7*e3^2 + 256*e1^5*e2^7*e3 - 300*e1^5*e2^6*e3^4 - 124*e1^5*e2^6*e3^3 + 40*e1^5*e2^6*e3^2 + 384*e1^5*e2^6*e3 + 556*e1^5*e2^5*e3^4 + 628*e1^5*e2^5*e3^3 - 376*e1^5*e2^5*e3^2 - 808*e1^5*e2^5*e3 + 160*e1^5*e2^4*e3^6 + 672*e1^5*e2^4*e3^5 + 352*e1^5*e2^4*e3^4 - 2892*e1^5*e2^4*e3^3 + 1560*e1^5*e2^4*e3^2 + 152*e1^5*e2^4*e3 - 4*e1^5*e2^4 - 160*e1^5*e2^3*e3^6 - 2848*e1^5*e2^3*e3^5 + 2208*e1^5*e2^3*e3^4 + 1600*e1^5*e2^3*e3^3 - 832*e1^5*e2^3*e3^2 + 32*e1^5*e2^3*e3 - 512*e1^5*e2^2*e3^7 + 512*e1^5*e2^2*e3^6 + 2688*e1^5*e2^2*e3^5 - 3328*e1^5*e2^2*e3^4 + 672*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 + 1024*e1^5*e2*e3^7 - 1536*e1^5*e2*e3^6 + 512*e1^5*e2*e3^4 - 512*e1^5*e3^7 + 1024*e1^5*e3^6 - 512*e1^5*e3^5 + e1^4*e2^8*e3^4 - 148*e1^4*e2^7*e3^4 + 272*e1^4*e2^7*e3^3 + 384*e1^4*e2^7*e3^2 - 512*e1^4*e2^7*e3 + 320*e1^4*e2^6*e3^5 + 282*e1^4*e2^6*e3^4 - 376*e1^4*e2^6*e3^3 - 604*e1^4*e2^6*e3^2 + 384*e1^4*e2^6*e3 - 160*e1^4*e2^5*e3^6 - 288*e1^4*e2^5*e3^5 - 2892*e1^4*e2^5*e3^4 + 3440*e1^4*e2^5*e3^3 - 376*e1^4*e2^5*e3^2 + 272*e1^4*e2^5*e3 - 1056*e1^4*e2^4*e3^6 + 2208*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 - 2892*e1^4*e2^4*e3^3 + 282*e1^4*e2^4*e3^2 - 148*e1^4*e2^4*e3 + e1^4*e2^4 + 512*e1^4*e2^3*e3^7 + 2688*e1^4*e2^3*e3^6 - 5440*e1^4*e2^3*e3^5 + 2208*e1^4*e2^3*e3^4 - 288*e1^4*e2^3*e3^3 + 320*e1^4*e2^3*e3^2 + 256*e1^4*e2^2*e3^8 - 1536*e1^4*e2^2*e3^7 - 192*e1^4*e2^2*e3^6 + 2688*e1^4*e2^2*e3^5 - 1056*e1^4*e2^2*e3^4 - 160*e1^4*e2^2*e3^3 - 512*e1^4*e2*e3^8 + 1536*e1^4*e2*e3^7 - 1536*e1^4*e2*e3^6 + 512*e1^4*e2*e3^5 + 256*e1^4*e3^8 - 512*e1^4*e3^7 + 256*e1^4*e3^6 - 4*e1^3*e2^8*e3^4 + 32*e1^3*e2^7*e3^5 + 152*e1^3*e2^7*e3^4 - 808*e1^3*e2^7*e3^3 + 384*e1^3*e2^7*e3^2 + 256*e1^3*e2^7*e3 - 32*e1^3*e2^6*e3^6 - 832*e1^3*e2^6*e3^5 + 1560*e1^3*e2^6*e3^4 - 376*e1^3*e2^6*e3^3 + 40*e1^3*e2^6*e3^2 - 384*e1^3*e2^6*e3 + 672*e1^3*e2^5*e3^6 + 1600*e1^3*e2^5*e3^5 - 2892*e1^3*e2^5*e3^4 + 628*e1^3*e2^5*e3^3 - 124*e1^3*e2^5*e3^2 + 132*e1^3*e2^5*e3 + 512*e1^3*e2^4*e3^7 - 3328*e1^3*e2^4*e3^6 + 2208*e1^3*e2^4*e3^5 + 352*e1^3*e2^4*e3^4 + 556*e1^3*e2^4*e3^3 - 300*e1^3*e2^4*e3^2 - 4*e1^3*e2^4*e3 - 512*e1^3*e2^3*e3^8 + 2688*e1^3*e2^3*e3^6 - 2848*e1^3*e2^3*e3^5 + 672*e1^3*e2^3*e3^4 + 1024*e1^3*e2^2*e3^8 - 1536*e1^3*e2^2*e3^7 + 512*e1^3*e2^2*e3^6 - 160*e1^3*e2^2*e3^5 + 160*e1^3*e2^2*e3^4 - 512*e1^3*e2*e3^8 + 1024*e1^3*e2*e3^7 - 512*e1^3*e2*e3^6 + 6*e1^2*e2^8*e3^4 - 64*e1^2*e2^7*e3^5 + 152*e1^2*e2^7*e3^4 + 272*e1^2*e2^7*e3^3 - 384*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 - 832*e1^2*e2^6*e3^5 + 282*e1^2*e2^6*e3^4 - 124*e1^2*e2^6*e3^3 + 390*e1^2*e2^6*e3^2 - 512*e1^2*e2^5*e3^7 + 672*e1^2*e2^5*e3^6 - 288*e1^2*e2^5*e3^5 + 556*e1^2*e2^5*e3^4 - 440*e1^2*e2^5*e3^3 - 12*e1^2*e2^5*e3^2 + 256*e1^2*e2^4*e3^8 + 512*e1^2*e2^4*e3^7 - 1056*e1^2*e2^4*e3^6 + 672*e1^2*e2^4*e3^5 - 676*e1^2*e2^4*e3^4 + 292*e1^2*e2^4*e3^3 + 6*e1^2*e2^4*e3^2 - 512*e1^2*e2^3*e3^8 + 512*e1^2*e2^3*e3^7 - 160*e1^2*e2^3*e3^6 + 480*e1^2*e2^3*e3^5 - 320*e1^2*e2^3*e3^4 + 256*e1^2*e2^2*e3^8 - 512*e1^2*e2^2*e3^7 + 224*e1^2*e2^2*e3^6 + 32*e1^2*e2^2*e3^5 - 4*e1*e2^8*e3^4 + 32*e1*e2^7*e3^5 - 148*e1*e2^7*e3^4 + 132*e1*e2^7*e3^3 - 32*e1*e2^6*e3^6 + 320*e1*e2^6*e3^5 - 300*e1*e2^6*e3^4 - 12*e1*e2^6*e3^3 - 160*e1*e2^5*e3^6 + 292*e1*e2^5*e3^4 - 116*e1*e2^5*e3^3 + 160*e1*e2^4*e3^6 - 320*e1*e2^4*e3^5 + 160*e1*e2^4*e3^4 - 4*e1*e2^4*e3^3 + 32*e1*e2^3*e3^6 - 32*e1*e2^3*e3^5 + e2^8*e3^4 - 4*e2^7*e3^4 + 6*e2^6*e3^4 - 4*e2^5*e3^4 + e2^4*e3^4, e1^8*e2^4*e3^4 - 4*e1^8*e2^3*e3^4 + 6*e1^8*e2^2*e3^4 - 4*e1^8*e2*e3^4 + e1^8*e3^4 - 4*e1^7*e2^5*e3^4 + 132*e1^7*e2^5*e3^3 - 384*e1^7*e2^5*e3^2 + 256*e1^7*e2^5*e3 - 148*e1^7*e2^4*e3^4 + 272*e1^7*e2^4*e3^3 + 384*e1^7*e2^4*e3^2 - 512*e1^7*e2^4*e3 + 32*e1^7*e2^3*e3^5 + 152*e1^7*e2^3*e3^4 - 808*e1^7*e2^3*e3^3 + 384*e1^7*e2^3*e3^2 + 256*e1^7*e2^3*e3 - 64*e1^7*e2^2*e3^5 + 152*e1^7*e2^2*e3^4 + 272*e1^7*e2^2*e3^3 - 384*e1^7*e2^2*e3^2 + 32*e1^7*e2*e3^5 - 148*e1^7*e2*e3^4 + 132*e1^7*e2*e3^3 - 4*e1^7*e3^4 + 6*e1^6*e2^6*e3^4 - 12*e1^6*e2^6*e3^3 + 390*e1^6*e2^6*e3^2 - 384*e1^6*e2^6*e3 - 300*e1^6*e2^5*e3^4 - 124*e1^6*e2^5*e3^3 + 40*e1^6*e2^5*e3^2 + 384*e1^6*e2^5*e3 + 320*e1^6*e2^4*e3^5 + 282*e1^6*e2^4*e3^4 - 376*e1^6*e2^4*e3^3 - 604*e1^6*e2^4*e3^2 + 384*e1^6*e2^4*e3 - 32*e1^6*e2^3*e3^6 - 832*e1^6*e2^3*e3^5 + 1560*e1^6*e2^3*e3^4 - 376*e1^6*e2^3*e3^3 + 40*e1^6*e2^3*e3^2 - 384*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 - 832*e1^6*e2^2*e3^5 + 282*e1^6*e2^2*e3^4 - 124*e1^6*e2^2*e3^3 + 390*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 + 320*e1^6*e2*e3^5 - 300*e1^6*e2*e3^4 - 12*e1^6*e2*e3^3 + 6*e1^6*e3^4 - 4*e1^5*e2^7*e3^4 - 116*e1^5*e2^7*e3^3 - 12*e1^5*e2^7*e3^2 + 132*e1^5*e2^7*e3 + 292*e1^5*e2^6*e3^4 - 440*e1^5*e2^6*e3^3 - 124*e1^5*e2^6*e3^2 + 272*e1^5*e2^6*e3 + 556*e1^5*e2^5*e3^4 + 628*e1^5*e2^5*e3^3 - 376*e1^5*e2^5*e3^2 - 808*e1^5*e2^5*e3 - 160*e1^5*e2^4*e3^6 - 288*e1^5*e2^4*e3^5 - 2892*e1^5*e2^4*e3^4 + 3440*e1^5*e2^4*e3^3 - 376*e1^5*e2^4*e3^2 + 272*e1^5*e2^4*e3 + 672*e1^5*e2^3*e3^6 + 1600*e1^5*e2^3*e3^5 - 2892*e1^5*e2^3*e3^4 + 628*e1^5*e2^3*e3^3 - 124*e1^5*e2^3*e3^2 + 132*e1^5*e2^3*e3 - 512*e1^5*e2^2*e3^7 + 672*e1^5*e2^2*e3^6 - 288*e1^5*e2^2*e3^5 + 556*e1^5*e2^2*e3^4 - 440*e1^5*e2^2*e3^3 - 12*e1^5*e2^2*e3^2 - 160*e1^5*e2*e3^6 + 292*e1^5*e2*e3^4 - 116*e1^5*e2*e3^3 - 4*e1^5*e3^4 + e1^4*e2^8*e3^4 - 4*e1^4*e2^8*e3^3 + 6*e1^4*e2^8*e3^2 - 4*e1^4*e2^8*e3 + e1^4*e2^8 + 160*e1^4*e2^7*e3^4 + 292*e1^4*e2^7*e3^3 - 300*e1^4*e2^7*e3^2 - 148*e1^4*e2^7*e3 - 4*e1^4*e2^7 - 320*e1^4*e2^6*e3^5 - 676*e1^4*e2^6*e3^4 + 556*e1^4*e2^6*e3^3 + 282*e1^4*e2^6*e3^2 + 152*e1^4*e2^6*e3 + 6*e1^4*e2^6 + 160*e1^4*e2^5*e3^6 + 672*e1^4*e2^5*e3^5 + 352*e1^4*e2^5*e3^4 - 2892*e1^4*e2^5*e3^3 + 1560*e1^4*e2^5*e3^2 + 152*e1^4*e2^5*e3 - 4*e1^4*e2^5 - 1056*e1^4*e2^4*e3^6 + 2208*e1^4*e2^4*e3^5 + 1606*e1^4*e2^4*e3^4 - 2892*e1^4*e2^4*e3^3 + 282*e1^4*e2^4*e3^2 - 148*e1^4*e2^4*e3 + e1^4*e2^4 + 512*e1^4*e2^3*e3^7 - 3328*e1^4*e2^3*e3^6 + 2208*e1^4*e2^3*e3^5 + 352*e1^4*e2^3*e3^4 + 556*e1^4*e2^3*e3^3 - 300*e1^4*e2^3*e3^2 - 4*e1^4*e2^3*e3 + 256*e1^4*e2^2*e3^8 + 512*e1^4*e2^2*e3^7 - 1056*e1^4*e2^2*e3^6 + 672*e1^4*e2^2*e3^5 - 676*e1^4*e2^2*e3^4 + 292*e1^4*e2^2*e3^3 + 6*e1^4*e2^2*e3^2 + 160*e1^4*e2*e3^6 - 320*e1^4*e2*e3^5 + 160*e1^4*e2*e3^4 - 4*e1^4*e2*e3^3 + e1^4*e3^4 - 32*e1^3*e2^7*e3^5 - 320*e1^3*e2^7*e3^4 + 320*e1^3*e2^7*e3^2 + 32*e1^3*e2^7*e3 + 32*e1^3*e2^6*e3^6 + 480*e1^3*e2^6*e3^5 + 672*e1^3*e2^6*e3^4 - 288*e1^3*e2^6*e3^3 - 832*e1^3*e2^6*e3^2 - 64*e1^3*e2^6*e3 - 160*e1^3*e2^5*e3^6 - 2848*e1^3*e2^5*e3^5 + 2208*e1^3*e2^5*e3^4 + 1600*e1^3*e2^5*e3^3 - 832*e1^3*e2^5*e3^2 + 32*e1^3*e2^5*e3 + 512*e1^3*e2^4*e3^7 + 2688*e1^3*e2^4*e3^6 - 5440*e1^3*e2^4*e3^5 + 2208*e1^3*e2^4*e3^4 - 288*e1^3*e2^4*e3^3 + 320*e1^3*e2^4*e3^2 - 512*e1^3*e2^3*e3^8 + 2688*e1^3*e2^3*e3^6 - 2848*e1^3*e2^3*e3^5 + 672*e1^3*e2^3*e3^4 - 512*e1^3*e2^2*e3^8 + 512*e1^3*e2^2*e3^7 - 160*e1^3*e2^2*e3^6 + 480*e1^3*e2^2*e3^5 - 320*e1^3*e2^2*e3^4 + 32*e1^3*e2*e3^6 - 32*e1^3*e2*e3^5 + 32*e1^2*e2^7*e3^5 + 160*e1^2*e2^7*e3^4 - 160*e1^2*e2^7*e3^3 - 32*e1^2*e2^7*e3^2 + 224*e1^2*e2^6*e3^6 - 160*e1^2*e2^6*e3^5 - 1056*e1^2*e2^6*e3^4 + 672*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 512*e1^2*e2^5*e3^7 + 512*e1^2*e2^5*e3^6 + 2688*e1^2*e2^5*e3^5 - 3328*e1^2*e2^5*e3^4 + 672*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 256*e1^2*e2^4*e3^8 - 1536*e1^2*e2^4*e3^7 - 192*e1^2*e2^4*e3^6 + 2688*e1^2*e2^4*e3^5 - 1056*e1^2*e2^4*e3^4 - 160*e1^2*e2^4*e3^3 + 1024*e1^2*e2^3*e3^8 - 1536*e1^2*e2^3*e3^7 + 512*e1^2*e2^3*e3^6 - 160*e1^2*e2^3*e3^5 + 160*e1^2*e2^3*e3^4 + 256*e1^2*e2^2*e3^8 - 512*e1^2*e2^2*e3^7 + 224*e1^2*e2^2*e3^6 + 32*e1^2*e2^2*e3^5 - 512*e1*e2^6*e3^6 + 512*e1*e2^6*e3^5 + 512*e1*e2^6*e3^4 - 512*e1*e2^6*e3^3 + 1024*e1*e2^5*e3^7 - 1536*e1*e2^5*e3^6 + 512*e1*e2^5*e3^4 - 512*e1*e2^4*e3^8 + 1536*e1*e2^4*e3^7 - 1536*e1*e2^4*e3^6 + 512*e1*e2^4*e3^5 - 512*e1*e2^3*e3^8 + 1024*e1*e2^3*e3^7 - 512*e1*e2^3*e3^6 + 256*e2^6*e3^6 - 512*e2^6*e3^5 + 256*e2^6*e3^4 - 512*e2^5*e3^7 + 1024*e2^5*e3^6 - 512*e2^5*e3^5 + 256*e2^4*e3^8 - 512*e2^4*e3^7 + 256*e2^4*e3^6 ] ;