/******************************************* 3/11/2006 Found equation of a Humbert component of discriminant 16 (degree 24) Ran the following to produce the output: h16:=compareall(24,16,300 :returnkernel:=true,expbounds:=[12,12,12]); Took 23357.781 seconds (6 and a half hours) ********************************************/ h16:= -4096*e1^12*e2^8*e3^2 + 4096*e1^12*e2^8*e3 - 8192*e1^12*e2^7*e3^3 + 28672*e1^12*e2^7*e3^2 - 20480*e1^12*e2^7*e3 + 69632*e1^12*e2^6*e3^4 - 110592*e1^12*e2^6*e3^3 + 40960*e1^12*e2^6*e3 - 114688*e1^12*e2^5*e3^5 + 77824*e1^12*e2^5*e3^4 + 151552*e1^12*e2^5*e3^3 - 73728*e1^12*e2^5*e3^2 - 40960*e1^12*e2^5*e3 + 69632*e1^12*e2^4*e3^6 + 77824*e1^12*e2^4*e3^5 - 262144*e1^12*e2^4*e3^4 + 32768*e1^12*e2^4*e3^3 + 61440*e1^12*e2^4*e3^2 + 20480*e1^12*e2^4*e3 - 8192*e1^12*e2^3*e3^7 - 110592*e1^12*e2^3*e3^6 + 151552*e1^12*e2^3*e3^5 + 32768*e1^12*e2^3*e3^4 - 40960*e1^12*e2^3*e3^3 - 20480*e1^12*e2^3*e3^2 - 4096*e1^12*e2^3*e3 - 4096*e1^12*e2^2*e3^8 + 28672*e1^12*e2^2*e3^7 - 73728*e1^12*e2^2*e3^5 + 61440*e1^12*e2^2*e3^4 - 20480*e1^12*e2^2*e3^3 + 8192*e1^12*e2^2*e3^2 + 4096*e1^12*e2*e3^8 - 20480*e1^12*e2*e3^7 + 40960*e1^12*e2*e3^6 - 40960*e1^12*e2*e3^5 + 20480*e1^12*e2*e3^4 - 4096*e1^12*e2*e3^3 + 8192*e1^11*e2^9*e3^2 - 8192*e1^11*e2^9*e3 + 40960*e1^11*e2^8*e3^3 - 73728*e1^11*e2^8*e3^2 + 32768*e1^11*e2^8*e3 - 172032*e1^11*e2^7*e3^4 + 229376*e1^11*e2^7*e3^3 - 16384*e1^11*e2^7*e3^2 - 40960*e1^11*e2^7*e3 + 122880*e1^11*e2^6*e3^5 - 122880*e1^11*e2^6*e3^4 - 32768*e1^11*e2^6*e3^3 + 32768*e1^11*e2^6*e3^2 + 122880*e1^11*e2^5*e3^6 - 49152*e1^11*e2^5*e3^5 + 16384*e1^11*e2^5*e3^4 - 368640*e1^11*e2^5*e3^3 + 237568*e1^11*e2^5*e3^2 + 40960*e1^11*e2^5*e3 - 172032*e1^11*e2^4*e3^7 - 122880*e1^11*e2^4*e3^6 + 16384*e1^11*e2^4*e3^5 + 753664*e1^11*e2^4*e3^4 - 237568*e1^11*e2^4*e3^3 - 204800*e1^11*e2^4*e3^2 - 32768*e1^11*e2^4*e3 + 40960*e1^11*e2^3*e3^8 + 229376*e1^11*e2^3*e3^7 - 32768*e1^11*e2^3*e3^6 - 368640*e1^11*e2^3*e3^5 - 237568*e1^11*e2^3*e3^4 + 327680*e1^11*e2^3*e3^3 + 32768*e1^11*e2^3*e3^2 + 8192*e1^11*e2^3*e3 + 8192*e1^11*e2^2*e3^9 - 73728*e1^11*e2^2*e3^8 - 16384*e1^11*e2^2*e3^7 + 32768*e1^11*e2^2*e3^6 + 237568*e1^11*e2^2*e3^5 - 204800*e1^11*e2^2*e3^4 + 32768*e1^11*e2^2*e3^3 - 16384*e1^11*e2^2*e3^2 - 8192*e1^11*e2*e3^9 + 32768*e1^11*e2*e3^8 - 40960*e1^11*e2*e3^7 + 40960*e1^11*e2*e3^5 - 32768*e1^11*e2*e3^4 + 8192*e1^11*e2*e3^3 - 4096*e1^10*e2^10*e3^4 + 8192*e1^10*e2^10*e3^3 - 8960*e1^10*e2^10*e3^2 + 4864*e1^10*e2^10*e3 - 8192*e1^10*e2^9*e3^5 + 40960*e1^10*e2^9*e3^4 - 116736*e1^10*e2^9*e3^3 + 92928*e1^10*e2^9*e3^2 - 8960*e1^10*e2^9*e3 + 69632*e1^10*e2^8*e3^6 - 172032*e1^10*e2^8*e3^5 + 158720*e1^10*e2^8*e3^4 - 37888*e1^10*e2^8*e3^3 + 4864*e1^10*e2^8*e3^2 - 23296*e1^10*e2^8*e3 - 114688*e1^10*e2^7*e3^7 + 122880*e1^10*e2^7*e3^6 + 493568*e1^10*e2^7*e3^5 - 328704*e1^10*e2^7*e3^4 - 505344*e1^10*e2^7*e3^3 + 251648*e1^10*e2^7*e3^2 + 80640*e1^10*e2^7*e3 + 69632*e1^10*e2^6*e3^8 + 122880*e1^10*e2^6*e3^7 - 1053184*e1^10*e2^6*e3^6 + 268800*e1^10*e2^6*e3^5 + 711936*e1^10*e2^6*e3^4 + 589056*e1^10*e2^6*e3^3 - 628480*e1^10*e2^6*e3^2 - 80640*e1^10*e2^6*e3 - 8192*e1^10*e2^5*e3^9 - 172032*e1^10*e2^5*e3^8 + 493568*e1^10*e2^5*e3^7 + 268800*e1^10*e2^5*e3^6 - 437760*e1^10*e2^5*e3^5 - 735488*e1^10*e2^5*e3^4 + 469248*e1^10*e2^5*e3^3 + 98560*e1^10*e2^5*e3^2 + 23296*e1^10*e2^5*e3 - 4096*e1^10*e2^4*e3^10 + 40960*e1^10*e2^4*e3^9 + 158720*e1^10*e2^4*e3^8 - 328704*e1^10*e2^4*e3^7 + 711936*e1^10*e2^4*e3^6 - 735488*e1^10*e2^4*e3^5 - 174592*e1^10*e2^4*e3^4 + 154112*e1^10*e2^4*e3^3 + 168192*e1^10*e2^4*e3^2 + 8960*e1^10*e2^4*e3 + 8192*e1^10*e2^3*e3^10 - 116736*e1^10*e2^3*e3^9 - 37888*e1^10*e2^3*e3^8 - 505344*e1^10*e2^3*e3^7 + 589056*e1^10*e2^3*e3^6 + 469248*e1^10*e2^3*e3^5 + 154112*e1^10*e2^3*e3^4 - 571392*e1^10*e2^3*e3^3 + 15616*e1^10*e2^3*e3^2 - 4864*e1^10*e2^3*e3 - 8960*e1^10*e2^2*e3^10 + 92928*e1^10*e2^2*e3^9 + 4864*e1^10*e2^2*e3^8 + 251648*e1^10*e2^2*e3^7 - 628480*e1^10*e2^2*e3^6 + 98560*e1^10*e2^2*e3^5 + 168192*e1^10*e2^2*e3^4 + 15616*e1^10*e2^2*e3^3 + 5632*e1^10*e2^2*e3^2 + 4864*e1^10*e2*e3^10 - 8960*e1^10*e2*e3^9 - 23296*e1^10*e2*e3^8 + 80640*e1^10*e2*e3^7 - 80640*e1^10*e2*e3^6 + 23296*e1^10*e2*e3^5 + 8960*e1^10*e2*e3^4 - 4864*e1^10*e2*e3^3 + 4096*e1^9*e2^11*e3^4 - 8192*e1^9*e2^11*e3^3 + 4864*e1^9*e2^11*e3^2 - 768*e1^9*e2^11*e3 + 28672*e1^9*e2^10*e3^5 - 73728*e1^9*e2^10*e3^4 + 92928*e1^9*e2^10*e3^3 - 43520*e1^9*e2^10*e3^2 - 4352*e1^9*e2^10*e3 - 110592*e1^9*e2^9*e3^6 + 229376*e1^9*e2^9*e3^5 - 37888*e1^9*e2^9*e3^4 - 30464*e1^9*e2^9*e3^3 - 75520*e1^9*e2^9*e3^2 + 25088*e1^9*e2^9*e3 + 77824*e1^9*e2^8*e3^7 - 122880*e1^9*e2^8*e3^6 - 328704*e1^9*e2^8*e3^5 + 157696*e1^9*e2^8*e3^4 + 406016*e1^9*e2^8*e3^3 - 155904*e1^9*e2^8*e3^2 - 34048*e1^9*e2^8*e3 + 77824*e1^9*e2^7*e3^8 - 49152*e1^9*e2^7*e3^7 + 268800*e1^9*e2^7*e3^6 - 1115648*e1^9*e2^7*e3^5 + 1277440*e1^9*e2^7*e3^4 - 561664*e1^9*e2^7*e3^3 + 102400*e1^9*e2^7*e3^2 - 110592*e1^9*e2^6*e3^9 - 122880*e1^9*e2^6*e3^8 + 268800*e1^9*e2^6*e3^7 + 2065408*e1^9*e2^6*e3^6 - 1488896*e1^9*e2^6*e3^5 - 1838848*e1^9*e2^6*e3^4 + 556544*e1^9*e2^6*e3^3 + 636416*e1^9*e2^6*e3^2 + 34048*e1^9*e2^6*e3 + 28672*e1^9*e2^5*e3^10 + 229376*e1^9*e2^5*e3^9 - 328704*e1^9*e2^5*e3^8 - 1115648*e1^9*e2^5*e3^7 - 1488896*e1^9*e2^5*e3^6 + 3964928*e1^9*e2^5*e3^5 + 415488*e1^9*e2^5*e3^4 - 1312768*e1^9*e2^5*e3^3 - 367360*e1^9*e2^5*e3^2 - 25088*e1^9*e2^5*e3 + 4096*e1^9*e2^4*e3^11 - 73728*e1^9*e2^4*e3^10 - 37888*e1^9*e2^4*e3^9 + 157696*e1^9*e2^4*e3^8 + 1277440*e1^9*e2^4*e3^7 - 1838848*e1^9*e2^4*e3^6 + 415488*e1^9*e2^4*e3^5 - 576512*e1^9*e2^4*e3^4 + 751104*e1^9*e2^4*e3^3 - 83200*e1^9*e2^4*e3^2 + 4352*e1^9*e2^4*e3 - 8192*e1^9*e2^3*e3^11 + 92928*e1^9*e2^3*e3^10 - 30464*e1^9*e2^3*e3^9 + 406016*e1^9*e2^3*e3^8 - 561664*e1^9*e2^3*e3^7 + 556544*e1^9*e2^3*e3^6 - 1312768*e1^9*e2^3*e3^5 + 751104*e1^9*e2^3*e3^4 + 126464*e1^9*e2^3*e3^3 - 20736*e1^9*e2^3*e3^2 + 768*e1^9*e2^3*e3 + 4864*e1^9*e2^2*e3^11 - 43520*e1^9*e2^2*e3^10 - 75520*e1^9*e2^2*e3^9 - 155904*e1^9*e2^2*e3^8 + 102400*e1^9*e2^2*e3^7 + 636416*e1^9*e2^2*e3^6 - 367360*e1^9*e2^2*e3^5 - 83200*e1^9*e2^2*e3^4 - 20736*e1^9*e2^2*e3^3 + 2560*e1^9*e2^2*e3^2 - 768*e1^9*e2*e3^11 - 4352*e1^9*e2*e3^10 + 25088*e1^9*e2*e3^9 - 34048*e1^9*e2*e3^8 + 34048*e1^9*e2*e3^6 - 25088*e1^9*e2*e3^5 + 4352*e1^9*e2*e3^4 + 768*e1^9*e2*e3^3 + e1^8*e2^12 - 20480*e1^8*e2^11*e3^5 + 32768*e1^8*e2^11*e3^4 - 8960*e1^8*e2^11*e3^3 - 4352*e1^8*e2^11*e3^2 + 1028*e1^8*e2^11*e3 - 8*e1^8*e2^11 - 16384*e1^8*e2^10*e3^5 + 4864*e1^8*e2^10*e3^4 - 75520*e1^8*e2^10*e3^3 + 88578*e1^8*e2^10*e3^2 - 1560*e1^8*e2^10*e3 + 28*e1^8*e2^10 + 151552*e1^8*e2^9*e3^7 - 32768*e1^8*e2^9*e3^6 - 505344*e1^8*e2^9*e3^5 + 406016*e1^8*e2^9*e3^4 - 7180*e1^8*e2^9*e3^3 - 5624*e1^8*e2^9*e3^2 - 6600*e1^8*e2^9*e3 - 56*e1^8*e2^9 - 262144*e1^8*e2^8*e3^8 + 16384*e1^8*e2^8*e3^7 + 711936*e1^8*e2^8*e3^6 + 1277440*e1^8*e2^8*e3^5 - 2498065*e1^8*e2^8*e3^4 + 502872*e1^8*e2^8*e3^3 + 231084*e1^8*e2^8*e3^2 + 20424*e1^8*e2^8*e3 + 70*e1^8*e2^8 + 151552*e1^8*e2^7*e3^9 + 16384*e1^8*e2^7*e3^8 - 437760*e1^8*e2^7*e3^7 - 1488896*e1^8*e2^7*e3^6 + 1429512*e1^8*e2^7*e3^5 + 1461296*e1^8*e2^7*e3^4 - 583136*e1^8*e2^7*e3^3 - 528416*e1^8*e2^7*e3^2 - 20480*e1^8*e2^7*e3 - 56*e1^8*e2^7 - 32768*e1^8*e2^6*e3^9 + 711936*e1^8*e2^6*e3^8 - 1488896*e1^8*e2^6*e3^7 + 571420*e1^8*e2^6*e3^6 + 238480*e1^8*e2^6*e3^5 - 16328*e1^8*e2^6*e3^4 + 1504*e1^8*e2^6*e3^3 + 7912*e1^8*e2^6*e3^2 + 6712*e1^8*e2^6*e3 + 28*e1^8*e2^6 - 20480*e1^8*e2^5*e3^11 - 16384*e1^8*e2^5*e3^10 - 505344*e1^8*e2^5*e3^9 + 1277440*e1^8*e2^5*e3^8 + 1429512*e1^8*e2^5*e3^7 + 238480*e1^8*e2^5*e3^6 - 6057648*e1^8*e2^5*e3^5 + 3070640*e1^8*e2^5*e3^4 + 417280*e1^8*e2^5*e3^3 + 165032*e1^8*e2^5*e3^2 + 1480*e1^8*e2^5*e3 - 8*e1^8*e2^5 + 32768*e1^8*e2^4*e3^11 + 4864*e1^8*e2^4*e3^10 + 406016*e1^8*e2^4*e3^9 - 2498065*e1^8*e2^4*e3^8 + 1461296*e1^8*e2^4*e3^7 - 16328*e1^8*e2^4*e3^6 + 3070640*e1^8*e2^4*e3^5 - 2128476*e1^8*e2^4*e3^4 - 384680*e1^8*e2^4*e3^3 + 52964*e1^8*e2^4*e3^2 - 1000*e1^8*e2^4*e3 + e1^8*e2^4 - 8960*e1^8*e2^3*e3^11 - 75520*e1^8*e2^3*e3^10 - 7180*e1^8*e2^3*e3^9 + 502872*e1^8*e2^3*e3^8 - 583136*e1^8*e2^3*e3^7 + 1504*e1^8*e2^3*e3^6 + 417280*e1^8*e2^3*e3^5 - 384680*e1^8*e2^3*e3^4 + 145008*e1^8*e2^3*e3^3 - 7184*e1^8*e2^3*e3^2 - 4*e1^8*e2^3*e3 - 4352*e1^8*e2^2*e3^11 + 88578*e1^8*e2^2*e3^10 - 5624*e1^8*e2^2*e3^9 + 231084*e1^8*e2^2*e3^8 - 528416*e1^8*e2^2*e3^7 + 7912*e1^8*e2^2*e3^6 + 165032*e1^8*e2^2*e3^5 + 52964*e1^8*e2^2*e3^4 - 7184*e1^8*e2^2*e3^3 + 6*e1^8*e2^2*e3^2 + 1028*e1^8*e2*e3^11 - 1560*e1^8*e2*e3^10 - 6600*e1^8*e2*e3^9 + 20424*e1^8*e2*e3^8 - 20480*e1^8*e2*e3^7 + 6712*e1^8*e2*e3^6 + 1480*e1^8*e2*e3^5 - 1000*e1^8*e2*e3^4 - 4*e1^8*e2*e3^3 + e1^8*e3^12 - 8*e1^8*e3^11 + 28*e1^8*e3^10 - 56*e1^8*e3^9 + 70*e1^8*e3^8 - 56*e1^8*e3^7 + 28*e1^8*e3^6 - 8*e1^8*e3^5 + e1^8*e3^4 - 8*e1^7*e2^12*e3 + 40960*e1^7*e2^11*e3^6 - 40960*e1^7*e2^11*e3^5 - 23296*e1^7*e2^11*e3^4 + 25088*e1^7*e2^11*e3^3 - 1560*e1^7*e2^11*e3^2 - 200*e1^7*e2^11*e3 - 73728*e1^7*e2^10*e3^7 + 32768*e1^7*e2^10*e3^6 + 251648*e1^7*e2^10*e3^5 - 155904*e1^7*e2^10*e3^4 - 5624*e1^7*e2^10*e3^3 - 50064*e1^7*e2^10*e3^2 + 856*e1^7*e2^10*e3 + 32768*e1^7*e2^9*e3^8 - 368640*e1^7*e2^9*e3^7 + 589056*e1^7*e2^9*e3^6 - 561664*e1^7*e2^9*e3^5 + 502872*e1^7*e2^9*e3^4 - 175016*e1^7*e2^9*e3^3 - 18344*e1^7*e2^9*e3^2 - 1000*e1^7*e2^9*e3 + 32768*e1^7*e2^8*e3^9 + 753664*e1^7*e2^8*e3^8 - 735488*e1^7*e2^8*e3^7 - 1838848*e1^7*e2^8*e3^6 + 1461296*e1^7*e2^8*e3^5 + 878144*e1^7*e2^8*e3^4 - 572000*e1^7*e2^8*e3^3 + 20736*e1^7*e2^8*e3^2 - 280*e1^7*e2^8*e3 - 73728*e1^7*e2^7*e3^10 - 368640*e1^7*e2^7*e3^9 - 735488*e1^7*e2^7*e3^8 + 3964928*e1^7*e2^7*e3^7 + 238480*e1^7*e2^7*e3^6 - 4739984*e1^7*e2^7*e3^5 + 201376*e1^7*e2^7*e3^4 + 1338272*e1^7*e2^7*e3^3 + 173336*e1^7*e2^7*e3^2 + 1448*e1^7*e2^7*e3 + 40960*e1^7*e2^6*e3^11 + 32768*e1^7*e2^6*e3^10 + 589056*e1^7*e2^6*e3^9 - 1838848*e1^7*e2^6*e3^8 + 238480*e1^7*e2^6*e3^7 - 2090336*e1^7*e2^6*e3^6 + 6753296*e1^7*e2^6*e3^5 - 2989056*e1^7*e2^6*e3^4 - 664760*e1^7*e2^6*e3^3 - 70480*e1^7*e2^6*e3^2 - 1080*e1^7*e2^6*e3 - 40960*e1^7*e2^5*e3^11 + 251648*e1^7*e2^5*e3^10 - 561664*e1^7*e2^5*e3^9 + 1461296*e1^7*e2^5*e3^8 - 4739984*e1^7*e2^5*e3^7 + 6753296*e1^7*e2^5*e3^6 - 3561840*e1^7*e2^5*e3^5 + 147640*e1^7*e2^5*e3^4 + 349272*e1^7*e2^5*e3^3 - 58968*e1^7*e2^5*e3^2 + 264*e1^7*e2^5*e3 - 23296*e1^7*e2^4*e3^11 - 155904*e1^7*e2^4*e3^10 + 502872*e1^7*e2^4*e3^9 + 878144*e1^7*e2^4*e3^8 + 201376*e1^7*e2^4*e3^7 - 2989056*e1^7*e2^4*e3^6 + 147640*e1^7*e2^4*e3^5 + 1741472*e1^7*e2^4*e3^4 - 308592*e1^7*e2^4*e3^3 + 5344*e1^7*e2^4*e3^2 + 25088*e1^7*e2^3*e3^11 - 5624*e1^7*e2^3*e3^10 - 175016*e1^7*e2^3*e3^9 - 572000*e1^7*e2^3*e3^8 + 1338272*e1^7*e2^3*e3^7 - 664760*e1^7*e2^3*e3^6 + 349272*e1^7*e2^3*e3^5 - 308592*e1^7*e2^3*e3^4 + 13360*e1^7*e2^3*e3^3 - 1560*e1^7*e2^2*e3^11 - 50064*e1^7*e2^2*e3^10 - 18344*e1^7*e2^2*e3^9 + 20736*e1^7*e2^2*e3^8 + 173336*e1^7*e2^2*e3^7 - 70480*e1^7*e2^2*e3^6 - 58968*e1^7*e2^2*e3^5 + 5344*e1^7*e2^2*e3^4 - 8*e1^7*e2*e3^12 - 200*e1^7*e2*e3^11 + 856*e1^7*e2*e3^10 - 1000*e1^7*e2*e3^9 - 280*e1^7*e2*e3^8 + 1448*e1^7*e2*e3^7 - 1080*e1^7*e2*e3^6 + 264*e1^7*e2*e3^5 + 28*e1^6*e2^12*e3^2 - 40960*e1^6*e2^11*e3^7 + 80640*e1^6*e2^11*e3^5 - 34048*e1^6*e2^11*e3^4 - 6600*e1^6*e2^11*e3^3 + 856*e1^6*e2^11*e3^2 + 61440*e1^6*e2^10*e3^8 + 237568*e1^6*e2^10*e3^7 - 628480*e1^6*e2^10*e3^6 + 102400*e1^6*e2^10*e3^5 + 231084*e1^6*e2^10*e3^4 - 18344*e1^6*e2^10*e3^3 + 14500*e1^6*e2^10*e3^2 - 40960*e1^6*e2^9*e3^9 - 237568*e1^6*e2^9*e3^8 + 469248*e1^6*e2^9*e3^7 + 556544*e1^6*e2^9*e3^6 - 583136*e1^6*e2^9*e3^5 - 572000*e1^6*e2^9*e3^4 + 410112*e1^6*e2^9*e3^3 - 2352*e1^6*e2^9*e3^2 + 61440*e1^6*e2^8*e3^10 - 237568*e1^6*e2^8*e3^9 - 174592*e1^6*e2^8*e3^8 + 415488*e1^6*e2^8*e3^7 - 16328*e1^6*e2^8*e3^6 + 201376*e1^6*e2^8*e3^5 + 180592*e1^6*e2^8*e3^4 - 407760*e1^6*e2^8*e3^3 - 22620*e1^6*e2^8*e3^2 - 40960*e1^6*e2^7*e3^11 + 237568*e1^6*e2^7*e3^10 + 469248*e1^6*e2^7*e3^9 + 415488*e1^6*e2^7*e3^8 - 6057648*e1^6*e2^7*e3^7 + 6753296*e1^6*e2^7*e3^6 - 1218560*e1^6*e2^7*e3^5 - 517488*e1^6*e2^7*e3^4 - 30024*e1^6*e2^7*e3^3 - 10920*e1^6*e2^7*e3^2 - 628480*e1^6*e2^6*e3^10 + 556544*e1^6*e2^6*e3^9 - 16328*e1^6*e2^6*e3^8 + 6753296*e1^6*e2^6*e3^7 - 10414120*e1^6*e2^6*e3^6 + 1501040*e1^6*e2^6*e3^5 + 2459996*e1^6*e2^6*e3^4 - 233224*e1^6*e2^6*e3^3 + 21276*e1^6*e2^6*e3^2 + 80640*e1^6*e2^5*e3^11 + 102400*e1^6*e2^5*e3^10 - 583136*e1^6*e2^5*e3^9 + 201376*e1^6*e2^5*e3^8 - 1218560*e1^6*e2^5*e3^7 + 1501040*e1^6*e2^5*e3^6 + 2009232*e1^6*e2^5*e3^5 - 2385488*e1^6*e2^5*e3^4 + 293264*e1^6*e2^5*e3^3 - 768*e1^6*e2^5*e3^2 - 34048*e1^6*e2^4*e3^11 + 231084*e1^6*e2^4*e3^10 - 572000*e1^6*e2^4*e3^9 + 180592*e1^6*e2^4*e3^8 - 517488*e1^6*e2^4*e3^7 + 2459996*e1^6*e2^4*e3^6 - 2385488*e1^6*e2^4*e3^5 + 644776*e1^6*e2^4*e3^4 - 7424*e1^6*e2^4*e3^3 - 6600*e1^6*e2^3*e3^11 - 18344*e1^6*e2^3*e3^10 + 410112*e1^6*e2^3*e3^9 - 407760*e1^6*e2^3*e3^8 - 30024*e1^6*e2^3*e3^7 - 233224*e1^6*e2^3*e3^6 + 293264*e1^6*e2^3*e3^5 - 7424*e1^6*e2^3*e3^4 + 28*e1^6*e2^2*e3^12 + 856*e1^6*e2^2*e3^11 + 14500*e1^6*e2^2*e3^10 - 2352*e1^6*e2^2*e3^9 - 22620*e1^6*e2^2*e3^8 - 10920*e1^6*e2^2*e3^7 + 21276*e1^6*e2^2*e3^6 - 768*e1^6*e2^2*e3^5 - 56*e1^5*e2^12*e3^3 + 20480*e1^5*e2^11*e3^8 + 40960*e1^5*e2^11*e3^7 - 80640*e1^5*e2^11*e3^6 + 20424*e1^5*e2^11*e3^4 - 1000*e1^5*e2^11*e3^3 - 20480*e1^5*e2^10*e3^9 - 204800*e1^5*e2^10*e3^8 + 98560*e1^5*e2^10*e3^7 + 636416*e1^5*e2^10*e3^6 - 528416*e1^5*e2^10*e3^5 + 20736*e1^5*e2^10*e3^4 - 2352*e1^5*e2^10*e3^3 - 20480*e1^5*e2^9*e3^10 + 327680*e1^5*e2^9*e3^9 + 154112*e1^5*e2^9*e3^8 - 1312768*e1^5*e2^9*e3^7 + 1504*e1^5*e2^9*e3^6 + 1338272*e1^5*e2^9*e3^5 - 407760*e1^5*e2^9*e3^4 - 80336*e1^5*e2^9*e3^3 + 20480*e1^5*e2^8*e3^11 - 204800*e1^5*e2^8*e3^10 + 154112*e1^5*e2^8*e3^9 - 576512*e1^5*e2^8*e3^8 + 3070640*e1^5*e2^8*e3^7 - 2989056*e1^5*e2^8*e3^6 - 517488*e1^5*e2^8*e3^5 + 973728*e1^5*e2^8*e3^4 + 68840*e1^5*e2^8*e3^3 + 40960*e1^5*e2^7*e3^11 + 98560*e1^5*e2^7*e3^10 - 1312768*e1^5*e2^7*e3^9 + 3070640*e1^5*e2^7*e3^8 - 3561840*e1^5*e2^7*e3^7 + 1501040*e1^5*e2^7*e3^6 + 1556432*e1^5*e2^7*e3^5 - 1511608*e1^5*e2^7*e3^4 + 118584*e1^5*e2^7*e3^3 - 80640*e1^5*e2^6*e3^11 + 636416*e1^5*e2^6*e3^10 + 1504*e1^5*e2^6*e3^9 - 2989056*e1^5*e2^6*e3^8 + 1501040*e1^5*e2^6*e3^7 + 4447424*e1^5*e2^6*e3^6 - 4922416*e1^5*e2^6*e3^5 + 1509920*e1^5*e2^6*e3^4 - 104192*e1^5*e2^6*e3^3 - 528416*e1^5*e2^5*e3^10 + 1338272*e1^5*e2^5*e3^9 - 517488*e1^5*e2^5*e3^8 + 1556432*e1^5*e2^5*e3^7 - 4922416*e1^5*e2^5*e3^6 + 3681616*e1^5*e2^5*e3^5 - 608512*e1^5*e2^5*e3^4 + 512*e1^5*e2^5*e3^3 + 20424*e1^5*e2^4*e3^11 + 20736*e1^5*e2^4*e3^10 - 407760*e1^5*e2^4*e3^9 + 973728*e1^5*e2^4*e3^8 - 1511608*e1^5*e2^4*e3^7 + 1509920*e1^5*e2^4*e3^6 - 608512*e1^5*e2^4*e3^5 + 3072*e1^5*e2^4*e3^4 - 56*e1^5*e2^3*e3^12 - 1000*e1^5*e2^3*e3^11 - 2352*e1^5*e2^3*e3^10 - 80336*e1^5*e2^3*e3^9 + 68840*e1^5*e2^3*e3^8 + 118584*e1^5*e2^3*e3^7 - 104192*e1^5*e2^3*e3^6 + 512*e1^5*e2^3*e3^5 + 70*e1^4*e2^12*e3^4 - 4096*e1^4*e2^11*e3^9 - 32768*e1^4*e2^11*e3^8 + 23296*e1^4*e2^11*e3^7 + 34048*e1^4*e2^11*e3^6 - 20480*e1^4*e2^11*e3^5 - 280*e1^4*e2^11*e3^4 + 8192*e1^4*e2^10*e3^10 + 32768*e1^4*e2^10*e3^9 + 168192*e1^4*e2^10*e3^8 - 367360*e1^4*e2^10*e3^7 + 7912*e1^4*e2^10*e3^6 + 173336*e1^4*e2^10*e3^5 - 22620*e1^4*e2^10*e3^4 - 4096*e1^4*e2^9*e3^11 + 32768*e1^4*e2^9*e3^10 - 571392*e1^4*e2^9*e3^9 + 751104*e1^4*e2^9*e3^8 + 417280*e1^4*e2^9*e3^7 - 664760*e1^4*e2^9*e3^6 - 30024*e1^4*e2^9*e3^5 + 68840*e1^4*e2^9*e3^4 - 32768*e1^4*e2^8*e3^11 + 168192*e1^4*e2^8*e3^10 + 751104*e1^4*e2^8*e3^9 - 2128476*e1^4*e2^8*e3^8 + 147640*e1^4*e2^8*e3^7 + 2459996*e1^4*e2^8*e3^6 - 1511608*e1^4*e2^8*e3^5 + 145990*e1^4*e2^8*e3^4 + 23296*e1^4*e2^7*e3^11 - 367360*e1^4*e2^7*e3^10 + 417280*e1^4*e2^7*e3^9 + 147640*e1^4*e2^7*e3^8 + 2009232*e1^4*e2^7*e3^7 - 4922416*e1^4*e2^7*e3^6 + 3099368*e1^4*e2^7*e3^5 - 407040*e1^4*e2^7*e3^4 + 34048*e1^4*e2^6*e3^11 + 7912*e1^4*e2^6*e3^10 - 664760*e1^4*e2^6*e3^9 + 2459996*e1^4*e2^6*e3^8 - 4922416*e1^4*e2^6*e3^7 + 5150116*e1^4*e2^6*e3^6 - 2279936*e1^4*e2^6*e3^5 + 215040*e1^4*e2^6*e3^4 - 20480*e1^4*e2^5*e3^11 + 173336*e1^4*e2^5*e3^10 - 30024*e1^4*e2^5*e3^9 - 1511608*e1^4*e2^5*e3^8 + 3099368*e1^4*e2^5*e3^7 - 2279936*e1^4*e2^5*e3^6 + 569344*e1^4*e2^5*e3^5 + 70*e1^4*e2^4*e3^12 - 280*e1^4*e2^4*e3^11 - 22620*e1^4*e2^4*e3^10 + 68840*e1^4*e2^4*e3^9 + 145990*e1^4*e2^4*e3^8 - 407040*e1^4*e2^4*e3^7 + 215040*e1^4*e2^4*e3^6 - 56*e1^3*e2^12*e3^5 + 8192*e1^3*e2^11*e3^9 + 8960*e1^3*e2^11*e3^8 - 25088*e1^3*e2^11*e3^7 + 6712*e1^3*e2^11*e3^6 + 1448*e1^3*e2^11*e3^5 - 16384*e1^3*e2^10*e3^10 + 15616*e1^3*e2^10*e3^9 - 83200*e1^3*e2^10*e3^8 + 165032*e1^3*e2^10*e3^7 - 70480*e1^3*e2^10*e3^6 - 10920*e1^3*e2^10*e3^5 + 8192*e1^3*e2^9*e3^11 + 15616*e1^3*e2^9*e3^10 + 126464*e1^3*e2^9*e3^9 - 384680*e1^3*e2^9*e3^8 + 349272*e1^3*e2^9*e3^7 - 233224*e1^3*e2^9*e3^6 + 118584*e1^3*e2^9*e3^5 + 8960*e1^3*e2^8*e3^11 - 83200*e1^3*e2^8*e3^10 - 384680*e1^3*e2^8*e3^9 + 1741472*e1^3*e2^8*e3^8 - 2385488*e1^3*e2^8*e3^7 + 1509920*e1^3*e2^8*e3^6 - 407040*e1^3*e2^8*e3^5 - 25088*e1^3*e2^7*e3^11 + 165032*e1^3*e2^7*e3^10 + 349272*e1^3*e2^7*e3^9 - 2385488*e1^3*e2^7*e3^8 + 3681616*e1^3*e2^7*e3^7 - 2279936*e1^3*e2^7*e3^6 + 494592*e1^3*e2^7*e3^5 + 6712*e1^3*e2^6*e3^11 - 70480*e1^3*e2^6*e3^10 - 233224*e1^3*e2^6*e3^9 + 1509920*e1^3*e2^6*e3^8 - 2279936*e1^3*e2^6*e3^7 + 1263616*e1^3*e2^6*e3^6 - 196608*e1^3*e2^6*e3^5 - 56*e1^3*e2^5*e3^12 + 1448*e1^3*e2^5*e3^11 - 10920*e1^3*e2^5*e3^10 + 118584*e1^3*e2^5*e3^9 - 407040*e1^3*e2^5*e3^8 + 494592*e1^3*e2^5*e3^7 - 196608*e1^3*e2^5*e3^6 + 28*e1^2*e2^12*e3^6 - 4864*e1^2*e2^11*e3^9 + 4352*e1^2*e2^11*e3^8 + 1480*e1^2*e2^11*e3^7 - 1080*e1^2*e2^11*e3^6 + 5632*e1^2*e2^10*e3^10 - 20736*e1^2*e2^10*e3^9 + 52964*e1^2*e2^10*e3^8 - 58968*e1^2*e2^10*e3^7 + 21276*e1^2*e2^10*e3^6 - 4864*e1^2*e2^9*e3^11 - 20736*e1^2*e2^9*e3^10 + 145008*e1^2*e2^9*e3^9 - 308592*e1^2*e2^9*e3^8 + 293264*e1^2*e2^9*e3^7 - 104192*e1^2*e2^9*e3^6 + 4352*e1^2*e2^8*e3^11 + 52964*e1^2*e2^8*e3^10 - 308592*e1^2*e2^8*e3^9 + 644776*e1^2*e2^8*e3^8 - 608512*e1^2*e2^8*e3^7 + 215040*e1^2*e2^8*e3^6 + 1480*e1^2*e2^7*e3^11 - 58968*e1^2*e2^7*e3^10 + 293264*e1^2*e2^7*e3^9 - 608512*e1^2*e2^7*e3^8 + 569344*e1^2*e2^7*e3^7 - 196608*e1^2*e2^7*e3^6 + 28*e1^2*e2^6*e3^12 - 1080*e1^2*e2^6*e3^11 + 21276*e1^2*e2^6*e3^10 - 104192*e1^2*e2^6*e3^9 + 215040*e1^2*e2^6*e3^8 - 196608*e1^2*e2^6*e3^7 + 65536*e1^2*e2^6*e3^6 - 8*e1*e2^12*e3^7 + 768*e1*e2^11*e3^9 - 1000*e1*e2^11*e3^8 + 264*e1*e2^11*e3^7 + 2560*e1*e2^10*e3^10 - 7184*e1*e2^10*e3^9 + 5344*e1*e2^10*e3^8 - 768*e1*e2^10*e3^7 + 768*e1*e2^9*e3^11 - 7184*e1*e2^9*e3^10 + 13360*e1*e2^9*e3^9 - 7424*e1*e2^9*e3^8 + 512*e1*e2^9*e3^7 - 1000*e1*e2^8*e3^11 + 5344*e1*e2^8*e3^10 - 7424*e1*e2^8*e3^9 + 3072*e1*e2^8*e3^8 - 8*e1*e2^7*e3^12 + 264*e1*e2^7*e3^11 - 768*e1*e2^7*e3^10 + 512*e1*e2^7*e3^9 + e2^12*e3^8 - 4*e2^11*e3^9 + 6*e2^10*e3^10 - 4*e2^9*e3^11 + e2^8*e3^12 ;