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 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g FF TT y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 TT TT y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 FF TT y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 TT TT y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 FF TT y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 TT TT y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 FF TT y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 TT TT y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 FF TT y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 TT TT y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 FF TT y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 TT TT y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 FF TT y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 TT TT y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 FF TT y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 TT TT y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 FF TT y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 TT TT y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 FF TT y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 TT TT y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 FF TT y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 TT TT y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 FF TT y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 TT TT y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 FF TT y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 TT TT y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 FF TT y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 TT TT y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 FF TT y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 TT TT y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 FF TT y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 TT TT y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 FF TT y17 x17 y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 TT TT y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 FF TT y18 x18 y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 TT TT y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 FF TT y19 x19 y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 TT TT y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 FF TT y20 x20 y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 TT TT y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 FF TT y21 x21 = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 TT TT = TT
g y0 x0 y1 x1 y2 x2 y3 x3 y4 x4 y5 x5 y6 x6 y7 x7 y8 x8 y9 x9 y10 x10 y11 x11 y12 x12 y13 x13 y14 x14 y15 x15 y16 x16 y17 x17 y18 x18 y19 x19 y20 x20 FF TT = TT
g y0 FF y1 FF y2 FF y3 FF y4 FF y5 FF y6 FF y7 FF y8 FF y9 FF y10 FF y11 FF y12 FF y13 FF y14 FF y15 FF y16 FF y17 FF y18 FF y19 FF y20 FF y21 FF = TT