module Test(g) where data B = TT | FF g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF FF = TT g TT y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 TT x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 TT y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 TT x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 TT y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 TT x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 TT y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 TT x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 TT y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 TT x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 TT y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 TT x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 TT y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 TT x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 TT y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 TT x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 TT y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 TT x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 TT y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 TT x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 TT y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 TT x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 TT y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 TT x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 TT y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 TT x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 TT y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 TT x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 TT y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 TT x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 TT y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 TT x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 TT y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 TT x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 TT y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 TT x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 TT y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 TT x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 TT y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 TT x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 TT y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 TT x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 TT y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 TT x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 TT y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 TT x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 TT y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 TT x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 TT x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 TT = TT g FF y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 TT x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 FF y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 TT x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 FF y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 TT x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 FF y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 TT x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 FF y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 TT x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 FF y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 TT x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 FF y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 TT x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 FF y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 TT x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 FF y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 TT x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 FF y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 TT x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 FF y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 TT x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 FF y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 TT x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 FF y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 TT x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 FF y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 TT x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 FF y15 y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 TT x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 FF y16 y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 TT x16 x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 FF y17 y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 TT x17 x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 FF y18 y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 TT x18 x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 FF y19 y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 TT x19 x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 FF y20 y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 TT x20 x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 FF y21 y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 TT x21 x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 FF y22 y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 TT x22 x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 FF y23 y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 TT x23 x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 FF y24 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 TT x24 = TT g y0 y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16 y17 y18 y19 y20 y21 y22 y23 FF x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 TT = TT