f1 = x6 +x5 +x5 x6 +x4 +x4 x6 +x4 x5 x6 +x3 x6 +x3 x5 +x2 x6 +x2 x5 +x2 x5 x6 + x2 x4 x5 + x2 x4 x5 x6 + x2 x3 + x2 x3 x5 + x2 x3 x5 x6 + x2 x3 x4 x6 + x1 + x1 x5 x6 + x1 x4 + x1 x4 x6 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x6 + x1 x3 x4 x5 + x1 x3 x4 x5 x6 + x1 x2 x5 + x1 x2 x5 x6 + x1 x2 x4 + x1 x2 x4 x5 + x1 x2 x3 x5 + x1 x2 x3 x5 x6 + x1 x2 x3 x4 f2 = 1 + x5 x6 + x4 x6 + x4 x5 + x4 x5 x6 + x3 + x3 x6 + x3 x5 + x2 + x2 x6 + x2 x5 x6 +x2 x4 x5 x6 +x2 x3 +x2 x3 x5 x6 +x2 x3 x4 +x2 x3 x4 x6 +x1 +x1 x5 +x1 x5 x6 + x1 x4 x6 + x1 x3 x5 + x1 x3 x5 x6 + x1 x3 x4 x6 + x1 x3 x4 x5 x6 + x1 x2 x5 x6 + x1 x2 x4 + x1 x2 x4 x5 + x1 x2 x3 x5 x6 + x1 x2 x3 x4 f3 = 1 + x6 + x5 + x5 x6 + x4 x6 + x4 x5 + x3 + x3 x4 x5 + x3 x4 x5 x6 + x2 + x2 x6 + x2 x5 x6 +x2 x4 x5 x6 +x2 x3 x6 +x2 x3 x4 +x2 x3 x4 x6 +x1 x6 +x1 x5 +x1 x5 x6 +x1 x4 + x1 x4 x6 +x1 x4 x5 +x1 x4 x5 x6 +x1 x3 x6 +x1 x3 x5 +x1 x3 x4 x5 +x1 x3 x4 x5 x6 +x1 x2 + x1 x2 x5 + x1 x2 x4 + x1 x2 x4 x5 + x1 x2 x3 x6 + x1 x2 x3 x5 + x1 x2 x3 x5 x6 + x1 x2 x3 x4 f4 = 1 + x5 x6 + x4 + x4 x6 + x4 x5 + x3 + x3 x4 x5 x6 + x2 x6 + x2 x5 + x2 x5 x6 + x2 x4 x5 + x2 x4 x5 x6 + x2 x3 + x2 x3 x6 + x2 x3 x4 x6 + x1 + x1 x6 + x1 x5 x6 + x1 x4 x6 + x1 x4 x5 x6 + x1 x3 + x1 x3 x6 + x1 x3 x5 + x1 x3 x4 x5 x6 + x1 x2 + x1 x2 x5 + x1 x2 x4 + x1 x2 x4 x5 + x1 x2 x3 + x1 x2 x3 x6 + x1 x2 x3 x5 x6 + x1 x2 x3 x4

1