module Test(g) where

data B = TT | FF

g TT x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 TT y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g TT x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 FF y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 TT x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 TT y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 TT x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 FF y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 TT x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 TT y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 TT x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 FF y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 TT x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 TT y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 TT x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 FF y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 TT x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 TT y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 TT x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 FF y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 TT x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 TT y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 TT x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 FF y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 TT x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 TT y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 TT x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 FF y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 TT x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 TT y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 TT x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 FF y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 TT x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 TT y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 TT x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 FF y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 TT x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 TT y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 TT x10 x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 FF y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 TT x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 TT y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 TT x11 x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 FF y11 y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 TT x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 TT y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 TT x12 x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 FF y12 y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 TT x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 TT y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 TT x13 x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 FF y13 y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 TT x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 TT y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 TT x14 x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 FF y14 y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 TT x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 TT y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 TT x15 x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 FF y15 y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 TT x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 TT y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 TT x16 x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 FF y16 y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 TT x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 TT y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 TT x17 x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 FF y17 y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 TT x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 TT y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 TT x18 y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 FF y18 = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 TT y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 TT = TT
g x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 TT y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 FF = TT
g FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 = TT