Permutation group acting on a set of cardinality 10<br>
Order = 12 = 2^2 * 3<br>
    (1, 3, 5)(2, 4, 6)<br>
    (1, 2)(3, 4)(5, 6)(7, 10, 8, 9)<br>
    (7, 8)(9, 10)<br>
Number of bent functions: 32<br>
Bent functions (of degree 3):<br>
[<br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x9 + x1*x3*x10 + x1*x4*x7 + x1*x4*x8 + x1*x5*x6 
        + x1*x5*x9 + x1*x5*x10 + x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + 
        x1*x8*x10 + x1*x9*x10 + x2*x3*x9 + x2*x3*x10 + x2*x4*x7 + x2*x4*x8 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x6*x7 + x2*x6*x8 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x5*x9 + 
        x3*x5*x10 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + 
        x3*x9*x10 + x4*x5*x9 + x4*x5*x10 + x4*x6*x7 + x4*x6*x8 + x4*x7*x8 + 
        x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x4*x5 +
        x1*x4*x6 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x4*x5 + x2*x4*x6 + 
        x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x5*x9 + x2*x5*x10 + x2*x6*x9 + 
        x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + 
        x3*x4*x6 + x3*x5*x7 + x3*x5*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + 
        x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + 
        x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x7 + x1*x3*x8 + x1*x4*x7 + x1*x4*x8 +
        x1*x5*x7 + x1*x5*x8 + x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + 
        x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x9 + x2*x3*x10 + x2*x4*x9 + 
        x2*x4*x10 + x2*x5*x7 + x2*x5*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + 
        x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + 
        x4*x5*x6 + x4*x5*x9 + x4*x5*x10 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + 
        x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x7 + x1*x3*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 
        + x1*x5*x7 + x1*x5*x8 + x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x10 + 
        x1*x8*x9 + x1*x9*x10 + x2*x3*x7 + x2*x3*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x5*x9 + x2*x5*x10 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x5*x7 + 
        x3*x5*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + 
        x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + 
        x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 +
        x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x5*x7 + x1*x5*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x5 + x2*x3*x6 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x4*x9 + x2*x4*x10 + x2*x5*x7 + x2*x5*x8 + x2*x6*x9 + 
        x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x9 + x4*x5*x10 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x7 
        + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x9 + x1*x3*x10 + x1*x4*x9 + x1*x4*x10
        + x1*x5*x9 + x1*x5*x10 + x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x10 + 
        x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x4*x7 + 
        x2*x4*x8 + x2*x5*x9 + x2*x5*x10 + x2*x6*x7 + x2*x6*x8 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x5*x6 + x3*x5*x9 + x3*x5*x10 + 
        x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + 
        x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x6*x7 + x4*x6*x8 + x4*x7*x8 + 
        x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 +
        x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x5*x7 + x1*x5*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x5 + x2*x3*x6 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x4*x9 + x2*x4*x10 + x2*x5*x7 + x2*x5*x8 + x2*x6*x9 + 
        x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x9 + x4*x5*x10 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 
        + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x5*x6 + x1*x5*x9 + x1*x5*x10 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x5 + x2*x3*x6 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x4*x7 + x2*x4*x8 + x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x6*x7 + 
        x2*x6*x8 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + 
        x3*x4*x6 + x3*x5*x9 + x3*x5*x10 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x9 + x4*x5*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x4*x7 
        + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x6 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x9 + x1*x3*x10 
        + x1*x4*x5 + x1*x4*x6 + x1*x4*x9 + x1*x4*x10 + x1*x5*x9 + x1*x5*x10 + 
        x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x4*x5 + 
        x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x5*x9 + x2*x5*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x5*x6 + 
        x3*x5*x9 + x3*x5*x10 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x6*x7 + 
        x4*x6*x8 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 + 
        x1*x4*x6 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + 
        x3*x5*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x7 
        + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 
        + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x5*x6 + x1*x5*x9 + x1*x5*x10 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x5 + x2*x3*x6 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x4*x7 + x2*x4*x8 + x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x6*x7 + 
        x2*x6*x8 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + 
        x3*x4*x6 + x3*x5*x9 + x3*x5*x10 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x9 + x4*x5*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x7 + x1*x3*x8 + x1*x4*x7 + x1*x4*x8 +
        x1*x5*x7 + x1*x5*x8 + x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + 
        x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x9 + x2*x3*x10 + x2*x4*x9 + 
        x2*x4*x10 + x2*x5*x7 + x2*x5*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + 
        x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + 
        x4*x5*x6 + x4*x5*x9 + x4*x5*x10 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + 
        x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + 
        x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + 
        x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 + 
        x1*x4*x6 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + 
        x3*x5*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x4*x5 +
        x1*x4*x6 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x4*x5 + x2*x4*x6 + 
        x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x5*x9 + x2*x5*x10 + x2*x6*x9 + 
        x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + 
        x3*x4*x6 + x3*x5*x7 + x3*x5*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + 
        x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + 
        x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + 
        x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + 
        x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + 
        x1*x4*x5 + x1*x4*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + 
        x2*x4*x10 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + 
        x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x9 + x1*x3*x10 + x1*x4*x7 + x1*x4*x8 + x1*x5*x6 
        + x1*x5*x9 + x1*x5*x10 + x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + 
        x1*x8*x9 + x1*x9*x10 + x2*x3*x9 + x2*x3*x10 + x2*x4*x7 + x2*x4*x8 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x6*x7 + x2*x6*x8 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x5*x9 + 
        x3*x5*x10 + x3*x6*x7 + x3*x6*x8 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + 
        x3*x9*x10 + x4*x5*x9 + x4*x5*x10 + x4*x6*x7 + x4*x6*x8 + x4*x7*x8 + 
        x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x5 + x1*x3*x6 + x1*x3*x9 + x1*x3*x10 
        + x1*x4*x5 + x1*x4*x6 + x1*x4*x9 + x1*x4*x10 + x1*x5*x9 + x1*x5*x10 + 
        x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x5 + x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x4*x5 + 
        x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x5*x9 + x2*x5*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x5*x6 + 
        x3*x5*x9 + x3*x5*x10 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x6*x7 + 
        x4*x6*x8 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x3*x7 + x1*x3*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 
        + x1*x5*x7 + x1*x5*x8 + x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x9 + 
        x1*x8*x10 + x1*x9*x10 + x2*x3*x7 + x2*x3*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x5*x9 + x2*x5*x10 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x5*x7 + 
        x3*x5*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + 
        x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + 
        x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x4*x7 
        + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x6 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + 
        x1*x4*x5 + x1*x4*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + 
        x2*x4*x10 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + 
        x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x3*x4 + x1*x3*x9 + x1*x3*x10 + x1*x4*x9 + x1*x4*x10
        + x1*x5*x9 + x1*x5*x10 + x1*x6*x7 + x1*x6*x8 + x1*x7*x8 + x1*x7*x9 + 
        x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x4*x7 + 
        x2*x4*x8 + x2*x5*x9 + x2*x5*x10 + x2*x6*x7 + x2*x6*x8 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x5*x6 + x3*x5*x9 + x3*x5*x10 + 
        x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + 
        x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x6*x7 + x4*x6*x8 + x4*x7*x8 + 
        x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10
]
<br>
<br>
Permutation group acting on a set of cardinality 10<br>
Order = 24 = 2^3 * 3<br>
    (1, 3, 5)(2, 4, 6)<br>
    (7, 9)(8, 10)<br>
    (1, 2)(3, 4)(5, 6)(7, 8)<br>
    (7, 8)(9, 10)<br>
Number of bent functions: 16<br>
Bent functions (of degree 3):<br>
[<br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + 
        x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + 
        x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + 
        x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + x2*x4*x6 + 
        x2*x5*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + 
        x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 + 
        x1*x4*x6 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + 
        x3*x5*x10 + x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + 
        x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + 
        x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + 
        x1*x4*x5 + x1*x4*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + 
        x2*x4*x10 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + 
        x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + 
        x1*x4*x5 + x1*x4*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + 
        x2*x4*x10 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + 
        x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x7 
        + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x5 + x1*x3*x6 + x1*x4*x5 + x1*x4*x6 + x1*x4*x7 + x1*x4*x8 + 
        x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + x1*x6*x9 + x1*x6*x10 + 
        x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + x2*x3*x4 + x2*x3*x5 + 
        x2*x3*x6 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x4*x5 + 
        x2*x4*x6 + x2*x5*x7 + x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + 
        x2*x7*x9 + x2*x8*x10 + x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x6 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + 
        x3*x7*x8 + x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + 
        x4*x5*x8 + x4*x5*x9 + x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x10 + x5*x8*x9 + x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x9 + 
        x3*x8*x10 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x5 
        + x1*x3*x6 + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x4*x5 + 
        x1*x4*x6 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + x1*x5*x9 + x1*x5*x10 + 
        x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + x2*x3*x5 + x2*x3*x6 + 
        x2*x4*x5 + x2*x4*x6 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + 
        x2*x5*x6 + x2*x6*x7 + x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + 
        x2*x7*x10 + x2*x8*x9 + x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + 
        x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + 
        x3*x5*x10 + x3*x7*x8 + x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x6*x7 + 
        x4*x6*x8 + x4*x6*x9 + x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + 
        x4*x9*x10 + x5*x6*x7 + x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + 
        x5*x7*x9 + x5*x8*x10 + x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + 
        x6*x9*x10 + x7*x8*x9 + x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x4*x7 + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x5 + x1*x2*x6 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x4 
        + x1*x3*x7 + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x4 + x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + x3*x4*x10 + x3*x5*x6 + 
        x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + x3*x7*x10 + 
        x3*x8*x9 + x3*x9*x10 + x4*x5*x6 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x3*x7 
        + x1*x3*x8 + x1*x3*x9 + x1*x3*x10 + x1*x5*x6 + x1*x5*x7 + x1*x5*x8 + 
        x1*x5*x9 + x1*x5*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x4*x7 + x2*x4*x8 + x2*x4*x9 + x2*x4*x10 + x2*x5*x6 + x2*x6*x7 + 
        x2*x6*x8 + x2*x6*x9 + x2*x6*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x5*x7 + x3*x5*x8 + x3*x5*x9 + x3*x5*x10 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x6*x7 + x4*x6*x8 + x4*x6*x9 + 
        x4*x6*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x4*x7 
        + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x10 + x1*x8*x9 + x1*x9*x10 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x6 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x9 + x2*x8*x10 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x10 + x3*x8*x9 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x9 + x4*x8*x10 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x10 + x5*x8*x9 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x9 + x6*x8*x10 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10,<br><br>
    x1*x2*x3 + x1*x2*x4 + x1*x2*x7 + x1*x2*x8 + x1*x2*x9 + x1*x2*x10 + x1*x4*x7 
        + x1*x4*x8 + x1*x4*x9 + x1*x4*x10 + x1*x5*x6 + x1*x6*x7 + x1*x6*x8 + 
        x1*x6*x9 + x1*x6*x10 + x1*x7*x8 + x1*x7*x9 + x1*x8*x10 + x1*x9*x10 + 
        x2*x3*x7 + x2*x3*x8 + x2*x3*x9 + x2*x3*x10 + x2*x5*x6 + x2*x5*x7 + 
        x2*x5*x8 + x2*x5*x9 + x2*x5*x10 + x2*x7*x8 + x2*x7*x10 + x2*x8*x9 + 
        x2*x9*x10 + x3*x4*x5 + x3*x4*x6 + x3*x4*x7 + x3*x4*x8 + x3*x4*x9 + 
        x3*x4*x10 + x3*x6*x7 + x3*x6*x8 + x3*x6*x9 + x3*x6*x10 + x3*x7*x8 + 
        x3*x7*x9 + x3*x8*x10 + x3*x9*x10 + x4*x5*x7 + x4*x5*x8 + x4*x5*x9 + 
        x4*x5*x10 + x4*x7*x8 + x4*x7*x10 + x4*x8*x9 + x4*x9*x10 + x5*x6*x7 + 
        x5*x6*x8 + x5*x6*x9 + x5*x6*x10 + x5*x7*x8 + x5*x7*x9 + x5*x8*x10 + 
        x5*x9*x10 + x6*x7*x8 + x6*x7*x10 + x6*x8*x9 + x6*x9*x10 + x7*x8*x9 + 
        x7*x8*x10 + x7*x9*x10 + x8*x9*x10<br>
]<br>