3821*x2*x3*x4*x5*x6*x7-7730*x2*x3*x4*x5*x6-164*x2*x3*x4*x5*x7-2536*x2*x3*x4*x6*x7-4321*x2*x3*x5*x6*x7-2161*x2*x4*x5*x6*x7-2188*x3*x4*x5*x6*x7-486*x2*x3*x4*x5+3491*x2*x3*x4*x6+4247*x2*x3*x5*x6+3528*x2*x4*x5*x6+2616*x3*x4*x5*x6-101*x2*x3*x4*x7+1765*x2*x3*x5*x7+258*x2*x4*x5*x7-378*x3*x4*x5*x7+1246*x2*x3*x6*x7+2320*x2*x4*x6*x7+1776*x3*x4*x6*x7+1715*x2*x5*x6*x7+728*x3*x5*x6*x7+842*x4*x5*x6*x7+69*x2*x3*x4-1660*x2*x3*x5+1863*x2*x4*x5+1520*x3*x4*x5-245*x2*x3*x6-804*x2*x4*x6-2552*x3*x4*x6-3152*x2*x5*x6+40*x3*x5*x6-1213*x4*x5*x6+270*x2*x3*x7-851*x2*x4*x7+327*x3*x4*x7-1151*x2*x5*x7+1035*x3*x5*x7-161*x4*x5*x7-230*x2*x6*x7-294*x3*x6*x7-973*x4*x6*x7-264*x5*x6*x7+874*x2*x3-2212*x2*x4+168*x3*x4+511*x2*x5-918*x3*x5-2017*x4*x5-76*x2*x6+465*x3*x6+1629*x4*x6+856*x5*x6-54*x2*x7-1355*x3*x7+227*x4*x7+77*x5*x7-220*x6*x7-696*x2+458*x3+486*x4+661*x5-650*x6+671*x7-439
-6157*x1*x3*x4*x5*x6*x7+13318*x1*x3*x4*x5*x6+5928*x1*x3*x4*x5*x7+1904*x1*x3*x4*x6*x7+2109*x1*x3*x5*x6*x7+8475*x1*x4*x5*x6*x7+2878*x3*x4*x5*x6*x7-8339*x1*x3*x4*x5-2800*x1*x3*x4*x6-9649*x1*x3*x5*x6-10964*x1*x4*x5*x6-4481*x3*x4*x5*x6+251*x1*x3*x4*x7-4245*x1*x3*x5*x7-7707*x1*x4*x5*x7-2448*x3*x4*x5*x7+1057*x1*x3*x6*x7-3605*x1*x4*x6*x7+546*x3*x4*x6*x7-3633*x1*x5*x6*x7-699*x3*x5*x6*x7-4126*x4*x5*x6*x7-730*x1*x3*x4+5519*x1*x3*x5+8168*x1*x4*x5+4366*x3*x4*x5+2847*x1*x3*x6+2058*x1*x4*x6-1416*x3*x4*x6+8004*x1*x5*x6+4740*x3*x5*x6+5361*x4*x5*x6-677*x1*x3*x7+1755*x1*x4*x7-760*x3*x4*x7+3384*x1*x5*x7+2038*x3*x5*x7+4119*x4*x5*x7+812*x1*x6*x7+11*x3*x6*x7+2022*x4*x6*x7+2642*x5*x6*x7+1276*x1*x3-1723*x1*x4+121*x3*x4-6456*x1*x5-3710*x3*x5-4525*x4*x5-2187*x1*x6-1559*x3*x6-848*x4*x6-4041*x5*x6-83*x1*x7-12*x3*x7-1180*x4*x7-2747*x5*x7-1970*x6*x7+2575*x1-161*x3+2149*x4+4294*x5+1687*x6+958*x7-1950
182*x1*x2*x4*x5*x6*x7-2824*x1*x2*x4*x5*x6-3513*x1*x2*x4*x5*x7-3386*x1*x2*x4*x6*x7-2330*x1*x2*x5*x6*x7-2838*x1*x4*x5*x6*x7+1294*x2*x4*x5*x6*x7+4764*x1*x2*x4*x5+1647*x1*x2*x4*x6+4221*x1*x2*x5*x6+814*x1*x4*x5*x6+2738*x2*x4*x5*x6+4057*x1*x2*x4*x7+2403*x1*x2*x5*x7+2552*x1*x4*x5*x7+471*x2*x4*x5*x7+448*x1*x2*x6*x7+2336*x1*x4*x6*x7+1617*x2*x4*x6*x7+2220*x1*x5*x6*x7-1543*x2*x5*x6*x7+402*x4*x5*x6*x7-5184*x1*x2*x4-3983*x1*x2*x5+44*x1*x4*x5-1327*x2*x4*x5-581*x1*x2*x6-389*x1*x4*x6-2722*x2*x4*x6+443*x1*x5*x6-2893*x2*x5*x6-154*x4*x5*x6-1277*x1*x2*x7-2018*x1*x4*x7-509*x2*x4*x7-1254*x1*x5*x7+602*x2*x5*x7-464*x4*x5*x7-647*x1*x6*x7+922*x2*x6*x7-1463*x4*x6*x7+729*x5*x6*x7+2665*x1*x2+591*x1*x4+981*x2*x4-444*x1*x5+1818*x2*x5-1985*x4*x5-1818*x1*x6+197*x2*x6+1038*x4*x6+340*x5*x6+399*x1*x7-835*x2*x7+787*x4*x7-753*x5*x7-221*x6*x7+481*x1+260*x2+1713*x4+1219*x5+794*x6+762*x7-1231
2923*x1*x2*x3*x5*x6*x7-4328*x1*x2*x3*x5*x6-3674*x1*x2*x3*x5*x7-3291*x1*x2*x3*x6*x7-4955*x1*x2*x5*x6*x7-8*x1*x3*x5*x6*x7-135*x2*x3*x5*x6*x7+7784*x1*x2*x3*x5+3471*x1*x2*x3*x6+1544*x1*x2*x5*x6+1607*x1*x3*x5*x6+1710*x2*x3*x5*x6+2434*x1*x2*x3*x7+1408*x1*x2*x5*x7-215*x1*x3*x5*x7+507*x2*x3*x5*x7+2208*x1*x2*x6*x7+1920*x1*x3*x6*x7-389*x2*x3*x6*x7+1304*x1*x5*x6*x7+2480*x2*x5*x6*x7+102*x3*x5*x6*x7-2683*x1*x2*x3-3508*x1*x2*x5-3505*x1*x3*x5-2400*x2*x3*x5-2236*x1*x2*x6-1727*x1*x3*x6-1354*x2*x3*x6-1022*x1*x5*x6-2099*x2*x5*x6-918*x3*x5*x6-495*x1*x2*x7-109*x1*x3*x7+474*x2*x3*x7+268*x1*x5*x7+1084*x2*x5*x7-190*x3*x5*x7-666*x1*x6*x7-497*x2*x6*x7+615*x3*x6*x7-912*x5*x6*x7+473*x1*x2+742*x1*x3+186*x2*x3+1021*x1*x5+2556*x2*x5+2312*x3*x5+1075*x1*x6+920*x2*x6+164*x3*x6+80*x5*x6-199*x1*x7-1270*x2*x7-1050*x3*x7-724*x5*x7+136*x6*x7+740*x1-474*x2+37*x3-1056*x5+303*x6+833*x7+736
4990*x1*x2*x3*x4*x6*x7-3067*x1*x2*x3*x4*x6-1661*x1*x2*x3*x4*x7-4064*x1*x2*x3*x6*x7-223*x1*x2*x4*x6*x7-5229*x1*x3*x4*x6*x7-4636*x2*x3*x4*x6*x7+5720*x1*x2*x3*x4+4872*x1*x2*x3*x6+1643*x1*x2*x4*x6+4536*x1*x3*x4*x6+2451*x2*x3*x4*x6+1264*x1*x2*x3*x7+70*x1*x2*x4*x7+2213*x1*x3*x4*x7+1734*x2*x3*x4*x7+1698*x1*x2*x6*x7+3799*x1*x3*x6*x7+1622*x2*x3*x6*x7+901*x1*x4*x6*x7-496*x2*x4*x6*x7+3782*x3*x4*x6*x7-5591*x1*x2*x3-1303*x1*x2*x4-6383*x1*x3*x4-2332*x2*x3*x4-3179*x1*x2*x6-6257*x1*x3*x6-3654*x2*x3*x6-1830*x1*x4*x6-1473*x2*x4*x6-3278*x3*x4*x6-1462*x1*x2*x7-1495*x1*x3*x7-468*x2*x3*x7-400*x1*x4*x7+431*x2*x4*x7-1907*x3*x4*x7-1547*x1*x6*x7-214*x2*x6*x7-1423*x3*x6*x7-1625*x4*x6*x7+5708*x1*x2+3809*x1*x3+2053*x2*x3+2824*x1*x4+1122*x2*x4+3653*x3*x4+3658*x1*x6+3001*x2*x6+3890*x3*x6+2371*x4*x6+602*x1*x7+185*x2*x7+899*x3*x7+963*x4*x7+560*x6*x7-4557*x1-3536*x2-1635*x3-2552*x4-2595*x6-207*x7+2740
-1407*x1*x2*x3*x4*x5*x7+4444*x1*x2*x3*x4*x5+2350*x1*x2*x3*x4*x7+5424*x1*x2*x3*x5*x7-2524*x1*x2*x4*x5*x7-985*x1*x3*x4*x5*x7-431*x2*x3*x4*x5*x7-2662*x1*x2*x3*x4-5342*x1*x2*x3*x5-39*x1*x2*x4*x5-2525*x1*x3*x4*x5-2650*x2*x3*x4*x5-3553*x1*x2*x3*x7-71*x1*x2*x4*x7-3268*x1*x3*x4*x7-1140*x2*x3*x4*x7-702*x1*x2*x5*x7-924*x1*x3*x5*x7-2198*x2*x3*x5*x7+4087*x1*x4*x5*x7+2709*x2*x4*x5*x7+587*x3*x4*x5*x7+968*x1*x2*x3-150*x1*x2*x4+909*x1*x3*x4+4587*x2*x3*x4+929*x1*x2*x5+1804*x1*x3*x5+2226*x2*x3*x5-916*x1*x4*x5+906*x2*x4*x5+2735*x3*x4*x5+1894*x1*x2*x7+2998*x1*x3*x7+1611*x2*x3*x7+304*x1*x4*x7-1601*x2*x4*x7+2066*x3*x4*x7-1971*x1*x5*x7-480*x2*x5*x7-500*x3*x5*x7-2617*x4*x5*x7-532*x1*x2+2016*x1*x3-2574*x2*x3+529*x1*x4-1251*x2*x4-2082*x3*x4+280*x1*x5-852*x2*x5-476*x3*x5-340*x4*x5-924*x1*x7+253*x2*x7-1090*x3*x7+170*x4*x7+1204*x5*x7-869*x1+1394*x2-264*x3+719*x4+219*x5-128*x7+506
-901*x1*x2*x3*x4*x5*x6+1805*x1*x2*x3*x4*x5-1103*x1*x2*x3*x4*x6-1746*x1*x2*x3*x5*x6-1968*x1*x2*x4*x5*x6+3957*x1*x3*x4*x5*x6+1293*x2*x3*x4*x5*x6-523*x1*x2*x3*x4-2498*x1*x2*x3*x5+693*x1*x2*x4*x5-2805*x1*x3*x4*x5-722*x2*x3*x4*x5-770*x1*x2*x3*x6+1088*x1*x2*x4*x6-232*x1*x3*x4*x6+2657*x2*x3*x4*x6+3281*x1*x2*x5*x6-1066*x1*x3*x5*x6+240*x2*x3*x5*x6-1174*x1*x4*x5*x6+1304*x2*x4*x5*x6-2070*x3*x4*x5*x6+2571*x1*x2*x3+115*x1*x2*x4+3899*x1*x3*x4-4641*x2*x3*x4-752*x1*x2*x5+1531*x1*x3*x5+1178*x2*x3*x5+11*x1*x4*x5-1144*x2*x4*x5-1701*x3*x4*x5+592*x1*x2*x6+1140*x1*x3*x6+130*x2*x3*x6+304*x1*x4*x6-2273*x2*x4*x6-1224*x3*x4*x6-2*x1*x5*x6-1090*x2*x5*x6+585*x3*x5*x6+670*x4*x5*x6-1867*x1*x2-4780*x1*x3+1079*x2*x3-2435*x1*x4+2901*x2*x4+2073*x3*x4+499*x1*x5+908*x2*x5+323*x3*x5+1631*x4*x5-966*x1*x6-315*x2*x6-481*x3*x6+759*x4*x6-595*x5*x6+3233*x1-1978*x2+729*x3-1184*x4-40*x5+446*x6+282
