/******************************************************* Here we have the 10 different components of h9 under Rosenhain transformations. Run the commands below to produce the output. > R:=PolynomialRing(Rationals(),3); > load "h9.txt"; Loading "h9.txt" > load "../fixedgroups.txt"; Loading "../fixedgroups.txt" > time H9:=humbertcomponentsfast(h9,9); computing 10 humbert components: 1 2 3 4 5 6 7 8 9 10 Time: 3.734 ********************************************************/ H9:= [ 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 + 32*e1^7*e2^4*e3^3 + 32*e1^7*e2^4*e3^2 - 52*e1^7*e2^4*e3 + 32*e1^7*e2^3*e3^4 - 128*e1^7*e2^3*e3^3 + 56*e1^7*e2^3*e3^2 + 32*e1^7*e2^3*e3 - 32*e1^7*e2^2*e3^5 + 32*e1^7*e2^2*e3^4 + 56*e1^7*e2^2*e3^3 - 64*e1^7*e2^2*e3^2 + 32*e1^7*e2*e3^5 - 52*e1^7*e2*e3^4 + 32*e1^7*e2*e3^3 - 4*e1^7*e3^5 + 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 + 480*e1^6*e2^5*e3^3 - 544*e1^6*e2^5*e3^2 + 56*e1^6*e2^5*e3 + 256*e1^6*e2^4*e3^6 + 512*e1^6*e2^4*e3^5 - 1344*e1^6*e2^4*e3^4 + 96*e1^6*e2^4*e3^3 + 426*e1^6*e2^4*e3^2 + 32*e1^6*e2^4*e3 - 512*e1^6*e2^3*e3^6 + 480*e1^6*e2^3*e3^5 + 96*e1^6*e2^3*e3^4 + 560*e1^6*e2^3*e3^3 - 544*e1^6*e2^3*e3^2 - 32*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 - 544*e1^6*e2^2*e3^5 + 426*e1^6*e2^2*e3^4 - 544*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 64*e1^6*e2*e3^6 + 56*e1^6*e2*e3^5 + 32*e1^6*e2*e3^4 - 32*e1^6*e2*e3^3 + 6*e1^6*e3^6 - 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 + 480*e1^5*e2^6*e3^3 - 544*e1^5*e2^6*e3^2 + 56*e1^5*e2^6*e3 - 512*e1^5*e2^5*e3^6 + 4608*e1^5*e2^5*e3^5 - 7104*e1^5*e2^5*e3^4 + 2624*e1^5*e2^5*e3^3 + 560*e1^5*e2^5*e3^2 - 128*e1^5*e2^5*e3 + 512*e1^5*e2^4*e3^6 - 7104*e1^5*e2^4*e3^5 + 12672*e1^5*e2^4*e3^4 - 6244*e1^5*e2^4*e3^3 + 96*e1^5*e2^4*e3^2 + 32*e1^5*e2^4*e3 + 480*e1^5*e2^3*e3^6 + 2624*e1^5*e2^3*e3^5 - 6244*e1^5*e2^3*e3^4 + 2624*e1^5*e2^3*e3^3 + 480*e1^5*e2^3*e3^2 - 32*e1^5*e2^2*e3^7 - 544*e1^5*e2^2*e3^6 + 560*e1^5*e2^2*e3^5 + 96*e1^5*e2^2*e3^4 + 480*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^7 + 56*e1^5*e2*e3^6 - 128*e1^5*e2*e3^5 + 32*e1^5*e2*e3^4 - 4*e1^5*e3^7 + e1^4*e2^8 + 32*e1^4*e2^7*e3^3 + 32*e1^4*e2^7*e3^2 - 52*e1^4*e2^7*e3 + 256*e1^4*e2^6*e3^6 + 512*e1^4*e2^6*e3^5 - 1344*e1^4*e2^6*e3^4 + 96*e1^4*e2^6*e3^3 + 426*e1^4*e2^6*e3^2 + 32*e1^4*e2^6*e3 + 512*e1^4*e2^5*e3^6 - 7104*e1^4*e2^5*e3^5 + 12672*e1^4*e2^5*e3^4 - 6244*e1^4*e2^5*e3^3 + 96*e1^4*e2^5*e3^2 + 32*e1^4*e2^5*e3 - 1344*e1^4*e2^4*e3^6 + 12672*e1^4*e2^4*e3^5 - 22566*e1^4*e2^4*e3^4 + 12672*e1^4*e2^4*e3^3 - 1344*e1^4*e2^4*e3^2 + 32*e1^4*e2^3*e3^7 + 96*e1^4*e2^3*e3^6 - 6244*e1^4*e2^3*e3^5 + 12672*e1^4*e2^3*e3^4 - 7104*e1^4*e2^3*e3^3 + 512*e1^4*e2^3*e3^2 + 32*e1^4*e2^2*e3^7 + 426*e1^4*e2^2*e3^6 + 96*e1^4*e2^2*e3^5 - 1344*e1^4*e2^2*e3^4 + 512*e1^4*e2^2*e3^3 + 256*e1^4*e2^2*e3^2 - 52*e1^4*e2*e3^7 + 32*e1^4*e2*e3^6 + 32*e1^4*e2*e3^5 + e1^4*e3^8 - 4*e1^3*e2^8*e3 + 32*e1^3*e2^7*e3^4 - 128*e1^3*e2^7*e3^3 + 56*e1^3*e2^7*e3^2 + 32*e1^3*e2^7*e3 - 512*e1^3*e2^6*e3^6 + 480*e1^3*e2^6*e3^5 + 96*e1^3*e2^6*e3^4 + 560*e1^3*e2^6*e3^3 - 544*e1^3*e2^6*e3^2 - 32*e1^3*e2^6*e3 + 480*e1^3*e2^5*e3^6 + 2624*e1^3*e2^5*e3^5 - 6244*e1^3*e2^5*e3^4 + 2624*e1^3*e2^5*e3^3 + 480*e1^3*e2^5*e3^2 + 32*e1^3*e2^4*e3^7 + 96*e1^3*e2^4*e3^6 - 6244*e1^3*e2^4*e3^5 + 12672*e1^3*e2^4*e3^4 - 7104*e1^3*e2^4*e3^3 + 512*e1^3*e2^4*e3^2 - 128*e1^3*e2^3*e3^7 + 560*e1^3*e2^3*e3^6 + 2624*e1^3*e2^3*e3^5 - 7104*e1^3*e2^3*e3^4 + 4608*e1^3*e2^3*e3^3 - 512*e1^3*e2^3*e3^2 + 56*e1^3*e2^2*e3^7 - 544*e1^3*e2^2*e3^6 + 480*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^2 - 32*e1^2*e2^7*e3^5 + 32*e1^2*e2^7*e3^4 + 56*e1^2*e2^7*e3^3 - 64*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 - 544*e1^2*e2^6*e3^5 + 426*e1^2*e2^6*e3^4 - 544*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 32*e1^2*e2^5*e3^7 - 544*e1^2*e2^5*e3^6 + 560*e1^2*e2^5*e3^5 + 96*e1^2*e2^5*e3^4 + 480*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 + 32*e1^2*e2^4*e3^7 + 426*e1^2*e2^4*e3^6 + 96*e1^2*e2^4*e3^5 - 1344*e1^2*e2^4*e3^4 + 512*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 + 56*e1^2*e2^3*e3^7 - 544*e1^2*e2^3*e3^6 + 480*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^3 + 32*e1*e2^7*e3^5 - 52*e1*e2^7*e3^4 + 32*e1*e2^7*e3^3 - 64*e1*e2^6*e3^6 + 56*e1*e2^6*e3^5 + 32*e1*e2^6*e3^4 - 32*e1*e2^6*e3^3 + 32*e1*e2^5*e3^7 + 56*e1*e2^5*e3^6 - 128*e1*e2^5*e3^5 + 32*e1*e2^5*e3^4 - 52*e1*e2^4*e3^7 + 32*e1*e2^4*e3^6 + 32*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, 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 + 1024*e1^8*e2^2*e3^3 - 4352*e1^8*e2^2*e3^2 + 4608*e1^8*e2^2*e3 - 1536*e1^8*e2^2 - 512*e1^8*e2*e3^4 - 512*e1^8*e2*e3^3 + 4608*e1^8*e2*e3^2 - 5632*e1^8*e2*e3 + 2048*e1^8*e2 + 256*e1^8*e3^4 - 1536*e1^8*e3^2 + 2048*e1^8*e3 - 768*e1^8 - 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 - 4608*e1^7*e2^3*e3^3 + 12288*e1^7*e2^3*e3^2 - 12800*e1^7*e2^3*e3 + 4608*e1^7*e2^3 - 512*e1^7*e2^2*e3^5 - 1536*e1^7*e2^2*e3^4 + 12288*e1^7*e2^2*e3^3 - 23552*e1^7*e2^2*e3^2 + 18944*e1^7*e2^2*e3 - 5632*e1^7*e2^2 + 1024*e1^7*e2*e3^5 + 1536*e1^7*e2*e3^4 - 12800*e1^7*e2*e3^3 + 18944*e1^7*e2*e3^2 - 10752*e1^7*e2*e3 + 2048*e1^7*e2 - 512*e1^7*e3^5 - 512*e1^7*e3^4 + 4608*e1^7*e3^3 - 5632*e1^7*e3^2 + 2048*e1^7*e3 + 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 - 32*e1^6*e2^5*e3^4 + 416*e1^6*e2^5*e3^3 + 128*e1^6*e2^5*e3^2 - 1536*e1^6*e2^5*e3 + 1024*e1^6*e2^5 - 32*e1^6*e2^4*e3^5 - 1024*e1^6*e2^4*e3^4 + 6016*e1^6*e2^4*e3^3 - 12896*e1^6*e2^4*e3^2 + 12288*e1^6*e2^4*e3 - 4352*e1^6*e2^4 + 32*e1^6*e2^3*e3^6 + 416*e1^6*e2^3*e3^5 + 6016*e1^6*e2^3*e3^4 - 27968*e1^6*e2^3*e3^3 + 40448*e1^6*e2^3*e3^2 - 23552*e1^6*e2^3*e3 + 4608*e1^6*e2^3 + 224*e1^6*e2^2*e3^6 + 128*e1^6*e2^2*e3^5 - 12896*e1^6*e2^2*e3^4 + 40448*e1^6*e2^2*e3^3 - 45312*e1^6*e2^2*e3^2 + 18944*e1^6*e2^2*e3 - 1536*e1^6*e2^2 - 512*e1^6*e2*e3^6 - 1536*e1^6*e2*e3^5 + 12288*e1^6*e2*e3^4 - 23552*e1^6*e2*e3^3 + 18944*e1^6*e2*e3^2 - 5632*e1^6*e2*e3 + 256*e1^6*e3^6 + 1024*e1^6*e3^5 - 4352*e1^6*e3^4 + 4608*e1^6*e3^3 - 1536*e1^6*e3^2 - 32*e1^5*e2^7*e3^3 + 32*e1^5*e2^7*e3^2 - 32*e1^5*e2^6*e3^4 - 384*e1^5*e2^6*e3^3 + 416*e1^5*e2^6*e3^2 + 512*e1^5*e2^6*e3 - 512*e1^5*e2^6 + 128*e1^5*e2^5*e3^5 - 160*e1^5*e2^5*e3^4 - 2400*e1^5*e2^5*e3^3 + 6016*e1^5*e2^5*e3^2 - 4608*e1^5*e2^5*e3 + 1024*e1^5*e2^5 - 32*e1^5*e2^4*e3^6 - 160*e1^5*e2^4*e3^5 - 5248*e1^5*e2^4*e3^4 + 21632*e1^5*e2^4*e3^3 - 27968*e1^5*e2^4*e3^2 + 12288*e1^5*e2^4*e3 - 512*e1^5*e2^4 - 32*e1^5*e2^3*e3^7 - 384*e1^5*e2^3*e3^6 - 2400*e1^5*e2^3*e3^5 + 21632*e1^5*e2^3*e3^4 - 46464*e1^5*e2^3*e3^3 + 40448*e1^5*e2^3*e3^2 - 12800*e1^5*e2^3*e3 + 32*e1^5*e2^2*e3^7 + 416*e1^5*e2^2*e3^6 + 6016*e1^5*e2^2*e3^5 - 27968*e1^5*e2^2*e3^4 + 40448*e1^5*e2^2*e3^3 - 23552*e1^5*e2^2*e3^2 + 4608*e1^5*e2^2*e3 + 512*e1^5*e2*e3^6 - 4608*e1^5*e2*e3^5 + 12288*e1^5*e2*e3^4 - 12800*e1^5*e2*e3^3 + 4608*e1^5*e2*e3^2 - 512*e1^5*e3^6 + 1024*e1^5*e3^5 - 512*e1^5*e3^4 + e1^4*e2^8*e3^4 - 4*e1^4*e2^7*e3^5 + 64*e1^4*e2^7*e3^4 - 32*e1^4*e2^7*e3^3 - 32*e1^4*e2^7*e3^2 + 6*e1^4*e2^6*e3^6 - 64*e1^4*e2^6*e3^5 + 480*e1^4*e2^6*e3^4 - 160*e1^4*e2^6*e3^3 - 1024*e1^4*e2^6*e3^2 + 512*e1^4*e2^6*e3 + 256*e1^4*e2^6 - 4*e1^4*e2^5*e3^7 - 64*e1^4*e2^5*e3^6 + 640*e1^4*e2^5*e3^5 + 704*e1^4*e2^5*e3^4 - 5248*e1^4*e2^5*e3^3 + 6016*e1^4*e2^5*e3^2 - 1536*e1^4*e2^5*e3 - 512*e1^4*e2^5 + e1^4*e2^4*e3^8 + 64*e1^4*e2^4*e3^7 + 480*e1^4*e2^4*e3^6 + 704*e1^4*e2^4*e3^5 - 11776*e1^4*e2^4*e3^4 + 21632*e1^4*e2^4*e3^3 - 12896*e1^4*e2^4*e3^2 + 1536*e1^4*e2^4*e3 + 256*e1^4*e2^4 - 32*e1^4*e2^3*e3^7 - 160*e1^4*e2^3*e3^6 - 5248*e1^4*e2^3*e3^5 + 21632*e1^4*e2^3*e3^4 - 27968*e1^4*e2^3*e3^3 + 12288*e1^4*e2^3*e3^2 - 512*e1^4*e2^3*e3 - 32*e1^4*e2^2*e3^7 - 1024*e1^4*e2^2*e3^6 + 6016*e1^4*e2^2*e3^5 - 12896*e1^4*e2^2*e3^4 + 12288*e1^4*e2^2*e3^3 - 4352*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^4 - 16*e1^3*e2^7*e3^5 - 64*e1^3*e2^7*e3^4 + 128*e1^3*e2^7*e3^3 - 32*e1^3*e2^7*e3^2 + 40*e1^3*e2^6*e3^6 - 448*e1^3*e2^6*e3^5 + 640*e1^3*e2^6*e3^4 - 160*e1^3*e2^6*e3^3 + 416*e1^3*e2^6*e3^2 - 512*e1^3*e2^6*e3 - 16*e1^3*e2^5*e3^7 - 448*e1^3*e2^5*e3^6 + 1024*e1^3*e2^5*e3^5 + 704*e1^3*e2^5*e3^4 - 2400*e1^3*e2^5*e3^3 + 128*e1^3*e2^5*e3^2 + 1024*e1^3*e2^5*e3 - 4*e1^3*e2^4*e3^8 - 64*e1^3*e2^4*e3^7 + 640*e1^3*e2^4*e3^6 + 704*e1^3*e2^4*e3^5 - 5248*e1^3*e2^4*e3^4 + 6016*e1^3*e2^4*e3^3 - 1536*e1^3*e2^4*e3^2 - 512*e1^3*e2^4*e3 + 128*e1^3*e2^3*e3^7 - 160*e1^3*e2^3*e3^6 - 2400*e1^3*e2^3*e3^5 + 6016*e1^3*e2^3*e3^4 - 4608*e1^3*e2^3*e3^3 + 1024*e1^3*e2^3*e3^2 - 32*e1^3*e2^2*e3^7 + 416*e1^3*e2^2*e3^6 + 128*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^4 + 40*e1^2*e2^7*e3^5 - 64*e1^2*e2^7*e3^4 - 32*e1^2*e2^7*e3^3 + 32*e1^2*e2^7*e3^2 + 164*e1^2*e2^6*e3^6 - 448*e1^2*e2^6*e3^5 + 480*e1^2*e2^6*e3^4 - 384*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 + 40*e1^2*e2^5*e3^7 - 448*e1^2*e2^5*e3^6 + 640*e1^2*e2^5*e3^5 - 160*e1^2*e2^5*e3^4 + 416*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 - 64*e1^2*e2^4*e3^7 + 480*e1^2*e2^4*e3^6 - 160*e1^2*e2^4*e3^5 - 1024*e1^2*e2^4*e3^4 + 512*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 - 32*e1^2*e2^3*e3^7 - 384*e1^2*e2^3*e3^6 + 416*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^4 - 16*e1*e2^7*e3^5 + 64*e1*e2^7*e3^4 - 32*e1*e2^7*e3^3 + 40*e1*e2^6*e3^6 - 64*e1*e2^6*e3^5 - 32*e1*e2^6*e3^4 + 32*e1*e2^6*e3^3 - 16*e1*e2^5*e3^7 - 64*e1*e2^5*e3^6 + 128*e1*e2^5*e3^5 - 32*e1*e2^5*e3^4 - 4*e1*e2^4*e3^8 + 64*e1*e2^4*e3^7 - 32*e1*e2^4*e3^6 - 32*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, 768*e1^8*e2^8 - 2048*e1^8*e2^7*e3 - 2048*e1^8*e2^7 + 1536*e1^8*e2^6*e3^2 + 5632*e1^8*e2^6*e3 + 1536*e1^8*e2^6 - 4608*e1^8*e2^5*e3^2 - 4608*e1^8*e2^5*e3 - 256*e1^8*e2^4*e3^4 + 512*e1^8*e2^4*e3^3 + 4352*e1^8*e2^4*e3^2 + 512*e1^8*e2^4*e3 - 256*e1^8*e2^4 + 512*e1^8*e2^3*e3^4 - 1024*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 - 2048*e1^7*e2^8*e3 - 2048*e1^7*e2^8 + 5632*e1^7*e2^7*e3^2 + 10752*e1^7*e2^7*e3 + 5632*e1^7*e2^7 - 4608*e1^7*e2^6*e3^3 - 18944*e1^7*e2^6*e3^2 - 18944*e1^7*e2^6*e3 - 4608*e1^7*e2^6 + 512*e1^7*e2^5*e3^4 + 12800*e1^7*e2^5*e3^3 + 23552*e1^7*e2^5*e3^2 + 12800*e1^7*e2^5*e3 + 512*e1^7*e2^5 + 512*e1^7*e2^4*e3^5 - 1536*e1^7*e2^4*e3^4 - 12288*e1^7*e2^4*e3^3 - 12288*e1^7*e2^4*e3^2 - 1536*e1^7*e2^4*e3 + 512*e1^7*e2^4 - 1024*e1^7*e2^3*e3^5 + 1536*e1^7*e2^3*e3^4 + 4608*e1^7*e2^3*e3^3 + 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 + 1536*e1^6*e2^8*e3^2 + 5632*e1^6*e2^8*e3 + 1536*e1^6*e2^8 - 4608*e1^6*e2^7*e3^3 - 18944*e1^6*e2^7*e3^2 - 18944*e1^6*e2^7*e3 - 4608*e1^6*e2^7 + 4352*e1^6*e2^6*e3^4 + 23552*e1^6*e2^6*e3^3 + 45312*e1^6*e2^6*e3^2 + 23552*e1^6*e2^6*e3 + 4352*e1^6*e2^6 - 1024*e1^6*e2^5*e3^5 - 12288*e1^6*e2^5*e3^4 - 40448*e1^6*e2^5*e3^3 - 40448*e1^6*e2^5*e3^2 - 12288*e1^6*e2^5*e3 - 1024*e1^6*e2^5 - 256*e1^6*e2^4*e3^6 + 1536*e1^6*e2^4*e3^5 + 12896*e1^6*e2^4*e3^4 + 27968*e1^6*e2^4*e3^3 + 12896*e1^6*e2^4*e3^2 + 1536*e1^6*e2^4*e3 - 256*e1^6*e2^4 + 512*e1^6*e2^3*e3^6 - 128*e1^6*e2^3*e3^5 - 6016*e1^6*e2^3*e3^4 - 6016*e1^6*e2^3*e3^3 - 128*e1^6*e2^3*e3^2 + 512*e1^6*e2^3*e3 - 224*e1^6*e2^2*e3^6 - 416*e1^6*e2^2*e3^5 + 1024*e1^6*e2^2*e3^4 - 416*e1^6*e2^2*e3^3 - 224*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 + 32*e1^6*e2*e3^5 + 32*e1^6*e2*e3^4 - 32*e1^6*e2*e3^3 - 4608*e1^5*e2^8*e3^2 - 4608*e1^5*e2^8*e3 + 512*e1^5*e2^7*e3^4 + 12800*e1^5*e2^7*e3^3 + 23552*e1^5*e2^7*e3^2 + 12800*e1^5*e2^7*e3 + 512*e1^5*e2^7 - 1024*e1^5*e2^6*e3^5 - 12288*e1^5*e2^6*e3^4 - 40448*e1^5*e2^6*e3^3 - 40448*e1^5*e2^6*e3^2 - 12288*e1^5*e2^6*e3 - 1024*e1^5*e2^6 + 512*e1^5*e2^5*e3^6 + 4608*e1^5*e2^5*e3^5 + 27968*e1^5*e2^5*e3^4 + 46464*e1^5*e2^5*e3^3 + 27968*e1^5*e2^5*e3^2 + 4608*e1^5*e2^5*e3 + 512*e1^5*e2^5 - 512*e1^5*e2^4*e3^6 - 6016*e1^5*e2^4*e3^5 - 21632*e1^5*e2^4*e3^4 - 21632*e1^5*e2^4*e3^3 - 6016*e1^5*e2^4*e3^2 - 512*e1^5*e2^4*e3 - 416*e1^5*e2^3*e3^6 + 2400*e1^5*e2^3*e3^5 + 5248*e1^5*e2^3*e3^4 + 2400*e1^5*e2^3*e3^3 - 416*e1^5*e2^3*e3^2 - 32*e1^5*e2^2*e3^7 + 384*e1^5*e2^2*e3^6 + 160*e1^5*e2^2*e3^5 + 160*e1^5*e2^2*e3^4 + 384*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^7 + 32*e1^5*e2*e3^6 - 128*e1^5*e2*e3^5 + 32*e1^5*e2*e3^4 + 32*e1^5*e2*e3^3 - 256*e1^4*e2^8*e3^4 + 512*e1^4*e2^8*e3^3 + 4352*e1^4*e2^8*e3^2 + 512*e1^4*e2^8*e3 - 256*e1^4*e2^8 + 512*e1^4*e2^7*e3^5 - 1536*e1^4*e2^7*e3^4 - 12288*e1^4*e2^7*e3^3 - 12288*e1^4*e2^7*e3^2 - 1536*e1^4*e2^7*e3 + 512*e1^4*e2^7 - 256*e1^4*e2^6*e3^6 + 1536*e1^4*e2^6*e3^5 + 12896*e1^4*e2^6*e3^4 + 27968*e1^4*e2^6*e3^3 + 12896*e1^4*e2^6*e3^2 + 1536*e1^4*e2^6*e3 - 256*e1^4*e2^6 - 512*e1^4*e2^5*e3^6 - 6016*e1^4*e2^5*e3^5 - 21632*e1^4*e2^5*e3^4 - 21632*e1^4*e2^5*e3^3 - 6016*e1^4*e2^5*e3^2 - 512*e1^4*e2^5*e3 + 1024*e1^4*e2^4*e3^6 + 5248*e1^4*e2^4*e3^5 + 11776*e1^4*e2^4*e3^4 + 5248*e1^4*e2^4*e3^3 + 1024*e1^4*e2^4*e3^2 + 32*e1^4*e2^3*e3^7 + 160*e1^4*e2^3*e3^6 - 704*e1^4*e2^3*e3^5 - 704*e1^4*e2^3*e3^4 + 160*e1^4*e2^3*e3^3 + 32*e1^4*e2^3*e3^2 + 32*e1^4*e2^2*e3^7 - 480*e1^4*e2^2*e3^6 - 640*e1^4*e2^2*e3^5 - 480*e1^4*e2^2*e3^4 + 32*e1^4*e2^2*e3^3 - 64*e1^4*e2*e3^7 + 64*e1^4*e2*e3^6 + 64*e1^4*e2*e3^5 - 64*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 + 512*e1^3*e2^8*e3^4 - 1024*e1^3*e2^8*e3^3 - 1024*e1^3*e2^8*e3^2 + 512*e1^3*e2^8*e3 - 1024*e1^3*e2^7*e3^5 + 1536*e1^3*e2^7*e3^4 + 4608*e1^3*e2^7*e3^3 + 1536*e1^3*e2^7*e3^2 - 1024*e1^3*e2^7*e3 + 512*e1^3*e2^6*e3^6 - 128*e1^3*e2^6*e3^5 - 6016*e1^3*e2^6*e3^4 - 6016*e1^3*e2^6*e3^3 - 128*e1^3*e2^6*e3^2 + 512*e1^3*e2^6*e3 - 416*e1^3*e2^5*e3^6 + 2400*e1^3*e2^5*e3^5 + 5248*e1^3*e2^5*e3^4 + 2400*e1^3*e2^5*e3^3 - 416*e1^3*e2^5*e3^2 + 32*e1^3*e2^4*e3^7 + 160*e1^3*e2^4*e3^6 - 704*e1^3*e2^4*e3^5 - 704*e1^3*e2^4*e3^4 + 160*e1^3*e2^4*e3^3 + 32*e1^3*e2^4*e3^2 - 128*e1^3*e2^3*e3^7 - 640*e1^3*e2^3*e3^6 - 1024*e1^3*e2^3*e3^5 - 640*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 + 64*e1^3*e2^2*e3^7 + 448*e1^3*e2^2*e3^6 + 448*e1^3*e2^2*e3^5 + 64*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 - 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 - 416*e1^2*e2^6*e3^5 + 1024*e1^2*e2^6*e3^4 - 416*e1^2*e2^6*e3^3 - 224*e1^2*e2^6*e3^2 - 32*e1^2*e2^5*e3^7 + 384*e1^2*e2^5*e3^6 + 160*e1^2*e2^5*e3^5 + 160*e1^2*e2^5*e3^4 + 384*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 32*e1^2*e2^4*e3^7 - 480*e1^2*e2^4*e3^6 - 640*e1^2*e2^4*e3^5 - 480*e1^2*e2^4*e3^4 + 32*e1^2*e2^4*e3^3 + 64*e1^2*e2^3*e3^7 + 448*e1^2*e2^3*e3^6 + 448*e1^2*e2^3*e3^5 + 64*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 - 32*e1*e2^6*e3^6 + 32*e1*e2^6*e3^5 + 32*e1*e2^6*e3^4 - 32*e1*e2^6*e3^3 + 32*e1*e2^5*e3^7 + 32*e1*e2^5*e3^6 - 128*e1*e2^5*e3^5 + 32*e1*e2^5*e3^4 + 32*e1*e2^5*e3^3 - 64*e1*e2^4*e3^7 + 64*e1*e2^4*e3^6 + 64*e1*e2^4*e3^5 - 64*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, 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 - 512*e1^8*e2^2*e3^3 + 256*e1^8*e2^2*e3^2 - 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 + 4608*e1^7*e2^3*e3^3 + 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 - 32*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 32*e1^6*e2^6*e3 + 32*e1^6*e2^5*e3^4 + 480*e1^6*e2^5*e3^3 + 480*e1^6*e2^5*e3^2 + 32*e1^6*e2^5*e3 + 32*e1^6*e2^4*e3^5 - 1344*e1^6*e2^4*e3^4 - 7104*e1^6*e2^4*e3^3 - 1344*e1^6*e2^4*e3^2 + 32*e1^6*e2^4*e3 - 32*e1^6*e2^3*e3^6 + 480*e1^6*e2^3*e3^5 - 7104*e1^6*e2^3*e3^4 - 7104*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 + 480*e1^6*e2^2*e3^5 - 1344*e1^6*e2^2*e3^4 + 480*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 + 32*e1^6*e2*e3^5 + 32*e1^6*e2*e3^4 - 32*e1^6*e2*e3^3 + 32*e1^5*e2^7*e3^3 - 64*e1^5*e2^7*e3^2 + 32*e1^5*e2^7*e3 + 32*e1^5*e2^6*e3^4 - 544*e1^5*e2^6*e3^3 - 544*e1^5*e2^6*e3^2 + 32*e1^5*e2^6*e3 - 128*e1^5*e2^5*e3^5 + 96*e1^5*e2^5*e3^4 + 2624*e1^5*e2^5*e3^3 + 96*e1^5*e2^5*e3^2 - 128*e1^5*e2^5*e3 + 32*e1^5*e2^4*e3^6 + 96*e1^5*e2^4*e3^5 + 12672*e1^5*e2^4*e3^4 + 12672*e1^5*e2^4*e3^3 + 96*e1^5*e2^4*e3^2 + 32*e1^5*e2^4*e3 + 32*e1^5*e2^3*e3^7 - 544*e1^5*e2^3*e3^6 + 2624*e1^5*e2^3*e3^5 + 12672*e1^5*e2^3*e3^4 + 2624*e1^5*e2^3*e3^3 - 544*e1^5*e2^3*e3^2 + 32*e1^5*e2^3*e3 - 64*e1^5*e2^2*e3^7 - 544*e1^5*e2^2*e3^6 + 96*e1^5*e2^2*e3^5 + 96*e1^5*e2^2*e3^4 - 544*e1^5*e2^2*e3^3 - 64*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^7 + 32*e1^5*e2*e3^6 - 128*e1^5*e2*e3^5 + 32*e1^5*e2*e3^4 + 32*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 - 4*e1^4*e2^7*e3^5 - 52*e1^4*e2^7*e3^4 + 56*e1^4*e2^7*e3^3 + 56*e1^4*e2^7*e3^2 - 52*e1^4*e2^7*e3 - 4*e1^4*e2^7 + 6*e1^4*e2^6*e3^6 + 56*e1^4*e2^6*e3^5 + 426*e1^4*e2^6*e3^4 + 560*e1^4*e2^6*e3^3 + 426*e1^4*e2^6*e3^2 + 56*e1^4*e2^6*e3 + 6*e1^4*e2^6 - 4*e1^4*e2^5*e3^7 + 56*e1^4*e2^5*e3^6 + 560*e1^4*e2^5*e3^5 - 6244*e1^4*e2^5*e3^4 - 6244*e1^4*e2^5*e3^3 + 560*e1^4*e2^5*e3^2 + 56*e1^4*e2^5*e3 - 4*e1^4*e2^5 + e1^4*e2^4*e3^8 - 52*e1^4*e2^4*e3^7 + 426*e1^4*e2^4*e3^6 - 6244*e1^4*e2^4*e3^5 - 22566*e1^4*e2^4*e3^4 - 6244*e1^4*e2^4*e3^3 + 426*e1^4*e2^4*e3^2 - 52*e1^4*e2^4*e3 + e1^4*e2^4 - 4*e1^4*e2^3*e3^8 + 56*e1^4*e2^3*e3^7 + 560*e1^4*e2^3*e3^6 - 6244*e1^4*e2^3*e3^5 - 6244*e1^4*e2^3*e3^4 + 560*e1^4*e2^3*e3^3 + 56*e1^4*e2^3*e3^2 - 4*e1^4*e2^3*e3 + 6*e1^4*e2^2*e3^8 + 56*e1^4*e2^2*e3^7 + 426*e1^4*e2^2*e3^6 + 560*e1^4*e2^2*e3^5 + 426*e1^4*e2^2*e3^4 + 56*e1^4*e2^2*e3^3 + 6*e1^4*e2^2*e3^2 - 4*e1^4*e2*e3^8 - 52*e1^4*e2*e3^7 + 56*e1^4*e2*e3^6 + 56*e1^4*e2*e3^5 - 52*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 + 32*e1^3*e2^7*e3^5 + 32*e1^3*e2^7*e3^4 - 128*e1^3*e2^7*e3^3 + 32*e1^3*e2^7*e3^2 + 32*e1^3*e2^7*e3 - 64*e1^3*e2^6*e3^6 - 544*e1^3*e2^6*e3^5 + 96*e1^3*e2^6*e3^4 + 96*e1^3*e2^6*e3^3 - 544*e1^3*e2^6*e3^2 - 64*e1^3*e2^6*e3 + 32*e1^3*e2^5*e3^7 - 544*e1^3*e2^5*e3^6 + 2624*e1^3*e2^5*e3^5 + 12672*e1^3*e2^5*e3^4 + 2624*e1^3*e2^5*e3^3 - 544*e1^3*e2^5*e3^2 + 32*e1^3*e2^5*e3 + 32*e1^3*e2^4*e3^7 + 96*e1^3*e2^4*e3^6 + 12672*e1^3*e2^4*e3^5 + 12672*e1^3*e2^4*e3^4 + 96*e1^3*e2^4*e3^3 + 32*e1^3*e2^4*e3^2 - 128*e1^3*e2^3*e3^7 + 96*e1^3*e2^3*e3^6 + 2624*e1^3*e2^3*e3^5 + 96*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 + 32*e1^3*e2^2*e3^7 - 544*e1^3*e2^2*e3^6 - 544*e1^3*e2^2*e3^5 + 32*e1^3*e2^2*e3^4 + 32*e1^3*e2*e3^7 - 64*e1^3*e2*e3^6 + 32*e1^3*e2*e3^5 - 32*e1^2*e2^7*e3^5 + 32*e1^2*e2^7*e3^4 + 32*e1^2*e2^7*e3^3 - 32*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 + 480*e1^2*e2^6*e3^5 - 1344*e1^2*e2^6*e3^4 + 480*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 - 7104*e1^2*e2^5*e3^5 - 7104*e1^2*e2^5*e3^4 + 480*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 32*e1^2*e2^4*e3^7 - 1344*e1^2*e2^4*e3^6 - 7104*e1^2*e2^4*e3^5 - 1344*e1^2*e2^4*e3^4 + 32*e1^2*e2^4*e3^3 + 32*e1^2*e2^3*e3^7 + 480*e1^2*e2^3*e3^6 + 480*e1^2*e2^3*e3^5 + 32*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^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 + 4608*e1*e2^5*e3^5 + 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^6*e3^6 - 512*e2^6*e3^5 + 256*e2^6*e3^4 - 512*e2^5*e3^6 - 512*e2^5*e3^5 + 256*e2^4*e3^6, 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 - 52*e1^7*e2^4*e3^4 + 56*e1^7*e2^4*e3^3 + 56*e1^7*e2^4*e3^2 - 52*e1^7*e2^4*e3 - 4*e1^7*e2^4 + 32*e1^7*e2^3*e3^5 + 32*e1^7*e2^3*e3^4 - 128*e1^7*e2^3*e3^3 + 32*e1^7*e2^3*e3^2 + 32*e1^7*e2^3*e3 - 32*e1^7*e2^2*e3^5 + 32*e1^7*e2^2*e3^4 + 32*e1^7*e2^2*e3^3 - 32*e1^7*e2^2*e3^2 - 32*e1^6*e2^6*e3^3 + 320*e1^6*e2^6*e3^2 - 32*e1^6*e2^6*e3 + 32*e1^6*e2^5*e3^4 - 544*e1^6*e2^5*e3^3 - 544*e1^6*e2^5*e3^2 + 32*e1^6*e2^5*e3 + 6*e1^6*e2^4*e3^6 + 56*e1^6*e2^4*e3^5 + 426*e1^6*e2^4*e3^4 + 560*e1^6*e2^4*e3^3 + 426*e1^6*e2^4*e3^2 + 56*e1^6*e2^4*e3 + 6*e1^6*e2^4 - 64*e1^6*e2^3*e3^6 - 544*e1^6*e2^3*e3^5 + 96*e1^6*e2^3*e3^4 + 96*e1^6*e2^3*e3^3 - 544*e1^6*e2^3*e3^2 - 64*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 + 480*e1^6*e2^2*e3^5 - 1344*e1^6*e2^2*e3^4 + 480*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 - 512*e1^5*e2^7*e3^2 + 32*e1^5*e2^6*e3^4 + 480*e1^5*e2^6*e3^3 + 480*e1^5*e2^6*e3^2 + 32*e1^5*e2^6*e3 - 128*e1^5*e2^5*e3^5 + 96*e1^5*e2^5*e3^4 + 2624*e1^5*e2^5*e3^3 + 96*e1^5*e2^5*e3^2 - 128*e1^5*e2^5*e3 - 4*e1^5*e2^4*e3^7 + 56*e1^5*e2^4*e3^6 + 560*e1^5*e2^4*e3^5 - 6244*e1^5*e2^4*e3^4 - 6244*e1^5*e2^4*e3^3 + 560*e1^5*e2^4*e3^2 + 56*e1^5*e2^4*e3 - 4*e1^5*e2^4 + 32*e1^5*e2^3*e3^7 - 544*e1^5*e2^3*e3^6 + 2624*e1^5*e2^3*e3^5 + 12672*e1^5*e2^3*e3^4 + 2624*e1^5*e2^3*e3^3 - 544*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 - 7104*e1^5*e2^2*e3^5 - 7104*e1^5*e2^2*e3^4 + 480*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 + 512*e1^5*e2*e3^6 + 4608*e1^5*e2*e3^5 + 512*e1^5*e2*e3^4 - 512*e1^5*e3^6 - 512*e1^5*e3^5 + 256*e1^4*e2^8*e3^2 + 512*e1^4*e2^7*e3^3 + 512*e1^4*e2^7*e3^2 + 32*e1^4*e2^6*e3^5 - 1344*e1^4*e2^6*e3^4 - 7104*e1^4*e2^6*e3^3 - 1344*e1^4*e2^6*e3^2 + 32*e1^4*e2^6*e3 + 32*e1^4*e2^5*e3^6 + 96*e1^4*e2^5*e3^5 + 12672*e1^4*e2^5*e3^4 + 12672*e1^4*e2^5*e3^3 + 96*e1^4*e2^5*e3^2 + 32*e1^4*e2^5*e3 + e1^4*e2^4*e3^8 - 52*e1^4*e2^4*e3^7 + 426*e1^4*e2^4*e3^6 - 6244*e1^4*e2^4*e3^5 - 22566*e1^4*e2^4*e3^4 - 6244*e1^4*e2^4*e3^3 + 426*e1^4*e2^4*e3^2 - 52*e1^4*e2^4*e3 + e1^4*e2^4 + 32*e1^4*e2^3*e3^7 + 96*e1^4*e2^3*e3^6 + 12672*e1^4*e2^3*e3^5 + 12672*e1^4*e2^3*e3^4 + 96*e1^4*e2^3*e3^3 + 32*e1^4*e2^3*e3^2 + 32*e1^4*e2^2*e3^7 - 1344*e1^4*e2^2*e3^6 - 7104*e1^4*e2^2*e3^5 - 1344*e1^4*e2^2*e3^4 + 32*e1^4*e2^2*e3^3 + 512*e1^4*e2*e3^6 + 512*e1^4*e2*e3^5 + 256*e1^4*e3^6 - 512*e1^3*e2^8*e3^3 - 512*e1^3*e2^8*e3^2 + 512*e1^3*e2^7*e3^4 + 4608*e1^3*e2^7*e3^3 + 512*e1^3*e2^7*e3^2 - 32*e1^3*e2^6*e3^6 + 480*e1^3*e2^6*e3^5 - 7104*e1^3*e2^6*e3^4 - 7104*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 - 544*e1^3*e2^5*e3^6 + 2624*e1^3*e2^5*e3^5 + 12672*e1^3*e2^5*e3^4 + 2624*e1^3*e2^5*e3^3 - 544*e1^3*e2^5*e3^2 + 32*e1^3*e2^5*e3 - 4*e1^3*e2^4*e3^8 + 56*e1^3*e2^4*e3^7 + 560*e1^3*e2^4*e3^6 - 6244*e1^3*e2^4*e3^5 - 6244*e1^3*e2^4*e3^4 + 560*e1^3*e2^4*e3^3 + 56*e1^3*e2^4*e3^2 - 4*e1^3*e2^4*e3 - 128*e1^3*e2^3*e3^7 + 96*e1^3*e2^3*e3^6 + 2624*e1^3*e2^3*e3^5 + 96*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 + 32*e1^3*e2^2*e3^7 + 480*e1^3*e2^2*e3^6 + 480*e1^3*e2^2*e3^5 + 32*e1^3*e2^2*e3^4 - 512*e1^3*e2*e3^6 + 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 + 480*e1^2*e2^6*e3^5 - 1344*e1^2*e2^6*e3^4 + 480*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 64*e1^2*e2^5*e3^7 - 544*e1^2*e2^5*e3^6 + 96*e1^2*e2^5*e3^5 + 96*e1^2*e2^5*e3^4 - 544*e1^2*e2^5*e3^3 - 64*e1^2*e2^5*e3^2 + 6*e1^2*e2^4*e3^8 + 56*e1^2*e2^4*e3^7 + 426*e1^2*e2^4*e3^6 + 560*e1^2*e2^4*e3^5 + 426*e1^2*e2^4*e3^4 + 56*e1^2*e2^4*e3^3 + 6*e1^2*e2^4*e3^2 + 32*e1^2*e2^3*e3^7 - 544*e1^2*e2^3*e3^6 - 544*e1^2*e2^3*e3^5 + 32*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 - 32*e1*e2^6*e3^6 + 32*e1*e2^6*e3^5 + 32*e1*e2^6*e3^4 - 32*e1*e2^6*e3^3 + 32*e1*e2^5*e3^7 + 32*e1*e2^5*e3^6 - 128*e1*e2^5*e3^5 + 32*e1*e2^5*e3^4 + 32*e1*e2^5*e3^3 - 4*e1*e2^4*e3^8 - 52*e1*e2^4*e3^7 + 56*e1*e2^4*e3^6 + 56*e1*e2^4*e3^5 - 52*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, -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 + 1536*e1^8*e2^2*e3^6 - 4608*e1^8*e2^2*e3^5 + 4352*e1^8*e2^2*e3^4 - 1024*e1^8*e2^2*e3^3 - 256*e1^8*e2^2*e3^2 - 2048*e1^8*e2*e3^7 + 5632*e1^8*e2*e3^6 - 4608*e1^8*e2*e3^5 + 512*e1^8*e2*e3^4 + 512*e1^8*e2*e3^3 + 768*e1^8*e3^8 - 2048*e1^8*e3^7 + 1536*e1^8*e3^6 - 256*e1^8*e3^4 + 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 - 4608*e1^7*e2^3*e3^6 + 12800*e1^7*e2^3*e3^5 - 12288*e1^7*e2^3*e3^4 + 4608*e1^7*e2^3*e3^3 - 512*e1^7*e2^3*e3^2 + 5632*e1^7*e2^2*e3^7 - 18944*e1^7*e2^2*e3^6 + 23552*e1^7*e2^2*e3^5 - 12288*e1^7*e2^2*e3^4 + 1536*e1^7*e2^2*e3^3 + 512*e1^7*e2^2*e3^2 - 2048*e1^7*e2*e3^8 + 10752*e1^7*e2*e3^7 - 18944*e1^7*e2*e3^6 + 12800*e1^7*e2*e3^5 - 1536*e1^7*e2*e3^4 - 1024*e1^7*e2*e3^3 - 2048*e1^7*e3^8 + 5632*e1^7*e3^7 - 4608*e1^7*e3^6 + 512*e1^7*e3^5 + 512*e1^7*e3^4 - 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 - 128*e1^6*e2^5*e3^3 - 416*e1^6*e2^5*e3^2 + 32*e1^6*e2^5*e3 + 4352*e1^6*e2^4*e3^6 - 12288*e1^6*e2^4*e3^5 + 12896*e1^6*e2^4*e3^4 - 6016*e1^6*e2^4*e3^3 + 1024*e1^6*e2^4*e3^2 + 32*e1^6*e2^4*e3 - 4608*e1^6*e2^3*e3^7 + 23552*e1^6*e2^3*e3^6 - 40448*e1^6*e2^3*e3^5 + 27968*e1^6*e2^3*e3^4 - 6016*e1^6*e2^3*e3^3 - 416*e1^6*e2^3*e3^2 - 32*e1^6*e2^3*e3 + 1536*e1^6*e2^2*e3^8 - 18944*e1^6*e2^2*e3^7 + 45312*e1^6*e2^2*e3^6 - 40448*e1^6*e2^2*e3^5 + 12896*e1^6*e2^2*e3^4 - 128*e1^6*e2^2*e3^3 - 224*e1^6*e2^2*e3^2 + 5632*e1^6*e2*e3^8 - 18944*e1^6*e2*e3^7 + 23552*e1^6*e2*e3^6 - 12288*e1^6*e2*e3^5 + 1536*e1^6*e2*e3^4 + 512*e1^6*e2*e3^3 + 1536*e1^6*e3^8 - 4608*e1^6*e3^7 + 4352*e1^6*e3^6 - 1024*e1^6*e3^5 - 256*e1^6*e3^4 - 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 - 416*e1^5*e2^6*e3^3 + 384*e1^5*e2^6*e3^2 + 32*e1^5*e2^6*e3 - 1024*e1^5*e2^5*e3^6 + 4608*e1^5*e2^5*e3^5 - 6016*e1^5*e2^5*e3^4 + 2400*e1^5*e2^5*e3^3 + 160*e1^5*e2^5*e3^2 - 128*e1^5*e2^5*e3 + 512*e1^5*e2^4*e3^7 - 12288*e1^5*e2^4*e3^6 + 27968*e1^5*e2^4*e3^5 - 21632*e1^5*e2^4*e3^4 + 5248*e1^5*e2^4*e3^3 + 160*e1^5*e2^4*e3^2 + 32*e1^5*e2^4*e3 + 12800*e1^5*e2^3*e3^7 - 40448*e1^5*e2^3*e3^6 + 46464*e1^5*e2^3*e3^5 - 21632*e1^5*e2^3*e3^4 + 2400*e1^5*e2^3*e3^3 + 384*e1^5*e2^3*e3^2 + 32*e1^5*e2^3*e3 - 4608*e1^5*e2^2*e3^8 + 23552*e1^5*e2^2*e3^7 - 40448*e1^5*e2^2*e3^6 + 27968*e1^5*e2^2*e3^5 - 6016*e1^5*e2^2*e3^4 - 416*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 - 4608*e1^5*e2*e3^8 + 12800*e1^5*e2*e3^7 - 12288*e1^5*e2*e3^6 + 4608*e1^5*e2*e3^5 - 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 + 32*e1^4*e2^7*e3^3 + 32*e1^4*e2^7*e3^2 - 64*e1^4*e2^7*e3 + 4*e1^4*e2^7 - 256*e1^4*e2^6*e3^6 - 512*e1^4*e2^6*e3^5 + 1024*e1^4*e2^6*e3^4 + 160*e1^4*e2^6*e3^3 - 480*e1^4*e2^6*e3^2 + 64*e1^4*e2^6*e3 - 6*e1^4*e2^6 + 512*e1^4*e2^5*e3^7 + 1536*e1^4*e2^5*e3^6 - 6016*e1^4*e2^5*e3^5 + 5248*e1^4*e2^5*e3^4 - 704*e1^4*e2^5*e3^3 - 640*e1^4*e2^5*e3^2 + 64*e1^4*e2^5*e3 + 4*e1^4*e2^5 - 256*e1^4*e2^4*e3^8 - 1536*e1^4*e2^4*e3^7 + 12896*e1^4*e2^4*e3^6 - 21632*e1^4*e2^4*e3^5 + 11776*e1^4*e2^4*e3^4 - 704*e1^4*e2^4*e3^3 - 480*e1^4*e2^4*e3^2 - 64*e1^4*e2^4*e3 - e1^4*e2^4 + 512*e1^4*e2^3*e3^8 - 12288*e1^4*e2^3*e3^7 + 27968*e1^4*e2^3*e3^6 - 21632*e1^4*e2^3*e3^5 + 5248*e1^4*e2^3*e3^4 + 160*e1^4*e2^3*e3^3 + 32*e1^4*e2^3*e3^2 + 4352*e1^4*e2^2*e3^8 - 12288*e1^4*e2^2*e3^7 + 12896*e1^4*e2^2*e3^6 - 6016*e1^4*e2^2*e3^5 + 1024*e1^4*e2^2*e3^4 + 32*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 + 32*e1^3*e2^7*e3^4 - 128*e1^3*e2^7*e3^3 + 64*e1^3*e2^7*e3^2 + 16*e1^3*e2^7*e3 + 512*e1^3*e2^6*e3^6 - 416*e1^3*e2^6*e3^5 + 160*e1^3*e2^6*e3^4 - 640*e1^3*e2^6*e3^3 + 448*e1^3*e2^6*e3^2 - 40*e1^3*e2^6*e3 - 1024*e1^3*e2^5*e3^7 - 128*e1^3*e2^5*e3^6 + 2400*e1^3*e2^5*e3^5 - 704*e1^3*e2^5*e3^4 - 1024*e1^3*e2^5*e3^3 + 448*e1^3*e2^5*e3^2 + 16*e1^3*e2^5*e3 + 512*e1^3*e2^4*e3^8 + 1536*e1^3*e2^4*e3^7 - 6016*e1^3*e2^4*e3^6 + 5248*e1^3*e2^4*e3^5 - 704*e1^3*e2^4*e3^4 - 640*e1^3*e2^4*e3^3 + 64*e1^3*e2^4*e3^2 + 4*e1^3*e2^4*e3 - 1024*e1^3*e2^3*e3^8 + 4608*e1^3*e2^3*e3^7 - 6016*e1^3*e2^3*e3^6 + 2400*e1^3*e2^3*e3^5 + 160*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 - 1024*e1^3*e2^2*e3^8 + 1536*e1^3*e2^2*e3^7 - 128*e1^3*e2^2*e3^6 - 416*e1^3*e2^2*e3^5 + 32*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^2 - 32*e1^2*e2^7*e3^5 + 32*e1^2*e2^7*e3^4 + 64*e1^2*e2^7*e3^3 - 40*e1^2*e2^7*e3^2 - 224*e1^2*e2^6*e3^6 + 384*e1^2*e2^6*e3^5 - 480*e1^2*e2^6*e3^4 + 448*e1^2*e2^6*e3^3 - 164*e1^2*e2^6*e3^2 + 512*e1^2*e2^5*e3^7 - 416*e1^2*e2^5*e3^6 + 160*e1^2*e2^5*e3^5 - 640*e1^2*e2^5*e3^4 + 448*e1^2*e2^5*e3^3 - 40*e1^2*e2^5*e3^2 - 256*e1^2*e2^4*e3^8 - 512*e1^2*e2^4*e3^7 + 1024*e1^2*e2^4*e3^6 + 160*e1^2*e2^4*e3^5 - 480*e1^2*e2^4*e3^4 + 64*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 - 416*e1^2*e2^3*e3^6 + 384*e1^2*e2^3*e3^5 + 32*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^3 + 32*e1*e2^7*e3^5 - 64*e1*e2^7*e3^4 + 16*e1*e2^7*e3^3 - 32*e1*e2^6*e3^6 + 32*e1*e2^6*e3^5 + 64*e1*e2^6*e3^4 - 40*e1*e2^6*e3^3 + 32*e1*e2^5*e3^6 - 128*e1*e2^5*e3^5 + 64*e1*e2^5*e3^4 + 16*e1*e2^5*e3^3 + 32*e1*e2^4*e3^6 + 32*e1*e2^4*e3^5 - 64*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 - 32*e1^7*e2^5*e3^3 + 32*e1^7*e2^5*e3^2 - 4*e1^7*e2^4*e3^5 + 64*e1^7*e2^4*e3^4 - 32*e1^7*e2^4*e3^3 - 32*e1^7*e2^4*e3^2 - 16*e1^7*e2^3*e3^5 - 64*e1^7*e2^3*e3^4 + 128*e1^7*e2^3*e3^3 - 32*e1^7*e2^3*e3^2 + 40*e1^7*e2^2*e3^5 - 64*e1^7*e2^2*e3^4 - 32*e1^7*e2^2*e3^3 + 32*e1^7*e2^2*e3^2 - 16*e1^7*e2*e3^5 + 64*e1^7*e2*e3^4 - 32*e1^7*e2*e3^3 - 4*e1^7*e3^5 + 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 - 32*e1^6*e2^5*e3^4 - 384*e1^6*e2^5*e3^3 + 416*e1^6*e2^5*e3^2 + 512*e1^6*e2^5*e3 - 512*e1^6*e2^5 + 6*e1^6*e2^4*e3^6 - 64*e1^6*e2^4*e3^5 + 480*e1^6*e2^4*e3^4 - 160*e1^6*e2^4*e3^3 - 1024*e1^6*e2^4*e3^2 + 512*e1^6*e2^4*e3 + 256*e1^6*e2^4 + 40*e1^6*e2^3*e3^6 - 448*e1^6*e2^3*e3^5 + 640*e1^6*e2^3*e3^4 - 160*e1^6*e2^3*e3^3 + 416*e1^6*e2^3*e3^2 - 512*e1^6*e2^3*e3 + 164*e1^6*e2^2*e3^6 - 448*e1^6*e2^2*e3^5 + 480*e1^6*e2^2*e3^4 - 384*e1^6*e2^2*e3^3 + 224*e1^6*e2^2*e3^2 + 40*e1^6*e2*e3^6 - 64*e1^6*e2*e3^5 - 32*e1^6*e2*e3^4 + 32*e1^6*e2*e3^3 + 6*e1^6*e3^6 - 512*e1^5*e2^7*e3^2 + 1024*e1^5*e2^7*e3 - 512*e1^5*e2^7 - 32*e1^5*e2^6*e3^4 + 416*e1^5*e2^6*e3^3 + 128*e1^5*e2^6*e3^2 - 1536*e1^5*e2^6*e3 + 1024*e1^5*e2^6 + 128*e1^5*e2^5*e3^5 - 160*e1^5*e2^5*e3^4 - 2400*e1^5*e2^5*e3^3 + 6016*e1^5*e2^5*e3^2 - 4608*e1^5*e2^5*e3 + 1024*e1^5*e2^5 - 4*e1^5*e2^4*e3^7 - 64*e1^5*e2^4*e3^6 + 640*e1^5*e2^4*e3^5 + 704*e1^5*e2^4*e3^4 - 5248*e1^5*e2^4*e3^3 + 6016*e1^5*e2^4*e3^2 - 1536*e1^5*e2^4*e3 - 512*e1^5*e2^4 - 16*e1^5*e2^3*e3^7 - 448*e1^5*e2^3*e3^6 + 1024*e1^5*e2^3*e3^5 + 704*e1^5*e2^3*e3^4 - 2400*e1^5*e2^3*e3^3 + 128*e1^5*e2^3*e3^2 + 1024*e1^5*e2^3*e3 + 40*e1^5*e2^2*e3^7 - 448*e1^5*e2^2*e3^6 + 640*e1^5*e2^2*e3^5 - 160*e1^5*e2^2*e3^4 + 416*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 - 16*e1^5*e2*e3^7 - 64*e1^5*e2*e3^6 + 128*e1^5*e2*e3^5 - 32*e1^5*e2*e3^4 - 4*e1^5*e3^7 + 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 - 32*e1^4*e2^6*e3^5 - 1024*e1^4*e2^6*e3^4 + 6016*e1^4*e2^6*e3^3 - 12896*e1^4*e2^6*e3^2 + 12288*e1^4*e2^6*e3 - 4352*e1^4*e2^6 - 32*e1^4*e2^5*e3^6 - 160*e1^4*e2^5*e3^5 - 5248*e1^4*e2^5*e3^4 + 21632*e1^4*e2^5*e3^3 - 27968*e1^4*e2^5*e3^2 + 12288*e1^4*e2^5*e3 - 512*e1^4*e2^5 + e1^4*e2^4*e3^8 + 64*e1^4*e2^4*e3^7 + 480*e1^4*e2^4*e3^6 + 704*e1^4*e2^4*e3^5 - 11776*e1^4*e2^4*e3^4 + 21632*e1^4*e2^4*e3^3 - 12896*e1^4*e2^4*e3^2 + 1536*e1^4*e2^4*e3 + 256*e1^4*e2^4 - 4*e1^4*e2^3*e3^8 - 64*e1^4*e2^3*e3^7 + 640*e1^4*e2^3*e3^6 + 704*e1^4*e2^3*e3^5 - 5248*e1^4*e2^3*e3^4 + 6016*e1^4*e2^3*e3^3 - 1536*e1^4*e2^3*e3^2 - 512*e1^4*e2^3*e3 + 6*e1^4*e2^2*e3^8 - 64*e1^4*e2^2*e3^7 + 480*e1^4*e2^2*e3^6 - 160*e1^4*e2^2*e3^5 - 1024*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 + 64*e1^4*e2*e3^7 - 32*e1^4*e2*e3^6 - 32*e1^4*e2*e3^5 + e1^4*e3^8 - 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 - 4608*e1^3*e2^7*e3^3 + 12288*e1^3*e2^7*e3^2 - 12800*e1^3*e2^7*e3 + 4608*e1^3*e2^7 + 32*e1^3*e2^6*e3^6 + 416*e1^3*e2^6*e3^5 + 6016*e1^3*e2^6*e3^4 - 27968*e1^3*e2^6*e3^3 + 40448*e1^3*e2^6*e3^2 - 23552*e1^3*e2^6*e3 + 4608*e1^3*e2^6 - 32*e1^3*e2^5*e3^7 - 384*e1^3*e2^5*e3^6 - 2400*e1^3*e2^5*e3^5 + 21632*e1^3*e2^5*e3^4 - 46464*e1^3*e2^5*e3^3 + 40448*e1^3*e2^5*e3^2 - 12800*e1^3*e2^5*e3 - 32*e1^3*e2^4*e3^7 - 160*e1^3*e2^4*e3^6 - 5248*e1^3*e2^4*e3^5 + 21632*e1^3*e2^4*e3^4 - 27968*e1^3*e2^4*e3^3 + 12288*e1^3*e2^4*e3^2 - 512*e1^3*e2^4*e3 + 128*e1^3*e2^3*e3^7 - 160*e1^3*e2^3*e3^6 - 2400*e1^3*e2^3*e3^5 + 6016*e1^3*e2^3*e3^4 - 4608*e1^3*e2^3*e3^3 + 1024*e1^3*e2^3*e3^2 - 32*e1^3*e2^2*e3^7 - 384*e1^3*e2^2*e3^6 + 416*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 + 256*e1^2*e2^8*e3^4 + 1024*e1^2*e2^8*e3^3 - 4352*e1^2*e2^8*e3^2 + 4608*e1^2*e2^8*e3 - 1536*e1^2*e2^8 - 512*e1^2*e2^7*e3^5 - 1536*e1^2*e2^7*e3^4 + 12288*e1^2*e2^7*e3^3 - 23552*e1^2*e2^7*e3^2 + 18944*e1^2*e2^7*e3 - 5632*e1^2*e2^7 + 224*e1^2*e2^6*e3^6 + 128*e1^2*e2^6*e3^5 - 12896*e1^2*e2^6*e3^4 + 40448*e1^2*e2^6*e3^3 - 45312*e1^2*e2^6*e3^2 + 18944*e1^2*e2^6*e3 - 1536*e1^2*e2^6 + 32*e1^2*e2^5*e3^7 + 416*e1^2*e2^5*e3^6 + 6016*e1^2*e2^5*e3^5 - 27968*e1^2*e2^5*e3^4 + 40448*e1^2*e2^5*e3^3 - 23552*e1^2*e2^5*e3^2 + 4608*e1^2*e2^5*e3 - 32*e1^2*e2^4*e3^7 - 1024*e1^2*e2^4*e3^6 + 6016*e1^2*e2^4*e3^5 - 12896*e1^2*e2^4*e3^4 + 12288*e1^2*e2^4*e3^3 - 4352*e1^2*e2^4*e3^2 - 32*e1^2*e2^3*e3^7 + 416*e1^2*e2^3*e3^6 + 128*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^8*e3^4 - 512*e1*e2^8*e3^3 + 4608*e1*e2^8*e3^2 - 5632*e1*e2^8*e3 + 2048*e1*e2^8 + 1024*e1*e2^7*e3^5 + 1536*e1*e2^7*e3^4 - 12800*e1*e2^7*e3^3 + 18944*e1*e2^7*e3^2 - 10752*e1*e2^7*e3 + 2048*e1*e2^7 - 512*e1*e2^6*e3^6 - 1536*e1*e2^6*e3^5 + 12288*e1*e2^6*e3^4 - 23552*e1*e2^6*e3^3 + 18944*e1*e2^6*e3^2 - 5632*e1*e2^6*e3 + 512*e1*e2^5*e3^6 - 4608*e1*e2^5*e3^5 + 12288*e1*e2^5*e3^4 - 12800*e1*e2^5*e3^3 + 4608*e1*e2^5*e3^2 + 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^8*e3^4 - 1536*e2^8*e3^2 + 2048*e2^8*e3 - 768*e2^8 - 512*e2^7*e3^5 - 512*e2^7*e3^4 + 4608*e2^7*e3^3 - 5632*e2^7*e3^2 + 2048*e2^7*e3 + 256*e2^6*e3^6 + 1024*e2^6*e3^5 - 4352*e2^6*e3^4 + 4608*e2^6*e3^3 - 1536*e2^6*e3^2 - 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, 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 + 64*e1^7*e2^4*e3^4 - 64*e1^7*e2^4*e3^3 - 64*e1^7*e2^4*e3^2 + 64*e1^7*e2^4*e3 - 32*e1^7*e2^3*e3^5 - 32*e1^7*e2^3*e3^4 + 128*e1^7*e2^3*e3^3 - 32*e1^7*e2^3*e3^2 - 32*e1^7*e2^3*e3 + 32*e1^7*e2^2*e3^5 - 32*e1^7*e2^2*e3^4 - 32*e1^7*e2^2*e3^3 + 32*e1^7*e2^2*e3^2 + 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 - 64*e1^6*e2^5*e3^4 - 448*e1^6*e2^5*e3^3 - 448*e1^6*e2^5*e3^2 - 64*e1^6*e2^5*e3 - 32*e1^6*e2^4*e3^5 + 480*e1^6*e2^4*e3^4 + 640*e1^6*e2^4*e3^3 + 480*e1^6*e2^4*e3^2 - 32*e1^6*e2^4*e3 + 32*e1^6*e2^3*e3^6 - 384*e1^6*e2^3*e3^5 - 160*e1^6*e2^3*e3^4 - 160*e1^6*e2^3*e3^3 - 384*e1^6*e2^3*e3^2 + 32*e1^6*e2^3*e3 + 224*e1^6*e2^2*e3^6 + 416*e1^6*e2^2*e3^5 - 1024*e1^6*e2^2*e3^4 + 416*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 - 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 - 64*e1^5*e2^6*e3^4 - 448*e1^5*e2^6*e3^3 - 448*e1^5*e2^6*e3^2 - 64*e1^5*e2^6*e3 + 128*e1^5*e2^5*e3^5 + 640*e1^5*e2^5*e3^4 + 1024*e1^5*e2^5*e3^3 + 640*e1^5*e2^5*e3^2 + 128*e1^5*e2^5*e3 - 32*e1^5*e2^4*e3^6 - 160*e1^5*e2^4*e3^5 + 704*e1^5*e2^4*e3^4 + 704*e1^5*e2^4*e3^3 - 160*e1^5*e2^4*e3^2 - 32*e1^5*e2^4*e3 + 416*e1^5*e2^3*e3^6 - 2400*e1^5*e2^3*e3^5 - 5248*e1^5*e2^3*e3^4 - 2400*e1^5*e2^3*e3^3 + 416*e1^5*e2^3*e3^2 - 512*e1^5*e2^2*e3^7 + 128*e1^5*e2^2*e3^6 + 6016*e1^5*e2^2*e3^5 + 6016*e1^5*e2^2*e3^4 + 128*e1^5*e2^2*e3^3 - 512*e1^5*e2^2*e3^2 + 1024*e1^5*e2*e3^7 - 1536*e1^5*e2*e3^6 - 4608*e1^5*e2*e3^5 - 1536*e1^5*e2*e3^4 + 1024*e1^5*e2*e3^3 - 512*e1^5*e3^7 + 1024*e1^5*e3^6 + 1024*e1^5*e3^5 - 512*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 + 64*e1^4*e2^7*e3^4 - 64*e1^4*e2^7*e3^3 - 64*e1^4*e2^7*e3^2 + 64*e1^4*e2^7*e3 - 32*e1^4*e2^6*e3^5 + 480*e1^4*e2^6*e3^4 + 640*e1^4*e2^6*e3^3 + 480*e1^4*e2^6*e3^2 - 32*e1^4*e2^6*e3 - 32*e1^4*e2^5*e3^6 - 160*e1^4*e2^5*e3^5 + 704*e1^4*e2^5*e3^4 + 704*e1^4*e2^5*e3^3 - 160*e1^4*e2^5*e3^2 - 32*e1^4*e2^5*e3 - 1024*e1^4*e2^4*e3^6 - 5248*e1^4*e2^4*e3^5 - 11776*e1^4*e2^4*e3^4 - 5248*e1^4*e2^4*e3^3 - 1024*e1^4*e2^4*e3^2 + 512*e1^4*e2^3*e3^7 + 6016*e1^4*e2^3*e3^6 + 21632*e1^4*e2^3*e3^5 + 21632*e1^4*e2^3*e3^4 + 6016*e1^4*e2^3*e3^3 + 512*e1^4*e2^3*e3^2 + 256*e1^4*e2^2*e3^8 - 1536*e1^4*e2^2*e3^7 - 12896*e1^4*e2^2*e3^6 - 27968*e1^4*e2^2*e3^5 - 12896*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^8 + 1536*e1^4*e2*e3^7 + 12288*e1^4*e2*e3^6 + 12288*e1^4*e2*e3^5 + 1536*e1^4*e2*e3^4 - 512*e1^4*e2*e3^3 + 256*e1^4*e3^8 - 512*e1^4*e3^7 - 4352*e1^4*e3^6 - 512*e1^4*e3^5 + 256*e1^4*e3^4 - 32*e1^3*e2^7*e3^5 - 32*e1^3*e2^7*e3^4 + 128*e1^3*e2^7*e3^3 - 32*e1^3*e2^7*e3^2 - 32*e1^3*e2^7*e3 + 32*e1^3*e2^6*e3^6 - 384*e1^3*e2^6*e3^5 - 160*e1^3*e2^6*e3^4 - 160*e1^3*e2^6*e3^3 - 384*e1^3*e2^6*e3^2 + 32*e1^3*e2^6*e3 + 416*e1^3*e2^5*e3^6 - 2400*e1^3*e2^5*e3^5 - 5248*e1^3*e2^5*e3^4 - 2400*e1^3*e2^5*e3^3 + 416*e1^3*e2^5*e3^2 + 512*e1^3*e2^4*e3^7 + 6016*e1^3*e2^4*e3^6 + 21632*e1^3*e2^4*e3^5 + 21632*e1^3*e2^4*e3^4 + 6016*e1^3*e2^4*e3^3 + 512*e1^3*e2^4*e3^2 - 512*e1^3*e2^3*e3^8 - 4608*e1^3*e2^3*e3^7 - 27968*e1^3*e2^3*e3^6 - 46464*e1^3*e2^3*e3^5 - 27968*e1^3*e2^3*e3^4 - 4608*e1^3*e2^3*e3^3 - 512*e1^3*e2^3*e3^2 + 1024*e1^3*e2^2*e3^8 + 12288*e1^3*e2^2*e3^7 + 40448*e1^3*e2^2*e3^6 + 40448*e1^3*e2^2*e3^5 + 12288*e1^3*e2^2*e3^4 + 1024*e1^3*e2^2*e3^3 - 512*e1^3*e2*e3^8 - 12800*e1^3*e2*e3^7 - 23552*e1^3*e2*e3^6 - 12800*e1^3*e2*e3^5 - 512*e1^3*e2*e3^4 + 4608*e1^3*e3^7 + 4608*e1^3*e3^6 + 32*e1^2*e2^7*e3^5 - 32*e1^2*e2^7*e3^4 - 32*e1^2*e2^7*e3^3 + 32*e1^2*e2^7*e3^2 + 224*e1^2*e2^6*e3^6 + 416*e1^2*e2^6*e3^5 - 1024*e1^2*e2^6*e3^4 + 416*e1^2*e2^6*e3^3 + 224*e1^2*e2^6*e3^2 - 512*e1^2*e2^5*e3^7 + 128*e1^2*e2^5*e3^6 + 6016*e1^2*e2^5*e3^5 + 6016*e1^2*e2^5*e3^4 + 128*e1^2*e2^5*e3^3 - 512*e1^2*e2^5*e3^2 + 256*e1^2*e2^4*e3^8 - 1536*e1^2*e2^4*e3^7 - 12896*e1^2*e2^4*e3^6 - 27968*e1^2*e2^4*e3^5 - 12896*e1^2*e2^4*e3^4 - 1536*e1^2*e2^4*e3^3 + 256*e1^2*e2^4*e3^2 + 1024*e1^2*e2^3*e3^8 + 12288*e1^2*e2^3*e3^7 + 40448*e1^2*e2^3*e3^6 + 40448*e1^2*e2^3*e3^5 + 12288*e1^2*e2^3*e3^4 + 1024*e1^2*e2^3*e3^3 - 4352*e1^2*e2^2*e3^8 - 23552*e1^2*e2^2*e3^7 - 45312*e1^2*e2^2*e3^6 - 23552*e1^2*e2^2*e3^5 - 4352*e1^2*e2^2*e3^4 + 4608*e1^2*e2*e3^8 + 18944*e1^2*e2*e3^7 + 18944*e1^2*e2*e3^6 + 4608*e1^2*e2*e3^5 - 1536*e1^2*e3^8 - 5632*e1^2*e3^7 - 1536*e1^2*e3^6 - 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 - 4608*e1*e2^5*e3^5 - 1536*e1*e2^5*e3^4 + 1024*e1*e2^5*e3^3 - 512*e1*e2^4*e3^8 + 1536*e1*e2^4*e3^7 + 12288*e1*e2^4*e3^6 + 12288*e1*e2^4*e3^5 + 1536*e1*e2^4*e3^4 - 512*e1*e2^4*e3^3 - 512*e1*e2^3*e3^8 - 12800*e1*e2^3*e3^7 - 23552*e1*e2^3*e3^6 - 12800*e1*e2^3*e3^5 - 512*e1*e2^3*e3^4 + 4608*e1*e2^2*e3^8 + 18944*e1*e2^2*e3^7 + 18944*e1*e2^2*e3^6 + 4608*e1*e2^2*e3^5 - 5632*e1*e2*e3^8 - 10752*e1*e2*e3^7 - 5632*e1*e2*e3^6 + 2048*e1*e3^8 + 2048*e1*e3^7 + 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 + 1024*e2^5*e3^5 - 512*e2^5*e3^4 + 256*e2^4*e3^8 - 512*e2^4*e3^7 - 4352*e2^4*e3^6 - 512*e2^4*e3^5 + 256*e2^4*e3^4 + 4608*e2^3*e3^7 + 4608*e2^3*e3^6 - 1536*e2^2*e3^8 - 5632*e2^2*e3^7 - 1536*e2^2*e3^6 + 2048*e2*e3^8 + 2048*e2*e3^7 - 768*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 + 32*e1^7*e2^4*e3^3 + 32*e1^7*e2^4*e3^2 - 64*e1^7*e2^4*e3 + 4*e1^7*e2^4 + 32*e1^7*e2^3*e3^4 - 128*e1^7*e2^3*e3^3 + 64*e1^7*e2^3*e3^2 + 16*e1^7*e2^3*e3 - 32*e1^7*e2^2*e3^5 + 32*e1^7*e2^2*e3^4 + 64*e1^7*e2^2*e3^3 - 40*e1^7*e2^2*e3^2 + 32*e1^7*e2*e3^5 - 64*e1^7*e2*e3^4 + 16*e1^7*e2*e3^3 + 4*e1^7*e3^4 - 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 - 416*e1^6*e2^5*e3^3 + 384*e1^6*e2^5*e3^2 + 32*e1^6*e2^5*e3 - 256*e1^6*e2^4*e3^6 - 512*e1^6*e2^4*e3^5 + 1024*e1^6*e2^4*e3^4 + 160*e1^6*e2^4*e3^3 - 480*e1^6*e2^4*e3^2 + 64*e1^6*e2^4*e3 - 6*e1^6*e2^4 + 512*e1^6*e2^3*e3^6 - 416*e1^6*e2^3*e3^5 + 160*e1^6*e2^3*e3^4 - 640*e1^6*e2^3*e3^3 + 448*e1^6*e2^3*e3^2 - 40*e1^6*e2^3*e3 - 224*e1^6*e2^2*e3^6 + 384*e1^6*e2^2*e3^5 - 480*e1^6*e2^2*e3^4 + 448*e1^6*e2^2*e3^3 - 164*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 + 32*e1^6*e2*e3^5 + 64*e1^6*e2*e3^4 - 40*e1^6*e2*e3^3 - 6*e1^6*e3^4 + 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 - 128*e1^5*e2^6*e3^3 - 416*e1^5*e2^6*e3^2 + 32*e1^5*e2^6*e3 - 1024*e1^5*e2^5*e3^6 + 4608*e1^5*e2^5*e3^5 - 6016*e1^5*e2^5*e3^4 + 2400*e1^5*e2^5*e3^3 + 160*e1^5*e2^5*e3^2 - 128*e1^5*e2^5*e3 + 512*e1^5*e2^4*e3^7 + 1536*e1^5*e2^4*e3^6 - 6016*e1^5*e2^4*e3^5 + 5248*e1^5*e2^4*e3^4 - 704*e1^5*e2^4*e3^3 - 640*e1^5*e2^4*e3^2 + 64*e1^5*e2^4*e3 + 4*e1^5*e2^4 - 1024*e1^5*e2^3*e3^7 - 128*e1^5*e2^3*e3^6 + 2400*e1^5*e2^3*e3^5 - 704*e1^5*e2^3*e3^4 - 1024*e1^5*e2^3*e3^3 + 448*e1^5*e2^3*e3^2 + 16*e1^5*e2^3*e3 + 512*e1^5*e2^2*e3^7 - 416*e1^5*e2^2*e3^6 + 160*e1^5*e2^2*e3^5 - 640*e1^5*e2^2*e3^4 + 448*e1^5*e2^2*e3^3 - 40*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^6 - 128*e1^5*e2*e3^5 + 64*e1^5*e2*e3^4 + 16*e1^5*e2*e3^3 + 4*e1^5*e3^4 - 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 + 4352*e1^4*e2^6*e3^6 - 12288*e1^4*e2^6*e3^5 + 12896*e1^4*e2^6*e3^4 - 6016*e1^4*e2^6*e3^3 + 1024*e1^4*e2^6*e3^2 + 32*e1^4*e2^6*e3 + 512*e1^4*e2^5*e3^7 - 12288*e1^4*e2^5*e3^6 + 27968*e1^4*e2^5*e3^5 - 21632*e1^4*e2^5*e3^4 + 5248*e1^4*e2^5*e3^3 + 160*e1^4*e2^5*e3^2 + 32*e1^4*e2^5*e3 - 256*e1^4*e2^4*e3^8 - 1536*e1^4*e2^4*e3^7 + 12896*e1^4*e2^4*e3^6 - 21632*e1^4*e2^4*e3^5 + 11776*e1^4*e2^4*e3^4 - 704*e1^4*e2^4*e3^3 - 480*e1^4*e2^4*e3^2 - 64*e1^4*e2^4*e3 - e1^4*e2^4 + 512*e1^4*e2^3*e3^8 + 1536*e1^4*e2^3*e3^7 - 6016*e1^4*e2^3*e3^6 + 5248*e1^4*e2^3*e3^5 - 704*e1^4*e2^3*e3^4 - 640*e1^4*e2^3*e3^3 + 64*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 + 1024*e1^4*e2^2*e3^6 + 160*e1^4*e2^2*e3^5 - 480*e1^4*e2^2*e3^4 + 64*e1^4*e2^2*e3^3 - 6*e1^4*e2^2*e3^2 + 32*e1^4*e2*e3^6 + 32*e1^4*e2*e3^5 - 64*e1^4*e2*e3^4 + 4*e1^4*e2*e3^3 - e1^4*e3^4 + 512*e1^3*e2^8*e3^4 - 1024*e1^3*e2^8*e3^3 + 512*e1^3*e2^8*e3^2 - 4608*e1^3*e2^7*e3^6 + 12800*e1^3*e2^7*e3^5 - 12288*e1^3*e2^7*e3^4 + 4608*e1^3*e2^7*e3^3 - 512*e1^3*e2^7*e3^2 - 4608*e1^3*e2^6*e3^7 + 23552*e1^3*e2^6*e3^6 - 40448*e1^3*e2^6*e3^5 + 27968*e1^3*e2^6*e3^4 - 6016*e1^3*e2^6*e3^3 - 416*e1^3*e2^6*e3^2 - 32*e1^3*e2^6*e3 + 12800*e1^3*e2^5*e3^7 - 40448*e1^3*e2^5*e3^6 + 46464*e1^3*e2^5*e3^5 - 21632*e1^3*e2^5*e3^4 + 2400*e1^3*e2^5*e3^3 + 384*e1^3*e2^5*e3^2 + 32*e1^3*e2^5*e3 + 512*e1^3*e2^4*e3^8 - 12288*e1^3*e2^4*e3^7 + 27968*e1^3*e2^4*e3^6 - 21632*e1^3*e2^4*e3^5 + 5248*e1^3*e2^4*e3^4 + 160*e1^3*e2^4*e3^3 + 32*e1^3*e2^4*e3^2 - 1024*e1^3*e2^3*e3^8 + 4608*e1^3*e2^3*e3^7 - 6016*e1^3*e2^3*e3^6 + 2400*e1^3*e2^3*e3^5 + 160*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 + 512*e1^3*e2^2*e3^8 - 512*e1^3*e2^2*e3^7 - 416*e1^3*e2^2*e3^6 + 384*e1^3*e2^2*e3^5 + 32*e1^3*e2^2*e3^4 - 32*e1^3*e2*e3^6 + 32*e1^3*e2*e3^5 + 1536*e1^2*e2^8*e3^6 - 4608*e1^2*e2^8*e3^5 + 4352*e1^2*e2^8*e3^4 - 1024*e1^2*e2^8*e3^3 - 256*e1^2*e2^8*e3^2 + 5632*e1^2*e2^7*e3^7 - 18944*e1^2*e2^7*e3^6 + 23552*e1^2*e2^7*e3^5 - 12288*e1^2*e2^7*e3^4 + 1536*e1^2*e2^7*e3^3 + 512*e1^2*e2^7*e3^2 + 1536*e1^2*e2^6*e3^8 - 18944*e1^2*e2^6*e3^7 + 45312*e1^2*e2^6*e3^6 - 40448*e1^2*e2^6*e3^5 + 12896*e1^2*e2^6*e3^4 - 128*e1^2*e2^6*e3^3 - 224*e1^2*e2^6*e3^2 - 4608*e1^2*e2^5*e3^8 + 23552*e1^2*e2^5*e3^7 - 40448*e1^2*e2^5*e3^6 + 27968*e1^2*e2^5*e3^5 - 6016*e1^2*e2^5*e3^4 - 416*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 4352*e1^2*e2^4*e3^8 - 12288*e1^2*e2^4*e3^7 + 12896*e1^2*e2^4*e3^6 - 6016*e1^2*e2^4*e3^5 + 1024*e1^2*e2^4*e3^4 + 32*e1^2*e2^4*e3^3 - 1024*e1^2*e2^3*e3^8 + 1536*e1^2*e2^3*e3^7 - 128*e1^2*e2^3*e3^6 - 416*e1^2*e2^3*e3^5 + 32*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 - 2048*e1*e2^8*e3^7 + 5632*e1*e2^8*e3^6 - 4608*e1*e2^8*e3^5 + 512*e1*e2^8*e3^4 + 512*e1*e2^8*e3^3 - 2048*e1*e2^7*e3^8 + 10752*e1*e2^7*e3^7 - 18944*e1*e2^7*e3^6 + 12800*e1*e2^7*e3^5 - 1536*e1*e2^7*e3^4 - 1024*e1*e2^7*e3^3 + 5632*e1*e2^6*e3^8 - 18944*e1*e2^6*e3^7 + 23552*e1*e2^6*e3^6 - 12288*e1*e2^6*e3^5 + 1536*e1*e2^6*e3^4 + 512*e1*e2^6*e3^3 - 4608*e1*e2^5*e3^8 + 12800*e1*e2^5*e3^7 - 12288*e1*e2^5*e3^6 + 4608*e1*e2^5*e3^5 - 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 + 768*e2^8*e3^8 - 2048*e2^8*e3^7 + 1536*e2^8*e3^6 - 256*e2^8*e3^4 - 2048*e2^7*e3^8 + 5632*e2^7*e3^7 - 4608*e2^7*e3^6 + 512*e2^7*e3^5 + 512*e2^7*e3^4 + 1536*e2^6*e3^8 - 4608*e2^6*e3^7 + 4352*e2^6*e3^6 - 1024*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, 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 - 52*e1^7*e2^4*e3^4 + 32*e1^7*e2^4*e3^3 + 32*e1^7*e2^4*e3^2 + 32*e1^7*e2^3*e3^5 + 56*e1^7*e2^3*e3^4 - 128*e1^7*e2^3*e3^3 + 32*e1^7*e2^3*e3^2 - 64*e1^7*e2^2*e3^5 + 56*e1^7*e2^2*e3^4 + 32*e1^7*e2^2*e3^3 - 32*e1^7*e2^2*e3^2 + 32*e1^7*e2*e3^5 - 52*e1^7*e2*e3^4 + 32*e1^7*e2*e3^3 - 4*e1^7*e3^4 + 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 + 56*e1^6*e2^5*e3^4 - 544*e1^6*e2^5*e3^3 + 480*e1^6*e2^5*e3^2 + 512*e1^6*e2^5*e3 - 512*e1^6*e2^5 + 32*e1^6*e2^4*e3^5 + 426*e1^6*e2^4*e3^4 + 96*e1^6*e2^4*e3^3 - 1344*e1^6*e2^4*e3^2 + 512*e1^6*e2^4*e3 + 256*e1^6*e2^4 - 32*e1^6*e2^3*e3^6 - 544*e1^6*e2^3*e3^5 + 560*e1^6*e2^3*e3^4 + 96*e1^6*e2^3*e3^3 + 480*e1^6*e2^3*e3^2 - 512*e1^6*e2^3*e3 + 320*e1^6*e2^2*e3^6 - 544*e1^6*e2^2*e3^5 + 426*e1^6*e2^2*e3^4 - 544*e1^6*e2^2*e3^3 + 320*e1^6*e2^2*e3^2 - 32*e1^6*e2*e3^6 + 32*e1^6*e2*e3^5 + 56*e1^6*e2*e3^4 - 64*e1^6*e2*e3^3 + 6*e1^6*e3^4 - 4*e1^5*e2^7*e3^4 + 32*e1^5*e2^7*e3^3 - 32*e1^5*e2^7*e3^2 + 56*e1^5*e2^6*e3^4 - 544*e1^5*e2^6*e3^3 + 480*e1^5*e2^6*e3^2 + 512*e1^5*e2^6*e3 - 512*e1^5*e2^6 - 128*e1^5*e2^5*e3^5 + 560*e1^5*e2^5*e3^4 + 2624*e1^5*e2^5*e3^3 - 7104*e1^5*e2^5*e3^2 + 4608*e1^5*e2^5*e3 - 512*e1^5*e2^5 + 32*e1^5*e2^4*e3^6 + 96*e1^5*e2^4*e3^5 - 6244*e1^5*e2^4*e3^4 + 12672*e1^5*e2^4*e3^3 - 7104*e1^5*e2^4*e3^2 + 512*e1^5*e2^4*e3 + 480*e1^5*e2^3*e3^6 + 2624*e1^5*e2^3*e3^5 - 6244*e1^5*e2^3*e3^4 + 2624*e1^5*e2^3*e3^3 + 480*e1^5*e2^3*e3^2 - 512*e1^5*e2^2*e3^7 + 480*e1^5*e2^2*e3^6 + 96*e1^5*e2^2*e3^5 + 560*e1^5*e2^2*e3^4 - 544*e1^5*e2^2*e3^3 - 32*e1^5*e2^2*e3^2 + 32*e1^5*e2*e3^6 - 128*e1^5*e2*e3^5 + 56*e1^5*e2*e3^4 + 32*e1^5*e2*e3^3 - 4*e1^5*e3^4 + e1^4*e2^8*e3^4 - 52*e1^4*e2^7*e3^4 + 32*e1^4*e2^7*e3^3 + 32*e1^4*e2^7*e3^2 + 32*e1^4*e2^6*e3^5 + 426*e1^4*e2^6*e3^4 + 96*e1^4*e2^6*e3^3 - 1344*e1^4*e2^6*e3^2 + 512*e1^4*e2^6*e3 + 256*e1^4*e2^6 + 32*e1^4*e2^5*e3^6 + 96*e1^4*e2^5*e3^5 - 6244*e1^4*e2^5*e3^4 + 12672*e1^4*e2^5*e3^3 - 7104*e1^4*e2^5*e3^2 + 512*e1^4*e2^5*e3 - 1344*e1^4*e2^4*e3^6 + 12672*e1^4*e2^4*e3^5 - 22566*e1^4*e2^4*e3^4 + 12672*e1^4*e2^4*e3^3 - 1344*e1^4*e2^4*e3^2 + 512*e1^4*e2^3*e3^7 - 7104*e1^4*e2^3*e3^6 + 12672*e1^4*e2^3*e3^5 - 6244*e1^4*e2^3*e3^4 + 96*e1^4*e2^3*e3^3 + 32*e1^4*e2^3*e3^2 + 256*e1^4*e2^2*e3^8 + 512*e1^4*e2^2*e3^7 - 1344*e1^4*e2^2*e3^6 + 96*e1^4*e2^2*e3^5 + 426*e1^4*e2^2*e3^4 + 32*e1^4*e2^2*e3^3 + 32*e1^4*e2*e3^6 + 32*e1^4*e2*e3^5 - 52*e1^4*e2*e3^4 + e1^4*e3^4 - 4*e1^3*e2^8*e3^4 + 32*e1^3*e2^7*e3^5 + 56*e1^3*e2^7*e3^4 - 128*e1^3*e2^7*e3^3 + 32*e1^3*e2^7*e3^2 - 32*e1^3*e2^6*e3^6 - 544*e1^3*e2^6*e3^5 + 560*e1^3*e2^6*e3^4 + 96*e1^3*e2^6*e3^3 + 480*e1^3*e2^6*e3^2 - 512*e1^3*e2^6*e3 + 480*e1^3*e2^5*e3^6 + 2624*e1^3*e2^5*e3^5 - 6244*e1^3*e2^5*e3^4 + 2624*e1^3*e2^5*e3^3 + 480*e1^3*e2^5*e3^2 + 512*e1^3*e2^4*e3^7 - 7104*e1^3*e2^4*e3^6 + 12672*e1^3*e2^4*e3^5 - 6244*e1^3*e2^4*e3^4 + 96*e1^3*e2^4*e3^3 + 32*e1^3*e2^4*e3^2 - 512*e1^3*e2^3*e3^8 + 4608*e1^3*e2^3*e3^7 - 7104*e1^3*e2^3*e3^6 + 2624*e1^3*e2^3*e3^5 + 560*e1^3*e2^3*e3^4 - 128*e1^3*e2^3*e3^3 - 512*e1^3*e2^2*e3^8 + 512*e1^3*e2^2*e3^7 + 480*e1^3*e2^2*e3^6 - 544*e1^3*e2^2*e3^5 + 56*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^4 - 64*e1^2*e2^7*e3^5 + 56*e1^2*e2^7*e3^4 + 32*e1^2*e2^7*e3^3 - 32*e1^2*e2^7*e3^2 + 320*e1^2*e2^6*e3^6 - 544*e1^2*e2^6*e3^5 + 426*e1^2*e2^6*e3^4 - 544*e1^2*e2^6*e3^3 + 320*e1^2*e2^6*e3^2 - 512*e1^2*e2^5*e3^7 + 480*e1^2*e2^5*e3^6 + 96*e1^2*e2^5*e3^5 + 560*e1^2*e2^5*e3^4 - 544*e1^2*e2^5*e3^3 - 32*e1^2*e2^5*e3^2 + 256*e1^2*e2^4*e3^8 + 512*e1^2*e2^4*e3^7 - 1344*e1^2*e2^4*e3^6 + 96*e1^2*e2^4*e3^5 + 426*e1^2*e2^4*e3^4 + 32*e1^2*e2^4*e3^3 - 512*e1^2*e2^3*e3^8 + 512*e1^2*e2^3*e3^7 + 480*e1^2*e2^3*e3^6 - 544*e1^2*e2^3*e3^5 + 56*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^4 + 32*e1*e2^7*e3^5 - 52*e1*e2^7*e3^4 + 32*e1*e2^7*e3^3 - 32*e1*e2^6*e3^6 + 32*e1*e2^6*e3^5 + 56*e1*e2^6*e3^4 - 64*e1*e2^6*e3^3 + 32*e1*e2^5*e3^6 - 128*e1*e2^5*e3^5 + 56*e1*e2^5*e3^4 + 32*e1*e2^5*e3^3 + 32*e1*e2^4*e3^6 + 32*e1*e2^4*e3^5 - 52*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 ] ;