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

x1 x3 x6 x7 +x1 x3 x5 x6 +x1 x3 x4 +x1 x3 x4 x7 +x1 x3 x4 x5 +x1 x2 +x1 x2 x8 +x1 x2 x7 + x1 x2 x6 x7 + x1 x2 x5 x8 + x1 x2 x5 x7 + x1 x2 x5 x6 + x1 x2 x4 + x1 x2 x4 x6 + x1 x2 x4 x5 + x1 x2 x3 + x1 x2 x3 x8 + x1 x2 x3 x7 f6 = 1 + x7 + x6 x7 + x6 x7 x8 + x5 x7 + x5 x6 + x5 x6 x8 + x5 x6 x7 + x4 + x4 x7 x8 + x4 x6 + x4 x6 x7 + x3 x7 x8 + x3 x6 + x3 x6 x8 + x3 x5 + x3 x5 x8 + x3 x5 x7 + x3 x4 + x3 x4 x7 + x2 + x2 x8 + x2 x6 x7 x8 + x2 x5 + x2 x5 x8 + x2 x4 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x5 x8 + x2 x4 x5 x7 + x2 x3 + x2 x3 x8 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x7 + x2 x3 x5 x7 + x2 x3 x4 x6 + x2 x3 x4 x5 + x1 + x1 x7 + x1 x7 x8 + x1 x5 +x1 x5 x6 x8 +x1 x5 x6 x7 +x1 x4 +x1 x4 x7 +x1 x4 x7 x8 +x1 x4 x6 x8 +x1 x4 x6 x7 + x1 x4 x5 + x1 x3 + x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x5 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x3 x4 x6 + x1 x2 x7 + x1 x2 x6 + x1 x2 x6 x8 + x1 x2 x6 x7 + x1 x2 x5 + x1 x2 x5 x7 + x1 x2 x4 + x1 x2 x4 x8 + x1 x2 x4 x7 + x1 x2 x3 x6 + x1 x2 x3 x4 f7 = 1 + x7 + x6 x7 x8 + x5 + x5 x8 + x5 x7 + x4 + x4 x7 x8 + x4 x6 x8 + x4 x5 + x3 x7 + x3 x6 + x3 x6 x8 + x3 x5 x8 + x3 x4 x8 + x2 + x2 x7 + x2 x6 x8 + x2 x6 x7 x8 + x2 x5 + x2 x5 x6 + x2 x5 x6 x8 + x2 x5 x6 x7 + x2 x4 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x5 + x2 x4 x5 x7 + x2 x3 x8 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x5 x7 + x2 x3 x4 x6 + x2 x3 x4 x5 + x1 x8 + x1 x7 x8 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 + x1 x5 x7 + x1 x4 +x1 x4 x6 +x1 x4 x6 x8 +x1 x4 x6 x7 +x1 x4 x5 x8 +x1 x4 x5 x6 +x1 x3 +x1 x3 x7 x8 + x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x3 x4 + x1 x3 x4 x7 + x1 x3 x4 x5 + x1 x2 + x1 x2 x8 + x1 x2 x6 x8 + x1 x2 x5 x8 + x1 x2 x5 x7 + x1 x2 x4 x8 + x1 x2 x4 x6 + x1 x2 x4 x5 + x1 x2 x3 x7 + x1 x2 x3 x5 + x1 x2 x3 x4 f8 = 1 + x6 + x6 x7 + x6 x7 x8 + x5 x8 + x5 x6 + x5 x6 x8 + x4 + x4 x8 + x4 x6 + x4 x6 x7 + x4 x5 + x4 x5 x6 + x3 x7 x8 + x3 x6 x8 + x3 x5 x6 + x3 x4 + x3 x4 x7 + x2 + x2 x8 + x2 x6 + x2 x6 x7 x8 + x2 x5 x7 + x2 x5 x6 + x2 x4 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x4 x5 x7 + x2 x3 x8 + x2 x3 x7 + x2 x3 x6 + x2 x3 x5 x8 + x2 x3 x5 x6 + x2 x3 x4 x7 + x1 + x1 x7 + x1 x7 x8 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x8 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 + x1 x4 x8 + x1 x4 x7 x8 + x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 x8 + x1 x4 x5 x6 + x1 x3 + x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x8 + x1 x3 x5 x6 + x1 x3 x4 x5 + x1 x2 x6 x7 + x1 x2 x5 x7 + x1 x2 x5 x6 + x1 x2 x4 + x1 x2 x4 x8 + x1 x2 x3 x5 + x1 x2 x3 x4 f9 = x7 + x7 x8 + x6 x8 + x5 + x5 x8 + x5 x6 x8 + x5 x6 x7 + x4 + x4 x6 + x4 x5 + x4 x5 x7 + x3 + x3 x7 x8 + x3 x6 x8 + x3 x6 x7 + x3 x5 x7 + x3 x4 x8 + x3 x4 x6 + x2 + x2 x8 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 + x2 x6 x7 x8 + x2 x5 + x2 x5 x8 + x2 x5 x7 x8 + x2 x5 x6 + x2 x5 x6 x8 + x2 x5 x6 x7 + x2 x4 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x4 x5 x6 + x2 x3 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x5 x8 + x2 x3 x4 + x2 x3 x4 x8 + x2 x3 x4 x6 + x1 x7 x8 + x1 x6 + x1 x6 x7 x8 + x1 x5 + x1 x5 x8 + x1 x5 x7 + x1 x5 x6 +x1 x5 x6 x8 +x1 x4 x8 +x1 x4 x6 x8 +x1 x4 x6 x7 +x1 x4 x5 +x1 x3 x7 +x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 x5 + x1 x2 + x1 x2 x6 + x1 x2 x6 x8 + x1 x2 x4 x8 + x1 x2 x4 x7 + x1 x2 x3 + x1 x2 x3 x7 + x1 x2 x3 x6 + x1 x2 x3 x5 + x1 x2 x3 x4 f10 = x7 +x7 x8 +x6 +x5 x6 x8 +x5 x6 x7 +x4 x8 +x4 x7 +x4 x7 x8 +x4 x6 x7 +x4 x5 + x4 x5 x7 + x4 x5 x6 + x3 + x3 x8 + x3 x7 + x3 x6 + x3 x6 x8 + x3 x6 x7 + x3 x5 + x3 x5 x7 + x3 x4 x7 + x3 x4 x6 + x3 x4 x5 + x2 x7 x8 + x2 x6 + x2 x6 x8 + x2 x6 x7 x8 + x2 x5 x8 + x2 x5 x7 + x2 x5 x6 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x7 + x2 x3 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x5 + x2 x3 x5 x8 + x2 x3 x4 x8 + x2 x3 x4 x7 + 2

x1 x8 + x1 x6 x7 + x1 x5 + x1 x5 x7 x8 + x1 x5 x6 x7 + x1 x4 + x1 x4 x8 + x1 x4 x7 x8 + x1 x4 x6 + x1 x4 x6 x7 + x1 x4 x5 x7 + x1 x3 x8 + x1 x3 x7 x8 + x1 x3 x5 x8 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x3 x4 x5 + x1 x2 x8 + x1 x2 x6 x8 + x1 x2 x5 x6 + x1 x2 x4 + x1 x2 x4 x7 + x1 x2 x4 x6 + x1 x2 x4 x5 + x1 x2 x3 + x1 x2 x3 x7 + x1 x2 x3 x5 + x1 x2 x3 x4 f11 = 1 + x8 + x7 x8 + x6 x7 + x6 x7 x8 + x5 x7 + x5 x6 + x5 x6 x8 + x4 x8 + x4 x7 + x4 x6 + x4 x5 + x3 + x3 x8 + x3 x7 + x3 x6 x8 + x3 x5 x6 + x3 x4 + x3 x4 x8 + x3 x4 x7 + x3 x4 x5 +x2 +x2 x7 +x2 x6 x8 +x2 x6 x7 +x2 x6 x7 x8 +x2 x5 x8 +x2 x5 x7 x8 +x2 x5 x6 + x2 x4 + x2 x4 x8 + x2 x4 x7 + x2 x4 x6 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 + x2 x3 x5 x8 + x2 x3 x4 x8 + x2 x3 x4 x7 + x2 x3 x4 x6 + x1 + x1 x6 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 x8 + x1 x5 x7 + x1 x5 x6 + x1 x5 x6 x7 + x1 x4 + x1 x4 x7 + x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x3 x4 x5 + x1 x2 x6 x8 + x1 x2 x5 + x1 x2 x4 + x1 x2 x4 x5 f12 = x7 x8 + x5 x8 + x5 x7 + x5 x7 x8 + x5 x6 x8 + x4 + x4 x8 + x4 x6 + x4 x5 x8 + x4 x5 x7 + x3 x8 + x3 x7 + x3 x6 + x3 x6 x7 + x3 x5 + x3 x5 x8 + x3 x5 x6 + x3 x4 + x3 x4 x6 + x3 x4 x5 + x2 x8 + x2 x7 x8 + x2 x6 x8 + x2 x5 x7 + x2 x5 x6 x7 + x2 x4 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x5 + x2 x4 x5 x8 + x2 x3 + x2 x3 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 x6 + x2 x3 x4 x7 + x2 x3 x4 x6 + x1 x8 + x1 x7 + x1 x7 x8 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 x8 + x1 x5 x6 + x1 x5 x6 x7 + x1 x4 x8 + x1 x4 x7 x8 +x1 x4 x6 +x1 x4 x6 x8 +x1 x4 x6 x7 +x1 x4 x5 x6 +x1 x3 +x1 x3 x8 +x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x7 + x1 x3 x4 x6 + x1 x2 x7 + x1 x2 x6 + x1 x2 x5 + x1 x2 x4 x6 + x1 x2 x3 x8 + x1 x2 x3 x6 + x1 x2 x3 x5 + x1 x2 x3 x4 f13 = x8 + x6 x8 + x6 x7 + x5 x7 + x5 x6 x8 + x5 x6 x7 + x4 x6 x7 + x4 x5 + x4 x5 x8 + x4 x5 x6 + x3 x7 + x3 x7 x8 + x3 x6 + x3 x6 x7 + x3 x5 x8 + x3 x5 x6 + x3 x4 x8 + x2 x8 + x2 x7 + x2 x6 + x2 x6 x7 + x2 x6 x7 x8 + x2 x5 + x2 x4 x8 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x6 + x2 x3 x8 + x2 x3 x7 + x2 x3 x6 x7 + x2 x3 x5 x8 + x2 x3 x5 x7 + x2 x3 x4 + x2 x3 x4 x7 + x2 x3 x4 x5 + x1 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 + x1 x5 x7 + x1 x5 x7 x8 + x1 x4 x7 +x1 x4 x6 x8 +x1 x4 x6 x7 +x1 x4 x5 x7 +x1 x3 +x1 x3 x8 +x1 x3 x7 x8 +x1 x3 x5 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x5 + x1 x2 x8 + x1 x2 x6 + x1 x2 x6 x8 + x1 x2 x6 x7 + x1 x2 x5 x7 + x1 x2 x4 + x1 x2 x4 x6 + x1 x2 x3 x8 + x1 x2 x3 x5 f14 = x7 x8 + x6 x8 + x6 x7 x8 + x5 + x5 x7 + x5 x6 x8 + x5 x6 x7 + x4 + x4 x8 + x4 x6 x7 +x4 x5 x8 +x4 x5 x7 x8 +x4 x5 x6 x8 +x4 x5 x6 x7 +x3 +x3 x8 +x3 x7 +x3 x6 x8 + x3 x6 x7 x8 + x3 x5 x6 + x3 x4 x7 + x3 x4 x6 + x3 x4 x6 x7 + x3 x4 x5 x7 + x3 x4 x5 x6 + x2 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 + x2 x5 x8 + x2 x5 x6 + x2 x5 x6 x8 + x2 x5 x6 x7 + x2 x4 + x2 x4 x8 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x7 + x2 x4 x5 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 x8 + x2 x3 x4 + x2 x3 x4 x8 + x2 x3 x4 x7 + x1 +x1 x8 +x1 x6 x8 +x1 x5 x6 +x1 x5 x6 x8 +x1 x4 x8 +x1 x4 x7 +x1 x4 x7 x8 +x1 x4 x6 + x1 x4 x6 x7 + x1 x4 x5 + x1 x4 x5 x8 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x7 x8 + x1 x3 x5 x8 + x1 x3 x5 x6 + x1 x3 x4 x6 + x1 x3 x4 x5 + x1 x2 f15 = x8 + x7 + x7 x8 + x6 x8 + x6 x7 + x6 x7 x8 + x5 + x5 x7 + x5 x7 x8 + x5 x6 + x5 x6 x7 + x4 x8 + x4 x7 + x4 x6 x8 + x4 x5 x8 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 + x4 x5 x6 x8 + x4 x5 x6 x7 + x3 x7 x8 + x3 x6 + x3 x6 x8 + x3 x5 x7 + x3 x5 x7 x8 + x3 x5 x6 + x3 x5 x6 x8 +x3 x5 x6 x7 +x3 x4 +x3 x4 x7 +x3 x4 x7 x8 +x3 x4 x6 +x3 x4 x6 x8 +x3 x4 x5 + x3 x4 x5 x8 +x3 x4 x5 x7 +x2 x6 x7 x8 +x2 x5 +x2 x5 x8 +x2 x5 x7 +x2 x5 x7 x8 +x2 x5 x6 + x2 x5 x6 x8 + x2 x5 x6 x7 + x2 x4 x8 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x5 + x2 x4 x5 x8 + 3

x2 x4 x5 x6 + x2 x3 x6 x8 + x2 x3 x5 + x2 x3 x5 x7 + x2 x3 x5 x6 + x2 x3 x4 + x2 x3 x4 x5 + x1 x8 + x1 x7 x8 + x1 x6 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 + x1 x4 x7 x8 + x1 x4 x6 x8 + x1 x4 x5 x8 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x6 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x3 x4 x6 + x1 x2 f16 = x8 + x7 + x7 x8 + x6 + x6 x8 + x6 x7 x8 + x5 + x5 x8 + x5 x7 x8 + x5 x6 x8 + x5 x6 x7 + x5 x6 x7 x8 + x4 + x4 x7 + x4 x6 x7 + x4 x5 x8 + x4 x5 x7 + x4 x5 x6 + x3 x7 + x3 x6 + x3 x5 x8 + x3 x5 x7 + x3 x5 x7 x8 + x3 x5 x6 + x3 x4 x7 x8 + x3 x4 x6 x7 + x3 x4 x5 + x3 x4 x5 x8 + x2 x6 + x2 x6 x8 + x2 x6 x7 + x2 x5 + x2 x5 x8 + x2 x5 x7 + x2 x5 x6 + x2 x5 x6 x8 + x2 x4 x6 + x2 x4 x5 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 + x2 x3 x5 x7 + x2 x3 x5 x6 + x2 x3 x4 x8 + x2 x3 x4 x5 + x1 x7 + x1 x6 + x1 x6 x8 + x1 x5 x7 + x1 x5 x6 + x1 x5 x6 x8 + x1 x5 x6 x7 + x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 + x1 x4 x5 x8 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x6 x8 + x1 x3 x5 x7 + x1 x3 x4 x8 + x1 x3 x4 x6 + x1 x2 f17 = x8 +x7 +x6 +x6 x7 +x5 +x5 x7 x8 +x5 x6 x8 +x5 x6 x7 +x5 x6 x7 x8 +x4 x8 + x4 x6 + x4 x6 x7 + x4 x5 + x4 x5 x7 x8 + x4 x5 x6 x7 + x3 x6 x7 x8 + x3 x5 x6 x7 + x3 x4 + x3 x4 x8 +x3 x4 x7 x8 +x3 x4 x6 +x3 x4 x6 x8 +x3 x4 x6 x7 +x3 x4 x5 +x3 x4 x5 x7 +x2 x7 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 + x2 x5 + x2 x5 x7 x8 + x2 x5 x6 + x2 x5 x6 x8 + x2 x4 x8 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 + x2 x4 x5 x8 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x7 + x2 x3 x5 x7 + x2 x3 x4 + x2 x3 x4 x6 + x2 x3 x4 x5 + x1 x7 + x1 x6 x7 x8 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 x7 + x1 x4 + x1 x4 x7 + x1 x4 x6 + x1 x4 x5 x8 + x1 x3 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x2 f18 = x7 +x6 +x6 x8 +x6 x7 x8 +x5 +x5 x7 +x5 x7 x8 +x5 x6 x8 +x5 x6 x7 +x4 x7 + x4 x7 x8 + x4 x6 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 x8 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 + x4 x5 x6 x7 + x3 x8 + x3 x6 + x3 x6 x7 + x3 x6 x7 x8 + x3 x5 x7 + x3 x5 x7 x8 + x3 x5 x6 + x3 x5 x6 x7 +x3 x4 +x3 x4 x7 x8 +x3 x4 x6 +x3 x4 x6 x7 +x3 x4 x5 +x3 x4 x5 x7 +x2 x7 x8 + x2 x6 x7 x8 +x2 x5 x7 +x2 x5 x7 x8 +x2 x5 x6 x8 +x2 x4 +x2 x4 x8 +x2 x4 x7 +x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x7 + x2 x4 x5 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 + x2 x3 x5 x7 + x2 x3 x4 + x2 x3 x4 x7 + x2 x3 x4 x6 + x2 x3 x4 x5 + x1 x8 + x1 x7 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 x8 + x1 x4 x8 + x1 x4 x7 x8 + x1 x4 x6 x8 + x1 x4 x5 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x7 + x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x2 f19 = x8 + x7 x8 + x5 + x5 x8 + x5 x7 x8 + x5 x6 x8 + x5 x6 x7 + x4 + x4 x8 + x4 x6 + x4 x6 x7 x8 + x4 x5 x7 + x4 x5 x6 + x4 x5 x6 x8 + x4 x5 x6 x7 + x3 x7 x8 + x3 x6 x7 x8 + x3 x5 + x3 x5 x7 + x3 x5 x7 x8 + x3 x5 x6 + x3 x5 x6 x7 + x3 x4 + x3 x4 x8 + x3 x4 x7 + x3 x4 x7 x8 + x3 x4 x6 x8 + x3 x4 x6 x7 + x3 x4 x5 + x3 x4 x5 x8 + x3 x4 x5 x6 + x2 + x2 x8 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 x8 + x2 x5 x7 x8 + x2 x5 x6 + x2 x4 + x2 x4 x7 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 + x2 x3 x5 x8 + x2 x3 x4 + x2 x3 x4 x8 + x2 x3 x4 x7 + x1 + x1 x7 x8 + x1 x6 x7 x8 + x1 x5 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 + x1 x4 x7 x8 + x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 x8 + x1 x3 x6 + x1 x3 x6 x7 + x1 x3 x5 x7 + x1 x3 x4 x7 + x1 x3 x4 x6 + x1 x2 f20 = 1+x8 +x7 +x7 x8 +x6 +x6 x8 +x5 +x5 x7 +x5 x7 x8 +x5 x6 x8 +x4 +x4 x6 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 + x4 x5 x8 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 x7 + x3 x7 x8 + x3 x6 x8 + x3 x6 x7 x8 + x3 x5 x8 + x3 x5 x7 + x3 x5 x6 x7 + x3 x4 x6 x8 + x3 x4 x6 x7 + x3 x4 x5 x8 + x3 x4 x5 x6 + x2 x7 x8 + x2 x6 + x2 x6 x8 + x2 x5 x8 + x2 x5 x7 x8 + x2 x5 x6 + x2 x4 x8 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 + 4

x2 x4 x5 x7 + x2 x3 x8 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 x8 + x2 x3 x5 x6 + x2 x3 x4 x8 + x2 x3 x4 x7 + x2 x3 x4 x5 + x1 x8 + x1 x7 x8 + x1 x6 + x1 x6 x7 x8 + x1 x5 x7 + x1 x5 x6 x7 + x1 x4 x8 +x1 x4 x7 x8 +x1 x4 x5 +x1 x4 x5 x8 +x1 x3 x8 +x1 x3 x7 +x1 x3 x7 x8 +x1 x3 x6 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x7 + x1 x3 x4 + x1 x3 x4 x8 + x1 x3 x4 x5 + x1 x2 f21 = x7 +x7 x8 +x6 +x6 x8 +x6 x7 +x6 x7 x8 +x5 +x5 x8 +x5 x6 x7 +x4 +x4 x8 + x4 x7 x8 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 x8 + x4 x5 x7 + x4 x5 x6 x7 + x3 x8 + x3 x7 + x3 x6 x7 x8 + x3 x5 x8 + x3 x5 x7 + x3 x5 x6 x8 + x3 x5 x6 x7 + x3 x4 x8 + x3 x4 x7 x8 + x3 x4 x5 x8 + x3 x4 x5 x6 + x2 x8 + x2 x6 x7 + x2 x6 x7 x8 + x2 x5 x7 x8 + x2 x5 x6 + x2 x4 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x5 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 + x2 x3 x4 + x2 x3 x4 x8 + x2 x3 x4 x5 + x1 x8 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 + x1 x5 x8 + x1 x5 x7 + x1 x5 x6 + x1 x5 x6 x7 + x1 x4 + x1 x4 x8 + x1 x4 x6 + x1 x4 x6 x8 + x1 x4 x5 + x1 x3 x8 + x1 x3 x7 + x1 x3 x7 x8 + x1 x3 x6 x8 + x1 x3 x5 x8 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x7 + x1 x2 f22 = x8 + x7 + x6 + x6 x7 + x6 x7 x8 + x5 + x5 x6 x7 x8 + x4 + x4 x8 + x4 x6 x8 + x4 x6 x7 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 x8 + x3 x6 + x3 x6 x7 x8 + x3 x5 + x3 x5 x8 + x3 x5 x7 x8 + x3 x4 x7 + x3 x4 x7 x8 + x3 x4 x6 + x3 x4 x6 x8 + x3 x4 x5 x8 + x3 x4 x5 x7 + x3 x4 x5 x6 + x2 x8 + x2 x7 x8 + x2 x6 + x2 x6 x8 + x2 x6 x7 x8 + x2 x5 x8 + x2 x5 x7 x8 + x2 x5 x6 + x2 x4 + x2 x4 x8 + x2 x4 x7 + x2 x4 x5 x6 + x2 x3 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 x8 + x2 x3 x5 x7 + x2 x3 x4 + x2 x3 x4 x7 + x2 x3 x4 x6 + x1 x6 x8 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x8 + x1 x5 x7 x8 + x1 x5 x6 x7 + x1 x4 x8 + x1 x4 x7 + x1 x4 x7 x8 + x1 x4 x6 x7 + x1 x4 x5 + x1 x4 x5 x8 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 + x1 x3 x8 + x1 x3 x7 x8 + x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x6 + x1 x2 f23 = x8 + x7 + x7 x8 + x6 + x6 x7 x8 + x5 + x5 x8 + x5 x7 + x5 x7 x8 + x5 x6 x8 + x5 x6 x7 + x4 + x4 x8 + x4 x7 x8 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 x7 x8 + x4 x5 x6 + x4 x5 x6 x8 +x4 x5 x6 x7 +x3 x7 x8 +x3 x6 x8 +x3 x6 x7 +x3 x6 x7 x8 +x3 x5 +x3 x5 x7 x8 + x3 x5 x6 + x3 x5 x6 x8 + x3 x4 x8 + x3 x4 x7 + x3 x4 x6 x8 + x3 x4 x5 + x3 x4 x5 x6 + x2 x8 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 + x2 x5 x7 + x2 x4 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x3 x7 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 x8 + x2 x3 x4 x8 + x2 x3 x4 x7 + x1 x7 x8 + x1 x5 x8 + x1 x5 x7 x8 + x1 x5 x6 x7 + x1 x4 + x1 x4 x7 + x1 x4 x5 + x1 x4 x5 x6 + x1 x3 + x1 x3 x6 x8 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x7 + x1 x3 x4 x5 + x1 x2 f24 = x8 + x7 + x7 x8 + x6 + x5 + x5 x7 + x5 x7 x8 + x5 x6 x7 + x5 x6 x7 x8 + x4 + x4 x7 x8 + x4 x6 x8 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 + x4 x5 x6 + x3 x8 + x3 x7 + x3 x7 x8 + x3 x6 x7 + x3 x6 x7 x8 + x3 x5 + x3 x5 x7 x8 + x3 x5 x6 x7 + x3 x4 x8 + x3 x4 x7 + x3 x4 x7 x8 + x3 x4 x6 + x3 x4 x6 x8 + x2 x5 x7 + x2 x5 x7 x8 + x2 x5 x6 x7 + x2 x4 x6 x8 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x5 + x2 x3 x5 x8 + x2 x3 x5 x7 + x2 x3 x5 x6 + x2 x3 x4 x8 + x1 x6 x8 + x1 x5 x8 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 + x1 x5 x6 x7 + x1 x4 + x1 x4 x8 + x1 x4 x7 + x1 x4 x7 x8 + x1 x4 x6 x7 + x1 x4 x5 x8 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x7 x8 + x1 x3 x5 x7 + x1 x3 x4 + x1 x3 x4 x6 + x1 x3 x4 x5 + x1 x2 f25 = 1 + x8 + x7 + x6 + x6 x8 + x6 x7 x8 + x5 + x5 x8 + x5 x6 x8 + x4 + x4 x8 + x4 x7 x8 + x4 x6 x7 + x4 x6 x7 x8 + x4 x5 x8 + x4 x5 x7 + x4 x5 x6 + x4 x5 x6 x8 + x3 x7 + x3 x7 x8 + x3 x5 x8 + x3 x5 x6 + x3 x5 x6 x8 + x3 x4 x8 + x3 x4 x7 + x3 x4 x6 x8 + x3 x4 x5 x7 +x2 x7 +x2 x6 x7 x8 +x2 x5 x8 +x2 x5 x7 +x2 x5 x7 x8 +x2 x5 x6 x7 +x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x3 x6 + x2 x3 x6 x7 + x2 x3 x5 + x2 x3 x5 x7 + x2 x3 x4 x8 + x2 x3 x4 x7 + x1 + x1 x8 + x1 x6 + x1 x6 x8 + x1 x6 x7 + x1 x6 x7 x8 + 5

x1 x5 + x1 x5 x8 + x1 x5 x6 + x1 x5 x6 x8 + x1 x5 x6 x7 + x1 x4 + x1 x4 x8 + x1 x4 x7 + x1 x4 x6 +x1 x4 x6 x8 +x1 x4 x5 x8 +x1 x4 x5 x7 +x1 x4 x5 x6 +x1 x3 +x1 x3 x8 +x1 x3 x7 + x1 x3 x7 x8 +x1 x3 x6 x8 +x1 x3 x5 +x1 x3 x5 x8 +x1 x3 x4 +x1 x3 x4 x7 +x1 x3 x4 x5 +x1 x2 f26 = x8 +x7 +x6 +x6 x8 +x6 x7 x8 +x5 +x5 x7 +x5 x6 +x5 x6 x8 +x4 +x4 x7 x8 + x4 x6 x8 + x4 x6 x7 + x4 x5 x8 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 + x4 x5 x6 x8 + x3 x7 + x3 x7 x8 + x3 x5 x7 x8 + x3 x5 x6 x8 + x3 x4 x8 + x3 x4 x7 + x3 x4 x6 x8 + x3 x4 x5 x8 + x3 x4 x5 x7 + x3 x4 x5 x6 + x2 x6 x7 x8 + x2 x5 x8 + x2 x5 x7 + x2 x5 x6 + x2 x5 x6 x8 + x2 x4 + x2 x4 x8 + x2 x4 x7 + x2 x4 x7 x8 + x2 x4 x6 x8 + x2 x4 x6 x7 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 x8 + x2 x3 x5 x7 + x2 x3 x4 + x2 x3 x4 x8 + x2 x3 x4 x7 + x2 x3 x4 x6 + x1 x7 x8 + x1 x6 x8 + x1 x6 x7 x8 + x1 x5 + x1 x5 x7 x8 + x1 x5 x6 + x1 x5 x6 x8 + x1 x4 + x1 x4 x6 + x1 x4 x6 x8 + x1 x4 x5 x8 + x1 x3 x8 + x1 x3 x7 + x1 x3 x6 x8 + x1 x3 x5 + x1 x3 x5 x6 + x1 x3 x4 + x1 x2 f27 = x7 + x7 x8 + x6 + x6 x7 x8 + x5 + x5 x6 + x5 x6 x8 + x5 x6 x7 + x5 x6 x7 x8 + x4 + x4 x8 + x4 x6 x8 + x4 x5 x7 + x4 x5 x7 x8 + x4 x5 x6 x8 + x4 x5 x6 x7 + x3 x8 + x3 x6 x7 +x3 x6 x7 x8 +x3 x5 +x3 x5 x8 +x3 x4 x8 +x3 x4 x7 x8 +x3 x4 x6 x8 +x3 x4 x5 x8 + x3 x4 x5 x6 + x2 x6 x7 + x2 x5 x8 + x2 x5 x6 + x2 x5 x6 x8 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x6 x8 + x2 x3 x6 x7 + x2 x3 x5 x6 + x2 x3 x4 x8 + x1 x8 + x1 x7 + x1 x7 x8 + x1 x6 + x1 x6 x8 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x8 +x1 x5 x7 +x1 x5 x7 x8 +x1 x5 x6 x7 +x1 x4 +x1 x4 x7 x8 +x1 x4 x6 +x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 x8 + x1 x3 x6 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x6 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x2 f28 = 1+x7 x8 +x6 x7 x8 +x5 x7 +x5 x6 +x5 x6 x8 +x5 x6 x7 x8 +x4 x8 +x4 x7 x8 + x4 x6 + x4 x6 x7 + x4 x5 + x4 x5 x7 + x4 x5 x6 + x3 + x3 x8 + x3 x6 + x3 x6 x7 + x3 x5 + x3 x5 x7 x8 +x3 x5 x6 x8 +x3 x5 x6 x7 +x3 x4 +x3 x4 x8 +x3 x4 x7 +x3 x4 x7 x8 +x3 x4 x6 + x3 x4 x6 x7 + x3 x4 x5 + x3 x4 x5 x6 + x2 x7 x8 + x2 x6 + x2 x6 x8 + x2 x6 x7 x8 + x2 x5 + x2 x5 x8 + x2 x5 x7 + x2 x5 x7 x8 + x2 x5 x6 x8 + x2 x5 x6 x7 + x2 x4 x8 + x2 x4 x7 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x5 + x2 x3 x5 x7 + x2 x3 x5 x6 + x2 x3 x4 + x2 x3 x4 x7 + x2 x3 x4 x5 + x1 + x1 x7 x8 + x1 x6 + x1 x6 x7 x8 + x1 x5 x8 + x1 x5 x7 + x1 x5 x6 x8 + x1 x5 x6 x7 + x1 x4 + x1 x4 x8 + x1 x4 x7 + x1 x4 x7 x8 + x1 x4 x6 + x1 x4 x5 x8 + x1 x3 + x1 x3 x7 x8 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 + x1 x3 x4 x6 + x1 x2 f29 = x8 +x7 +x6 +x6 x8 +x5 +x5 x7 +x5 x7 x8 +x5 x6 +x5 x6 x8 +x5 x6 x7 x8 +x4 + x4 x6 x8 + x4 x6 x7 + x4 x5 x8 + x4 x5 x6 + x4 x5 x6 x8 + x3 x6 x7 + x3 x5 x7 + x3 x5 x7 x8 + x3 x5 x6 + x3 x5 x6 x8 + x3 x4 + x3 x4 x8 + x3 x4 x7 + x3 x4 x6 + x3 x4 x6 x8 + x3 x4 x5 + x2 x7 x8 + x2 x6 x8 + x2 x5 x8 + x2 x4 + x2 x4 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x5 x8 + x2 x3 x8 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 x8 + x2 x3 x5 x6 + x2 x3 x4 + x2 x3 x4 x6 + x1 x8 + x1 x6 + x1 x6 x8 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x7 + x1 x5 x7 x8 + x1 x5 x6 x8 +x1 x4 +x1 x4 x8 +x1 x4 x7 +x1 x4 x5 x8 +x1 x4 x5 x7 +x1 x4 x5 x6 +x1 x3 x8 + x1 x3 x6 + x1 x3 x6 x8 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x6 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x3 x4 x6 + x1 x3 x4 x5 + x1 x2 f30 = 1 + x8 + x6 + x6 x8 + x6 x7 + x6 x7 x8 + x5 + x5 x7 + x4 + x4 x7 + x4 x6 x8 + x4 x6 x7 + x4 x5 + x4 x5 x8 + x4 x5 x6 + x3 + x3 x8 + x3 x7 x8 + x3 x6 x8 + x3 x5 + x3 x5 x7 x8 +x3 x5 x6 x8 +x3 x5 x6 x7 +x3 x4 +x3 x4 x6 +x3 x4 x5 x8 +x3 x4 x5 x6 +x2 x8 + x2 x5 x8 +x2 x5 x7 +x2 x5 x6 x7 +x2 x4 x7 +x2 x4 x7 x8 +x2 x4 x6 +x2 x4 x6 x8 +x2 x4 x5 + x2 x3 + x2 x3 x7 + x2 x3 x7 x8 + x2 x3 x6 + x2 x3 x6 x8 + x2 x3 x5 + x2 x3 x5 x6 + x2 x3 x4 + x2 x3 x4 x7 + x1 x7 + x1 x7 x8 + x1 x6 x8 + x1 x6 x7 + x1 x6 x7 x8 + x1 x5 x7 + x1 x5 x7 x8 + 6

x1 x5 x6 x8 +x1 x4 +x1 x4 x7 x8 +x1 x4 x6 +x1 x4 x6 x8 +x1 x4 x5 +x1 x4 x5 x7 +x1 x3 x6 + x1 x3 x6 x7 + x1 x3 x5 x7 + x1 x3 x5 x6 + x1 x3 x4 x8 + x1 x3 x4 x7 + x1 x2 f31 = x8 +x7 +x6 +x6 x8 +x5 x8 +x4 +x4 x7 x8 +x4 x6 +x4 x6 x8 +x4 x6 x7 +x4 x5 + x4 x5 x7 + x4 x5 x6 + x3 x7 + x3 x7 x8 + x3 x6 x7 + x3 x5 + x3 x5 x7 + x3 x4 x6 + x3 x4 x5 + x2 x7 x8 + x2 x6 x8 + x2 x6 x7 + x2 x6 x7 x8 + x2 x5 x8 + x2 x5 x7 + x2 x5 x6 + x2 x5 x6 x7 + x2 x4 x8 + x2 x4 x6 + x2 x4 x6 x8 + x2 x4 x5 x7 + x2 x4 x5 x6 + x2 x3 x7 + x2 x3 x6 x8 + x2 x3 x5 x8 + x2 x3 x5 x6 + x2 x3 x4 + x2 x3 x4 x7 + x2 x3 x4 x6 + x2 x3 x4 x5 + x1 x2 f32 = x8 + x7 x8 + x6 x8 + x5 + x5 x8 + x5 x7 + x5 x7 x8 + x5 x6 x7 + x5 x6 x7 x8 + x4 + x4 x8 + x4 x7 + x4 x6 + x4 x5 + x4 x5 x8 + x4 x5 x6 + x4 x5 x6 x8 + x4 x5 x6 x7 + x3 x8 + x3 x7 + x3 x6 + x3 x6 x7 + x3 x5 x8 + x3 x5 x6 x7 + x3 x4 x5 + x3 x4 x5 x6 + x2 x8 + x2 x6 x8 +x2 x6 x7 +x2 x5 x8 +x2 x5 x7 x8 +x2 x5 x6 +x2 x4 x6 +x2 x4 x6 x8 +x2 x4 x6 x7 + x2 x4 x5 x8 + x2 x3 x8 + x2 x3 x7 x8 + x2 x3 x6 x8 + x2 x3 x5 x7 + x2 x3 x5 x6 + x2 x3 x4 x7 + x2 x3 x4 x5 +x1 +x1 x8 +x1 x7 x8 +x1 x6 x8 +x1 x6 x7 x8 +x1 x5 +x1 x5 x7 x8 +x1 x5 x6 + x1 x4 + x1 x4 x8 + x1 x4 x7 x8 + x1 x4 x6 x8 + x1 x4 x6 x7 + x1 x4 x5 x8 + x1 x4 x5 x7 + x1 x4 x5 x6 + x1 x3 + x1 x3 x6 x7 + x1 x3 x5 + x1 x3 x5 x8 + x1 x3 x5 x6 + x1 x3 x4 x6 + x1 x3 x4 x5 + x1 x2

7

f1 = x8 + x7x8 + x6 + x6x8 + x6x7 + x6x7x8 + x5 + x5x6 + ... - GitHub

f5 = 1+x6x7 +x5x7 +x5x7x8 +x4 +x4x8 +x4x7 +x4x7x8 +x4x6 +x4x6x8 + x4x5x7 +x4x5x6 +x3x8 +x3x7 +x3x5 +x3x4 +x3x4x7 +x2 +x2x6x8 +x2x6x7x8 +.
Download PDF
43KB Sizes 10 Downloads 186 Views
Report

Recommend Documents

f1 =1+ x7x8 + x6x8 + x6x7 + x6x7x8 + x5 + x5x7x8 + x3x4 + ... - GitHub
f1 =1+ x7x8 + x6x8 + x6x7 + x6x7x8 + x5 + x5x7x8 + x3x4 + x2 + x2x4 + x2x3x4 + x1 + x1x3 + x1x2x3 f2 = x7 + x7x8 + x6 + x6x7 + x6x7x8 + x5 + x5x8 + x5x6 + ...
f1 =1+ x8 + x7x8 + x6 + x6x8 + x6x7 + x6x7x8 + x5x8 + x5x6 + ... - GitHub
f5 =1+ x8 + x7x8 + x6 + x6x8 + x6x7 + x6x7x8 + x5x8 + x5x6x8 + x5x6x7 + ..... x1x4x5 +x1x4x5x6 +x1x3x8 +x1x3x7 +x1x3x7x8 +x1x3x5x8 +x1x3x4x6 +x1x2. 7.
f1 =1+ x8 + x7x8 + x6 + x6x8 + x6x7 + x6x7x8 + x5 + x5x6x8 ... - GitHub
f1 =1+ x8 + x7x8 + x6 + x6x8 + x6x7 + x6x7x8 + x5 + x5x6x8 + x5x6x7 + x4 + x4x8 + x4x7 + x4x6x8 + x4x6x7 + x4x5x8 + x3x8 + x3x6 + x3x6x7 + x3x5 + x3x5x7 + ...
f1 =1+ x8 + x7x8 + x6 + x6x8 + x6x7x8 + x5x7x8 + x5x6x8 + ... - GitHub
x1x2x3x4x6x8 + x1x2x3x4x6x7x8 + x1x2x3x4x5x8 + x1x2x3x4x5x6x7 f5 = x8 +x7 +x7x8 +x6x8 +x6x7x8 +x5 +x5x8 +x5x7x8 +x5x6 +x5x6x7x8 + x4x8 + x4x7x8 + ...
f1 = x8 + x7 + x6x8 + x6x7 + x5x8 + x5x7x8 + x5x6 + x5x6x7 ... - GitHub
f1 = x8 + x7 + x6x8 + x6x7 + x5x8 + x5x7x8 + x5x6 + x5x6x7 + x4x7x8 + x4x6x8 + x4x6x7 + x4x6x7x8 + x4x5x7 + x4x5x6x7x8 + x3 + x3x7 + x3x7x8 +.
f1 = 1+x8 +x7 +x6x8 +x6x7x8 +x5x8 +x5x7x8 +x5x6 + ... - GitHub
f1 = 1+x8 +x7 +x6x8 +x6x7x8 +x5x8 +x5x7x8 +x5x6 +x5x6x7 +x4x7x8 + x4x6 +x4x6x7x8 +x4x5x8 +x4x5x6x8 +x3x8 +x3x7x8 +x3x6x8 +x3x6x7 +x3x5 +.
f1 = x6 +x6x7 +x6x7x8 +x5x8 +x5x7 +x5x7x8 +x5x6 +x5x6x8 ... - GitHub
f5 =1+x8 +x7 +x7x8 +x5 +x5x8 +x5x7x8 +x5x6x7 +x4 +x4x8 +x4x7 + x4x6x8 +x4x5 .... x1x2x3x4x5x7x8 + x1x2x3x4x5x6 + x1x2x3x4x5x6x8 + x1x2x3x4x5x6x7. 4.
f1 = x8 + x7x8 + x5 + x5x8 + x5x7 + x5x6 + x5x6x7 + x4 + ... - GitHub
x1x2x3x4x6x8 + x1x2x3x4x6x7 + x1x2x3x4x5x8 + x1x2x3x4x5x6x7x8 f6 = x8 + x7 + x6 + x6x7x8 + x5x7 + x5x7x8 + x5x6 + x5x6x8 + x5x6x7 +. 2 ...
f1 = x8+x7x8+x6+x6x8+x5+x5x7x8+x5x6x8+x4x8+x4x7x8+ ... - GitHub
f5 = x8 +x7x8 +x6 +x6x8 +x6x7 +x5 +x5x6x8 +x5x6x7x8 +x4 +x4x7x8 + x4x6 +x4x6x7x8 +x4x5x7 +x4x5x6x7 +x3 +x3x8 +x3x6x8 +x3x6x7x8 +x3x5 + x3x5x6 + ...
f1 = x7 + x6x8 + x5 + x5x8 + x5x6 + x5x6x7x8 + x4 + x4x8 + ... - GitHub
f1 = x7 + x6x8 + x5 + x5x8 + x5x6 + x5x6x7x8 + x4 + x4x8 + x4x7 + x4x7x8 +x4x6x8 +x4x6x7x8 +x4x5 +x4x5x8 +x4x5x7 +x4x5x6x8 +x4x5x6x7 +.
f1 = x10 +x9 +x8 +x8x10 +x8x9 +x7x8 +x6 +x6x8 +x5x8 + ... - GitHub
x2x5 + x2x4 + x2x3 + x1 + x1x10 + x1x9 + x1x8 + x1x6 + x1x3 f5 =1+ x9 + x8 + x8x11 + x7 + x6x9 + x6x8 + x6x7 + x5 + x5x11 + x5x10 + x5x7 + x5x6 + x4 + x4x10 ...
f1 =1+ x8 + x7 + x6 + x6x8 + x5x6x7x8 + x4x8 + x4x7 + ... - GitHub
x1x2x3x4x5x7x8 + x1x2x3x4x5x6x8 f5 = x7+x7x8+x6+x6x8+x6x7+x5x8+x5x6+x5x6x8+x4+x4x8+x4x7x8+ x4x6 + x4x6x8 + x4x6x7x8 + x4x5 + x4x5x8 + x4x5x7 ...
f1 = x6+x5+x5x6+x4+x4x6+x4x5x6+x3x6+x3x5+x2x6+x2x5+ ... - GitHub
f1 = x6+x5+x5x6+x4+x4x6+x4x5x6+x3x6+x3x5+x2x6+x2x5+x2x5x6+ x2x4x5 + x2x4x5x6 + x2x3 + x2x3x5 + x2x3x5x6 + x2x3x4x6 + x1 + x1x5x6 +.
f1 = x6 + x2 + x1 f2 = x7 + x3 + x2 f3 = x8 + x5 + x4 + x3 + x1 ... - GitHub
f1 = x6 + x2 + x1 f2 = x7 + x3 + x2 f3 = x8 + x5 + x4 + x3 + x1 f4 = x5 + x4 + x1 f5 = x6 + x5 + x2 f6 = x7 + x6 + x3 f7 = x8 + x7 + x5 + x4 + x1 f8 = x8 + x5 + x1. 1.
f1 = x7 +x6 +x6x8 +x5x6x7 +x4x7 +x4x7x8 +x4x6x7x8 +x4x5 +x4x5x8 ...
x1x2x3x4x8+x1x2x3x4x6x7+x1x2x3x4x6x7x8+x1x2x3x4x5x8+x1x2x3x4x5x7x8+ x1x2x3x4x5x6 + x1x2x3x4x5x6x7 f5 = x8 + x7x8 + x6 + x6x7 + x6x7x8 + x5 + ...
f1 = 1+x5 +x5x6 +x4 +x4x5 +x3 +x3x6 +x3x5x6 +x3x4x5 + ... - GitHub
f1 = 1+x5 +x5x6 +x4 +x4x5 +x3 +x3x6 +x3x5x6 +x3x4x5 +x2x4 +x2x4x6 + x2x4x5 +x2x4x5x6 +x2x3x6 +x2x3x5 +x2x3x4 +x2x3x4x6 +x2x3x4x5 +x1x5 +.
f1 = 1+x6 +x5 +x4x5x6 +x3 +x3x4 +x3x4x6 +x3x4x5 +x2 + ... - GitHub
f1 = 1+x6 +x5 +x4x5x6 +x3 +x3x4 +x3x4x6 +x3x4x5 +x2 +x2x3 +x2x3x4 + x1 +x1x5 +x1x4 +x1x4x6 +x1x3x5 +x1x3x4 +x1x3x4x6 +x1x3x4x5 +x1x2x5x6 +.
f1 = x6x7x8 +x5x8 +x5x7 +x5x7x8 +x5x6x7x8 +x4 +x4x8 + ... - GitHub
f5 = x7x8 + x6x7x8 + x5x8 + x5x6 + x4 + x4x8 + x4x7 + x4x7x8 + x4x6 + x4x5x6 + .... x1x2x3x4x6x8 + x1x2x3x4x6x7 + x1x2x3x4x5x7x8 + x1x2x3x4x5x6x8. 4.
f1 = x13 + x11 + x10x12 + x10x11 + x8 + x8x12 + x7 + x7x9 + ... - GitHub
f5 = x10x13 +x8 +x7 +x7x9 +x7x8 +x6x11 +x6x9 +x6x7 +x5x13 +x5x11 + x5x6 +x4 +x4x13 +x4x11 +x4x10 +x4x9 +x3 +x3x13 +x3x12 +x3x11 +x3x10 +.
1 = x1 /2 = x2 /3 = x3 /4 = x4 /5 = x5 /6 = x6 /7 = x7 /8 = x8 /9 ... - GitHub
/1 = x1. /2 = x2. /3 = x3. /4 = x4. /5 = x5. /6 = x6. /7 = x7. /8 = x8. /9 = x9. /10 = x10. /11 = x11. /12 = x12. /13 = x13. /14 = x14. /15 = x15. /16 = x16. 1.
f1 =1+x6 +x5 +x4x5 +x3 +x2x6 +x2x4 +x2x4x5 +x2x3 +x2x3x6 +x1 + ...
f1 =1+x6 +x5 +x4x5 +x3 +x2x6 +x2x4 +x2x4x5 +x2x3 +x2x3x6 +x1 + x1x5x6 + x1x4x5 + x1x4x5x6 + x1x3x5x6 + x1x2x6 + x1x2x5x6 + x1x2x4x5 + x1x2x4x5x6 + ...
f1 = x4 + x3 + x3x4 + x2 + x2x4 + x2x3x4 + x1 + x1x2 + ... - GitHub
f1 = x4 + x3 + x3x4 + x2 + x2x4 + x2x3x4 + x1 + x1x2 + x1x2x4 f2 = x4 + x3x4 + x2 + x2x3x4 + x1 + x1x3 + x1x3x4 f3 = x4 + x3 + x2x4 + x1x4 + x1x3x4 + x1x2 + ...
f1 = 1+ x4 + x4x5 + x3x5 + x2x4x5 + x2x3 + x2x3x4 + x1x5 + ... - GitHub
... x4x5 + x3 + x3x4 + x2 + x2x5 + x1 + x1x5 + x1x4x5 + x1x3 + x1x3x5 + x1x2 + x1x2x3 f5 = x4 +x3 +x3x5 +x2x4x5 +x2x3 +x2x3x5 +x1 +x1x4 +x1x3x5 +x1x2x4 +.
f1 =1+ x16 + x14 + x14x15 + x14x15x16 + x13 + x13x14 + ... - GitHub
x13x14x16 + x13x14x15 + x3 f4 =1+ x15 + x14x16 + x13 + x13x16 + x13x15x16 + x4 f5 = 1+x16 +x14 +x14x15 +x14x15x16 +x13 +x13x14 +x13x14x15 +x5 +x1.