module Test(g) where

data B = TT | FF

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