QQ := -281474976710656*(-212625*z2^12+850500*z2^10*z3*z1-1417500*z2^8*z3^2*z1^
2-100800*z1^6*z2^3*z3*z4*z5-1680*z1^8*z2*z3*z5*z6+1200*z1^8*z2*z3*z4*z7-16800*
z1^7*z2^2*z3*z4*z6+50400*z1^7*z5*z2*z3^2*z4-63000*z1^5*z2^5*z6*z3+37800*z1^5*
z2^5*z4*z5+516600*z1^5*z2^4*z3^2*z5-840000*z1^5*z2^3*z3^3*z4-220500*z1^5*z2^4*
z4^2*z3+240*z1^9*z3*z5*z7+840*z1^9*z5*z6*z4+58800*z1^6*z2^3*z6*z3^2-5400*z1^6*
z2^4*z7*z3+12600*z1^6*z2^4*z6*z4+112000*z1^6*z3^4*z2*z4-260400*z1^6*z5*z2^2*z3
^3+315000*z1^6*z2^2*z3^2*z4^2+2520*z1^8*z5^2*z4*z2-360*z1^8*z2^2*z5*z7+8400*z1
^8*z6*z4*z3^2-14700*z1^8*z5*z4^2*z3-2100*z1^8*z2*z4^2*z6-378000*z1^3*z2^7*z3*
z4+5040*z1^7*z5^2*z2^2*z3-16800*z1^7*z2*z3^3*z6-42000*z1^7*z4^3*z2*z3+3600*z1^
7*z2^2*z3^2*z7+12600*z1^7*z4^2*z2^2*z5+1008000*z1^4*z2^5*z3^2*z4-396900*z1^4*
z2^6*z5*z3+2700*z1^5*z2^6*z7+672000*z1^5*z2^2*z3^5-280*z1^9*z3*z6^2-300*z1^9*
z7*z4^2-3780*z1^6*z5^2*z2^4+420*z1^8*z2^2*z6^2-1600*z1^8*z7*z3^3+113400*z1^3*
z2^8*z5+1512000*z1^3*z2^6*z3^3+39200*z1^7*z3^4*z5-42000*z1^7*z3^3*z4^2+47250*
z1^4*z2^6*z4^2+18900*z1^4*z2^7*z6-1260000*z1^4*z2^4*z3^4-504*z1^9*z5^3-112000*
z1^6*z3^6+7875*z1^8*z4^4)*z^18+6597069766656*(-212625*z2^12+850500*z2^10*z3*z1
-1417500*z2^8*z3^2*z1^2-100800*z1^6*z2^3*z3*z4*z5-1680*z1^8*z2*z3*z5*z6+1200*
z1^8*z2*z3*z4*z7-16800*z1^7*z2^2*z3*z4*z6+50400*z1^7*z5*z2*z3^2*z4-63000*z1^5*
z2^5*z6*z3+37800*z1^5*z2^5*z4*z5+516600*z1^5*z2^4*z3^2*z5-840000*z1^5*z2^3*z3^
3*z4-220500*z1^5*z2^4*z4^2*z3+240*z1^9*z3*z5*z7+840*z1^9*z5*z6*z4+58800*z1^6*
z2^3*z6*z3^2-5400*z1^6*z2^4*z7*z3+12600*z1^6*z2^4*z6*z4+112000*z1^6*z3^4*z2*z4
-260400*z1^6*z5*z2^2*z3^3+315000*z1^6*z2^2*z3^2*z4^2+2520*z1^8*z5^2*z4*z2-360*
z1^8*z2^2*z5*z7+8400*z1^8*z6*z4*z3^2-14700*z1^8*z5*z4^2*z3-2100*z1^8*z2*z4^2*
z6-378000*z1^3*z2^7*z3*z4+5040*z1^7*z5^2*z2^2*z3-16800*z1^7*z2*z3^3*z6-42000*
z1^7*z4^3*z2*z3+3600*z1^7*z2^2*z3^2*z7+12600*z1^7*z4^2*z2^2*z5+1008000*z1^4*z2
^5*z3^2*z4-396900*z1^4*z2^6*z5*z3+2700*z1^5*z2^6*z7+672000*z1^5*z2^2*z3^5-280*
z1^9*z3*z6^2-300*z1^9*z7*z4^2-3780*z1^6*z5^2*z2^4+420*z1^8*z2^2*z6^2-1600*z1^8
*z7*z3^3+113400*z1^3*z2^8*z5+1512000*z1^3*z2^6*z3^3+39200*z1^7*z3^4*z5-42000*
z1^7*z3^3*z4^2+47250*z1^4*z2^6*z4^2+18900*z1^4*z2^7*z6-1260000*z1^4*z2^4*z3^4-\
504*z1^9*z5^3-112000*z1^6*z3^6+7875*z1^8*z4^4)*z^17-21474836480*(-637875*z2^12
+2551500*z2^10*z3*z1-4252500*z2^8*z3^2*z1^2-302400*z1^6*z2^3*z3*z4*z5-5040*z1^
8*z2*z3*z5*z6+3600*z1^8*z2*z3*z4*z7-50400*z1^7*z2^2*z3*z4*z6+151200*z1^7*z5*z2
*z3^2*z4-189000*z1^5*z2^5*z6*z3+113400*z1^5*z2^5*z4*z5+1549800*z1^5*z2^4*z3^2*
z5-2520000*z1^5*z2^3*z3^3*z4-661500*z1^5*z2^4*z4^2*z3+720*z1^9*z3*z5*z7+2520*
z1^9*z5*z6*z4+176400*z1^6*z2^3*z6*z3^2-16200*z1^6*z2^4*z7*z3+37800*z1^6*z2^4*
z6*z4+336000*z1^6*z3^4*z2*z4-781200*z1^6*z5*z2^2*z3^3+945000*z1^6*z2^2*z3^2*z4
^2+7560*z1^8*z5^2*z4*z2-1080*z1^8*z2^2*z5*z7+25200*z1^8*z6*z4*z3^2-44100*z1^8*
z5*z4^2*z3-6300*z1^8*z2*z4^2*z6-1134000*z1^3*z2^7*z3*z4+15120*z1^7*z5^2*z2^2*
z3-50400*z1^7*z2*z3^3*z6-126000*z1^7*z4^3*z2*z3+10800*z1^7*z2^2*z3^2*z7+37800*
z1^7*z4^2*z2^2*z5+3024000*z1^4*z2^5*z3^2*z4-1190700*z1^4*z2^6*z5*z3+2146959360
*z1^8*z2^4*z3*z5+9909043200*z1^8*z2^3*z4*z3^2-330301440*z1^10*z2*z3^2*z6+
94371840*z1^10*z2^2*z7*z3-110100480*z1^10*z2^2*z6*z4+220200960*z1^9*z2^3*z6*z3
-2642411520*z1^9*z2^2*z3^2*z5+660602880*z1^9*z4*z5*z2^3+4037017600*z1^9*z3^3*
z4*z2-3303014400*z1^9*z2^2*z4^2*z3+110100480*z1^11*z3*z6*z4+22020096*z1^11*z2*
z5*z6-15728640*z1^11*z2*z4*z7-18166579200*z1^7*z2^5*z3*z4+8100*z1^5*z2^6*z7+
2016000*z1^5*z2^2*z3^5-840*z1^9*z3*z6^2-900*z1^9*z7*z4^2-11340*z1^6*z5^2*z2^4+
1260*z1^8*z2^2*z6^2-4800*z1^8*z7*z3^3+340200*z1^3*z2^8*z5+4536000*z1^3*z2^6*z3
^3+117600*z1^7*z3^4*z5-126000*z1^7*z3^3*z4^2+141750*z1^4*z2^6*z4^2+56700*z1^4*
z2^7*z6-3780000*z1^4*z2^4*z3^4-61931520000*z2^8*z3*z1^5+18579456000*z2^10*z1^4
-1512*z1^9*z5^3-336000*z1^6*z3^6+23625*z1^8*z4^4+330301440*z1^10*z2*z3*z5*z4-\
1835008*z1^12*z6^2-2569011200*z1^9*z3^5+1572864*z1^12*z5*z7+72666316800*z1^6*
z2^6*z3^2+9909043200*z1^6*z4*z2^7+825753600*z1^8*z4^2*z2^4+165150720*z1^8*z2^5
*z6+7156531200*z1^8*z2^2*z3^4+550502400*z1^10*z4^3*z2+917504000*z1^10*z3^3*z5-\
66060288*z1^10*z5^2*z2^2-1101004800*z1^10*z3^2*z4^2-70778880*z1^9*z7*z2^4-\
66060288*z1^11*z3*z5^2-15728640*z1^11*z3^2*z7-55050240*z1^11*z4^2*z5-\
36333158400*z1^7*z2^4*z3^3-1486356480*z1^7*z5*z2^6)*z^16-67108864*(1063125*z2^
12-4252500*z2^10*z3*z1+7087500*z2^8*z3^2*z1^2+504000*z1^6*z2^3*z3*z4*z5+8400*
z1^8*z2*z3*z5*z6-6000*z1^8*z2*z3*z4*z7+84000*z1^7*z2^2*z3*z4*z6-252000*z1^7*z5
*z2*z3^2*z4+315000*z1^5*z2^5*z6*z3-189000*z1^5*z2^5*z4*z5-2583000*z1^5*z2^4*z3
^2*z5+4200000*z1^5*z2^3*z3^3*z4+1102500*z1^5*z2^4*z4^2*z3-1200*z1^9*z3*z5*z7-\
4200*z1^9*z5*z6*z4-294000*z1^6*z2^3*z6*z3^2+27000*z1^6*z2^4*z7*z3-63000*z1^6*
z2^4*z6*z4-560000*z1^6*z3^4*z2*z4+1302000*z1^6*z5*z2^2*z3^3-1575000*z1^6*z2^2*
z3^2*z4^2-12600*z1^8*z5^2*z4*z2+1800*z1^8*z2^2*z5*z7-42000*z1^8*z6*z4*z3^2+
73500*z1^8*z5*z4^2*z3+10500*z1^8*z2*z4^2*z6+1890000*z1^3*z2^7*z3*z4-25200*z1^7
*z5^2*z2^2*z3+84000*z1^7*z2*z3^3*z6+210000*z1^7*z4^3*z2*z3-18000*z1^7*z2^2*z3^
2*z7-63000*z1^7*z4^2*z2^2*z5-5040000*z1^4*z2^5*z3^2*z4+1984500*z1^4*z2^6*z5*z3
-14491975680*z1^8*z2^4*z3*z5-66886041600*z1^8*z2^3*z4*z3^2+2229534720*z1^10*z2
*z3^2*z6-637009920*z1^10*z2^2*z7*z3+743178240*z1^10*z2^2*z6*z4-1486356480*z1^9
*z2^3*z6*z3+17836277760*z1^9*z2^2*z3^2*z5-4459069440*z1^9*z4*z5*z2^3-\
27249868800*z1^9*z3^3*z4*z2+22295347200*z1^9*z2^2*z4^2*z3-743178240*z1^11*z3*
z6*z4-148635648*z1^11*z2*z5*z6+106168320*z1^11*z2*z4*z7+122624409600*z1^7*z2^5
*z3*z4-13500*z1^5*z2^6*z7-3360000*z1^5*z2^2*z3^5+1400*z1^9*z3*z6^2+1500*z1^9*
z7*z4^2+18900*z1^6*z5^2*z2^4-2100*z1^8*z2^2*z6^2+8000*z1^8*z7*z3^3-567000*z1^3
*z2^8*z5-7560000*z1^3*z2^6*z3^3-196000*z1^7*z3^4*z5+210000*z1^7*z3^3*z4^2-\
236250*z1^4*z2^6*z4^2-94500*z1^4*z2^7*z6+6300000*z1^4*z2^4*z3^4+28538044416000
*z2^7*z3*z1^7+418037760000*z2^8*z3*z1^5-9512681472000*z2^9*z1^6-125411328000*
z2^10*z1^4+2520*z1^9*z5^3+560000*z1^6*z3^6-39375*z1^8*z4^4-2229534720*z1^10*z2
*z3*z5*z4+12386304*z1^12*z6^2+17340825600*z1^9*z3^5-88080384000*z1^12*z4^3-\
10616832*z1^12*z5*z7-490497638400*z1^6*z2^6*z3^2-66886041600*z1^6*z4*z2^7-\
5573836800*z1^8*z4^2*z2^4-1114767360*z1^8*z2^5*z6-48306585600*z1^8*z2^2*z3^4-\
3715891200*z1^10*z4^3*z2-6193152000*z1^10*z3^3*z5+445906944*z1^10*z5^2*z2^2+
7431782400*z1^10*z3^2*z4^2+477757440*z1^9*z7*z2^4+445906944*z1^11*z3*z5^2+
106168320*z1^11*z3^2*z7+371589120*z1^11*z4^2*z5+245248819200*z1^7*z2^4*z3^3+
10032906240*z1^7*z5*z2^6-28538044416000*z1^8*z2^5*z3^2-4756340736000*z1^8*z2^6
*z4+52848230400*z1^12*z5^2*z2+11744051200*z1^12*z3^2*z6-3523215360*z1^13*z5*z6
+2516582400*z1^13*z4*z7+10217324544000*z1^9*z2^3*z3^3+317089382400*z1^9*z5*z2^
5-211392921600*z1^10*z2^4*z6+704643072000*z1^10*z3^4*z2+15099494400*z1^11*z2^3
*z7-117440512000*z1^11*z4*z3^3-17616076800*z1^12*z2*z4*z6+17616076800*z1^12*z4
*z5*z3-15099494400*z1^12*z2*z3*z7+8455716864000*z1^9*z2^4*z3*z4+528482304000*
z1^10*z5*z2^3*z3-6517948416000*z1^10*z2^2*z4*z3^2-422785843200*z1^11*z2^2*z5*
z4-281857228800*z1^11*z5*z2*z3^2+1409286144000*z1^11*z2*z3*z4^2+176160768000*
z1^11*z2^2*z3*z6)*z^15-65536*(-3189375*z2^12+12757500*z2^10*z3*z1-21262500*z2^
8*z3^2*z1^2-1512000*z1^6*z2^3*z3*z4*z5-25200*z1^8*z2*z3*z5*z6+18000*z1^8*z2*z3
*z4*z7-252000*z1^7*z2^2*z3*z4*z6+756000*z1^7*z5*z2*z3^2*z4-945000*z1^5*z2^5*z6
*z3+567000*z1^5*z2^5*z4*z5+7749000*z1^5*z2^4*z3^2*z5-12600000*z1^5*z2^3*z3^3*
z4-3307500*z1^5*z2^4*z4^2*z3+3600*z1^9*z3*z5*z7+12600*z1^9*z5*z6*z4+882000*z1^
6*z2^3*z6*z3^2-81000*z1^6*z2^4*z7*z3+189000*z1^6*z2^4*z6*z4+1680000*z1^6*z3^4*
z2*z4-3906000*z1^6*z5*z2^2*z3^3+4725000*z1^6*z2^2*z3^2*z4^2+37800*z1^8*z5^2*z4
*z2-5400*z1^8*z2^2*z5*z7+126000*z1^8*z6*z4*z3^2-220500*z1^8*z5*z4^2*z3-31500*
z1^8*z2*z4^2*z6-5670000*z1^3*z2^7*z3*z4+75600*z1^7*z5^2*z2^2*z3-252000*z1^7*z2
*z3^3*z6-630000*z1^7*z4^3*z2*z3+54000*z1^7*z2^2*z3^2*z7+189000*z1^7*z4^2*z2^2*
z5+15120000*z1^4*z2^5*z3^2*z4-5953500*z1^4*z2^6*z5*z3+135258439680*z1^8*z2^4*
z3*z5+624269721600*z1^8*z2^3*z4*z3^2-20808990720*z1^10*z2*z3^2*z6+5945425920*
z1^10*z2^2*z7*z3-6936330240*z1^10*z2^2*z6*z4+13872660480*z1^9*z2^3*z6*z3-\
166471925760*z1^9*z2^2*z3^2*z5+41617981440*z1^9*z4*z5*z2^3+254332108800*z1^9*
z3^3*z4*z2-208089907200*z1^9*z2^2*z4^2*z3+6936330240*z1^11*z3*z6*z4+1387266048
*z1^11*z2*z5*z6-990904320*z1^11*z2*z4*z7-1144494489600*z1^7*z2^5*z3*z4+40500*
z1^5*z2^6*z7+10080000*z1^5*z2^2*z3^5-4200*z1^9*z3*z6^2-4500*z1^9*z7*z4^2-56700
*z1^6*z5^2*z2^4+6300*z1^8*z2^2*z6^2-24000*z1^8*z7*z3^3+1701000*z1^3*z2^8*z5+
22680000*z1^3*z2^6*z3^3+588000*z1^7*z3^4*z5-630000*z1^7*z3^3*z4^2+708750*z1^4*
z2^6*z4^2+283500*z1^4*z2^7*z6-18900000*z1^4*z2^4*z3^4-16559675906457600*z2^6*
z3*z1^9-582176106086400*z2^7*z3*z1^7-3901685760000*z2^8*z3*z1^5+
6209878464921600*z2^8*z1^8+194058702028800*z2^9*z1^6+1170505728000*z2^10*z1^4-\
7560*z1^9*z5^3-1680000*z1^6*z3^6+118125*z1^8*z4^4+20808990720*z1^10*z2*z3*z5*
z4-115605504*z1^12*z6^2-161847705600*z1^9*z3^5+1796839833600*z1^12*z4^3-\
589269513011200*z1^12*z3^4-20564303413248*z1^14*z5^2+99090432*z1^12*z5*z7+
4577977958400*z1^6*z2^6*z3^2+624269721600*z1^6*z4*z2^7+52022476800*z1^8*z4^2*
z2^4+10404495360*z1^8*z2^5*z6+450861465600*z1^8*z2^2*z3^4+34681651200*z1^10*z4
^3*z2+57802752000*z1^10*z3^3*z5-4161798144*z1^10*z5^2*z2^2-69363302400*z1^10*
z3^2*z4^2-4459069440*z1^9*z7*z2^4-4161798144*z1^11*z3*z5^2-990904320*z1^11*z3^
2*z7-3468165120*z1^11*z4^2*z5-2288988979200*z1^7*z2^4*z3^3-93640458240*z1^7*z5
*z2^6+582176106086400*z1^8*z2^5*z3^2+97029351014400*z1^8*z2^6*z4-1078103900160
*z1^12*z5^2*z2-239578644480*z1^12*z3^2*z6+71873593344*z1^13*z5*z6-51338280960*
z1^13*z4*z7-208433420697600*z1^9*z2^3*z3^3-6468623400960*z1^9*z5*z2^5+
4312415600640*z1^10*z2^4*z6-14374718668800*z1^10*z3^4*z2-308029685760*z1^11*z2
^3*z7+2395786444800*z1^11*z4*z3^3-392345262489600*z1^12*z4^2*z2^2+
135291469824000*z1^12*z6*z2^3+198427489075200*z1^13*z5*z3^2-387835546828800*z1
^13*z4^2*z3-2319282339840*z1^13*z2^2*z7+1546188226560*z1^14*z3*z7+
14431090114560*z1^14*z6*z4+2272896693043200*z1^10*z2^5*z4+14286779213414400*z1
^10*z2^4*z3^2-4473637935513600*z1^11*z2^2*z3^3-292229574819840*z1^11*z2^4*z5+
359367966720*z1^12*z2*z4*z6-359367966720*z1^12*z4*z5*z3+308029685760*z1^12*z2*
z3*z7-172496624025600*z1^9*z2^4*z3*z4-10781039001600*z1^10*z5*z2^3*z3+
132966147686400*z1^10*z2^2*z4*z3^2+8624831201280*z1^11*z2^2*z5*z4+
5749887467520*z1^11*z5*z2*z3^2-28749437337600*z1^11*z2*z3*z4^2-3593679667200*
z1^11*z2^2*z3*z6-286817916026880*z1^12*z5*z2^2*z3+2669751671193600*z1^12*z3^2*
z4*z2-119056493445120*z1^13*z2*z3*z6+194819716546560*z1^13*z5*z2*z4-\
2814062572339200*z1^11*z2^3*z3*z4)*z^14-512*(166246158119731200*z1^13*z2*z3^3+
24936923717959680*z1^13*z2^3*z5-41561539529932800*z1^12*z2^4*z4-\
443323088319283200*z1^12*z2^3*z3^2-2770769301995520*z1^14*z2^2*z6+
27707693019955200*z1^14*z2*z4^2-27707693019955200*z1^14*z4*z3^2+
1847179534663680*z1^15*z3*z6-2770769301995520*z1^15*z5*z4+637875*z2^12-2551500
*z2^10*z3*z1+4252500*z2^8*z3^2*z1^2+302400*z1^6*z2^3*z3*z4*z5+5040*z1^8*z2*z3*
z5*z6-3600*z1^8*z2*z3*z4*z7+50400*z1^7*z2^2*z3*z4*z6-151200*z1^7*z5*z2*z3^2*z4
+189000*z1^5*z2^5*z6*z3-113400*z1^5*z2^5*z4*z5-1549800*z1^5*z2^4*z3^2*z5+
2520000*z1^5*z2^3*z3^3*z4+661500*z1^5*z2^4*z4^2*z3-720*z1^9*z3*z5*z7-2520*z1^9
*z5*z6*z4-176400*z1^6*z2^3*z6*z3^2+16200*z1^6*z2^4*z7*z3-37800*z1^6*z2^4*z6*z4
-336000*z1^6*z3^4*z2*z4+781200*z1^6*z5*z2^2*z3^3-945000*z1^6*z2^2*z3^2*z4^2-\
7560*z1^8*z5^2*z4*z2+1080*z1^8*z2^2*z5*z7-25200*z1^8*z6*z4*z3^2+44100*z1^8*z5*
z4^2*z3+6300*z1^8*z2*z4^2*z6+1134000*z1^3*z2^7*z3*z4-15120*z1^7*z5^2*z2^2*z3+
50400*z1^7*z2*z3^3*z6+126000*z1^7*z4^3*z2*z3-10800*z1^7*z2^2*z3^2*z7-37800*z1^
7*z4^2*z2^2*z5-3024000*z1^4*z2^5*z3^2*z4+1190700*z1^4*z2^6*z5*z3-88025333760*
z1^8*z2^4*z3*z5-406270771200*z1^8*z2^3*z4*z3^2+13542359040*z1^10*z2*z3^2*z6-\
3869245440*z1^10*z2^2*z7*z3+4514119680*z1^10*z2^2*z6*z4-9028239360*z1^9*z2^3*
z6*z3+108338872320*z1^9*z2^2*z3^2*z5-27084718080*z1^9*z4*z5*z2^3-165517721600*
z1^9*z3^3*z4*z2+135423590400*z1^9*z2^2*z4^2*z3-4514119680*z1^11*z3*z6*z4-\
902823936*z1^11*z2*z5*z6+644874240*z1^11*z2*z4*z7+744829747200*z1^7*z2^5*z3*z4
-8100*z1^5*z2^6*z7-2016000*z1^5*z2^2*z3^5+840*z1^9*z3*z6^2+900*z1^9*z7*z4^2+
11340*z1^6*z5^2*z2^4-1260*z1^8*z2^2*z6^2+4800*z1^8*z7*z3^3-340200*z1^3*z2^8*z5
-4536000*z1^3*z2^6*z3^3-117600*z1^7*z3^4*z5+126000*z1^7*z3^3*z4^2-141750*z1^4*
z2^6*z4^2-56700*z1^4*z2^7*z6+3780000*z1^4*z2^4*z3^4+581861553419059200*z2^5*z3
*z1^11+39793086745804800*z2^6*z3*z1^9+684913065984000*z2^7*z3*z1^7+
2539192320000*z2^8*z3*z1^5-249369237179596800*z2^7*z1^10-14922407529676800*z2^
8*z1^8-228304355328000*z2^9*z1^6-761757696000*z2^10*z1^4+1512*z1^9*z5^3+336000
*z1^6*z3^6-23625*z1^8*z4^4-13542359040*z1^10*z2*z3*z5*z4+75235328*z1^12*z6^2+
105329459200*z1^9*z3^5-2113929216000*z1^12*z4^3+1416265465856000*z1^12*z3^4+
49420041191424*z1^14*z5^2-64487424*z1^12*z5*z7-2979318988800*z1^6*z2^6*z3^2-\
406270771200*z1^6*z4*z2^7-33855897600*z1^8*z4^2*z2^4-6771179520*z1^8*z2^5*z6-\
293417779200*z1^8*z2^2*z3^4-22570598400*z1^10*z4^3*z2-37617664000*z1^10*z3^3*
z5+2708471808*z1^10*z5^2*z2^2+45141196800*z1^10*z3^2*z4^2+2901934080*z1^9*z7*
z2^4+2708471808*z1^11*z3*z5^2+644874240*z1^11*z3^2*z7+2257059840*z1^11*z4^2*z5
+1489659494400*z1^7*z2^4*z3^3+60940615680*z1^7*z5*z2^6-684913065984000*z1^8*z2
^5*z3^2-114152177664000*z1^8*z2^6*z4+1268357529600*z1^12*z5^2*z2+281857228800*
z1^12*z3^2*z6-84557168640*z1^13*z5*z6+60397977600*z1^13*z4*z7+245215789056000*
z1^9*z2^3*z3^3+7610145177600*z1^9*z5*z2^5-5073430118400*z1^10*z2^4*z6+
16911433728000*z1^10*z3^4*z2+362387865600*z1^11*z2^3*z7-2818572288000*z1^11*z4
*z3^3+942772165017600*z1^12*z4^2*z2^2-325118286888960*z1^12*z6*z2^3-\
476891693711360*z1^13*z5*z3^2+932061590323200*z1^13*z4^2*z3+5572720066560*z1^
13*z2^2*z7-3715146711040*z1^14*z3*z7-34681860915200*z1^14*z6*z4-\
5461909910323200*z1^10*z2^5*z4-34331176835481600*z1^10*z2^4*z3^2+
10749873645158400*z1^11*z2^2*z3^3+702162728386560*z1^11*z2^4*z5-422785843200*
z1^12*z2*z4*z6+422785843200*z1^12*z4*z5*z3-362387865600*z1^12*z2*z3*z7+
202937204736000*z1^9*z2^4*z3*z4+12683575296000*z1^10*z5*z2^3*z3-\
156430761984000*z1^10*z2^2*z4*z3^2-10146860236800*z1^11*z2^2*z5*z4-\
6764573491200*z1^11*z5*z2*z3^2+33822867456000*z1^11*z2*z3*z4^2+4227858432000*
z1^11*z2^2*z3*z6+689374463262720*z1^12*z5*z2^2*z3-6415822146764800*z1^12*z3^2*
z4*z2+286109246423040*z1^13*z2*z3*z6-468172910100480*z1^13*z5*z2*z4+
6762640755916800*z1^11*z2^3*z3*z4-27707693019955200*z1^13*z2^2*z3*z4-\
11083077207982080*z1^14*z2*z3*z5)*z^13+(1505121467262566400*z1^13*z2*z3^3+
225768220089384960*z1^13*z2^3*z5-376280366815641600*z1^12*z2^4*z4-\
4013657246033510400*z1^12*z2^3*z3^2-25085357787709440*z1^14*z2^2*z6+
250853577877094400*z1^14*z2*z4^2-250853577877094400*z1^14*z4*z3^2+
16723571858472960*z1^15*z3*z6-25085357787709440*z1^15*z5*z4-118219490218475520
*z1^16*z6*z2-2020990332782510080*z1^16*z3*z5+3918131675812331520*z1^15*z2^2*z5
-9457559217478041600*z1^14*z4*z2^3-47456681073416601600*z1^14*z3^2*z2^2-\
3602879701896396800*z1^15*z2*z3*z4+212625*z2^12-850500*z2^10*z3*z1+1417500*z2^
8*z3^2*z1^2+5629499534213120*z7*z1^17+100800*z1^6*z2^3*z3*z4*z5+1680*z1^8*z2*
z3*z5*z6-1200*z1^8*z2*z3*z4*z7+16800*z1^7*z2^2*z3*z4*z6-50400*z1^7*z5*z2*z3^2*
z4+85371360436341964800*z3*z2^4*z1^13+63000*z1^5*z2^5*z6*z3-37800*z1^5*z2^5*z4
*z5-516600*z1^5*z2^4*z3^2*z5+840000*z1^5*z2^3*z3^3*z4+220500*z1^5*z2^4*z4^2*z3
-240*z1^9*z3*z5*z7-840*z1^9*z5*z6*z4-58800*z1^6*z2^3*z6*z3^2+5400*z1^6*z2^4*z7
*z3-12600*z1^6*z2^4*z6*z4-112000*z1^6*z3^4*z2*z4+260400*z1^6*z5*z2^2*z3^3-\
315000*z1^6*z2^2*z3^2*z4^2-2520*z1^8*z5^2*z4*z2+360*z1^8*z2^2*z5*z7-8400*z1^8*
z6*z4*z3^2+14700*z1^8*z5*z4^2*z3+2100*z1^8*z2*z4^2*z6+378000*z1^3*z2^7*z3*z4-\
5040*z1^7*z5^2*z2^2*z3+16800*z1^7*z2*z3^3*z6+42000*z1^7*z4^3*z2*z3-3600*z1^7*
z2^2*z3^2*z7-12600*z1^7*z4^2*z2^2*z5-1008000*z1^4*z2^5*z3^2*z4+396900*z1^4*z2^
6*z5*z3-135258439680*z1^8*z2^4*z3*z5-624269721600*z1^8*z2^3*z4*z3^2+
20808990720*z1^10*z2*z3^2*z6-5945425920*z1^10*z2^2*z7*z3+6936330240*z1^10*z2^2
*z6*z4-13872660480*z1^9*z2^3*z6*z3+166471925760*z1^9*z2^2*z3^2*z5-41617981440*
z1^9*z4*z5*z2^3-254332108800*z1^9*z3^3*z4*z2+208089907200*z1^9*z2^2*z4^2*z3-\
6936330240*z1^11*z3*z6*z4-1387266048*z1^11*z2*z5*z6+990904320*z1^11*z2*z4*z7+
1144494489600*z1^7*z2^5*z3*z4-2700*z1^5*z2^6*z7-672000*z1^5*z2^2*z3^5+280*z1^9
*z3*z6^2+300*z1^9*z7*z4^2+3780*z1^6*z5^2*z2^4-420*z1^8*z2^2*z6^2+1600*z1^8*z7*
z3^3-113400*z1^3*z2^8*z5-1512000*z1^3*z2^6*z3^3-39200*z1^7*z3^4*z5+42000*z1^7*
z3^3*z4^2-47250*z1^4*z2^6*z4^2-18900*z1^4*z2^7*z6+1260000*z1^4*z2^4*z3^4+
5267925135418982400*z2^5*z3*z1^11+203540218144358400*z2^6*z3*z1^9+
1872095713689600*z2^7*z3*z1^7+3901685760000*z2^8*z3*z1^5-42685680218170982400*
z2^6*z1^12-2257682200893849600*z2^7*z1^10-76327581804134400*z2^8*z1^8-\
624031904563200*z2^9*z1^6-1170505728000*z2^10*z1^4+504*z1^9*z5^3+112000*z1^6*
z3^6-7875*z1^8*z4^4-20808990720*z1^10*z2*z3*z5*z4+115605504*z1^12*z6^2+
161847705600*z1^9*z3^5-5778073190400*z1^12*z4^3+6478185071902720*z1^12*z3^4+
240896125698048*z1^14*z5^2-99090432*z1^12*z5*z7-4577977958400*z1^6*z2^6*z3^2-\
624269721600*z1^6*z4*z2^7-52022476800*z1^8*z4^2*z2^4-10404495360*z1^8*z2^5*z6-\
450861465600*z1^8*z2^2*z3^4-34681651200*z1^10*z4^3*z2-57802752000*z1^10*z3^3*
z5+4161798144*z1^10*z5^2*z2^2+69363302400*z1^10*z3^2*z4^2+4459069440*z1^9*z7*
z2^4+4161798144*z1^11*z3*z5^2+990904320*z1^11*z3^2*z7+3468165120*z1^11*z4^2*z5
+2288988979200*z1^7*z2^4*z3^3+93640458240*z1^7*z5*z2^6-1872095713689600*z1^8*
z2^5*z3^2-312015952281600*z1^8*z2^6*z4+3466843914240*z1^12*z5^2*z2+
770409758720*z1^12*z3^2*z6-231122927616*z1^13*z5*z6+165087805440*z1^13*z4*z7+
670256490086400*z1^9*z2^3*z3^3+20801063485440*z1^9*z5*z2^5-13867375656960*z1^
10*z2^4*z6+46224585523200*z1^10*z3^4*z2+990526832640*z1^11*z2^3*z7-\
7704097587200*z1^11*z4*z3^3+4941102176010240*z1^12*z4^2*z2^2-1627311568846848*
z1^12*z6*z2^3-2225342815141888*z1^13*z5*z3^2+4490130609930240*z1^13*z4^2*z3+
30202210025472*z1^13*z2^2*z7-20134806683648*z1^14*z3*z7-165510859718656*z1^14*
z6*z4-27580905585377280*z1^10*z2^5*z4-175959312558981120*z1^10*z2^4*z3^2+
56015307071815680*z1^11*z2^2*z3^3+3805478463209472*z1^11*z2^4*z5-1155614638080
*z1^12*z2*z4*z6+1155614638080*z1^12*z4*z5*z3-990526832640*z1^12*z2*z3*z7+
554695026278400*z1^9*z2^4*z3*z4+34668439142400*z1^10*z5*z2^3*z3-\
427577416089600*z1^10*z2^2*z4*z3^2-27734751313920*z1^11*z2^2*z5*z4-\
18489834209280*z1^11*z5*z2*z3^2+92449171046400*z1^11*z2*z3*z4^2+11556146380800
*z1^11*z2^2*z3*z6+3062586559954944*z1^12*z5*z2^2*z3-31628139167744000*z1^12*z3
^2*z4*z2+1415896098668544*z1^13*z2*z3*z6-2335259618181120*z1^13*z5*z2*z4+
33283247764930560*z1^11*z2^3*z3*z4-250853577877094400*z1^13*z2^2*z3*z4-\
100341431150837760*z1^14*z2*z3*z5+1984398585810124800*z1^16*z4^2+
12947848928690176000*z1^15*z3^3)*z^12+1024*z1^4*(34020*z1^6*z2*z3*z5*z4+
60902636257280*z1^11*z2*z3*z4+221130*z1^4*z2^4*z3*z5+1020600*z1^4*z2^3*z4*z3^2
-34020*z1^6*z2*z3^2*z6+9720*z1^6*z2^2*z7*z3-11340*z1^6*z2^2*z6*z4+22680*z1^5*
z2^3*z6*z3-272160*z1^5*z2^2*z3^2*z5+415800*z1^5*z3^3*z4*z2-340200*z1^5*z2^2*z4
^2*z3+11340*z1^7*z3*z6*z4+2268*z1^7*z2*z5*z6-1620*z1^7*z2*z4*z7-1871100*z1^3*
z2^5*z3*z4+3548160*z1^8*z2*z4*z6-3548160*z1^8*z4*z5*z3+3041280*z1^8*z2*z3*z7-\
1703116800*z1^5*z2^4*z3*z4-106444800*z1^6*z5*z2^3*z3+1312819200*z1^6*z2^2*z4*
z3^2+85155840*z1^7*z2^2*z5*z4+56770560*z1^7*z5*z2*z3^2-283852800*z1^7*z2*z3*z4
^2-35481600*z1^7*z2^2*z3*z6-15158771712*z1^8*z5*z2^2*z3+174509260800*z1^8*z3^2
*z4*z2-7840530432*z1^9*z2*z3*z6-183358586880*z1^7*z2^3*z3*z4+2901367848960*z1^
9*z2^2*z3*z4+1160547139584*z1^10*z2*z3*z5-17408207093760*z1^9*z2*z3^3+
46421885583360*z1^8*z2^3*z3^2+290136784896*z1^10*z2^2*z6+2901367848960*z1^10*
z4*z3^2-193424523264*z1^11*z3*z6+1871531999232*z1^12*z6*z2+32767379243008*z1^
12*z3*z5+762882828533760*z1^10*z3^2*z2^2-2308974418329600*z1^13*z4*z3+
13853846509977600*z1^12*z3^2*z2-46179488366592000*z1^11*z3*z2^3-\
1368908082708480*z1^9*z3*z2^4-60928724828160*z1^7*z2^5*z3-1161216000000*z1^5*
z2^6*z3-5748019200*z1^3*z2^7*z3-6378750*z1*z2^8*z3+162*z1^8*z5*z7+7484400*z1^2
*z2^6*z3^2+17010*z1^4*z2^5*z6+737100*z1^4*z2^2*z3^4+94500*z1^6*z3^3*z5-113400*
z1^6*z3^2*z4^2-7290*z1^5*z7*z2^4-6804*z1^7*z3*z5^2-1620*z1^7*z3^2*z7-3742200*
z1^3*z2^4*z3^3+5748019200*z1^4*z2^5*z3^2+958003200*z1^4*z2^6*z4-10644480*z1^8*
z5^2*z2-2365440*z1^8*z3^2*z6+709632*z1^9*z5*z6-506880*z1^9*z4*z7-2057932800*z1
^5*z2^3*z3^3-63866880*z1^5*z5*z2^5+42577920*z1^6*z2^4*z6-141926400*z1^6*z3^4*
z2-3041280*z1^7*z2^3*z7+23654400*z1^7*z4*z3^3+9105997824*z1^8*z6*z2^3+
11627986944*z1^9*z5*z3^2-24232427520*z1^9*z4^2*z3-180781056*z1^9*z2^2*z7+
120520704*z1^10*z3*z7+884932608*z1^10*z6*z4+1005644021760*z1^6*z2^4*z3^2-\
324713840640*z1^7*z2^2*z3^3+76965813944320*z1^14*z6-89120571392*z1^13*z7+
1916006400*z1^2*z2^9-189*z1^8*z6^2-264600*z1^5*z3^5+17740800*z1^8*z4^3-\
33135656960*z1^8*z3^4-210131274956800*z1^11*z3^3+1913625*z2^10+155571978240*z1
^6*z4*z2^5+4352051773440*z1^8*z4*z2^4+9235897673318400*z1^12*z4*z2^2+
149722559938560*z1^10*z4*z2^3+1020600*z1^2*z4*z2^7+290136784896*z1^11*z4*z5+
85050*z1^4*z4^2*z2^4-28782673920*z1^8*z4^2*z2^2-5670*z1^7*z4^2*z5-\
2901367848960*z1^10*z4^2*z2-22778413056*z1^7*z5*z2^4-153090*z1^3*z5*z2^6-6804*
z1^6*z5^2*z2^2+56700*z1^6*z4^3*z2-1154487209164800*z1^13*z5*z2-63187558858752*
z1^11*z5*z2^2-2611231064064*z1^9*z5*z2^3+68040*z1^5*z4*z5*z2^3+13026263040*z1^
9*z4*z2*z5+27707693019955200*z1^10*z2^5+684454041354240*z1^8*z2^6+
26112310640640*z1^6*z2^7-32381369057280*z1^12*z4^2-1315012608*z1^10*z5^2+
435456000000*z1^4*z2^8)*z^11+4*z1^4*(-6300*z1^6*z2*z3*z5*z4-503048044544000*z1
^11*z2*z3*z4-40950*z1^4*z2^4*z3*z5-189000*z1^4*z2^3*z4*z3^2+6300*z1^6*z2*z3^2*
z6-1800*z1^6*z2^2*z7*z3+2100*z1^6*z2^2*z6*z4-4200*z1^5*z2^3*z6*z3+50400*z1^5*
z2^2*z3^2*z5-77000*z1^5*z3^3*z4*z2+63000*z1^5*z2^2*z4^2*z3-2100*z1^7*z3*z6*z4-\
420*z1^7*z2*z5*z6+300*z1^7*z2*z4*z7+346500*z1^3*z2^5*z3*z4-1532160*z1^8*z2*z4*
z6+1532160*z1^8*z4*z5*z3-1313280*z1^8*z2*z3*z7+735436800*z1^5*z2^4*z3*z4+
45964800*z1^6*z5*z2^3*z3-566899200*z1^6*z2^2*z4*z3^2-36771840*z1^7*z2^2*z5*z4-\
24514560*z1^7*z5*z2*z3^2+122572800*z1^7*z2*z3*z4^2+15321600*z1^7*z2^2*z3*z6+
11930566656*z1^8*z5*z2^2*z3-142121369600*z1^8*z3^2*z4*z2+6392119296*z1^9*z2*z3
*z6+149260861440*z1^7*z2^3*z3*z4-4608365690880*z1^9*z2^2*z3*z4-1843346276352*
z1^10*z2*z3*z5+27650194145280*z1^9*z2*z3^3-73733851054080*z1^8*z2^3*z3^2-\
460836569088*z1^10*z2^2*z6-4608365690880*z1^10*z4*z3^2+307224379392*z1^11*z3*
z6-315680096256*z1^12*z6*z2-104082089967616*z1^12*z3*z5-1607004963471360*z1^10
*z3^2*z2^2+8815334475694080*z1^13*z4*z3-52892006854164480*z1^12*z3^2*z2+
176306689513881600*z1^11*z3*z2^3+2448389056757760*z1^9*z3*z2^4+96775679508480*
z1^7*z2^5*z3+954807091200*z1^5*z2^6*z3+2482099200*z1^3*z2^7*z3+1181250*z1*z2^8
*z3-30*z1^8*z5*z7-1386000*z1^2*z2^6*z3^2-3150*z1^4*z2^5*z6-136500*z1^4*z2^2*z3
^4-17500*z1^6*z3^3*z5+21000*z1^6*z3^2*z4^2+1350*z1^5*z7*z2^4+1260*z1^7*z3*z5^2
+300*z1^7*z3^2*z7+693000*z1^3*z2^4*z3^3-2482099200*z1^4*z2^5*z3^2-413683200*z1
^4*z2^6*z4+4596480*z1^8*z5^2*z2+1021440*z1^8*z3^2*z6-306432*z1^9*z5*z6+218880*
z1^9*z4*z7+888652800*z1^5*z2^3*z3^3+27578880*z1^5*z5*z2^5-18385920*z1^6*z2^4*
z6+61286400*z1^6*z3^4*z2+1313280*z1^7*z2^3*z7-10214400*z1^7*z4*z3^3-7446331392
*z1^8*z6*z2^3-9314762752*z1^9*z5*z3^2+19605749760*z1^9*z4^2*z3+150601728*z1^9*
z2^2*z7-100401152*z1^10*z3*z7-713949184*z1^10*z6*z4-827298938880*z1^6*z2^4*z3^
2+268181176320*z1^7*z2^2*z3^3+3846355556751114240*z1^13*z2^2*z3-\
293844482523136*z1^14*z6+15032385536*z1^13*z7-827366400*z1^2*z2^9+35*z1^8*z6^2
+49000*z1^5*z3^5-7660800*z1^8*z4^3+26363822080*z1^8*z3^4+692477577134080*z1^11
*z3^3-527765581332480000*z1^14*z3^2-354375*z2^10-127508152320*z1^6*z4*z2^5-\
6912548536320*z1^8*z4*z2^4-35261337902776320*z1^12*z4*z2^2-754352937584558080*
z1^14*z4*z2-25254407700480*z1^10*z4*z2^3-189000*z1^2*z4*z2^7-460836569088*z1^
11*z4*z5-15750*z1^4*z4^2*z2^4+23803330560*z1^8*z4^2*z2^2+1050*z1^7*z4^2*z5+
4608365690880*z1^10*z4^2*z2+18975817728*z1^7*z5*z2^4+28350*z1^3*z5*z2^6+1260*
z1^6*z5^2*z2^2-10500*z1^6*z4^3*z2+4407667237847040*z1^13*z5*z2+158490735673344
*z1^11*z5*z2^2+4147529121792*z1^9*z5*z2^3-12600*z1^5*z4*z5*z2^3-10642391040*z1
^9*z4*z2*z5-2884766667563335680*z1^12*z2^4-105784013708328960*z1^10*z2^5-\
1224194528378880*z1^8*z2^6-41475291217920*z1^6*z2^7+75435293758455808*z1^15*z5
+128655745351680*z1^12*z4^2+1067581440*z1^10*z5^2-358052659200*z1^4*z2^8)*z^10
+8*z1^6*(-290984034304*z1^12*z6+205520896*z1^11*z7+2617025495040*z1^6*z2^6+
287679600*z1^2*z2^8+2625*z1^6*z4^3-22716800*z1^6*z3^4-881568*z1^8*z5^2-\
391485849600*z1^10*z4^2-2001605754880*z1^9*z3^3+283500*z2^9+1724194488320*z1^9
*z2*z3*z4+525*z1^6*z2*z4*z6-525*z1^6*z4*z5*z3+450*z1^6*z2*z3*z7-252000*z1^3*z2
^4*z3*z4-15750*z1^4*z5*z2^3*z3+194250*z1^4*z2^2*z4*z3^2+12600*z1^5*z2^2*z5*z4+
8400*z1^5*z5*z2*z3^2-42000*z1^5*z2*z3*z4^2-5250*z1^5*z2^2*z3*z6-10514400*z1^6*
z5*z2^2*z3+116569600*z1^6*z3^2*z4*z2-5231040*z1^7*z2*z3*z6+8669760*z1^7*z5*z2*
z4-122544000*z1^5*z2^3*z3*z4-6397968384*z1^7*z2^3*z5+710885376*z1^8*z2^2*z6-\
473923584*z1^9*z3*z6-4315938816*z1^10*z6*z2+297363570688*z1^10*z3*z5-\
413675814912*z1^9*z2^2*z5-345275105280*z1^8*z4*z2^3+3834642432000*z1^8*z3^2*z2
^2-5234050990080*z1^7*z3*z2^4-767145600*z1^3*z2^6*z3-850500*z1*z2^7*z3+850500*
z1^2*z2^5*z3^2+141750*z1^2*z2^6*z4-1575*z1^6*z5^2*z2-350*z1^6*z3^2*z6+105*z1^7
*z5*z6-75*z1^7*z4*z7-304500*z1^3*z2^3*z3^3-9450*z1^3*z5*z2^5+6300*z1^4*z2^4*z6
-21000*z1^4*z3^4*z2-450*z1^5*z2^3*z7+3500*z1^5*z4*z3^3-18886800*z1^6*z4^2*z2^2
+6054240*z1^6*z6*z2^3+7912640*z1^7*z5*z3^2-16308000*z1^7*z4^2*z3-117600*z1^7*
z2^2*z7+78400*z1^8*z3*z7+597440*z1^8*z6*z4+103161600*z1^4*z2^5*z4+663984000*z1
^4*z2^4*z3^2-213408000*z1^5*z2^2*z3^3-14817600*z1^5*z2^4*z5+63979683840*z1^4*
z2^7-104754252349440*z1^8*z2^5+3545924999577600*z1^12*z3^2-510310834241536*z1^
13*z5+19460325019484160*z1^10*z2^4+244883229738270720*z1^12*z2^3+
40813871623045120*z1^14*z4-149285928960*z1^5*z2^5*z3+710885376*z1^9*z5*z4+
113741660160*z1^6*z2^3*z3^2+10663280640*z1^6*z2^4*z4+7108853760*z1^8*z4*z3^2-\
7108853760*z1^8*z2*z4^2-42653122560*z1^7*z2*z3^3-52377126174720*z1^10*z2*z3^2-\
34918084116480*z1^10*z2^2*z4+174590420582400*z1^9*z2^3*z3+8729521029120*z1^11*
z3*z4+4364760514560*z1^11*z2*z5+7108853760*z1^7*z2^2*z3*z4+2843541504*z1^8*z2*
z3*z5+5103108342415360*z1^12*z2*z4-25947100025978880*z1^11*z2^2*z3-\
244883229738270720*z1^13*z2*z3)*z^9+2*z1^8*(11509170176*z1^10*z6+458752*z1^9*
z7-384134400*z1^2*z2^7-722925*z2^8-13081396641792*z1^11*z5+2394*z1^6*z5^2+
256089600*z1^5*z2*z3^3+38413440*z1^5*z2^3*z5-64022400*z1^4*z2^4*z4-682905600*
z1^4*z2^3*z3^2-4268160*z1^6*z2^2*z6+42681600*z1^6*z2*z4^2+2845440*z1^7*z3*z6-\
9633792*z1^8*z6*z2+5325127680*z1^7*z2^2*z5-172637552640*z1^9*z2*z5+896313600*
z1^3*z2^5*z3-15750*z1^4*z6*z2^3+270*z1^5*z2^2*z7-180*z1^6*z3*z7-1680*z1^6*z6*
z4+34020*z1^3*z2^4*z5+33390*z1^4*z5*z2^2*z3+13860*z1^5*z2*z3*z6-22680*z1^5*z5*
z2*z4-42681600*z1^5*z2^2*z3*z4-17072640*z1^6*z2*z3*z5+1381100421120*z1^8*z4*z2
^2+45150*z1^5*z4^2*z3+82044518400*z1^5*z2^4*z3+45675*z1^4*z4^2*z2^2+520800*z1^
3*z2^2*z3^3-264600*z1^2*z2^5*z4-1663200*z1^2*z2^4*z3^2+1927800*z1*z2^6*z3-\
770703360*z1^6*z2^3*z4-53925642240*z1^6*z3^2*z2^2+2071650631680*z1^8*z2*z3^2-\
6905502105600*z1^7*z2^3*z3+11709798835814400*z1^11*z2*z3+130813966417920*z1^10
*z2*z4-345275105280*z1^9*z3*z4-753407593807872*z1^9*z2^2*z3+30962247438172160*
z1^13*z3-46443371157258240*z1^12*z2^2-1951633139302400*z1^12*z4-\
11709798835814400*z1^10*z2^3+120321898184704*z1^10*z3^2+565055695355904*z1^8*
z2^4+4333240320*z1^8*z4^2+23303290880*z1^7*z3^3+4143301263360*z1^6*z2^5-\
41022259200*z1^4*z2^6+68600*z1^4*z3^4-4268160*z1^7*z4*z5-42681600*z1^6*z3^2*z4
-23100*z1^5*z3^2*z5-3501916160*z1^8*z3*z5-16979722240*z1^7*z3*z4*z2-310800*z1^
4*z2*z3^2*z4+327600*z1^3*z2^3*z3*z4)*z^8-16*z1^10*(57384960*z1^7*z2*z5-\
459079680*z1^6*z2^2*z4-688619520*z1^6*z2*z3^2-263575830528*z1^7*z2^2*z3+
114769920*z1^7*z3*z4+2295398400*z1^5*z2^3*z3+22096398778368*z1^8*z2^3-\
1377239040*z1^4*z2^5-28350*z2^7+197681872896*z1^6*z2^4+43828903936*z1^8*z3^2+
3682733129728*z1^10*z4+38208029065216*z1^11*z3-315*z1^5*z5*z4-1857920*z1^5*z2*
z3*z4-3825664*z1^8*z6+1328*z1^7*z7-12337560*z1^2*z2^6+720120*z1^6*z4^2+4398400
*z1^5*z3^3+2835*z1^3*z2^3*z5-315*z1^4*z2^2*z6+210*z1^5*z3*z6-27888*z1^6*z6*z2-\
678352*z1^6*z3*z5+1226688*z1^5*z2^2*z5-2231040*z1^4*z4*z2^3-14219040*z1^4*z3^2
*z2^2+24675120*z1^3*z3*z2^4-57312043597824*z1^10*z2^2+44029706240*z1^8*z2*z4-\
22096398778368*z1^9*z2*z3+3150*z1^4*z2*z4^2-4402970624*z1^9*z5-1260*z1^4*z2*z3
*z5-3150*z1^3*z2^2*z3*z4+18900*z1^3*z2*z3^3+66150*z1*z2^5*z3-50400*z1^2*z2^3*
z3^2-4725*z1^2*z2^4*z4-3150*z1^4*z4*z3^2)*z^7+2*z1^12*(11719385088*z1^5*z2^2*
z3-20887633920*z1^7*z2*z3+140737488355328*z1^12-75825*z2^6-2356838400*z1^6*z2*
z4+3525*z1^4*z4^2+23000*z1^3*z3^3-8789538816*z1^4*z2^4+235683840*z1^7*z5-\
160640*z1^6*z6+10*z1^5*z7-57830400*z1^2*z2^5-210*z1^4*z6*z2-3590*z1^4*z3*z5+
6960*z1^3*z2^2*z5-16800*z1^2*z4*z2^3+4819200*z1^5*z4*z3+2409600*z1^5*z2*z5-\
19276800*z1^4*z2^2*z4-28915200*z1^4*z3^2*z2+96384000*z1^3*z3*z2^3-\
11430518587392*z1^9*z3+3481272320*z1^8*z4+17145777881088*z1^8*z2^2-1549623296*
z1^6*z3^2+20887633920*z1^6*z2^3-84300*z1^2*z2^2*z3^2+151650*z1*z2^4*z3-6400*z1
^3*z2*z3*z4)*z^6-8*z1^14*(-6673680*z1^2*z2^4-6300*z1^2*z3^2*z2-4200*z1^2*z2^2*
z4-35*z1^4*z6-655896576*z1^4*z2^3-1723840*z1^4*z4*z2-1242240*z1^4*z3^2+
655896576*z1^5*z2*z3+172384*z1^5*z5+481036337152*z1^10+4637851648*z1^7*z3-\
12600*z2^5+8898240*z1^3*z2^2*z3+1050*z1^3*z3*z4+525*z1^3*z2*z5-6956777472*z1^6
*z2^2-109316096*z1^6*z4+21000*z1*z3*z2^3)*z^5+z1^16*(-10720*z1^2*z2*z4-7500*z1
^2*z3^2-10890240*z1^2*z2^3+10890240*z1^3*z2*z3+1072*z1^3*z5-1815040*z1^4*z4-\
444751872*z2^2*z1^4+54660*z1*z2^2*z3+296501248*z1^5*z3-40995*z2^4+211795574784
*z1^8)*z^4+8*z1^18*(870*z2^3-870*z1*z2*z3+258867200*z1^6-65792*z1^3*z3+145*z1^
2*z4+98688*z1^2*z2^2)*z^3+2*z1^20*(1615872*z1^4+110*z1*z3-165*z2^2)*z^2-896*z1
^24*z+z1^24;