3 3 3 3 2 3 2 3 2 2 3 2 2 2 3 2 3 2 2 3 2 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 2 3 3 2 3 2 2 3 3 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 2 3 3 2 3 2 2 3 3 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 2 3 2 3 3 2 3 2 2 2 2 2 2 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 3 2 2 2 2 2 2 2 3 2 3 2 3 2 2 3 2 3 3 2 2 2 2 2 2 2 2 3 2 3 3 2 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 2 2 3 2 2 3 3 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 2 2 2 2 3 3 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 2 2 2 2 3 3 3 3 3 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
f7*f1 *f4 + f7*f2 *f3 + f1 *f6 *f7 + f1 *f4 *f7 + f1 *f6 *f7 + f2 *f5 *f7 + f2 *f3 *f7 + f2 *f5 *f7 + f1*f2*f5 *f7 + f1*f2*f6 *f7 + f1*f3*f2 *f7 + f1*f3*f6 *f7 + f1*f4*f2 *f7 + f1*f4*f5 *f7 + f1*f5*f2 *f7 + f1*f5*f6 *f7 + f1*f6*f2 *f7 + f1*f6*f5 *f7 + f1*f7*f2 *f4 + f1*f7*f2 *f3 + f1*f7*f2 *f4 + f1*f7*f3 *f6 + f1*f7*f3 *f6 + f1*f7*f4 *f5 + f1*f7*f4 *f5 + f1*f2 *f4 *f7 + f1*f3 *f6 *f7 + f1*f4 *f5 *f7 + f2*f3*f1 *f7 + f2*f3*f6 *f7 + f2*f4*f1 *f7 + f2*f4*f5 *f7 + f2*f5*f1 *f7 + f2*f5*f6 *f7 + f2*f6*f1 *f7 + f2*f6*f5 *f7 + f2*f7*f1 *f3 + f2*f7*f1 *f3 + f2*f7*f1 *f4 + f2*f7*f3 *f6 + f2*f7*f3 *f6 + f2*f7*f4 *f5 + f2*f7*f4 *f5 + f2*f1 *f3 *f7 + f2*f3 *f6 *f7 + f2*f4 *f5 *f7 + f3*f4*f1 *f7 + f3*f4*f2 *f7 + f3*f6*f1 *f7 + f3*f6*f2 *f7 + f3*f7*f1 *f4 + f3*f7*f1 *f6 + f3*f7*f1 *f6 + f3*f7*f2 *f4 + f3*f7*f2 *f5 + f3*f7*f2 *f4 + f3*f7*f2 *f5 + f3*f1 *f4 *f7 + f3*f2 *f4 *f7 + f4*f5*f1 *f7 + f4*f5*f2 *f7 + f4*f7*f1 *f3 + f4*f7*f1 *f6 + f4*f7*f1 *f3 + f4*f7*f1 *f6 + f4*f7*f2 *f3 + f4*f7*f2 *f5 + f4*f7*f2 *f5 + f4*f1 *f3 *f7 + f4*f2 *f3 *f7 + f5*f6*f1 *f7 + f5*f6*f2 *f7 + f5*f7*f1 *f4 + f5*f7*f2 *f3 + f5*f7*f2 *f4 + f5*f7*f2 *f4 + f5*f2 *f3 *f7 + f5*f2 *f4 *f7 + f6*f7*f1 *f3 + f6*f7*f1 *f4 + f6*f7*f1 *f3 + f6*f7*f2 *f3 + f6*f1 *f3 *f7 + f6*f1 *f4 *f7 + 2*f1*f7*f2 *f3 + 2*f1*f2 *f3 *f7 + 2*f1*f2 *f6 *f7 + 2*f1*f5 *f6 *f7 + 2*f2*f7*f1 *f4 + 2*f2*f1 *f4 *f7 + 2*f2*f1 *f5 *f7 + 2*f2*f5 *f6 *f7 + 2*f3*f5*f2 *f7 + 2*f3*f7*f1 *f4 + 2*f3*f1 *f2 *f7 + 2*f3*f1 *f6 *f7 + 2*f3*f2 *f5 *f7 + 2*f3*f2 *f6 *f7 + 2*f4*f6*f1 *f7 + 2*f4*f7*f2 *f3 + 2*f4*f1 *f2 *f7 + 2*f4*f1 *f5 *f7 + 2*f4*f1 *f6 *f7 + 2*f4*f2 *f5 *f7 + 2*f5*f7*f1 *f4 + 2*f5*f7*f2 *f3 + 2*f5*f1 *f2 *f7 + 2*f5*f1 *f4 *f7 + 2*f5*f2 *f6 *f7 + 2*f6*f7*f1 *f4 + 2*f6*f7*f2 *f3 + 2*f6*f1 *f2 *f7 + 2*f6*f1 *f5 *f7 + 2*f6*f2 *f3 *f7 + 2*f7*f1 *f2 *f3 + 2*f7*f1 *f2 *f4 + 2*f7*f1 *f3 *f4 + 2*f7*f1 *f3 *f6 + 2*f7*f1 *f4 *f5 + 2*f7*f1 *f4 *f6 + 2*f7*f2 *f3 *f4 + 2*f7*f2 *f3 *f5 + 2*f7*f2 *f3 *f6 + 2*f7*f2 *f4 *f5 + 3*f1*f2 *f5 *f7 + 3*f2*f1 *f6 *f7 + 3*f5*f1 *f6 *f7 + 3*f6*f2 *f5 *f7 + f1*f2*f3*f7*f5 + f1*f2*f3*f7*f6 + f1*f2*f4*f7*f5 + f1*f2*f4*f7*f6 + f1*f2*f5*f7*f3 + f1*f2*f5*f3 *f7 + f1*f2*f6*f7*f4 + f1*f2*f6*f4 *f7 + f1*f3*f4*f7*f5 + f1*f3*f4*f7*f6 + f1*f3*f5*f7*f2 + f1*f3*f5*f7*f4 + f1*f3*f5*f7*f6 + f1*f3*f5*f4 *f7 + f1*f3*f6*f7*f2 + f1*f3*f6*f7*f4 + f1*f3*f6*f7*f5 + f1*f3*f6*f4 *f7 + f1*f4*f5*f7*f2 + f1*f4*f5*f7*f3 + f1*f4*f5*f7*f6 + f1*f4*f5*f3 *f7 + f1*f4*f6*f7*f2 + f1*f4*f6*f7*f3 + f1*f4*f6*f7*f5 + f1*f4*f6*f3 *f7 + f1*f5*f6*f7*f3 + f1*f5*f6*f7*f4 + f1*f5*f6*f3 *f7 + f1*f5*f6*f4 *f7 + f2*f3*f4*f7*f5 + f2*f3*f4*f7*f6 + f2*f3*f5*f7*f1 + f2*f3*f5*f7*f4 + f2*f3*f5*f7*f6 + f2*f3*f5*f4 *f7 + f2*f3*f6*f7*f1 + f2*f3*f6*f7*f4 + f2*f3*f6*f7*f5 + f2*f3*f6*f4 *f7 + f2*f4*f5*f7*f1 + f2*f4*f5*f7*f3 + f2*f4*f5*f7*f6 + f2*f4*f5*f3 *f7 + f2*f4*f6*f7*f1 + f2*f4*f6*f7*f3 + f2*f4*f6*f7*f5 + f2*f4*f6*f3 *f7 + f2*f5*f6*f7*f3 + f2*f5*f6*f7*f4 + f2*f5*f6*f3 *f7 + f2*f5*f6*f4 *f7 + f3*f4*f5*f7*f1 + f3*f4*f6*f7*f2 + f3*f5*f6*f7*f1 + f3*f5*f6*f7*f2 + f4*f5*f6*f7*f1 + f4*f5*f6*f7*f2 + 2*f1*f2*f3*f7*f4 + 2*f1*f2*f3*f4 *f7 + 2*f1*f2*f3*f5 *f7 + 2*f1*f2*f4*f7*f3 + 2*f1*f2*f4*f3 *f7 + 2*f1*f2*f4*f6 *f7 + 2*f1*f2*f7*f3 *f5 + 2*f1*f2*f7*f4 *f6 + 2*f1*f3*f4*f7*f2 + 2*f1*f3*f4*f5 *f7 + 2*f1*f3*f4*f6 *f7 + 2*f1*f3*f6*f5 *f7 + 2*f1*f3*f7*f2 *f6 + 2*f1*f3*f7*f4 *f6 + 2*f1*f3*f7*f5 *f6 + 2*f1*f4*f5*f6 *f7 + 2*f1*f4*f7*f2 *f6 + 2*f1*f4*f7*f3 *f5 + 2*f1*f4*f7*f5 *f6 + 2*f1*f5*f7*f3 *f4 + 2*f1*f5*f7*f4 *f6 + 2*f1*f6*f7*f3 *f4 + 2*f1*f6*f7*f3 *f5 + 2*f2*f3*f4*f7*f1 + 2*f2*f3*f4*f5 *f7 + 2*f2*f3*f4*f6 *f7 + 2*f2*f3*f6*f5 *f7 + 2*f2*f3*f7*f1 *f5 + 2*f2*f3*f7*f4 *f6 + 2*f2*f3*f7*f5 *f6 + 2*f2*f4*f5*f6 *f7 + 2*f2*f4*f7*f1 *f5 + 2*f2*f4*f7*f3 *f5 + 2*f2*f4*f7*f5 *f6 + 2*f2*f5*f7*f3 *f4 + 2*f2*f5*f7*f4 *f6 + 2*f2*f6*f7*f3 *f4 + 2*f2*f6*f7*f3 *f5 + 2*f3*f4*f7*f1 *f5 + 2*f3*f4*f7*f2 *f6 + 2*f3*f5*f7*f1 *f2 + 2*f3*f5*f7*f2 *f6 + 2*f3*f6*f7*f1 *f2 + 2*f3*f6*f7*f1 *f5 + 2*f4*f5*f7*f1 *f2 + 2*f4*f5*f7*f2 *f6 + 2*f4*f6*f7*f1 *f2 + 2*f4*f6*f7*f1 *f5 + 3*f1*f2*f5*f7*f4 + 3*f1*f2*f5*f4 *f7 + 3*f1*f2*f6*f7*f3 + 3*f1*f2*f6*f3 *f7 + 3*f1*f3*f4*f2 *f7 + 3*f1*f3*f5*f6 *f7 + 3*f1*f3*f7*f2 *f5 + 3*f1*f3*f7*f4 *f5 + 3*f1*f4*f6*f2 *f7 + 3*f1*f4*f6*f5 *f7 + 3*f1*f4*f7*f2 *f5 + 3*f1*f4*f7*f3 *f6 + 3*f1*f5*f7*f3 *f6 + 3*f1*f6*f7*f2 *f4 + 3*f1*f6*f7*f4 *f5 + 3*f2*f3*f4*f1 *f7 + 3*f2*f3*f5*f1 *f7 + 3*f2*f3*f5*f6 *f7 + 3*f2*f3*f7*f1 *f6 + 3*f2*f3*f7*f4 *f5 + 3*f2*f4*f6*f5 *f7 + 3*f2*f4*f7*f1 *f6 + 3*f2*f4*f7*f3 *f6 + 3*f2*f5*f7*f1 *f3 + 3*f2*f5*f7*f3 *f6 + 3*f2*f6*f7*f4 *f5 + 3*f3*f4*f5*f7*f2 + 3*f3*f4*f5*f1 *f7 + 3*f3*f4*f5*f2 *f7 + 3*f3*f4*f6*f7*f1 + 3*f3*f4*f6*f1 *f7 + 3*f3*f4*f6*f2 *f7 + 3*f3*f5*f6*f1 *f7 + 3*f3*f5*f7*f1 *f6 + 3*f3*f6*f7*f2 *f4 + 3*f3*f6*f7*f2 *f5 + 3*f4*f5*f6*f2 *f7 + 3*f4*f5*f7*f1 *f3 + 3*f4*f5*f7*f1 *f6 + 3*f4*f6*f7*f2 *f5 + 3*f5*f6*f7*f1 *f3 + 3*f5*f6*f7*f2 *f4 + 4*f1*f2*f3*f6 *f7 + 4*f1*f2*f4*f5 *f7 + 4*f1*f2*f7*f3 *f4 + 4*f1*f2*f7*f3 *f6 + 4*f1*f2*f7*f4 *f5 + 4*f1*f3*f6*f2 *f7 + 4*f1*f3*f7*f2 *f4 + 4*f1*f4*f5*f2 *f7 + 4*f1*f5*f7*f2 *f4 + 4*f1*f6*f7*f2 *f3 + 4*f2*f3*f6*f1 *f7 + 4*f2*f4*f5*f1 *f7 + 4*f2*f4*f7*f1 *f3 + 4*f2*f5*f7*f1 *f4 + 4*f2*f6*f7*f1 *f3 + 4*f3*f4*f7*f1 *f2 + 4*f3*f4*f7*f1 *f6 + 4*f3*f4*f7*f2 *f5 + 4*f3*f5*f7*f2 *f4 + 4*f3*f6*f7*f1 *f4 + 4*f4*f5*f7*f2 *f3 + 4*f4*f6*f7*f1 *f3 + 5*f1*f2*f5*f6 *f7 + 5*f1*f2*f6*f5 *f7 + 5*f1*f3*f5*f2 *f7 + 5*f1*f4*f7*f2 *f3 + 5*f1*f5*f6*f2 *f7 + 5*f1*f5*f7*f2 *f3 + 5*f2*f3*f7*f1 *f4 + 5*f2*f4*f6*f1 *f7 + 5*f2*f5*f6*f1 *f7 + 5*f2*f6*f7*f1 *f4 + 5*f3*f5*f6*f2 *f7 + 5*f3*f5*f7*f1 *f4 + 5*f4*f5*f6*f1 *f7 + 5*f4*f6*f7*f2 *f3 + 5*f5*f6*f7*f1 *f4 + 5*f5*f6*f7*f2 *f3 + 4*f1*f3*f4*f5*f6*f7 + 4*f2*f3*f4*f5*f6*f7 + 5*f1*f2*f3*f5*f7*f6 + 5*f1*f2*f3*f6*f7*f5 + 5*f1*f2*f4*f5*f7*f6 + 5*f1*f2*f4*f6*f7*f5 + 5*f1*f3*f4*f5*f7*f6 + 5*f1*f3*f4*f6*f7*f5 + 5*f1*f3*f5*f6*f7*f2 + 5*f1*f3*f5*f6*f7*f4 + 5*f1*f4*f5*f6*f7*f2 + 5*f1*f4*f5*f6*f7*f3 + 5*f2*f3*f4*f5*f7*f6 + 5*f2*f3*f4*f6*f7*f5 + 5*f2*f3*f5*f6*f7*f1 + 5*f2*f3*f5*f6*f7*f4 + 5*f2*f4*f5*f6*f7*f1 + 5*f2*f4*f5*f6*f7*f3 + 6*f1*f2*f3*f4*f5*f7 + 6*f1*f2*f3*f4*f6*f7 + 6*f1*f2*f3*f4*f7*f5 + 6*f1*f2*f3*f4*f7*f6 + 7*f1*f2*f3*f6*f7*f4 + 7*f1*f2*f4*f5*f7*f3 + 7*f1*f3*f4*f6*f7*f2 + 7*f2*f3*f4*f5*f7*f1 + 8*f1*f2*f3*f5*f6*f7 + 8*f1*f2*f4*f5*f6*f7 + 8*f1*f2*f5*f6*f7*f3 + 8*f1*f2*f5*f6*f7*f4 + 8*f3*f4*f5*f6*f7*f1 + 8*f3*f4*f5*f6*f7*f2 + 9*f1*f2*f3*f5*f7*f4 + 9*f1*f2*f4*f6*f7*f3 + 9*f1*f3*f4*f5*f7*f2 + 9*f2*f3*f4*f6*f7*f1 + 16*f1*f2*f3*f4*f5*f6*f7
$$f_{1}^{3} f_{2} f_{3}^{2} f_{7} + 2 f_{1}^{3} f_{2} f_{3} f_{4} f_{7} + f_{1}^{3} f_{2} f_{3} f_{5} f_{7} + f_{1}^{3} f_{2} f_{3} f_{6} f_{7} + f_{1}^{3} f_{2} f_{3} f_{7}^{2} + f_{1}^{3} f_{2} f_{4}^{2} f_{7} + f_{1}^{3} f_{2} f_{4} f_{5} f_{7} + f_{1}^{3} f_{2} f_{4} f_{6} f_{7} + f_{1}^{3} f_{2} f_{4} f_{7}^{2} + f_{1}^{3} f_{2} f_{5} f_{7}^{2} + f_{1}^{3} f_{2} f_{6} f_{7}^{2} + f_{1}^{3} f_{3}^{2} f_{4} f_{7} + f_{1}^{3} f_{3}^{2} f_{6} f_{7} + 2 f_{1}^{3} f_{3} f_{4}^{2} f_{7} + f_{1}^{3} f_{3} f_{4} f_{5} f_{7} + 3 f_{1}^{3} f_{3} f_{4} f_{6} f_{7} + f_{1}^{3} f_{3} f_{4} f_{7}^{2} + f_{1}^{3} f_{3} f_{5} f_{6} f_{7} + f_{1}^{3} f_{3} f_{6}^{2} f_{7} + f_{1}^{3} f_{3} f_{6} f_{7}^{2} + f_{1}^{3} f_{4}^{3} f_{7} + f_{1}^{3} f_{4}^{2} f_{5} f_{7} + 2 f_{1}^{3} f_{4}^{2} f_{6} f_{7} + f_{1}^{3} f_{4}^{2} f_{7}^{2} + f_{1}^{3} f_{4} f_{5} f_{6} f_{7} + f_{1}^{3} f_{4} f_{5} f_{7}^{2} + f_{1}^{3} f_{4} f_{6}^{2} f_{7} + 2 f_{1}^{3} f_{4} f_{6} f_{7}^{2} + f_{1}^{3} f_{5} f_{6} f_{7}^{2} + f_{1}^{3} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{3}^{2} f_{7} + 4 f_{1}^{2} f_{2}^{2} f_{3} f_{4} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{5} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{6} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{4}^{2} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{5} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{6} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{5} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{6} f_{7}^{2} + f_{1}^{2} f_{2} f_{3}^{3} f_{7} + 4 f_{1}^{2} f_{2} f_{3}^{2} f_{4} f_{7} + 3 f_{1}^{2} f_{2} f_{3}^{2} f_{5} f_{7} + 4 f_{1}^{2} f_{2} f_{3}^{2} f_{6} f_{7} + f_{1}^{2} f_{2} f_{3}^{2} f_{7}^{2} + 5 f_{1}^{2} f_{2} f_{3} f_{4}^{2} f_{7} + 7 f_{1}^{2} f_{2} f_{3} f_{4} f_{5} f_{7} + 9 f_{1}^{2} f_{2} f_{3} f_{4} f_{6} f_{7} + 3 f_{1}^{2} f_{2} f_{3} f_{4} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{3} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{3} f_{5} f_{6} f_{7} + 3 f_{1}^{2} f_{2} f_{3} f_{5} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{3} f_{6}^{2} f_{7} + 4 f_{1}^{2} f_{2} f_{3} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{4}^{3} f_{7} + 4 f_{1}^{2} f_{2} f_{4}^{2} f_{5} f_{7} + 5 f_{1}^{2} f_{2} f_{4}^{2} f_{6} f_{7} + 2 f_{1}^{2} f_{2} f_{4}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{4} f_{5} f_{6} f_{7} + 4 f_{1}^{2} f_{2} f_{4} f_{5} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{4} f_{6}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{4} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{5}^{2} f_{7}^{2} + 5 f_{1}^{2} f_{2} f_{5} f_{6} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{6}^{2} f_{7}^{2} + f_{1}^{2} f_{3}^{3} f_{4} f_{7} + f_{1}^{2} f_{3}^{3} f_{6} f_{7} + 2 f_{1}^{2} f_{3}^{2} f_{4}^{2} f_{7} + 3 f_{1}^{2} f_{3}^{2} f_{4} f_{5} f_{7} + 4 f_{1}^{2} f_{3}^{2} f_{4} f_{6} f_{7} + f_{1}^{2} f_{3}^{2} f_{4} f_{7}^{2} + 3 f_{1}^{2} f_{3}^{2} f_{5} f_{6} f_{7} + 2 f_{1}^{2} f_{3}^{2} f_{6}^{2} f_{7} + f_{1}^{2} f_{3}^{2} f_{6} f_{7}^{2} + f_{1}^{2} f_{3} f_{4}^{3} f_{7} + 5 f_{1}^{2} f_{3} f_{4}^{2} f_{5} f_{7} + 4 f_{1}^{2} f_{3} f_{4}^{2} f_{6} f_{7} + f_{1}^{2} f_{3} f_{4}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{3} f_{4} f_{5}^{2} f_{7} + 8 f_{1}^{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 3 f_{1}^{2} f_{3} f_{4} f_{5} f_{7}^{2} + 4 f_{1}^{2} f_{3} f_{4} f_{6}^{2} f_{7} + 3 f_{1}^{2} f_{3} f_{4} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{3} f_{5}^{2} f_{6} f_{7} + 3 f_{1}^{2} f_{3} f_{5} f_{6}^{2} f_{7} + 3 f_{1}^{2} f_{3} f_{5} f_{6} f_{7}^{2} + f_{1}^{2} f_{3} f_{6}^{3} f_{7} + 2 f_{1}^{2} f_{3} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{4}^{3} f_{5} f_{7} + f_{1}^{2} f_{4}^{3} f_{6} f_{7} + 2 f_{1}^{2} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{4}^{2} f_{5} f_{6} f_{7} + 2 f_{1}^{2} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1}^{2} f_{4}^{2} f_{6}^{2} f_{7} + f_{1}^{2} f_{4}^{2} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{1}^{2} f_{4} f_{5}^{2} f_{7}^{2} + 3 f_{1}^{2} f_{4} f_{5} f_{6}^{2} f_{7} + 5 f_{1}^{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1}^{2} f_{4} f_{6}^{3} f_{7} + 2 f_{1}^{2} f_{4} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{5}^{2} f_{6} f_{7}^{2} + 3 f_{1}^{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{1}^{2} f_{6}^{3} f_{7}^{2} + f_{1} f_{2}^{3} f_{3}^{2} f_{7} + 2 f_{1} f_{2}^{3} f_{3} f_{4} f_{7} + f_{1} f_{2}^{3} f_{3} f_{5} f_{7} + f_{1} f_{2}^{3} f_{3} f_{6} f_{7} + f_{1} f_{2}^{3} f_{3} f_{7}^{2} + f_{1} f_{2}^{3} f_{4}^{2} f_{7} + f_{1} f_{2}^{3} f_{4} f_{5} f_{7} + f_{1} f_{2}^{3} f_{4} f_{6} f_{7} + f_{1} f_{2}^{3} f_{4} f_{7}^{2} + f_{1} f_{2}^{3} f_{5} f_{7}^{2} + f_{1} f_{2}^{3} f_{6} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{3}^{3} f_{7} + 5 f_{1} f_{2}^{2} f_{3}^{2} f_{4} f_{7} + 5 f_{1} f_{2}^{2} f_{3}^{2} f_{5} f_{7} + 4 f_{1} f_{2}^{2} f_{3}^{2} f_{6} f_{7} + 2 f_{1} f_{2}^{2} f_{3}^{2} f_{7}^{2} + 4 f_{1} f_{2}^{2} f_{3} f_{4}^{2} f_{7} + 9 f_{1} f_{2}^{2} f_{3} f_{4} f_{5} f_{7} + 7 f_{1} f_{2}^{2} f_{3} f_{4} f_{6} f_{7} + 3 f_{1} f_{2}^{2} f_{3} f_{4} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{3} f_{5}^{2} f_{7} + 5 f_{1} f_{2}^{2} f_{3} f_{5} f_{6} f_{7} + 5 f_{1} f_{2}^{2} f_{3} f_{5} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{3} f_{6}^{2} f_{7} + 4 f_{1} f_{2}^{2} f_{3} f_{6} f_{7}^{2} + f_{1} f_{2}^{2} f_{4}^{3} f_{7} + 4 f_{1} f_{2}^{2} f_{4}^{2} f_{5} f_{7} + 3 f_{1} f_{2}^{2} f_{4}^{2} f_{6} f_{7} + f_{1} f_{2}^{2} f_{4}^{2} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1} f_{2}^{2} f_{4} f_{5} f_{6} f_{7} + 4 f_{1} f_{2}^{2} f_{4} f_{5} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{4} f_{6}^{2} f_{7} + 3 f_{1} f_{2}^{2} f_{4} f_{6} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2}^{2} f_{5} f_{6} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{6}^{2} f_{7}^{2} + 2 f_{1} f_{2} f_{3}^{3} f_{4} f_{7} + f_{1} f_{2} f_{3}^{3} f_{5} f_{7} + 3 f_{1} f_{2} f_{3}^{3} f_{6} f_{7} + 4 f_{1} f_{2} f_{3}^{2} f_{4}^{2} f_{7} + 7 f_{1} f_{2} f_{3}^{2} f_{4} f_{5} f_{7} + 9 f_{1} f_{2} f_{3}^{2} f_{4} f_{6} f_{7} + 2 f_{1} f_{2} f_{3}^{2} f_{4} f_{7}^{2} + 2 f_{1} f_{2} f_{3}^{2} f_{5}^{2} f_{7} + 8 f_{1} f_{2} f_{3}^{2} f_{5} f_{6} f_{7} + f_{1} f_{2} f_{3}^{2} f_{5} f_{7}^{2} + 4 f_{1} f_{2} f_{3}^{2} f_{6}^{2} f_{7} + 3 f_{1} f_{2} f_{3}^{2} f_{6} f_{7}^{2} + 2 f_{1} f_{2} f_{3} f_{4}^{3} f_{7} + 9 f_{1} f_{2} f_{3} f_{4}^{2} f_{5} f_{7} + 7 f_{1} f_{2} f_{3} f_{4}^{2} f_{6} f_{7} + 2 f_{1} f_{2} f_{3} f_{4}^{2} f_{7}^{2} + 6 f_{1} f_{2} f_{3} f_{4} f_{5}^{2} f_{7} + 16 f_{1} f_{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 6 f_{1} f_{2} f_{3} f_{4} f_{5} f_{7}^{2} + 6 f_{1} f_{2} f_{3} f_{4} f_{6}^{2} f_{7} + 6 f_{1} f_{2} f_{3} f_{4} f_{6} f_{7}^{2} + f_{1} f_{2} f_{3} f_{5}^{3} f_{7} + 5 f_{1} f_{2} f_{3} f_{5}^{2} f_{6} f_{7} + 2 f_{1} f_{2} f_{3} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2} f_{3} f_{5} f_{6}^{2} f_{7} + 8 f_{1} f_{2} f_{3} f_{5} f_{6} f_{7}^{2} + f_{1} f_{2} f_{3} f_{6}^{3} f_{7} + 4 f_{1} f_{2} f_{3} f_{6}^{2} f_{7}^{2} + 3 f_{1} f_{2} f_{4}^{3} f_{5} f_{7} + f_{1} f_{2} f_{4}^{3} f_{6} f_{7} + 4 f_{1} f_{2} f_{4}^{2} f_{5}^{2} f_{7} + 8 f_{1} f_{2} f_{4}^{2} f_{5} f_{6} f_{7} + 3 f_{1} f_{2} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1} f_{2} f_{4}^{2} f_{6}^{2} f_{7} + f_{1} f_{2} f_{4}^{2} f_{6} f_{7}^{2} + f_{1} f_{2} f_{4} f_{5}^{3} f_{7} + 5 f_{1} f_{2} f_{4} f_{5}^{2} f_{6} f_{7} + 4 f_{1} f_{2} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2} f_{4} f_{5} f_{6}^{2} f_{7} + 8 f_{1} f_{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1} f_{2} f_{4} f_{6}^{3} f_{7} + 2 f_{1} f_{2} f_{4} f_{6}^{2} f_{7}^{2} + f_{1} f_{2} f_{5}^{3} f_{7}^{2} + 5 f_{1} f_{2} f_{5}^{2} f_{6} f_{7}^{2} + 5 f_{1} f_{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{2} f_{6}^{3} f_{7}^{2} + f_{1} f_{3}^{3} f_{4} f_{5} f_{7} + f_{1} f_{3}^{3} f_{4} f_{6} f_{7} + f_{1} f_{3}^{3} f_{5} f_{6} f_{7} + f_{1} f_{3}^{3} f_{6}^{2} f_{7} + 2 f_{1} f_{3}^{2} f_{4}^{2} f_{5} f_{7} + 2 f_{1} f_{3}^{2} f_{4}^{2} f_{6} f_{7} + 2 f_{1} f_{3}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1} f_{3}^{2} f_{4} f_{5} f_{6} f_{7} + f_{1} f_{3}^{2} f_{4} f_{5} f_{7}^{2} + 3 f_{1} f_{3}^{2} f_{4} f_{6}^{2} f_{7} + f_{1} f_{3}^{2} f_{4} f_{6} f_{7}^{2} + 2 f_{1} f_{3}^{2} f_{5}^{2} f_{6} f_{7} + 3 f_{1} f_{3}^{2} f_{5} f_{6}^{2} f_{7} + f_{1} f_{3}^{2} f_{5} f_{6} f_{7}^{2} + f_{1} f_{3}^{2} f_{6}^{3} f_{7} + f_{1} f_{3}^{2} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{4}^{3} f_{5} f_{7} + f_{1} f_{3} f_{4}^{3} f_{6} f_{7} + 3 f_{1} f_{3} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{1} f_{3} f_{4}^{2} f_{5} f_{6} f_{7} + f_{1} f_{3} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1} f_{3} f_{4}^{2} f_{6}^{2} f_{7} + f_{1} f_{3} f_{4}^{2} f_{6} f_{7}^{2} + f_{1} f_{3} f_{4} f_{5}^{3} f_{7} + 5 f_{1} f_{3} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{1} f_{3} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{3} f_{4} f_{5} f_{6}^{2} f_{7} + 4 f_{1} f_{3} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1} f_{3} f_{4} f_{6}^{3} f_{7} + 2 f_{1} f_{3} f_{4} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{5}^{3} f_{6} f_{7} + 2 f_{1} f_{3} f_{5}^{2} f_{6}^{2} f_{7} + 2 f_{1} f_{3} f_{5}^{2} f_{6} f_{7}^{2} + f_{1} f_{3} f_{5} f_{6}^{3} f_{7} + 3 f_{1} f_{3} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{6}^{3} f_{7}^{2} + f_{1} f_{4}^{3} f_{5}^{2} f_{7} + f_{1} f_{4}^{3} f_{5} f_{6} f_{7} + f_{1} f_{4}^{2} f_{5}^{3} f_{7} + 3 f_{1} f_{4}^{2} f_{5}^{2} f_{6} f_{7} + f_{1} f_{4}^{2} f_{5}^{2} f_{7}^{2} + 2 f_{1} f_{4}^{2} f_{5} f_{6}^{2} f_{7} + f_{1} f_{4}^{2} f_{5} f_{6} f_{7}^{2} + f_{1} f_{4} f_{5}^{3} f_{6} f_{7} + f_{1} f_{4} f_{5}^{3} f_{7}^{2} + 2 f_{1} f_{4} f_{5}^{2} f_{6}^{2} f_{7} + 3 f_{1} f_{4} f_{5}^{2} f_{6} f_{7}^{2} + f_{1} f_{4} f_{5} f_{6}^{3} f_{7} + 2 f_{1} f_{4} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{5}^{3} f_{6} f_{7}^{2} + 2 f_{1} f_{5}^{2} f_{6}^{2} f_{7}^{2} + f_{1} f_{5} f_{6}^{3} f_{7}^{2} + f_{2}^{3} f_{3}^{3} f_{7} + 2 f_{2}^{3} f_{3}^{2} f_{4} f_{7} + 2 f_{2}^{3} f_{3}^{2} f_{5} f_{7} + f_{2}^{3} f_{3}^{2} f_{6} f_{7} + f_{2}^{3} f_{3}^{2} f_{7}^{2} + f_{2}^{3} f_{3} f_{4}^{2} f_{7} + 3 f_{2}^{3} f_{3} f_{4} f_{5} f_{7} + f_{2}^{3} f_{3} f_{4} f_{6} f_{7} + f_{2}^{3} f_{3} f_{4} f_{7}^{2} + f_{2}^{3} f_{3} f_{5}^{2} f_{7} + f_{2}^{3} f_{3} f_{5} f_{6} f_{7} + 2 f_{2}^{3} f_{3} f_{5} f_{7}^{2} + f_{2}^{3} f_{3} f_{6} f_{7}^{2} + f_{2}^{3} f_{4}^{2} f_{5} f_{7} + f_{2}^{3} f_{4} f_{5}^{2} f_{7} + f_{2}^{3} f_{4} f_{5} f_{6} f_{7} + f_{2}^{3} f_{4} f_{5} f_{7}^{2} + f_{2}^{3} f_{5}^{2} f_{7}^{2} + f_{2}^{3} f_{5} f_{6} f_{7}^{2} + f_{2}^{2} f_{3}^{3} f_{4} f_{7} + f_{2}^{2} f_{3}^{3} f_{5} f_{7} + 2 f_{2}^{2} f_{3}^{3} f_{6} f_{7} + 2 f_{2}^{2} f_{3}^{2} f_{4}^{2} f_{7} + 4 f_{2}^{2} f_{3}^{2} f_{4} f_{5} f_{7} + 5 f_{2}^{2} f_{3}^{2} f_{4} f_{6} f_{7} + f_{2}^{2} f_{3}^{2} f_{4} f_{7}^{2} + 2 f_{2}^{2} f_{3}^{2} f_{5}^{2} f_{7} + 5 f_{2}^{2} f_{3}^{2} f_{5} f_{6} f_{7} + f_{2}^{2} f_{3}^{2} f_{5} f_{7}^{2} + 2 f_{2}^{2} f_{3}^{2} f_{6}^{2} f_{7} + 2 f_{2}^{2} f_{3}^{2} f_{6} f_{7}^{2} + f_{2}^{2} f_{3} f_{4}^{3} f_{7} + 4 f_{2}^{2} f_{3} f_{4}^{2} f_{5} f_{7} + 3 f_{2}^{2} f_{3} f_{4}^{2} f_{6} f_{7} + f_{2}^{2} f_{3} f_{4}^{2} f_{7}^{2} + 4 f_{2}^{2} f_{3} f_{4} f_{5}^{2} f_{7} + 8 f_{2}^{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 3 f_{2}^{2} f_{3} f_{4} f_{5} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{4} f_{6}^{2} f_{7} + 3 f_{2}^{2} f_{3} f_{4} f_{6} f_{7}^{2} + f_{2}^{2} f_{3} f_{5}^{3} f_{7} + 3 f_{2}^{2} f_{3} f_{5}^{2} f_{6} f_{7} + 2 f_{2}^{2} f_{3} f_{5}^{2} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{5} f_{6}^{2} f_{7} + 5 f_{2}^{2} f_{3} f_{5} f_{6} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{6}^{2} f_{7}^{2} + f_{2}^{2} f_{4}^{3} f_{5} f_{7} + 2 f_{2}^{2} f_{4}^{2} f_{5}^{2} f_{7} + 3 f_{2}^{2} f_{4}^{2} f_{5} f_{6} f_{7} + f_{2}^{2} f_{4}^{2} f_{5} f_{7}^{2} + f_{2}^{2} f_{4} f_{5}^{3} f_{7} + 3 f_{2}^{2} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{2}^{2} f_{4} f_{5}^{2} f_{7}^{2} + 2 f_{2}^{2} f_{4} f_{5} f_{6}^{2} f_{7} + 3 f_{2}^{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{2}^{2} f_{5}^{3} f_{7}^{2} + 3 f_{2}^{2} f_{5}^{2} f_{6} f_{7}^{2} + 2 f_{2}^{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{3}^{3} f_{4} f_{5} f_{7} + f_{2} f_{3}^{3} f_{4} f_{6} f_{7} + f_{2} f_{3}^{3} f_{5} f_{6} f_{7} + f_{2} f_{3}^{3} f_{6}^{2} f_{7} + 2 f_{2} f_{3}^{2} f_{4}^{2} f_{5} f_{7} + 2 f_{2} f_{3}^{2} f_{4}^{2} f_{6} f_{7} + 2 f_{2} f_{3}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{2} f_{3}^{2} f_{4} f_{5} f_{6} f_{7} + f_{2} f_{3}^{2} f_{4} f_{5} f_{7}^{2} + 3 f_{2} f_{3}^{2} f_{4} f_{6}^{2} f_{7} + f_{2} f_{3}^{2} f_{4} f_{6} f_{7}^{2} + 2 f_{2} f_{3}^{2} f_{5}^{2} f_{6} f_{7} + 3 f_{2} f_{3}^{2} f_{5} f_{6}^{2} f_{7} + f_{2} f_{3}^{2} f_{5} f_{6} f_{7}^{2} + f_{2} f_{3}^{2} f_{6}^{3} f_{7} + f_{2} f_{3}^{2} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{4}^{3} f_{5} f_{7} + f_{2} f_{3} f_{4}^{3} f_{6} f_{7} + 3 f_{2} f_{3} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{2} f_{3} f_{4}^{2} f_{5} f_{6} f_{7} + f_{2} f_{3} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{2} f_{3} f_{4}^{2} f_{6}^{2} f_{7} + f_{2} f_{3} f_{4}^{2} f_{6} f_{7}^{2} + f_{2} f_{3} f_{4} f_{5}^{3} f_{7} + 5 f_{2} f_{3} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{2} f_{3} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{2} f_{3} f_{4} f_{5} f_{6}^{2} f_{7} + 4 f_{2} f_{3} f_{4} f_{5} f_{6} f_{7}^{2} + f_{2} f_{3} f_{4} f_{6}^{3} f_{7} + 2 f_{2} f_{3} f_{4} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{5}^{3} f_{6} f_{7} + 2 f_{2} f_{3} f_{5}^{2} f_{6}^{2} f_{7} + 2 f_{2} f_{3} f_{5}^{2} f_{6} f_{7}^{2} + f_{2} f_{3} f_{5} f_{6}^{3} f_{7} + 3 f_{2} f_{3} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{6}^{3} f_{7}^{2} + f_{2} f_{4}^{3} f_{5}^{2} f_{7} + f_{2} f_{4}^{3} f_{5} f_{6} f_{7} + f_{2} f_{4}^{2} f_{5}^{3} f_{7} + 3 f_{2} f_{4}^{2} f_{5}^{2} f_{6} f_{7} + f_{2} f_{4}^{2} f_{5}^{2} f_{7}^{2} + 2 f_{2} f_{4}^{2} f_{5} f_{6}^{2} f_{7} + f_{2} f_{4}^{2} f_{5} f_{6} f_{7}^{2} + f_{2} f_{4} f_{5}^{3} f_{6} f_{7} + f_{2} f_{4} f_{5}^{3} f_{7}^{2} + 2 f_{2} f_{4} f_{5}^{2} f_{6}^{2} f_{7} + 3 f_{2} f_{4} f_{5}^{2} f_{6} f_{7}^{2} + f_{2} f_{4} f_{5} f_{6}^{3} f_{7} + 2 f_{2} f_{4} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{5}^{3} f_{6} f_{7}^{2} + 2 f_{2} f_{5}^{2} f_{6}^{2} f_{7}^{2} + f_{2} f_{5} f_{6}^{3} f_{7}^{2}$$
f7*f1^3*f4^3 + f7*f2^3*f3^3 + f1^2*f6^3*f7^2 + f1^3*f4^2*f7^2 + f1^3*f6^2*f7^2 + f2^2*f5^3*f7^2 + f2^3*f3^2*f7^2 + f2^3*f5^2*f7^2 + f1*f2*f5^3*f7^2 + f1*f2*f6^3*f7^2 + f1*f3*f2^3*f7^2 + f1*f3*f6^3*f7^2 + f1*f4*f2^3*f7^2 + f1*f4*f5^3*f7^2 + f1*f5*f2^3*f7^2 + f1*f5*f6^3*f7^2 + f1*f6*f2^3*f7^2 + f1*f6*f5^3*f7^2 + f1*f7*f2^2*f4^3 + f1*f7*f2^3*f3^2 + f1*f7*f2^3*f4^2 + f1*f7*f3^2*f6^3 + f1*f7*f3^3*f6^2 + f1*f7*f4^2*f5^3 + f1*f7*f4^3*f5^2 + f1*f2^2*f4^2*f7^2 + f1*f3^2*f6^2*f7^2 + f1*f4^2*f5^2*f7^2 + f2*f3*f1^3*f7^2 + f2*f3*f6^3*f7^2 + f2*f4*f1^3*f7^2 + f2*f4*f5^3*f7^2 + f2*f5*f1^3*f7^2 + f2*f5*f6^3*f7^2 + f2*f6*f1^3*f7^2 + f2*f6*f5^3*f7^2 + f2*f7*f1^2*f3^3 + f2*f7*f1^3*f3^2 + f2*f7*f1^3*f4^2 + f2*f7*f3^2*f6^3 + f2*f7*f3^3*f6^2 + f2*f7*f4^2*f5^3 + f2*f7*f4^3*f5^2 + f2*f1^2*f3^2*f7^2 + f2*f3^2*f6^2*f7^2 + f2*f4^2*f5^2*f7^2 + f3*f4*f1^3*f7^2 + f3*f4*f2^3*f7^2 + f3*f6*f1^3*f7^2 + f3*f6*f2^3*f7^2 + f3*f7*f1^2*f4^3 + f3*f7*f1^2*f6^3 + f3*f7*f1^3*f6^2 + f3*f7*f2^2*f4^3 + f3*f7*f2^2*f5^3 + f3*f7*f2^3*f4^2 + f3*f7*f2^3*f5^2 + f3*f1^2*f4^2*f7^2 + f3*f2^2*f4^2*f7^2 + f4*f5*f1^3*f7^2 + f4*f5*f2^3*f7^2 + f4*f7*f1^2*f3^3 + f4*f7*f1^2*f6^3 + f4*f7*f1^3*f3^2 + f4*f7*f1^3*f6^2 + f4*f7*f2^2*f3^3 + f4*f7*f2^2*f5^3 + f4*f7*f2^3*f5^2 + f4*f1^2*f3^2*f7^2 + f4*f2^2*f3^2*f7^2 + f5*f6*f1^3*f7^2 + f5*f6*f2^3*f7^2 + f5*f7*f1^3*f4^2 + f5*f7*f2^2*f3^3 + f5*f7*f2^2*f4^3 + f5*f7*f2^3*f4^2 + f5*f2^2*f3^2*f7^2 + f5*f2^2*f4^2*f7^2 + f6*f7*f1^2*f3^3 + f6*f7*f1^2*f4^3 + f6*f7*f1^3*f3^2 + f6*f7*f2^3*f3^2 + f6*f1^2*f3^2*f7^2 + f6*f1^2*f4^2*f7^2 + 2*f1*f7*f2^2*f3^3 + 2*f1*f2^2*f3^2*f7^2 + 2*f1*f2^2*f6^2*f7^2 + 2*f1*f5^2*f6^2*f7^2 + 2*f2*f7*f1^2*f4^3 + 2*f2*f1^2*f4^2*f7^2 + 2*f2*f1^2*f5^2*f7^2 + 2*f2*f5^2*f6^2*f7^2 + 2*f3*f5*f2^3*f7^2 + 2*f3*f7*f1^3*f4^2 + 2*f3*f1^2*f2^2*f7^2 + 2*f3*f1^2*f6^2*f7^2 + 2*f3*f2^2*f5^2*f7^2 + 2*f3*f2^2*f6^2*f7^2 + 2*f4*f6*f1^3*f7^2 + 2*f4*f7*f2^3*f3^2 + 2*f4*f1^2*f2^2*f7^2 + 2*f4*f1^2*f5^2*f7^2 + 2*f4*f1^2*f6^2*f7^2 + 2*f4*f2^2*f5^2*f7^2 + 2*f5*f7*f1^2*f4^3 + 2*f5*f7*f2^3*f3^2 + 2*f5*f1^2*f2^2*f7^2 + 2*f5*f1^2*f4^2*f7^2 + 2*f5*f2^2*f6^2*f7^2 + 2*f6*f7*f1^3*f4^2 + 2*f6*f7*f2^2*f3^3 + 2*f6*f1^2*f2^2*f7^2 + 2*f6*f1^2*f5^2*f7^2 + 2*f6*f2^2*f3^2*f7^2 + 2*f7*f1^2*f2^2*f3^2 + 2*f7*f1^2*f2^2*f4^2 + 2*f7*f1^2*f3^2*f4^2 + 2*f7*f1^2*f3^2*f6^2 + 2*f7*f1^2*f4^2*f5^2 + 2*f7*f1^2*f4^2*f6^2 + 2*f7*f2^2*f3^2*f4^2 + 2*f7*f2^2*f3^2*f5^2 + 2*f7*f2^2*f3^2*f6^2 + 2*f7*f2^2*f4^2*f5^2 + 3*f1*f2^2*f5^2*f7^2 + 3*f2*f1^2*f6^2*f7^2 + 3*f5*f1^2*f6^2*f7^2 + 3*f6*f2^2*f5^2*f7^2 + f1*f2*f3*f7*f5^3 + f1*f2*f3*f7*f6^3 + f1*f2*f4*f7*f5^3 + f1*f2*f4*f7*f6^3 + f1*f2*f5*f7*f3^3 + f1*f2*f5*f3^2*f7^2 + f1*f2*f6*f7*f4^3 + f1*f2*f6*f4^2*f7^2 + f1*f3*f4*f7*f5^3 + f1*f3*f4*f7*f6^3 + f1*f3*f5*f7*f2^3 + f1*f3*f5*f7*f4^3 + f1*f3*f5*f7*f6^3 + f1*f3*f5*f4^2*f7^2 + f1*f3*f6*f7*f2^3 + f1*f3*f6*f7*f4^3 + f1*f3*f6*f7*f5^3 + f1*f3*f6*f4^2*f7^2 + f1*f4*f5*f7*f2^3 + f1*f4*f5*f7*f3^3 + f1*f4*f5*f7*f6^3 + f1*f4*f5*f3^2*f7^2 + f1*f4*f6*f7*f2^3 + f1*f4*f6*f7*f3^3 + f1*f4*f6*f7*f5^3 + f1*f4*f6*f3^2*f7^2 + f1*f5*f6*f7*f3^3 + f1*f5*f6*f7*f4^3 + f1*f5*f6*f3^2*f7^2 + f1*f5*f6*f4^2*f7^2 + f2*f3*f4*f7*f5^3 + f2*f3*f4*f7*f6^3 + f2*f3*f5*f7*f1^3 + f2*f3*f5*f7*f4^3 + f2*f3*f5*f7*f6^3 + f2*f3*f5*f4^2*f7^2 + f2*f3*f6*f7*f1^3 + f2*f3*f6*f7*f4^3 + f2*f3*f6*f7*f5^3 + f2*f3*f6*f4^2*f7^2 + f2*f4*f5*f7*f1^3 + f2*f4*f5*f7*f3^3 + f2*f4*f5*f7*f6^3 + f2*f4*f5*f3^2*f7^2 + f2*f4*f6*f7*f1^3 + f2*f4*f6*f7*f3^3 + f2*f4*f6*f7*f5^3 + f2*f4*f6*f3^2*f7^2 + f2*f5*f6*f7*f3^3 + f2*f5*f6*f7*f4^3 + f2*f5*f6*f3^2*f7^2 + f2*f5*f6*f4^2*f7^2 + f3*f4*f5*f7*f1^3 + f3*f4*f6*f7*f2^3 + f3*f5*f6*f7*f1^3 + f3*f5*f6*f7*f2^3 + f4*f5*f6*f7*f1^3 + f4*f5*f6*f7*f2^3 + 2*f1*f2*f3*f7*f4^3 + 2*f1*f2*f3*f4^2*f7^2 + 2*f1*f2*f3*f5^2*f7^2 + 2*f1*f2*f4*f7*f3^3 + 2*f1*f2*f4*f3^2*f7^2 + 2*f1*f2*f4*f6^2*f7^2 + 2*f1*f2*f7*f3^2*f5^2 + 2*f1*f2*f7*f4^2*f6^2 + 2*f1*f3*f4*f7*f2^3 + 2*f1*f3*f4*f5^2*f7^2 + 2*f1*f3*f4*f6^2*f7^2 + 2*f1*f3*f6*f5^2*f7^2 + 2*f1*f3*f7*f2^2*f6^2 + 2*f1*f3*f7*f4^2*f6^2 + 2*f1*f3*f7*f5^2*f6^2 + 2*f1*f4*f5*f6^2*f7^2 + 2*f1*f4*f7*f2^2*f6^2 + 2*f1*f4*f7*f3^2*f5^2 + 2*f1*f4*f7*f5^2*f6^2 + 2*f1*f5*f7*f3^2*f4^2 + 2*f1*f5*f7*f4^2*f6^2 + 2*f1*f6*f7*f3^2*f4^2 + 2*f1*f6*f7*f3^2*f5^2 + 2*f2*f3*f4*f7*f1^3 + 2*f2*f3*f4*f5^2*f7^2 + 2*f2*f3*f4*f6^2*f7^2 + 2*f2*f3*f6*f5^2*f7^2 + 2*f2*f3*f7*f1^2*f5^2 + 2*f2*f3*f7*f4^2*f6^2 + 2*f2*f3*f7*f5^2*f6^2 + 2*f2*f4*f5*f6^2*f7^2 + 2*f2*f4*f7*f1^2*f5^2 + 2*f2*f4*f7*f3^2*f5^2 + 2*f2*f4*f7*f5^2*f6^2 + 2*f2*f5*f7*f3^2*f4^2 + 2*f2*f5*f7*f4^2*f6^2 + 2*f2*f6*f7*f3^2*f4^2 + 2*f2*f6*f7*f3^2*f5^2 + 2*f3*f4*f7*f1^2*f5^2 + 2*f3*f4*f7*f2^2*f6^2 + 2*f3*f5*f7*f1^2*f2^2 + 2*f3*f5*f7*f2^2*f6^2 + 2*f3*f6*f7*f1^2*f2^2 + 2*f3*f6*f7*f1^2*f5^2 + 2*f4*f5*f7*f1^2*f2^2 + 2*f4*f5*f7*f2^2*f6^2 + 2*f4*f6*f7*f1^2*f2^2 + 2*f4*f6*f7*f1^2*f5^2 + 3*f1*f2*f5*f7*f4^3 + 3*f1*f2*f5*f4^2*f7^2 + 3*f1*f2*f6*f7*f3^3 + 3*f1*f2*f6*f3^2*f7^2 + 3*f1*f3*f4*f2^2*f7^2 + 3*f1*f3*f5*f6^2*f7^2 + 3*f1*f3*f7*f2^2*f5^2 + 3*f1*f3*f7*f4^2*f5^2 + 3*f1*f4*f6*f2^2*f7^2 + 3*f1*f4*f6*f5^2*f7^2 + 3*f1*f4*f7*f2^2*f5^2 + 3*f1*f4*f7*f3^2*f6^2 + 3*f1*f5*f7*f3^2*f6^2 + 3*f1*f6*f7*f2^2*f4^2 + 3*f1*f6*f7*f4^2*f5^2 + 3*f2*f3*f4*f1^2*f7^2 + 3*f2*f3*f5*f1^2*f7^2 + 3*f2*f3*f5*f6^2*f7^2 + 3*f2*f3*f7*f1^2*f6^2 + 3*f2*f3*f7*f4^2*f5^2 + 3*f2*f4*f6*f5^2*f7^2 + 3*f2*f4*f7*f1^2*f6^2 + 3*f2*f4*f7*f3^2*f6^2 + 3*f2*f5*f7*f1^2*f3^2 + 3*f2*f5*f7*f3^2*f6^2 + 3*f2*f6*f7*f4^2*f5^2 + 3*f3*f4*f5*f7*f2^3 + 3*f3*f4*f5*f1^2*f7^2 + 3*f3*f4*f5*f2^2*f7^2 + 3*f3*f4*f6*f7*f1^3 + 3*f3*f4*f6*f1^2*f7^2 + 3*f3*f4*f6*f2^2*f7^2 + 3*f3*f5*f6*f1^2*f7^2 + 3*f3*f5*f7*f1^2*f6^2 + 3*f3*f6*f7*f2^2*f4^2 + 3*f3*f6*f7*f2^2*f5^2 + 3*f4*f5*f6*f2^2*f7^2 + 3*f4*f5*f7*f1^2*f3^2 + 3*f4*f5*f7*f1^2*f6^2 + 3*f4*f6*f7*f2^2*f5^2 + 3*f5*f6*f7*f1^2*f3^2 + 3*f5*f6*f7*f2^2*f4^2 + 4*f1*f2*f3*f6^2*f7^2 + 4*f1*f2*f4*f5^2*f7^2 + 4*f1*f2*f7*f3^2*f4^2 + 4*f1*f2*f7*f3^2*f6^2 + 4*f1*f2*f7*f4^2*f5^2 + 4*f1*f3*f6*f2^2*f7^2 + 4*f1*f3*f7*f2^2*f4^2 + 4*f1*f4*f5*f2^2*f7^2 + 4*f1*f5*f7*f2^2*f4^2 + 4*f1*f6*f7*f2^2*f3^2 + 4*f2*f3*f6*f1^2*f7^2 + 4*f2*f4*f5*f1^2*f7^2 + 4*f2*f4*f7*f1^2*f3^2 + 4*f2*f5*f7*f1^2*f4^2 + 4*f2*f6*f7*f1^2*f3^2 + 4*f3*f4*f7*f1^2*f2^2 + 4*f3*f4*f7*f1^2*f6^2 + 4*f3*f4*f7*f2^2*f5^2 + 4*f3*f5*f7*f2^2*f4^2 + 4*f3*f6*f7*f1^2*f4^2 + 4*f4*f5*f7*f2^2*f3^2 + 4*f4*f6*f7*f1^2*f3^2 + 5*f1*f2*f5*f6^2*f7^2 + 5*f1*f2*f6*f5^2*f7^2 + 5*f1*f3*f5*f2^2*f7^2 + 5*f1*f4*f7*f2^2*f3^2 + 5*f1*f5*f6*f2^2*f7^2 + 5*f1*f5*f7*f2^2*f3^2 + 5*f2*f3*f7*f1^2*f4^2 + 5*f2*f4*f6*f1^2*f7^2 + 5*f2*f5*f6*f1^2*f7^2 + 5*f2*f6*f7*f1^2*f4^2 + 5*f3*f5*f6*f2^2*f7^2 + 5*f3*f5*f7*f1^2*f4^2 + 5*f4*f5*f6*f1^2*f7^2 + 5*f4*f6*f7*f2^2*f3^2 + 5*f5*f6*f7*f1^2*f4^2 + 5*f5*f6*f7*f2^2*f3^2 + 4*f1*f3*f4*f5*f6*f7^2 + 4*f2*f3*f4*f5*f6*f7^2 + 5*f1*f2*f3*f5*f7*f6^2 + 5*f1*f2*f3*f6*f7*f5^2 + 5*f1*f2*f4*f5*f7*f6^2 + 5*f1*f2*f4*f6*f7*f5^2 + 5*f1*f3*f4*f5*f7*f6^2 + 5*f1*f3*f4*f6*f7*f5^2 + 5*f1*f3*f5*f6*f7*f2^2 + 5*f1*f3*f5*f6*f7*f4^2 + 5*f1*f4*f5*f6*f7*f2^2 + 5*f1*f4*f5*f6*f7*f3^2 + 5*f2*f3*f4*f5*f7*f6^2 + 5*f2*f3*f4*f6*f7*f5^2 + 5*f2*f3*f5*f6*f7*f1^2 + 5*f2*f3*f5*f6*f7*f4^2 + 5*f2*f4*f5*f6*f7*f1^2 + 5*f2*f4*f5*f6*f7*f3^2 + 6*f1*f2*f3*f4*f5*f7^2 + 6*f1*f2*f3*f4*f6*f7^2 + 6*f1*f2*f3*f4*f7*f5^2 + 6*f1*f2*f3*f4*f7*f6^2 + 7*f1*f2*f3*f6*f7*f4^2 + 7*f1*f2*f4*f5*f7*f3^2 + 7*f1*f3*f4*f6*f7*f2^2 + 7*f2*f3*f4*f5*f7*f1^2 + 8*f1*f2*f3*f5*f6*f7^2 + 8*f1*f2*f4*f5*f6*f7^2 + 8*f1*f2*f5*f6*f7*f3^2 + 8*f1*f2*f5*f6*f7*f4^2 + 8*f3*f4*f5*f6*f7*f1^2 + 8*f3*f4*f5*f6*f7*f2^2 + 9*f1*f2*f3*f5*f7*f4^2 + 9*f1*f2*f4*f6*f7*f3^2 + 9*f1*f3*f4*f5*f7*f2^2 + 9*f2*f3*f4*f6*f7*f1^2 + 16*f1*f2*f3*f4*f5*f6*f7
Рациональный знаменатель
[src]
3 3 3 3 2 3 2 3 2 2 3 2 2 2 3 2 3 2 2 3 2 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 2 3 3 2 3 2 2 3 3 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 2 3 3 2 3 2 2 3 3 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 2 3 2 3 3 2 3 2 2 2 2 2 2 2 3 2 3 2 2 3 2 3 3 2 3 2 2 3 2 3 3 2 2 2 2 2 2 2 3 2 3 2 3 2 2 3 2 3 3 2 2 2 2 2 2 2 2 3 2 3 3 2 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 2 2 3 2 2 3 3 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 2 2 2 2 3 3 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 3 2 2 3 3 2 2 2 2 3 3 3 3 3 3 3 2 2 2 2 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
f7*f1 *f4 + f7*f2 *f3 + f1 *f6 *f7 + f1 *f4 *f7 + f1 *f6 *f7 + f2 *f5 *f7 + f2 *f3 *f7 + f2 *f5 *f7 + f1*f2*f5 *f7 + f1*f2*f6 *f7 + f1*f3*f2 *f7 + f1*f3*f6 *f7 + f1*f4*f2 *f7 + f1*f4*f5 *f7 + f1*f5*f2 *f7 + f1*f5*f6 *f7 + f1*f6*f2 *f7 + f1*f6*f5 *f7 + f1*f7*f2 *f4 + f1*f7*f2 *f3 + f1*f7*f2 *f4 + f1*f7*f3 *f6 + f1*f7*f3 *f6 + f1*f7*f4 *f5 + f1*f7*f4 *f5 + f1*f2 *f4 *f7 + f1*f3 *f6 *f7 + f1*f4 *f5 *f7 + f2*f3*f1 *f7 + f2*f3*f6 *f7 + f2*f4*f1 *f7 + f2*f4*f5 *f7 + f2*f5*f1 *f7 + f2*f5*f6 *f7 + f2*f6*f1 *f7 + f2*f6*f5 *f7 + f2*f7*f1 *f3 + f2*f7*f1 *f3 + f2*f7*f1 *f4 + f2*f7*f3 *f6 + f2*f7*f3 *f6 + f2*f7*f4 *f5 + f2*f7*f4 *f5 + f2*f1 *f3 *f7 + f2*f3 *f6 *f7 + f2*f4 *f5 *f7 + f3*f4*f1 *f7 + f3*f4*f2 *f7 + f3*f6*f1 *f7 + f3*f6*f2 *f7 + f3*f7*f1 *f4 + f3*f7*f1 *f6 + f3*f7*f1 *f6 + f3*f7*f2 *f4 + f3*f7*f2 *f5 + f3*f7*f2 *f4 + f3*f7*f2 *f5 + f3*f1 *f4 *f7 + f3*f2 *f4 *f7 + f4*f5*f1 *f7 + f4*f5*f2 *f7 + f4*f7*f1 *f3 + f4*f7*f1 *f6 + f4*f7*f1 *f3 + f4*f7*f1 *f6 + f4*f7*f2 *f3 + f4*f7*f2 *f5 + f4*f7*f2 *f5 + f4*f1 *f3 *f7 + f4*f2 *f3 *f7 + f5*f6*f1 *f7 + f5*f6*f2 *f7 + f5*f7*f1 *f4 + f5*f7*f2 *f3 + f5*f7*f2 *f4 + f5*f7*f2 *f4 + f5*f2 *f3 *f7 + f5*f2 *f4 *f7 + f6*f7*f1 *f3 + f6*f7*f1 *f4 + f6*f7*f1 *f3 + f6*f7*f2 *f3 + f6*f1 *f3 *f7 + f6*f1 *f4 *f7 + 2*f1*f7*f2 *f3 + 2*f1*f2 *f3 *f7 + 2*f1*f2 *f6 *f7 + 2*f1*f5 *f6 *f7 + 2*f2*f7*f1 *f4 + 2*f2*f1 *f4 *f7 + 2*f2*f1 *f5 *f7 + 2*f2*f5 *f6 *f7 + 2*f3*f5*f2 *f7 + 2*f3*f7*f1 *f4 + 2*f3*f1 *f2 *f7 + 2*f3*f1 *f6 *f7 + 2*f3*f2 *f5 *f7 + 2*f3*f2 *f6 *f7 + 2*f4*f6*f1 *f7 + 2*f4*f7*f2 *f3 + 2*f4*f1 *f2 *f7 + 2*f4*f1 *f5 *f7 + 2*f4*f1 *f6 *f7 + 2*f4*f2 *f5 *f7 + 2*f5*f7*f1 *f4 + 2*f5*f7*f2 *f3 + 2*f5*f1 *f2 *f7 + 2*f5*f1 *f4 *f7 + 2*f5*f2 *f6 *f7 + 2*f6*f7*f1 *f4 + 2*f6*f7*f2 *f3 + 2*f6*f1 *f2 *f7 + 2*f6*f1 *f5 *f7 + 2*f6*f2 *f3 *f7 + 2*f7*f1 *f2 *f3 + 2*f7*f1 *f2 *f4 + 2*f7*f1 *f3 *f4 + 2*f7*f1 *f3 *f6 + 2*f7*f1 *f4 *f5 + 2*f7*f1 *f4 *f6 + 2*f7*f2 *f3 *f4 + 2*f7*f2 *f3 *f5 + 2*f7*f2 *f3 *f6 + 2*f7*f2 *f4 *f5 + 3*f1*f2 *f5 *f7 + 3*f2*f1 *f6 *f7 + 3*f5*f1 *f6 *f7 + 3*f6*f2 *f5 *f7 + f1*f2*f3*f7*f5 + f1*f2*f3*f7*f6 + f1*f2*f4*f7*f5 + f1*f2*f4*f7*f6 + f1*f2*f5*f7*f3 + f1*f2*f5*f3 *f7 + f1*f2*f6*f7*f4 + f1*f2*f6*f4 *f7 + f1*f3*f4*f7*f5 + f1*f3*f4*f7*f6 + f1*f3*f5*f7*f2 + f1*f3*f5*f7*f4 + f1*f3*f5*f7*f6 + f1*f3*f5*f4 *f7 + f1*f3*f6*f7*f2 + f1*f3*f6*f7*f4 + f1*f3*f6*f7*f5 + f1*f3*f6*f4 *f7 + f1*f4*f5*f7*f2 + f1*f4*f5*f7*f3 + f1*f4*f5*f7*f6 + f1*f4*f5*f3 *f7 + f1*f4*f6*f7*f2 + f1*f4*f6*f7*f3 + f1*f4*f6*f7*f5 + f1*f4*f6*f3 *f7 + f1*f5*f6*f7*f3 + f1*f5*f6*f7*f4 + f1*f5*f6*f3 *f7 + f1*f5*f6*f4 *f7 + f2*f3*f4*f7*f5 + f2*f3*f4*f7*f6 + f2*f3*f5*f7*f1 + f2*f3*f5*f7*f4 + f2*f3*f5*f7*f6 + f2*f3*f5*f4 *f7 + f2*f3*f6*f7*f1 + f2*f3*f6*f7*f4 + f2*f3*f6*f7*f5 + f2*f3*f6*f4 *f7 + f2*f4*f5*f7*f1 + f2*f4*f5*f7*f3 + f2*f4*f5*f7*f6 + f2*f4*f5*f3 *f7 + f2*f4*f6*f7*f1 + f2*f4*f6*f7*f3 + f2*f4*f6*f7*f5 + f2*f4*f6*f3 *f7 + f2*f5*f6*f7*f3 + f2*f5*f6*f7*f4 + f2*f5*f6*f3 *f7 + f2*f5*f6*f4 *f7 + f3*f4*f5*f7*f1 + f3*f4*f6*f7*f2 + f3*f5*f6*f7*f1 + f3*f5*f6*f7*f2 + f4*f5*f6*f7*f1 + f4*f5*f6*f7*f2 + 2*f1*f2*f3*f7*f4 + 2*f1*f2*f3*f4 *f7 + 2*f1*f2*f3*f5 *f7 + 2*f1*f2*f4*f7*f3 + 2*f1*f2*f4*f3 *f7 + 2*f1*f2*f4*f6 *f7 + 2*f1*f2*f7*f3 *f5 + 2*f1*f2*f7*f4 *f6 + 2*f1*f3*f4*f7*f2 + 2*f1*f3*f4*f5 *f7 + 2*f1*f3*f4*f6 *f7 + 2*f1*f3*f6*f5 *f7 + 2*f1*f3*f7*f2 *f6 + 2*f1*f3*f7*f4 *f6 + 2*f1*f3*f7*f5 *f6 + 2*f1*f4*f5*f6 *f7 + 2*f1*f4*f7*f2 *f6 + 2*f1*f4*f7*f3 *f5 + 2*f1*f4*f7*f5 *f6 + 2*f1*f5*f7*f3 *f4 + 2*f1*f5*f7*f4 *f6 + 2*f1*f6*f7*f3 *f4 + 2*f1*f6*f7*f3 *f5 + 2*f2*f3*f4*f7*f1 + 2*f2*f3*f4*f5 *f7 + 2*f2*f3*f4*f6 *f7 + 2*f2*f3*f6*f5 *f7 + 2*f2*f3*f7*f1 *f5 + 2*f2*f3*f7*f4 *f6 + 2*f2*f3*f7*f5 *f6 + 2*f2*f4*f5*f6 *f7 + 2*f2*f4*f7*f1 *f5 + 2*f2*f4*f7*f3 *f5 + 2*f2*f4*f7*f5 *f6 + 2*f2*f5*f7*f3 *f4 + 2*f2*f5*f7*f4 *f6 + 2*f2*f6*f7*f3 *f4 + 2*f2*f6*f7*f3 *f5 + 2*f3*f4*f7*f1 *f5 + 2*f3*f4*f7*f2 *f6 + 2*f3*f5*f7*f1 *f2 + 2*f3*f5*f7*f2 *f6 + 2*f3*f6*f7*f1 *f2 + 2*f3*f6*f7*f1 *f5 + 2*f4*f5*f7*f1 *f2 + 2*f4*f5*f7*f2 *f6 + 2*f4*f6*f7*f1 *f2 + 2*f4*f6*f7*f1 *f5 + 3*f1*f2*f5*f7*f4 + 3*f1*f2*f5*f4 *f7 + 3*f1*f2*f6*f7*f3 + 3*f1*f2*f6*f3 *f7 + 3*f1*f3*f4*f2 *f7 + 3*f1*f3*f5*f6 *f7 + 3*f1*f3*f7*f2 *f5 + 3*f1*f3*f7*f4 *f5 + 3*f1*f4*f6*f2 *f7 + 3*f1*f4*f6*f5 *f7 + 3*f1*f4*f7*f2 *f5 + 3*f1*f4*f7*f3 *f6 + 3*f1*f5*f7*f3 *f6 + 3*f1*f6*f7*f2 *f4 + 3*f1*f6*f7*f4 *f5 + 3*f2*f3*f4*f1 *f7 + 3*f2*f3*f5*f1 *f7 + 3*f2*f3*f5*f6 *f7 + 3*f2*f3*f7*f1 *f6 + 3*f2*f3*f7*f4 *f5 + 3*f2*f4*f6*f5 *f7 + 3*f2*f4*f7*f1 *f6 + 3*f2*f4*f7*f3 *f6 + 3*f2*f5*f7*f1 *f3 + 3*f2*f5*f7*f3 *f6 + 3*f2*f6*f7*f4 *f5 + 3*f3*f4*f5*f7*f2 + 3*f3*f4*f5*f1 *f7 + 3*f3*f4*f5*f2 *f7 + 3*f3*f4*f6*f7*f1 + 3*f3*f4*f6*f1 *f7 + 3*f3*f4*f6*f2 *f7 + 3*f3*f5*f6*f1 *f7 + 3*f3*f5*f7*f1 *f6 + 3*f3*f6*f7*f2 *f4 + 3*f3*f6*f7*f2 *f5 + 3*f4*f5*f6*f2 *f7 + 3*f4*f5*f7*f1 *f3 + 3*f4*f5*f7*f1 *f6 + 3*f4*f6*f7*f2 *f5 + 3*f5*f6*f7*f1 *f3 + 3*f5*f6*f7*f2 *f4 + 4*f1*f2*f3*f6 *f7 + 4*f1*f2*f4*f5 *f7 + 4*f1*f2*f7*f3 *f4 + 4*f1*f2*f7*f3 *f6 + 4*f1*f2*f7*f4 *f5 + 4*f1*f3*f6*f2 *f7 + 4*f1*f3*f7*f2 *f4 + 4*f1*f4*f5*f2 *f7 + 4*f1*f5*f7*f2 *f4 + 4*f1*f6*f7*f2 *f3 + 4*f2*f3*f6*f1 *f7 + 4*f2*f4*f5*f1 *f7 + 4*f2*f4*f7*f1 *f3 + 4*f2*f5*f7*f1 *f4 + 4*f2*f6*f7*f1 *f3 + 4*f3*f4*f7*f1 *f2 + 4*f3*f4*f7*f1 *f6 + 4*f3*f4*f7*f2 *f5 + 4*f3*f5*f7*f2 *f4 + 4*f3*f6*f7*f1 *f4 + 4*f4*f5*f7*f2 *f3 + 4*f4*f6*f7*f1 *f3 + 5*f1*f2*f5*f6 *f7 + 5*f1*f2*f6*f5 *f7 + 5*f1*f3*f5*f2 *f7 + 5*f1*f4*f7*f2 *f3 + 5*f1*f5*f6*f2 *f7 + 5*f1*f5*f7*f2 *f3 + 5*f2*f3*f7*f1 *f4 + 5*f2*f4*f6*f1 *f7 + 5*f2*f5*f6*f1 *f7 + 5*f2*f6*f7*f1 *f4 + 5*f3*f5*f6*f2 *f7 + 5*f3*f5*f7*f1 *f4 + 5*f4*f5*f6*f1 *f7 + 5*f4*f6*f7*f2 *f3 + 5*f5*f6*f7*f1 *f4 + 5*f5*f6*f7*f2 *f3 + 4*f1*f3*f4*f5*f6*f7 + 4*f2*f3*f4*f5*f6*f7 + 5*f1*f2*f3*f5*f7*f6 + 5*f1*f2*f3*f6*f7*f5 + 5*f1*f2*f4*f5*f7*f6 + 5*f1*f2*f4*f6*f7*f5 + 5*f1*f3*f4*f5*f7*f6 + 5*f1*f3*f4*f6*f7*f5 + 5*f1*f3*f5*f6*f7*f2 + 5*f1*f3*f5*f6*f7*f4 + 5*f1*f4*f5*f6*f7*f2 + 5*f1*f4*f5*f6*f7*f3 + 5*f2*f3*f4*f5*f7*f6 + 5*f2*f3*f4*f6*f7*f5 + 5*f2*f3*f5*f6*f7*f1 + 5*f2*f3*f5*f6*f7*f4 + 5*f2*f4*f5*f6*f7*f1 + 5*f2*f4*f5*f6*f7*f3 + 6*f1*f2*f3*f4*f5*f7 + 6*f1*f2*f3*f4*f6*f7 + 6*f1*f2*f3*f4*f7*f5 + 6*f1*f2*f3*f4*f7*f6 + 7*f1*f2*f3*f6*f7*f4 + 7*f1*f2*f4*f5*f7*f3 + 7*f1*f3*f4*f6*f7*f2 + 7*f2*f3*f4*f5*f7*f1 + 8*f1*f2*f3*f5*f6*f7 + 8*f1*f2*f4*f5*f6*f7 + 8*f1*f2*f5*f6*f7*f3 + 8*f1*f2*f5*f6*f7*f4 + 8*f3*f4*f5*f6*f7*f1 + 8*f3*f4*f5*f6*f7*f2 + 9*f1*f2*f3*f5*f7*f4 + 9*f1*f2*f4*f6*f7*f3 + 9*f1*f3*f4*f5*f7*f2 + 9*f2*f3*f4*f6*f7*f1 + 16*f1*f2*f3*f4*f5*f6*f7
$$f_{1}^{3} f_{2} f_{3}^{2} f_{7} + 2 f_{1}^{3} f_{2} f_{3} f_{4} f_{7} + f_{1}^{3} f_{2} f_{3} f_{5} f_{7} + f_{1}^{3} f_{2} f_{3} f_{6} f_{7} + f_{1}^{3} f_{2} f_{3} f_{7}^{2} + f_{1}^{3} f_{2} f_{4}^{2} f_{7} + f_{1}^{3} f_{2} f_{4} f_{5} f_{7} + f_{1}^{3} f_{2} f_{4} f_{6} f_{7} + f_{1}^{3} f_{2} f_{4} f_{7}^{2} + f_{1}^{3} f_{2} f_{5} f_{7}^{2} + f_{1}^{3} f_{2} f_{6} f_{7}^{2} + f_{1}^{3} f_{3}^{2} f_{4} f_{7} + f_{1}^{3} f_{3}^{2} f_{6} f_{7} + 2 f_{1}^{3} f_{3} f_{4}^{2} f_{7} + f_{1}^{3} f_{3} f_{4} f_{5} f_{7} + 3 f_{1}^{3} f_{3} f_{4} f_{6} f_{7} + f_{1}^{3} f_{3} f_{4} f_{7}^{2} + f_{1}^{3} f_{3} f_{5} f_{6} f_{7} + f_{1}^{3} f_{3} f_{6}^{2} f_{7} + f_{1}^{3} f_{3} f_{6} f_{7}^{2} + f_{1}^{3} f_{4}^{3} f_{7} + f_{1}^{3} f_{4}^{2} f_{5} f_{7} + 2 f_{1}^{3} f_{4}^{2} f_{6} f_{7} + f_{1}^{3} f_{4}^{2} f_{7}^{2} + f_{1}^{3} f_{4} f_{5} f_{6} f_{7} + f_{1}^{3} f_{4} f_{5} f_{7}^{2} + f_{1}^{3} f_{4} f_{6}^{2} f_{7} + 2 f_{1}^{3} f_{4} f_{6} f_{7}^{2} + f_{1}^{3} f_{5} f_{6} f_{7}^{2} + f_{1}^{3} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{3}^{2} f_{7} + 4 f_{1}^{2} f_{2}^{2} f_{3} f_{4} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{5} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{6} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{3} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{4}^{2} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{5} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{6} f_{7} + 2 f_{1}^{2} f_{2}^{2} f_{4} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{5} f_{7}^{2} + 2 f_{1}^{2} f_{2}^{2} f_{6} f_{7}^{2} + f_{1}^{2} f_{2} f_{3}^{3} f_{7} + 4 f_{1}^{2} f_{2} f_{3}^{2} f_{4} f_{7} + 3 f_{1}^{2} f_{2} f_{3}^{2} f_{5} f_{7} + 4 f_{1}^{2} f_{2} f_{3}^{2} f_{6} f_{7} + f_{1}^{2} f_{2} f_{3}^{2} f_{7}^{2} + 5 f_{1}^{2} f_{2} f_{3} f_{4}^{2} f_{7} + 7 f_{1}^{2} f_{2} f_{3} f_{4} f_{5} f_{7} + 9 f_{1}^{2} f_{2} f_{3} f_{4} f_{6} f_{7} + 3 f_{1}^{2} f_{2} f_{3} f_{4} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{3} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{3} f_{5} f_{6} f_{7} + 3 f_{1}^{2} f_{2} f_{3} f_{5} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{3} f_{6}^{2} f_{7} + 4 f_{1}^{2} f_{2} f_{3} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{4}^{3} f_{7} + 4 f_{1}^{2} f_{2} f_{4}^{2} f_{5} f_{7} + 5 f_{1}^{2} f_{2} f_{4}^{2} f_{6} f_{7} + 2 f_{1}^{2} f_{2} f_{4}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{4} f_{5} f_{6} f_{7} + 4 f_{1}^{2} f_{2} f_{4} f_{5} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{4} f_{6}^{2} f_{7} + 5 f_{1}^{2} f_{2} f_{4} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{2} f_{5}^{2} f_{7}^{2} + 5 f_{1}^{2} f_{2} f_{5} f_{6} f_{7}^{2} + 3 f_{1}^{2} f_{2} f_{6}^{2} f_{7}^{2} + f_{1}^{2} f_{3}^{3} f_{4} f_{7} + f_{1}^{2} f_{3}^{3} f_{6} f_{7} + 2 f_{1}^{2} f_{3}^{2} f_{4}^{2} f_{7} + 3 f_{1}^{2} f_{3}^{2} f_{4} f_{5} f_{7} + 4 f_{1}^{2} f_{3}^{2} f_{4} f_{6} f_{7} + f_{1}^{2} f_{3}^{2} f_{4} f_{7}^{2} + 3 f_{1}^{2} f_{3}^{2} f_{5} f_{6} f_{7} + 2 f_{1}^{2} f_{3}^{2} f_{6}^{2} f_{7} + f_{1}^{2} f_{3}^{2} f_{6} f_{7}^{2} + f_{1}^{2} f_{3} f_{4}^{3} f_{7} + 5 f_{1}^{2} f_{3} f_{4}^{2} f_{5} f_{7} + 4 f_{1}^{2} f_{3} f_{4}^{2} f_{6} f_{7} + f_{1}^{2} f_{3} f_{4}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{3} f_{4} f_{5}^{2} f_{7} + 8 f_{1}^{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 3 f_{1}^{2} f_{3} f_{4} f_{5} f_{7}^{2} + 4 f_{1}^{2} f_{3} f_{4} f_{6}^{2} f_{7} + 3 f_{1}^{2} f_{3} f_{4} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{3} f_{5}^{2} f_{6} f_{7} + 3 f_{1}^{2} f_{3} f_{5} f_{6}^{2} f_{7} + 3 f_{1}^{2} f_{3} f_{5} f_{6} f_{7}^{2} + f_{1}^{2} f_{3} f_{6}^{3} f_{7} + 2 f_{1}^{2} f_{3} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{4}^{3} f_{5} f_{7} + f_{1}^{2} f_{4}^{3} f_{6} f_{7} + 2 f_{1}^{2} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{1}^{2} f_{4}^{2} f_{5} f_{6} f_{7} + 2 f_{1}^{2} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1}^{2} f_{4}^{2} f_{6}^{2} f_{7} + f_{1}^{2} f_{4}^{2} f_{6} f_{7}^{2} + 2 f_{1}^{2} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{1}^{2} f_{4} f_{5}^{2} f_{7}^{2} + 3 f_{1}^{2} f_{4} f_{5} f_{6}^{2} f_{7} + 5 f_{1}^{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1}^{2} f_{4} f_{6}^{3} f_{7} + 2 f_{1}^{2} f_{4} f_{6}^{2} f_{7}^{2} + 2 f_{1}^{2} f_{5}^{2} f_{6} f_{7}^{2} + 3 f_{1}^{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{1}^{2} f_{6}^{3} f_{7}^{2} + f_{1} f_{2}^{3} f_{3}^{2} f_{7} + 2 f_{1} f_{2}^{3} f_{3} f_{4} f_{7} + f_{1} f_{2}^{3} f_{3} f_{5} f_{7} + f_{1} f_{2}^{3} f_{3} f_{6} f_{7} + f_{1} f_{2}^{3} f_{3} f_{7}^{2} + f_{1} f_{2}^{3} f_{4}^{2} f_{7} + f_{1} f_{2}^{3} f_{4} f_{5} f_{7} + f_{1} f_{2}^{3} f_{4} f_{6} f_{7} + f_{1} f_{2}^{3} f_{4} f_{7}^{2} + f_{1} f_{2}^{3} f_{5} f_{7}^{2} + f_{1} f_{2}^{3} f_{6} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{3}^{3} f_{7} + 5 f_{1} f_{2}^{2} f_{3}^{2} f_{4} f_{7} + 5 f_{1} f_{2}^{2} f_{3}^{2} f_{5} f_{7} + 4 f_{1} f_{2}^{2} f_{3}^{2} f_{6} f_{7} + 2 f_{1} f_{2}^{2} f_{3}^{2} f_{7}^{2} + 4 f_{1} f_{2}^{2} f_{3} f_{4}^{2} f_{7} + 9 f_{1} f_{2}^{2} f_{3} f_{4} f_{5} f_{7} + 7 f_{1} f_{2}^{2} f_{3} f_{4} f_{6} f_{7} + 3 f_{1} f_{2}^{2} f_{3} f_{4} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{3} f_{5}^{2} f_{7} + 5 f_{1} f_{2}^{2} f_{3} f_{5} f_{6} f_{7} + 5 f_{1} f_{2}^{2} f_{3} f_{5} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{3} f_{6}^{2} f_{7} + 4 f_{1} f_{2}^{2} f_{3} f_{6} f_{7}^{2} + f_{1} f_{2}^{2} f_{4}^{3} f_{7} + 4 f_{1} f_{2}^{2} f_{4}^{2} f_{5} f_{7} + 3 f_{1} f_{2}^{2} f_{4}^{2} f_{6} f_{7} + f_{1} f_{2}^{2} f_{4}^{2} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1} f_{2}^{2} f_{4} f_{5} f_{6} f_{7} + 4 f_{1} f_{2}^{2} f_{4} f_{5} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{4} f_{6}^{2} f_{7} + 3 f_{1} f_{2}^{2} f_{4} f_{6} f_{7}^{2} + 3 f_{1} f_{2}^{2} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2}^{2} f_{5} f_{6} f_{7}^{2} + 2 f_{1} f_{2}^{2} f_{6}^{2} f_{7}^{2} + 2 f_{1} f_{2} f_{3}^{3} f_{4} f_{7} + f_{1} f_{2} f_{3}^{3} f_{5} f_{7} + 3 f_{1} f_{2} f_{3}^{3} f_{6} f_{7} + 4 f_{1} f_{2} f_{3}^{2} f_{4}^{2} f_{7} + 7 f_{1} f_{2} f_{3}^{2} f_{4} f_{5} f_{7} + 9 f_{1} f_{2} f_{3}^{2} f_{4} f_{6} f_{7} + 2 f_{1} f_{2} f_{3}^{2} f_{4} f_{7}^{2} + 2 f_{1} f_{2} f_{3}^{2} f_{5}^{2} f_{7} + 8 f_{1} f_{2} f_{3}^{2} f_{5} f_{6} f_{7} + f_{1} f_{2} f_{3}^{2} f_{5} f_{7}^{2} + 4 f_{1} f_{2} f_{3}^{2} f_{6}^{2} f_{7} + 3 f_{1} f_{2} f_{3}^{2} f_{6} f_{7}^{2} + 2 f_{1} f_{2} f_{3} f_{4}^{3} f_{7} + 9 f_{1} f_{2} f_{3} f_{4}^{2} f_{5} f_{7} + 7 f_{1} f_{2} f_{3} f_{4}^{2} f_{6} f_{7} + 2 f_{1} f_{2} f_{3} f_{4}^{2} f_{7}^{2} + 6 f_{1} f_{2} f_{3} f_{4} f_{5}^{2} f_{7} + 16 f_{1} f_{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 6 f_{1} f_{2} f_{3} f_{4} f_{5} f_{7}^{2} + 6 f_{1} f_{2} f_{3} f_{4} f_{6}^{2} f_{7} + 6 f_{1} f_{2} f_{3} f_{4} f_{6} f_{7}^{2} + f_{1} f_{2} f_{3} f_{5}^{3} f_{7} + 5 f_{1} f_{2} f_{3} f_{5}^{2} f_{6} f_{7} + 2 f_{1} f_{2} f_{3} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2} f_{3} f_{5} f_{6}^{2} f_{7} + 8 f_{1} f_{2} f_{3} f_{5} f_{6} f_{7}^{2} + f_{1} f_{2} f_{3} f_{6}^{3} f_{7} + 4 f_{1} f_{2} f_{3} f_{6}^{2} f_{7}^{2} + 3 f_{1} f_{2} f_{4}^{3} f_{5} f_{7} + f_{1} f_{2} f_{4}^{3} f_{6} f_{7} + 4 f_{1} f_{2} f_{4}^{2} f_{5}^{2} f_{7} + 8 f_{1} f_{2} f_{4}^{2} f_{5} f_{6} f_{7} + 3 f_{1} f_{2} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1} f_{2} f_{4}^{2} f_{6}^{2} f_{7} + f_{1} f_{2} f_{4}^{2} f_{6} f_{7}^{2} + f_{1} f_{2} f_{4} f_{5}^{3} f_{7} + 5 f_{1} f_{2} f_{4} f_{5}^{2} f_{6} f_{7} + 4 f_{1} f_{2} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{2} f_{4} f_{5} f_{6}^{2} f_{7} + 8 f_{1} f_{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1} f_{2} f_{4} f_{6}^{3} f_{7} + 2 f_{1} f_{2} f_{4} f_{6}^{2} f_{7}^{2} + f_{1} f_{2} f_{5}^{3} f_{7}^{2} + 5 f_{1} f_{2} f_{5}^{2} f_{6} f_{7}^{2} + 5 f_{1} f_{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{2} f_{6}^{3} f_{7}^{2} + f_{1} f_{3}^{3} f_{4} f_{5} f_{7} + f_{1} f_{3}^{3} f_{4} f_{6} f_{7} + f_{1} f_{3}^{3} f_{5} f_{6} f_{7} + f_{1} f_{3}^{3} f_{6}^{2} f_{7} + 2 f_{1} f_{3}^{2} f_{4}^{2} f_{5} f_{7} + 2 f_{1} f_{3}^{2} f_{4}^{2} f_{6} f_{7} + 2 f_{1} f_{3}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{1} f_{3}^{2} f_{4} f_{5} f_{6} f_{7} + f_{1} f_{3}^{2} f_{4} f_{5} f_{7}^{2} + 3 f_{1} f_{3}^{2} f_{4} f_{6}^{2} f_{7} + f_{1} f_{3}^{2} f_{4} f_{6} f_{7}^{2} + 2 f_{1} f_{3}^{2} f_{5}^{2} f_{6} f_{7} + 3 f_{1} f_{3}^{2} f_{5} f_{6}^{2} f_{7} + f_{1} f_{3}^{2} f_{5} f_{6} f_{7}^{2} + f_{1} f_{3}^{2} f_{6}^{3} f_{7} + f_{1} f_{3}^{2} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{4}^{3} f_{5} f_{7} + f_{1} f_{3} f_{4}^{3} f_{6} f_{7} + 3 f_{1} f_{3} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{1} f_{3} f_{4}^{2} f_{5} f_{6} f_{7} + f_{1} f_{3} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{1} f_{3} f_{4}^{2} f_{6}^{2} f_{7} + f_{1} f_{3} f_{4}^{2} f_{6} f_{7}^{2} + f_{1} f_{3} f_{4} f_{5}^{3} f_{7} + 5 f_{1} f_{3} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{1} f_{3} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{1} f_{3} f_{4} f_{5} f_{6}^{2} f_{7} + 4 f_{1} f_{3} f_{4} f_{5} f_{6} f_{7}^{2} + f_{1} f_{3} f_{4} f_{6}^{3} f_{7} + 2 f_{1} f_{3} f_{4} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{5}^{3} f_{6} f_{7} + 2 f_{1} f_{3} f_{5}^{2} f_{6}^{2} f_{7} + 2 f_{1} f_{3} f_{5}^{2} f_{6} f_{7}^{2} + f_{1} f_{3} f_{5} f_{6}^{3} f_{7} + 3 f_{1} f_{3} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{3} f_{6}^{3} f_{7}^{2} + f_{1} f_{4}^{3} f_{5}^{2} f_{7} + f_{1} f_{4}^{3} f_{5} f_{6} f_{7} + f_{1} f_{4}^{2} f_{5}^{3} f_{7} + 3 f_{1} f_{4}^{2} f_{5}^{2} f_{6} f_{7} + f_{1} f_{4}^{2} f_{5}^{2} f_{7}^{2} + 2 f_{1} f_{4}^{2} f_{5} f_{6}^{2} f_{7} + f_{1} f_{4}^{2} f_{5} f_{6} f_{7}^{2} + f_{1} f_{4} f_{5}^{3} f_{6} f_{7} + f_{1} f_{4} f_{5}^{3} f_{7}^{2} + 2 f_{1} f_{4} f_{5}^{2} f_{6}^{2} f_{7} + 3 f_{1} f_{4} f_{5}^{2} f_{6} f_{7}^{2} + f_{1} f_{4} f_{5} f_{6}^{3} f_{7} + 2 f_{1} f_{4} f_{5} f_{6}^{2} f_{7}^{2} + f_{1} f_{5}^{3} f_{6} f_{7}^{2} + 2 f_{1} f_{5}^{2} f_{6}^{2} f_{7}^{2} + f_{1} f_{5} f_{6}^{3} f_{7}^{2} + f_{2}^{3} f_{3}^{3} f_{7} + 2 f_{2}^{3} f_{3}^{2} f_{4} f_{7} + 2 f_{2}^{3} f_{3}^{2} f_{5} f_{7} + f_{2}^{3} f_{3}^{2} f_{6} f_{7} + f_{2}^{3} f_{3}^{2} f_{7}^{2} + f_{2}^{3} f_{3} f_{4}^{2} f_{7} + 3 f_{2}^{3} f_{3} f_{4} f_{5} f_{7} + f_{2}^{3} f_{3} f_{4} f_{6} f_{7} + f_{2}^{3} f_{3} f_{4} f_{7}^{2} + f_{2}^{3} f_{3} f_{5}^{2} f_{7} + f_{2}^{3} f_{3} f_{5} f_{6} f_{7} + 2 f_{2}^{3} f_{3} f_{5} f_{7}^{2} + f_{2}^{3} f_{3} f_{6} f_{7}^{2} + f_{2}^{3} f_{4}^{2} f_{5} f_{7} + f_{2}^{3} f_{4} f_{5}^{2} f_{7} + f_{2}^{3} f_{4} f_{5} f_{6} f_{7} + f_{2}^{3} f_{4} f_{5} f_{7}^{2} + f_{2}^{3} f_{5}^{2} f_{7}^{2} + f_{2}^{3} f_{5} f_{6} f_{7}^{2} + f_{2}^{2} f_{3}^{3} f_{4} f_{7} + f_{2}^{2} f_{3}^{3} f_{5} f_{7} + 2 f_{2}^{2} f_{3}^{3} f_{6} f_{7} + 2 f_{2}^{2} f_{3}^{2} f_{4}^{2} f_{7} + 4 f_{2}^{2} f_{3}^{2} f_{4} f_{5} f_{7} + 5 f_{2}^{2} f_{3}^{2} f_{4} f_{6} f_{7} + f_{2}^{2} f_{3}^{2} f_{4} f_{7}^{2} + 2 f_{2}^{2} f_{3}^{2} f_{5}^{2} f_{7} + 5 f_{2}^{2} f_{3}^{2} f_{5} f_{6} f_{7} + f_{2}^{2} f_{3}^{2} f_{5} f_{7}^{2} + 2 f_{2}^{2} f_{3}^{2} f_{6}^{2} f_{7} + 2 f_{2}^{2} f_{3}^{2} f_{6} f_{7}^{2} + f_{2}^{2} f_{3} f_{4}^{3} f_{7} + 4 f_{2}^{2} f_{3} f_{4}^{2} f_{5} f_{7} + 3 f_{2}^{2} f_{3} f_{4}^{2} f_{6} f_{7} + f_{2}^{2} f_{3} f_{4}^{2} f_{7}^{2} + 4 f_{2}^{2} f_{3} f_{4} f_{5}^{2} f_{7} + 8 f_{2}^{2} f_{3} f_{4} f_{5} f_{6} f_{7} + 3 f_{2}^{2} f_{3} f_{4} f_{5} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{4} f_{6}^{2} f_{7} + 3 f_{2}^{2} f_{3} f_{4} f_{6} f_{7}^{2} + f_{2}^{2} f_{3} f_{5}^{3} f_{7} + 3 f_{2}^{2} f_{3} f_{5}^{2} f_{6} f_{7} + 2 f_{2}^{2} f_{3} f_{5}^{2} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{5} f_{6}^{2} f_{7} + 5 f_{2}^{2} f_{3} f_{5} f_{6} f_{7}^{2} + 2 f_{2}^{2} f_{3} f_{6}^{2} f_{7}^{2} + f_{2}^{2} f_{4}^{3} f_{5} f_{7} + 2 f_{2}^{2} f_{4}^{2} f_{5}^{2} f_{7} + 3 f_{2}^{2} f_{4}^{2} f_{5} f_{6} f_{7} + f_{2}^{2} f_{4}^{2} f_{5} f_{7}^{2} + f_{2}^{2} f_{4} f_{5}^{3} f_{7} + 3 f_{2}^{2} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{2}^{2} f_{4} f_{5}^{2} f_{7}^{2} + 2 f_{2}^{2} f_{4} f_{5} f_{6}^{2} f_{7} + 3 f_{2}^{2} f_{4} f_{5} f_{6} f_{7}^{2} + f_{2}^{2} f_{5}^{3} f_{7}^{2} + 3 f_{2}^{2} f_{5}^{2} f_{6} f_{7}^{2} + 2 f_{2}^{2} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{3}^{3} f_{4} f_{5} f_{7} + f_{2} f_{3}^{3} f_{4} f_{6} f_{7} + f_{2} f_{3}^{3} f_{5} f_{6} f_{7} + f_{2} f_{3}^{3} f_{6}^{2} f_{7} + 2 f_{2} f_{3}^{2} f_{4}^{2} f_{5} f_{7} + 2 f_{2} f_{3}^{2} f_{4}^{2} f_{6} f_{7} + 2 f_{2} f_{3}^{2} f_{4} f_{5}^{2} f_{7} + 5 f_{2} f_{3}^{2} f_{4} f_{5} f_{6} f_{7} + f_{2} f_{3}^{2} f_{4} f_{5} f_{7}^{2} + 3 f_{2} f_{3}^{2} f_{4} f_{6}^{2} f_{7} + f_{2} f_{3}^{2} f_{4} f_{6} f_{7}^{2} + 2 f_{2} f_{3}^{2} f_{5}^{2} f_{6} f_{7} + 3 f_{2} f_{3}^{2} f_{5} f_{6}^{2} f_{7} + f_{2} f_{3}^{2} f_{5} f_{6} f_{7}^{2} + f_{2} f_{3}^{2} f_{6}^{3} f_{7} + f_{2} f_{3}^{2} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{4}^{3} f_{5} f_{7} + f_{2} f_{3} f_{4}^{3} f_{6} f_{7} + 3 f_{2} f_{3} f_{4}^{2} f_{5}^{2} f_{7} + 5 f_{2} f_{3} f_{4}^{2} f_{5} f_{6} f_{7} + f_{2} f_{3} f_{4}^{2} f_{5} f_{7}^{2} + 2 f_{2} f_{3} f_{4}^{2} f_{6}^{2} f_{7} + f_{2} f_{3} f_{4}^{2} f_{6} f_{7}^{2} + f_{2} f_{3} f_{4} f_{5}^{3} f_{7} + 5 f_{2} f_{3} f_{4} f_{5}^{2} f_{6} f_{7} + 2 f_{2} f_{3} f_{4} f_{5}^{2} f_{7}^{2} + 5 f_{2} f_{3} f_{4} f_{5} f_{6}^{2} f_{7} + 4 f_{2} f_{3} f_{4} f_{5} f_{6} f_{7}^{2} + f_{2} f_{3} f_{4} f_{6}^{3} f_{7} + 2 f_{2} f_{3} f_{4} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{5}^{3} f_{6} f_{7} + 2 f_{2} f_{3} f_{5}^{2} f_{6}^{2} f_{7} + 2 f_{2} f_{3} f_{5}^{2} f_{6} f_{7}^{2} + f_{2} f_{3} f_{5} f_{6}^{3} f_{7} + 3 f_{2} f_{3} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{3} f_{6}^{3} f_{7}^{2} + f_{2} f_{4}^{3} f_{5}^{2} f_{7} + f_{2} f_{4}^{3} f_{5} f_{6} f_{7} + f_{2} f_{4}^{2} f_{5}^{3} f_{7} + 3 f_{2} f_{4}^{2} f_{5}^{2} f_{6} f_{7} + f_{2} f_{4}^{2} f_{5}^{2} f_{7}^{2} + 2 f_{2} f_{4}^{2} f_{5} f_{6}^{2} f_{7} + f_{2} f_{4}^{2} f_{5} f_{6} f_{7}^{2} + f_{2} f_{4} f_{5}^{3} f_{6} f_{7} + f_{2} f_{4} f_{5}^{3} f_{7}^{2} + 2 f_{2} f_{4} f_{5}^{2} f_{6}^{2} f_{7} + 3 f_{2} f_{4} f_{5}^{2} f_{6} f_{7}^{2} + f_{2} f_{4} f_{5} f_{6}^{3} f_{7} + 2 f_{2} f_{4} f_{5} f_{6}^{2} f_{7}^{2} + f_{2} f_{5}^{3} f_{6} f_{7}^{2} + 2 f_{2} f_{5}^{2} f_{6}^{2} f_{7}^{2} + f_{2} f_{5} f_{6}^{3} f_{7}^{2}$$
f7*f1^3*f4^3 + f7*f2^3*f3^3 + f1^2*f6^3*f7^2 + f1^3*f4^2*f7^2 + f1^3*f6^2*f7^2 + f2^2*f5^3*f7^2 + f2^3*f3^2*f7^2 + f2^3*f5^2*f7^2 + f1*f2*f5^3*f7^2 + f1*f2*f6^3*f7^2 + f1*f3*f2^3*f7^2 + f1*f3*f6^3*f7^2 + f1*f4*f2^3*f7^2 + f1*f4*f5^3*f7^2 + f1*f5*f2^3*f7^2 + f1*f5*f6^3*f7^2 + f1*f6*f2^3*f7^2 + f1*f6*f5^3*f7^2 + f1*f7*f2^2*f4^3 + f1*f7*f2^3*f3^2 + f1*f7*f2^3*f4^2 + f1*f7*f3^2*f6^3 + f1*f7*f3^3*f6^2 + f1*f7*f4^2*f5^3 + f1*f7*f4^3*f5^2 + f1*f2^2*f4^2*f7^2 + f1*f3^2*f6^2*f7^2 + f1*f4^2*f5^2*f7^2 + f2*f3*f1^3*f7^2 + f2*f3*f6^3*f7^2 + f2*f4*f1^3*f7^2 + f2*f4*f5^3*f7^2 + f2*f5*f1^3*f7^2 + f2*f5*f6^3*f7^2 + f2*f6*f1^3*f7^2 + f2*f6*f5^3*f7^2 + f2*f7*f1^2*f3^3 + f2*f7*f1^3*f3^2 + f2*f7*f1^3*f4^2 + f2*f7*f3^2*f6^3 + f2*f7*f3^3*f6^2 + f2*f7*f4^2*f5^3 + f2*f7*f4^3*f5^2 + f2*f1^2*f3^2*f7^2 + f2*f3^2*f6^2*f7^2 + f2*f4^2*f5^2*f7^2 + f3*f4*f1^3*f7^2 + f3*f4*f2^3*f7^2 + f3*f6*f1^3*f7^2 + f3*f6*f2^3*f7^2 + f3*f7*f1^2*f4^3 + f3*f7*f1^2*f6^3 + f3*f7*f1^3*f6^2 + f3*f7*f2^2*f4^3 + f3*f7*f2^2*f5^3 + f3*f7*f2^3*f4^2 + f3*f7*f2^3*f5^2 + f3*f1^2*f4^2*f7^2 + f3*f2^2*f4^2*f7^2 + f4*f5*f1^3*f7^2 + f4*f5*f2^3*f7^2 + f4*f7*f1^2*f3^3 + f4*f7*f1^2*f6^3 + f4*f7*f1^3*f3^2 + f4*f7*f1^3*f6^2 + f4*f7*f2^2*f3^3 + f4*f7*f2^2*f5^3 + f4*f7*f2^3*f5^2 + f4*f1^2*f3^2*f7^2 + f4*f2^2*f3^2*f7^2 + f5*f6*f1^3*f7^2 + f5*f6*f2^3*f7^2 + f5*f7*f1^3*f4^2 + f5*f7*f2^2*f3^3 + f5*f7*f2^2*f4^3 + f5*f7*f2^3*f4^2 + f5*f2^2*f3^2*f7^2 + f5*f2^2*f4^2*f7^2 + f6*f7*f1^2*f3^3 + f6*f7*f1^2*f4^3 + f6*f7*f1^3*f3^2 + f6*f7*f2^3*f3^2 + f6*f1^2*f3^2*f7^2 + f6*f1^2*f4^2*f7^2 + 2*f1*f7*f2^2*f3^3 + 2*f1*f2^2*f3^2*f7^2 + 2*f1*f2^2*f6^2*f7^2 + 2*f1*f5^2*f6^2*f7^2 + 2*f2*f7*f1^2*f4^3 + 2*f2*f1^2*f4^2*f7^2 + 2*f2*f1^2*f5^2*f7^2 + 2*f2*f5^2*f6^2*f7^2 + 2*f3*f5*f2^3*f7^2 + 2*f3*f7*f1^3*f4^2 + 2*f3*f1^2*f2^2*f7^2 + 2*f3*f1^2*f6^2*f7^2 + 2*f3*f2^2*f5^2*f7^2 + 2*f3*f2^2*f6^2*f7^2 + 2*f4*f6*f1^3*f7^2 + 2*f4*f7*f2^3*f3^2 + 2*f4*f1^2*f2^2*f7^2 + 2*f4*f1^2*f5^2*f7^2 + 2*f4*f1^2*f6^2*f7^2 + 2*f4*f2^2*f5^2*f7^2 + 2*f5*f7*f1^2*f4^3 + 2*f5*f7*f2^3*f3^2 + 2*f5*f1^2*f2^2*f7^2 + 2*f5*f1^2*f4^2*f7^2 + 2*f5*f2^2*f6^2*f7^2 + 2*f6*f7*f1^3*f4^2 + 2*f6*f7*f2^2*f3^3 + 2*f6*f1^2*f2^2*f7^2 + 2*f6*f1^2*f5^2*f7^2 + 2*f6*f2^2*f3^2*f7^2 + 2*f7*f1^2*f2^2*f3^2 + 2*f7*f1^2*f2^2*f4^2 + 2*f7*f1^2*f3^2*f4^2 + 2*f7*f1^2*f3^2*f6^2 + 2*f7*f1^2*f4^2*f5^2 + 2*f7*f1^2*f4^2*f6^2 + 2*f7*f2^2*f3^2*f4^2 + 2*f7*f2^2*f3^2*f5^2 + 2*f7*f2^2*f3^2*f6^2 + 2*f7*f2^2*f4^2*f5^2 + 3*f1*f2^2*f5^2*f7^2 + 3*f2*f1^2*f6^2*f7^2 + 3*f5*f1^2*f6^2*f7^2 + 3*f6*f2^2*f5^2*f7^2 + f1*f2*f3*f7*f5^3 + f1*f2*f3*f7*f6^3 + f1*f2*f4*f7*f5^3 + f1*f2*f4*f7*f6^3 + f1*f2*f5*f7*f3^3 + f1*f2*f5*f3^2*f7^2 + f1*f2*f6*f7*f4^3 + f1*f2*f6*f4^2*f7^2 + f1*f3*f4*f7*f5^3 + f1*f3*f4*f7*f6^3 + f1*f3*f5*f7*f2^3 + f1*f3*f5*f7*f4^3 + f1*f3*f5*f7*f6^3 + f1*f3*f5*f4^2*f7^2 + f1*f3*f6*f7*f2^3 + f1*f3*f6*f7*f4^3 + f1*f3*f6*f7*f5^3 + f1*f3*f6*f4^2*f7^2 + f1*f4*f5*f7*f2^3 + f1*f4*f5*f7*f3^3 + f1*f4*f5*f7*f6^3 + f1*f4*f5*f3^2*f7^2 + f1*f4*f6*f7*f2^3 + f1*f4*f6*f7*f3^3 + f1*f4*f6*f7*f5^3 + f1*f4*f6*f3^2*f7^2 + f1*f5*f6*f7*f3^3 + f1*f5*f6*f7*f4^3 + f1*f5*f6*f3^2*f7^2 + f1*f5*f6*f4^2*f7^2 + f2*f3*f4*f7*f5^3 + f2*f3*f4*f7*f6^3 + f2*f3*f5*f7*f1^3 + f2*f3*f5*f7*f4^3 + f2*f3*f5*f7*f6^3 + f2*f3*f5*f4^2*f7^2 + f2*f3*f6*f7*f1^3 + f2*f3*f6*f7*f4^3 + f2*f3*f6*f7*f5^3 + f2*f3*f6*f4^2*f7^2 + f2*f4*f5*f7*f1^3 + f2*f4*f5*f7*f3^3 + f2*f4*f5*f7*f6^3 + f2*f4*f5*f3^2*f7^2 + f2*f4*f6*f7*f1^3 + f2*f4*f6*f7*f3^3 + f2*f4*f6*f7*f5^3 + f2*f4*f6*f3^2*f7^2 + f2*f5*f6*f7*f3^3 + f2*f5*f6*f7*f4^3 + f2*f5*f6*f3^2*f7^2 + f2*f5*f6*f4^2*f7^2 + f3*f4*f5*f7*f1^3 + f3*f4*f6*f7*f2^3 + f3*f5*f6*f7*f1^3 + f3*f5*f6*f7*f2^3 + f4*f5*f6*f7*f1^3 + f4*f5*f6*f7*f2^3 + 2*f1*f2*f3*f7*f4^3 + 2*f1*f2*f3*f4^2*f7^2 + 2*f1*f2*f3*f5^2*f7^2 + 2*f1*f2*f4*f7*f3^3 + 2*f1*f2*f4*f3^2*f7^2 + 2*f1*f2*f4*f6^2*f7^2 + 2*f1*f2*f7*f3^2*f5^2 + 2*f1*f2*f7*f4^2*f6^2 + 2*f1*f3*f4*f7*f2^3 + 2*f1*f3*f4*f5^2*f7^2 + 2*f1*f3*f4*f6^2*f7^2 + 2*f1*f3*f6*f5^2*f7^2 + 2*f1*f3*f7*f2^2*f6^2 + 2*f1*f3*f7*f4^2*f6^2 + 2*f1*f3*f7*f5^2*f6^2 + 2*f1*f4*f5*f6^2*f7^2 + 2*f1*f4*f7*f2^2*f6^2 + 2*f1*f4*f7*f3^2*f5^2 + 2*f1*f4*f7*f5^2*f6^2 + 2*f1*f5*f7*f3^2*f4^2 + 2*f1*f5*f7*f4^2*f6^2 + 2*f1*f6*f7*f3^2*f4^2 + 2*f1*f6*f7*f3^2*f5^2 + 2*f2*f3*f4*f7*f1^3 + 2*f2*f3*f4*f5^2*f7^2 + 2*f2*f3*f4*f6^2*f7^2 + 2*f2*f3*f6*f5^2*f7^2 + 2*f2*f3*f7*f1^2*f5^2 + 2*f2*f3*f7*f4^2*f6^2 + 2*f2*f3*f7*f5^2*f6^2 + 2*f2*f4*f5*f6^2*f7^2 + 2*f2*f4*f7*f1^2*f5^2 + 2*f2*f4*f7*f3^2*f5^2 + 2*f2*f4*f7*f5^2*f6^2 + 2*f2*f5*f7*f3^2*f4^2 + 2*f2*f5*f7*f4^2*f6^2 + 2*f2*f6*f7*f3^2*f4^2 + 2*f2*f6*f7*f3^2*f5^2 + 2*f3*f4*f7*f1^2*f5^2 + 2*f3*f4*f7*f2^2*f6^2 + 2*f3*f5*f7*f1^2*f2^2 + 2*f3*f5*f7*f2^2*f6^2 + 2*f3*f6*f7*f1^2*f2^2 + 2*f3*f6*f7*f1^2*f5^2 + 2*f4*f5*f7*f1^2*f2^2 + 2*f4*f5*f7*f2^2*f6^2 + 2*f4*f6*f7*f1^2*f2^2 + 2*f4*f6*f7*f1^2*f5^2 + 3*f1*f2*f5*f7*f4^3 + 3*f1*f2*f5*f4^2*f7^2 + 3*f1*f2*f6*f7*f3^3 + 3*f1*f2*f6*f3^2*f7^2 + 3*f1*f3*f4*f2^2*f7^2 + 3*f1*f3*f5*f6^2*f7^2 + 3*f1*f3*f7*f2^2*f5^2 + 3*f1*f3*f7*f4^2*f5^2 + 3*f1*f4*f6*f2^2*f7^2 + 3*f1*f4*f6*f5^2*f7^2 + 3*f1*f4*f7*f2^2*f5^2 + 3*f1*f4*f7*f3^2*f6^2 + 3*f1*f5*f7*f3^2*f6^2 + 3*f1*f6*f7*f2^2*f4^2 + 3*f1*f6*f7*f4^2*f5^2 + 3*f2*f3*f4*f1^2*f7^2 + 3*f2*f3*f5*f1^2*f7^2 + 3*f2*f3*f5*f6^2*f7^2 + 3*f2*f3*f7*f1^2*f6^2 + 3*f2*f3*f7*f4^2*f5^2 + 3*f2*f4*f6*f5^2*f7^2 + 3*f2*f4*f7*f1^2*f6^2 + 3*f2*f4*f7*f3^2*f6^2 + 3*f2*f5*f7*f1^2*f3^2 + 3*f2*f5*f7*f3^2*f6^2 + 3*f2*f6*f7*f4^2*f5^2 + 3*f3*f4*f5*f7*f2^3 + 3*f3*f4*f5*f1^2*f7^2 + 3*f3*f4*f5*f2^2*f7^2 + 3*f3*f4*f6*f7*f1^3 + 3*f3*f4*f6*f1^2*f7^2 + 3*f3*f4*f6*f2^2*f7^2 + 3*f3*f5*f6*f1^2*f7^2 + 3*f3*f5*f7*f1^2*f6^2 + 3*f3*f6*f7*f2^2*f4^2 + 3*f3*f6*f7*f2^2*f5^2 + 3*f4*f5*f6*f2^2*f7^2 + 3*f4*f5*f7*f1^2*f3^2 + 3*f4*f5*f7*f1^2*f6^2 + 3*f4*f6*f7*f2^2*f5^2 + 3*f5*f6*f7*f1^2*f3^2 + 3*f5*f6*f7*f2^2*f4^2 + 4*f1*f2*f3*f6^2*f7^2 + 4*f1*f2*f4*f5^2*f7^2 + 4*f1*f2*f7*f3^2*f4^2 + 4*f1*f2*f7*f3^2*f6^2 + 4*f1*f2*f7*f4^2*f5^2 + 4*f1*f3*f6*f2^2*f7^2 + 4*f1*f3*f7*f2^2*f4^2 + 4*f1*f4*f5*f2^2*f7^2 + 4*f1*f5*f7*f2^2*f4^2 + 4*f1*f6*f7*f2^2*f3^2 + 4*f2*f3*f6*f1^2*f7^2 + 4*f2*f4*f5*f1^2*f7^2 + 4*f2*f4*f7*f1^2*f3^2 + 4*f2*f5*f7*f1^2*f4^2 + 4*f2*f6*f7*f1^2*f3^2 + 4*f3*f4*f7*f1^2*f2^2 + 4*f3*f4*f7*f1^2*f6^2 + 4*f3*f4*f7*f2^2*f5^2 + 4*f3*f5*f7*f2^2*f4^2 + 4*f3*f6*f7*f1^2*f4^2 + 4*f4*f5*f7*f2^2*f3^2 + 4*f4*f6*f7*f1^2*f3^2 + 5*f1*f2*f5*f6^2*f7^2 + 5*f1*f2*f6*f5^2*f7^2 + 5*f1*f3*f5*f2^2*f7^2 + 5*f1*f4*f7*f2^2*f3^2 + 5*f1*f5*f6*f2^2*f7^2 + 5*f1*f5*f7*f2^2*f3^2 + 5*f2*f3*f7*f1^2*f4^2 + 5*f2*f4*f6*f1^2*f7^2 + 5*f2*f5*f6*f1^2*f7^2 + 5*f2*f6*f7*f1^2*f4^2 + 5*f3*f5*f6*f2^2*f7^2 + 5*f3*f5*f7*f1^2*f4^2 + 5*f4*f5*f6*f1^2*f7^2 + 5*f4*f6*f7*f2^2*f3^2 + 5*f5*f6*f7*f1^2*f4^2 + 5*f5*f6*f7*f2^2*f3^2 + 4*f1*f3*f4*f5*f6*f7^2 + 4*f2*f3*f4*f5*f6*f7^2 + 5*f1*f2*f3*f5*f7*f6^2 + 5*f1*f2*f3*f6*f7*f5^2 + 5*f1*f2*f4*f5*f7*f6^2 + 5*f1*f2*f4*f6*f7*f5^2 + 5*f1*f3*f4*f5*f7*f6^2 + 5*f1*f3*f4*f6*f7*f5^2 + 5*f1*f3*f5*f6*f7*f2^2 + 5*f1*f3*f5*f6*f7*f4^2 + 5*f1*f4*f5*f6*f7*f2^2 + 5*f1*f4*f5*f6*f7*f3^2 + 5*f2*f3*f4*f5*f7*f6^2 + 5*f2*f3*f4*f6*f7*f5^2 + 5*f2*f3*f5*f6*f7*f1^2 + 5*f2*f3*f5*f6*f7*f4^2 + 5*f2*f4*f5*f6*f7*f1^2 + 5*f2*f4*f5*f6*f7*f3^2 + 6*f1*f2*f3*f4*f5*f7^2 + 6*f1*f2*f3*f4*f6*f7^2 + 6*f1*f2*f3*f4*f7*f5^2 + 6*f1*f2*f3*f4*f7*f6^2 + 7*f1*f2*f3*f6*f7*f4^2 + 7*f1*f2*f4*f5*f7*f3^2 + 7*f1*f3*f4*f6*f7*f2^2 + 7*f2*f3*f4*f5*f7*f1^2 + 8*f1*f2*f3*f5*f6*f7^2 + 8*f1*f2*f4*f5*f6*f7^2 + 8*f1*f2*f5*f6*f7*f3^2 + 8*f1*f2*f5*f6*f7*f4^2 + 8*f3*f4*f5*f6*f7*f1^2 + 8*f3*f4*f5*f6*f7*f2^2 + 9*f1*f2*f3*f5*f7*f4^2 + 9*f1*f2*f4*f6*f7*f3^2 + 9*f1*f3*f4*f5*f7*f2^2 + 9*f2*f3*f4*f6*f7*f1^2 + 16*f1*f2*f3*f4*f5*f6*f7