module Test(g) where

data B = TT | FF

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