f1234567 = x124*x235*x346*x457*x156*x267*x137
f1234576 = x124*x235*x347*x456*x157*x267*x136
f1234657 = x124*x236*x345*x467*x156*x257*x137
f1234675 = x124*x236*x347*x456*x167*x257*x135
f1234756 = x124*x237*x345*x467*x157*x256*x136
f1234765 = x124*x237*x346*x457*x167*x256*x135
f1235467 = x125*x234*x356*x457*x146*x267*x137
f1235476 = x125*x234*x357*x456*x147*x267*x136
f1235647 = x125*x236*x345*x567*x146*x247*x137
f1235674 = x125*x236*x357*x456*x167*x247*x134
f1235746 = x125*x237*x345*x567*x147*x246*x136
f1235764 = x125*x237*x356*x457*x167*x246*x134
f1236457 = x126*x234*x356*x467*x145*x257*x137
f1236475 = x126*x234*x367*x456*x147*x257*x135
f1236547 = x126*x235*x346*x567*x145*x247*x137
f1236574 = x126*x235*x367*x456*x157*x247*x134
f1236745 = x126*x237*x346*x567*x147*x245*x135
f1236754 = x126*x237*x356*x467*x157*x245*x134
f1237456 = x127*x234*x357*x467*x145*x256*x136
f1237465 = x127*x234*x367*x457*x146*x256*x135
f1237546 = x127*x235*x347*x567*x145*x246*x136
f1237564 = x127*x235*x367*x457*x156*x246*x134
f1237645 = x127*x236*x347*x567*x146*x245*x135
f1237654 = x127*x236*x357*x467*x156*x245*x134
f1243567 = x123*x245*x346*x357*x156*x267*x147
f1243576 = x123*x245*x347*x356*x157*x267*x146
f1243657 = x123*x246*x345*x367*x156*x257*x147
f1243675 = x123*x246*x347*x356*x167*x257*x145
f1243756 = x123*x247*x345*x367*x157*x256*x146
f1243765 = x123*x247*x346*x357*x167*x256*x145
g1234567 = x1*x23*x45*x67*x123*x145*x167
g1234657 = x1*x23*x46*x57*x123*x146*x157
g1234756 = x1*x23*x47*x56*x123*x147*x156
g1243567 = x1*x24*x35*x67*x124*x135*x167
g1243657 = x1*x24*x36*x57*x124*x136*x157
g1243756 = x1*x24*x37*x56*x124*x137*x156
g1253467 = x1*x25*x34*x67*x125*x134*x167
g1253647 = x1*x25*x36*x47*x125*x136*x147
g1253746 = x1*x25*x37*x46*x125*x137*x146
g1263457 = x1*x26*x34*x57*x126*x134*x157
g1263547 = x1*x26*x35*x47*x126*x135*x147
g1263745 = x1*x26*x37*x45*x126*x137*x145
g1273456 = x1*x27*x34*x56*x127*x134*x156
g1273546 = x1*x27*x35*x46*x127*x135*x146
g1273645 = x1*x27*x36*x45*x127*x136*x145
g2134567 = x2*x13*x45*x67*x123*x245*x267
g2134657 = x2*x13*x46*x57*x123*x246*x257
g2134756 = x2*x13*x47*x56*x123*x247*x256
g2143567 = x2*x14*x35*x67*x124*x235*x267
g2143657 = x2*x14*x36*x57*x124*x236*x257
g2143756 = x2*x14*x37*x56*x124*x237*x256
g2153467 = x2*x15*x34*x67*x125*x234*x267
g2153647 = x2*x15*x36*x47*x125*x236*x247
g2153746 = x2*x15*x37*x46*x125*x237*x246
g2163457 = x2*x16*x34*x57*x126*x234*x257
g2163547 = x2*x16*x35*x47*x126*x235*x247
g2163745 = x2*x16*x37*x45*x126*x237*x245
g2173456 = x2*x17*x34*x56*x127*x234*x256
g2173546 = x2*x17*x35*x46*x127*x235*x246
g2173645 = x2*x17*x36*x45*x127*x236*x245
g3124567 = x3*x12*x45*x67*x123*x345*x367
g3124657 = x3*x12*x46*x57*x123*x346*x357
g3124756 = x3*x12*x47*x56*x123*x347*x356
g3142567 = x3*x14*x25*x67*x134*x235*x367
g3142657 = x3*x14*x26*x57*x134*x236*x357
g3142756 = x3*x14*x27*x56*x134*x237*x356
g3152467 = x3*x15*x24*x67*x135*x234*x367
g3152647 = x3*x15*x26*x47*x135*x236*x347
g3152746 = x3*x15*x27*x46*x135*x237*x346
g3162457 = x3*x16*x24*x57*x136*x234*x357
g3162547 = x3*x16*x25*x47*x136*x235*x347
g3162745 = x3*x16*x27*x45*x136*x237*x345
g3172456 = x3*x17*x24*x56*x137*x234*x356
g3172546 = x3*x17*x25*x46*x137*x235*x346
g3172645 = x3*x17*x26*x45*x137*x236*x345
g4123567 = x4*x12*x35*x67*x124*x345*x467
g4123657 = x4*x12*x36*x57*x124*x346*x457
g4123756 = x4*x12*x37*x56*x124*x347*x456
g4132567 = x4*x13*x25*x67*x134*x245*x467
g4132657 = x4*x13*x26*x57*x134*x246*x457
g4132756 = x4*x13*x27*x56*x134*x247*x456
g4152367 = x4*x15*x23*x67*x145*x234*x467
g4152637 = x4*x15*x26*x37*x145*x246*x347
g4152736 = x4*x15*x27*x36*x145*x247*x346
g4162357 = x4*x16*x23*x57*x146*x234*x457
g4162537 = x4*x16*x25*x37*x146*x245*x347
g4162735 = x4*x16*x27*x35*x146*x247*x345
g4172356 = x4*x17*x23*x56*x147*x234*x456
g4172536 = x4*x17*x25*x36*x147*x245*x346
g4172635 = x4*x17*x26*x35*x147*x246*x345
g5123467 = x5*x12*x34*x67*x125*x345*x567
g5123647 = x5*x12*x36*x47*x125*x356*x457
g5123746 = x5*x12*x37*x46*x125*x357*x456
g5132467 = x5*x13*x24*x67*x135*x245*x567
g5132647 = x5*x13*x26*x47*x135*x256*x457
g5132746 = x5*x13*x27*x46*x135*x257*x456
g5142367 = x5*x14*x23*x67*x145*x235*x567
g5142637 = x5*x14*x26*x37*x145*x256*x357
g5142736 = x5*x14*x27*x36*x145*x257*x356
g5162347 = x5*x16*x23*x47*x156*x235*x457
g5162437 = x5*x16*x24*x37*x156*x245*x357
g5162734 = x5*x16*x27*x34*x156*x257*x345
g5172346 = x5*x17*x23*x46*x157*x235*x456
g5172436 = x5*x17*x24*x36*x157*x245*x356
g5172634 = x5*x17*x26*x34*x157*x256*x345
g6123457 = x6*x12*x34*x57*x126*x346*x567
g6123547 = x6*x12*x35*x47*x126*x356*x467
g6123745 = x6*x12*x37*x45*x126*x367*x456
g6132457 = x6*x13*x24*x57*x136*x246*x567
g6132547 = x6*x13*x25*x47*x136*x256*x467
g6132745 = x6*x13*x27*x45*x136*x267*x456
g6142357 = x6*x14*x23*x57*x146*x236*x567
g6142537 = x6*x14*x25*x37*x146*x256*x367
g6142735 = x6*x14*x27*x35*x146*x267*x356
g6152347 = x6*x15*x23*x47*x156*x236*x467
g6152437 = x6*x15*x24*x37*x156*x246*x367
g6152734 = x6*x15*x27*x34*x156*x267*x346
g6172345 = x6*x17*x23*x45*x167*x236*x456
g6172435 = x6*x17*x24*x35*x167*x246*x356
g6172534 = x6*x17*x25*x34*x167*x256*x346
g7123456 = x7*x12*x34*x56*x127*x347*x567
g7123546 = x7*x12*x35*x46*x127*x357*x467
g7123645 = x7*x12*x36*x45*x127*x367*x457
g7132456 = x7*x13*x24*x56*x137*x247*x567
g7132546 = x7*x13*x25*x46*x137*x257*x467
g7132645 = x7*x13*x26*x45*x137*x267*x457
g7142356 = x7*x14*x23*x56*x147*x237*x567
g7142536 = x7*x14*x25*x36*x147*x257*x367
g7142635 = x7*x14*x26*x35*x147*x267*x357
g7152346 = x7*x15*x23*x46*x157*x237*x467
g7152436 = x7*x15*x24*x36*x157*x247*x367
g7152634 = x7*x15*x26*x34*x157*x267*x347
g7162345 = x7*x16*x23*x45*x167*x237*x457
g7162435 = x7*x16*x24*x35*x167*x247*x357
g7162534 = x7*x16*x25*x34*x167*x257*x347