module Test(g) where

data B = TT | FF

g TT y1 y2 y3 y4 y5 y6 y7 TT x1 x2 x3 x4 x5 x6 x7 = TT
g y0 TT y2 y3 y4 y5 y6 y7 x0 TT x2 x3 x4 x5 x6 x7 = TT
g y0 y1 TT y3 y4 y5 y6 y7 x0 x1 TT x3 x4 x5 x6 x7 = TT
g y0 y1 y2 TT y4 y5 y6 y7 x0 x1 x2 TT x4 x5 x6 x7 = TT
g y0 y1 y2 y3 TT y5 y6 y7 x0 x1 x2 x3 TT x5 x6 x7 = TT
g y0 y1 y2 y3 y4 TT y6 y7 x0 x1 x2 x3 x4 TT x6 x7 = TT
g y0 y1 y2 y3 y4 y5 TT y7 x0 x1 x2 x3 x4 x5 TT x7 = TT
g y0 y1 y2 y3 y4 y5 y6 TT x0 x1 x2 x3 x4 x5 x6 TT = TT
g FF y1 y2 y3 y4 y5 y6 y7 TT x1 x2 x3 x4 x5 x6 x7 = TT
g y0 FF y2 y3 y4 y5 y6 y7 x0 TT x2 x3 x4 x5 x6 x7 = TT
g y0 y1 FF y3 y4 y5 y6 y7 x0 x1 TT x3 x4 x5 x6 x7 = TT
g y0 y1 y2 FF y4 y5 y6 y7 x0 x1 x2 TT x4 x5 x6 x7 = TT
g y0 y1 y2 y3 FF y5 y6 y7 x0 x1 x2 x3 TT x5 x6 x7 = TT
g y0 y1 y2 y3 y4 FF y6 y7 x0 x1 x2 x3 x4 TT x6 x7 = TT
g y0 y1 y2 y3 y4 y5 FF y7 x0 x1 x2 x3 x4 x5 TT x7 = TT
g y0 y1 y2 y3 y4 y5 y6 FF x0 x1 x2 x3 x4 x5 x6 TT = TT
g y0 y1 y2 y3 y4 y5 y6 y7 FF FF FF FF FF FF FF FF = TT