> load"/home/harashita-lab/ogasawara/CompletedCodes/f2/f2code.txt"; Loading "/home/harashita-lab/ogasawara/CompletedCodes/f2/f2code.txt" Compute time Discriminant= 20.220 ----------------------f2------------------------- f2= 16*A^6*B^2*a1^6*a3^6 - 192*A^6*B^2*a0*a1^4*a3^7 + 64*A^7*B*a1^4*a2*a3^7 + 768*A^6*B^2*a0^2*a1^2*a3^8 - 512*A^7*B*a0*a1^2*a2*a3^8 - 1024*A^6*B^2*a0^3*a3^9 + 1024*A^7*B*a0^2*a2*a3^9 - 32*A^7*B*a1^5*a3^6*a4 + 256*A^7*B*a0*a1^3*a3^7*a4 - 512*A^7*B*a0^2*a1*a3^8*a4 + 16*A^8*a1^4*a3^6*a4^2 - 128*A^8*a0*a1^2*a3^7*a4^2 + 256*A^8*a0^2*a3^8*a4^2 - 64*A^8*a1^4*a3^7*a5 + 512*A^8*a0*a1^2*a3^8*a5 - 1024*A^8*a0^2*a3^9*a5 - 4*A^5*B^2*a1^10*a3^2 + 64*A^5*B^2*a0*a1^8*a3^3 - 16*A^6*B*a1^8*a2*a3^3 - 392*A^5*B^2*a0^2*a1^6*a3^4 + 72*A^4*B^3*a1^8*a3^4 + 192*A^6*B*a0*a1^6*a2*a3^4 + 1120*A^5*B^2*a0^3*a1^4*a3^5 - 1008*A^4*B^3*a0*a1^6*a3^5 - 800*A^6*B*a0^2*a1^4*a2*a3^5 + 384*A^5*B^2*a1^6*a2*a3^5 - 1408*A^5*B^2*a0^4*a1^2*a3^6 + 5184*A^4*B^3*a0^2*a1^4*a3^6 + 216*A^3*B^4*a1^6*a3^6 + 1280*A^6*B*a0^3*a1^2*a2*a3^6 - 4032*A^5*B^2*a0*a1^4*a2*a3^6 + 320*A^6*B*a1^4*a2^2*a3^6 + 512*A^5*B^2*a0^5*a3^7 - 11520*A^4*B^3*a0^3*a1^2*a3^7 - 2592*A^3*B^4*a0*a1^4*a3^7 - 512*A^6*B*a0^4*a2*a3^7 + 13824*A^5*B^2*a0^2*a1^2*a2*a3^7 + 864*A^4*B^3*a1^4*a2*a3^7 - 2816*A^6*B*a0*a1^2*a2^2*a3^7 + 9216*A^4*B^3*a0^4*a3^8 + 10368*A^3*B^4*a0^2*a1^2*a3^8 - 15360*A^5*B^2*a0^3*a2*a3^8 - 6912*A^4*B^3*a0*a1^2*a2*a3^8 + 6144*A^6*B*a0^2*a2^2*a3^8 - 13824*A^3*B^4*a0^3*a3^9 + 13824*A^4*B^3*a0^2*a2*a3^9 + 1024*A^6*B*a2^3*a3^9 + 8*A^6*B*a1^9*a3^2*a4 - 96*A^6*B*a0*a1^7*a3^3*a4 + 400*A^6*B*a0^2*a1^5*a3^4*a4 - 240*A^5*B^2*a1^7*a3^4*a4 - 640*A^6*B*a0^3*a1^3*a3^5*a4 + 2592*A^5*B^2*a0*a1^5*a3^5*a4 - 544*A^6*B*a1^5*a2*a3^5*a4 + 256*A^6*B*a0^4*a1*a3^6*a4 - 9216*A^5*B^2*a0^2*a1^3*a3^6*a4 - 432*A^4*B^3*a1^5*a3^6*a4 + 4608*A^6*B*a0*a1^3*a2*a3^6*a4 + 10752*A^5*B^2*a0^3*a1*a3^7*a4 + 3456*A^4*B^3*a0*a1^3*a3^7*a4 - 9728*A^6*B*a0^2*a1*a2*a3^7*a4 - 6912*A^4*B^3*a0^2*a1*a3^8*a4 - 1536*A^6*B*a1*a2^2*a3^8*a4 - 4*A^7*a1^8*a3^2*a4^2 + 48*A^7*a0*a1^6*a3^3*a4^2 - 200*A^7*a0^2*a1^4*a3^4*a4^2 + 264*A^6*B*a1^6*a3^4*a4^2 + 320*A^7*a0^3*a1^2*a3^5*a4^2 - 2288*A^6*B*a0*a1^4*a3^5*a4^2 + 64*A^7*a1^4*a2*a3^5*a4^2 - 128*A^7*a0^4*a3^6*a4^2 + 5376*A^6*B*a0^2*a1^2*a3^6*a4^2 + 216*A^5*B^2*a1^4*a3^6*a4^2 - 576*A^7*a0*a1^2*a2*a3^6*a4^2 - 1792*A^6*B*a0^3*a3^7*a4^2 - 1728*A^5*B^2*a0*a1^2*a3^7*a4^2 + 1280*A^7*a0^2*a2*a3^7*a4^2 + 576*A^6*B*a1^2*a2*a3^7*a4^2 + 3456*A^5*B^2*a0^2*a3^8*a4^2 + 768*A^6*B*a0*a2*a3^8*a4^2 + 256*A^7*a2^2*a3^8*a4^2 - 96*A^7*a1^5*a3^4*a4^3 + 800*A^7*a0*a1^3*a3^5*a4^3 - 1664*A^7*a0^2*a1*a3^6*a4^3 - 32*A^6*B*a1^3*a3^6*a4^3 - 384*A^6*B*a0*a1*a3^7*a4^3 - 256*A^7*a1*a2*a3^7*a4^3 + 32*A^7*a1^2*a3^6*a4^4 + 128*A^7*a0*a3^7*a4^4 + 16*A^7*a1^8*a3^3*a5 - 192*A^7*a0*a1^6*a3^4*a5 + 800*A^7*a0^2*a1^4*a3^5*a5 - 320*A^6*B*a1^6*a3^5*a5 - 1280*A^7*a0^3*a1^2*a3^6*a5 + 3136*A^6*B*a0*a1^4*a3^6*a5 - 320*A^7*a1^4*a2*a3^6*a5 + 512*A^7*a0^4*a3^7*a5 - 9728*A^6*B*a0^2*a1^2*a3^7*a5 - 864*A^5*B^2*a1^4*a3^7*a5 + 2816*A^7*a0*a1^2*a2*a3^7*a5 + 9216*A^6*B*a0^3*a3^8*a5 + 6912*A^5*B^2*a0*a1^2*a3^8*a5 - 6144*A^7*a0^2*a2*a3^8*a5 + 768*A^6*B*a1^2*a2*a3^8*a5 - 13824*A^5*B^2*a0^2*a3^9*a5 - 3072*A^6*B*a0*a2*a3^9*a5 - 1024*A^7*a2^2*a3^9*a5 + 416*A^7*a1^5*a3^5*a4*a5 - 3456*A^7*a0*a1^3*a3^6*a4*a5 + 7168*A^7*a0^2*a1*a3^7*a4*a5 - 384*A^6*B*a1^3*a3^7*a4*a5 + 1536*A^6*B*a0*a1*a3^8*a4*a5 + 1024*A^7*a1*a2*a3^8*a4*a5 - 1024*A^7*a0*a3^8*a4^2*a5 - 512*A^7*a1^2*a3^8*a5^2 + 2048*A^7*a0*a3^9*a5^2 - 16*A^3*B^3*a1^12 + 288*A^3*B^3*a0*a1^10*a3 - 80*A^4*B^2*a1^10*a2*a3 + A^4*B^2*a0^4*a1^6*a3^2 - 2082*A^3*B^3*a0^2*a1^8*a3^2 - 27*A^2*B^4*a1^10*a3^2 + 1160*A^4*B^2*a0*a1^8*a2*a3^2 - 48*A^5*B*a1^8*a2^2*a3^2 - 12*A^4*B^2*a0^5*a1^4*a3^3 + 7644*A^3*B^3*a0^3*a1^6*a3^3 + 432*A^2*B^4*a0*a1^8*a3^3 + 4*A^5*B*a0^4*a1^4*a2*a3^3 - 6416*A^4*B^2*a0^2*a1^6*a2*a3^3 + 36*A^3*B^3*a1^8*a2*a3^3 + 672*A^5*B*a0*a1^6*a2^2*a3^3 + 48*A^4*B^2*a0^6*a1^2*a3^4 - 14736*A^3*B^3*a0^4*a1^4*a3^4 - 2322*A^2*B^4*a0^2*a1^6*a3^4 + 486*A*B^5*a1^8*a3^4 - 32*A^5*B*a0^5*a1^2*a2*a3^4 + 16560*A^4*B^2*a0^3*a1^4*a2*a3^4 - 1008*A^3*B^3*a0*a1^6*a2*a3^4 - 3200*A^5*B*a0^2*a1^4*a2^2*a3^4 + 552*A^4*B^2*a1^6*a2^2*a3^4 - 64*A^4*B^2*a0^7*a3^5 + 13632*A^3*B^3*a0^5*a1^2*a3^5 + 3672*A^2*B^4*a0^3*a1^4*a3^5 - 6804*A*B^5*a0*a1^6*a3^5 + 64*A^5*B*a0^6*a2*a3^5 - 19072*A^4*B^2*a0^4*a1^2*a2*a3^5 + 9720*A^3*B^3*a0^2*a1^4*a2*a3^5 + 2592*A^2*B^4*a1^6*a2*a3^5 + 5760*A^5*B*a0^3*a1^2*a2^2*a3^5 - 8256*A^4*B^2*a0*a1^4*a2^2*a3^5 + 352*A^5*B*a1^4*a2^3*a3^5 - 4352*A^3*B^3*a0^6*a3^6 + 6048*A^2*B^4*a0^4*a1^2*a3^6 + 34992*A*B^5*a0^2*a1^4*a3^6 + 729*B^6*a1^6*a3^6 + 6912*A^4*B^2*a0^5*a2*a3^6 - 38592*A^3*B^3*a0^3*a1^2*a2*a3^6 - 27216*A^2*B^4*a0*a1^4*a2*a3^6 - 2560*A^5*B*a0^4*a2^2*a3^6 + 37248*A^4*B^2*a0^2*a1^2*a2^2*a3^6 + 1728*A^3*B^3*a1^4*a2^2*a3^6 - 5248*A^5*B*a0*a1^2*a2^3*a3^6 - 17280*A^2*B^4*a0^5*a3^7 - 77760*A*B^5*a0^3*a1^2*a3^7 - 8748*B^6*a0*a1^4*a3^7 + 54144*A^3*B^3*a0^4*a2*a3^7 + 93312*A^2*B^4*a0^2*a1^2*a2*a3^7 + 2916*A*B^5*a1^4*a2*a3^7 - 52224*A^4*B^2*a0^3*a2^2*a3^7 - 17280*A^3*B^3*a0*a1^2*a2^2*a3^7 + 14848*A^5*B*a0^2*a2^3*a3^7 + 4608*A^4*B^2*a1^2*a2^3*a3^7 + 62208*A*B^5*a0^4*a3^8 + 34992*B^6*a0^2*a1^2*a3^8 - 103680*A^2*B^4*a0^3*a2*a3^8 - 23328*A*B^5*a0*a1^2*a2*a3^8 + 41472*A^3*B^3*a0^2*a2^2*a3^8 - 9216*A^4*B^2*a0*a2^3*a3^8 + 6144*A^5*B*a2^4*a3^8 - 46656*B^6*a0^3*a3^9 + 46656*A*B^5*a0^2*a2*a3^9 + 13824*A^3*B^3*a2^3*a3^9 + 48*A^4*B^2*a1^11*a4 - 704*A^4*B^2*a0*a1^9*a3*a4 + 88*A^5*B*a1^9*a2*a3*a4 - 2*A^5*B*a0^4*a1^5*a3^2*a4 + 3932*A^4*B^2*a0^2*a1^7*a3^2*a4 - 90*A^3*B^3*a1^9*a3^2*a4 - 1136*A^5*B*a0*a1^7*a2*a3^2*a4 + 16*A^5*B*a0^5*a1^3*a3^3*a4 - 10184*A^4*B^2*a0^3*a1^5*a3^3*a4 + 1368*A^3*B^3*a0*a1^7*a3^3*a4 + 5024*A^5*B*a0^2*a1^5*a2*a3^3*a4 - 1104*A^4*B^2*a1^7*a2*a3^3*a4 - 32*A^5*B*a0^6*a1*a3^4*a4 + 11520*A^4*B^2*a0^4*a1^3*a3^4*a4 - 8316*A^3*B^3*a0^2*a1^5*a3^4*a4 - 1620*A^2*B^4*a1^7*a3^4*a4 - 8320*A^5*B*a0^3*a1^3*a2*a3^4*a4 + 13440*A^4*B^2*a0*a1^5*a2*a3^4*a4 - 1040*A^5*B*a1^5*a2^2*a3^4*a4 - 3712*A^4*B^2*a0^5*a1*a3^5*a4 + 23904*A^3*B^3*a0^3*a1^3*a3^5*a4 + 17496*A^2*B^4*a0*a1^5*a3^5*a4 + 3072*A^5*B*a0^4*a1*a2*a3^5*a4 - 52224*A^4*B^2*a0^2*a1^3*a2*a3^5*a4 - 3456*A^3*B^3*a1^5*a2*a3^5*a4 + 12736*A^5*B*a0*a1^3*a2^2*a3^5*a4 - 27072*A^3*B^3*a0^4*a1*a3^6*a4 - 62208*A^2*B^4*a0^2*a1^3*a3^6*a4 - 1458*A*B^5*a1^5*a3^6*a4 + 64512*A^4*B^2*a0^3*a1*a2*a3^6*a4 + 31104*A^3*B^3*a0*a1^3*a2*a3^6*a4 - 33536*A^5*B*a0^2*a1*a2^2*a3^6*a4 - 6912*A^4*B^2*a1^3*a2^2*a3^6*a4 + 72576*A^2*B^4*a0^3*a1*a3^7*a4 + 11664*A*B^5*a0*a1^3*a3^7*a4 - 69120*A^3*B^3*a0^2*a1*a2*a3^7*a4 + 13824*A^4*B^2*a0*a1*a2^2*a3^7*a4 - 15360*A^5*B*a1*a2^3*a3^7*a4 - 23328*A*B^5*a0^2*a1*a3^8*a4 - 20736*A^3*B^3*a1*a2^2*a3^8*a4 - 48*A^5*B*a1^10*a4^2 + 616*A^5*B*a0*a1^8*a3*a4^2 - 8*A^6*a1^8*a2*a3*a4^2 + A^6*a0^4*a1^4*a3^2*a4^2 - 2802*A^5*B*a0^2*a1^6*a3^2*a4^2 + 381*A^4*B^2*a1^8*a3^2*a4^2 + 120*A^6*a0*a1^6*a2*a3^2*a4^2 - 8*A^6*a0^5*a1^2*a3^3*a4^2 + 5220*A^5*B*a0^3*a1^4*a3^3*a4^2 - 3996*A^4*B^2*a0*a1^6*a3^3*a4^2 - 600*A^6*a0^2*a1^4*a2*a3^3*a4^2 + 912*A^5*B*a1^6*a2*a3^3*a4^2 + 16*A^6*a0^6*a3^4*a4^2 - 3392*A^5*B*a0^4*a1^2*a3^4*a4^2 + 12606*A^4*B^2*a0^2*a1^4*a3^4*a4^2 + 1566*A^3*B^3*a1^6*a3^4*a4^2 + 1120*A^6*a0^3*a1^2*a2*a3^4*a4^2 - 9792*A^5*B*a0*a1^4*a2*a3^4*a4^2 + 24*A^6*a1^4*a2^2*a3^4*a4^2 + 832*A^5*B*a0^5*a3^5*a4^2 - 8880*A^4*B^2*a0^3*a1^2*a3^5*a4^2 - 13068*A^3*B^3*a0*a1^4*a3^5*a4^2 - 512*A^6*a0^4*a2*a3^5*a4^2 + 23328*A^5*B*a0^2*a1^2*a2*a3^5*a4^2 + 1944*A^4*B^2*a1^4*a2*a3^5*a4^2 - 736*A^6*a0*a1^2*a2^2*a3^5*a4^2 - 7968*A^4*B^2*a0^4*a3^6*a4^2 + 25920*A^3*B^3*a0^2*a1^2*a3^6*a4^2 + 729*A^2*B^4*a1^4*a3^6*a4^2 + 3456*A^5*B*a0^3*a2*a3^6*a4^2 + 2592*A^4*B^2*a0*a1^2*a2*a3^6*a4^2 + 2432*A^6*a0^2*a2^2*a3^6*a4^2 + 13824*A^5*B*a1^2*a2^2*a3^6*a4^2 + 5184*A^3*B^3*a0^3*a3^7*a4^2 - 5832*A^2*B^4*a0*a1^2*a3^7*a4^2 - 13824*A^4*B^2*a0^2*a2*a3^7*a4^2 + 7776*A^3*B^3*a1^2*a2*a3^7*a4^2 + 2304*A^5*B*a0*a2^2*a3^7*a4^2 + 1280*A^6*a2^3*a3^7*a4^2 + 11664*A^2*B^4*a0^2*a3^8*a4^2 + 10368*A^3*B^3*a0*a2*a3^8*a4^2 + 3456*A^4*B^2*a2^2*a3^8*a4^2 + 16*A^6*a1^9*a4^3 - 200*A^6*a0*a1^7*a3*a4^3 + 856*A^6*a0^2*a1^5*a3^2*a4^3 - 376*A^5*B*a1^7*a3^2*a4^3 - 1360*A^6*a0^3*a1^3*a3^3*a4^3 + 3472*A^5*B*a0*a1^5*a3^3*a4^3 - 128*A^6*a1^5*a2*a3^3*a4^3 + 448*A^6*a0^4*a1*a3^4*a4^3 - 7440*A^5*B*a0^2*a1^3*a3^4*a4^3 - 360*A^4*B^2*a1^5*a3^4*a4^3 + 1792*A^6*a0*a1^3*a2*a3^4*a4^3 - 1472*A^5*B*a0^3*a1*a3^5*a4^3 + 720*A^4*B^2*a0*a1^3*a3^5*a4^3 - 4992*A^6*a0^2*a1*a2*a3^5*a4^3 - 4800*A^5*B*a1^3*a2*a3^5*a4^3 - 1728*A^4*B^2*a0^2*a1*a3^6*a4^3 - 432*A^3*B^3*a1^3*a3^6*a4^3 - 4608*A^5*B*a0*a1*a2*a3^6*a4^3 - 2816*A^6*a1*a2^2*a3^6*a4^3 - 5184*A^3*B^3*a0*a1*a3^7*a4^3 - 3456*A^4*B^2*a1*a2*a3^7*a4^3 + 112*A^6*a1^6*a3^2*a4^4 - 1008*A^6*a0*a1^4*a3^3*a4^4 + 1696*A^6*a0^2*a1^2*a3^4*a4^4 + 120*A^5*B*a1^4*a3^4*a4^4 + 2048*A^6*a0^3*a3^5*a4^4 + 4320*A^5*B*a0*a1^2*a3^5*a4^4 + 1696*A^6*a1^2*a2*a3^5*a4^4 - 4608*A^5*B*a0^2*a3^6*a4^4 + 432*A^4*B^2*a1^2*a3^6*a4^4 + 576*A^6*a0*a2*a3^6*a4^4 + 1728*A^4*B^2*a0*a3^7*a4^4 - 192*A^6*a1^3*a3^4*a4^5 - 736*A^6*a0*a1*a3^5*a4^5 + 16*A^6*a3^6*a4^6 + 72*A^5*B*a1^10*a3*a5 - 992*A^5*B*a0*a1^8*a3^2*a5 + 48*A^6*a1^8*a2*a3^2*a5 - 4*A^6*a0^4*a1^4*a3^3*a5 + 5144*A^5*B*a0^2*a1^6*a3^3*a5 + 108*A^4*B^2*a1^8*a3^3*a5 - 672*A^6*a0*a1^6*a2*a3^3*a5 + 32*A^6*a0^5*a1^2*a3^4*a5 - 12240*A^5*B*a0^3*a1^4*a3^4*a5 - 1728*A^4*B^2*a0*a1^6*a3^4*a5 + 3200*A^6*a0^2*a1^4*a2*a3^4*a5 - 160*A^5*B*a1^6*a2*a3^4*a5 - 64*A^6*a0^6*a3^5*a5 + 12800*A^5*B*a0^4*a1^2*a3^5*a5 + 8136*A^4*B^2*a0^2*a1^4*a3^5*a5 - 1944*A^3*B^3*a1^6*a3^5*a5 - 5760*A^6*a0^3*a1^2*a2*a3^5*a5 + 3584*A^5*B*a0*a1^4*a2*a3^5*a5 - 352*A^6*a1^4*a2^2*a3^5*a5 - 4352*A^5*B*a0^5*a3^6*a5 - 9792*A^4*B^2*a0^3*a1^2*a3^6*a5 + 17712*A^3*B^3*a0*a1^4*a3^6*a5 + 2560*A^6*a0^4*a2*a3^6*a5 - 19072*A^5*B*a0^2*a1^2*a2*a3^6*a5 + 3456*A^4*B^2*a1^4*a2*a3^6*a5 + 5248*A^6*a0*a1^2*a2^2*a3^6*a5 - 8064*A^4*B^2*a0^4*a3^7*a5 - 48384*A^3*B^3*a0^2*a1^2*a3^7*a5 - 2916*A^2*B^4*a1^4*a3^7*a5 + 29184*A^5*B*a0^3*a2*a3^7*a5 - 17280*A^4*B^2*a0*a1^2*a2*a3^7*a5 - 14848*A^6*a0^2*a2^2*a3^7*a5 + 34560*A^3*B^3*a0^3*a3^8*a5 + 23328*A^2*B^4*a0*a1^2*a3^8*a5 + 13824*A^4*B^2*a0^2*a2*a3^8*a5 + 10368*A^3*B^3*a1^2*a2*a3^8*a5 - 9216*A^5*B*a0*a2^2*a3^8*a5 - 6144*A^6*a2^3*a3^8*a5 - 46656*A^2*B^4*a0^2*a3^9*a5 - 41472*A^3*B^3*a0*a2*a3^9*a5 - 13824*A^4*B^2*a2^2*a3^9*a5 - 72*A^6*a1^9*a3*a4*a5 + 896*A^6*a0*a1^7*a3^2*a4*a5 - 3824*A^6*a0^2*a1^5*a3^3*a4*a5 + 720*A^5*B*a1^7*a3^3*a4*a5 + 6080*A^6*a0^3*a1^3*a3^4*a4*a5 - 7360*A^5*B*a0*a1^5*a3^4*a4*a5 + 992*A^6*a1^5*a2*a3^4*a4*a5 - 2048*A^6*a0^4*a1*a3^5*a4*a5 + 23360*A^5*B*a0^2*a1^3*a3^5*a4*a5 + 432*A^4*B^2*a1^5*a3^5*a4*a5 - 11264*A^6*a0*a1^3*a2*a3^5*a4*a5 - 21760*A^5*B*a0^3*a1*a3^6*a4*a5 - 8640*A^4*B^2*a0*a1^3*a3^6*a4*a5 + 28672*A^6*a0^2*a1*a2*a3^6*a4*a5 - 2304*A^5*B*a1^3*a2*a3^6*a4*a5 + 27648*A^4*B^2*a0^2*a1*a3^7*a4*a5 - 5184*A^3*B^3*a1^3*a3^7*a4*a5 + 18432*A^5*B*a0*a1*a2*a3^7*a4*a5 + 12800*A^6*a1*a2^2*a3^7*a4*a5 + 20736*A^3*B^3*a0*a1*a3^8*a4*a5 + 13824*A^4*B^2*a1*a2*a3^8*a4*a5 - 528*A^6*a1^6*a3^3*a4^2*a5 + 4560*A^6*a0*a1^4*a3^4*a4^2*a5 - 7040*A^6*a0^2*a1^2*a3^5*a4^2*a5 + 3600*A^5*B*a1^4*a3^5*a4^2*a5 - 10496*A^6*a0^3*a3^6*a4^2*a5 - 24192*A^5*B*a0*a1^2*a3^6*a4^2*a5 - 6720*A^6*a1^2*a2*a3^6*a4^2*a5 + 29952*A^5*B*a0^2*a3^7*a4^2*a5 - 5376*A^6*a0*a2*a3^7*a4^2*a5 - 13824*A^4*B^2*a0*a3^8*a4^2*a5 + 32*A^6*a1^3*a3^5*a4^3*a5 + 6272*A^6*a0*a1*a3^6*a4^3*a5 - 192*A^6*a3^7*a4^4*a5 - 368*A^6*a1^6*a3^4*a5^2 + 3584*A^6*a0*a1^4*a3^5*a5^2 - 10496*A^6*a0^2*a1^2*a3^6*a5^2 - 4032*A^5*B*a1^4*a3^6*a5^2 + 8192*A^6*a0^3*a3^7*a5^2 + 27648*A^5*B*a0*a1^2*a3^7*a5^2 - 3328*A^6*a1^2*a2*a3^7*a5^2 - 46080*A^5*B*a0^2*a3^8*a5^2 - 6912*A^4*B^2*a1^2*a3^8*a5^2 + 12288*A^6*a0*a2*a3^8*a5^2 + 27648*A^4*B^2*a0*a3^9*a5^2 + 3456*A^6*a1^3*a3^6*a4*a5^2 - 13312*A^6*a0*a1*a3^7*a4*a5^2 + 768*A^6*a3^8*a4^2*a5^2 - 1024*A^6*a3^9*a5^3 + 4*A^2*B^3*a0^4*a1^8 - 72*A*B^4*a0^2*a1^10 - 108*B^5*a1^12 + 96*A^2*B^3*a0*a1^10*a2 + 32*A^3*B^2*a1^10*a2^2 - 56*A^2*B^3*a0^5*a1^6*a3 + 1152*A*B^4*a0^3*a1^8*a3 + 1944*B^5*a0*a1^10*a3 + 20*A^3*B^2*a0^4*a1^6*a2*a3 - 1800*A^2*B^3*a0^2*a1^8*a2*a3 - 540*A*B^4*a1^10*a2*a3 + 256*A^3*B^2*a0*a1^8*a2^2*a3 - 48*A^4*B*a1^8*a2^3*a3 + 288*A^2*B^3*a0^6*a1^4*a3^2 - 7056*A*B^4*a0^4*a1^6*a3^2 - 13932*B^5*a0^2*a1^8*a3^2 - 208*A^3*B^2*a0^5*a1^4*a2*a3^2 + 12588*A^2*B^3*a0^3*a1^6*a2*a3^2 + 7668*A*B^4*a0*a1^8*a2*a3^2 + 12*A^4*B*a0^4*a1^4*a2^2*a3^2 - 5494*A^3*B^2*a0^2*a1^6*a2^2*a3^2 - 270*A^2*B^3*a1^8*a2^2*a3^2 + 864*A^4*B*a0*a1^6*a2^3*a3^2 - 640*A^2*B^3*a0^7*a1^2*a3^3 + 20160*A*B^4*a0^5*a1^4*a3^3 + 49896*B^5*a0^3*a1^6*a3^3 + 704*A^3*B^2*a0^6*a1^2*a2*a3^3 - 40272*A^2*B^3*a0^4*a1^4*a2*a3^3 - 40068*A*B^4*a0^2*a1^6*a2*a3^3 + 972*B^5*a1^8*a2*a3^3 - 112*A^4*B*a0^5*a1^2*a2^2*a3^3 + 24880*A^3*B^2*a0^3*a1^4*a2^2*a3^3 + 2484*A^2*B^3*a0*a1^6*a2^2*a3^3 - 4920*A^4*B*a0^2*a1^4*a2^3*a3^3 - 1136*A^3*B^2*a1^6*a2^3*a3^3 + 512*A^2*B^3*a0^8*a3^4 - 25344*A*B^4*a0^6*a1^2*a3^4 - 90720*B^5*a0^4*a1^4*a3^4 - 768*A^3*B^2*a0^7*a2*a3^4 + 55872*A^2*B^3*a0^5*a1^2*a2*a3^4 + 89424*A*B^4*a0^3*a1^4*a2*a3^4 - 12636*B^5*a0*a1^6*a2*a3^4 + 256*A^4*B*a0^6*a2^2*a3^4 - 40736*A^3*B^2*a0^4*a1^2*a2^2*a3^4 - 2376*A^2*B^3*a0^2*a1^4*a2^2*a3^4 + 2754*A*B^4*a1^6*a2^2*a3^4 + 10208*A^4*B*a0^3*a1^2*a2^3*a3^4 + 2400*A^3*B^2*a0*a1^4*a2^3*a3^4 - 512*A^4*B*a1^4*a2^4*a3^4 + 9216*A*B^4*a0^7*a3^5 + 72576*B^5*a0^5*a1^2*a3^5 - 22272*A^2*B^3*a0^6*a2*a3^5 - 63936*A*B^4*a0^4*a1^2*a2*a3^5 + 58320*B^5*a0^2*a1^4*a2*a3^5 + 18176*A^3*B^2*a0^5*a2^2*a3^5 - 35424*A^2*B^3*a0^3*a1^2*a2^2*a3^5 - 32400*A*B^4*a0*a1^4*a2^2*a3^5 - 5056*A^4*B*a0^4*a2^3*a3^5 + 25344*A^3*B^2*a0^2*a1^2*a2^3*a3^5 - 1512*A^2*B^3*a1^4*a2^3*a3^5 - 2496*A^4*B*a0*a1^2*a2^4*a3^5 - 13824*B^5*a0^6*a3^6 - 20736*A*B^4*a0^5*a2*a3^6 - 108864*B^5*a0^3*a1^2*a2*a3^6 + 89856*A^2*B^3*a0^4*a2^2*a3^6 + 111456*A*B^4*a0^2*a1^2*a2^2*a3^6 - 2916*B^5*a1^4*a2^2*a3^6 - 71424*A^3*B^2*a0^3*a2^3*a3^6 - 4320*A^2*B^3*a0*a1^2*a2^3*a3^6 + 17920*A^4*B*a0^2*a2^4*a3^6 + 9792*A^3*B^2*a1^2*a2^4*a3^6 + 62208*B^5*a0^4*a2*a3^7 - 103680*A*B^4*a0^3*a2^2*a3^7 + 11664*B^5*a0*a1^2*a2^2*a3^7 + 58752*A^2*B^3*a0^2*a2^3*a3^7 + 31104*A*B^4*a1^2*a2^3*a3^7 - 36864*A^3*B^2*a0*a2^4*a3^7 + 15360*A^4*B*a2^5*a3^7 - 62208*A*B^4*a0*a2^3*a3^8 + 41472*A^2*B^3*a2^4*a3^8 + 46656*B^5*a2^3*a3^9 - 12*A^3*B^2*a0^4*a1^7*a4 + 120*A^2*B^3*a0^2*a1^9*a4 + 324*A*B^4*a1^11*a4 - 512*A^3*B^2*a0*a1^9*a2*a4 + 80*A^4*B*a1^9*a2^2*a4 + 128*A^3*B^2*a0^5*a1^5*a3*a4 - 1392*A^2*B^3*a0^3*a1^7*a3*a4 - 4752*A*B^4*a0*a1^9*a3*a4 - 22*A^4*B*a0^4*a1^5*a2*a3*a4 + 5484*A^3*B^2*a0^2*a1^7*a2*a3*a4 + 594*A^2*B^3*a1^9*a2*a3*a4 - 1552*A^4*B*a0*a1^7*a2^2*a3*a4 - 448*A^3*B^2*a0^6*a1^3*a3^2*a4 + 5472*A^2*B^3*a0^4*a1^5*a3^2*a4 + 25812*A*B^4*a0^2*a1^7*a3^2*a4 - 972*B^5*a1^9*a3^2*a4 + 192*A^4*B*a0^5*a1^3*a2*a3^2*a4 - 20120*A^3*B^2*a0^3*a1^5*a2*a3^2*a4 - 6696*A^2*B^3*a0*a1^7*a2*a3^2*a4 + 8940*A^4*B*a0^2*a1^5*a2^2*a3^2*a4 + 1788*A^3*B^2*a1^7*a2^2*a3^2*a4 + 512*A^3*B^2*a0^7*a1*a3^3*a4 - 7680*A^2*B^3*a0^5*a1^3*a3^3*a4 - 60480*A*B^4*a0^3*a1^5*a3^3*a4 + 13608*B^5*a0*a1^7*a3^3*a4 - 416*A^4*B*a0^6*a1*a2*a3^3*a4 + 27712*A^3*B^2*a0^4*a1^3*a2*a3^3*a4 + 20196*A^2*B^3*a0^2*a1^5*a2*a3^3*a4 - 7452*A*B^4*a1^7*a2*a3^3*a4 - 17872*A^4*B*a0^3*a1^3*a2^2*a3^3*a4 - 2232*A^3*B^2*a0*a1^5*a2^2*a3^3*a4 + 1408*A^4*B*a1^5*a2^3*a3^3*a4 + 1536*A^2*B^3*a0^6*a1*a3^4*a4 + 46656*A*B^4*a0^4*a1^3*a3^4*a4 - 69984*B^5*a0^2*a1^5*a3^4*a4 - 8832*A^3*B^2*a0^5*a1*a2*a3^4*a4 + 12096*A^2*B^3*a0^3*a1^3*a2*a3^4*a4 + 84888*A*B^4*a0*a1^5*a2*a3^4*a4 + 7200*A^4*B*a0^4*a1*a2^2*a3^4*a4 - 48384*A^3*B^2*a0^2*a1^3*a2^2*a3^4*a4 - 5076*A^2*B^3*a1^5*a2^2*a3^4*a4 + 6048*A^4*B*a0*a1^3*a2^3*a3^4*a4 + 13824*A*B^4*a0^5*a1*a3^5*a4 + 155520*B^5*a0^3*a1^3*a3^5*a4 - 95040*A^2*B^3*a0^4*a1*a2*a3^5*a4 - 305856*A*B^4*a0^2*a1^3*a2*a3^5*a4 + 1458*B^5*a1^5*a2*a3^5*a4 + 121344*A^3*B^2*a0^3*a1*a2^2*a3^5*a4 + 70416*A^2*B^3*a0*a1^3*a2^2*a3^5*a4 - 44928*A^4*B*a0^2*a1*a2^3*a3^5*a4 - 23904*A^3*B^2*a1^3*a2^3*a3^5*a4 - 124416*B^5*a0^4*a1*a3^6*a4 + 342144*A*B^4*a0^3*a1*a2*a3^6*a4 - 226368*A^2*B^3*a0^2*a1*a2^2*a3^6*a4 - 46656*A*B^4*a1^3*a2^2*a3^6*a4 + 72576*A^3*B^2*a0*a1*a2^3*a3^6*a4 - 46848*A^4*B*a1*a2^4*a3^6*a4 - 23328*B^5*a0^2*a1*a2*a3^7*a4 + 93312*A*B^4*a0*a1*a2^2*a3^7*a4 - 103680*A^2*B^3*a1*a2^3*a3^7*a4 - 69984*B^5*a1*a2^2*a3^8*a4 + 12*A^4*B*a0^4*a1^6*a4^2 + 296*A^3*B^2*a0^2*a1^8*a4^2 - 324*A^2*B^3*a1^10*a4^2 + 304*A^4*B*a0*a1^8*a2*a4^2 - 4*A^5*a1^8*a2^2*a4^2 - 106*A^4*B*a0^5*a1^4*a3*a4^2 - 2940*A^3*B^2*a0^3*a1^6*a3*a4^2 + 4158*A^2*B^3*a0*a1^8*a3*a4^2 + 2*A^5*a0^4*a1^4*a2*a3*a4^2 - 2052*A^4*B*a0^2*a1^6*a2*a3*a4^2 - 678*A^3*B^2*a1^8*a2*a3*a4^2 + 96*A^5*a0*a1^6*a2^2*a3*a4^2 + 256*A^4*B*a0^6*a1^2*a3^2*a4^2 + 9776*A^3*B^2*a0^4*a1^4*a3^2*a4^2 - 17982*A^2*B^3*a0^2*a1^6*a3^2*a4^2 + 2754*A*B^4*a1^8*a3^2*a4^2 - 20*A^5*a0^5*a1^2*a2*a3^2*a4^2 + 2092*A^4*B*a0^3*a1^4*a2*a3^2*a4^2 - 240*A^3*B^2*a0*a1^6*a2*a3^2*a4^2 - 630*A^5*a0^2*a1^4*a2^2*a3^2*a4^2 - 1682*A^4*B*a1^6*a2^2*a3^2*a4^2 - 96*A^4*B*a0^7*a3^3*a4^2 - 11776*A^3*B^2*a0^5*a1^2*a3^3*a4^2 + 27972*A^2*B^3*a0^3*a1^4*a3^3*a4^2 - 29160*A*B^4*a0*a1^6*a3^3*a4^2 + 48*A^5*a0^6*a2*a3^3*a4^2 + 5620*A^4*B*a0^4*a1^2*a2*a3^3*a4^2 + 19200*A^3*B^2*a0^2*a1^4*a2*a3^3*a4^2 + 6156*A^2*B^3*a1^6*a2*a3^3*a4^2 + 1432*A^5*a0^3*a1^2*a2^2*a3^3*a4^2 - 2116*A^4*B*a0*a1^4*a2^2*a3^3*a4^2 - 152*A^5*a1^4*a2^3*a3^3*a4^2 + 3072*A^3*B^2*a0^6*a3^4*a4^2 - 14688*A^2*B^3*a0^4*a1^2*a3^4*a4^2 + 92016*A*B^4*a0^2*a1^4*a3^4*a4^2 - 1458*B^5*a1^6*a3^4*a4^2 - 2256*A^4*B*a0^5*a2*a3^4*a4^2 - 20424*A^3*B^2*a0^3*a1^2*a2*a3^4*a4^2 - 63180*A^2*B^3*a0*a1^4*a2*a3^4*a4^2 - 752*A^5*a0^4*a2^2*a3^4*a4^2 + 27312*A^4*B*a0^2*a1^2*a2^2*a3^4*a4^2 + 19458*A^3*B^2*a1^4*a2^2*a3^4*a4^2 + 112*A^5*a0*a1^2*a2^3*a3^4*a4^2 + 29376*A^2*B^3*a0^5*a3^5*a4^2 - 57024*A*B^4*a0^3*a1^2*a3^5*a4^2 + 16038*B^5*a0*a1^4*a3^5*a4^2 - 49632*A^3*B^2*a0^4*a2*a3^5*a4^2 + 145800*A^2*B^3*a0^2*a1^2*a2*a3^5*a4^2 + 10206*A*B^4*a1^4*a2*a3^5*a4^2 + 21952*A^4*B*a0^3*a2^2*a3^5*a4^2 - 40392*A^3*B^2*a0*a1^2*a2^2*a3^5*a4^2 + 2048*A^5*a0^2*a2^3*a3^5*a4^2 + 53520*A^4*B*a1^2*a2^3*a3^5*a4^2 - 82944*A*B^4*a0^4*a3^6*a4^2 - 69984*B^5*a0^2*a1^2*a3^6*a4^2 + 85536*A^2*B^3*a0^3*a2*a3^6*a4^2 + 43740*A*B^4*a0*a1^2*a2*a3^6*a4^2 - 21024*A^3*B^2*a0^2*a2^2*a3^6*a4^2 + 93312*A^2*B^3*a1^2*a2^2*a3^6*a4^2 + 12672*A^4*B*a0*a2^3*a3^6*a4^2 + 2560*A^5*a2^4*a3^6*a4^2 + 116640*B^5*a0^3*a3^7*a4^2 - 151632*A*B^4*a0^2*a2*a3^7*a4^2 + 26244*B^5*a1^2*a2*a3^7*a4^2 + 15552*A^2*B^3*a0*a2^2*a3^7*a4^2 - 6912*A^3*B^2*a2^3*a3^7*a4^2 + 34992*B^5*a0*a2*a3^8*a4^2 + 11664*A*B^4*a2^2*a3^8*a4^2 - 4*A^5*a0^4*a1^5*a4^3 - 376*A^4*B*a0^2*a1^7*a4^3 + 156*A^3*B^2*a1^9*a4^3 - 104*A^5*a0*a1^7*a2*a4^3 + 34*A^5*a0^5*a1^3*a3*a4^3 + 3068*A^4*B*a0^3*a1^5*a3*a4^3 - 1350*A^3*B^2*a0*a1^7*a3*a4^3 + 864*A^5*a0^2*a1^5*a2*a3*a4^3 + 976*A^4*B*a1^7*a2*a3*a4^3 - 72*A^5*a0^6*a1*a3^2*a4^3 - 6970*A^4*B*a0^4*a1^3*a3^2*a4^3 + 7236*A^3*B^2*a0^2*a1^5*a3^2*a4^3 - 2538*A^2*B^3*a1^7*a3^2*a4^3 - 1992*A^5*a0^3*a1^3*a2*a3^2*a4^3 - 1896*A^4*B*a0*a1^5*a2*a3^2*a4^3 + 392*A^5*a1^5*a2^2*a3^2*a4^3 + 2824*A^4*B*a0^5*a1*a3^3*a4^3 - 22748*A^3*B^2*a0^3*a1^3*a3^3*a4^3 + 23436*A^2*B^3*a0*a1^5*a3^3*a4^3 + 784*A^5*a0^4*a1*a2*a3^3*a4^3 - 96*A^4*B*a0^2*a1^3*a2*a3^3*a4^3 - 6768*A^3*B^2*a1^5*a2*a3^3*a4^3 - 368*A^5*a0*a1^3*a2^2*a3^3*a4^3 + 23856*A^3*B^2*a0^4*a1*a3^4*a4^3 - 50868*A^2*B^3*a0^2*a1^3*a3^4*a4^3 + 1944*A*B^4*a1^5*a3^4*a4^3 - 26304*A^4*B*a0^3*a1*a2*a3^4*a4^3 + 12312*A^3*B^2*a0*a1^3*a2*a3^4*a4^3 - 4512*A^5*a0^2*a1*a2^2*a3^4*a4^3 - 29184*A^4*B*a1^3*a2^2*a3^4*a4^3 - 17712*A^2*B^3*a0^3*a1*a3^5*a4^3 - 31590*A*B^4*a0*a1^3*a3^5*a4^3 - 5184*A^3*B^2*a0^2*a1*a2*a3^5*a4^3 - 32400*A^2*B^3*a1^3*a2*a3^5*a4^3 - 24864*A^4*B*a0*a1*a2^2*a3^5*a4^3 - 7104*A^5*a1*a2^3*a3^5*a4^3 + 64152*A*B^4*a0^2*a1*a3^6*a4^3 - 1458*B^5*a1^3*a3^6*a4^3 - 31104*A^2*B^3*a0*a1*a2*a3^6*a4^3 + 3456*A^3*B^2*a1*a2^2*a3^6*a4^3 - 17496*B^5*a0*a1*a3^7*a4^3 - 11664*A*B^4*a1*a2*a3^7*a4^3 + 140*A^5*a0^2*a1^6*a4^4 - 96*A^4*B*a1^8*a4^4 - 1136*A^5*a0^3*a1^4*a3*a4^4 + 112*A^4*B*a0*a1^6*a3*a4^4 - 280*A^5*a1^6*a2*a3*a4^4 + 2530*A^5*a0^4*a1^2*a3^2*a4^4 - 1710*A^4*B*a0^2*a1^4*a3^2*a4^4 + 1152*A^3*B^2*a1^6*a3^2*a4^4 + 376*A^5*a0*a1^4*a2*a3^2*a4^4 - 888*A^5*a0^5*a3^3*a4^4 + 10504*A^4*B*a0^3*a1^2*a3^3*a4^4 - 4788*A^3*B^2*a0*a1^4*a3^3*a4^4 + 1616*A^5*a0^2*a1^2*a2*a3^3*a4^4 + 8400*A^4*B*a1^4*a2*a3^3*a4^4 - 1152*A^4*B*a0^4*a3^4*a4^4 + 10908*A^3*B^2*a0^2*a1^2*a3^4*a4^4 + 810*A^2*B^3*a1^4*a3^4*a4^4 + 4128*A^5*a0^3*a2*a3^4*a4^4 + 8880*A^4*B*a0*a1^2*a2*a3^4*a4^4 + 6800*A^5*a1^2*a2^2*a3^4*a4^4 + 2736*A^3*B^2*a0^3*a3^5*a4^4 + 29160*A^2*B^3*a0*a1^2*a3^5*a4^4 + 13632*A^4*B*a0^2*a2*a3^5*a4^4 + 3456*A^3*B^2*a1^2*a2*a3^5*a4^4 + 3104*A^5*a0*a2^2*a3^5*a4^4 - 31104*A^2*B^3*a0^2*a3^6*a4^4 + 1458*A*B^4*a1^2*a3^6*a4^4 - 7776*A^3*B^2*a0*a2*a3^6*a4^4 - 3456*A^4*B*a2^2*a3^6*a4^4 + 5832*A*B^4*a0*a3^7*a4^4 + 48*A^5*a1^7*a4^5 - 184*A^5*a0*a1^5*a3*a4^5 + 1184*A^5*a0^2*a1^3*a3^2*a4^5 - 744*A^4*B*a1^5*a3^2*a4^5 - 4528*A^5*a0^3*a1*a3^3*a4^5 - 2304*A^4*B*a0*a1^3*a3^3*a4^5 - 2496*A^5*a1^3*a2*a3^3*a4^5 - 3264*A^4*B*a0^2*a1*a3^4*a4^5 - 864*A^3*B^2*a1^3*a3^4*a4^5 - 3936*A^5*a0*a1*a2*a3^4*a4^5 + 432*A^3*B^2*a0*a1*a3^5*a4^5 + 3456*A^4*B*a1*a2*a3^5*a4^5 + 344*A^5*a1^4*a3^2*a4^6 + 208*A^5*a0*a1^2*a3^3*a4^6 + 2840*A^5*a0^2*a3^4*a4^6 - 360*A^4*B*a1^2*a3^4*a4^6 - 1872*A^4*B*a0*a3^5*a4^6 + 96*A^5*a2*a3^5*a4^6 + 216*A^3*B^2*a3^6*a4^6 - 96*A^5*a1*a3^4*a4^7 + 96*A^3*B^2*a0*a1^10*a5 - 144*A^4*B*a1^10*a2*a5 - 18*A^4*B*a0^4*a1^6*a3*a5 - 988*A^3*B^2*a0^2*a1^8*a3*a5 + 486*A^2*B^3*a1^10*a3*a5 + 1328*A^4*B*a0*a1^8*a2*a3*a5 + 48*A^5*a1^8*a2^2*a3*a5 + 176*A^4*B*a0^5*a1^4*a3^2*a5 + 2844*A^3*B^2*a0^3*a1^6*a3^2*a5 - 6588*A^2*B^3*a0*a1^8*a3^2*a5 - 12*A^5*a0^4*a1^4*a2*a3^2*a5 - 3064*A^4*B*a0^2*a1^6*a2*a3^2*a5 - 468*A^3*B^2*a1^8*a2*a3^2*a5 - 864*A^5*a0*a1^6*a2^2*a3^2*a5 - 544*A^4*B*a0^6*a1^2*a3^3*a5 + 400*A^3*B^2*a0^4*a1^4*a3^3*a5 + 32832*A^2*B^3*a0^2*a1^6*a3^3*a5 + 112*A^5*a0^5*a1^2*a2*a3^3*a5 - 3184*A^4*B*a0^3*a1^4*a2*a3^3*a5 + 3600*A^3*B^2*a0*a1^6*a2*a3^3*a5 + 4920*A^5*a0^2*a1^4*a2^2*a3^3*a5 + 1368*A^4*B*a1^6*a2^2*a3^3*a5 + 512*A^4*B*a0^7*a3^4*a5 - 9664*A^3*B^2*a0^5*a1^2*a3^4*a5 - 73872*A^2*B^3*a0^3*a1^4*a3^4*a5 - 4860*A*B^4*a0*a1^6*a3^4*a5 - 256*A^5*a0^6*a2*a3^4*a5 + 15856*A^4*B*a0^4*a1^2*a2*a3^4*a5 - 4584*A^3*B^2*a0^2*a1^4*a2*a3^4*a5 + 216*A^2*B^3*a1^6*a2*a3^4*a5 - 10208*A^5*a0^3*a1^2*a2^2*a3^4*a5 - 8816*A^4*B*a0*a1^4*a2^2*a3^4*a5 + 512*A^5*a1^4*a2^3*a3^4*a5 + 4864*A^3*B^2*a0^6*a3^5*a5 + 79488*A^2*B^3*a0^4*a1^2*a3^5*a5 + 50544*A*B^4*a0^2*a1^4*a3^5*a5 + 1458*B^5*a1^6*a3^5*a5 - 8896*A^4*B*a0^5*a2*a3^5*a5 - 15264*A^3*B^2*a0^3*a1^2*a2*a3^5*a5 - 10800*A^2*B^3*a0*a1^4*a2*a3^5*a5 + 5056*A^5*a0^4*a2^2*a3^5*a5 + 9024*A^4*B*a0^2*a1^2*a2^2*a3^5*a5 + 12600*A^3*B^2*a1^4*a2^2*a3^5*a5 + 2496*A^5*a0*a1^2*a2^3*a3^5*a5 - 48384*A^2*B^3*a0^5*a3^6*a5 - 171072*A*B^4*a0^3*a1^2*a3^6*a5 - 23328*B^5*a0*a1^4*a3^6*a5 + 23808*A^3*B^2*a0^4*a2*a3^6*a5 + 104544*A^2*B^3*a0^2*a1^2*a2*a3^6*a5 + 37908*A*B^4*a1^4*a2*a3^6*a5 + 21760*A^4*B*a0^3*a2^2*a3^6*a5 - 88416*A^3*B^2*a0*a1^2*a2^2*a3^6*a5 - 17920*A^5*a0^2*a2^3*a3^6*a5 + 9792*A^4*B*a1^2*a2^3*a3^6*a5 + 186624*A*B^4*a0^4*a3^7*a5 + 116640*B^5*a0^2*a1^2*a3^7*a5 - 259200*A^2*B^3*a0^3*a2*a3^7*a5 - 244944*A*B^4*a0*a1^2*a2*a3^7*a5 + 134784*A^3*B^2*a0^2*a2^2*a3^7*a5 - 18432*A^4*B*a0*a2^3*a3^7*a5 - 15360*A^5*a2^4*a3^7*a5 - 186624*B^5*a0^3*a3^8*a5 + 373248*A*B^4*a0^2*a2*a3^8*a5 + 34992*B^5*a1^2*a2*a3^8*a5 - 62208*A^2*B^3*a0*a2^2*a3^8*a5 - 13824*A^3*B^2*a2^3*a3^8*a5 - 139968*B^5*a0*a2*a3^9*a5 - 46656*A*B^4*a2^2*a3^9*a5 + 96*A^4*B*a0*a1^9*a4*a5 - 72*A^5*a1^9*a2*a4*a5 + 18*A^5*a0^4*a1^5*a3*a4*a5 - 788*A^4*B*a0^2*a1^7*a3*a4*a5 - 102*A^3*B^2*a1^9*a3*a4*a5 + 1360*A^5*a0*a1^7*a2*a3*a4*a5 - 152*A^5*a0^5*a1^3*a3^2*a4*a5 + 1712*A^4*B*a0^3*a1^5*a3^2*a4*a5 + 2904*A^3*B^2*a0*a1^7*a3^2*a4*a5 - 7680*A^5*a0^2*a1^5*a2*a3^2*a4*a5 - 1280*A^4*B*a1^7*a2*a3^2*a4*a5 + 320*A^5*a0^6*a1*a3^3*a4*a5 + 72*A^4*B*a0^4*a1^3*a3^3*a4*a5 - 17436*A^3*B^2*a0^2*a1^5*a3^3*a4*a5 + 4860*A^2*B^3*a1^7*a3^3*a4*a5 + 15008*A^5*a0^3*a1^3*a2*a3^3*a4*a5 + 4544*A^4*B*a0*a1^5*a2*a3^3*a4*a5 - 1104*A^5*a1^5*a2^2*a3^3*a4*a5 - 1824*A^4*B*a0^5*a1*a3^4*a4*a5 + 25680*A^3*B^2*a0^3*a1^3*a3^4*a4*a5 - 45792*A^2*B^3*a0*a1^5*a3^4*a4*a5 - 5696*A^5*a0^4*a1*a2*a3^4*a4*a5 + 16128*A^4*B*a0^2*a1^3*a2*a3^4*a4*a5 - 6048*A^3*B^2*a1^5*a2*a3^4*a4*a5 - 6272*A^5*a0*a1^3*a2^2*a3^4*a4*a5 + 16512*A^3*B^2*a0^4*a1*a3^5*a4*a5 + 118800*A^2*B^3*a0^2*a1^3*a3^5*a4*a5 - 16038*A*B^4*a1^5*a3^5*a4*a5 - 59648*A^4*B*a0^3*a1*a2*a3^5*a4*a5 + 15264*A^3*B^2*a0*a1^3*a2*a3^5*a4*a5 + 40832*A^5*a0^2*a1*a2^2*a3^5*a4*a5 - 14784*A^4*B*a1^3*a2^2*a3^5*a4*a5 - 53568*A^2*B^3*a0^3*a1*a3^6*a4*a5 + 99144*A*B^4*a0*a1^3*a3^6*a4*a5 + 52992*A^3*B^2*a0^2*a1*a2*a3^6*a4*a5 - 15552*A^2*B^3*a1^3*a2*a3^6*a4*a5 + 51072*A^4*B*a0*a1*a2^2*a3^6*a4*a5 + 41728*A^5*a1*a2^3*a3^6*a4*a5 - 139968*A*B^4*a0^2*a1*a3^7*a4*a5 - 17496*B^5*a1^3*a3^7*a4*a5 + 124416*A^2*B^3*a0*a1*a2*a3^7*a4*a5 + 48384*A^3*B^2*a1*a2^2*a3^7*a4*a5 + 69984*B^5*a0*a1*a3^8*a4*a5 + 46656*A*B^4*a1*a2*a3^8*a4*a5 + 24*A^5*a0*a1^8*a4^2*a5 - 912*A^5*a0^2*a1^6*a3*a4^2*a5 - 336*A^4*B*a1^8*a3*a4^2*a5 + 6260*A^5*a0^3*a1^4*a3^2*a4^2*a5 + 4700*A^4*B*a0*a1^6*a3^2*a4^2*a5 + 632*A^5*a1^6*a2*a3^2*a4^2*a5 - 13184*A^5*a0^4*a1^2*a3^3*a4^2*a5 - 17084*A^4*B*a0^2*a1^4*a3^3*a4^2*a5 - 108*A^3*B^2*a1^6*a3^3*a4^2*a5 + 3376*A^5*a0*a1^4*a2*a3^3*a4^2*a5 + 4736*A^5*a0^5*a3^4*a4^2*a5 + 9696*A^4*B*a0^3*a1^2*a3^4*a4^2*a5 + 9756*A^3*B^2*a0*a1^4*a3^4*a4^2*a5 - 14112*A^5*a0^2*a1^2*a2*a3^4*a4^2*a5 + 5856*A^4*B*a1^4*a2*a3^4*a4^2*a5 + 24128*A^4*B*a0^4*a3^5*a4^2*a5 - 20736*A^3*B^2*a0^2*a1^2*a3^5*a4^2*a5 + 24300*A^2*B^3*a1^4*a3^5*a4^2*a5 - 31360*A^5*a0^3*a2*a3^5*a4^2*a5 - 25920*A^4*B*a0*a1^2*a2*a3^5*a4^2*a5 - 35232*A^5*a1^2*a2^2*a3^5*a4^2*a5 - 83520*A^3*B^2*a0^3*a3^6*a4^2*a5 - 163296*A^2*B^3*a0*a1^2*a3^6*a4^2*a5 - 15360*A^4*B*a0^2*a2*a3^6*a4^2*a5 - 44064*A^3*B^2*a1^2*a2*a3^6*a4^2*a5 - 22400*A^5*a0*a2^2*a3^6*a4^2*a5 + 202176*A^2*B^3*a0^2*a3^7*a4^2*a5 + 31104*A^3*B^2*a0*a2*a3^7*a4^2*a5 + 20736*A^4*B*a2^2*a3^7*a4^2*a5 - 46656*A*B^4*a0*a3^8*a4^2*a5 - 120*A^5*a1^7*a3*a4^3*a5 + 336*A^5*a0*a1^5*a3^2*a4^3*a5 - 5520*A^5*a0^2*a1^3*a3^3*a4^3*a5 - 2592*A^4*B*a1^5*a3^3*a4^3*a5 + 22848*A^5*a0^3*a1*a3^4*a4^3*a5 + 13824*A^4*B*a0*a1^3*a3^4*a4^3*a5 + 8992*A^5*a1^3*a2*a3^4*a4^3*a5 - 3456*A^4*B*a0^2*a1*a3^5*a4^3*a5 + 4752*A^3*B^2*a1^3*a3^5*a4^3*a5 + 31360*A^5*a0*a1*a2*a3^5*a4^3*a5 + 12096*A^3*B^2*a0*a1*a3^6*a4^3*a5 - 20736*A^4*B*a1*a2*a3^6*a4^3*a5 - 720*A^5*a1^4*a3^3*a4^4*a5 - 992*A^5*a0*a1^2*a3^4*a4^4*a5 - 23840*A^5*a0^2*a3^5*a4^4*a5 + 19008*A^4*B*a0*a3^6*a4^4*a5 - 1152*A^5*a2*a3^6*a4^4*a5 - 2592*A^3*B^2*a3^7*a4^4*a5 + 1152*A^5*a1*a3^5*a4^5*a5 + 108*A^5*a1^10*a5^2 - 1440*A^5*a0*a1^8*a3*a5^2 + 7064*A^5*a0^2*a1^6*a3^2*a5^2 + 520*A^4*B*a1^8*a3^2*a5^2 - 15344*A^5*a0^3*a1^4*a3^3*a5^2 - 5632*A^4*B*a0*a1^6*a3^3*a5^2 - 384*A^5*a1^6*a2*a3^3*a5^2 + 13920*A^5*a0^4*a1^2*a3^4*a5^2 + 19600*A^4*B*a0^2*a1^4*a3^4*a5^2 - 2880*A^3*B^2*a1^6*a3^4*a5^2 + 7040*A^5*a0*a1^4*a2*a3^4*a5^2 - 4224*A^5*a0^5*a3^5*a5^2 - 15104*A^4*B*a0^3*a1^2*a3^5*a5^2 + 34704*A^3*B^2*a0*a1^4*a3^5*a5^2 - 29824*A^5*a0^2*a1^2*a2*a3^5*a5^2 - 2784*A^4*B*a1^4*a2*a3^5*a5^2 - 25856*A^4*B*a0^4*a3^6*a5^2 - 144576*A^3*B^2*a0^2*a1^2*a3^6*a5^2 - 27216*A^2*B^3*a1^4*a3^6*a5^2 + 31744*A^5*a0^3*a2*a3^6*a5^2 + 37632*A^4*B*a0*a1^2*a2*a3^6*a5^2 - 17024*A^5*a1^2*a2^2*a3^6*a5^2 + 207360*A^3*B^2*a0^3*a3^7*a5^2 + 186624*A^2*B^3*a0*a1^2*a3^7*a5^2 - 115200*A^4*B*a0^2*a2*a3^7*a5^2 - 3456*A^3*B^2*a1^2*a2*a3^7*a5^2 + 39936*A^5*a0*a2^2*a3^7*a5^2 - 311040*A^2*B^3*a0^2*a3^8*a5^2 - 23328*A*B^4*a1^2*a3^8*a5^2 - 27648*A^4*B*a2^2*a3^8*a5^2 + 93312*A*B^4*a0*a3^9*a5^2 + 416*A^5*a1^7*a3^2*a4*a5^2 - 4832*A^5*a0*a1^5*a3^3*a4*a5^2 + 13120*A^5*a0^2*a1^3*a3^4*a4*a5^2 + 3504*A^4*B*a1^5*a3^4*a4*a5^2 - 2048*A^5*a0^3*a1*a3^5*a4*a5^2 - 24192*A^4*B*a0*a1^3*a3^5*a4*a5^2 + 23424*A^5*a1^3*a2*a3^5*a4*a5^2 + 45312*A^4*B*a0^2*a1*a3^6*a4*a5^2 + 15552*A^3*B^2*a1^3*a3^6*a4*a5^2 - 62464*A^5*a0*a1*a2*a3^6*a4*a5^2 - 55296*A^3*B^2*a0*a1*a3^7*a4*a5^2 + 27648*A^4*B*a1*a2*a3^7*a4*a5^2 - 4296*A^5*a1^4*a3^4*a4^2*a5^2 - 5952*A^5*a0*a1^2*a3^5*a4^2*a5^2 + 57856*A^5*a0^2*a3^6*a4^2*a5^2 + 10368*A^4*B*a1^2*a3^6*a4^2*a5^2 - 62208*A^4*B*a0*a3^7*a4^2*a5^2 + 4608*A^5*a2*a3^7*a4^2*a5^2 + 10368*A^3*B^2*a3^8*a4^2*a5^2 - 4608*A^5*a1*a3^6*a4^3*a5^2 - 4576*A^5*a1^4*a3^5*a5^3 + 26368*A^5*a0*a1^2*a3^6*a5^3 - 31744*A^5*a0^2*a3^7*a5^3 - 18432*A^4*B*a1^2*a3^7*a5^3 + 64512*A^4*B*a0*a3^8*a5^3 - 6144*A^5*a2*a3^8*a5^3 - 13824*A^3*B^2*a3^9*a5^3 + 6144*A^5*a1*a3^7*a4*a5^3 + 16*B^4*a0^6*a1^6 - 16*A*B^3*a0^5*a1^6*a2 + 144*B^4*a0^3*a1^8*a2 - 8*A^2*B^2*a0^4*a1^6*a2^2 + 24*A*B^3*a0^2*a1^8*a2^2 + 432*B^4*a1^10*a2^2 - 192*A^2*B^2*a0*a1^8*a2^3 - 16*A^3*B*a1^8*a2^4 - 192*B^4*a0^7*a1^4*a3 + 256*A*B^3*a0^6*a1^4*a2*a3 - 1872*B^4*a0^4*a1^6*a2*a3 - 56*A^2*B^2*a0^5*a1^4*a2^2*a3 + 1584*A*B^3*a0^3*a1^6*a2^2*a3 - 4104*B^4*a0*a1^8*a2^2*a3 + 12*A^3*B*a0^4*a1^4*a2^3*a3 - 112*A^2*B^2*a0^2*a1^6*a2^3*a3 + 468*A*B^3*a1^8*a2^3*a3 + 480*A^3*B*a0*a1^6*a2^4*a3 + 768*B^4*a0^8*a1^2*a3^2 - 1280*A*B^3*a0^7*a1^2*a2*a3^2 + 8640*B^4*a0^5*a1^4*a2*a3^2 + 704*A^2*B^2*a0^6*a1^2*a2^2*a3^2 - 14640*A*B^3*a0^4*a1^4*a2^2*a3^2 + 11880*B^4*a0^2*a1^6*a2^2*a3^2 - 144*A^3*B*a0^5*a1^2*a2^3*a3^2 + 9956*A^2*B^2*a0^3*a1^4*a2^3*a3^2 - 2664*A*B^3*a0*a1^6*a2^3*a3^2 - 3560*A^3*B*a0^2*a1^4*a2^4*a3^2 - 339*A^2*B^2*a1^6*a2^4*a3^2 - 1024*B^4*a0^9*a3^3 + 2048*A*B^3*a0^8*a2*a3^3 - 16128*B^4*a0^6*a1^2*a2*a3^3 - 1408*A^2*B^2*a0^7*a2^2*a3^3 + 37248*A*B^3*a0^5*a1^2*a2^2*a3^3 - 8856*B^4*a0^3*a1^4*a2^2*a3^3 + 384*A^3*B*a0^6*a2^3*a3^3 - 30032*A^2*B^2*a0^4*a1^2*a2^3*a3^3 - 3132*A*B^3*a0^2*a1^4*a2^3*a3^3 - 10584*B^4*a1^6*a2^3*a3^3 + 8848*A^3*B*a0^3*a1^2*a2^4*a3^3 + 8172*A^2*B^2*a0*a1^4*a2^4*a3^3 - 1516*A^3*B*a1^4*a2^5*a3^3 + 9216*B^4*a0^7*a2*a3^4 - 22272*A*B^3*a0^6*a2^2*a3^4 + 1728*B^4*a0^4*a1^2*a2^2*a3^4 + 17664*A^2*B^2*a0^5*a2^3*a3^4 + 11664*A*B^3*a0^3*a1^2*a2^3*a3^4 + 57996*B^4*a0*a1^4*a2^3*a3^4 - 4864*A^3*B*a0^4*a2^4*a3^4 - 12528*A^2*B^2*a0^2*a1^2*a2^4*a3^4 - 6696*A*B^3*a1^4*a2^4*a3^4 + 4096*A^3*B*a0*a1^2*a2^5*a3^4 - 17280*B^4*a0^5*a2^2*a3^5 + 44928*A*B^3*a0^4*a2^3*a3^5 - 66096*B^4*a0^2*a1^2*a2^3*a3^5 - 39168*A^2*B^2*a0^3*a2^4*a3^5 + 19440*A*B^3*a0*a1^2*a2^4*a3^5 + 10240*A^3*B*a0^2*a2^5*a3^5 + 1728*A^2*B^2*a1^2*a2^5*a3^5 + 48384*A*B^3*a0^2*a2^4*a3^6 + 66096*B^4*a1^2*a2^4*a3^6 - 55296*A^2*B^2*a0*a2^5*a3^6 + 20480*A^3*B*a2^6*a3^6 - 62208*B^4*a0*a2^4*a3^7 + 41472*A*B^3*a2^5*a3^7 - 32*A*B^3*a0^6*a1^5*a4 - 144*B^4*a0^4*a1^7*a4 + 104*A^2*B^2*a0^5*a1^5*a2*a4 - 1344*A*B^3*a0^3*a1^7*a2*a4 - 2376*B^4*a0*a1^9*a2*a4 - 20*A^3*B*a0^4*a1^5*a2^2*a4 + 2320*A^2*B^2*a0^2*a1^7*a2^2*a4 + 180*A*B^3*a1^9*a2^2*a4 - 512*A^3*B*a0*a1^7*a2^3*a4 + 256*A*B^3*a0^7*a1^3*a3*a4 + 1728*B^4*a0^5*a1^5*a3*a4 - 704*A^2*B^2*a0^6*a1^3*a2*a3*a4 + 10032*A*B^3*a0^4*a1^5*a2*a3*a4 + 25272*B^4*a0^2*a1^7*a2*a3*a4 + 264*A^3*B*a0^5*a1^3*a2^2*a3*a4 - 17800*A^2*B^2*a0^3*a1^5*a2^2*a3*a4 - 7344*A*B^3*a0*a1^7*a2^2*a3*a4 + 4948*A^3*B*a0^2*a1^5*a2^3*a3*a4 + 348*A^2*B^2*a1^7*a2^3*a3*a4 - 512*A*B^3*a0^8*a1*a3^2*a4 - 6912*B^4*a0^6*a1^3*a3^2*a4 + 1152*A^2*B^2*a0^7*a1*a2*a3^2*a4 - 18048*A*B^3*a0^5*a1^3*a2*a3^2*a4 - 90936*B^4*a0^3*a1^5*a2*a3^2*a4 - 736*A^3*B*a0^6*a1*a2^2*a3^2*a4 + 36776*A^2*B^2*a0^4*a1^3*a2^2*a3^2*a4 + 56484*A*B^3*a0^2*a1^5*a2^2*a3^2*a4 + 14256*B^4*a1^7*a2^2*a3^2*a4 - 13080*A^3*B*a0^3*a1^3*a2^3*a3^2*a4 - 10800*A^2*B^2*a0*a1^5*a2^3*a3^2*a4 + 4262*A^3*B*a1^5*a2^4*a3^2*a4 + 9216*B^4*a0^7*a1*a3^3*a4 - 2304*A*B^3*a0^6*a1*a2*a3^3*a4 + 119232*B^4*a0^4*a1^3*a2*a3^3*a4 - 11552*A^2*B^2*a0^5*a1*a2^2*a3^3*a4 - 108936*A*B^3*a0^3*a1^3*a2^2*a3^3*a4 - 64152*B^4*a0*a1^5*a2^2*a3^3*a4 + 5408*A^3*B*a0^4*a1*a2^3*a3^3*a4 + 6696*A^2*B^2*a0^2*a1^3*a2^3*a3^3*a4 + 17604*A*B^3*a1^5*a2^3*a3^3*a4 - 13152*A^3*B*a0*a1^3*a2^4*a3^3*a4 - 31104*B^4*a0^5*a1*a2*a3^4*a4 - 30240*A*B^3*a0^4*a1*a2^2*a3^4*a4 + 1944*B^4*a0^2*a1^3*a2^2*a3^4*a4 + 90720*A^2*B^2*a0^3*a1*a2^3*a3^4*a4 - 31752*A*B^3*a0*a1^3*a2^3*a3^4*a4 - 23488*A^3*B*a0^2*a1*a2^4*a3^4*a4 - 2592*A^2*B^2*a1^3*a2^4*a3^4*a4 + 127008*B^4*a0^3*a1*a2^2*a3^5*a4 - 209952*A*B^3*a0^2*a1*a2^3*a3^5*a4 - 161352*B^4*a1^3*a2^3*a3^5*a4 + 131328*A^2*B^2*a0*a1*a2^4*a3^5*a4 - 64512*A^3*B*a1*a2^5*a3^5*a4 + 209952*B^4*a0*a1*a2^3*a3^6*a4 - 222912*A*B^3*a1*a2^4*a3^6*a4 - 56*A^2*B^2*a0^6*a1^4*a4^2 + 1464*A*B^3*a0^4*a1^6*a4^2 + 2160*B^4*a0^2*a1^8*a4^2 - 52*A^3*B*a0^5*a1^4*a2*a4^2 - 2664*A^2*B^2*a0^3*a1^6*a2*a4^2 + 1836*A*B^3*a0*a1^8*a2*a4^2 + A^4*a0^4*a1^4*a2^2*a4^2 + 246*A^3*B*a0^2*a1^6*a2^2*a4^2 + 45*A^2*B^2*a1^8*a2^2*a4^2 + 24*A^4*a0*a1^6*a2^3*a4^2 + 320*A^2*B^2*a0^7*a1^2*a3*a4^2 - 11760*A*B^3*a0^5*a1^4*a3*a4^2 - 22248*B^4*a0^3*a1^6*a3*a4^2 + 112*A^3*B*a0^6*a1^2*a2*a3*a4^2 + 20436*A^2*B^2*a0^4*a1^4*a2*a3*a4^2 - 13176*A*B^3*a0^2*a1^6*a2*a3*a4^2 - 4212*B^4*a1^8*a2*a3*a4^2 - 16*A^4*a0^5*a1^2*a2^2*a3*a4^2 - 4552*A^3*B*a0^3*a1^4*a2^2*a3*a4^2 + 2952*A^2*B^2*a0*a1^6*a2^2*a3*a4^2 - 260*A^4*a0^2*a1^4*a2^3*a3*a4^2 - 3748*A^3*B*a1^6*a2^3*a3*a4^2 - 384*A^2*B^2*a0^8*a3^2*a4^2 + 26112*A*B^3*a0^6*a1^2*a3^2*a4^2 + 75384*B^4*a0^4*a1^4*a3^2*a4^2 + 384*A^3*B*a0^7*a2*a3^2*a4^2 - 42960*A^2*B^2*a0^5*a1^2*a2*a3^2*a4^2 + 756*A*B^3*a0^3*a1^4*a2*a3^2*a4^2 + 1296*B^4*a0*a1^6*a2*a3^2*a4^2 + 48*A^4*a0^6*a2^2*a3^2*a4^2 + 16544*A^3*B*a0^4*a1^2*a2^2*a3^2*a4^2 + 4590*A^2*B^2*a0^2*a1^4*a2^2*a3^2*a4^2 - 14148*A*B^3*a1^6*a2^2*a3^2*a4^2 + 780*A^4*a0^3*a1^2*a2^3*a3^2*a4^2 + 11800*A^3*B*a0*a1^4*a2^3*a3^2*a4^2 - 227*A^4*a1^4*a2^4*a3^2*a4^2 - 9984*A*B^3*a0^7*a3^3*a4^2 - 84672*B^4*a0^5*a1^2*a3^3*a4^2 + 16896*A^2*B^2*a0^6*a2*a3^3*a4^2 + 70416*A*B^3*a0^4*a1^2*a2*a3^3*a4^2 + 99468*B^4*a0^2*a1^4*a2*a3^3*a4^2 - 7040*A^3*B*a0^5*a2^2*a3^3*a4^2 - 28656*A^2*B^2*a0^3*a1^2*a2^2*a3^3*a4^2 - 3024*A*B^3*a0*a1^4*a2^2*a3^3*a4^2 - 464*A^4*a0^4*a2^3*a3^3*a4^2 + 18148*A^3*B*a0^2*a1^2*a2^3*a3^3*a4^2 + 2484*A^2*B^2*a1^4*a2^3*a3^3*a4^2 + 912*A^4*a0*a1^2*a2^4*a3^3*a4^2 + 3456*B^4*a0^6*a3^4*a4^2 + 51840*A*B^3*a0^5*a2*a3^4*a4^2 - 149040*B^4*a0^3*a1^2*a2*a3^4*a4^2 - 82080*A^2*B^2*a0^4*a2^2*a3^4*a4^2 + 282528*A*B^3*a0^2*a1^2*a2^2*a3^4*a4^2 + 136809*B^4*a1^4*a2^2*a3^4*a4^2 + 22368*A^3*B*a0^3*a2^3*a3^4*a4^2 - 117612*A^2*B^2*a0*a1^2*a2^3*a3^4*a4^2 + 512*A^4*a0^2*a2^4*a3^4*a4^2 + 73632*A^3*B*a1^2*a2^4*a3^4*a4^2 - 41472*B^4*a0^4*a2*a3^5*a4^2 + 38016*A*B^3*a0^3*a2^2*a3^5*a4^2 - 186624*B^4*a0*a1^2*a2^2*a3^5*a4^2 - 16416*A^2*B^2*a0^2*a2^3*a3^5*a4^2 + 326268*A*B^3*a1^2*a2^3*a3^5*a4^2 + 32448*A^3*B*a0*a2^4*a3^5*a4^2 + 2560*A^4*a2^5*a3^5*a4^2 - 42768*B^4*a0^2*a2^2*a3^6*a4^2 + 85536*A*B^3*a0*a2^3*a3^6*a4^2 + 1728*A^2*B^2*a2^4*a3^6*a4^2 - 104976*B^4*a2^3*a3^7*a4^2 + 72*A^3*B*a0^6*a1^3*a4^3 + 236*A^2*B^2*a0^4*a1^5*a4^3 - 2232*A*B^3*a0^2*a1^7*a4^3 + 324*B^4*a1^9*a4^3 + 18*A^4*a0^5*a1^3*a2*a4^3 + 876*A^3*B*a0^3*a1^5*a2*a4^3 - 1110*A^2*B^2*a0*a1^7*a2*a4^3 + 128*A^4*a0^2*a1^5*a2^2*a4^3 + 872*A^3*B*a1^7*a2^2*a4^3 - 288*A^3*B*a0^7*a1*a3*a4^3 - 1368*A^2*B^2*a0^5*a1^3*a3*a4^3 + 20016*A*B^3*a0^3*a1^5*a3*a4^3 - 72*A^4*a0^6*a1*a2*a3*a4^3 - 3584*A^3*B*a0^4*a1^3*a2*a3*a4^3 + 7020*A^2*B^2*a0^2*a1^5*a2*a3*a4^3 + 6588*A*B^3*a1^7*a2*a3*a4^3 - 572*A^4*a0^3*a1^3*a2^2*a3*a4^3 + 44*A^3*B*a0*a1^5*a2^2*a3*a4^3 + 496*A^4*a1^5*a2^3*a3*a4^3 + 1440*A^2*B^2*a0^6*a1*a3^2*a4^3 - 38088*A*B^3*a0^4*a1^3*a3^2*a4^3 + 10692*B^4*a0^2*a1^5*a3^2*a4^3 - 576*A^3*B*a0^5*a1*a2*a3^2*a4^3 - 33036*A^2*B^2*a0^3*a1^3*a2*a3^2*a4^3 - 13932*A*B^3*a0*a1^5*a2*a3^2*a4^3 + 152*A^4*a0^4*a1*a2^2*a3^2*a4^3 - 15256*A^3*B*a0^2*a1^3*a2^2*a3^2*a4^3 + 3024*A^2*B^2*a1^5*a2^2*a3^2*a4^3 - 2264*A^4*a0*a1^3*a2^3*a3^2*a4^3 - 20448*A*B^3*a0^5*a1*a3^3*a4^3 - 105192*B^4*a0^3*a1^3*a3^3*a4^3 + 73200*A^2*B^2*a0^4*a1*a2*a3^3*a4^3 - 3888*A*B^3*a0^2*a1^3*a2*a3^3*a4^3 - 39852*B^4*a1^5*a2*a3^3*a4^3 - 23560*A^3*B*a0^3*a1*a2^2*a3^3*a4^3 + 19980*A^2*B^2*a0*a1^3*a2^2*a3^3*a4^3 - 784*A^4*a0^2*a1*a2^3*a3^3*a4^3 - 34848*A^3*B*a1^3*a2^3*a3^3*a4^3 + 173664*B^4*a0^4*a1*a3^4*a4^3 - 269568*A*B^3*a0^3*a1*a2*a3^4*a4^3 - 4374*B^4*a0*a1^3*a2*a3^4*a4^3 + 52056*A^2*B^2*a0^2*a1*a2^2*a3^4*a4^3 - 195048*A*B^3*a1^3*a2^2*a3^4*a4^3 - 67968*A^3*B*a0*a1*a2^3*a3^4*a4^3 - 6976*A^4*a1*a2^4*a3^4*a4^3 + 157464*B^4*a0^2*a1*a2*a3^5*a4^3 - 191160*A*B^3*a0*a1*a2^2*a3^5*a4^3 - 32400*A^2*B^2*a1*a2^3*a3^5*a4^3 + 151632*B^4*a1*a2^2*a3^6*a4^3 - 27*A^4*a0^6*a1^2*a4^4 - 442*A^3*B*a0^4*a1^4*a4^4 + 849*A^2*B^2*a0^2*a1^6*a4^4 - 648*A*B^3*a1^8*a4^4 - 328*A^4*a0^3*a1^4*a2*a4^4 - 1328*A^3*B*a0*a1^6*a2*a4^4 - 296*A^4*a1^6*a2^2*a4^4 + 108*A^4*a0^7*a3*a4^4 + 1852*A^3*B*a0^5*a1^2*a3*a4^4 - 7212*A^2*B^2*a0^3*a1^4*a3*a4^4 + 756*A*B^3*a0*a1^6*a3*a4^4 + 1594*A^4*a0^4*a1^2*a2*a3*a4^4 + 4456*A^3*B*a0^2*a1^4*a2*a3*a4^4 - 1890*A^2*B^2*a1^6*a2*a3*a4^4 + 960*A^4*a0*a1^4*a2^2*a3*a4^4 + 240*A^3*B*a0^6*a3^2*a4^4 + 18630*A^2*B^2*a0^4*a1^2*a3^2*a4^4 - 9234*A*B^3*a0^2*a1^4*a3^2*a4^4 + 2673*B^4*a1^6*a3^2*a4^4 - 876*A^4*a0^5*a2*a3^2*a4^4 + 11316*A^3*B*a0^3*a1^2*a2*a3^2*a4^4 - 540*A^2*B^2*a0*a1^4*a2*a3^2*a4^4 + 2388*A^4*a0^2*a1^2*a2^2*a3^2*a4^4 + 4842*A^3*B*a1^4*a2^2*a3^2*a4^4 - 9048*A^2*B^2*a0^5*a3^3*a4^4 + 75276*A*B^3*a0^3*a1^2*a3^3*a4^4 + 13608*B^4*a0*a1^4*a3^3*a4^4 + 720*A^3*B*a0^4*a2*a3^3*a4^4 + 7776*A^2*B^2*a0^2*a1^2*a2*a3^3*a4^4 + 56700*A*B^3*a1^4*a2*a3^3*a4^4 + 1208*A^4*a0^3*a2^2*a3^3*a4^4 + 46728*A^3*B*a0*a1^2*a2^2*a3^3*a4^4 + 6384*A^4*a1^2*a2^3*a3^3*a4^4 + 14256*A*B^3*a0^4*a3^4*a4^4 - 8019*B^4*a0^2*a1^2*a3^4*a4^4 - 8424*A^2*B^2*a0^3*a2*a3^4*a4^4 + 65772*A*B^3*a0*a1^2*a2*a3^4*a4^4 + 19440*A^3*B*a0^2*a2^2*a3^4*a4^4 + 43956*A^2*B^2*a1^2*a2^2*a3^4*a4^4 + 5136*A^4*a0*a2^3*a3^4*a4^4 - 92340*B^4*a0^3*a3^5*a4^4 + 115344*A*B^3*a0^2*a2*a3^5*a4^4 - 53946*B^4*a1^2*a2*a3^5*a4^4 + 13176*A^2*B^2*a0*a2^2*a3^5*a4^4 + 10224*A^3*B*a2^3*a3^5*a4^4 - 78732*B^4*a0*a2*a3^6*a4^4 - 23328*A*B^3*a2^2*a3^6*a4^4 + 180*A^4*a0^4*a1^3*a4^5 + 608*A^3*B*a0^2*a1^5*a4^5 + 324*A^2*B^2*a1^7*a4^5 + 656*A^4*a0*a1^5*a2*a4^5 - 774*A^4*a0^5*a1*a3*a4^5 - 2344*A^3*B*a0^3*a1^3*a3*a4^5 - 1242*A^2*B^2*a0*a1^5*a3*a4^5 - 3184*A^4*a0^2*a1^3*a2*a3*a4^5 + 600*A^3*B*a1^5*a2*a3*a4^5 - 3648*A^3*B*a0^4*a1*a3^2*a4^5 + 7344*A^2*B^2*a0^2*a1^3*a3^2*a4^5 - 5022*A*B^3*a1^5*a3^2*a4^5 - 360*A^4*a0^3*a1*a2*a3^2*a4^5 - 11280*A^3*B*a0*a1^3*a2*a3^2*a4^5 - 1984*A^4*a1^3*a2^2*a3^2*a4^5 - 30348*A^2*B^2*a0^3*a1*a3^3*a4^5 - 15552*A*B^3*a0*a1^3*a3^3*a4^5 - 17904*A^3*B*a0^2*a1*a2*a3^3*a4^5 - 16848*A^2*B^2*a1^3*a2*a3^3*a4^5 - 9296*A^4*a0*a1*a2^2*a3^3*a4^5 - 22032*A*B^3*a0^2*a1*a3^4*a4^5 + 2916*B^4*a1^3*a3^4*a4^5 - 26568*A^2*B^2*a0*a1*a2*a3^4*a4^5 - 13680*A^3*B*a1*a2^2*a3^4*a4^5 + 36450*B^4*a0*a1*a3^5*a4^5 + 23328*A*B^3*a1*a2*a3^5*a4^5 - 296*A^4*a0^2*a1^4*a4^6 - 48*A^3*B*a1^6*a4^6 + 1280*A^4*a0^3*a1^2*a3*a4^6 - 216*A^3*B*a0*a1^4*a3*a4^6 - 248*A^4*a1^4*a2*a3*a4^6 + 921*A^4*a0^4*a3^2*a4^6 + 5970*A^3*B*a0^2*a1^2*a3^2*a4^6 + 2322*A^2*B^2*a1^4*a3^2*a4^6 + 5800*A^4*a0*a1^2*a2*a3^2*a4^6 + 1892*A^3*B*a0^3*a3^3*a4^6 + 1404*A^2*B^2*a0*a1^2*a3^3*a4^6 + 200*A^4*a0^2*a2*a3^3*a4^6 + 4464*A^3*B*a1^2*a2*a3^3*a4^6 + 19494*A^2*B^2*a0^2*a3^4*a4^6 - 2430*A*B^3*a1^2*a3^4*a4^6 + 7056*A^3*B*a0*a2*a3^4*a4^6 + 1992*A^4*a2^2*a3^4*a4^6 - 12636*A*B^3*a0*a3^5*a4^6 + 648*A^2*B^2*a2*a3^5*a4^6 + 729*B^4*a3^6*a4^6 + 48*A^4*a1^5*a4^7 - 56*A^4*a0*a1^3*a3*a4^7 - 2648*A^4*a0^2*a1*a3^2*a4^7 - 360*A^3*B*a1^3*a3^2*a4^7 - 2736*A^3*B*a0*a1*a3^3*a4^7 - 2112*A^4*a1*a2*a3^3*a4^7 - 648*A^2*B^2*a1*a3^4*a4^7 + 336*A^4*a1^2*a3^2*a4^8 + 1008*A^4*a0*a3^3*a4^8 - 216*A^3*B*a3^4*a4^8 - 24*A^2*B^2*a0^5*a1^6*a5 + 576*A*B^3*a0^3*a1^8*a5 + 1080*B^4*a0*a1^10*a5 + 36*A^3*B*a0^4*a1^6*a2*a5 - 1288*A^2*B^2*a0^2*a1^8*a2*a5 - 1260*A*B^3*a1^10*a2*a5 + 1024*A^3*B*a0*a1^8*a2^2*a5 + 16*A^4*a1^8*a2^3*a5 + 160*A^2*B^2*a0^6*a1^4*a3*a5 - 6912*A*B^3*a0^4*a1^6*a3*a5 - 15336*B^4*a0^2*a1^8*a3*a5 - 224*A^3*B*a0^5*a1^4*a2*a3*a5 + 13480*A^2*B^2*a0^3*a1^6*a2*a3*a5 + 17496*A*B^3*a0*a1^8*a2*a3*a5 - 12*A^4*a0^4*a1^4*a2^2*a3*a5 - 8492*A^3*B*a0^2*a1^6*a2^2*a3*a5 - 1512*A^2*B^2*a1^8*a2^2*a3*a5 - 480*A^4*a0*a1^6*a2^3*a3*a5 - 128*A^2*B^2*a0^7*a1^2*a3^2*a5 + 28800*A*B^3*a0^5*a1^4*a3^2*a5 + 81432*B^4*a0^3*a1^6*a3^2*a5 + 192*A^3*B*a0^6*a1^2*a2*a3^2*a5 - 47792*A^2*B^2*a0^4*a1^4*a2*a3^2*a5 - 95580*A*B^3*a0^2*a1^6*a2*a3^2*a5 - 4860*B^4*a1^8*a2*a3^2*a5 + 144*A^4*a0^5*a1^2*a2^2*a3^2*a5 + 20640*A^3*B*a0^3*a1^4*a2^2*a3^2*a5 + 16524*A^2*B^2*a0*a1^6*a2^2*a3^2*a5 + 3560*A^4*a0^2*a1^4*a2^3*a3^2*a5 - 2456*A^3*B*a1^6*a2^3*a3^2*a5 - 512*A^2*B^2*a0^8*a3^3*a5 - 46080*A*B^3*a0^6*a1^2*a3^3*a5 - 194400*B^4*a0^4*a1^4*a3^3*a5 + 512*A^3*B*a0^7*a2*a3^3*a5 + 63104*A^2*B^2*a0^5*a1^2*a2*a3^3*a5 + 244800*A*B^3*a0^3*a1^4*a2*a3^3*a5 + 38880*B^4*a0*a1^6*a2*a3^3*a5 - 384*A^4*a0^6*a2^2*a3^3*a5 - 12288*A^3*B*a0^4*a1^2*a2^2*a3^3*a5 - 48816*A^2*B^2*a0^2*a1^4*a2^2*a3^3*a5 + 14256*A*B^3*a1^6*a2^2*a3^3*a5 - 8848*A^4*a0^3*a1^2*a2^3*a3^3*a5 + 3424*A^3*B*a0*a1^4*a2^3*a3^3*a5 + 1516*A^4*a1^4*a2^4*a3^3*a5 + 18432*A*B^3*a0^7*a3^4*a5 + 190080*B^4*a0^5*a1^2*a3^4*a5 - 20736*A^2*B^2*a0^6*a2*a3^4*a5 - 247104*A*B^3*a0^4*a1^2*a2*a3^4*a5 - 71280*B^4*a0^2*a1^4*a2*a3^4*a5 - 256*A^3*B*a0^5*a2^2*a3^4*a5 + 10656*A^2*B^2*a0^3*a1^2*a2^2*a3^4*a5 - 108432*A*B^3*a0*a1^4*a2^2*a3^4*a5 + 4864*A^4*a0^4*a2^3*a3^4*a5 + 21264*A^3*B*a0^2*a1^2*a2^3*a3^4*a5 + 6696*A^2*B^2*a1^4*a2^3*a3^4*a5 - 4096*A^4*a0*a1^2*a2^4*a3^4*a5 - 41472*B^4*a0^6*a3^5*a5 - 62208*B^4*a0^3*a1^2*a2*a3^5*a5 + 77184*A^2*B^2*a0^4*a2^2*a3^5*a5 + 305856*A*B^3*a0^2*a1^2*a2^2*a3^5*a5 + 39852*B^4*a1^4*a2^2*a3^5*a5 - 11776*A^3*B*a0^3*a2^3*a3^5*a5 - 79920*A^2*B^2*a0*a1^2*a2^3*a3^5*a5 - 10240*A^4*a0^2*a2^4*a3^5*a5 + 37248*A^3*B*a1^2*a2^4*a3^5*a5 + 145152*B^4*a0^4*a2*a3^6*a5 - 387072*A*B^3*a0^3*a2^2*a3^6*a5 - 206064*B^4*a0*a1^2*a2^2*a3^6*a5 + 235008*A^2*B^2*a0^2*a2^3*a3^6*a5 + 19440*A*B^3*a1^2*a2^3*a3^6*a5 - 43008*A^3*B*a0*a2^4*a3^6*a5 - 20480*A^4*a2^5*a3^6*a5 + 186624*B^4*a0^2*a2^2*a3^7*a5 - 248832*A*B^3*a0*a2^3*a3^7*a5 + 41472*A^2*B^2*a2^4*a3^7*a5 + 186624*B^4*a2^3*a3^8*a5 - 24*A^3*B*a0^5*a1^5*a4*a5 + 704*A^2*B^2*a0^3*a1^7*a4*a5 - 72*A*B^3*a0*a1^9*a4*a5 + 18*A^4*a0^4*a1^5*a2*a4*a5 - 2180*A^3*B*a0^2*a1^7*a2*a4*a5 - 6*A^2*B^2*a1^9*a2*a4*a5 + 464*A^4*a0*a1^7*a2^2*a4*a5 + 128*A^3*B*a0^6*a1^3*a3*a4*a5 - 5288*A^2*B^2*a0^4*a1^5*a3*a4*a5 + 3888*A*B^3*a0^2*a1^7*a3*a4*a5 + 2592*B^4*a1^9*a3*a4*a5 - 232*A^4*a0^5*a1^3*a2*a3*a4*a5 + 16840*A^3*B*a0^3*a1^5*a2*a3*a4*a5 + 3168*A^2*B^2*a0*a1^7*a2*a3*a4*a5 - 4428*A^4*a0^2*a1^5*a2^2*a3*a4*a5 + 4172*A^3*B*a1^7*a2^2*a3*a4*a5 - 128*A^3*B*a0^7*a1*a3^2*a4*a5 + 9472*A^2*B^2*a0^5*a1^3*a3^2*a4*a5 - 23976*A*B^3*a0^3*a1^5*a3^2*a4*a5 - 16848*B^4*a0*a1^7*a3^2*a4*a5 + 640*A^4*a0^6*a1*a2*a3^2*a4*a5 - 35360*A^3*B*a0^4*a1^3*a2*a3^2*a4*a5 - 38052*A^2*B^2*a0^2*a1^5*a2*a3^2*a4*a5 - 11556*A*B^3*a1^7*a2*a3^2*a4*a5 + 11520*A^4*a0^3*a1^3*a2^2*a3^2*a4*a5 - 15552*A^3*B*a0*a1^5*a2^2*a3^2*a4*a5 - 3808*A^4*a1^5*a2^3*a3^2*a4*a5 + 1664*A^2*B^2*a0^6*a1*a3^3*a4*a5 + 28800*A*B^3*a0^4*a1^3*a3^3*a4*a5 - 7128*B^4*a0^2*a1^5*a3^3*a4*a5 + 12032*A^3*B*a0^5*a1*a2*a3^3*a4*a5 + 126096*A^2*B^2*a0^3*a1^3*a2*a3^3*a4*a5 + 98712*A*B^3*a0*a1^5*a2*a3^3*a4*a5 - 4480*A^4*a0^4*a1*a2^2*a3^3*a4*a5 + 18928*A^3*B*a0^2*a1^3*a2^2*a3^3*a4*a5 - 24516*A^2*B^2*a1^5*a2^2*a3^3*a4*a5 + 11328*A^4*a0*a1^3*a2^3*a3^3*a4*a5 + 38016*A*B^3*a0^5*a1*a3^4*a4*a5 + 207360*B^4*a0^3*a1^3*a3^4*a4*a5 - 105984*A^2*B^2*a0^4*a1*a2*a3^4*a4*a5 - 386208*A*B^3*a0^2*a1^3*a2*a3^4*a4*a5 - 68526*B^4*a1^5*a2*a3^4*a4*a5 - 58912*A^3*B*a0^3*a1*a2^2*a3^4*a4*a5 + 173664*A^2*B^2*a0*a1^3*a2^2*a3^4*a4*a\ 5 + 22464*A^4*a0^2*a1*a2^3*a3^4*a4*a5 - 78528*A^3*B*a1^3*a2^3*a3^4*a4*a5 - 300672*B^4*a0^4*a1*a3^5*a4*a5 + 691200*A*B^3*a0^3*a1*a2*a3^5*a4*a5 + 406296*B^4*a0*a1^3*a2*a3^5*a4*a5 - 310176*A^2*B^2*a0^2*a1*a2^2*a3^5*a4*a5 - 76464*A*B^3*a1^3*a2^2*a3^5*a4*a5 + 72960*A^3*B*a0*a1*a2^3*a3^5*a4*a5 + 59392*A^4*a1*a2^4*a3^5*a4*a5 - 528768*B^4*a0^2*a1*a2*a3^6*a4*a5 + 624672*A*B^3*a0*a1*a2^2*a3^6*a4*a5 + 95040*A^2*B^2*a1*a2^3*a3^6*a4*a5 - 256608*B^4*a1*a2^2*a3^7*a4*a5 - 6*A^4*a0^5*a1^4*a4^2*a5 + 1404*A^3*B*a0^3*a1^6*a4^2*a5 + 306*A^2*B^2*a0*a1^8*a4^2*a5 - 768*A^4*a0^2*a1^6*a2*a4^2*a5 - 1392*A^3*B*a1^8*a2*a4^2*a5 + 168*A^4*a0^6*a1^2*a3*a4^2*a5 - 10928*A^3*B*a0^4*a1^4*a3*a4^2*a5 - 7740*A^2*B^2*a0^2*a1^6*a3*a4^2*a5 - 2268*A*B^3*a1^8*a3*a4^2*a5 + 7720*A^4*a0^3*a1^4*a2*a3*a4^2*a5 + 5352*A^3*B*a0*a1^6*a2*a3*a4^2*a5 + 2416*A^4*a1^6*a2^2*a3*a4^2*a5 - 576*A^4*a0^7*a3^2*a4^2*a5 + 23776*A^3*B*a0^5*a1^2*a3^2*a4^2*a5 + 54540*A^2*B^2*a0^3*a1^4*a3^2*a4^2*a5 + 26136*A*B^3*a0*a1^6*a3^2*a4^2*a5 - 21236*A^4*a0^4*a1^2*a2*a3^2*a4^2*a5 - 10260*A^3*B*a0^2*a1^4*a2*a3^2*a4^2*a5 + 7992*A^2*B^2*a1^6*a2*a3^2*a4^2*a5 - 4572*A^4*a0*a1^4*a2^2*a3^2*a4^2*a5 - 10624*A^3*B*a0^6*a3^3*a4^2*a5 - 115920*A^2*B^2*a0^4*a1^2*a3^3*a4^2*a5 - 65664*A*B^3*a0^2*a1^4*a3^3*a4^2*a5 + 23328*B^4*a1^6*a3^3*a4^2*a5 + 9392*A^4*a0^5*a2*a3^3*a4^2*a5 + 14352*A^3*B*a0^3*a1^2*a2*a3^3*a4^2*a5 - 7344*A^2*B^2*a0*a1^4*a2*a3^3*a4^2*a5 - 20008*A^4*a0^2*a1^2*a2^2*a3^3*a4^2*a5 + 46740*A^3*B*a1^4*a2^2*a3^3*a4^2*a5 + 17280*A^2*B^2*a0^5*a3^4*a4^2*a5 + 23328*A*B^3*a0^3*a1^2*a3^4*a4^2*a5 - 128790*B^4*a0*a1^4*a3^4*a4^2*a5 + 65856*A^3*B*a0^4*a2*a3^4*a4^2*a5 - 141912*A^2*B^2*a0^2*a1^2*a2*a3^4*a4^2*a5 + 30780*A*B^3*a1^4*a2*a3^4*a4^2*a5 - 26272*A^4*a0^3*a2^2*a3^4*a4^2*a5 + 28512*A^3*B*a0*a1^2*a2^2*a3^4*a4^2*a5 - 55632*A^4*a1^2*a2^3*a3^4*a4^2*a5 - 120960*A*B^3*a0^4*a3^5*a4^2*a5 + 75816*B^4*a0^2*a1^2*a3^5*a4^2*a5 + 146016*A^2*B^2*a0^3*a2*a3^5*a4^2*a5 - 174960*A*B^3*a0*a1^2*a2*a3^5*a4^2*a5 - 115200*A^3*B*a0^2*a2^2*a3^5*a4^2*a5 - 191160*A^2*B^2*a1^2*a2^2*a3^5*a4^2*a5 - 45760*A^4*a0*a2^3*a3^5*a4^2*a5 + 264384*B^4*a0^3*a3^6*a4^2*a5 - 523584*A*B^3*a0^2*a2*a3^6*a4^2*a5 + 8748*B^4*a1^2*a2*a3^6*a4^2*a5 - 57888*A^2*B^2*a0*a2^2*a3^6*a4^2*a5 - 13248*A^3*B*a2^3*a3^6*a4^2*a5 + 454896*B^4*a0*a2*a3^7*a4^2*a5 + 139968*A*B^3*a2^2*a3^7*a4^2*a5 + 32*A^4*a0^3*a1^5*a4^3*a5 + 1680*A^3*B*a0*a1^7*a4^3*a5 + 48*A^4*a1^7*a2*a4^3*a5 - 1086*A^4*a0^4*a1^3*a3*a4^3*a5 - 10896*A^3*B*a0^2*a1^5*a3*a4^3*a5 - 810*A^2*B^2*a1^7*a3*a4^3*a5 - 4304*A^4*a0*a1^5*a2*a3*a4^3*a5 + 4072*A^4*a0^5*a1*a3^2*a4^3*a5 + 29344*A^3*B*a0^3*a1^3*a3^2*a4^3*a5 + 3024*A^2*B^2*a0*a1^5*a3^2*a4^3*a5 + 12904*A^4*a0^2*a1^3*a2*a3^2*a4^3*a5 - 10536*A^3*B*a1^5*a2*a3^2*a4^3*a5 - 43616*A^3*B*a0^4*a1*a3^3*a4^3*a5 - 45900*A^2*B^2*a0^2*a1^3*a3^3*a4^3*a5 - 17496*A*B^3*a1^5*a3^3*a4^3*a5 + 23840*A^4*a0^3*a1*a2*a3^3*a4^3*a5 - 24768*A^3*B*a0*a1^3*a2*a3^3*a4^3*a5 + 15792*A^4*a1^3*a2^2*a3^3*a4^3*a5 + 197424*A^2*B^2*a0^3*a1*a3^4*a4^3*a5 + 97200*A*B^3*a0*a1^3*a3^4*a4^3*a5 + 23232*A^3*B*a0^2*a1*a2*a3^4*a4^3*a5 + 58104*A^2*B^2*a1^3*a2*a3^4*a4^3*a5 + 75392*A^4*a0*a1*a2^2*a3^4*a4^3*a5 + 23328*A*B^3*a0^2*a1*a3^5*a4^3*a5 + 30618*B^4*a1^3*a3^5*a4^3*a5 + 211680*A^2*B^2*a0*a1*a2*a3^5*a4^3*a5 + 20448*A^3*B*a1*a2^2*a3^5*a4^3*a5 - 204120*B^4*a0*a1*a3^6*a4^3*a5 - 139968*A*B^3*a1*a2*a3^6*a4^3*a5 - 528*A^4*a0*a1^6*a4^4*a5 + 5344*A^4*a0^2*a1^4*a3*a4^4*a5 - 120*A^3*B*a1^6*a3*a4^4*a5 - 13848*A^4*a0^3*a1^2*a3^2*a4^4*a5 + 15060*A^3*B*a0*a1^4*a3^2*a4^4*a5 + 2168*A^4*a1^4*a2*a3^2*a4^4*a5 - 2156*A^4*a0^4*a3^3*a4^4*a5 - 34512*A^3*B*a0^2*a1^2*a3^3*a4^4*a5 - 4860*A^2*B^2*a1^4*a3^3*a4^4*a5 - 31616*A^4*a0*a1^2*a2*a3^3*a4^4*a5 + 24048*A^3*B*a0^3*a3^4*a4^4*a5 - 10584*A^2*B^2*a0*a1^2*a3^4*a4^4*a5 - 27744*A^4*a0^2*a2*a3^4*a4^4*a5 - 3024*A^3*B*a1^2*a2*a3^4*a4^4*a5 - 180360*A^2*B^2*a0^2*a3^5*a4^4*a5 - 38592*A^3*B*a0*a2*a3^5*a4^4*a5 - 16896*A^4*a2^2*a3^5*a4^4*a5 + 128304*A*B^3*a0*a3^6*a4^4*a5 - 7776*A^2*B^2*a2*a3^6*a4^4*a5 - 8748*B^4*a3^7*a4^4*a5 - 312*A^4*a1^5*a3*a4^5*a5 - 3968*A^4*a0*a1^3*a3^2*a4^5*a5 + 26816*A^4*a0^2*a1*a3^3*a4^5*a5 - 432*A^3*B*a1^3*a3^3*a4^5*a5 + 16704*A^3*B*a0*a1*a3^4*a4^5*a5 + 18336*A^4*a1*a2*a3^4*a4^5*a5 + 7776*A^2*B^2*a1*a3^5*a4^5*a5 - 2160*A^4*a1^2*a3^3*a4^6*a5 - 12240*A^4*a0*a3^4*a4^6*a5 + 3024*A^3*B*a3^5*a4^6*a5 - 27*A^4*a0^4*a1^6*a5^2 + 438*A^3*B*a0^2*a1^8*a5^2 + 825*A^2*B^2*a1^10*a5^2 - 792*A^4*a0*a1^8*a2*a5^2 + 252*A^4*a0^5*a1^4*a3*a5^2 - 5804*A^3*B*a0^3*a1^6*a3*a5^2 - 12816*A^2*B^2*a0*a1^8*a3*a5^2 + 7864*A^4*a0^2*a1^6*a2*a3*a5^2 + 32*A^3*B*a1^8*a2*a3*a5^2 - 704*A^4*a0^6*a1^2*a3^2*a5^2 + 26160*A^3*B*a0^4*a1^4*a3^2*a5^2 + 75636*A^2*B^2*a0^2*a1^6*a3^2*a5^2 + 3348*A*B^3*a1^8*a3^2*a5^2 - 26256*A^4*a0^3*a1^4*a2*a3^2*a5^2 - 2544*A^3*B*a0*a1^6*a2*a3^2*a5^2 + 2568*A^4*a1^6*a2^2*a3^2*a5^2 + 512*A^4*a0^7*a3^3*a5^2 - 44160*A^3*B*a0^5*a1^2*a3^3*a5^2 - 203712*A^2*B^2*a0^3*a1^4*a3^3*a5^2 - 33480*A*B^3*a0*a1^6*a3^3*a5^2 + 33008*A^4*a0^4*a1^2*a2*a3^3*a5^2 + 16792*A^3*B*a0^2*a1^4*a2*a3^3*a5^2 - 5400*A^2*B^2*a1^6*a2*a3^3*a5^2 - 9168*A^4*a0*a1^4*a2^2*a3^3*a5^2 + 17408*A^3*B*a0^6*a3^4*a5^2 + 232992*A^2*B^2*a0^4*a1^2*a3^4*a5^2 + 126144*A*B^3*a0^2*a1^4*a3^4*a5^2 + 243*B^4*a1^6*a3^4*a5^2 - 12544*A^4*a0^5*a2*a3^4*a5^2 - 17728*A^3*B*a0^3*a1^2*a2*a3^4*a5^2 + 48384*A^2*B^2*a0*a1^4*a2*a3^4*a5^2 - 12320*A^4*a0^2*a1^2*a2^2*a3^4*a5^2 + 18768*A^3*B*a1^4*a2^2*a3^4*a5^2 - 77184*A^2*B^2*a0^5*a3^5*a5^2 - 236736*A*B^3*a0^3*a1^2*a3^5*a5^2 - 16524*B^4*a0*a1^4*a3^5*a5^2 - 38784*A^3*B*a0^4*a2*a3^5*a5^2 - 92448*A^2*B^2*a0^2*a1^2*a2*a3^5*a5^2 + 27864*A*B^3*a1^4*a2*a3^5*a5^2 + 40704*A^4*a0^3*a2^2*a3^5*a5^2 - 65664*A^3*B*a0*a1^2*a2^2*a3^5*a5^2 - 36416*A^4*a1^2*a2^3*a3^5*a5^2 + 214272*A*B^3*a0^4*a3^6*a5^2 + 132192*B^4*a0^2*a1^2*a3^6*a5^2 - 76032*A^2*B^2*a0^3*a2*a3^6*a5^2 - 305856*A*B^3*a0*a1^2*a2*a3^6*a5^2 - 76032*A^3*B*a0^2*a2^2*a3^6*a5^2 - 21600*A^2*B^2*a1^2*a2^2*a3^6*a5^2 + 77824*A^4*a0*a2^3*a3^6*a5^2 - 279936*B^4*a0^3*a3^7*a5^2 + 715392*A*B^3*a0^2*a2*a3^7*a5^2 + 128304*B^4*a1^2*a2*a3^7*a5^2 + 20736*A^2*B^2*a0*a2^2*a3^7*a5^2 - 69120*A^3*B*a2^3*a3^7*a5^2 - 559872*B^4*a0*a2*a3^8*a5^2 - 186624*A*B^3*a2^2*a3^8*a5^2 + 984*A^4*a0^2*a1^7*a4*a5^2 + 240*A^3*B*a1^9*a4*a5^2 - 8088*A^4*a0^3*a1^5*a3*a4*a5^2 - 2536*A^3*B*a0*a1^7*a3*a4*a5^2 - 3344*A^4*a1^7*a2*a3*a4*a5^2 + 19032*A^4*a0^4*a1^3*a3^2*a4*a5^2 + 10428*A^3*B*a0^2*a1^5*a3^2*a4*a5^2 + 3780*A^2*B^2*a1^7*a3^2*a4*a5^2 + 14880*A^4*a0*a1^5*a2*a3^2*a4*a5^2 - 9664*A^4*a0^5*a1*a3^3*a4*a5^2 - 33440*A^3*B*a0^3*a1^3*a3^3*a4*a5^2 - 56160*A^2*B^2*a0*a1^5*a3^3*a4*a5^2 - 8224*A^4*a0^2*a1^3*a2*a3^3*a4*a5^2 - 4512*A^3*B*a1^5*a2*a3^3*a4*a5^2 + 65600*A^3*B*a0^4*a1*a3^4*a4*a5^2 + 257904*A^2*B^2*a0^2*a1^3*a3^4*a4*a5^2 + 17820*A*B^3*a1^5*a3^4*a4*a5^2 - 1536*A^4*a0^3*a1*a2*a3^4*a4*a5^2 - 51840*A^3*B*a0*a1^3*a2*a3^4*a4*a5^2 + 66048*A^4*a1^3*a2^2*a3^4*a4*a5^2 - 366336*A^2*B^2*a0^3*a1*a3^5*a4*a5^2 - 69984*A*B^3*a0*a1^3*a3^5*a4*a5^2 + 336384*A^3*B*a0^2*a1*a2*a3^5*a4*a5^2 + 127008*A^2*B^2*a1^3*a2*a3^5*a4*a5^2 - 118272*A^4*a0*a1*a2^2*a3^5*a4*a5^2 + 25920*A*B^3*a0^2*a1*a3^6*a4*a5^2 - 52488*B^4*a1^3*a3^6*a4*a5^2 - 421632*A^2*B^2*a0*a1*a2*a3^6*a4*a5^2 + 74880*A^3*B*a1*a2^2*a3^6*a4*a5^2 + 233280*B^4*a0*a1*a3^7*a4*a5^2 + 186624*A*B^3*a1*a2*a3^7*a4*a5^2 + 312*A^4*a1^8*a4^2*a5^2 + 1456*A^4*a0*a1^6*a3*a4^2*a5^2 - 11946*A^4*a0^2*a1^4*a3^2*a4^2*a5^2 + 1542*A^3*B*a1^6*a3^2*a4^2*a5^2 + 9776*A^4*a0^3*a1^2*a3^3*a4^2*a5^2 - 10404*A^3*B*a0*a1^4*a3^3*a4^2*a5^2 - 31416*A^4*a1^4*a2*a3^3*a4^2*a5^2 - 9328*A^4*a0^4*a3^4*a4^2*a5^2 + 41184*A^3*B*a0^2*a1^2*a3^4*a4^2*a5^2 - 26082*A^2*B^2*a1^4*a3^4*a4^2*a5^2 - 1824*A^4*a0*a1^2*a2*a3^4*a4^2*a5^2 - 175488*A^3*B*a0^3*a3^5*a4^2*a5^2 - 63504*A^2*B^2*a0*a1^2*a3^5*a4^2*a5^2 + 132480*A^4*a0^2*a2*a3^5*a4^2*a5^2 - 16416*A^3*B*a1^2*a2*a3^5*a4^2*a5^2 + 577152*A^2*B^2*a0^2*a3^6*a4^2*a5^2 + 69984*A*B^3*a1^2*a3^6*a4^2*a5^2 + 1152*A^3*B*a0*a2*a3^6*a4^2*a5^2 + 43008*A^4*a2^2*a3^6*a4^2*a5^2 - 419904*A*B^3*a0*a3^7*a4^2*a5^2 + 31104*A^2*B^2*a2*a3^7*a4^2*a5^2 + 34992*B^4*a3^8*a4^2*a5^2 + 2744*A^4*a1^5*a3^2*a4^3*a5^2 + 22480*A^4*a0*a1^3*a3^3*a4^3*a5^2 - 56128*A^4*a0^2*a1*a3^4*a4^3*a5^2 - 1008*A^3*B*a1^3*a3^4*a4^3*a5^2 - 17856*A^3*B*a0*a1*a3^5*a4^3*a5^2 - 48768*A^4*a1*a2*a3^5*a4^3*a5^2 - 31104*A^2*B^2*a1*a3^6*a4^3*a5^2 + 1104*A^4*a1^2*a3^4*a4^4*a5^2 + 51840*A^4*a0*a3^5*a4^4*a5^2 - 15552*A^3*B*a3^6*a4^4*a5^2 + 720*A^4*a1^8*a3*a5^3 - 6800*A^4*a0*a1^6*a3^2*a5^3 + 21736*A^4*a0^2*a1^4*a3^3*a5^3 + 1480*A^3*B*a1^6*a3^3*a5^3 - 22080*A^4*a0^3*a1^2*a3^4*a5^3 + 2640*A^3*B*a0*a1^4*a3^4*a5^3 - 14208*A^4*a1^4*a2*a3^4*a5^3 - 8640*A^4*a0^4*a3^5*a5^3 - 96000*A^3*B*a0^2*a1^2*a3^5*a5^3 - 42552*A^2*B^2*a1^4*a3^5*a5^3 + 79744*A^4*a0*a1^2*a2*a3^5*a5^3 + 251392*A^3*B*a0^3*a3^6*a5^3 + 333504*A^2*B^2*a0*a1^2*a3^6*a5^3 - 112640*A^4*a0^2*a2*a3^6*a5^3 - 47232*A^3*B*a1^2*a2*a3^6*a5^3 - 670464*A^2*B^2*a0^2*a3^7*a5^3 - 124416*A*B^3*a1^2*a3^7*a5^3 + 161280*A^3*B*a0*a2*a3^7*a5^3 - 29184*A^4*a2^2*a3^7*a5^3 + 435456*A*B^3*a0*a3^8*a5^3 - 41472*A^2*B^2*a2*a3^8*a5^3 - 46656*B^4*a3^9*a5^3 + 6032*A^4*a1^5*a3^3*a4*a5^3 - 14784*A^4*a0*a1^3*a3^4*a4*a5^3 - 28160*A^4*a0^2*a1*a3^5*a4*a5^3 + 13248*A^3*B*a1^3*a3^5*a4*a5^3 - 20736*A^3*B*a0*a1*a3^6*a4*a5^3 + 36864*A^4*a1*a2*a3^6*a4*a5^3 + 41472*A^2*B^2*a1*a3^7*a4*a5^3 + 12288*A^4*a1^2*a3^5*a4^2*a5^3 - 85248*A^4*a0*a3^6*a4^2*a5^3 + 34560*A^3*B*a3^7*a4^2*a5^3 - 14592*A^4*a1^2*a3^6*a5^4 + 36864*A^4*a0*a3^7*a5^4 - 27648*A^3*B*a3^8*a5^4 - 32*B^3*a0^6*a1^4*a2^2 + 32*A*B^2*a0^5*a1^4*a2^3 - 304*B^3*a0^3*a1^6*a2^3 + 4*A^2*B*a0^4*a1^4*a2^4 + 168*A*B^2*a0^2*a1^6*a2^4 - 648*B^3*a1^8*a2^4 + 96*A^2*B*a0*a1^6*a2^5 + 64*A*B^2*a0^6*a1^2*a2^3*a3 + 480*B^3*a0^4*a1^4*a2^3*a3 - 80*A^2*B*a0^5*a1^2*a2^4*a3 + 800*A*B^2*a0^3*a1^4*a2^4*a3 + 2952*B^3*a0*a1^6*a2^4*a3 - 1160*A^2*B*a0^2*a1^4*a2^5*a3 + 684*A*B^2*a1^6*a2^5*a3 + 512*B^3*a0^8*a2^2*a3^2 - 768*A*B^2*a0^7*a2^3*a3^2 + 4032*B^3*a0^5*a1^2*a2^3*a3^2 + 256*A^2*B*a0^6*a2^4*a3^2 - 7680*A*B^2*a0^4*a1^2*a2^4*a3^2 - 2700*B^3*a0^2*a1^4*a2^4*a3^2 + 3696*A^2*B*a0^3*a1^2*a2^5*a3^2 - 12*A*B^2*a0*a1^4*a2^5*a3^2 - 1412*A^2*B*a1^4*a2^6*a3^2 - 3328*B^3*a0^6*a2^3*a3^3 + 5888*A*B^2*a0^5*a2^4*a3^3 + 11376*B^3*a0^3*a1^2*a2^4*a3^3 - 2176*A^2*B*a0^4*a2^5*a3^3 - 16608*A*B^2*a0^2*a1^2*a2^5*a3^3 + 4428*B^3*a1^4*a2^5*a3^3 + 6272*A^2*B*a0*a1^2*a2^6*a3^3 - 2304*A*B^2*a0^3*a2^5*a3^4 + 13392*B^3*a0*a1^2*a2^5*a3^4 + 1024*A^2*B*a0^2*a2^6*a3^4 - 7488*A*B^2*a1^2*a2^6*a3^4 + 17280*B^3*a0^2*a2^5*a3^5 - 36864*A*B^2*a0*a2^6*a3^5 + 15360*A^2*B*a2^7*a3^5 + 13824*B^3*a2^6*a3^6 + 256*B^3*a0^7*a1^3*a2*a4 - 352*A*B^2*a0^6*a1^3*a2^2*a4 + 2592*B^3*a0^4*a1^5*a2^2*a4 + 88*A^2*B*a0^5*a1^3*a2^3*a4 - 2944*A*B^2*a0^3*a1^5*a2^3*a4 + 4824*B^3*a0*a1^7*a2^3*a4 + 632*A^2*B*a0^2*a1^5*a2^4*a4 - 1332*A*B^2*a1^7*a2^4*a4 - 1024*B^3*a0^8*a1*a2*a3*a4 + 1408*A*B^2*a0^7*a1*a2^2*a3*a4 - 11808*B^3*a0^5*a1^3*a2^2*a3*a4 - 352*A^2*B*a0^6*a1*a2^3*a3*a4 + 13680*A*B^2*a0^4*a1^3*a2^3*a3*a4 - 21168*B^3*a0^2*a1^5*a2^3*a3*a4 - 2696*A^2*B*a0^3*a1^3*a2^4*a3*a4 - 240*A*B^2*a0*a1^5*a2^4*a3*a4 + 3154*A^2*B*a1^5*a2^5*a3*a4 + 4224*B^3*a0^6*a1*a2^2*a3^2*a4 - 5568*A*B^2*a0^5*a1*a2^3*a3^2*a4 + 792*B^3*a0^3*a1^3*a2^3*a3^2*a4 + 224*A^2*B*a0^4*a1*a2^4*a3^2*a4 + 30504*A*B^2*a0^2*a1^3*a2^4*a3^2*a4 + 8964*B^3*a1^5*a2^4*a3^2*a4 - 14936*A^2*B*a0*a1^3*a2^5*a3^2*a4 - 19296*B^3*a0^4*a1*a2^3*a3^3*a4 + 15936*A*B^2*a0^3*a1*a2^4*a3^3*a4 - 115344*B^3*a0*a1^3*a2^4*a3^3*a4 - 1088*A^2*B*a0^2*a1*a2^5*a3^3*a4 + 17496*A*B^2*a1^3*a2^5*a3^3*a4 + 864*B^3*a0^2*a1*a2^4*a3^4*a4 + 100224*A*B^2*a0*a1*a2^5*a3^4*a4 - 43008*A^2*B*a1*a2^6*a3^4*a4 - 139968*B^3*a1*a2^5*a3^5*a4 - 256*B^3*a0^8*a1^2*a4^2 + 384*A*B^2*a0^7*a1^2*a2*a4^2 - 4512*B^3*a0^5*a1^4*a2*a4^2 - 120*A^2*B*a0^6*a1^2*a2^2*a4^2 + 5392*A*B^2*a0^4*a1^4*a2^2*a4^2 - 13788*B^3*a0^2*a1^6*a2^2*a4^2 - 4*A^3*a0^5*a1^2*a2^3*a4^2 - 1556*A^2*B*a0^3*a1^4*a2^3*a4^2 + 7848*A*B^2*a0*a1^6*a2^3*a4^2 - 30*A^3*a0^2*a1^4*a2^4*a4^2 - 1742*A^2*B*a1^6*a2^4*a4^2 + 1024*B^3*a0^9*a3*a4^2 - 1536*A*B^2*a0^8*a2*a3*a4^2 + 21120*B^3*a0^6*a1^2*a2*a3*a4^2 + 480*A^2*B*a0^7*a2^2*a3*a4^2 - 26064*A*B^2*a0^5*a1^2*a2^2*a3*a4^2 + 66888*B^3*a0^3*a1^4*a2^2*a3*a4^2 + 16*A^3*a0^6*a2^3*a3*a4^2 + 7372*A^2*B*a0^4*a1^2*a2^3*a3*a4^2 - 35868*A*B^2*a0^2*a1^4*a2^3*a3*a4^2 - 17712*B^3*a1^6*a2^3*a3*a4^2 + 144*A^3*a0^3*a1^2*a2^4*a3*a4^2 + 5082*A^2*B*a0*a1^4*a2^4*a3*a4^2 - 126*A^3*a1^4*a2^5*a3*a4^2 - 9216*B^3*a0^7*a2*a3^2*a4^2 + 13632*A*B^2*a0^6*a2^2*a3^2*a4^2 - 22680*B^3*a0^4*a1^2*a2^2*a3^2*a4^2 - 3408*A^2*B*a0^5*a2^3*a3^2*a4^2 - 9036*A*B^2*a0^3*a1^2*a2^3*a3^2*a4^2 + 114480*B^3*a0*a1^4*a2^3*a3^2*a4^2 - 80*A^3*a0^4*a2^4*a3^2*a4^2 + 16260*A^2*B*a0^2*a1^2*a2^4*a3^2*a4^2 - 12366*A*B^2*a1^4*a2^4*a3^2*a4^2 + 656*A^3*a0*a1^2*a2^5*a3^2*a4^2 + 27360*B^3*a0^5*a2^2*a3^3*a4^2 - 29712*A*B^2*a0^4*a2^3*a3^3*a4^2 + 113508*B^3*a0^2*a1^2*a2^3*a3^3*a4^2 + 1648*A^2*B*a0^3*a2^4*a3^3*a4^2 - 103896*A*B^2*a0*a1^2*a2^4*a3^3*a4^2 - 256*A^3*a0^2*a2^5*a3^3*a4^2 + 39096*A^2*B*a1^2*a2^5*a3^3*a4^2 - 14256*B^3*a0^3*a2^3*a3^4*a4^2 - 48816*A*B^2*a0^2*a2^4*a3^4*a4^2 + 264708*B^3*a1^2*a2^4*a3^4*a4^2 + 32832*A^2*B*a0*a2^5*a3^4*a4^2 + 1280*A^3*a2^6*a3^4*a4^2 + 47952*B^3*a0*a2^4*a3^5*a4^2 + 38016*A*B^2*a2^5*a3^5*a4^2 + 2176*B^3*a0^6*a1^3*a4^3 - 2400*A*B^2*a0^5*a1^3*a2*a4^3 + 15192*B^3*a0^3*a1^5*a2*a4^3 + 892*A^2*B*a0^4*a1^3*a2^2*a4^3 - 9708*A*B^2*a0^2*a1^5*a2^2*a4^3 + 4968*B^3*a1^7*a2^2*a4^3 + 44*A^3*a0^3*a1^3*a2^3*a4^3 + 3828*A^2*B*a0*a1^5*a2^3*a4^3 + 180*A^3*a1^5*a2^4*a4^3 - 9216*B^3*a0^7*a1*a3*a4^3 + 10368*A*B^2*a0^6*a1*a2*a3*a4^3 - 71712*B^3*a0^4*a1^3*a2*a3*a4^3 - 3808*A^2*B*a0^5*a1*a2^2*a3*a4^3 + 47736*A*B^2*a0^3*a1^3*a2^2*a3*a4^3 + 4752*B^3*a0*a1^5*a2^2*a3*a4^3 - 184*A^3*a0^4*a1*a2^3*a3*a4^3 - 18240*A^2*B*a0^2*a1^3*a2^3*a3*a4^3 + 2556*A*B^2*a1^5*a2^3*a3*a4^3 - 886*A^3*a0*a1^3*a2^4*a3*a4^3 + 6912*B^3*a0^5*a1*a2*a3^2*a4^3 + 5472*A*B^2*a0^4*a1*a2^2*a3^2*a4^3 - 224964*B^3*a0^2*a1^3*a2^2*a3^2*a4^3 - 1200*A^2*B*a0^3*a1*a2^3*a3^2*a4^3 + 42732*A*B^2*a0*a1^3*a2^3*a3^2*a4^3 + 320*A^3*a0^2*a1*a2^4*a3^2*a4^3 - 11694*A^2*B*a1^3*a2^4*a3^2*a4^3 - 5184*B^3*a0^3*a1*a2^2*a3^3*a4^3 + 94248*A*B^2*a0^2*a1*a2^3*a3^3*a4^3 - 171072*B^3*a1^3*a2^3*a3^3*a4^3 - 57984*A^2*B*a0*a1*a2^4*a3^3*a4^3 - 2624*A^3*a1*a2^5*a3^3*a4^3 - 279936*B^3*a0*a1*a2^3*a3^4*a4^3 - 58752*A*B^2*a1*a2^4*a3^4*a4^3 - 192*A*B^2*a0^6*a1^2*a4^4 - 5688*B^3*a0^4*a1^4*a4^4 - 24*A^2*B*a0^5*a1^2*a2*a4^4 + 1740*A*B^2*a0^3*a1^4*a2*a4^4 - 9828*B^3*a0*a1^6*a2*a4^4 - 30*A^3*a0^4*a1^2*a2^2*a4^4 - 1876*A^2*B*a0^2*a1^4*a2^2*a4^4 - 1710*A*B^2*a1^6*a2^2*a4^4 - 328*A^3*a0*a1^4*a2^3*a4^4 + 768*A*B^2*a0^7*a3*a4^4 + 24192*B^3*a0^5*a1^2*a3*a4^4 + 96*A^2*B*a0^6*a2*a3*a4^4 - 6336*A*B^2*a0^4*a1^2*a2*a3*a4^4 + 31860*B^3*a0^2*a1^4*a2*a3*a4^4 + 120*A^3*a0^5*a2^2*a3*a4^4 + 8364*A^2*B*a0^3*a1^2*a2^2*a3*a4^4 + 8208*A*B^2*a0*a1^4*a2^2*a3*a4^4 + 1644*A^3*a0^2*a1^2*a2^3*a3*a4^4 - 1032*A^2*B*a1^4*a2^3*a3*a4^4 + 10368*B^3*a0^6*a3^2*a4^4 - 19008*A*B^2*a0^5*a2*a3^2*a4^4 + 149688*B^3*a0^3*a1^2*a2*a3^2*a4^4 + 3192*A^2*B*a0^4*a2^2*a3^2*a4^4 - 71550*A*B^2*a0^2*a1^2*a2^2*a3^2*a4^4 + 25758*B^3*a1^4*a2^2*a3^2*a4^4 - 876*A^3*a0^3*a2^3*a3^2*a4^4 + 31572*A^2*B*a0*a1^2*a2^3*a3^2*a4^4 + 1242*A^3*a1^2*a2^4*a3^2*a4^4 - 19872*B^3*a0^4*a2*a3^3*a4^4 + 10728*A*B^2*a0^3*a2^2*a3^3*a4^4 + 326592*B^3*a0*a1^2*a2^2*a3^3*a4^4 + 6972*A^2*B*a0^2*a2^3*a3^3*a4^4 + 34992*A*B^2*a1^2*a2^3*a3^3*a4^4 + 2624*A^3*a0*a2^4*a3^3*a4^4 + 21384*B^3*a0^2*a2^2*a3^4*a4^4 + 30780*A*B^2*a0*a2^3*a3^4*a4^4 + 8208*A^2*B*a2^4*a3^4*a4^4 + 69012*B^3*a2^3*a3^5*a4^4 + 1272*A*B^2*a0^4*a1^3*a4^5 + 4428*B^3*a0^2*a1^5*a4^5 + 84*A^2*B*a0^3*a1^3*a2*a4^5 + 3996*A*B^2*a0*a1^5*a2*a4^5 + 128*A^3*a0^2*a1^3*a2^2*a4^5 + 144*A^2*B*a1^5*a2^2*a4^5 - 5472*A*B^2*a0^5*a1*a3*a4^5 - 15768*B^3*a0^3*a1^3*a3*a4^5 - 384*A^2*B*a0^4*a1*a2*a3*a4^5 - 21600*A*B^2*a0^2*a1^3*a2*a3*a4^5 + 4050*B^3*a1^5*a2*a3*a4^5 - 572*A^3*a0^3*a1*a2^2*a3*a4^5 + 72*A^2*B*a0*a1^3*a2^2*a3*a4^5 + 16*A^3*a1^3*a2^3*a3*a4^5 - 49248*B^3*a0^4*a1*a3^2*a4^5 + 32832*A*B^2*a0^3*a1*a2*a3^2*a4^5 - 81972*B^3*a0*a1^3*a2*a3^2*a4^5 - 15660*A^2*B*a0^2*a1*a2^2*a3^2*a4^5 - 11448*A*B^2*a1^3*a2^2*a3^2*a4^5 - 2328*A^3*a0*a1*a2^3*a3^2*a4^5 - 137376*B^3*a0^2*a1*a2*a3^3*a4^5 - 38772*A*B^2*a0*a1*a2^2*a3^3*a4^5 - 8208*A^2*B*a1*a2^3*a3^3*a4^5 - 92340*B^3*a1*a2^2*a3^4*a4^5 + 6*A^2*B*a0^4*a1^2*a4^6 - 2070*A*B^2*a0^2*a1^4*a4^6 - 324*B^3*a1^6*a4^6 + 24*A^3*a0^3*a1^2*a2*a4^6 + 96*A^2*B*a0*a1^4*a2*a4^6 + 140*A^3*a1^4*a2^2*a4^6 - 24*A^2*B*a0^5*a3*a4^6 + 8964*A*B^2*a0^3*a1^2*a3*a4^6 - 1458*B^3*a0*a1^4*a3*a4^6 - 96*A^3*a0^4*a2*a3*a4^6 - 468*A^2*B*a0^2*a1^2*a2*a3*a4^6 - 1674*A*B^2*a1^4*a2*a3*a4^6 - 768*A^3*a0*a1^2*a2^2*a3*a4^6 + 6480*A*B^2*a0^4*a3^2*a4^6 + 42606*B^3*a0^2*a1^2*a3^2*a4^6 + 864*A^2*B*a0^3*a2*a3^2*a4^6 + 36072*A*B^2*a0*a1^2*a2*a3^2*a4^6 + 1610*A^3*a0^2*a2^2*a3^2*a4^6 + 1026*A^2*B*a1^2*a2^2*a3^2*a4^6 + 22248*B^3*a0^3*a3^3*a4^6 - 10800*A*B^2*a0^2*a2*a3^3*a4^6 + 30132*B^3*a1^2*a2*a3^3*a4^6 + 3564*A^2*B*a0*a2^2*a3^3*a4^6 - 1240*A^3*a2^3*a3^3*a4^6 + 50544*B^3*a0*a2*a3^4*a4^6 + 12474*A*B^2*a2^2*a3^4*a4^6 - 24*A^2*B*a0^2*a1^3*a4^7 + 324*A*B^2*a1^5*a4^7 - 104*A^3*a0*a1^3*a2*a4^7 + 108*A^2*B*a0^3*a1*a3*a4^7 - 378*A*B^2*a0*a1^3*a3*a4^7 + 464*A^3*a0^2*a1*a2*a3*a4^7 - 18360*A*B^2*a0^2*a1*a3^2*a4^7 - 2430*B^3*a1^3*a3^2*a4^7 + 648*A^2*B*a0*a1*a2*a3^2*a4^7 + 984*A^3*a1*a2^2*a3^2*a4^7 - 18468*B^3*a0*a1*a3^3*a4^7 - 14256*A*B^2*a1*a2*a3^3*a4^7 - 4*A^3*a0^2*a1^2*a4^8 + 16*A^3*a0^3*a3*a4^8 + 24*A^3*a1^2*a2*a3*a4^8 - 162*A^2*B*a0^2*a3^2*a4^8 + 2268*A*B^2*a1^2*a3^2*a4^8 - 792*A^3*a0*a2*a3^2*a4^8 + 6804*A*B^2*a0*a3^3*a4^8 - 1458*B^3*a3^4*a4^8 + 16*A^3*a1^3*a4^9 - 72*A^3*a0*a1*a3*a4^9 + 108*A^3*a3^2*a4^10 - 128*B^3*a0^7*a1^4*a5 + 256*A*B^2*a0^6*a1^4*a2*a5 - 1104*B^3*a0^4*a1^6*a2*a5 - 184*A^2*B*a0^5*a1^4*a2^2*a5 + 2704*A*B^2*a0^3*a1^6*a2^2*a5 - 936*B^3*a0*a1^8*a2^2*a5 - 4*A^3*a0^4*a1^4*a2^3*a5 - 1904*A^2*B*a0^2*a1^6*a2^3*a5 + 2628*A*B^2*a1^8*a2^3*a5 - 96*A^3*a0*a1^6*a2^4*a5 + 1024*B^3*a0^8*a1^2*a3*a5 - 1792*A*B^2*a0^7*a1^2*a2*a3*a5 + 9984*B^3*a0^5*a1^4*a2*a3*a5 + 864*A^2*B*a0^6*a1^2*a2^2*a3*a5 - 21568*A*B^2*a0^4*a1^4*a2^2*a3*a5 + 5184*B^3*a0^2*a1^6*a2^2*a3*a5 + 80*A^3*a0^5*a1^2*a2^3*a3*a5 + 12168*A^2*B*a0^3*a1^4*a2^3*a3*a5 - 12528*A*B^2*a0*a1^6*a2^3*a3*a5 + 1160*A^3*a0^2*a1^4*a2^4*a3*a5 - 3682*A^2*B*a1^6*a2^4*a3*a5 - 2048*B^3*a0^9*a3^2*a5 + 3072*A*B^2*a0^8*a2*a3^2*a5 - 26112*B^3*a0^6*a1^2*a2*a3^2*a5 - 512*A^2*B*a0^7*a2^2*a3^2*a5 + 50112*A*B^2*a0^5*a1^2*a2^2*a3^2*a5 + 4248*B^3*a0^3*a1^4*a2^2*a3^2*a5 - 256*A^3*a0^6*a2^3*a3^2*a5 - 19616*A^2*B*a0^4*a1^2*a2^3*a3^2*a5 - 13428*A*B^2*a0^2*a1^4*a2^3*a3^2*a5 - 16200*B^3*a1^6*a2^3*a3^2*a5 - 3696*A^3*a0^3*a1^2*a2^4*a3^2*a5 + 23456*A^2*B*a0*a1^4*a2^4*a3^2*a5 + 1412*A^3*a1^4*a2^5*a3^2*a5 + 15360*B^3*a0^7*a2*a3^3*a5 - 29440*A*B^2*a0^6*a2^2*a3^3*a5 - 38304*B^3*a0^4*a1^2*a2^2*a3^3*a5 + 8064*A^2*B*a0^5*a2^3*a3^3*a5 + 72144*A*B^2*a0^3*a1^2*a2^3*a3^3*a5 + 120960*B^3*a0*a1^4*a2^3*a3^3*a5 + 2176*A^3*a0^4*a2^4*a3^3*a5 - 18736*A^2*B*a0^2*a1^2*a2^4*a3^3*a5 - 31536*A*B^2*a1^4*a2^4*a3^3*a5 - 6272*A^3*a0*a1^2*a2^5*a3^3*a5 - 6912*B^3*a0^5*a2^2*a3^4*a5 + 23040*A*B^2*a0^4*a2^3*a3^4*a5 - 202176*B^3*a0^2*a1^2*a2^3*a3^4*a5 - 12288*A^2*B*a0^3*a2^4*a3^4*a5 + 13392*A*B^2*a0*a1^2*a2^4*a3^4*a5 - 1024*A^3*a0^2*a2^5*a3^4*a5 + 41472*A^2*B*a1^2*a2^5*a3^4*a5 - 38016*B^3*a0^3*a2^3*a3^5*a5 + 190080*A*B^2*a0^2*a2^4*a3^5*a5 + 169776*B^3*a1^2*a2^4*a3^5*a5 - 64512*A^2*B*a0*a2^5*a3^5*a5 - 15360*A^3*a2^6*a3^5*a5 - 228096*B^3*a0*a2^4*a3^6*a5 + 69120*A*B^2*a2^5*a3^6*a5 - 128*A*B^2*a0^7*a1^3*a4*a5 + 1056*B^3*a0^5*a1^5*a4*a5 + 416*A^2*B*a0^6*a1^3*a2*a4*a5 - 3152*A*B^2*a0^4*a1^5*a2*a4*a5 + 7416*B^3*a0^2*a1^7*a2*a4*a5 - 80*A^3*a0^5*a1^3*a2^2*a4*a5 + 4472*A^2*B*a0^3*a1^5*a2^2*a4*a5 - 16824*A*B^2*a0*a1^7*a2^2*a4*a5 - 572*A^3*a0^2*a1^5*a2^3*a4*a5 + 4876*A^2*B*a1^7*a2^3*a4*a5 + 512*A*B^2*a0^8*a1*a3*a4*a5 - 8832*B^3*a0^6*a1^3*a3*a4*a5 - 1664*A^2*B*a0^7*a1*a2*a3*a4*a5 + 19776*A*B^2*a0^5*a1^3*a2*a3*a4*a5 - 60912*B^3*a0^3*a1^5*a2*a3*a4*a5 + 320*A^3*a0^6*a1*a2^2*a3*a4*a5 - 23080*A^2*B*a0^4*a1^3*a2^2*a3*a4*a5 + 122040*A*B^2*a0^2*a1^5*a2^2*a3*a4*a5 + 28728*B^3*a1^7*a2^2*a3*a4*a5 + 2408*A^3*a0^3*a1^3*a2^3*a3*a4*a5 - 26224*A^2*B*a0*a1^5*a2^3*a3*a4*a5 - 2902*A^3*a1^5*a2^4*a3*a4*a5 + 18432*B^3*a0^7*a1*a3^2*a4*a5 - 27648*A*B^2*a0^6*a1*a2*a3^2*a4*a5 + 131616*B^3*a0^4*a1^3*a2*a3^2*a4*a5 + 17888*A^2*B*a0^5*a1*a2^2*a3^2*a4*a5 - 223680*A*B^2*a0^3*a1^3*a2^2*a3^2*a4*a\ 5 - 223560*B^3*a0*a1^5*a2^2*a3^2*a4*a5 - 64*A^3*a0^4*a1*a2^3*a3^2*a4*a5 + 11072*A^2*B*a0^2*a1^3*a2^3*a3^2*a4*a5 + 23652*A*B^2*a1^5*a2^3*a3^2*a4*a5 + 13624*A^3*a0*a1^3*a2^4*a3^2*a4*a5 - 26496*B^3*a0^5*a1*a2*a3^3*a4*a5 + 57984*A*B^2*a0^4*a1*a2^2*a3^3*a4*a5 + 387288*B^3*a0^2*a1^3*a2^2*a3^3*a4*a5 - 10944*A^2*B*a0^3*a1*a2^3*a3^3*a4*a5 + 150120*A*B^2*a0*a1^3*a2^3*a3^3*a4*a5 + 1600*A^3*a0^2*a1*a2^4*a3^3*a4*a5 - 77112*A^2*B*a1^3*a2^4*a3^3*a4*a5 + 104544*B^3*a0^3*a1*a2^2*a3^4*a4*a5 - 540864*A*B^2*a0^2*a1*a2^3*a3^4*a4*a5 - 421200*B^3*a1^3*a2^3*a3^4*a4*a5 + 66816*A^2*B*a0*a1*a2^4*a3^4*a4*a5 + 40448*A^3*a1*a2^5*a3^4*a4*a5 + 927936*B^3*a0*a1*a2^3*a3^5*a4*a5 - 133056*A*B^2*a1*a2^4*a3^5*a4*a5 - 288*A^2*B*a0^7*a1^2*a4^2*a5 + 1136*A*B^2*a0^5*a1^4*a4^2*a5 - 5976*B^3*a0^3*a1^6*a4^2*a5 + 144*A^3*a0^6*a1^2*a2*a4^2*a5 - 5156*A^2*B*a0^4*a1^4*a2*a4^2*a5 + 17328*A*B^2*a0^2*a1^6*a2*a4^2*a5 - 8748*B^3*a1^8*a2*a4^2*a5 + 1640*A^3*a0^3*a1^4*a2^2*a4^2*a5 - 13304*A^2*B*a0*a1^6*a2^2*a4^2*a5 + 1256*A^3*a1^6*a2^3*a4^2*a5 + 1152*A^2*B*a0^8*a3*a4^2*a5 - 4416*A*B^2*a0^6*a1^2*a3*a4^2*a5 + 46512*B^3*a0^4*a1^4*a3*a4^2*a5 - 576*A^3*a0^7*a2*a3*a4^2*a5 + 24576*A^2*B*a0^5*a1^2*a2*a3*a4^2*a5 - 110760*A*B^2*a0^3*a1^4*a2*a3*a4^2*a5 + 46656*B^3*a0*a1^6*a2*a3*a4^2*a5 - 7864*A^3*a0^4*a1^2*a2^2*a3*a4^2*a5 + 74964*A^2*B*a0^2*a1^4*a2^2*a3*a4^2*a5 + 4536*A*B^2*a1^6*a2^2*a3*a4^2*a5 - 1896*A^3*a0*a1^4*a2^3*a3*a4^2*a5 - 1536*A*B^2*a0^7*a3^2*a4^2*a5 - 88992*B^3*a0^5*a1^2*a3^2*a4^2*a5 - 11328*A^2*B*a0^6*a2*a3^2*a4^2*a5 + 152208*A*B^2*a0^4*a1^2*a2*a3^2*a4^2*a5 + 68364*B^3*a0^2*a1^4*a2*a3^2*a4^2*a5 + 4000*A^3*a0^5*a2^2*a3^2*a4^2*a5 - 56040*A^2*B*a0^3*a1^2*a2^2*a3^2*a4^2*a5 - 147528*A*B^2*a0*a1^4*a2^2*a3^2*a4^2*a5 - 21308*A^3*a0^2*a1^2*a2^3*a3^2*a4^2*a5 + 41184*A^2*B*a1^4*a2^3*a3^2*a4^2*a5 - 5760*B^3*a0^6*a3^3*a4^2*a5 - 10176*A*B^2*a0^5*a2*a3^3*a4^2*a5 - 412128*B^3*a0^3*a1^2*a2*a3^3*a4^2*a5 + 35872*A^2*B*a0^4*a2^2*a3^3*a4^2*a5 + 184248*A*B^2*a0^2*a1^2*a2^2*a3^3*a4^2*a5 + 328860*B^3*a1^4*a2^2*a3^3*a4^2*a5 - 432*A^3*a0^3*a2^3*a3^3*a4^2*a5 + 68328*A^2*B*a0*a1^2*a2^3*a3^3*a4^2*a5 - 32424*A^3*a1^2*a2^4*a3^3*a4^2*a5 - 15552*B^3*a0^4*a2*a3^4*a4^2*a5 + 242784*A*B^2*a0^3*a2^2*a3^4*a4^2*a5 - 787320*B^3*a0*a1^2*a2^2*a3^4*a4^2*a5 - 62640*A^2*B*a0^2*a2^3*a3^4*a4^2*a5 + 53460*A*B^2*a1^2*a2^3*a3^4*a4^2*a5 - 41280*A^3*a0*a2^4*a3^4*a4^2*a5 - 241056*B^3*a0^2*a2^2*a3^5*a4^2*a5 - 44496*A*B^2*a0*a2^3*a3^5*a4^2*a5 - 77760*A^2*B*a2^4*a3^5*a4^2*a5 - 229392*B^3*a2^3*a3^6*a4^2*a5 + 1880*A^2*B*a0^5*a1^3*a4^3*a5 - 2664*A*B^2*a0^3*a1^5*a4^3*a5 + 9504*B^3*a0*a1^7*a4^3*a5 - 976*A^3*a0^4*a1^3*a2*a4^3*a5 + 9892*A^2*B*a0^2*a1^5*a2*a4^3*a5 + 1548*A*B^2*a1^7*a2*a4^3*a5 - 3440*A^3*a0*a1^5*a2^2*a4^3*a5 - 8096*A^2*B*a0^6*a1*a3*a4^3*a5 + 7920*A*B^2*a0^4*a1^3*a3*a4^3*a5 - 69984*B^3*a0^2*a1^5*a3*a4^3*a5 + 4192*A^3*a0^5*a1*a2*a3*a4^3*a5 - 48576*A^2*B*a0^3*a1^3*a2*a3*a4^3*a5 - 32616*A*B^2*a0*a1^5*a2*a3*a4^3*a5 + 16124*A^3*a0^2*a1^3*a2^2*a3*a4^3*a5 + 792*A^2*B*a1^5*a2^2*a3*a4^3*a5 + 20160*A*B^2*a0^5*a1*a3^2*a4^3*a5 + 84888*B^3*a0^3*a1^3*a3^2*a4^3*a5 - 2688*A^2*B*a0^4*a1*a2*a3^2*a4^3*a5 + 265680*A*B^2*a0^2*a1^3*a2*a3^2*a4^3*a5 - 67716*B^3*a1^5*a2*a3^2*a4^3*a5 + 4016*A^3*a0^3*a1*a2^2*a3^2*a4^3*a5 - 103896*A^2*B*a0*a1^3*a2^2*a3^2*a4^3*a5 + 8136*A^3*a1^3*a2^3*a3^2*a4^3*a5 + 142560*B^3*a0^4*a1*a3^3*a4^3*a5 - 350496*A*B^2*a0^3*a1*a2*a3^3*a4^3*a5 - 62208*B^3*a0*a1^3*a2*a3^3*a4^3*a5 + 42408*A^2*B*a0^2*a1*a2^2*a3^3*a4^3*a5 + 10692*A*B^2*a1^3*a2^2*a3^3*a4^3*a5 + 61920*A^3*a0*a1*a2^3*a3^3*a4^3*a5 + 813888*B^3*a0^2*a1*a2*a3^4*a4^3*a5 + 101952*A*B^2*a0*a1*a2^2*a3^4*a4^3*a5 + 65664*A^2*B*a1*a2^3*a3^4*a4^3*a5 + 277992*B^3*a1*a2^2*a3^5*a4^3*a5 + 36*A^3*a0^5*a1^2*a4^4*a5 - 2936*A^2*B*a0^3*a1^4*a4^4*a5 - 2988*A*B^2*a0*a1^6*a4^4*a5 + 1944*A^3*a0^2*a1^4*a2*a4^4*a5 - 384*A^2*B*a1^6*a2*a4^4*a5 - 144*A^3*a0^6*a3*a4^4*a5 + 12684*A^2*B*a0^4*a1^2*a3*a4^4*a5 + 34236*A*B^2*a0^2*a1^4*a3*a4^4*a5 - 810*B^3*a1^6*a3*a4^4*a5 - 8792*A^3*a0^3*a1^2*a2*a3*a4^4*a5 - 1440*A^2*B*a0*a1^4*a2*a3*a4^4*a5 + 976*A^3*a1^4*a2^2*a3*a4^4*a5 + 9840*A^2*B*a0^5*a3^2*a4^4*a5 - 115668*A*B^2*a0^3*a1^2*a3^2*a4^4*a5 + 87804*B^3*a0*a1^4*a3^2*a4^4*a5 - 3168*A^3*a0^4*a2*a3^2*a4^4*a5 + 83196*A^2*B*a0^2*a1^2*a2*a3^2*a4^4*a5 + 23868*A*B^2*a1^4*a2*a3^2*a4^4*a5 - 28344*A^3*a0*a1^2*a2^2*a3^2*a4^4*a5 + 4176*A*B^2*a0^4*a3^3*a4^4*a5 - 264060*B^3*a0^2*a1^2*a3^3*a4^4*a5 - 12576*A^2*B*a0^3*a2*a3^3*a4^4*a5 - 205632*A*B^2*a0*a1^2*a2*a3^3*a4^4*a5 - 11488*A^3*a0^2*a2^2*a3^3*a4^4*a5 + 8640*A^2*B*a1^2*a2^2*a3^3*a4^4*a5 - 66096*B^3*a0^3*a3^4*a4^4*a5 + 64800*A*B^2*a0^2*a2*a3^4*a4^4*a5 - 37908*B^3*a1^2*a2*a3^4*a4^4*a5 - 46224*A^2*B*a0*a2^2*a3^4*a4^4*a5 - 8496*A^3*a2^3*a3^4*a4^4*a5 - 365472*B^3*a0*a2*a3^5*a4^4*a5 - 102384*A*B^2*a2^2*a3^5*a4^4*a5 - 224*A^3*a0^3*a1^3*a4^5*a5 + 288*A^2*B*a0*a1^5*a4^5*a5 - 840*A^3*a1^5*a2*a4^5*a5 + 968*A^3*a0^4*a1*a3*a4^5*a5 + 396*A^2*B*a0^2*a1^3*a3*a4^5*a5 - 2106*A*B^2*a1^5*a3*a4^5*a5 + 3792*A^3*a0*a1^3*a2*a3*a4^5*a5 - 27072*A^2*B*a0^3*a1*a3^2*a4^5*a5 - 22896*A*B^2*a0*a1^3*a3^2*a4^5*a5 + 12072*A^3*a0^2*a1*a2*a3^2*a4^5*a5 - 2592*A^2*B*a1^3*a2*a3^2*a4^5*a5 + 185544*A*B^2*a0^2*a1*a3^3*a4^5*a5 - 2916*B^3*a1^3*a3^3*a4^5*a5 - 23328*A^2*B*a0*a1*a2*a3^3*a4^5*a5 + 14496*A^3*a1*a2^2*a3^3*a4^5*a5 + 112752*B^3*a0*a1*a3^4*a4^5*a5 + 123768*A*B^2*a1*a2*a3^4*a4^5*a5 + 312*A^3*a0*a1^4*a4^6*a5 - 1328*A^3*a0^2*a1^2*a3*a4^6*a5 - 1292*A^3*a0^3*a3^2*a4^6*a5 + 2052*A^2*B*a0*a1^2*a3^2*a4^6*a5 - 6168*A^3*a1^2*a2*a3^2*a4^6*a5 + 10692*A^2*B*a0^2*a3^3*a4^6*a5 - 14580*A*B^2*a1^2*a3^3*a4^6*a5 - 1296*A^3*a0*a2*a3^3*a4^6*a5 - 84564*A*B^2*a0*a3^4*a4^6*a5 + 1296*A^2*B*a2*a3^4*a4^6*a5 + 20412*B^3*a3^5*a4^6*a5 - 264*A^3*a1^3*a3*a4^7*a5 + 3312*A^3*a0*a1*a3^2*a4^7*a5 - 1728*A^3*a3^3*a4^8*a5 - 96*A^2*B*a0^6*a1^4*a5^2 - 1168*A*B^2*a0^4*a1^6*a5^2 - 3420*B^3*a0^2*a1^8*a5^2 + 144*A^3*a0^5*a1^4*a2*a5^2 + 220*A^2*B*a0^3*a1^6*a2*a5^2 + 4260*A*B^2*a0*a1^8*a2*a5^2 + 1610*A^3*a0^2*a1^6*a2^2*a5^2 - 3890*A^2*B*a1^8*a2^2*a5^2 + 896*A^2*B*a0^7*a1^2*a3*a5^2 + 9344*A*B^2*a0^5*a1^4*a3*a5^2 + 35928*B^3*a0^3*a1^6*a3*a5^2 - 832*A^3*a0^6*a1^2*a2*a3*a5^2 + 144*A^2*B*a0^4*a1^4*a2*a3*a5^2 - 48348*A*B^2*a0^2*a1^6*a2*a3*a5^2 - 9180*B^3*a1^8*a2*a3*a5^2 - 11664*A^3*a0^3*a1^4*a2^2*a3*a5^2 + 29196*A^2*B*a0*a1^6*a2^2*a3*a5^2 + 2872*A^3*a1^6*a2^3*a3*a5^2 - 2048*A^2*B*a0^8*a3^2*a5^2 - 21504*A*B^2*a0^6*a1^2*a3^2*a5^2 - 126720*B^3*a0^4*a1^4*a3^2*a5^2 + 1024*A^3*a0^7*a2*a3^2*a5^2 - 6400*A^2*B*a0^5*a1^2*a2*a3^2*a5^2 + 189120*A*B^2*a0^3*a1^4*a2*a3^2*a5^2 + 105624*B^3*a0*a1^6*a2*a3^2*a5^2 + 23520*A^3*a0^4*a1^2*a2^2*a3^2*a5^2 - 58536*A^2*B*a0^2*a1^4*a2^2*a3^2*a5^2 + 11124*A*B^2*a1^6*a2^2*a3^2*a5^2 - 21376*A^3*a0*a1^4*a2^3*a3^2*a5^2 + 11264*A*B^2*a0^7*a3^3*a5^2 + 161280*B^3*a0^5*a1^2*a3^3*a5^2 + 8704*A^2*B*a0^6*a2*a3^3*a5^2 - 264192*A*B^2*a0^4*a1^2*a2*a3^3*a5^2 - 363744*B^3*a0^2*a1^4*a2*a3^3*a5^2 - 11776*A^3*a0^5*a2^2*a3^3*a5^2 + 10816*A^2*B*a0^3*a1^2*a2^2*a3^3*a5^2 - 108432*A*B^2*a0*a1^4*a2^2*a3^3*a5^2 + 28816*A^3*a0^2*a1^2*a2^3*a3^3*a5^2 + 46728*A^2*B*a1^4*a2^3*a3^3*a5^2 - 41472*B^3*a0^6*a3^4*a5^2 + 43776*A*B^2*a0^5*a2*a3^4*a5^2 + 340416*B^3*a0^3*a1^2*a2*a3^4*a5^2 + 5376*A^2*B*a0^4*a2^2*a3^4*a5^2 + 349056*A*B^2*a0^2*a1^2*a2^2*a3^4*a5^2 + 92664*B^3*a1^4*a2^2*a3^4*a5^2 + 13568*A^3*a0^3*a2^3*a3^4*a5^2 - 139392*A^2*B*a0*a1^2*a2^3*a3^4*a5^2 - 32704*A^3*a1^2*a2^4*a3^4*a5^2 + 62208*B^3*a0^4*a2*a3^5*a5^2 - 442368*A*B^2*a0^3*a2^2*a3^5*a5^2 - 559872*B^3*a0*a1^2*a2^2*a3^5*a5^2 + 54144*A^2*B*a0^2*a2^3*a3^5*a5^2 - 95472*A*B^2*a1^2*a2^3*a3^5*a5^2 + 86016*A^3*a0*a2^4*a3^5*a5^2 + 559872*B^3*a0^2*a2^2*a3^6*a5^2 - 221184*A*B^2*a0*a2^3*a3^6*a5^2 - 41472*A^2*B*a2^4*a3^6*a5^2 + 279936*B^3*a2^3*a3^7*a5^2 - 192*A^3*a0^6*a1^3*a4*a5^2 + 888*A^2*B*a0^4*a1^5*a4*a5^2 - 84*A*B^2*a0^2*a1^7*a4*a5^2 + 2700*B^3*a1^9*a4*a5^2 - 2400*A^3*a0^3*a1^5*a2*a4*a5^2 + 14144*A^2*B*a0*a1^7*a2*a4*a5^2 - 3112*A^3*a1^7*a2^2*a4*a5^2 + 768*A^3*a0^7*a1*a3*a4*a5^2 - 7744*A^2*B*a0^5*a1^3*a3*a4*a5^2 - 3216*A*B^2*a0^3*a1^5*a3*a4*a5^2 - 34776*B^3*a0*a1^7*a3*a4*a5^2 + 13344*A^3*a0^4*a1^3*a2*a3*a4*a5^2 - 110436*A^2*B*a0^2*a1^5*a2*a3*a4*a5^2 - 20196*A*B^2*a1^7*a2*a3*a4*a5^2 + 19848*A^3*a0*a1^5*a2^2*a3*a4*a5^2 + 17024*A^2*B*a0^6*a1*a3^2*a4*a5^2 + 11520*A*B^2*a0^4*a1^3*a3^2*a4*a5^2 + 113400*B^3*a0^2*a1^5*a3^2*a4*a5^2 - 13568*A^3*a0^5*a1*a2*a3^2*a4*a5^2 + 245760*A^2*B*a0^3*a1^3*a2*a3^2*a4*a5^2 + 171288*A*B^2*a0*a1^5*a2*a3^2*a4*a5^2 - 18816*A^3*a0^2*a1^3*a2^2*a3^2*a4*a5^2 - 49212*A^2*B*a1^5*a2^2*a3^2*a4*a5^2 + 6144*A*B^2*a0^5*a1*a3^3*a4*a5^2 - 15552*B^3*a0^3*a1^3*a3^3*a4*a5^2 - 112576*A^2*B*a0^4*a1*a2*a3^3*a4*a5^2 - 493344*A*B^2*a0^2*a1^3*a2*a3^3*a4*a5^2 - 111132*B^3*a1^5*a2*a3^3*a4*a5^2 - 5824*A^3*a0^3*a1*a2^2*a3^3*a4*a5^2 + 41616*A^2*B*a0*a1^3*a2^2*a3^3*a4*a5^2 + 54144*A^3*a1^3*a2^3*a3^3*a4*a5^2 - 224640*B^3*a0^4*a1*a3^4*a4*a5^2 + 611712*A*B^2*a0^3*a1*a2*a3^4*a4*a5^2 + 808704*B^3*a0*a1^3*a2*a3^4*a4*a5^2 + 318816*A^2*B*a0^2*a1*a2^2*a3^4*a4*a5^2 + 225504*A*B^2*a1^3*a2^2*a3^4*a4*a5^2 - 109696*A^3*a0*a1*a2^3*a3^4*a4*a5^2 - 1228608*B^3*a0^2*a1*a2*a3^5*a4*a5^2 + 72576*A*B^2*a0*a1*a2^2*a3^5*a4*a5^2 + 248832*A^2*B*a1*a2^3*a3^5*a4*a5^2 - 334368*B^3*a1*a2^2*a3^6*a4*a5^2 + 1272*A^3*a0^4*a1^4*a4^2*a5^2 - 8954*A^2*B*a0^2*a1^6*a4^2*a5^2 + 1890*A*B^2*a1^8*a4^2*a5^2 + 7336*A^3*a0*a1^6*a2*a4^2*a5^2 - 5632*A^3*a0^5*a1^2*a3*a4^2*a5^2 + 68964*A^2*B*a0^3*a1^4*a3*a4^2*a5^2 + 9720*A*B^2*a0*a1^6*a3*a4^2*a5^2 - 46740*A^3*a0^2*a1^4*a2*a3*a4^2*a5^2 + 5580*A^2*B*a1^6*a2*a3*a4^2*a5^2 + 640*A^3*a0^6*a3^2*a4^2*a5^2 - 138624*A^2*B*a0^4*a1^2*a3^2*a4^2*a5^2 - 135864*A*B^2*a0^2*a1^4*a3^2*a4^2*a5^2 + 18792*B^3*a1^6*a3^2*a4^2*a5^2 + 56904*A^3*a0^3*a1^2*a2*a3^2*a4^2*a5^2 + 95796*A^2*B*a0*a1^4*a2*a3^2*a4^2*a5^2 - 27654*A^3*a1^4*a2^2*a3^2*a4^2*a5^2 + 22336*A^2*B*a0^5*a3^3*a4^2*a5^2 + 255744*A*B^2*a0^3*a1^2*a3^3*a4^2*a5^2 - 172044*B^3*a0*a1^4*a3^3*a4^2*a5^2 - 12512*A^3*a0^4*a2*a3^3*a4^2*a5^2 - 315576*A^2*B*a0^2*a1^2*a2*a3^3*a4^2*a5^2 - 198288*A*B^2*a1^4*a2*a3^3*a4^2*a5^2 - 6360*A^3*a0*a1^2*a2^2*a3^3*a4^2*a5^2 - 65664*A*B^2*a0^4*a3^4*a4^2*a5^2 + 272160*B^3*a0^2*a1^2*a3^4*a4^2*a5^2 - 158112*A^2*B*a0^3*a2*a3^4*a4^2*a5^2 + 349272*A*B^2*a0*a1^2*a2*a3^4*a4^2*a5^\ 2 + 94656*A^3*a0^2*a2^2*a3^4*a4^2*a5^2 - 278640*A^2*B*a1^2*a2^2*a3^4*a4^2*a5^2 + 191808*B^3*a0^3*a3^5*a4^2*a5^2 - 287712*A*B^2*a0^2*a2*a3^5*a4^2*a5^2 - 5832*B^3*a1^2*a2*a3^5*a4^2*a5^2 + 57024*A^2*B*a0*a2^2*a3^5*a4^2*a5^2 + 65856*A^3*a2^3*a3^5*a4^2*a5^2 + 847584*B^3*a0*a2*a3^6*a4^2*a5^2 + 290304*A*B^2*a2^2*a3^6*a4^2*a5^2 - 2056*A^3*a0^2*a1^5*a4^3*a5^2 - 408*A^2*B*a1^7*a4^3*a5^2 + 9876*A^3*a0^3*a1^3*a3*a4^3*a5^2 + 396*A^2*B*a0*a1^5*a3*a4^3*a5^2 + 1840*A^3*a1^5*a2*a3*a4^3*a5^2 + 2288*A^3*a0^4*a1*a3^2*a4^3*a5^2 - 71748*A^2*B*a0^2*a1^3*a3^2*a4^3*a5^2 + 17388*A*B^2*a1^5*a3^2*a4^3*a5^2 + 47880*A^3*a0*a1^3*a2*a3^2*a4^3*a5^2 + 256944*A^2*B*a0^3*a1*a3^3*a4^3*a5^2 + 149148*A*B^2*a0*a1^3*a3^3*a4^3*a5^2 - 92992*A^3*a0^2*a1*a2*a3^3*a4^3*a5^2 + 42336*A^2*B*a1^3*a2*a3^3*a4^3*a5^2 - 529200*A*B^2*a0^2*a1*a3^4*a4^3*a5^2 - 12636*B^3*a1^3*a3^4*a4^3*a5^2 + 250560*A^2*B*a0*a1*a2*a3^4*a4^3*a5^2 - 77664*A^3*a1*a2^2*a3^4*a4^3*a5^2 - 190512*B^3*a0*a1*a3^5*a4^3*a5^2 - 375840*A*B^2*a1*a2*a3^5*a4^3*a5^2 + 732*A^3*a1^6*a4^4*a5^2 - 4736*A^3*a0*a1^4*a3*a4^4*a5^2 - 6492*A^3*a0^2*a1^2*a3^2*a4^4*a5^2 - 3078*A^2*B*a1^4*a3^2*a4^4*a5^2 + 3392*A^3*a0^3*a3^3*a4^4*a5^2 - 10152*A^2*B*a0*a1^2*a3^3*a4^4*a5^2 + 6672*A^3*a1^2*a2*a3^3*a4^4*a5^2 - 126576*A^2*B*a0^2*a3^4*a4^4*a5^2 + 13284*A*B^2*a1^2*a3^4*a4^4*a5^2 + 53280*A^3*a0*a2*a3^4*a4^4*a5^2 + 396576*A*B^2*a0*a3^5*a4^4*a5^2 - 15552*A^2*B*a2*a3^5*a4^4*a5^2 - 104976*B^3*a3^6*a4^4*a5^2 + 6720*A^3*a1^3*a3^2*a4^5*a5^2 - 17136*A^3*a0*a1*a3^3*a4^5*a5^2 + 10584*A^3*a3^4*a4^6*a5^2 - 1132*A^3*a0^3*a1^6*a5^3 - 3300*A^2*B*a0*a1^8*a5^3 + 1800*A^3*a1^8*a2*a5^3 + 8912*A^3*a0^4*a1^4*a3*a5^3 + 39952*A^2*B*a0^2*a1^6*a3*a5^3 + 7200*A*B^2*a1^8*a3*a5^3 - 16624*A^3*a0*a1^6*a2*a3*a5^3 - 19584*A^3*a0^5*a1^2*a3^2*a5^3 - 163344*A^2*B*a0^3*a1^4*a3^2*a5^3 - 77688*A*B^2*a0*a1^6*a3^2*a5^3 + 54520*A^3*a0^2*a1^4*a2*a3^2*a5^3 + 5064*A^2*B*a1^6*a2*a3^2*a5^3 + 8192*A^3*a0^6*a3^3*a5^3 + 244672*A^2*B*a0^4*a1^2*a3^3*a5^3 + 282240*A*B^2*a0^2*a1^4*a3^3*a5^3 + 6588*B^3*a1^6*a3^3*a5^3 - 63072*A^3*a0^3*a1^2*a2*a3^3*a5^3 - 7536*A^2*B*a0*a1^4*a2*a3^3*a5^3 - 16680*A^3*a1^4*a2^2*a3^3*a5^3 - 77824*A^2*B*a0^5*a3^4*a5^3 - 383040*A*B^2*a0^3*a1^2*a3^4*a5^3 - 41472*B^3*a0*a1^4*a3^4*a5^3 - 8704*A^3*a0^4*a2*a3^4*a5^3 - 113760*A^2*B*a0^2*a1^2*a2*a3^4*a5^3 - 47304*A*B^2*a1^4*a2*a3^4*a5^3 + 76128*A^3*a0*a1^2*a2^2*a3^4*a5^3 + 154368*A*B^2*a0^4*a3^5*a5^3 + 114048*B^3*a0^2*a1^2*a3^5*a5^3 + 197760*A^2*B*a0^3*a2*a3^5*a5^3 + 97632*A*B^2*a0*a1^2*a2*a3^5*a5^3 - 164224*A^3*a0^2*a2^2*a3^5*a5^3 - 43200*A^2*B*a1^2*a2^2*a3^5*a5^3 - 200448*B^3*a0^3*a3^6*a5^3 + 338688*A*B^2*a0^2*a2*a3^6*a5^3 + 101088*B^3*a1^2*a2*a3^6*a5^3 + 283392*A^2*B*a0*a2^2*a3^6*a5^3 - 61952*A^3*a2^3*a3^6*a5^3 - 777600*B^3*a0*a2*a3^7*a5^3 - 321408*A*B^2*a2^2*a3^7*a5^3 - 4080*A^3*a0*a1^7*a4*a5^3 + 29356*A^3*a0^2*a1^5*a3*a4*a5^3 - 1140*A^2*B*a1^7*a3*a4*a5^3 - 67568*A^3*a0^3*a1^3*a3^2*a4*a5^3 - 16128*A^2*B*a0*a1^5*a3^2*a4*a5^3 + 15712*A^3*a1^5*a2*a3^2*a4*a5^3 + 57728*A^3*a0^4*a1*a3^3*a4*a5^3 + 186384*A^2*B*a0^2*a1^3*a3^3*a4*a5^3 + 59508*A*B^2*a1^5*a3^3*a4*a5^3 - 35360*A^3*a0*a1^3*a2*a3^3*a4*a5^3 - 394176*A^2*B*a0^3*a1*a3^4*a4*a5^3 - 369360*A*B^2*a0*a1^3*a3^4*a4*a5^3 + 43136*A^3*a0^2*a1*a2*a3^4*a4*a5^3 + 127872*A^2*B*a1^3*a2*a3^4*a4*a5^3 + 556416*A*B^2*a0^2*a1*a3^5*a4*a5^3 + 19440*B^3*a1^3*a3^5*a4*a5^3 - 670464*A^2*B*a0*a1*a2*a3^5*a4*a5^3 + 36480*A^3*a1*a2^2*a3^5*a4*a5^3 + 139968*B^3*a0*a1*a3^6*a4*a5^3 + 435456*A*B^2*a1*a2*a3^6*a4*a5^3 - 2496*A^3*a1^6*a3*a4^2*a5^3 - 18220*A^3*a0*a1^4*a3^2*a4^2*a5^3 + 71936*A^3*a0^2*a1^2*a3^3*a4^2*a5^3 - 8100*A^2*B*a1^4*a3^3*a4^2*a5^3 - 20480*A^3*a0^3*a3^4*a4^2*a5^3 - 42336*A^2*B*a0*a1^2*a3^4*a4^2*a5^3 + 71520*A^3*a1^2*a2*a3^4*a4^2*a5^3 + 494208*A^2*B*a0^2*a3^5*a4^2*a5^3 + 82944*A*B^2*a1^2*a3^5*a4^2*a5^3 - 171648*A^3*a0*a2*a3^5*a4^2*a5^3 - 855360*A*B^2*a0*a3^6*a4^2*a5^3 + 62208*A^2*B*a2*a3^6*a4^2*a5^3 + 233280*B^3*a3^7*a4^2*a5^3 - 20848*A^3*a1^3*a3^3*a4^3*a5^3 + 1728*A^3*a0*a1*a3^4*a4^3*a5^3 - 30240*A^3*a3^5*a4^4*a5^3 + 920*A^3*a1^6*a3^2*a5^4 - 6640*A^3*a0*a1^4*a3^3*a5^4 - 9152*A^3*a0^2*a1^2*a3^4*a5^4 - 15120*A^2*B*a1^4*a3^4*a5^4 + 92416*A^3*a0^3*a3^5*a5^4 + 200448*A^2*B*a0*a1^2*a3^5*a5^4 - 45696*A^3*a1^2*a2*a3^5*a5^4 - 594432*A^2*B*a0^2*a3^6*a5^4 - 191808*A*B^2*a1^2*a3^6*a5^4 + 119808*A^3*a0*a2*a3^6*a5^4 + 746496*A*B^2*a0*a3^7*a5^4 - 82944*A^2*B*a2*a3^7*a5^4 - 186624*B^3*a3^8*a5^4 - 4416*A^3*a1^3*a3^4*a4*a5^4 + 73728*A^3*a0*a1*a3^5*a4*a5^4 + 38016*A^3*a3^6*a4^2*a5^4 - 13824*A^3*a3^7*a5^5 + 16*B^2*a0^6*a1^2*a2^4 - 16*A*B*a0^5*a1^2*a2^5 + 176*B^2*a0^3*a1^4*a2^5 - 120*A*B*a0^2*a1^4*a2^6 + 432*B^2*a1^6*a2^6 - 64*B^2*a0^7*a2^4*a3 + 64*A*B*a0^6*a2^5*a3 - 720*B^2*a0^4*a1^2*a2^5*a3 + 560*A*B*a0^3*a1^2*a2^6*a3 - 1368*B^2*a0*a1^4*a2^6*a3 - 612*A*B*a1^4*a2^7*a3 - 256*A*B*a0^4*a2^6*a3^2 - 2928*B^2*a0^2*a1^2*a2^6*a3^2 + 3200*A*B*a0*a1^2*a2^7*a3^2 + 3328*B^2*a0^3*a2^6*a3^3 - 1536*A*B*a0^2*a2^7*a3^3 - 4032*B^2*a1^2*a2^7*a3^3 - 9216*B^2*a0*a2^7*a3^4 + 6144*A*B*a2^8*a3^4 - 400*B^2*a0^4*a1^3*a2^4*a4 + 192*A*B*a0^3*a1^3*a2^5*a4 - 2520*B^2*a0*a1^5*a2^5*a4 + 828*A*B*a1^5*a2^6*a4 + 1632*B^2*a0^5*a1*a2^4*a3*a4 - 800*A*B*a0^4*a1*a2^5*a3*a4 + 12600*B^2*a0^2*a1^3*a2^5*a3*a4 - 4048*A*B*a0*a1^3*a2^6*a3*a4 - 7200*B^2*a0^3*a1*a2^5*a3^2*a4 + 1472*A*B*a0^2*a1*a2^6*a3^2*a4 + 3096*B^2*a1^3*a2^6*a3^2*a4 + 27648*B^2*a0*a1*a2^6*a3^3*a4 - 12288*A*B*a1*a2^7*a3^3*a4 + 288*B^2*a0^5*a1^2*a2^3*a4^2 - 136*A*B*a0^4*a1^2*a2^4*a4^2 + 3432*B^2*a0^2*a1^4*a2^4*a4^2 - 4*A^2*a0^3*a1^2*a2^5*a4^2 - 1492*A*B*a0*a1^4*a2^5*a4^2 - 27*A^2*a1^4*a2^6*a4^2 - 1152*B^2*a0^6*a2^3*a3*a4^2 + 544*A*B*a0^5*a2^4*a3*a4^2 - 17424*B^2*a0^3*a1^2*a2^4*a3*a4^2 + 16*A^2*a0^4*a2^5*a3*a4^2 + 7476*A*B*a0^2*a1^2*a2^5*a3*a4^2 - 2628*B^2*a1^4*a2^5*a3*a4^2 + 144*A^2*a0*a1^2*a2^6*a3*a4^2 + 10512*B^2*a0^4*a2^4*a3^2*a4^2 - 4032*A*B*a0^3*a2^5*a3^2*a4^2 - 3456*B^2*a0*a1^2*a2^5*a3^2*a4^2 - 128*A^2*a0^2*a2^6*a3^2*a4^2 + 5712*A*B*a1^2*a2^6*a3^2*a4^2 - 36144*B^2*a0^2*a2^5*a3^3*a4^2 + 12096*A*B*a0*a2^6*a3^3*a4^2 + 256*A^2*a2^7*a3^3*a4^2 + 25920*B^2*a2^6*a3^4*a4^2 - 792*B^2*a0^3*a1^3*a2^3*a4^3 + 580*A*B*a0^2*a1^3*a2^4*a4^3 + 2916*B^2*a1^5*a2^4*a4^3 + 18*A^2*a0*a1^3*a2^5*a4^3 + 3744*B^2*a0^4*a1*a2^3*a3*a4^3 - 2592*A*B*a0^3*a1*a2^4*a3*a4^3 - 14040*B^2*a0*a1^3*a2^4*a3*a4^3 - 80*A^2*a0^2*a1*a2^5*a3*a4^3 + 72*A*B*a1^3*a2^5*a3*a4^3 + 30672*B^2*a0^2*a1*a2^4*a3^2*a4^3 - 10584*A*B*a0*a1*a2^5*a3^2*a4^3 - 192*A^2*a1*a2^6*a3^2*a4^3 - 46440*B^2*a1*a2^5*a3^3*a4^3 - 504*B^2*a0^4*a1^2*a2^2*a4^4 + 108*A*B*a0^3*a1^2*a2^3*a4^4 - 5148*B^2*a0*a1^4*a2^3*a4^4 + A^2*a0^2*a1^2*a2^4*a4^4 + 630*A*B*a1^4*a2^4*a4^4 + 2016*B^2*a0^5*a2^2*a3*a4^4 - 432*A*B*a0^4*a2^3*a3*a4^4 + 26028*B^2*a0^2*a1^2*a2^3*a3*a4^4 - 4*A^2*a0^3*a2^4*a3*a4^4 - 3456*A*B*a0*a1^2*a2^4*a3*a4^4 - 6*A^2*a1^2*a2^5*a3*a4^4 - 24624*B^2*a0^3*a2^3*a3^2*a4^4 + 7272*A*B*a0^2*a2^4*a3^2*a4^4 + 20088*B^2*a1^2*a2^4*a3^2*a4^4 + 144*A^2*a0*a2^5*a3^2*a4^4 + 43200*B^2*a0*a2^4*a3^3*a4^4 - 5580*A*B*a2^5*a3^3*a4^4 + 2124*B^2*a0^2*a1^3*a2^2*a4^5 - 468*A*B*a0*a1^3*a2^3*a4^5 - 4*A^2*a1^3*a2^4*a4^5 - 9504*B^2*a0^3*a1*a2^2*a3*a4^5 + 2088*A*B*a0^2*a1*a2^3*a3*a4^5 + 216*B^2*a1^3*a2^3*a3*a4^5 + 18*A^2*a0*a1*a2^4*a3*a4^5 - 36288*B^2*a0*a1*a2^3*a3^2*a4^5 + 4428*A*B*a1*a2^4*a3^2*a4^5 + 216*B^2*a0^3*a1^2*a2*a4^6 - 18*A*B*a0^2*a1^2*a2^2*a4^6 + 1161*B^2*a1^4*a2^2*a4^6 - 864*B^2*a0^4*a2*a3*a4^6 + 72*A*B*a0^3*a2^2*a3*a4^6 - 6480*B^2*a0*a1^2*a2^2*a3*a4^6 + 108*A*B*a1^2*a2^3*a3*a4^6 + 20952*B^2*a0^2*a2^2*a3^2*a4^6 - 3564*A*B*a0*a2^3*a3^2*a4^6 - 27*A^2*a2^4*a3^2*a4^6 - 9828*B^2*a2^3*a3^3*a4^6 - 918*B^2*a0*a1^3*a2*a4^7 + 72*A*B*a1^3*a2^2*a4^7 + 4104*B^2*a0^2*a1*a2*a3*a4^7 - 324*A*B*a0*a1*a2^2*a3*a4^7 + 8100*B^2*a1*a2^2*a3^2*a4^7 - 27*B^2*a0^2*a1^2*a4^8 + 108*B^2*a0^3*a3*a4^8 + 162*B^2*a1^2*a2*a3*a4^8 - 6804*B^2*a0*a2*a3^2*a4^8 + 486*A*B*a2^2*a3^2*a4^8 + 108*B^2*a1^3*a4^9 - 486*B^2*a0*a1*a3*a4^9 + 729*B^2*a3^2*a4^10 - 128*B^2*a0^7*a1^2*a2^2*a5 + 128*A*B*a0^6*a1^2*a2^3*a5 - 1120*B^2*a0^4*a1^4*a2^3*a5 + 16*A^2*a0^5*a1^2*a2^4*a5 + 800*A*B*a0^3*a1^4*a2^4*a5 - 1368*B^2*a0*a1^6*a2^4*a5 + 120*A^2*a0^2*a1^4*a2^5*a5 - 1476*A*B*a1^6*a2^5*a5 + 512*B^2*a0^8*a2^2*a3*a5 - 512*A*B*a0^7*a2^3*a3*a5 + 4800*B^2*a0^5*a1^2*a2^3*a3*a5 - 64*A^2*a0^6*a2^4*a3*a5 - 4096*A*B*a0^4*a1^2*a2^4*a3*a5 + 312*B^2*a0^2*a1^4*a2^4*a3*a5 - 560*A^2*a0^3*a1^2*a2^5*a3*a5 + 11992*A*B*a0*a1^4*a2^5*a3*a5 + 612*A^2*a1^4*a2^6*a3*a5 - 768*B^2*a0^6*a2^3*a3^2*a5 + 3072*A*B*a0^5*a2^4*a3^2*a5 + 30096*B^2*a0^3*a1^2*a2^4*a3^2*a5 + 256*A^2*a0^4*a2^5*a3^2*a5 - 28176*A*B*a0^2*a1^2*a2^5*a3^2*a5 - 3708*B^2*a1^4*a2^5*a3^2*a5 - 3200*A^2*a0*a1^2*a2^6*a3^2*a5 - 22272*B^2*a0^4*a2^4*a3^3*a5 + 7168*A*B*a0^3*a2^5*a3^3*a5 + 29088*B^2*a0*a1^2*a2^5*a3^3*a5 + 1536*A^2*a0^2*a2^6*a3^3*a5 + 14976*A*B*a1^2*a2^6*a3^3*a5 + 62208*B^2*a0^2*a2^5*a3^4*a5 - 46080*A*B*a0*a2^6*a3^4*a5 - 6144*A^2*a2^7*a3^4*a5 + 27648*B^2*a2^6*a3^5*a5 + 1760*B^2*a0^5*a1^3*a2^2*a4*a5 - 560*A*B*a0^4*a1^3*a2^3*a4*a5 + 9744*B^2*a0^2*a1^5*a2^3*a4*a5 - 184*A^2*a0^3*a1^3*a2^4*a4*a5 + 584*A*B*a0*a1^5*a2^4*a4*a5 - 774*A^2*a1^5*a2^5*a4*a5 - 7296*B^2*a0^6*a1*a2^2*a3*a4*a5 + 2496*A*B*a0^5*a1*a2^3*a3*a4*a5 - 45072*B^2*a0^3*a1^3*a2^3*a3*a4*a5 + 768*A^2*a0^4*a1*a2^4*a3*a4*a5 - 4200*A*B*a0^2*a1^3*a2^4*a3*a4*a5 + 17712*B^2*a1^5*a2^4*a3*a4*a5 + 3760*A^2*a0*a1^3*a2^5*a3*a4*a5 + 9792*B^2*a0^4*a1*a2^3*a3^2*a4*a5 + 13536*A*B*a0^3*a1*a2^4*a3^2*a4*a5 - 99432*B^2*a0*a1^3*a2^4*a3^2*a4*a5 - 1216*A^2*a0^2*a1*a2^5*a3^2*a4*a5 - 11328*A*B*a1^3*a2^5*a3^2*a4*a5 - 65376*B^2*a0^2*a1*a2^4*a3^3*a4*a5 + 36096*A*B*a0*a1*a2^5*a3^3*a4*a5 + 11776*A^2*a1*a2^6*a3^3*a4*a5 - 193536*B^2*a1*a2^5*a3^4*a4*a5 - 768*B^2*a0^6*a1^2*a2*a4^2*a5 - 16*A*B*a0^5*a1^2*a2^2*a4^2*a5 - 13224*B^2*a0^3*a1^4*a2^2*a4^2*a5 + 164*A^2*a0^4*a1^2*a2^3*a4^2*a5 + 244*A*B*a0^2*a1^4*a2^3*a4^2*a5 - 14760*B^2*a1^6*a2^3*a4^2*a5 + 1654*A^2*a0*a1^4*a2^4*a4^2*a5 + 3072*B^2*a0^7*a2*a3*a4^2*a5 + 64*A*B*a0^6*a2^2*a3*a4^2*a5 + 63792*B^2*a0^4*a1^2*a2^2*a3*a4^2*a5 - 656*A^2*a0^5*a2^3*a3*a4^2*a5 - 744*A*B*a0^3*a1^2*a2^3*a3*a4^2*a5 + 71856*B^2*a0*a1^4*a2^3*a3*a4^2*a5 - 8376*A^2*a0^2*a1^2*a2^4*a3*a4^2*a5 + 3084*A*B*a1^4*a2^4*a3*a4^2*a5 - 27072*B^2*a0^5*a2^2*a3^2*a4^2*a5 - 4704*A*B*a0^4*a2^3*a3^2*a4^2*a5 + 20196*B^2*a0^2*a1^2*a2^3*a3^2*a4^2*a5 + 4992*A^2*a0^3*a2^4*a3^2*a4^2*a5 - 11088*A*B*a0*a1^2*a2^4*a3^2*a4^2*a5 - 5280*A^2*a1^2*a2^5*a3^2*a4^2*a5 + 112752*B^2*a0^3*a2^3*a3^3*a4^2*a5 - 3840*A*B*a0^2*a2^4*a3^3*a4^2*a5 + 270864*B^2*a1^2*a2^4*a3^3*a4^2*a5 - 14144*A^2*a0*a2^5*a3^3*a4^2*a5 - 38880*B^2*a0*a2^4*a3^4*a4^2*a5 - 32832*A*B*a2^5*a3^4*a4^2*a5 + 4800*B^2*a0^4*a1^3*a2*a4^3*a5 - 608*A*B*a0^3*a1^3*a2^2*a4^3*a5 + 20376*B^2*a0*a1^5*a2^2*a4^3*a5 - 704*A^2*a0^2*a1^3*a2^3*a4^3*a5 - 5148*A*B*a1^5*a2^3*a4^3*a5 - 20736*B^2*a0^5*a1*a2*a3*a4^3*a5 + 2400*A*B*a0^4*a1*a2^2*a3*a4^3*a5 - 102816*B^2*a0^2*a1^3*a2^2*a3*a4^3*a5 + 3144*A^2*a0^3*a1*a2^3*a3*a4^3*a5 + 25920*A*B*a0*a1^3*a2^3*a3*a4^3*a5 - 30*A^2*a1^3*a2^4*a3*a4^3*a5 - 12096*B^2*a0^3*a1*a2^2*a3^2*a4^3*a5 - 16416*A*B*a0^2*a1*a2^3*a3^2*a4^3*a5 - 103248*B^2*a1^3*a2^3*a3^2*a4^3*a5 + 11544*A^2*a0*a1*a2^4*a3^2*a4^3*a5 - 157896*B^2*a0*a1*a2^3*a3^3*a4^3*a5 + 70920*A*B*a1*a2^4*a3^3*a4^3*a5 + 288*B^2*a0^5*a1^2*a4^4*a5 + 192*A*B*a0^4*a1^2*a2*a4^4*a5 - 4500*B^2*a0^2*a1^4*a2*a4^4*a5 - 140*A^2*a0^3*a1^2*a2^2*a4^4*a5 + 4152*A*B*a0*a1^4*a2^2*a4^4*a5 - 808*A^2*a1^4*a2^3*a4^4*a5 - 1152*B^2*a0^6*a3*a4^4*a5 - 768*A*B*a0^5*a2*a3*a4^4*a5 + 16848*B^2*a0^3*a1^2*a2*a3*a4^4*a5 + 560*A^2*a0^4*a2^2*a3*a4^4*a5 - 19476*A*B*a0^2*a1^2*a2^2*a3*a4^4*a5 - 5400*B^2*a1^4*a2^2*a3*a4^4*a5 + 4440*A^2*a0*a1^2*a2^3*a3*a4^4*a5 + 38016*B^2*a0^4*a2*a3^2*a4^4*a5 + 5760*A*B*a0^3*a2^2*a3^2*a4^4*a5 + 171720*B^2*a0*a1^2*a2^2*a3^2*a4^4*a5 - 9084*A^2*a0^2*a2^3*a3^2*a4^4*a5 - 36828*A*B*a1^2*a2^3*a3^2*a4^4*a5 - 70416*B^2*a0^2*a2^2*a3^3*a4^4*a5 - 16344*A*B*a0*a2^3*a3^3*a4^4*a5 + 7548*A^2*a2^4*a3^3*a4^4*a5 + 34020*B^2*a2^3*a3^4*a4^4*a5 - 1800*B^2*a0^3*a1^3*a4^5*a5 - 768*A*B*a0^2*a1^3*a2*a4^5*a5 - 4374*B^2*a1^5*a2*a4^5*a5 + 608*A^2*a0*a1^3*a2^2*a4^5*a5 + 7776*B^2*a0^4*a1*a3*a4^5*a5 + 3456*A*B*a0^3*a1*a2*a3*a4^5*a5 + 29160*B^2*a0*a1^3*a2*a3*a4^5*a5 - 2712*A^2*a0^2*a1*a2^2*a3*a4^5*a5 - 1188*A*B*a1^3*a2^2*a3*a4^5*a5 - 77760*B^2*a0^2*a1*a2*a3^2*a4^5*a5 + 33480*A*B*a0*a1*a2^2*a3^2*a4^5*a5 - 5688*A^2*a1*a2^3*a3^2*a4^5*a5 + 6480*B^2*a1*a2^2*a3^3*a4^5*a5 - 36*A*B*a0^3*a1^2*a4^6*a5 + 2538*B^2*a0*a1^4*a4^6*a5 + 24*A^2*a0^2*a1^2*a2*a4^6*a5 - 288*A*B*a1^4*a2*a4^6*a5 + 144*A*B*a0^4*a3*a4^6*a5 - 10908*B^2*a0^2*a1^2*a3*a4^6*a5 - 96*A^2*a0^3*a2*a3*a4^6*a5 + 1512*A*B*a0*a1^2*a2*a3*a4^6*a5 - 144*A^2*a1^2*a2^2*a3*a4^6*a5 - 9936*B^2*a0^3*a3^2*a4^6*a5 - 6480*A*B*a0^2*a2*a3^2*a4^6*a5 - 32400*B^2*a1^2*a2*a3^2*a4^6*a5 + 4644*A^2*a0*a2^2*a3^2*a4^6*a5 + 46656*B^2*a0*a2*a3^3*a4^6*a5 - 4860*A*B*a2^2*a3^3*a4^6*a5 + 144*A*B*a0*a1^3*a4^7*a5 - 96*A^2*a1^3*a2*a4^7*a5 - 648*A*B*a0^2*a1*a3*a4^7*a5 - 1782*B^2*a1^3*a3*a4^7*a5 + 432*A^2*a0*a1*a2*a3*a4^7*a5 + 25272*B^2*a0*a1*a3^2*a4^7*a5 - 1944*A*B*a1*a2*a3^2*a4^7*a5 + 972*A*B*a0*a3^2*a4^8*a5 - 648*A^2*a2*a3^2*a4^8*a5 - 11664*B^2*a3^3*a4^8*a5 + 256*B^2*a0^8*a1^2*a5^2 - 256*A*B*a0^7*a1^2*a2*a5^2 + 2048*B^2*a0^5*a1^4*a2*a5^2 - 128*A^2*a0^6*a1^2*a2^2*a5^2 - 1680*A*B*a0^4*a1^4*a2^2*a5^2 - 72*B^2*a0^2*a1^6*a2^2*a5^2 - 860*A^2*a0^3*a1^4*a2^3*a5^2 + 5048*A*B*a0*a1^6*a2^3*a5^2 + 1017*A^2*a1^6*a2^4*a5^2 - 1024*B^2*a0^9*a3*a5^2 + 1024*A*B*a0^8*a2*a3*a5^2 - 9216*B^2*a0^6*a1^2*a2*a3*a5^2 + 512*A^2*a0^7*a2^2*a3*a5^2 + 9280*A*B*a0^5*a1^2*a2^2*a3*a5^2 + 14136*B^2*a0^3*a1^4*a2^2*a3*a5^2 + 4272*A^2*a0^4*a1^2*a2^3*a3*a5^2 - 35156*A*B*a0^2*a1^4*a2^3*a3*a5^2 - 13896*B^2*a1^6*a2^3*a3*a5^2 - 9868*A^2*a0*a1^4*a2^4*a3*a5^2 + 3072*B^2*a0^7*a2*a3^2*a5^2 - 9216*A*B*a0^6*a2^2*a3^2*a5^2 - 71424*B^2*a0^4*a1^2*a2^2*a3^2*a5^2 - 2816*A^2*a0^5*a2^3*a3^2*a5^2 + 64368*A*B*a0^3*a1^2*a2^3*a3^2*a5^2 + 102744*B^2*a0*a1^4*a2^3*a3^2*a5^2 + 27776*A^2*a0^2*a1^2*a2^4*a3^2*a5^2 + 1464*A*B*a1^4*a2^4*a3^2*a5^2 + 38016*B^2*a0^5*a2^2*a3^3*a5^2 - 3968*A*B*a0^4*a2^3*a3^3*a5^2 - 200736*B^2*a0^2*a1^2*a2^3*a3^3*a5^2 - 8960*A^2*a0^3*a2^4*a3^3*a5^2 - 57840*A*B*a0*a1^2*a2^4*a3^3*a5^2 - 10688*A^2*a1^2*a2^5*a3^3*a5^2 - 76032*B^2*a0^3*a2^3*a3^4*a5^2 + 105984*A*B*a0^2*a2^4*a3^4*a5^2 + 139536*B^2*a1^2*a2^4*a3^4*a5^2 + 49152*A^2*a0*a2^5*a3^4*a5^2 - 269568*B^2*a0*a2^4*a3^5*a5^2 + 13824*A*B*a2^5*a3^5*a5^2 - 2176*B^2*a0^6*a1^3*a4*a5^2 + 704*A*B*a0^5*a1^3*a2*a4*a5^2 - 7512*B^2*a0^3*a1^5*a2*a4*a5^2 + 720*A^2*a0^4*a1^3*a2^2*a4*a5^2 - 4620*A*B*a0^2*a1^5*a2^2*a4*a5^2 + 17640*B^2*a1^7*a2^2*a4*a5^2 + 784*A^2*a0*a1^5*a2^3*a4*a5^2 + 9216*B^2*a0^7*a1*a3*a4*a5^2 - 3328*A*B*a0^6*a1*a2*a3*a4*a5^2 + 28800*B^2*a0^4*a1^3*a2*a3*a4*a5^2 - 3136*A^2*a0^5*a1*a2^2*a3*a4*a5^2 + 21720*A*B*a0^3*a1^3*a2^2*a3*a4*a5^2 - 154440*B^2*a0*a1^5*a2^2*a3*a4*a5^2 - 2600*A^2*a0^2*a1^3*a2^3*a3*a4*a5^2 - 16548*A*B*a1^5*a2^3*a3*a4*a5^2 + 26496*B^2*a0^5*a1*a2*a3^2*a4*a5^2 - 22560*A*B*a0^4*a1*a2^2*a3^2*a4*a5^2 + 390744*B^2*a0^2*a1^3*a2^2*a3^2*a4*a5^2 - 9472*A^2*a0^3*a1*a2^3*a3^2*a4*a5^2 + 123624*A*B*a0*a1^3*a2^3*a3^2*a4*a5^2 + 7944*A^2*a1^3*a2^4*a3^2*a4*a5^2 - 43488*B^2*a0^3*a1*a2^2*a3^3*a4*a5^2 - 123744*A*B*a0^2*a1*a2^3*a3^3*a4*a5^2 - 295488*B^2*a1^3*a2^3*a3^3*a4*a5^2 - 47872*A^2*a0*a1*a2^4*a3^3*a4*a5^2 + 959904*B^2*a0*a1*a2^3*a3^4*a4*a5^2 + 150336*A*B*a1*a2^4*a3^4*a4*a5^2 + 704*A*B*a0^6*a1^2*a4^2*a5^2 + 5544*B^2*a0^4*a1^4*a4^2*a5^2 - 208*A^2*a0^5*a1^2*a2*a4^2*a5^2 + 9012*A*B*a0^3*a1^4*a2*a4^2*a5^2 - 8352*B^2*a0*a1^6*a2*a4^2*a5^2 - 2538*A^2*a0^2*a1^4*a2^2*a4^2*a5^2 + 17556*A*B*a1^6*a2^2*a4^2*a5^2 - 2816*A*B*a0^7*a3*a4^2*a5^2 - 24192*B^2*a0^5*a1^2*a3*a4^2*a5^2 + 832*A^2*a0^6*a2*a3*a4^2*a5^2 - 44112*A*B*a0^4*a1^2*a2*a3*a4^2*a5^2 + 83268*B^2*a0^2*a1^4*a2*a3*a4^2*a5^2 + 12648*A^2*a0^3*a1^2*a2^2*a3*a4^2*a5^2 - 85392*A*B*a0*a1^4*a2^2*a3*a4^2*a5^2 - 1572*A^2*a1^4*a2^3*a3*a4^2*a5^2 - 8064*B^2*a0^6*a3^2*a4^2*a5^2 + 33792*A*B*a0^5*a2*a3^2*a4^2*a5^2 - 272160*B^2*a0^3*a1^2*a2*a3^2*a4^2*a5^2 - 4032*A^2*a0^4*a2^2*a3^2*a4^2*a5^2 + 19440*A*B*a0^2*a1^2*a2^2*a3^2*a4^2*a5^2 + 144342*B^2*a1^4*a2^2*a3^2*a4^2*a5^2 + 12036*A^2*a0*a1^2*a2^3*a3^2*a4^2*a5^2 - 10944*B^2*a0^4*a2*a3^3*a4^2*a5^2 - 56640*A*B*a0^3*a2^2*a3^3*a4^2*a5^2 - 529416*B^2*a0*a1^2*a2^2*a3^3*a4^2*a5^2 + 29776*A^2*a0^2*a2^3*a3^3*a4^2*a5^2 - 289116*A*B*a1^2*a2^3*a3^3*a4^2*a5^2 - 165888*B^2*a0^2*a2^2*a3^4*a4^2*a5^2 + 44928*A*B*a0*a2^3*a3^4*a4^2*a5^2 + 17280*A^2*a2^4*a3^4*a4^2*a5^2 - 138672*B^2*a2^3*a3^5*a4^2*a5^2 - 4520*A*B*a0^4*a1^3*a4^3*a5^2 - 3924*B^2*a0^2*a1^5*a4^3*a5^2 + 1460*A^2*a0^3*a1^3*a2*a4^3*a5^2 - 19884*A*B*a0*a1^5*a2*a4^3*a5^2 + 4496*A^2*a1^5*a2^2*a4^3*a5^2 + 19488*A*B*a0^5*a1*a3*a4^3*a5^2 + 17928*B^2*a0^3*a1^3*a3*a4^3*a5^2 - 6256*A^2*a0^4*a1*a2*a3*a4^3*a5^2 + 97920*A*B*a0^2*a1^3*a2*a3*a4^3*a5^2 + 12420*B^2*a1^5*a2*a3*a4^3*a5^2 - 23604*A^2*a0*a1^3*a2^2*a3*a4^3*a5^2 + 30240*B^2*a0^4*a1*a3^2*a4^3*a5^2 - 4032*A*B*a0^3*a1*a2*a3^2*a4^3*a5^2 - 151956*B^2*a0*a1^3*a2*a3^2*a4^3*a5^2 + 2784*A^2*a0^2*a1*a2^2*a3^2*a4^3*a5^2 + 126576*A*B*a1^3*a2^2*a3^2*a4^3*a5^2 + 525744*B^2*a0^2*a1*a2*a3^3*a4^3*a5^2 + 132840*A*B*a0*a1*a2^2*a3^3*a4^3*a5^2 - 54096*A^2*a1*a2^3*a3^3*a4^3*a5^2 + 31752*B^2*a1*a2^2*a3^4*a4^3*a5^2 - 2*A^2*a0^4*a1^2*a4^4*a5^2 + 6798*A*B*a0^2*a1^4*a4^4*a5^2 + 4077*B^2*a1^6*a4^4*a5^2 - 2528*A^2*a0*a1^4*a2*a4^4*a5^2 + 8*A^2*a0^5*a3*a4^4*a5^2 - 29340*A*B*a0^3*a1^2*a3*a4^4*a5^2 - 33264*B^2*a0*a1^4*a3*a4^4*a5^2 + 10980*A^2*a0^2*a1^2*a2*a3*a4^4*a5^2 + 6696*A*B*a1^4*a2*a3*a4^4*a5^2 - 24048*A*B*a0^4*a3^2*a4^4*a5^2 + 45846*B^2*a0^2*a1^2*a3^2*a4^4*a5^2 + 7176*A^2*a0^3*a2*a3^2*a4^4*a5^2 - 170964*A*B*a0*a1^2*a2*a3^2*a4^4*a5^2 + 32796*A^2*a1^2*a2^2*a3^2*a4^4*a5^2 - 15768*B^2*a0^3*a3^3*a4^4*a5^2 + 20304*A*B*a0^2*a2*a3^3*a4^4*a5^2 + 49896*B^2*a1^2*a2*a3^3*a4^4*a5^2 - 4968*A^2*a0*a2^2*a3^3*a4^4*a5^2 - 157464*B^2*a0*a2*a3^4*a4^4*a5^2 - 12960*A*B*a2^2*a3^4*a4^4*a5^2 - 16*A^2*a0^2*a1^3*a4^5*a5^2 - 432*A*B*a1^5*a4^5*a5^2 + 60*A^2*a0^3*a1*a3*a4^5*a5^2 - 2160*A*B*a0*a1^3*a3*a4^5*a5^2 + 1440*A^2*a1^3*a2*a3*a4^5*a5^2 + 63936*A*B*a0^2*a1*a3^2*a4^5*a5^2 + 39528*B^2*a1^3*a3^2*a4^5*a5^2 - 23544*A^2*a0*a1*a2*a3^2*a4^5*a5^2 - 148716*B^2*a0*a1*a3^3*a4^5*a5^2 + 47952*A*B*a1*a2*a3^3*a4^5*a5^2 + 96*A^2*a1^4*a4^6*a5^2 - 432*A^2*a0*a1^2*a3*a4^6*a5^2 + 54*A^2*a0^2*a3^2*a4^6*a5^2 - 3078*A*B*a1^2*a3^2*a4^6*a5^2 - 26244*A*B*a0*a3^3*a4^6*a5^2 + 8424*A^2*a2*a3^3*a4^6*a5^2 + 74358*B^2*a3^4*a4^6*a5^2 + 648*A^2*a1*a3^2*a4^7*a5^2 + 256*A^2*a0^7*a1^2*a5^3 + 64*A*B*a0^5*a1^4*a5^3 + 3240*B^2*a0^3*a1^6*a5^3 + 1904*A^2*a0^4*a1^4*a2*a5^3 - 6020*A*B*a0^2*a1^6*a2*a5^3 - 4500*B^2*a1^8*a2*a5^3 - 3020*A^2*a0*a1^6*a2^2*a5^3 - 1024*A^2*a0^8*a3*a5^3 - 1280*A*B*a0^6*a1^2*a3*a5^3 - 22944*B^2*a0^4*a1^4*a3*a5^3 - 9664*A^2*a0^5*a1^2*a2*a3*a5^3 + 39040*A*B*a0^3*a1^4*a2*a3*a5^3 + 67680*B^2*a0*a1^6*a2*a3*a5^3 + 27200*A^2*a0^2*a1^4*a2^2*a3*a5^3 + 12960*A*B*a1^6*a2^2*a3*a5^3 + 4096*A*B*a0^7*a3^2*a5^3 + 43392*B^2*a0^5*a1^2*a3^2*a5^3 + 7168*A^2*a0^6*a2*a3^2*a5^3 - 60224*A*B*a0^4*a1^2*a2*a3^2*a5^3 - 304992*B^2*a0^2*a1^4*a2*a3^2*a5^3 - 69824*A^2*a0^3*a1^2*a2^2*a3^2*a5^3 - 90672*A*B*a0*a1^4*a2^2*a3^2*a5^3 + 3704*A^2*a1^4*a2^3*a3^2*a5^3 - 14848*B^2*a0^6*a3^3*a5^3 + 5632*A*B*a0^5*a2*a3^3*a5^3 + 417600*B^2*a0^3*a1^2*a2*a3^3*a5^3 + 17664*A^2*a0^4*a2^2*a3^3*a5^3 + 229824*A*B*a0^2*a1^2*a2^2*a3^3*a5^3 + 49464*B^2*a1^4*a2^2*a3^3*a5^3 + 14032*A^2*a0*a1^2*a2^3*a3^3*a5^3 - 52992*B^2*a0^4*a2*a3^4*a5^3 - 151296*A*B*a0^3*a2^2*a3^4*a5^3 - 461376*B^2*a0*a1^2*a2^2*a3^4*a5^3 - 116992*A^2*a0^2*a2^3*a3^4*a5^3 - 115632*A*B*a1^2*a2^3*a3^4*a5^3 + 542592*B^2*a0^2*a2^2*a3^5*a5^3 + 92160*A*B*a0*a2^3*a3^5*a5^3 - 56832*A^2*a2^4*a3^5*a5^3 + 172800*B^2*a2^3*a3^6*a5^3 - 1472*A^2*a0^5*a1^3*a4*a5^3 - 968*A*B*a0^3*a1^5*a4*a5^3 - 7200*B^2*a0*a1^7*a4*a5^3 - 2204*A^2*a0^2*a1^5*a2*a4*a5^3 - 18300*A*B*a1^7*a2*a4*a5^3 + 6400*A^2*a0^6*a1*a3*a4*a5^3 + 11776*A*B*a0^4*a1^3*a3*a4*a5^3 + 50328*B^2*a0^2*a1^5*a3*a4*a5^3 + 9296*A^2*a0^3*a1^3*a2*a3*a4*a5^3 + 143304*A*B*a0*a1^5*a2*a3*a4*a5^3 - 2188*A^2*a1^5*a2^2*a3*a4*a5^3 - 33152*A*B*a0^5*a1*a3^2*a4*a5^3 - 67392*B^2*a0^3*a1^3*a3^2*a4*a5^3 + 13568*A^2*a0^4*a1*a2*a3^2*a4*a5^3 - 372000*A*B*a0^2*a1^3*a2*a3^2*a4*a5^3 - 51084*B^2*a1^5*a2*a3^2*a4*a5^3 - 13696*A^2*a0*a1^3*a2^2*a3^2*a4*a5^3 - 38016*B^2*a0^4*a1*a3^3*a4*a5^3 + 283392*A*B*a0^3*a1*a2*a3^3*a4*a5^3 + 554256*B^2*a0*a1^3*a2*a3^3*a4*a5^3 + 122688*A^2*a0^2*a1*a2^2*a3^3*a4*a5^3 + 294480*A*B*a1^3*a2^2*a3^3*a4*a5^3 - 981504*B^2*a0^2*a1*a2*a3^4*a4*a5^3 - 719712*A*B*a0*a1*a2^2*a3^4*a4*a5^3 + 65472*A^2*a1*a2^3*a3^4*a4*a5^3 - 49248*B^2*a1*a2^2*a3^5*a4*a5^3 + 1356*A^2*a0^3*a1^4*a4^2*a5^3 + 14040*A*B*a0*a1^6*a4^2*a5^3 - 6360*A^2*a1^6*a2*a4^2*a5^3 - 5872*A^2*a0^4*a1^2*a3*a4^2*a5^3 - 109392*A*B*a0^2*a1^4*a3*a4^2*a5^3 - 11880*B^2*a1^6*a3*a4^2*a5^3 + 41928*A^2*a0*a1^4*a2*a3*a4^2*a5^3 - 8704*A^2*a0^5*a3^2*a4^2*a5^3 + 223968*A*B*a0^3*a1^2*a3^2*a4^2*a5^3 + 27756*B^2*a0*a1^4*a3^2*a4^2*a5^3 - 85176*A^2*a0^2*a1^2*a2*a3^2*a4^2*a5^3 - 157356*A*B*a1^4*a2*a3^2*a4^2*a5^3 - 19584*A*B*a0^4*a3^3*a4^2*a5^3 - 10800*B^2*a0^2*a1^2*a3^3*a4^2*a5^3 + 288*A^2*a0^3*a2*a3^3*a4^2*a5^3 + 404784*A*B*a0*a1^2*a2*a3^3*a4^2*a5^3 + 47016*A^2*a1^2*a2^2*a3^3*a4^2*a5^3 + 62208*B^2*a0^3*a3^4*a4^2*a5^3 + 133056*A*B*a0^2*a2*a3^4*a4^2*a5^3 - 22680*B^2*a1^2*a2*a3^4*a4^2*a5^3 - 104544*A^2*a0*a2^2*a3^4*a4^2*a5^3 + 412128*B^2*a0*a2*a3^5*a4^2*a5^3 + 165888*A*B*a2^2*a3^5*a4^2*a5^3 + 1536*A^2*a0*a1^5*a4^3*a5^3 - 8028*A^2*a0^2*a1^3*a3*a4^3*a5^3 + 792*A*B*a1^5*a3*a4^3*a5^3 + 17040*A^2*a0^3*a1*a3^2*a4^3*a5^3 + 121104*A*B*a0*a1^3*a3^2*a4^3*a5^3 - 51432*A^2*a1^3*a2*a3^2*a4^3*a5^3 - 425952*A*B*a0^2*a1*a3^3*a4^3*a5^3 - 109620*B^2*a1^3*a3^3*a4^3*a5^3 + 104544*A^2*a0*a1*a2*a3^3*a4^3*a5^3 + 276048*B^2*a0*a1*a3^4*a4^3*a5^3 - 243648*A*B*a1*a2*a3^4*a4^3*a5^3 - 1200*A^2*a1^4*a3*a4^4*a5^3 + 15768*A^2*a0*a1^2*a3^2*a4^4*a5^3 - 9288*A^2*a0^2*a3^3*a4^4*a5^3 + 6480*A*B*a1^2*a3^3*a4^4*a5^3 + 198288*A*B*a0*a3^4*a4^4*a5^3 - 38880*A^2*a2*a3^4*a4^4*a5^3 - 239112*B^2*a3^5*a4^4*a5^3 - 7776*A^2*a1*a3^3*a4^5*a5^3 + 5550*A^2*a0^2*a1^6*a5^4 + 3750*A*B*a1^8*a5^4 - 41528*A^2*a0^3*a1^4*a3*a5^4 - 51300*A*B*a0*a1^6*a3*a5^4 + 2200*A^2*a1^6*a2*a3*a5^4 + 84992*A^2*a0^4*a1^2*a3^2*a5^4 + 225936*A*B*a0^2*a1^4*a3^2*a5^4 + 14175*B^2*a1^6*a3^2*a5^4 - 20048*A^2*a0*a1^4*a2*a3^2*a5^4 - 31744*A^2*a0^5*a3^3*a5^4 - 347520*A*B*a0^3*a1^2*a3^3*a5^4 - 96228*B^2*a0*a1^4*a3^3*a5^4 - 7008*A^2*a0^2*a1^2*a2*a3^3*a5^4 - 31932*A*B*a1^4*a2*a3^3*a5^4 + 101376*A*B*a0^4*a3^4*a5^4 + 166320*B^2*a0^2*a1^2*a3^4*a5^4 + 118272*A^2*a0^3*a2*a3^4*a5^4 + 249696*A*B*a0*a1^2*a2*a3^4*a5^4 - 40032*A^2*a1^2*a2^2*a3^4*a5^4 - 88128*B^2*a0^3*a3^5*a5^4 - 209088*A*B*a0^2*a2*a3^5*a5^4 - 75168*B^2*a1^2*a2*a3^5*a5^4 + 200448*A^2*a0*a2^2*a3^5*a5^4 - 373248*B^2*a0*a2*a3^6*a5^4 - 269568*A*B*a2^2*a3^6*a5^4 + 3000*A^2*a1^7*a4*a5^4 - 20120*A^2*a0*a1^5*a3*a4*a5^4 + 83248*A^2*a0^2*a1^3*a3^2*a4*a5^4 + 29430*A*B*a1^5*a3^2*a4*a5^4 - 162432*A^2*a0^3*a1*a3^3*a4*a5^4 - 291888*A*B*a0*a1^3*a3^3*a4*a5^4 - 11616*A^2*a1^3*a2*a3^3*a4*a5^4 + 605664*A*B*a0^2*a1*a3^4*a4*a5^4 + 125712*B^2*a1^3*a3^4*a4*a5^4 - 69120*A^2*a0*a1*a2*a3^4*a4*a5^4 - 217728*B^2*a0*a1*a3^5*a4*a5^4 + 331776*A*B*a1*a2*a3^5*a4*a5^4 + 25713*A^2*a1^4*a3^2*a4^2*a5^4 - 63720*A^2*a0*a1^2*a3^3*a4^2*a5^4 + 83376*A^2*a0^2*a3^4*a4^2*a5^4 + 49248*A*B*a1^2*a3^4*a4^2*a5^4 - 575424*A*B*a0*a3^5*a4^2*a5^4 + 72576*A^2*a2*a3^5*a4^2*a5^4 + 396576*B^2*a3^6*a4^2*a5^4 + 31104*A^2*a1*a3^4*a4^3*a5^4 + 60*A^2*a1^4*a3^3*a5^5 + 30240*A^2*a0*a1^2*a3^4*a5^5 - 188352*A^2*a0^2*a3^5*a5^5 - 103680*A*B*a1^2*a3^5*a5^5 + 559872*A*B*a0*a3^6*a5^5 - 41472*A^2*a2*a3^6*a5^5 - 279936*B^2*a3^7*a5^5 - 41472*A^2*a1*a3^5*a4*a5^5 - 16*B*a0^3*a1^2*a2^7 - 108*B*a1^4*a2^8 + 64*B*a0^4*a2^7*a3 + 576*B*a0*a1^2*a2^8*a3 - 512*B*a0^2*a2^8*a3^2 + 1024*B*a2^9*a3^3 + 72*B*a0*a1^3*a2^7*a4 - 320*B*a0^2*a1*a2^7*a3*a4 - 768*B*a1*a2^8*a3^2*a4 + 4*B*a0^2*a1^2*a2^6*a4^2 - 16*B*a0^3*a2^6*a3*a4^2 - 24*B*a1^2*a2^7*a3*a4^2 + 576*B*a0*a2^7*a3^2*a4^2 - 16*B*a1^3*a2^6*a4^3 + 72*B*a0*a1*a2^6*a3*a4^3 - 108*B*a2^6*a3^2*a4^4 + 176*B*a0^4*a1^2*a2^5*a5 + 16*A*a0^3*a1^2*a2^6*a5 + 1224*B*a0*a1^4*a2^6*a5 + 108*A*a1^4*a2^7*a5 - 704*B*a0^5*a2^5*a3*a5 - 64*A*a0^4*a2^6*a3*a5 - 6544*B*a0^2*a1^2*a2^6*a3*a5 - 576*A*a0*a1^2*a2^7*a3*a5 + 5888*B*a0^3*a2^6*a3^2*a5 + 512*A*a0^2*a2^7*a3^2*a5 + 192*B*a1^2*a2^7*a3^2*a5 - 12288*B*a0*a2^7*a3^3*a5 - 1024*A*a2^8*a3^3*a5 - 776*B*a0^2*a1^3*a2^5*a4*a5 - 72*A*a0*a1^3*a2^6*a4*a5 + 3456*B*a0^3*a1*a2^5*a3*a4*a5 + 320*A*a0^2*a1*a2^6*a3*a4*a5 + 120*B*a1^3*a2^6*a3*a4*a5 + 8064*B*a0*a1*a2^6*a3^2*a4*a5 + 768*A*a1*a2^7*a3^2*a4*a5 - 192*B*a0^3*a1^2*a2^4*a4^2*a5 - 4*A*a0^2*a1^2*a2^5*a4^2*a5 - 1068*B*a1^4*a2^5*a4^2*a5 + 768*B*a0^4*a2^4*a3*a4^2*a5 + 16*A*a0^3*a2^5*a3*a4^2*a5 + 5904*B*a0*a1^2*a2^5*a3*a4^2*a5 + 24*A*a1^2*a2^6*a3*a4^2*a5 - 11088*B*a0^2*a2^5*a3^2*a4^2*a5 - 576*A*a0*a2^6*a3^2*a4^2*a5 + 10944*B*a2^6*a3^3*a4^2*a5 + 840*B*a0*a1^3*a2^4*a4^3*a5 + 16*A*a1^3*a2^5*a4^3*a5 - 3744*B*a0^2*a1*a2^4*a3*a4^3*a5 - 72*A*a0*a1*a2^5*a3*a4^3*a5 - 7560*B*a1*a2^5*a3^2*a4^3*a5 + 36*B*a0^2*a1^2*a2^3*a4^4*a5 - 144*B*a0^3*a2^3*a3*a4^4*a5 - 216*B*a1^2*a2^4*a3*a4^4*a5 + 6480*B*a0*a2^4*a3^2*a4^4*a5 + 108*A*a2^5*a3^2*a4^4*a5 - 144*B*a1^3*a2^3*a4^5*a5 + 648*B*a0*a1*a2^3*a3*a4^5*a5 - 972*B*a2^3*a3^2*a4^6*a5 - 640*B*a0^5*a1^2*a2^3*a5^2 - 160*A*a0^4*a1^2*a2^4*a5^2 - 4700*B*a0^2*a1^4*a2^4*a5^2 - 1116*A*a0*a1^4*a2^5*a5^2 + 2560*B*a0^6*a2^3*a3*a5^2 + 640*A*a0^5*a2^4*a3*a5^2 + 25008*B*a0^3*a1^2*a2^4*a3*a5^2 + 5968*A*a0^2*a1^2*a2^5*a3*a5^2 - 1500*B*a1^4*a2^5*a3*a5^2 - 22272*B*a0^4*a2^4*a3^2*a5^2 - 5376*A*a0^3*a2^5*a3^2*a5^2 + 5904*B*a0*a1^2*a2^5*a3^2*a5^2 - 192*A*a1^2*a2^6*a3^2*a5^2 + 44928*B*a0^2*a2^5*a3^3*a5^2 + 11264*A*a0*a2^6*a3^3*a5^2 + 13824*B*a2^6*a3^4*a5^2 + 3352*B*a0^3*a1^3*a2^3*a4*a5^2 + 704*A*a0^2*a1^3*a2^4*a4*a5^2 + 4236*B*a1^5*a2^4*a4*a5^2 - 14688*B*a0^4*a1*a2^3*a3*a4*a5^2 - 3136*A*a0^3*a1*a2^4*a3*a4*a5^2 - 22752*B*a0*a1^3*a2^4*a3*a4*a5^2 - 120*A*a1^3*a2^5*a3*a4*a5^2 - 11520*B*a0^2*a1*a2^4*a3^2*a4*a5^2 - 7296*A*a0*a1*a2^5*a3^2*a4*a5^2 - 51264*B*a1*a2^5*a3^3*a4*a5^2 + 648*B*a0^4*a1^2*a2^2*a4^2*a5^2 + 164*A*a0^3*a1^2*a2^3*a4^2*a5^2 + 1440*B*a0*a1^4*a2^3*a4^2*a5^2 + 906*A*a1^4*a2^4*a4^2*a5^2 - 2592*B*a0^5*a2^2*a3*a4^2*a5^2 - 656*A*a0^4*a2^3*a3*a4^2*a5^2 - 10692*B*a0^2*a1^2*a2^3*a3*a4^2*a5^2 - 5016*A*a0*a1^2*a2^4*a3*a4^2*a5^2 + 40752*B*a0^3*a2^3*a3^2*a4^2*a5^2 + 9744*A*a0^2*a2^4*a3^2*a4^2*a5^2 + 31428*B*a1^2*a2^4*a3^2*a4^2*a5^2 - 45936*B*a0*a2^4*a3^3*a4^2*a5^2 - 9408*A*a2^5*a3^3*a4^2*a5^2 - 2844*B*a0^2*a1^3*a2^2*a4^3*a5^2 - 716*A*a0*a1^3*a2^3*a4^3*a5^2 + 12672*B*a0^3*a1*a2^2*a3*a4^3*a5^2 + 3192*A*a0^2*a1*a2^3*a3*a4^3*a5^2 + 1728*B*a1^3*a2^3*a3*a4^3*a5^2 + 3024*B*a0*a1*a2^3*a3^2*a4^3*a5^2 + 6408*A*a1*a2^4*a3^2*a4^3*a5^2 - 360*B*a0^3*a1^2*a2*a4^4*a5^2 - 30*A*a0^2*a1^2*a2^2*a4^4*a5^2 - 1602*B*a1^4*a2^2*a4^4*a5^2 + 1440*B*a0^4*a2*a3*a4^4*a5^2 + 120*A*a0^3*a2^2*a3*a4^4*a5^2 + 9288*B*a0*a1^2*a2^2*a3*a4^4*a5^2 + 180*A*a1^2*a2^3*a3*a4^4*a5^2 - 29592*B*a0^2*a2^2*a3^2*a4^4*a5^2 - 5508*A*a0*a2^3*a3^2*a4^4*a5^2 + 26460*B*a2^3*a3^3*a4^4*a5^2 + 1548*B*a0*a1^3*a2*a4^5*a5^2 + 120*A*a1^3*a2^2*a4^5*a5^2 - 6912*B*a0^2*a1*a2*a3*a4^5*a5^2 - 540*A*a0*a1*a2^2*a3*a4^5*a5^2 - 11340*B*a1*a2^2*a3^2*a4^5*a5^2 + 54*B*a0^2*a1^2*a4^6*a5^2 - 216*B*a0^3*a3*a4^6*a5^2 - 324*B*a1^2*a2*a3*a4^6*a5^2 + 11664*B*a0*a2*a3^2*a4^6*a5^2 + 810*A*a2^2*a3^2*a4^6*a5^2 - 216*B*a1^3*a4^7*a5^2 + 972*B*a0*a1*a3*a4^7*a5^2 - 1458*B*a3^2*a4^8*a5^2 + 768*B*a0^6*a1^2*a2*a5^3 + 512*A*a0^5*a1^2*a2^2*a5^3 + 5896*B*a0^3*a1^4*a2^2*a5^3 + 3812*A*a0^2*a1^4*a2^3*a5^3 - 3800*B*a1^6*a2^3*a5^3 - 3072*B*a0^7*a2*a3*a5^3 - 2048*A*a0^6*a2^2*a3*a5^3 - 31392*B*a0^4*a1^2*a2^2*a3*a5^3 - 20176*A*a0^3*a1^2*a2^3*a3*a5^3 + 29664*B*a0*a1^4*a2^3*a3*a5^3 + 2112*A*a1^4*a2^4*a3*a5^3 + 28160*B*a0^5*a2^2*a3^2*a5^3 + 17664*A*a0^4*a2^3*a3^2*a5^3 - 60864*B*a0^2*a1^2*a2^3*a3^2*a5^3 - 9296*A*a0*a1^2*a2^4*a3^2*a5^3 - 42368*B*a0^3*a2^3*a3^3*a5^3 - 33152*A*a0^2*a2^4*a3^3*a5^3 + 38736*B*a1^2*a2^4*a3^3*a5^3 - 94464*B*a0*a2^4*a3^4*a5^3 - 19968*A*a2^5*a3^4*a5^3 - 4832*B*a0^4*a1^3*a2*a4*a5^3 - 2864*A*a0^3*a1^3*a2^2*a4*a5^3 - 11160*B*a0*a1^5*a2^2*a4*a5^3 - 4740*A*a1^5*a2^3*a4*a5^3 + 20864*B*a0^5*a1*a2*a3*a4*a5^3 + 12480*A*a0^4*a1*a2^2*a3*a4*a5^3 + 59976*B*a0^2*a1^3*a2^2*a3*a4*a5^3 + 24952*A*a0*a1^3*a2^3*a3*a4*a5^3 - 15072*B*a0^3*a1*a2^2*a3^2*a4*a5^3 + 5056*A*a0^2*a1*a2^3*a3^2*a4*a5^3 - 32688*B*a1^3*a2^3*a3^2*a4*a5^3 + 217728*B*a0*a1*a2^3*a3^3*a4*a5^3 + 60480*A*a1*a2^4*a3^3*a4*a5^3 - 544*B*a0^5*a1^2*a4^2*a5^3 - 208*A*a0^4*a1^2*a2*a4^2*a5^3 + 2724*B*a0^2*a1^4*a2*a4^2*a5^3 + 1768*A*a0*a1^4*a2^2*a4^2*a5^3 + 2176*B*a0^6*a3*a4^2*a5^3 + 832*A*a0^5*a2*a3*a4^2*a5^3 - 7392*B*a0^3*a1^2*a2*a3*a4^2*a5^3 - 6312*A*a0^2*a1^2*a2^2*a3*a4^2*a5^3 - 612*B*a1^4*a2^2*a3*a4^2*a5^3 - 46656*B*a0^4*a2*a3^2*a4^2*a5^3 - 22560*A*a0^3*a2^2*a3^2*a4^2*a5^3 - 81864*B*a0*a1^2*a2^2*a3^2*a4^2*a5^3 - 34548*A*a1^2*a2^3*a3^2*a4^2*a5^3 + 64800*B*a0^2*a2^2*a3^3*a4^2*a5^3 + 13680*A*a0*a2^3*a3^3*a4^2*a5^3 - 36720*B*a2^3*a3^4*a4^2*a5^3 + 3400*B*a0^3*a1^3*a4^3*a5^3 + 928*A*a0^2*a1^3*a2*a4^3*a5^3 + 7740*B*a1^5*a2*a4^3*a5^3 - 14688*B*a0^4*a1*a3*a4^3*a5^3 - 4128*A*a0^3*a1*a2*a3*a4^3*a5^3 - 46656*B*a0*a1^3*a2*a3*a4^3*a5^3 - 1548*A*a1^3*a2^2*a3*a4^3*a5^3 + 79488*B*a0^2*a1*a2*a3^2*a4^3*a5^3 + 18576*A*a0*a1*a2^2*a3^2*a4^3*a5^3 - 78408*B*a1*a2^2*a3^3*a4^3*a5^3 + 36*A*a0^3*a1^2*a4^4*a5^3 - 4788*B*a0*a1^4*a4^4*a5^3 - 96*A*a1^4*a2*a4^4*a5^3 - 144*A*a0^4*a3*a4^4*a5^3 + 20628*B*a0^2*a1^2*a3*a4^4*a5^3 + 216*A*a0*a1^2*a2*a3*a4^4*a5^3 + 18576*B*a0^3*a3^2*a4^4*a5^3 + 6912*A*a0^2*a2*a3^2*a4^4*a5^3 + 57348*B*a1^2*a2*a3^2*a4^4*a5^3 - 46656*B*a0*a2*a3^3*a4^4*a5^3 - 9072*A*a2^2*a3^3*a4^4*a5^3 - 144*A*a0*a1^3*a4^5*a5^3 + 648*A*a0^2*a1*a3*a4^5*a5^3 + 3132*B*a1^3*a3*a4^5*a5^3 - 46656*B*a0*a1*a3^2*a4^5*a5^3 - 648*A*a1*a2*a3^2*a4^5*a5^3 - 972*A*a0*a3^2*a4^6*a5^3 + 20412*B*a3^3*a4^6*a5^3 - 512*A*a0^6*a1^2*a5^4 + 160*B*a0^4*a1^4*a5^4 - 3920*A*a0^3*a1^4*a2*a5^4 + 10500*B*a0*a1^6*a2*a5^4 + 4250*A*a1^6*a2^2*a5^4 + 2048*A*a0^7*a3*a5^4 - 128*B*a0^5*a1^2*a3*a5^4 + 20544*A*a0^4*a1^2*a2*a3*a5^4 - 69360*B*a0^2*a1^4*a2*a3*a5^4 - 34720*A*a0*a1^4*a2^2*a3*a5^4 - 2048*B*a0^6*a3^2*a5^4 - 17408*A*a0^5*a2*a3^2*a5^4 + 113280*B*a0^3*a1^2*a2*a3^2*a5^4 + 78240*A*a0^2*a1^2*a2^2*a3^2*a5^4 + 4140*B*a1^4*a2^2*a3^2*a5^4 - 23040*B*a0^4*a2*a3^3*a5^4 + 7680*A*a0^3*a2^2*a3^3*a5^4 - 125712*B*a0*a1^2*a2^2*a3^3*a5^4 - 44112*A*a1^2*a2^3*a3^3*a5^4 + 152064*B*a0^2*a2^2*a3^4*a5^4 + 126720*A*a0*a2^3*a3^4*a5^4 + 19008*B*a2^3*a3^5*a5^4 + 3264*A*a0^4*a1^3*a4*a5^4 - 600*B*a0^2*a1^5*a4*a5^4 + 7600*A*a0*a1^5*a2*a4*a5^4 - 14080*A*a0^5*a1*a3*a4*a5^4 - 1344*B*a0^3*a1^3*a3*a4*a5^4 - 39264*A*a0^2*a1^3*a2*a3*a4*a5^4 - 12150*B*a1^5*a2*a3*a4*a5^4 + 17280*B*a0^4*a1*a3^2*a4*a5^4 + 3840*A*a0^3*a1*a2*a3^2*a4*a5^4 + 153216*B*a0*a1^3*a2*a3^2*a4*a5^4 + 36096*A*a1^3*a2^2*a3^2*a4*a5^4 - 261792*B*a0^2*a1*a2*a3^3*a4*a5^4 - 205632*A*a0*a1*a2^2*a3^3*a4*a5^4 + 145152*B*a1*a2^2*a3^4*a4*a5^4 - 4840*A*a0^2*a1^4*a4^2*a5^4 - 6750*B*a1^6*a4^2*a5^4 + 20928*A*a0^3*a1^2*a3*a4^2*a5^4 + 56070*B*a0*a1^4*a3*a4^2*a5^4 - 510*A*a1^4*a2*a3*a4^2*a5^4 + 17280*A*a0^4*a3^2*a4^2*a5^4 - 129600*B*a0^2*a1^2*a3^2*a4^2*a5^4 + 57996*A*a0*a1^2*a2*a3^2*a4^2*a5^4 + 9504*B*a0^3*a3^3*a4^2*a5^4 + 432*A*a0^2*a2*a3^3*a4^2*a5^4 - 20412*B*a1^2*a2*a3^3*a4^2*a5^4 - 11664*B*a0*a2*a3^4*a4^2*a5^4 + 45360*A*a2^2*a3^4*a4^2*a5^4 + 300*A*a1^5*a4^3*a5^4 + 1386*A*a0*a1^3*a3*a4^3*a5^4 - 44712*A*a0^2*a1*a3^2*a4^3*a5^4 - 62802*B*a1^3*a3^2*a4^3*a5^4 + 239112*B*a0*a1*a3^3*a4^3*a5^4 - 6480*A*a1*a2*a3^3*a4^3*a5^4 + 2106*A*a1^2*a3^2*a4^4*a5^4 + 17496*A*a0*a3^3*a4^4*a5^4 - 104976*B*a3^4*a4^4*a5^4 - 7500*A*a0*a1^6*a5^5 + 54800*A*a0^2*a1^4*a3*a5^5 + 11250*B*a1^6*a3*a5^5 - 107904*A*a0^3*a1^2*a3^2*a5^5 - 79200*B*a0*a1^4*a3^2*a5^5 + 2100*A*a1^4*a2*a3^2*a5^5 + 36864*A*a0^4*a3^3*a5^5 + 146016*B*a0^2*a1^2*a3^3*a5^5 + 67824*A*a0*a1^2*a2*a3^3*a5^5 - 41472*B*a0^3*a3^4*a5^5 - 158976*A*a0^2*a2*a3^4*a5^5 - 115344*B*a1^2*a2*a3^4*a5^5 + 46656*B*a0*a2*a3^5*a5^5 - 88128*A*a2^2*a3^5*a5^5 - 750*A*a1^5*a3*a4*a5^5 - 61560*A*a0*a1^3*a3^2*a4*a5^5 + 191808*A*a0^2*a1*a3^3*a4*a5^5 + 98280*B*a1^3*a3^3*a4*a5^5 - 272160*B*a0*a1*a3^4*a4*a5^5 + 36288*A*a1*a2*a3^4*a4*a5^5 - 5184*A*a1^2*a3^3*a4^2*a5^5 - 93312*A*a0*a3^4*a4^2*a5^5 + 233280*B*a3^5*a4^2*a5^5 - 12960*A*a1^2*a3^4*a5^6 + 155520*A*a0*a3^5*a5^6 - 186624*B*a3^6*a5^6 + 16*a0^3*a1^2*a2^4*a5^3 + 108*a1^4*a2^5*a5^3 - 64*a0^4*a2^4*a3*a5^3 - 576*a0*a1^2*a2^5*a3*a5^3 + 512*a0^2*a2^5*a3^2*a5^3 - 1024*a2^6*a3^3*a5^3 - 72*a0*a1^3*a2^4*a4*a5^3 + 320*a0^2*a1*a2^4*a3*a4*a5^3 + 768*a1*a2^5*a3^2*a4*a5^3 - 4*a0^2*a1^2*a2^3*a4^2*a5^3 + 16*a0^3*a2^3*a3*a4^2*a5^3 + 24*a1^2*a2^4*a3*a4^2*a5^3 - 576*a0*a2^4*a3^2*a4^2*a5^3 + 16*a1^3*a2^3*a4^3*a5^3 - 72*a0*a1*a2^3*a3*a4^3*a5^3 + 108*a2^3*a3^2*a4^4*a5^3 - 128*a0^4*a1^2*a2^2*a5^4 - 900*a0*a1^4*a2^3*a5^4 + 512*a0^5*a2^2*a3*a5^4 + 4816*a0^2*a1^2*a2^3*a3*a5^4 - 4352*a0^3*a2^3*a3^2*a5^4 - 192*a1^2*a2^4*a3^2*a5^4 + 9216*a0*a2^4*a3^3*a5^4 + 560*a0^2*a1^3*a2^2*a4*a5^4 - 2496*a0^3*a1*a2^2*a3*a4*a5^4 - 120*a1^3*a2^3*a3*a4*a5^4 - 5760*a0*a1*a2^3*a3^2*a4*a5^4 + 144*a0^3*a1^2*a2*a4^2*a5^4 + 825*a1^4*a2^2*a4^2*a5^4 - 576*a0^4*a2*a3*a4^2*a5^4 - 4536*a0*a1^2*a2^2*a3*a4^2*a5^4 + 8208*a0^2*a2^2*a3^2*a4^2*a5^4 - 8640*a2^3*a3^3*a4^2*a5^4 - 630*a0*a1^3*a2*a4^3*a5^4 + 2808*a0^2*a1*a2*a3*a4^3*a5^4 + 5832*a1*a2^2*a3^2*a4^3*a5^4 - 27*a0^2*a1^2*a4^4*a5^4 + 108*a0^3*a3*a4^4*a5^4 + 162*a1^2*a2*a3*a4^4*a5^4 - 4860*a0*a2*a3^2*a4^4*a5^4 + 108*a1^3*a4^5*a5^4 - 486*a0*a1*a3*a4^5*a5^4 + 729*a3^2*a4^6*a5^4 + 256*a0^5*a1^2*a5^5 + 2000*a0^2*a1^4*a2*a5^5 - 1024*a0^6*a3*a5^5 - 10560*a0^3*a1^2*a2*a3*a5^5 + 1500*a1^4*a2^2*a3*a5^5 + 9216*a0^4*a2*a3^2*a5^5 - 6480*a0*a1^2*a2^2*a3^2*a5^5 - 17280*a0^2*a2^2*a3^3*a5^5 - 13824*a2^3*a3^4*a5^5 - 1600*a0^3*a1^3*a4*a5^5 - 3750*a1^5*a2*a4*a5^5 + 6912*a0^4*a1*a3*a4*a5^5 + 19800*a0*a1^3*a2*a3*a4*a5^5 - 3456*a0^2*a1*a2*a3^2*a4*a5^5 + 46656*a1*a2^2*a3^3*a4*a5^5 + 2250*a0*a1^4*a4^2*a5^5 - 9720*a0^2*a1^2*a3*a4^2*a5^5 - 8640*a0^3*a3^2*a4^2*a5^5 - 27540*a1^2*a2*a3^2*a4^2*a5^5 + 3888*a0*a2*a3^3*a4^2*a5^5 - 1350*a1^3*a3*a4^3*a5^5 + 21384*a0*a1*a3^2*a4^3*a5^5 - 8748*a3^3*a4^4*a5^5 + 3125*a1^6*a5^6 - 22500*a0*a1^4*a3*a5^6 + 43200*a0^2*a1^2*a3^2*a5^6 - 13824*a0^3*a3^3*a5^6 - 32400*a1^2*a2*a3^3*a5^6 + 62208*a0*a2*a3^4*a5^6 + 27000*a1^3*a3^2*a4*a5^6 - 77760*a0*a1*a3^3*a4*a5^6 + 34992*a3^4*a4^2*a5^6 - 46656*a3^5*a5^7 ------------------f2 end------------------------- f2 has 3381 terms Is f2 homogeneous?: false Degree of f2: 20 Is f2 irreducible?: true Total time: 38.420 seconds, Total memory usage: 64.12MB