module Test(g) where data B = TT | FF 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 y22 FF y23 FF y24 FF y25 FF = TT 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y21 x21 TT TT y23 x23 y24 x24 y25 x25 = 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 y21 x21 y22 x22 TT TT y24 x24 y25 x25 = 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 y21 x21 y22 x22 y23 x23 TT TT y25 x25 = 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 y21 x21 y22 x22 y23 x23 y24 x24 TT TT = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y22 x22 y23 x23 y24 x24 y25 x25 = 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 y21 x21 FF TT y23 x23 y24 x24 y25 x25 = 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 y21 x21 y22 x22 FF TT y24 x24 y25 x25 = 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 y21 x21 y22 x22 y23 x23 FF TT y25 x25 = 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 y21 x21 y22 x22 y23 x23 y24 x24 FF TT = TT