module Test(g) where

data B = TT | FF

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