/******************************************* 5/7/2007 Found equation of a Humbert component of discriminant 20 (degree 32) Ran the following to produce the output: load "../mar07-h20.txt"; h20:=fourmodeight(32,20,260); Took 27701.950 seconds (7h49m49s) *****************************************/ h20:= e1^16*e2^8*e3^8 - 8*e1^16*e2^8*e3^7 + 28*e1^16*e2^8*e3^6 - 56*e1^16*e2^8*e3^5 + 70*e1^16*e2^8*e3^4 - 56*e1^16*e2^8*e3^3 + 28*e1^16*e2^8*e3^2 - 8*e1^16*e2^8*e3 + e1^16*e2^8 - 8*e1^15*e2^9*e3^8 - 1472*e1^15*e2^9*e3^7 + 800*e1^15*e2^9*e3^6 + 10176*e1^15*e2^9*e3^5 - 18992*e1^15*e2^9*e3^4 + 10176*e1^15*e2^9*e3^3 + 800*e1^15*e2^9*e3^2 - 1472*e1^15*e2^9*e3 - 8*e1^15*e2^9 + 5120*e1^15*e2^8*e3^8 + 23552*e1^15*e2^8*e3^7 - 101376*e1^15*e2^8*e3^6 + 72704*e1^15*e2^8*e3^5 + 72704*e1^15*e2^8*e3^4 - 101376*e1^15*e2^8*e3^3 + 23552*e1^15*e2^8*e3^2 + 5120*e1^15*e2^8*e3 - 3592*e1^15*e2^7*e3^9 - 68032*e1^15*e2^7*e3^8 + 103200*e1^15*e2^7*e3^7 + 256960*e1^15*e2^7*e3^6 - 577072*e1^15*e2^7*e3^5 + 256960*e1^15*e2^7*e3^4 + 103200*e1^15*e2^7*e3^3 - 68032*e1^15*e2^7*e3^2 - 3592*e1^15*e2^7*e3 + 43520*e1^15*e2^6*e3^9 + 126464*e1^15*e2^6*e3^8 - 640512*e1^15*e2^6*e3^7 + 470528*e1^15*e2^6*e3^6 + 470528*e1^15*e2^6*e3^5 - 640512*e1^15*e2^6*e3^4 + 126464*e1^15*e2^6*e3^3 + 43520*e1^15*e2^6*e3^2 - 138240*e1^15*e2^5*e3^9 + 165888*e1^15*e2^5*e3^8 + 580608*e1^15*e2^5*e3^7 - 1216512*e1^15*e2^5*e3^6 + 580608*e1^15*e2^5*e3^5 + 165888*e1^15*e2^5*e3^4 - 138240*e1^15*e2^5*e3^3 + 163840*e1^15*e2^4*e3^9 - 491520*e1^15*e2^4*e3^8 + 327680*e1^15*e2^4*e3^7 + 327680*e1^15*e2^4*e3^6 - 491520*e1^15*e2^4*e3^5 + 163840*e1^15*e2^4*e3^4 - 65536*e1^15*e2^3*e3^9 + 262144*e1^15*e2^3*e3^8 - 393216*e1^15*e2^3*e3^7 + 262144*e1^15*e2^3*e3^6 - 65536*e1^15*e2^3*e3^5 + 28*e1^14*e2^10*e3^8 + 800*e1^14*e2^10*e3^7 + 633616*e1^14*e2^10*e3^6 + 3749344*e1^14*e2^10*e3^5 + 8009640*e1^14*e2^10*e3^4 + 3749344*e1^14*e2^10*e3^3 + 633616*e1^14*e2^10*e3^2 + 800*e1^14*e2^10*e3 + 28*e1^14*e2^10 + 23552*e1^14*e2^9*e3^8 - 1936384*e1^14*e2^9*e3^7 - 15303680*e1^14*e2^9*e3^6 - 49892352*e1^14*e2^9*e3^5 - 49892352*e1^14*e2^9*e3^4 - 15303680*e1^14*e2^9*e3^3 - 1936384*e1^14*e2^9*e3^2 + 23552*e1^14*e2^9*e3 - 68032*e1^14*e2^8*e3^9 + 2289152*e1^14*e2^8*e3^8 + 21769984*e1^14*e2^8*e3^7 + 117801472*e1^14*e2^8*e3^6 + 186176896*e1^14*e2^8*e3^5 + 117801472*e1^14*e2^8*e3^4 + 21769984*e1^14*e2^8*e3^3 + 2289152*e1^14*e2^8*e3^2 - 68032*e1^14*e2^8*e3 + 43520*e1^14*e2^7*e3^10 - 1126400*e1^14*e2^7*e3^9 - 13665792*e1^14*e2^7*e3^8 - 126743040*e1^14*e2^7*e3^7 - 328270336*e1^14*e2^7*e3^6 - 328270336*e1^14*e2^7*e3^5 - 126743040*e1^14*e2^7*e3^4 - 13665792*e1^14*e2^7*e3^3 - 1126400*e1^14*e2^7*e3^2 + 43520*e1^14*e2^7*e3 + 140316*e1^14*e2^6*e3^10 + 3744544*e1^14*e2^6*e3^9 + 61545232*e1^14*e2^6*e3^8 + 294589920*e1^14*e2^6*e3^7 + 454365096*e1^14*e2^6*e3^6 + 294589920*e1^14*e2^6*e3^5 + 61545232*e1^14*e2^6*e3^4 + 3744544*e1^14*e2^6*e3^3 + 140316*e1^14*e2^6*e3^2 - 294400*e1^14*e2^5*e3^10 - 10865152*e1^14*e2^5*e3^9 - 125021696*e1^14*e2^5*e3^8 - 333580800*e1^14*e2^5*e3^7 - 333580800*e1^14*e2^5*e3^6 - 125021696*e1^14*e2^5*e3^5 - 10865152*e1^14*e2^5*e3^4 - 294400*e1^14*e2^5*e3^3 + 143360*e1^14*e2^4*e3^10 + 18833408*e1^14*e2^4*e3^9 + 118411264*e1^14*e2^4*e3^8 + 194985984*e1^14*e2^4*e3^7 + 118411264*e1^14*e2^4*e3^6 + 18833408*e1^14*e2^4*e3^5 + 143360*e1^14*e2^4*e3^4 - 163840*e1^14*e2^3*e3^10 - 14188544*e1^14*e2^3*e3^9 - 52756480*e1^14*e2^3*e3^8 - 52756480*e1^14*e2^3*e3^7 - 14188544*e1^14*e2^3*e3^6 - 163840*e1^14*e2^3*e3^5 + 131072*e1^14*e2^2*e3^10 + 3670016*e1^14*e2^2*e3^9 + 9175040*e1^14*e2^2*e3^8 + 3670016*e1^14*e2^2*e3^7 + 131072*e1^14*e2^2*e3^6 - 56*e1^13*e2^11*e3^8 + 10176*e1^13*e2^11*e3^7 + 3749344*e1^13*e2^11*e3^6 - 6699456*e1^13*e2^11*e3^5 - 61228880*e1^13*e2^11*e3^4 - 6699456*e1^13*e2^11*e3^3 + 3749344*e1^13*e2^11*e3^2 + 10176*e1^13*e2^11*e3 - 56*e1^13*e2^11 - 101376*e1^13*e2^10*e3^8 - 15303680*e1^13*e2^10*e3^7 + 42324992*e1^13*e2^10*e3^6 + 174406656*e1^13*e2^10*e3^5 + 174406656*e1^13*e2^10*e3^4 + 42324992*e1^13*e2^10*e3^3 - 15303680*e1^13*e2^10*e3^2 - 101376*e1^13*e2^10*e3 + 103200*e1^13*e2^9*e3^9 + 21769984*e1^13*e2^9*e3^8 - 74684544*e1^13*e2^9*e3^7 - 221804288*e1^13*e2^9*e3^6 - 256075072*e1^13*e2^9*e3^5 - 221804288*e1^13*e2^9*e3^4 - 74684544*e1^13*e2^9*e3^3 + 21769984*e1^13*e2^9*e3^2 + 103200*e1^13*e2^9*e3 + 126464*e1^13*e2^8*e3^10 - 13665792*e1^13*e2^8*e3^9 + 57502720*e1^13*e2^8*e3^8 + 178754560*e1^13*e2^8*e3^7 - 222717952*e1^13*e2^8*e3^6 - 222717952*e1^13*e2^8*e3^5 + 178754560*e1^13*e2^8*e3^4 + 57502720*e1^13*e2^8*e3^3 - 13665792*e1^13*e2^8*e3^2 + 126464*e1^13*e2^8*e3 - 138240*e1^13*e2^7*e3^11 + 3744544*e1^13*e2^7*e3^10 - 22935808*e1^13*e2^7*e3^9 - 104632448*e1^13*e2^7*e3^8 + 698518784*e1^13*e2^7*e3^7 + 1669458624*e1^13*e2^7*e3^6 + 698518784*e1^13*e2^7*e3^5 - 104632448*e1^13*e2^7*e3^4 - 22935808*e1^13*e2^7*e3^3 + 3744544*e1^13*e2^7*e3^2 - 138240*e1^13*e2^7*e3 - 294400*e1^13*e2^6*e3^11 + 4069376*e1^13*e2^6*e3^10 + 47147520*e1^13*e2^6*e3^9 - 538305024*e1^13*e2^6*e3^8 - 2331189760*e1^13*e2^6*e3^7 - 2331189760*e1^13*e2^6*e3^6 - 538305024*e1^13*e2^6*e3^5 + 47147520*e1^13*e2^6*e3^4 + 4069376*e1^13*e2^6*e3^3 - 294400*e1^13*e2^6*e3^2 + 421320*e1^13*e2^5*e3^11 - 12891200*e1^13*e2^5*e3^10 + 166356448*e1^13*e2^5*e3^9 + 1394205248*e1^13*e2^5*e3^8 + 2540960944*e1^13*e2^5*e3^7 + 1394205248*e1^13*e2^5*e3^6 + 166356448*e1^13*e2^5*e3^5 - 12891200*e1^13*e2^5*e3^4 + 421320*e1^13*e2^5*e3^3 + 250880*e1^13*e2^4*e3^11 - 15475712*e1^13*e2^4*e3^10 - 368217088*e1^13*e2^4*e3^9 - 1227170816*e1^13*e2^4*e3^8 - 1227170816*e1^13*e2^4*e3^7 - 368217088*e1^13*e2^4*e3^6 - 15475712*e1^13*e2^4*e3^5 + 250880*e1^13*e2^4*e3^4 - 10240*e1^13*e2^3*e3^11 + 34353152*e1^13*e2^3*e3^10 + 244361216*e1^13*e2^3*e3^9 + 449224704*e1^13*e2^3*e3^8 + 244361216*e1^13*e2^3*e3^7 + 34353152*e1^13*e2^3*e3^6 - 10240*e1^13*e2^3*e3^5 - 163840*e1^13*e2^2*e3^11 - 14188544*e1^13*e2^2*e3^10 - 52756480*e1^13*e2^2*e3^9 - 52756480*e1^13*e2^2*e3^8 - 14188544*e1^13*e2^2*e3^7 - 163840*e1^13*e2^2*e3^6 - 65536*e1^13*e2*e3^11 + 262144*e1^13*e2*e3^10 - 393216*e1^13*e2*e3^9 + 262144*e1^13*e2*e3^8 - 65536*e1^13*e2*e3^7 + 70*e1^12*e2^12*e3^8 - 18992*e1^12*e2^12*e3^7 + 8009640*e1^12*e2^12*e3^6 - 61228880*e1^12*e2^12*e3^5 + 207139620*e1^12*e2^12*e3^4 - 61228880*e1^12*e2^12*e3^3 + 8009640*e1^12*e2^12*e3^2 - 18992*e1^12*e2^12*e3 + 70*e1^12*e2^12 + 72704*e1^12*e2^11*e3^8 - 49892352*e1^12*e2^11*e3^7 + 174406656*e1^12*e2^11*e3^6 - 258804736*e1^12*e2^11*e3^5 - 258804736*e1^12*e2^11*e3^4 + 174406656*e1^12*e2^11*e3^3 - 49892352*e1^12*e2^11*e3^2 + 72704*e1^12*e2^11*e3 + 256960*e1^12*e2^10*e3^9 + 117801472*e1^12*e2^10*e3^8 - 221804288*e1^12*e2^10*e3^7 - 636383744*e1^12*e2^10*e3^6 + 473626240*e1^12*e2^10*e3^5 - 636383744*e1^12*e2^10*e3^4 - 221804288*e1^12*e2^10*e3^3 + 117801472*e1^12*e2^10*e3^2 + 256960*e1^12*e2^10*e3 - 640512*e1^12*e2^9*e3^10 - 126743040*e1^12*e2^9*e3^9 + 178754560*e1^12*e2^9*e3^8 + 1872669696*e1^12*e2^9*e3^7 + 894531584*e1^12*e2^9*e3^6 + 894531584*e1^12*e2^9*e3^5 + 1872669696*e1^12*e2^9*e3^4 + 178754560*e1^12*e2^9*e3^3 - 126743040*e1^12*e2^9*e3^2 - 640512*e1^12*e2^9*e3 + 165888*e1^12*e2^8*e3^11 + 61545232*e1^12*e2^8*e3^10 - 104632448*e1^12*e2^8*e3^9 - 2175224384*e1^12*e2^8*e3^8 - 2679290752*e1^12*e2^8*e3^7 - 70130080*e1^12*e2^8*e3^6 - 2679290752*e1^12*e2^8*e3^5 - 2175224384*e1^12*e2^8*e3^4 - 104632448*e1^12*e2^8*e3^3 + 61545232*e1^12*e2^8*e3^2 + 165888*e1^12*e2^8*e3 + 163840*e1^12*e2^7*e3^12 - 10865152*e1^12*e2^7*e3^11 + 47147520*e1^12*e2^7*e3^10 + 1428030464*e1^12*e2^7*e3^9 + 2805849088*e1^12*e2^7*e3^8 - 1451753472*e1^12*e2^7*e3^7 - 1451753472*e1^12*e2^7*e3^6 + 2805849088*e1^12*e2^7*e3^5 + 1428030464*e1^12*e2^7*e3^4 + 47147520*e1^12*e2^7*e3^3 - 10865152*e1^12*e2^7*e3^2 + 163840*e1^12*e2^7*e3 + 143360*e1^12*e2^6*e3^12 - 12891200*e1^12*e2^6*e3^11 - 515153408*e1^12*e2^6*e3^10 - 1629624064*e1^12*e2^6*e3^9 + 1756790272*e1^12*e2^6*e3^8 + 6438614656*e1^12*e2^6*e3^7 + 1756790272*e1^12*e2^6*e3^6 - 1629624064*e1^12*e2^6*e3^5 - 515153408*e1^12*e2^6*e3^4 - 12891200*e1^12*e2^6*e3^3 + 143360*e1^12*e2^6*e3^2 + 250880*e1^12*e2^5*e3^12 + 78840832*e1^12*e2^5*e3^11 + 512802816*e1^12*e2^5*e3^10 - 803905536*e1^12*e2^5*e3^9 - 5827786752*e1^12*e2^5*e3^8 - 5827786752*e1^12*e2^5*e3^7 - 803905536*e1^12*e2^5*e3^6 + 512802816*e1^12*e2^5*e3^5 + 78840832*e1^12*e2^5*e3^4 + 250880*e1^12*e2^5*e3^3 - 1116090*e1^12*e2^4*e3^12 - 58116656*e1^12*e2^4*e3^11 + 143775656*e1^12*e2^4*e3^10 + 2268477616*e1^12*e2^4*e3^9 + 4252992292*e1^12*e2^4*e3^8 + 2268477616*e1^12*e2^4*e3^7 + 143775656*e1^12*e2^4*e3^6 - 58116656*e1^12*e2^4*e3^5 - 1116090*e1^12*e2^4*e3^4 + 250880*e1^12*e2^3*e3^12 - 15475712*e1^12*e2^3*e3^11 - 368217088*e1^12*e2^3*e3^10 - 1227170816*e1^12*e2^3*e3^9 - 1227170816*e1^12*e2^3*e3^8 - 368217088*e1^12*e2^3*e3^7 - 15475712*e1^12*e2^3*e3^6 + 250880*e1^12*e2^3*e3^5 + 143360*e1^12*e2^2*e3^12 + 18833408*e1^12*e2^2*e3^11 + 118411264*e1^12*e2^2*e3^10 + 194985984*e1^12*e2^2*e3^9 + 118411264*e1^12*e2^2*e3^8 + 18833408*e1^12*e2^2*e3^7 + 143360*e1^12*e2^2*e3^6 + 163840*e1^12*e2*e3^12 - 491520*e1^12*e2*e3^11 + 327680*e1^12*e2*e3^10 + 327680*e1^12*e2*e3^9 - 491520*e1^12*e2*e3^8 + 163840*e1^12*e2*e3^7 - 56*e1^11*e2^13*e3^8 + 10176*e1^11*e2^13*e3^7 + 3749344*e1^11*e2^13*e3^6 - 6699456*e1^11*e2^13*e3^5 - 61228880*e1^11*e2^13*e3^4 - 6699456*e1^11*e2^13*e3^3 + 3749344*e1^11*e2^13*e3^2 + 10176*e1^11*e2^13*e3 - 56*e1^11*e2^13 + 72704*e1^11*e2^12*e3^8 - 49892352*e1^11*e2^12*e3^7 + 174406656*e1^11*e2^12*e3^6 - 258804736*e1^11*e2^12*e3^5 - 258804736*e1^11*e2^12*e3^4 + 174406656*e1^11*e2^12*e3^3 - 49892352*e1^11*e2^12*e3^2 + 72704*e1^11*e2^12*e3 - 577072*e1^11*e2^11*e3^9 + 186176896*e1^11*e2^11*e3^8 - 256075072*e1^11*e2^11*e3^7 + 473626240*e1^11*e2^11*e3^6 + 1878052576*e1^11*e2^11*e3^5 + 473626240*e1^11*e2^11*e3^4 - 256075072*e1^11*e2^11*e3^3 + 186176896*e1^11*e2^11*e3^2 - 577072*e1^11*e2^11*e3 + 470528*e1^11*e2^10*e3^10 - 328270336*e1^11*e2^10*e3^9 - 222717952*e1^11*e2^10*e3^8 + 894531584*e1^11*e2^10*e3^7 - 2692824064*e1^11*e2^10*e3^6 - 2692824064*e1^11*e2^10*e3^5 + 894531584*e1^11*e2^10*e3^4 - 222717952*e1^11*e2^10*e3^3 - 328270336*e1^11*e2^10*e3^2 + 470528*e1^11*e2^10*e3 + 580608*e1^11*e2^9*e3^11 + 294589920*e1^11*e2^9*e3^10 + 698518784*e1^11*e2^9*e3^9 - 2679290752*e1^11*e2^9*e3^8 - 2004541696*e1^11*e2^9*e3^7 + 2682665792*e1^11*e2^9*e3^6 - 2004541696*e1^11*e2^9*e3^5 - 2679290752*e1^11*e2^9*e3^4 + 698518784*e1^11*e2^9*e3^3 + 294589920*e1^11*e2^9*e3^2 + 580608*e1^11*e2^9*e3 - 491520*e1^11*e2^8*e3^12 - 125021696*e1^11*e2^8*e3^11 - 538305024*e1^11*e2^8*e3^10 + 2805849088*e1^11*e2^8*e3^9 + 8650687488*e1^11*e2^8*e3^8 + 2360619008*e1^11*e2^8*e3^7 + 2360619008*e1^11*e2^8*e3^6 + 8650687488*e1^11*e2^8*e3^5 + 2805849088*e1^11*e2^8*e3^4 - 538305024*e1^11*e2^8*e3^3 - 125021696*e1^11*e2^8*e3^2 - 491520*e1^11*e2^8*e3 - 65536*e1^11*e2^7*e3^13 + 18833408*e1^11*e2^7*e3^12 + 166356448*e1^11*e2^7*e3^11 - 1629624064*e1^11*e2^7*e3^10 - 9215617920*e1^11*e2^7*e3^9 - 7532134656*e1^11*e2^7*e3^8 + 682588992*e1^11*e2^7*e3^7 - 7532134656*e1^11*e2^7*e3^6 - 9215617920*e1^11*e2^7*e3^5 - 1629624064*e1^11*e2^7*e3^4 + 166356448*e1^11*e2^7*e3^3 + 18833408*e1^11*e2^7*e3^2 - 65536*e1^11*e2^7*e3 - 163840*e1^11*e2^6*e3^13 - 15475712*e1^11*e2^6*e3^12 + 512802816*e1^11*e2^6*e3^11 + 4679932928*e1^11*e2^6*e3^10 + 7092835328*e1^11*e2^6*e3^9 - 3545779200*e1^11*e2^6*e3^8 - 3545779200*e1^11*e2^6*e3^7 + 7092835328*e1^11*e2^6*e3^6 + 4679932928*e1^11*e2^6*e3^5 + 512802816*e1^11*e2^6*e3^4 - 15475712*e1^11*e2^6*e3^3 - 163840*e1^11*e2^6*e3^2 - 10240*e1^11*e2^5*e3^13 - 58116656*e1^11*e2^5*e3^12 - 1109435008*e1^11*e2^5*e3^11 - 3062568256*e1^11*e2^5*e3^10 + 2567083648*e1^11*e2^5*e3^9 + 9701435104*e1^11*e2^5*e3^8 + 2567083648*e1^11*e2^5*e3^7 - 3062568256*e1^11*e2^5*e3^6 - 1109435008*e1^11*e2^5*e3^5 - 58116656*e1^11*e2^5*e3^4 - 10240*e1^11*e2^5*e3^3 + 250880*e1^11*e2^4*e3^13 + 78840832*e1^11*e2^4*e3^12 + 512802816*e1^11*e2^4*e3^11 - 803905536*e1^11*e2^4*e3^10 - 5827786752*e1^11*e2^4*e3^9 - 5827786752*e1^11*e2^4*e3^8 - 803905536*e1^11*e2^4*e3^7 + 512802816*e1^11*e2^4*e3^6 + 78840832*e1^11*e2^4*e3^5 + 250880*e1^11*e2^4*e3^4 + 421320*e1^11*e2^3*e3^13 - 12891200*e1^11*e2^3*e3^12 + 166356448*e1^11*e2^3*e3^11 + 1394205248*e1^11*e2^3*e3^10 + 2540960944*e1^11*e2^3*e3^9 + 1394205248*e1^11*e2^3*e3^8 + 166356448*e1^11*e2^3*e3^7 - 12891200*e1^11*e2^3*e3^6 + 421320*e1^11*e2^3*e3^5 - 294400*e1^11*e2^2*e3^13 - 10865152*e1^11*e2^2*e3^12 - 125021696*e1^11*e2^2*e3^11 - 333580800*e1^11*e2^2*e3^10 - 333580800*e1^11*e2^2*e3^9 - 125021696*e1^11*e2^2*e3^8 - 10865152*e1^11*e2^2*e3^7 - 294400*e1^11*e2^2*e3^6 - 138240*e1^11*e2*e3^13 + 165888*e1^11*e2*e3^12 + 580608*e1^11*e2*e3^11 - 1216512*e1^11*e2*e3^10 + 580608*e1^11*e2*e3^9 + 165888*e1^11*e2*e3^8 - 138240*e1^11*e2*e3^7 + 28*e1^10*e2^14*e3^8 + 800*e1^10*e2^14*e3^7 + 633616*e1^10*e2^14*e3^6 + 3749344*e1^10*e2^14*e3^5 + 8009640*e1^10*e2^14*e3^4 + 3749344*e1^10*e2^14*e3^3 + 633616*e1^10*e2^14*e3^2 + 800*e1^10*e2^14*e3 + 28*e1^10*e2^14 - 101376*e1^10*e2^13*e3^8 - 15303680*e1^10*e2^13*e3^7 + 42324992*e1^10*e2^13*e3^6 + 174406656*e1^10*e2^13*e3^5 + 174406656*e1^10*e2^13*e3^4 + 42324992*e1^10*e2^13*e3^3 - 15303680*e1^10*e2^13*e3^2 - 101376*e1^10*e2^13*e3 + 256960*e1^10*e2^12*e3^9 + 117801472*e1^10*e2^12*e3^8 - 221804288*e1^10*e2^12*e3^7 - 636383744*e1^10*e2^12*e3^6 + 473626240*e1^10*e2^12*e3^5 - 636383744*e1^10*e2^12*e3^4 - 221804288*e1^10*e2^12*e3^3 + 117801472*e1^10*e2^12*e3^2 + 256960*e1^10*e2^12*e3 + 470528*e1^10*e2^11*e3^10 - 328270336*e1^10*e2^11*e3^9 - 222717952*e1^10*e2^11*e3^8 + 894531584*e1^10*e2^11*e3^7 - 2692824064*e1^10*e2^11*e3^6 - 2692824064*e1^10*e2^11*e3^5 + 894531584*e1^10*e2^11*e3^4 - 222717952*e1^10*e2^11*e3^3 - 328270336*e1^10*e2^11*e3^2 + 470528*e1^10*e2^11*e3 - 1216512*e1^10*e2^10*e3^11 + 454365096*e1^10*e2^10*e3^10 + 1669458624*e1^10*e2^10*e3^9 - 70130080*e1^10*e2^10*e3^8 + 2682665792*e1^10*e2^10*e3^7 + 11669006320*e1^10*e2^10*e3^6 + 2682665792*e1^10*e2^10*e3^5 - 70130080*e1^10*e2^10*e3^4 + 1669458624*e1^10*e2^10*e3^3 + 454365096*e1^10*e2^10*e3^2 - 1216512*e1^10*e2^10*e3 + 327680*e1^10*e2^9*e3^12 - 333580800*e1^10*e2^9*e3^11 - 2331189760*e1^10*e2^9*e3^10 - 1451753472*e1^10*e2^9*e3^9 + 2360619008*e1^10*e2^9*e3^8 - 10927997952*e1^10*e2^9*e3^7 - 10927997952*e1^10*e2^9*e3^6 + 2360619008*e1^10*e2^9*e3^5 - 1451753472*e1^10*e2^9*e3^4 - 2331189760*e1^10*e2^9*e3^3 - 333580800*e1^10*e2^9*e3^2 + 327680*e1^10*e2^9*e3 + 262144*e1^10*e2^8*e3^13 + 118411264*e1^10*e2^8*e3^12 + 1394205248*e1^10*e2^8*e3^11 + 1756790272*e1^10*e2^8*e3^10 - 7532134656*e1^10*e2^8*e3^9 - 5613936128*e1^10*e2^8*e3^8 + 9887800704*e1^10*e2^8*e3^7 - 5613936128*e1^10*e2^8*e3^6 - 7532134656*e1^10*e2^8*e3^5 + 1756790272*e1^10*e2^8*e3^4 + 1394205248*e1^10*e2^8*e3^3 + 118411264*e1^10*e2^8*e3^2 + 262144*e1^10*e2^8*e3 - 14188544*e1^10*e2^7*e3^13 - 368217088*e1^10*e2^7*e3^12 - 803905536*e1^10*e2^7*e3^11 + 7092835328*e1^10*e2^7*e3^10 + 17936710656*e1^10*e2^7*e3^9 + 3335855104*e1^10*e2^7*e3^8 + 3335855104*e1^10*e2^7*e3^7 + 17936710656*e1^10*e2^7*e3^6 + 7092835328*e1^10*e2^7*e3^5 - 803905536*e1^10*e2^7*e3^4 - 368217088*e1^10*e2^7*e3^3 - 14188544*e1^10*e2^7*e3^2 + 131072*e1^10*e2^6*e3^14 + 34353152*e1^10*e2^6*e3^13 + 143775656*e1^10*e2^6*e3^12 - 3062568256*e1^10*e2^6*e3^11 - 13946534304*e1^10*e2^6*e3^10 - 11149870272*e1^10*e2^6*e3^9 + 2358220784*e1^10*e2^6*e3^8 - 11149870272*e1^10*e2^6*e3^7 - 13946534304*e1^10*e2^6*e3^6 - 3062568256*e1^10*e2^6*e3^5 + 143775656*e1^10*e2^6*e3^4 + 34353152*e1^10*e2^6*e3^3 + 131072*e1^10*e2^6*e3^2 - 163840*e1^10*e2^5*e3^14 - 15475712*e1^10*e2^5*e3^13 + 512802816*e1^10*e2^5*e3^12 + 4679932928*e1^10*e2^5*e3^11 + 7092835328*e1^10*e2^5*e3^10 - 3545779200*e1^10*e2^5*e3^9 - 3545779200*e1^10*e2^5*e3^8 + 7092835328*e1^10*e2^5*e3^7 + 4679932928*e1^10*e2^5*e3^6 + 512802816*e1^10*e2^5*e3^5 - 15475712*e1^10*e2^5*e3^4 - 163840*e1^10*e2^5*e3^3 + 143360*e1^10*e2^4*e3^14 - 12891200*e1^10*e2^4*e3^13 - 515153408*e1^10*e2^4*e3^12 - 1629624064*e1^10*e2^4*e3^11 + 1756790272*e1^10*e2^4*e3^10 + 6438614656*e1^10*e2^4*e3^9 + 1756790272*e1^10*e2^4*e3^8 - 1629624064*e1^10*e2^4*e3^7 - 515153408*e1^10*e2^4*e3^6 - 12891200*e1^10*e2^4*e3^5 + 143360*e1^10*e2^4*e3^4 - 294400*e1^10*e2^3*e3^14 + 4069376*e1^10*e2^3*e3^13 + 47147520*e1^10*e2^3*e3^12 - 538305024*e1^10*e2^3*e3^11 - 2331189760*e1^10*e2^3*e3^10 - 2331189760*e1^10*e2^3*e3^9 - 538305024*e1^10*e2^3*e3^8 + 47147520*e1^10*e2^3*e3^7 + 4069376*e1^10*e2^3*e3^6 - 294400*e1^10*e2^3*e3^5 + 140316*e1^10*e2^2*e3^14 + 3744544*e1^10*e2^2*e3^13 + 61545232*e1^10*e2^2*e3^12 + 294589920*e1^10*e2^2*e3^11 + 454365096*e1^10*e2^2*e3^10 + 294589920*e1^10*e2^2*e3^9 + 61545232*e1^10*e2^2*e3^8 + 3744544*e1^10*e2^2*e3^7 + 140316*e1^10*e2^2*e3^6 + 43520*e1^10*e2*e3^14 + 126464*e1^10*e2*e3^13 - 640512*e1^10*e2*e3^12 + 470528*e1^10*e2*e3^11 + 470528*e1^10*e2*e3^10 - 640512*e1^10*e2*e3^9 + 126464*e1^10*e2*e3^8 + 43520*e1^10*e2*e3^7 - 8*e1^9*e2^15*e3^8 - 1472*e1^9*e2^15*e3^7 + 800*e1^9*e2^15*e3^6 + 10176*e1^9*e2^15*e3^5 - 18992*e1^9*e2^15*e3^4 + 10176*e1^9*e2^15*e3^3 + 800*e1^9*e2^15*e3^2 - 1472*e1^9*e2^15*e3 - 8*e1^9*e2^15 + 23552*e1^9*e2^14*e3^8 - 1936384*e1^9*e2^14*e3^7 - 15303680*e1^9*e2^14*e3^6 - 49892352*e1^9*e2^14*e3^5 - 49892352*e1^9*e2^14*e3^4 - 15303680*e1^9*e2^14*e3^3 - 1936384*e1^9*e2^14*e3^2 + 23552*e1^9*e2^14*e3 + 103200*e1^9*e2^13*e3^9 + 21769984*e1^9*e2^13*e3^8 - 74684544*e1^9*e2^13*e3^7 - 221804288*e1^9*e2^13*e3^6 - 256075072*e1^9*e2^13*e3^5 - 221804288*e1^9*e2^13*e3^4 - 74684544*e1^9*e2^13*e3^3 + 21769984*e1^9*e2^13*e3^2 + 103200*e1^9*e2^13*e3 - 640512*e1^9*e2^12*e3^10 - 126743040*e1^9*e2^12*e3^9 + 178754560*e1^9*e2^12*e3^8 + 1872669696*e1^9*e2^12*e3^7 + 894531584*e1^9*e2^12*e3^6 + 894531584*e1^9*e2^12*e3^5 + 1872669696*e1^9*e2^12*e3^4 + 178754560*e1^9*e2^12*e3^3 - 126743040*e1^9*e2^12*e3^2 - 640512*e1^9*e2^12*e3 + 580608*e1^9*e2^11*e3^11 + 294589920*e1^9*e2^11*e3^10 + 698518784*e1^9*e2^11*e3^9 - 2679290752*e1^9*e2^11*e3^8 - 2004541696*e1^9*e2^11*e3^7 + 2682665792*e1^9*e2^11*e3^6 - 2004541696*e1^9*e2^11*e3^5 - 2679290752*e1^9*e2^11*e3^4 + 698518784*e1^9*e2^11*e3^3 + 294589920*e1^9*e2^11*e3^2 + 580608*e1^9*e2^11*e3 + 327680*e1^9*e2^10*e3^12 - 333580800*e1^9*e2^10*e3^11 - 2331189760*e1^9*e2^10*e3^10 - 1451753472*e1^9*e2^10*e3^9 + 2360619008*e1^9*e2^10*e3^8 - 10927997952*e1^9*e2^10*e3^7 - 10927997952*e1^9*e2^10*e3^6 + 2360619008*e1^9*e2^10*e3^5 - 1451753472*e1^9*e2^10*e3^4 - 2331189760*e1^9*e2^10*e3^3 - 333580800*e1^9*e2^10*e3^2 + 327680*e1^9*e2^10*e3 - 393216*e1^9*e2^9*e3^13 + 194985984*e1^9*e2^9*e3^12 + 2540960944*e1^9*e2^9*e3^11 + 6438614656*e1^9*e2^9*e3^10 + 682588992*e1^9*e2^9*e3^9 + 9887800704*e1^9*e2^9*e3^8 + 28156618784*e1^9*e2^9*e3^7 + 9887800704*e1^9*e2^9*e3^6 + 682588992*e1^9*e2^9*e3^5 + 6438614656*e1^9*e2^9*e3^4 + 2540960944*e1^9*e2^9*e3^3 + 194985984*e1^9*e2^9*e3^2 - 393216*e1^9*e2^9*e3 - 52756480*e1^9*e2^8*e3^13 - 1227170816*e1^9*e2^8*e3^12 - 5827786752*e1^9*e2^8*e3^11 - 3545779200*e1^9*e2^8*e3^10 + 3335855104*e1^9*e2^8*e3^9 - 20868084736*e1^9*e2^8*e3^8 - 20868084736*e1^9*e2^8*e3^7 + 3335855104*e1^9*e2^8*e3^6 - 3545779200*e1^9*e2^8*e3^5 - 5827786752*e1^9*e2^8*e3^4 - 1227170816*e1^9*e2^8*e3^3 - 52756480*e1^9*e2^8*e3^2 + 3670016*e1^9*e2^7*e3^14 + 244361216*e1^9*e2^7*e3^13 + 2268477616*e1^9*e2^7*e3^12 + 2567083648*e1^9*e2^7*e3^11 - 11149870272*e1^9*e2^7*e3^10 - 6277114496*e1^9*e2^7*e3^9 + 12607189024*e1^9*e2^7*e3^8 - 6277114496*e1^9*e2^7*e3^7 - 11149870272*e1^9*e2^7*e3^6 + 2567083648*e1^9*e2^7*e3^5 + 2268477616*e1^9*e2^7*e3^4 + 244361216*e1^9*e2^7*e3^3 + 3670016*e1^9*e2^7*e3^2 - 14188544*e1^9*e2^6*e3^14 - 368217088*e1^9*e2^6*e3^13 - 803905536*e1^9*e2^6*e3^12 + 7092835328*e1^9*e2^6*e3^11 + 17936710656*e1^9*e2^6*e3^10 + 3335855104*e1^9*e2^6*e3^9 + 3335855104*e1^9*e2^6*e3^8 + 17936710656*e1^9*e2^6*e3^7 + 7092835328*e1^9*e2^6*e3^6 - 803905536*e1^9*e2^6*e3^5 - 368217088*e1^9*e2^6*e3^4 - 14188544*e1^9*e2^6*e3^3 - 65536*e1^9*e2^5*e3^15 + 18833408*e1^9*e2^5*e3^14 + 166356448*e1^9*e2^5*e3^13 - 1629624064*e1^9*e2^5*e3^12 - 9215617920*e1^9*e2^5*e3^11 - 7532134656*e1^9*e2^5*e3^10 + 682588992*e1^9*e2^5*e3^9 - 7532134656*e1^9*e2^5*e3^8 - 9215617920*e1^9*e2^5*e3^7 - 1629624064*e1^9*e2^5*e3^6 + 166356448*e1^9*e2^5*e3^5 + 18833408*e1^9*e2^5*e3^4 - 65536*e1^9*e2^5*e3^3 + 163840*e1^9*e2^4*e3^15 - 10865152*e1^9*e2^4*e3^14 + 47147520*e1^9*e2^4*e3^13 + 1428030464*e1^9*e2^4*e3^12 + 2805849088*e1^9*e2^4*e3^11 - 1451753472*e1^9*e2^4*e3^10 - 1451753472*e1^9*e2^4*e3^9 + 2805849088*e1^9*e2^4*e3^8 + 1428030464*e1^9*e2^4*e3^7 + 47147520*e1^9*e2^4*e3^6 - 10865152*e1^9*e2^4*e3^5 + 163840*e1^9*e2^4*e3^4 - 138240*e1^9*e2^3*e3^15 + 3744544*e1^9*e2^3*e3^14 - 22935808*e1^9*e2^3*e3^13 - 104632448*e1^9*e2^3*e3^12 + 698518784*e1^9*e2^3*e3^11 + 1669458624*e1^9*e2^3*e3^10 + 698518784*e1^9*e2^3*e3^9 - 104632448*e1^9*e2^3*e3^8 - 22935808*e1^9*e2^3*e3^7 + 3744544*e1^9*e2^3*e3^6 - 138240*e1^9*e2^3*e3^5 + 43520*e1^9*e2^2*e3^15 - 1126400*e1^9*e2^2*e3^14 - 13665792*e1^9*e2^2*e3^13 - 126743040*e1^9*e2^2*e3^12 - 328270336*e1^9*e2^2*e3^11 - 328270336*e1^9*e2^2*e3^10 - 126743040*e1^9*e2^2*e3^9 - 13665792*e1^9*e2^2*e3^8 - 1126400*e1^9*e2^2*e3^7 + 43520*e1^9*e2^2*e3^6 - 3592*e1^9*e2*e3^15 - 68032*e1^9*e2*e3^14 + 103200*e1^9*e2*e3^13 + 256960*e1^9*e2*e3^12 - 577072*e1^9*e2*e3^11 + 256960*e1^9*e2*e3^10 + 103200*e1^9*e2*e3^9 - 68032*e1^9*e2*e3^8 - 3592*e1^9*e2*e3^7 + e1^8*e2^16*e3^8 - 8*e1^8*e2^16*e3^7 + 28*e1^8*e2^16*e3^6 - 56*e1^8*e2^16*e3^5 + 70*e1^8*e2^16*e3^4 - 56*e1^8*e2^16*e3^3 + 28*e1^8*e2^16*e3^2 - 8*e1^8*e2^16*e3 + e1^8*e2^16 + 5120*e1^8*e2^15*e3^8 + 23552*e1^8*e2^15*e3^7 - 101376*e1^8*e2^15*e3^6 + 72704*e1^8*e2^15*e3^5 + 72704*e1^8*e2^15*e3^4 - 101376*e1^8*e2^15*e3^3 + 23552*e1^8*e2^15*e3^2 + 5120*e1^8*e2^15*e3 - 68032*e1^8*e2^14*e3^9 + 2289152*e1^8*e2^14*e3^8 + 21769984*e1^8*e2^14*e3^7 + 117801472*e1^8*e2^14*e3^6 + 186176896*e1^8*e2^14*e3^5 + 117801472*e1^8*e2^14*e3^4 + 21769984*e1^8*e2^14*e3^3 + 2289152*e1^8*e2^14*e3^2 - 68032*e1^8*e2^14*e3 + 126464*e1^8*e2^13*e3^10 - 13665792*e1^8*e2^13*e3^9 + 57502720*e1^8*e2^13*e3^8 + 178754560*e1^8*e2^13*e3^7 - 222717952*e1^8*e2^13*e3^6 - 222717952*e1^8*e2^13*e3^5 + 178754560*e1^8*e2^13*e3^4 + 57502720*e1^8*e2^13*e3^3 - 13665792*e1^8*e2^13*e3^2 + 126464*e1^8*e2^13*e3 + 165888*e1^8*e2^12*e3^11 + 61545232*e1^8*e2^12*e3^10 - 104632448*e1^8*e2^12*e3^9 - 2175224384*e1^8*e2^12*e3^8 - 2679290752*e1^8*e2^12*e3^7 - 70130080*e1^8*e2^12*e3^6 - 2679290752*e1^8*e2^12*e3^5 - 2175224384*e1^8*e2^12*e3^4 - 104632448*e1^8*e2^12*e3^3 + 61545232*e1^8*e2^12*e3^2 + 165888*e1^8*e2^12*e3 - 491520*e1^8*e2^11*e3^12 - 125021696*e1^8*e2^11*e3^11 - 538305024*e1^8*e2^11*e3^10 + 2805849088*e1^8*e2^11*e3^9 + 8650687488*e1^8*e2^11*e3^8 + 2360619008*e1^8*e2^11*e3^7 + 2360619008*e1^8*e2^11*e3^6 + 8650687488*e1^8*e2^11*e3^5 + 2805849088*e1^8*e2^11*e3^4 - 538305024*e1^8*e2^11*e3^3 - 125021696*e1^8*e2^11*e3^2 - 491520*e1^8*e2^11*e3 + 262144*e1^8*e2^10*e3^13 + 118411264*e1^8*e2^10*e3^12 + 1394205248*e1^8*e2^10*e3^11 + 1756790272*e1^8*e2^10*e3^10 - 7532134656*e1^8*e2^10*e3^9 - 5613936128*e1^8*e2^10*e3^8 + 9887800704*e1^8*e2^10*e3^7 - 5613936128*e1^8*e2^10*e3^6 - 7532134656*e1^8*e2^10*e3^5 + 1756790272*e1^8*e2^10*e3^4 + 1394205248*e1^8*e2^10*e3^3 + 118411264*e1^8*e2^10*e3^2 + 262144*e1^8*e2^10*e3 - 52756480*e1^8*e2^9*e3^13 - 1227170816*e1^8*e2^9*e3^12 - 5827786752*e1^8*e2^9*e3^11 - 3545779200*e1^8*e2^9*e3^10 + 3335855104*e1^8*e2^9*e3^9 - 20868084736*e1^8*e2^9*e3^8 - 20868084736*e1^8*e2^9*e3^7 + 3335855104*e1^8*e2^9*e3^6 - 3545779200*e1^8*e2^9*e3^5 - 5827786752*e1^8*e2^9*e3^4 - 1227170816*e1^8*e2^9*e3^3 - 52756480*e1^8*e2^9*e3^2 + 9175040*e1^8*e2^8*e3^14 + 449224704*e1^8*e2^8*e3^13 + 4252992292*e1^8*e2^8*e3^12 + 9701435104*e1^8*e2^8*e3^11 + 2358220784*e1^8*e2^8*e3^10 + 12607189024*e1^8*e2^8*e3^9 + 39893556184*e1^8*e2^8*e3^8 + 12607189024*e1^8*e2^8*e3^7 + 2358220784*e1^8*e2^8*e3^6 + 9701435104*e1^8*e2^8*e3^5 + 4252992292*e1^8*e2^8*e3^4 + 449224704*e1^8*e2^8*e3^3 + 9175040*e1^8*e2^8*e3^2 - 52756480*e1^8*e2^7*e3^14 - 1227170816*e1^8*e2^7*e3^13 - 5827786752*e1^8*e2^7*e3^12 - 3545779200*e1^8*e2^7*e3^11 + 3335855104*e1^8*e2^7*e3^10 - 20868084736*e1^8*e2^7*e3^9 - 20868084736*e1^8*e2^7*e3^8 + 3335855104*e1^8*e2^7*e3^7 - 3545779200*e1^8*e2^7*e3^6 - 5827786752*e1^8*e2^7*e3^5 - 1227170816*e1^8*e2^7*e3^4 - 52756480*e1^8*e2^7*e3^3 + 262144*e1^8*e2^6*e3^15 + 118411264*e1^8*e2^6*e3^14 + 1394205248*e1^8*e2^6*e3^13 + 1756790272*e1^8*e2^6*e3^12 - 7532134656*e1^8*e2^6*e3^11 - 5613936128*e1^8*e2^6*e3^10 + 9887800704*e1^8*e2^6*e3^9 - 5613936128*e1^8*e2^6*e3^8 - 7532134656*e1^8*e2^6*e3^7 + 1756790272*e1^8*e2^6*e3^6 + 1394205248*e1^8*e2^6*e3^5 + 118411264*e1^8*e2^6*e3^4 + 262144*e1^8*e2^6*e3^3 - 491520*e1^8*e2^5*e3^15 - 125021696*e1^8*e2^5*e3^14 - 538305024*e1^8*e2^5*e3^13 + 2805849088*e1^8*e2^5*e3^12 + 8650687488*e1^8*e2^5*e3^11 + 2360619008*e1^8*e2^5*e3^10 + 2360619008*e1^8*e2^5*e3^9 + 8650687488*e1^8*e2^5*e3^8 + 2805849088*e1^8*e2^5*e3^7 - 538305024*e1^8*e2^5*e3^6 - 125021696*e1^8*e2^5*e3^5 - 491520*e1^8*e2^5*e3^4 + 165888*e1^8*e2^4*e3^15 + 61545232*e1^8*e2^4*e3^14 - 104632448*e1^8*e2^4*e3^13 - 2175224384*e1^8*e2^4*e3^12 - 2679290752*e1^8*e2^4*e3^11 - 70130080*e1^8*e2^4*e3^10 - 2679290752*e1^8*e2^4*e3^9 - 2175224384*e1^8*e2^4*e3^8 - 104632448*e1^8*e2^4*e3^7 + 61545232*e1^8*e2^4*e3^6 + 165888*e1^8*e2^4*e3^5 + 126464*e1^8*e2^3*e3^15 - 13665792*e1^8*e2^3*e3^14 + 57502720*e1^8*e2^3*e3^13 + 178754560*e1^8*e2^3*e3^12 - 222717952*e1^8*e2^3*e3^11 - 222717952*e1^8*e2^3*e3^10 + 178754560*e1^8*e2^3*e3^9 + 57502720*e1^8*e2^3*e3^8 - 13665792*e1^8*e2^3*e3^7 + 126464*e1^8*e2^3*e3^6 - 68032*e1^8*e2^2*e3^15 + 2289152*e1^8*e2^2*e3^14 + 21769984*e1^8*e2^2*e3^13 + 117801472*e1^8*e2^2*e3^12 + 186176896*e1^8*e2^2*e3^11 + 117801472*e1^8*e2^2*e3^10 + 21769984*e1^8*e2^2*e3^9 + 2289152*e1^8*e2^2*e3^8 - 68032*e1^8*e2^2*e3^7 + 5120*e1^8*e2*e3^15 + 23552*e1^8*e2*e3^14 - 101376*e1^8*e2*e3^13 + 72704*e1^8*e2*e3^12 + 72704*e1^8*e2*e3^11 - 101376*e1^8*e2*e3^10 + 23552*e1^8*e2*e3^9 + 5120*e1^8*e2*e3^8 + e1^8*e3^16 - 8*e1^8*e3^15 + 28*e1^8*e3^14 - 56*e1^8*e3^13 + 70*e1^8*e3^12 - 56*e1^8*e3^11 + 28*e1^8*e3^10 - 8*e1^8*e3^9 + e1^8*e3^8 - 3592*e1^7*e2^15*e3^9 - 68032*e1^7*e2^15*e3^8 + 103200*e1^7*e2^15*e3^7 + 256960*e1^7*e2^15*e3^6 - 577072*e1^7*e2^15*e3^5 + 256960*e1^7*e2^15*e3^4 + 103200*e1^7*e2^15*e3^3 - 68032*e1^7*e2^15*e3^2 - 3592*e1^7*e2^15*e3 + 43520*e1^7*e2^14*e3^10 - 1126400*e1^7*e2^14*e3^9 - 13665792*e1^7*e2^14*e3^8 - 126743040*e1^7*e2^14*e3^7 - 328270336*e1^7*e2^14*e3^6 - 328270336*e1^7*e2^14*e3^5 - 126743040*e1^7*e2^14*e3^4 - 13665792*e1^7*e2^14*e3^3 - 1126400*e1^7*e2^14*e3^2 + 43520*e1^7*e2^14*e3 - 138240*e1^7*e2^13*e3^11 + 3744544*e1^7*e2^13*e3^10 - 22935808*e1^7*e2^13*e3^9 - 104632448*e1^7*e2^13*e3^8 + 698518784*e1^7*e2^13*e3^7 + 1669458624*e1^7*e2^13*e3^6 + 698518784*e1^7*e2^13*e3^5 - 104632448*e1^7*e2^13*e3^4 - 22935808*e1^7*e2^13*e3^3 + 3744544*e1^7*e2^13*e3^2 - 138240*e1^7*e2^13*e3 + 163840*e1^7*e2^12*e3^12 - 10865152*e1^7*e2^12*e3^11 + 47147520*e1^7*e2^12*e3^10 + 1428030464*e1^7*e2^12*e3^9 + 2805849088*e1^7*e2^12*e3^8 - 1451753472*e1^7*e2^12*e3^7 - 1451753472*e1^7*e2^12*e3^6 + 2805849088*e1^7*e2^12*e3^5 + 1428030464*e1^7*e2^12*e3^4 + 47147520*e1^7*e2^12*e3^3 - 10865152*e1^7*e2^12*e3^2 + 163840*e1^7*e2^12*e3 - 65536*e1^7*e2^11*e3^13 + 18833408*e1^7*e2^11*e3^12 + 166356448*e1^7*e2^11*e3^11 - 1629624064*e1^7*e2^11*e3^10 - 9215617920*e1^7*e2^11*e3^9 - 7532134656*e1^7*e2^11*e3^8 + 682588992*e1^7*e2^11*e3^7 - 7532134656*e1^7*e2^11*e3^6 - 9215617920*e1^7*e2^11*e3^5 - 1629624064*e1^7*e2^11*e3^4 + 166356448*e1^7*e2^11*e3^3 + 18833408*e1^7*e2^11*e3^2 - 65536*e1^7*e2^11*e3 - 14188544*e1^7*e2^10*e3^13 - 368217088*e1^7*e2^10*e3^12 - 803905536*e1^7*e2^10*e3^11 + 7092835328*e1^7*e2^10*e3^10 + 17936710656*e1^7*e2^10*e3^9 + 3335855104*e1^7*e2^10*e3^8 + 3335855104*e1^7*e2^10*e3^7 + 17936710656*e1^7*e2^10*e3^6 + 7092835328*e1^7*e2^10*e3^5 - 803905536*e1^7*e2^10*e3^4 - 368217088*e1^7*e2^10*e3^3 - 14188544*e1^7*e2^10*e3^2 + 3670016*e1^7*e2^9*e3^14 + 244361216*e1^7*e2^9*e3^13 + 2268477616*e1^7*e2^9*e3^12 + 2567083648*e1^7*e2^9*e3^11 - 11149870272*e1^7*e2^9*e3^10 - 6277114496*e1^7*e2^9*e3^9 + 12607189024*e1^7*e2^9*e3^8 - 6277114496*e1^7*e2^9*e3^7 - 11149870272*e1^7*e2^9*e3^6 + 2567083648*e1^7*e2^9*e3^5 + 2268477616*e1^7*e2^9*e3^4 + 244361216*e1^7*e2^9*e3^3 + 3670016*e1^7*e2^9*e3^2 - 52756480*e1^7*e2^8*e3^14 - 1227170816*e1^7*e2^8*e3^13 - 5827786752*e1^7*e2^8*e3^12 - 3545779200*e1^7*e2^8*e3^11 + 3335855104*e1^7*e2^8*e3^10 - 20868084736*e1^7*e2^8*e3^9 - 20868084736*e1^7*e2^8*e3^8 + 3335855104*e1^7*e2^8*e3^7 - 3545779200*e1^7*e2^8*e3^6 - 5827786752*e1^7*e2^8*e3^5 - 1227170816*e1^7*e2^8*e3^4 - 52756480*e1^7*e2^8*e3^3 - 393216*e1^7*e2^7*e3^15 + 194985984*e1^7*e2^7*e3^14 + 2540960944*e1^7*e2^7*e3^13 + 6438614656*e1^7*e2^7*e3^12 + 682588992*e1^7*e2^7*e3^11 + 9887800704*e1^7*e2^7*e3^10 + 28156618784*e1^7*e2^7*e3^9 + 9887800704*e1^7*e2^7*e3^8 + 682588992*e1^7*e2^7*e3^7 + 6438614656*e1^7*e2^7*e3^6 + 2540960944*e1^7*e2^7*e3^5 + 194985984*e1^7*e2^7*e3^4 - 393216*e1^7*e2^7*e3^3 + 327680*e1^7*e2^6*e3^15 - 333580800*e1^7*e2^6*e3^14 - 2331189760*e1^7*e2^6*e3^13 - 1451753472*e1^7*e2^6*e3^12 + 2360619008*e1^7*e2^6*e3^11 - 10927997952*e1^7*e2^6*e3^10 - 10927997952*e1^7*e2^6*e3^9 + 2360619008*e1^7*e2^6*e3^8 - 1451753472*e1^7*e2^6*e3^7 - 2331189760*e1^7*e2^6*e3^6 - 333580800*e1^7*e2^6*e3^5 + 327680*e1^7*e2^6*e3^4 + 580608*e1^7*e2^5*e3^15 + 294589920*e1^7*e2^5*e3^14 + 698518784*e1^7*e2^5*e3^13 - 2679290752*e1^7*e2^5*e3^12 - 2004541696*e1^7*e2^5*e3^11 + 2682665792*e1^7*e2^5*e3^10 - 2004541696*e1^7*e2^5*e3^9 - 2679290752*e1^7*e2^5*e3^8 + 698518784*e1^7*e2^5*e3^7 + 294589920*e1^7*e2^5*e3^6 + 580608*e1^7*e2^5*e3^5 - 640512*e1^7*e2^4*e3^15 - 126743040*e1^7*e2^4*e3^14 + 178754560*e1^7*e2^4*e3^13 + 1872669696*e1^7*e2^4*e3^12 + 894531584*e1^7*e2^4*e3^11 + 894531584*e1^7*e2^4*e3^10 + 1872669696*e1^7*e2^4*e3^9 + 178754560*e1^7*e2^4*e3^8 - 126743040*e1^7*e2^4*e3^7 - 640512*e1^7*e2^4*e3^6 + 103200*e1^7*e2^3*e3^15 + 21769984*e1^7*e2^3*e3^14 - 74684544*e1^7*e2^3*e3^13 - 221804288*e1^7*e2^3*e3^12 - 256075072*e1^7*e2^3*e3^11 - 221804288*e1^7*e2^3*e3^10 - 74684544*e1^7*e2^3*e3^9 + 21769984*e1^7*e2^3*e3^8 + 103200*e1^7*e2^3*e3^7 + 23552*e1^7*e2^2*e3^15 - 1936384*e1^7*e2^2*e3^14 - 15303680*e1^7*e2^2*e3^13 - 49892352*e1^7*e2^2*e3^12 - 49892352*e1^7*e2^2*e3^11 - 15303680*e1^7*e2^2*e3^10 - 1936384*e1^7*e2^2*e3^9 + 23552*e1^7*e2^2*e3^8 - 8*e1^7*e2*e3^16 - 1472*e1^7*e2*e3^15 + 800*e1^7*e2*e3^14 + 10176*e1^7*e2*e3^13 - 18992*e1^7*e2*e3^12 + 10176*e1^7*e2*e3^11 + 800*e1^7*e2*e3^10 - 1472*e1^7*e2*e3^9 - 8*e1^7*e2*e3^8 + 43520*e1^6*e2^15*e3^9 + 126464*e1^6*e2^15*e3^8 - 640512*e1^6*e2^15*e3^7 + 470528*e1^6*e2^15*e3^6 + 470528*e1^6*e2^15*e3^5 - 640512*e1^6*e2^15*e3^4 + 126464*e1^6*e2^15*e3^3 + 43520*e1^6*e2^15*e3^2 + 140316*e1^6*e2^14*e3^10 + 3744544*e1^6*e2^14*e3^9 + 61545232*e1^6*e2^14*e3^8 + 294589920*e1^6*e2^14*e3^7 + 454365096*e1^6*e2^14*e3^6 + 294589920*e1^6*e2^14*e3^5 + 61545232*e1^6*e2^14*e3^4 + 3744544*e1^6*e2^14*e3^3 + 140316*e1^6*e2^14*e3^2 - 294400*e1^6*e2^13*e3^11 + 4069376*e1^6*e2^13*e3^10 + 47147520*e1^6*e2^13*e3^9 - 538305024*e1^6*e2^13*e3^8 - 2331189760*e1^6*e2^13*e3^7 - 2331189760*e1^6*e2^13*e3^6 - 538305024*e1^6*e2^13*e3^5 + 47147520*e1^6*e2^13*e3^4 + 4069376*e1^6*e2^13*e3^3 - 294400*e1^6*e2^13*e3^2 + 143360*e1^6*e2^12*e3^12 - 12891200*e1^6*e2^12*e3^11 - 515153408*e1^6*e2^12*e3^10 - 1629624064*e1^6*e2^12*e3^9 + 1756790272*e1^6*e2^12*e3^8 + 6438614656*e1^6*e2^12*e3^7 + 1756790272*e1^6*e2^12*e3^6 - 1629624064*e1^6*e2^12*e3^5 - 515153408*e1^6*e2^12*e3^4 - 12891200*e1^6*e2^12*e3^3 + 143360*e1^6*e2^12*e3^2 - 163840*e1^6*e2^11*e3^13 - 15475712*e1^6*e2^11*e3^12 + 512802816*e1^6*e2^11*e3^11 + 4679932928*e1^6*e2^11*e3^10 + 7092835328*e1^6*e2^11*e3^9 - 3545779200*e1^6*e2^11*e3^8 - 3545779200*e1^6*e2^11*e3^7 + 7092835328*e1^6*e2^11*e3^6 + 4679932928*e1^6*e2^11*e3^5 + 512802816*e1^6*e2^11*e3^4 - 15475712*e1^6*e2^11*e3^3 - 163840*e1^6*e2^11*e3^2 + 131072*e1^6*e2^10*e3^14 + 34353152*e1^6*e2^10*e3^13 + 143775656*e1^6*e2^10*e3^12 - 3062568256*e1^6*e2^10*e3^11 - 13946534304*e1^6*e2^10*e3^10 - 11149870272*e1^6*e2^10*e3^9 + 2358220784*e1^6*e2^10*e3^8 - 11149870272*e1^6*e2^10*e3^7 - 13946534304*e1^6*e2^10*e3^6 - 3062568256*e1^6*e2^10*e3^5 + 143775656*e1^6*e2^10*e3^4 + 34353152*e1^6*e2^10*e3^3 + 131072*e1^6*e2^10*e3^2 - 14188544*e1^6*e2^9*e3^14 - 368217088*e1^6*e2^9*e3^13 - 803905536*e1^6*e2^9*e3^12 + 7092835328*e1^6*e2^9*e3^11 + 17936710656*e1^6*e2^9*e3^10 + 3335855104*e1^6*e2^9*e3^9 + 3335855104*e1^6*e2^9*e3^8 + 17936710656*e1^6*e2^9*e3^7 + 7092835328*e1^6*e2^9*e3^6 - 803905536*e1^6*e2^9*e3^5 - 368217088*e1^6*e2^9*e3^4 - 14188544*e1^6*e2^9*e3^3 + 262144*e1^6*e2^8*e3^15 + 118411264*e1^6*e2^8*e3^14 + 1394205248*e1^6*e2^8*e3^13 + 1756790272*e1^6*e2^8*e3^12 - 7532134656*e1^6*e2^8*e3^11 - 5613936128*e1^6*e2^8*e3^10 + 9887800704*e1^6*e2^8*e3^9 - 5613936128*e1^6*e2^8*e3^8 - 7532134656*e1^6*e2^8*e3^7 + 1756790272*e1^6*e2^8*e3^6 + 1394205248*e1^6*e2^8*e3^5 + 118411264*e1^6*e2^8*e3^4 + 262144*e1^6*e2^8*e3^3 + 327680*e1^6*e2^7*e3^15 - 333580800*e1^6*e2^7*e3^14 - 2331189760*e1^6*e2^7*e3^13 - 1451753472*e1^6*e2^7*e3^12 + 2360619008*e1^6*e2^7*e3^11 - 10927997952*e1^6*e2^7*e3^10 - 10927997952*e1^6*e2^7*e3^9 + 2360619008*e1^6*e2^7*e3^8 - 1451753472*e1^6*e2^7*e3^7 - 2331189760*e1^6*e2^7*e3^6 - 333580800*e1^6*e2^7*e3^5 + 327680*e1^6*e2^7*e3^4 - 1216512*e1^6*e2^6*e3^15 + 454365096*e1^6*e2^6*e3^14 + 1669458624*e1^6*e2^6*e3^13 - 70130080*e1^6*e2^6*e3^12 + 2682665792*e1^6*e2^6*e3^11 + 11669006320*e1^6*e2^6*e3^10 + 2682665792*e1^6*e2^6*e3^9 - 70130080*e1^6*e2^6*e3^8 + 1669458624*e1^6*e2^6*e3^7 + 454365096*e1^6*e2^6*e3^6 - 1216512*e1^6*e2^6*e3^5 + 470528*e1^6*e2^5*e3^15 - 328270336*e1^6*e2^5*e3^14 - 222717952*e1^6*e2^5*e3^13 + 894531584*e1^6*e2^5*e3^12 - 2692824064*e1^6*e2^5*e3^11 - 2692824064*e1^6*e2^5*e3^10 + 894531584*e1^6*e2^5*e3^9 - 222717952*e1^6*e2^5*e3^8 - 328270336*e1^6*e2^5*e3^7 + 470528*e1^6*e2^5*e3^6 + 256960*e1^6*e2^4*e3^15 + 117801472*e1^6*e2^4*e3^14 - 221804288*e1^6*e2^4*e3^13 - 636383744*e1^6*e2^4*e3^12 + 473626240*e1^6*e2^4*e3^11 - 636383744*e1^6*e2^4*e3^10 - 221804288*e1^6*e2^4*e3^9 + 117801472*e1^6*e2^4*e3^8 + 256960*e1^6*e2^4*e3^7 - 101376*e1^6*e2^3*e3^15 - 15303680*e1^6*e2^3*e3^14 + 42324992*e1^6*e2^3*e3^13 + 174406656*e1^6*e2^3*e3^12 + 174406656*e1^6*e2^3*e3^11 + 42324992*e1^6*e2^3*e3^10 - 15303680*e1^6*e2^3*e3^9 - 101376*e1^6*e2^3*e3^8 + 28*e1^6*e2^2*e3^16 + 800*e1^6*e2^2*e3^15 + 633616*e1^6*e2^2*e3^14 + 3749344*e1^6*e2^2*e3^13 + 8009640*e1^6*e2^2*e3^12 + 3749344*e1^6*e2^2*e3^11 + 633616*e1^6*e2^2*e3^10 + 800*e1^6*e2^2*e3^9 + 28*e1^6*e2^2*e3^8 - 138240*e1^5*e2^15*e3^9 + 165888*e1^5*e2^15*e3^8 + 580608*e1^5*e2^15*e3^7 - 1216512*e1^5*e2^15*e3^6 + 580608*e1^5*e2^15*e3^5 + 165888*e1^5*e2^15*e3^4 - 138240*e1^5*e2^15*e3^3 - 294400*e1^5*e2^14*e3^10 - 10865152*e1^5*e2^14*e3^9 - 125021696*e1^5*e2^14*e3^8 - 333580800*e1^5*e2^14*e3^7 - 333580800*e1^5*e2^14*e3^6 - 125021696*e1^5*e2^14*e3^5 - 10865152*e1^5*e2^14*e3^4 - 294400*e1^5*e2^14*e3^3 + 421320*e1^5*e2^13*e3^11 - 12891200*e1^5*e2^13*e3^10 + 166356448*e1^5*e2^13*e3^9 + 1394205248*e1^5*e2^13*e3^8 + 2540960944*e1^5*e2^13*e3^7 + 1394205248*e1^5*e2^13*e3^6 + 166356448*e1^5*e2^13*e3^5 - 12891200*e1^5*e2^13*e3^4 + 421320*e1^5*e2^13*e3^3 + 250880*e1^5*e2^12*e3^12 + 78840832*e1^5*e2^12*e3^11 + 512802816*e1^5*e2^12*e3^10 - 803905536*e1^5*e2^12*e3^9 - 5827786752*e1^5*e2^12*e3^8 - 5827786752*e1^5*e2^12*e3^7 - 803905536*e1^5*e2^12*e3^6 + 512802816*e1^5*e2^12*e3^5 + 78840832*e1^5*e2^12*e3^4 + 250880*e1^5*e2^12*e3^3 - 10240*e1^5*e2^11*e3^13 - 58116656*e1^5*e2^11*e3^12 - 1109435008*e1^5*e2^11*e3^11 - 3062568256*e1^5*e2^11*e3^10 + 2567083648*e1^5*e2^11*e3^9 + 9701435104*e1^5*e2^11*e3^8 + 2567083648*e1^5*e2^11*e3^7 - 3062568256*e1^5*e2^11*e3^6 - 1109435008*e1^5*e2^11*e3^5 - 58116656*e1^5*e2^11*e3^4 - 10240*e1^5*e2^11*e3^3 - 163840*e1^5*e2^10*e3^14 - 15475712*e1^5*e2^10*e3^13 + 512802816*e1^5*e2^10*e3^12 + 4679932928*e1^5*e2^10*e3^11 + 7092835328*e1^5*e2^10*e3^10 - 3545779200*e1^5*e2^10*e3^9 - 3545779200*e1^5*e2^10*e3^8 + 7092835328*e1^5*e2^10*e3^7 + 4679932928*e1^5*e2^10*e3^6 + 512802816*e1^5*e2^10*e3^5 - 15475712*e1^5*e2^10*e3^4 - 163840*e1^5*e2^10*e3^3 - 65536*e1^5*e2^9*e3^15 + 18833408*e1^5*e2^9*e3^14 + 166356448*e1^5*e2^9*e3^13 - 1629624064*e1^5*e2^9*e3^12 - 9215617920*e1^5*e2^9*e3^11 - 7532134656*e1^5*e2^9*e3^10 + 682588992*e1^5*e2^9*e3^9 - 7532134656*e1^5*e2^9*e3^8 - 9215617920*e1^5*e2^9*e3^7 - 1629624064*e1^5*e2^9*e3^6 + 166356448*e1^5*e2^9*e3^5 + 18833408*e1^5*e2^9*e3^4 - 65536*e1^5*e2^9*e3^3 - 491520*e1^5*e2^8*e3^15 - 125021696*e1^5*e2^8*e3^14 - 538305024*e1^5*e2^8*e3^13 + 2805849088*e1^5*e2^8*e3^12 + 8650687488*e1^5*e2^8*e3^11 + 2360619008*e1^5*e2^8*e3^10 + 2360619008*e1^5*e2^8*e3^9 + 8650687488*e1^5*e2^8*e3^8 + 2805849088*e1^5*e2^8*e3^7 - 538305024*e1^5*e2^8*e3^6 - 125021696*e1^5*e2^8*e3^5 - 491520*e1^5*e2^8*e3^4 + 580608*e1^5*e2^7*e3^15 + 294589920*e1^5*e2^7*e3^14 + 698518784*e1^5*e2^7*e3^13 - 2679290752*e1^5*e2^7*e3^12 - 2004541696*e1^5*e2^7*e3^11 + 2682665792*e1^5*e2^7*e3^10 - 2004541696*e1^5*e2^7*e3^9 - 2679290752*e1^5*e2^7*e3^8 + 698518784*e1^5*e2^7*e3^7 + 294589920*e1^5*e2^7*e3^6 + 580608*e1^5*e2^7*e3^5 + 470528*e1^5*e2^6*e3^15 - 328270336*e1^5*e2^6*e3^14 - 222717952*e1^5*e2^6*e3^13 + 894531584*e1^5*e2^6*e3^12 - 2692824064*e1^5*e2^6*e3^11 - 2692824064*e1^5*e2^6*e3^10 + 894531584*e1^5*e2^6*e3^9 - 222717952*e1^5*e2^6*e3^8 - 328270336*e1^5*e2^6*e3^7 + 470528*e1^5*e2^6*e3^6 - 577072*e1^5*e2^5*e3^15 + 186176896*e1^5*e2^5*e3^14 - 256075072*e1^5*e2^5*e3^13 + 473626240*e1^5*e2^5*e3^12 + 1878052576*e1^5*e2^5*e3^11 + 473626240*e1^5*e2^5*e3^10 - 256075072*e1^5*e2^5*e3^9 + 186176896*e1^5*e2^5*e3^8 - 577072*e1^5*e2^5*e3^7 + 72704*e1^5*e2^4*e3^15 - 49892352*e1^5*e2^4*e3^14 + 174406656*e1^5*e2^4*e3^13 - 258804736*e1^5*e2^4*e3^12 - 258804736*e1^5*e2^4*e3^11 + 174406656*e1^5*e2^4*e3^10 - 49892352*e1^5*e2^4*e3^9 + 72704*e1^5*e2^4*e3^8 - 56*e1^5*e2^3*e3^16 + 10176*e1^5*e2^3*e3^15 + 3749344*e1^5*e2^3*e3^14 - 6699456*e1^5*e2^3*e3^13 - 61228880*e1^5*e2^3*e3^12 - 6699456*e1^5*e2^3*e3^11 + 3749344*e1^5*e2^3*e3^10 + 10176*e1^5*e2^3*e3^9 - 56*e1^5*e2^3*e3^8 + 163840*e1^4*e2^15*e3^9 - 491520*e1^4*e2^15*e3^8 + 327680*e1^4*e2^15*e3^7 + 327680*e1^4*e2^15*e3^6 - 491520*e1^4*e2^15*e3^5 + 163840*e1^4*e2^15*e3^4 + 143360*e1^4*e2^14*e3^10 + 18833408*e1^4*e2^14*e3^9 + 118411264*e1^4*e2^14*e3^8 + 194985984*e1^4*e2^14*e3^7 + 118411264*e1^4*e2^14*e3^6 + 18833408*e1^4*e2^14*e3^5 + 143360*e1^4*e2^14*e3^4 + 250880*e1^4*e2^13*e3^11 - 15475712*e1^4*e2^13*e3^10 - 368217088*e1^4*e2^13*e3^9 - 1227170816*e1^4*e2^13*e3^8 - 1227170816*e1^4*e2^13*e3^7 - 368217088*e1^4*e2^13*e3^6 - 15475712*e1^4*e2^13*e3^5 + 250880*e1^4*e2^13*e3^4 - 1116090*e1^4*e2^12*e3^12 - 58116656*e1^4*e2^12*e3^11 + 143775656*e1^4*e2^12*e3^10 + 2268477616*e1^4*e2^12*e3^9 + 4252992292*e1^4*e2^12*e3^8 + 2268477616*e1^4*e2^12*e3^7 + 143775656*e1^4*e2^12*e3^6 - 58116656*e1^4*e2^12*e3^5 - 1116090*e1^4*e2^12*e3^4 + 250880*e1^4*e2^11*e3^13 + 78840832*e1^4*e2^11*e3^12 + 512802816*e1^4*e2^11*e3^11 - 803905536*e1^4*e2^11*e3^10 - 5827786752*e1^4*e2^11*e3^9 - 5827786752*e1^4*e2^11*e3^8 - 803905536*e1^4*e2^11*e3^7 + 512802816*e1^4*e2^11*e3^6 + 78840832*e1^4*e2^11*e3^5 + 250880*e1^4*e2^11*e3^4 + 143360*e1^4*e2^10*e3^14 - 12891200*e1^4*e2^10*e3^13 - 515153408*e1^4*e2^10*e3^12 - 1629624064*e1^4*e2^10*e3^11 + 1756790272*e1^4*e2^10*e3^10 + 6438614656*e1^4*e2^10*e3^9 + 1756790272*e1^4*e2^10*e3^8 - 1629624064*e1^4*e2^10*e3^7 - 515153408*e1^4*e2^10*e3^6 - 12891200*e1^4*e2^10*e3^5 + 143360*e1^4*e2^10*e3^4 + 163840*e1^4*e2^9*e3^15 - 10865152*e1^4*e2^9*e3^14 + 47147520*e1^4*e2^9*e3^13 + 1428030464*e1^4*e2^9*e3^12 + 2805849088*e1^4*e2^9*e3^11 - 1451753472*e1^4*e2^9*e3^10 - 1451753472*e1^4*e2^9*e3^9 + 2805849088*e1^4*e2^9*e3^8 + 1428030464*e1^4*e2^9*e3^7 + 47147520*e1^4*e2^9*e3^6 - 10865152*e1^4*e2^9*e3^5 + 163840*e1^4*e2^9*e3^4 + 165888*e1^4*e2^8*e3^15 + 61545232*e1^4*e2^8*e3^14 - 104632448*e1^4*e2^8*e3^13 - 2175224384*e1^4*e2^8*e3^12 - 2679290752*e1^4*e2^8*e3^11 - 70130080*e1^4*e2^8*e3^10 - 2679290752*e1^4*e2^8*e3^9 - 2175224384*e1^4*e2^8*e3^8 - 104632448*e1^4*e2^8*e3^7 + 61545232*e1^4*e2^8*e3^6 + 165888*e1^4*e2^8*e3^5 - 640512*e1^4*e2^7*e3^15 - 126743040*e1^4*e2^7*e3^14 + 178754560*e1^4*e2^7*e3^13 + 1872669696*e1^4*e2^7*e3^12 + 894531584*e1^4*e2^7*e3^11 + 894531584*e1^4*e2^7*e3^10 + 1872669696*e1^4*e2^7*e3^9 + 178754560*e1^4*e2^7*e3^8 - 126743040*e1^4*e2^7*e3^7 - 640512*e1^4*e2^7*e3^6 + 256960*e1^4*e2^6*e3^15 + 117801472*e1^4*e2^6*e3^14 - 221804288*e1^4*e2^6*e3^13 - 636383744*e1^4*e2^6*e3^12 + 473626240*e1^4*e2^6*e3^11 - 636383744*e1^4*e2^6*e3^10 - 221804288*e1^4*e2^6*e3^9 + 117801472*e1^4*e2^6*e3^8 + 256960*e1^4*e2^6*e3^7 + 72704*e1^4*e2^5*e3^15 - 49892352*e1^4*e2^5*e3^14 + 174406656*e1^4*e2^5*e3^13 - 258804736*e1^4*e2^5*e3^12 - 258804736*e1^4*e2^5*e3^11 + 174406656*e1^4*e2^5*e3^10 - 49892352*e1^4*e2^5*e3^9 + 72704*e1^4*e2^5*e3^8 + 70*e1^4*e2^4*e3^16 - 18992*e1^4*e2^4*e3^15 + 8009640*e1^4*e2^4*e3^14 - 61228880*e1^4*e2^4*e3^13 + 207139620*e1^4*e2^4*e3^12 - 61228880*e1^4*e2^4*e3^11 + 8009640*e1^4*e2^4*e3^10 - 18992*e1^4*e2^4*e3^9 + 70*e1^4*e2^4*e3^8 - 65536*e1^3*e2^15*e3^9 + 262144*e1^3*e2^15*e3^8 - 393216*e1^3*e2^15*e3^7 + 262144*e1^3*e2^15*e3^6 - 65536*e1^3*e2^15*e3^5 - 163840*e1^3*e2^14*e3^10 - 14188544*e1^3*e2^14*e3^9 - 52756480*e1^3*e2^14*e3^8 - 52756480*e1^3*e2^14*e3^7 - 14188544*e1^3*e2^14*e3^6 - 163840*e1^3*e2^14*e3^5 - 10240*e1^3*e2^13*e3^11 + 34353152*e1^3*e2^13*e3^10 + 244361216*e1^3*e2^13*e3^9 + 449224704*e1^3*e2^13*e3^8 + 244361216*e1^3*e2^13*e3^7 + 34353152*e1^3*e2^13*e3^6 - 10240*e1^3*e2^13*e3^5 + 250880*e1^3*e2^12*e3^12 - 15475712*e1^3*e2^12*e3^11 - 368217088*e1^3*e2^12*e3^10 - 1227170816*e1^3*e2^12*e3^9 - 1227170816*e1^3*e2^12*e3^8 - 368217088*e1^3*e2^12*e3^7 - 15475712*e1^3*e2^12*e3^6 + 250880*e1^3*e2^12*e3^5 + 421320*e1^3*e2^11*e3^13 - 12891200*e1^3*e2^11*e3^12 + 166356448*e1^3*e2^11*e3^11 + 1394205248*e1^3*e2^11*e3^10 + 2540960944*e1^3*e2^11*e3^9 + 1394205248*e1^3*e2^11*e3^8 + 166356448*e1^3*e2^11*e3^7 - 12891200*e1^3*e2^11*e3^6 + 421320*e1^3*e2^11*e3^5 - 294400*e1^3*e2^10*e3^14 + 4069376*e1^3*e2^10*e3^13 + 47147520*e1^3*e2^10*e3^12 - 538305024*e1^3*e2^10*e3^11 - 2331189760*e1^3*e2^10*e3^10 - 2331189760*e1^3*e2^10*e3^9 - 538305024*e1^3*e2^10*e3^8 + 47147520*e1^3*e2^10*e3^7 + 4069376*e1^3*e2^10*e3^6 - 294400*e1^3*e2^10*e3^5 - 138240*e1^3*e2^9*e3^15 + 3744544*e1^3*e2^9*e3^14 - 22935808*e1^3*e2^9*e3^13 - 104632448*e1^3*e2^9*e3^12 + 698518784*e1^3*e2^9*e3^11 + 1669458624*e1^3*e2^9*e3^10 + 698518784*e1^3*e2^9*e3^9 - 104632448*e1^3*e2^9*e3^8 - 22935808*e1^3*e2^9*e3^7 + 3744544*e1^3*e2^9*e3^6 - 138240*e1^3*e2^9*e3^5 + 126464*e1^3*e2^8*e3^15 - 13665792*e1^3*e2^8*e3^14 + 57502720*e1^3*e2^8*e3^13 + 178754560*e1^3*e2^8*e3^12 - 222717952*e1^3*e2^8*e3^11 - 222717952*e1^3*e2^8*e3^10 + 178754560*e1^3*e2^8*e3^9 + 57502720*e1^3*e2^8*e3^8 - 13665792*e1^3*e2^8*e3^7 + 126464*e1^3*e2^8*e3^6 + 103200*e1^3*e2^7*e3^15 + 21769984*e1^3*e2^7*e3^14 - 74684544*e1^3*e2^7*e3^13 - 221804288*e1^3*e2^7*e3^12 - 256075072*e1^3*e2^7*e3^11 - 221804288*e1^3*e2^7*e3^10 - 74684544*e1^3*e2^7*e3^9 + 21769984*e1^3*e2^7*e3^8 + 103200*e1^3*e2^7*e3^7 - 101376*e1^3*e2^6*e3^15 - 15303680*e1^3*e2^6*e3^14 + 42324992*e1^3*e2^6*e3^13 + 174406656*e1^3*e2^6*e3^12 + 174406656*e1^3*e2^6*e3^11 + 42324992*e1^3*e2^6*e3^10 - 15303680*e1^3*e2^6*e3^9 - 101376*e1^3*e2^6*e3^8 - 56*e1^3*e2^5*e3^16 + 10176*e1^3*e2^5*e3^15 + 3749344*e1^3*e2^5*e3^14 - 6699456*e1^3*e2^5*e3^13 - 61228880*e1^3*e2^5*e3^12 - 6699456*e1^3*e2^5*e3^11 + 3749344*e1^3*e2^5*e3^10 + 10176*e1^3*e2^5*e3^9 - 56*e1^3*e2^5*e3^8 + 131072*e1^2*e2^14*e3^10 + 3670016*e1^2*e2^14*e3^9 + 9175040*e1^2*e2^14*e3^8 + 3670016*e1^2*e2^14*e3^7 + 131072*e1^2*e2^14*e3^6 - 163840*e1^2*e2^13*e3^11 - 14188544*e1^2*e2^13*e3^10 - 52756480*e1^2*e2^13*e3^9 - 52756480*e1^2*e2^13*e3^8 - 14188544*e1^2*e2^13*e3^7 - 163840*e1^2*e2^13*e3^6 + 143360*e1^2*e2^12*e3^12 + 18833408*e1^2*e2^12*e3^11 + 118411264*e1^2*e2^12*e3^10 + 194985984*e1^2*e2^12*e3^9 + 118411264*e1^2*e2^12*e3^8 + 18833408*e1^2*e2^12*e3^7 + 143360*e1^2*e2^12*e3^6 - 294400*e1^2*e2^11*e3^13 - 10865152*e1^2*e2^11*e3^12 - 125021696*e1^2*e2^11*e3^11 - 333580800*e1^2*e2^11*e3^10 - 333580800*e1^2*e2^11*e3^9 - 125021696*e1^2*e2^11*e3^8 - 10865152*e1^2*e2^11*e3^7 - 294400*e1^2*e2^11*e3^6 + 140316*e1^2*e2^10*e3^14 + 3744544*e1^2*e2^10*e3^13 + 61545232*e1^2*e2^10*e3^12 + 294589920*e1^2*e2^10*e3^11 + 454365096*e1^2*e2^10*e3^10 + 294589920*e1^2*e2^10*e3^9 + 61545232*e1^2*e2^10*e3^8 + 3744544*e1^2*e2^10*e3^7 + 140316*e1^2*e2^10*e3^6 + 43520*e1^2*e2^9*e3^15 - 1126400*e1^2*e2^9*e3^14 - 13665792*e1^2*e2^9*e3^13 - 126743040*e1^2*e2^9*e3^12 - 328270336*e1^2*e2^9*e3^11 - 328270336*e1^2*e2^9*e3^10 - 126743040*e1^2*e2^9*e3^9 - 13665792*e1^2*e2^9*e3^8 - 1126400*e1^2*e2^9*e3^7 + 43520*e1^2*e2^9*e3^6 - 68032*e1^2*e2^8*e3^15 + 2289152*e1^2*e2^8*e3^14 + 21769984*e1^2*e2^8*e3^13 + 117801472*e1^2*e2^8*e3^12 + 186176896*e1^2*e2^8*e3^11 + 117801472*e1^2*e2^8*e3^10 + 21769984*e1^2*e2^8*e3^9 + 2289152*e1^2*e2^8*e3^8 - 68032*e1^2*e2^8*e3^7 + 23552*e1^2*e2^7*e3^15 - 1936384*e1^2*e2^7*e3^14 - 15303680*e1^2*e2^7*e3^13 - 49892352*e1^2*e2^7*e3^12 - 49892352*e1^2*e2^7*e3^11 - 15303680*e1^2*e2^7*e3^10 - 1936384*e1^2*e2^7*e3^9 + 23552*e1^2*e2^7*e3^8 + 28*e1^2*e2^6*e3^16 + 800*e1^2*e2^6*e3^15 + 633616*e1^2*e2^6*e3^14 + 3749344*e1^2*e2^6*e3^13 + 8009640*e1^2*e2^6*e3^12 + 3749344*e1^2*e2^6*e3^11 + 633616*e1^2*e2^6*e3^10 + 800*e1^2*e2^6*e3^9 + 28*e1^2*e2^6*e3^8 - 65536*e1*e2^13*e3^11 + 262144*e1*e2^13*e3^10 - 393216*e1*e2^13*e3^9 + 262144*e1*e2^13*e3^8 - 65536*e1*e2^13*e3^7 + 163840*e1*e2^12*e3^12 - 491520*e1*e2^12*e3^11 + 327680*e1*e2^12*e3^10 + 327680*e1*e2^12*e3^9 - 491520*e1*e2^12*e3^8 + 163840*e1*e2^12*e3^7 - 138240*e1*e2^11*e3^13 + 165888*e1*e2^11*e3^12 + 580608*e1*e2^11*e3^11 - 1216512*e1*e2^11*e3^10 + 580608*e1*e2^11*e3^9 + 165888*e1*e2^11*e3^8 - 138240*e1*e2^11*e3^7 + 43520*e1*e2^10*e3^14 + 126464*e1*e2^10*e3^13 - 640512*e1*e2^10*e3^12 + 470528*e1*e2^10*e3^11 + 470528*e1*e2^10*e3^10 - 640512*e1*e2^10*e3^9 + 126464*e1*e2^10*e3^8 + 43520*e1*e2^10*e3^7 - 3592*e1*e2^9*e3^15 - 68032*e1*e2^9*e3^14 + 103200*e1*e2^9*e3^13 + 256960*e1*e2^9*e3^12 - 577072*e1*e2^9*e3^11 + 256960*e1*e2^9*e3^10 + 103200*e1*e2^9*e3^9 - 68032*e1*e2^9*e3^8 - 3592*e1*e2^9*e3^7 + 5120*e1*e2^8*e3^15 + 23552*e1*e2^8*e3^14 - 101376*e1*e2^8*e3^13 + 72704*e1*e2^8*e3^12 + 72704*e1*e2^8*e3^11 - 101376*e1*e2^8*e3^10 + 23552*e1*e2^8*e3^9 + 5120*e1*e2^8*e3^8 - 8*e1*e2^7*e3^16 - 1472*e1*e2^7*e3^15 + 800*e1*e2^7*e3^14 + 10176*e1*e2^7*e3^13 - 18992*e1*e2^7*e3^12 + 10176*e1*e2^7*e3^11 + 800*e1*e2^7*e3^10 - 1472*e1*e2^7*e3^9 - 8*e1*e2^7*e3^8 + e2^8*e3^16 - 8*e2^8*e3^15 + 28*e2^8*e3^14 - 56*e2^8*e3^13 + 70*e2^8*e3^12 - 56*e2^8*e3^11 + 28*e2^8*e3^10 - 8*e2^8*e3^9 + e2^8*e3^8 ;