/* Th as 248 x 248 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,248,[ "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "10000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "10000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000066661000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000101100100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000006101011100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001016066500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000666660600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000001100060600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000101060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000600610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000006066000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000006606000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000001011101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000610101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011101600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006666606000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066666000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066666610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001110100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000660000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101616660000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600061100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000666000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110006100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111606060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066066100000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000666000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111100000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000061010111000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006060600000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006066000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066000101000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001606060000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000666061000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111010000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111110000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111111600000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066606000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000606000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000100000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001606060000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000666061000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111010000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111110000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111111600000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066606000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066661000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000101100100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006101011100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001016066500000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000666660600000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001100060600000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110116000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000600001110000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066666000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000160606660000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010101000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010110000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110006060000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000016060600000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006660610000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111110100000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111100000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111116000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000666060000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010161666", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000060006110", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011161", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000066600001", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011000610", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011160606", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011001600", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111160"]); y:=CambridgeMatrix(1,F,248,[ "06656510011000001016160066000606110006060605560660006111001001666500116066666021001010601615665565501062001001661010106606600001006606602015046400606111120210110162000154060150660600000650060011101060111110100116061601011011061600560061106111001600", "11066606161566650000616666606112650560661111216000060616010111121101106111000060006160116060002112110010106665106060502166060010202505056061621210261655601001661126006512010610006161016111011160011011666001611600105066655620166006601016060550616212", "66010201616211020211202200060000020211120100061006606000656660000006661600011000011010066001020100060606606101122110205601110166021312610616005501011011655656200650061266666010500101210545560010066665666556266660611210101056610111116010001021201665", "56631302505202126000002111161665606060210202111210000660160565651120060566066010101010660016000006660060000016001100000012100606556162611120106501111006056455166551010205050666001010000665660660006100000000106060611106006156510102326606600000101000", "11101606060660060600005611010000056666665354460601011101011110005061631211100066066060601061066600106006112001656500000010060600105006106650061255405213110221620016000612121100100606661222216000600011111111500111100612122101000060060161010106666000", "00056516101606061606065566000000100016666464466561010111011111605560020166666011666000010565566506611061011102006610000666600011106616011066041065465112010322620111016666011161100000600112110001022102000110011120106602021122060666661100160060506022", "60011111066000601010166600666516006100006454450601006110601102015600621000600011660001601606665505660660001062660610106611000600005061011665640656405223106110026661010165000160666660000001116000600001111110000211101022212160611101100161000110060600", "10066600021110010210102200010101121111011211101006000000666660101066050000011060011606160101101161006020666000012210106666610101123120556610025622212666010066262106050001606010560001110545550011100606000556150666661066666610160616560011116001100006", "11012601000000000101110000000000600010010110106611201160066010610000000055525402061560663550502255665111000000000000000000000000000000000552000001016100000000000000000060600621000000001010265600011066000000000600016120200505605100120061016106050666", "00000000000000000000000025050535000000000000000000000000000000000000000022252305000000004040403300000000000000000000000050200202000000000225000000000000000000005050324200000000000000000000000000000000000000000000000050500202000000000000000000000000", "16161056000000000062110252020242066600000060610012111610066100000000000000000000121111600250502200516011000000000000000020500505000000000000000060006021000000002020453560166110000000006000600616056665000000002110106600000000656666105651612250606122", "00000000000000000000000052020242000000000000000000000000000000000000000000000000000000000030304400000000000000000254202220500505000000000000000000000000305052442020453500000000020002220000000000000000000000000000000000000000000000000000000000000000", "01016100000000000016066616060656001061001111100166510101111660060162101166616201666110015500205012201006061600000615606660100101000000000661000006601061201016556060512106011150060006666666602160006021020110116001001010100606012001661615056521011600", "60510012000000001016166516060656611000100111200060006201006606110162101166616201656556065500205066060101061600000615606660100101000000000661000000606100201016556060512101621011060006661016166060111160020110116010010110100606016100001010015616056665", "00000000000000000000000000000000000000000000000000000000000000000254202255525402000000003330000400000000052500000000000000000000000000000552000000000000000000000000000000000000000000000000000000000000040220220000000020200505000000000000000000000000", "21202666000000006162021261010121066010610006606621202666060111500615606611161506112011602420000566605010016100000615606610600606000000000116000001110000201016551010265666056610060006660001106610600606050660661660006060600101666000126051001260001001", "01021161666061601605050666606610101006666052011260610010606111026606601666055010110000601060050656506011656660606060502166060010500000226011126060610000656001611106051066600160006666060660060600060010666556162111266011122150100606102211160606600160", "66665010101606066101010000060101610100111126006522301160012650150060000100000060121221605565511021111066016100221110000611600511606161061100061020161666231116105661011111011611610201210110610000000066222220600100001000001600666000010000006011111000", "11011000016220121616006600111066111111606650001266500611100026600122126066511012600660101101160000000001212615640110106656620201200564066660610150010201656660001116060600100066101616666061101120010660666002616506616610160066000101006606010000055415", "00011101665101111000006000121160100600666041062355506011066010600110601611011000660666101111106000111101001010661000106065000260323625550060601141620222645556101220006501110101061610600001100111101600666000016505500610166166011111006600110101000000", "00160066611061000101101100060000656600001020105511201156010160100666060011100006655060116001020160656516606101125550601221160666556662110616005516056506122121501660006155555016210100600666600056600111111666150101000060606021110006000060601166610202", "60000000600061606100001100606011001006060001016001100006010101010066661000166066110111610605660650565620666061015660502100060610506101321026165406666606001011500051061266566006116066061006666666060100000666262211266000011060000666102100050606611161", "01201006506162011006061066000000061600666651000100101066016100111016050500066010006060110101101150566621600102015560601106060000606600226506005656506011061500562106050055555006210006666556661066060010000556151000066606066066010066161000000066610261", "10610060200025600506006666666610110110016000011100600011001010006012136155600011000606060061000010111150200564051210106660620101056665666102121200111160006100110016000611212060566061110101101021020060000112510001200101021101066001010101000600055425", "66065106550502020101110025050505100060060660601111201160066010610220202225555305016210110000000055665111000000000000000000000000000000000000000006061600000000000000000060600621000000001010265600066011000000000600016100000000102600650061016101020111", "00000000220205050000000004400000000000000000000000000000000000000550505552222402000000000000000000000000000000000000000000000000000000000222000000000000000000000000000000000000053005220000000000000000000220550000000000000000000000000000000000000000", "06000666000000005556601155320202100605105001621100011061600102120000000000000000500162110000000060010260000000000000000000000000000000000555000001160000000000000000000066605010024002555661020206660500000550226606510600000000111220601101060666600010", "00000000000000000000000000344004000000000000000000000000000000000000000000000000000000000000000000000000422240300000000000000000000000000555000000000000002022000000000000000000024002550000000000000000000550220000000020500505000000000000000000000000", "60611112660601012016066600255025001011501100166056665020000665160110101116666506161610560160601121160505566650200000000060100101000000000111000010010060006066006060512100101150065006111116600611212156000110661000150660100101065666006605661006156066", "01110200660601011211116000255025111000650650061100101100160606560110101116666506106006060160601105656600566650200000000060100101000000000111000016060606006066006060512102011011065006111016166511100010000110661016166060100101061560666000620111111001", "00000000550502020000000000000040000000000000000000000000000000000220202225555305000000000250502200000000000000000000000050200202000000000000000000000000000000005050324200000000000000000000000000000000000000000000000000000000000000000000000000000000", "65655606110106066660001055505250066060110010610011100060606111120660606661111201610211120610106650016211566650200000000010600606000000000666000060001001006066001010265665666610012001660001106166666001000660116661620160100101111110061061166060616110", "60100102601651066001020000060000222010666666601110060600101606066002136266611001011606106000011100066000201504641210106606150006021323620606066660010201100010610110000610160665100606666100612101600011111005060001115006066066212524650665561610060000", "10500516110126011100160600000101066666061111160011122160506060211605040511166066060000606600626066606010560103610560000150620111150565666001020101006620111606060006061000610101060600606660511006166066111222611110000011112060556153011110160000101666", "66100160056660566566600111222156606100226000620066666010000111010111010066100006100010661006050621161410121126100110000621160666021660160111200016001056600101000600016056604020505151212110256601111100666666106606600600056620010606106660010160610111", "00201160666061000001116166000000606201120060620056665111101111561211000000011010000001660656651600101060111000060120000521260055621100201110000620102035011000060601025060100100010006161101100160100010000666066600000061616132121016066061011150010201", "01000000101606160110001000666610102610550600166011101666110006006660010100600001606060220111110100010260066666005650601266600011655001120050662256665021065066211160051121102660661011016666600006500001000660166656603206000056100006006021115616666600", "61010112600061100110010666666011000001000616150011101600111606066001020166500002660660106112130260616201160565650060106160060620101131510666660050005132110110016060062121102656161610505060512110660600111006061000106006001656101615061016066520060666", "01111161060660066101021166060000001001006566600000156606211000665061631266600011000660106101112200000101160504656160601100160006120221121066041066606101116210120061000110160666660600006066502111511012111666056556601165655606211615066610016616555610", "65666000000000600566660022121160010006100100610016612060565006320610106611211055111120601614656511160516010110111110000610000060606650005601126110001066660001601025006560605020016160101010266601111160666110120110006600066010600001010656661101011011", "12101606666061101016005611606610606111021100000106600161060006061101106111000010606100106060002100666011601112606060000166510012200025506011126001100106656001616601026016056565506161210102100101006110111006161101001111102600100066061221100006060006", "66606112020220121100061066666610660660060660060600100066006060006565661600622061000101010606606606000606211614051600000010150606501112111100151000600601000666161006060060620212006060006566600000110260000112516600215006056606001020606555560566600610", "10101666160606566660000122222156000016010111010112111010611001111100060055055010116116006102121260000201060651660100601010000060120060116660520100006016666101016061001110150666212120602110166606560411111110006600610061630212000660066000011111166060", "11201055160606666061010111111261100060001220006011011610600600110160601155655021101566651203200100001060006060116000601000100166606650005560626100066026111010605062011166060000061610601110000000600510666000216660601060616111116066106001020101106100", "66666010600061101010106655656610110100066660101060606011101010561021205622111056661601601025066612100010610212120100000060010100106116062220160500112051110110011015060611066516666660006061011101111260666556061210061011101000600101011101160100611011", "00666610565162112015005600656516606101116650001106666060160006660601215122111066660001000605660610066606600111010000106055510112201624651110160660011161056566000506016010000606606060106052062260006200000666061201001100061510060000601110060006001000", "01161665056660061606005600060606016100116060002100606011061600661011205011100066001010660016000001066010600102015060601166610101321125551026005401122161060011516616010610056505560001110102101101000000000556150100602101011011110056100111100111101000", "10011001011000006001001111020000601020611010006012212000021000100100601066666011025310225062031266000101061600551110000621000660606161236061011200065016566161100161061100100160110201011016105600000011222220600600006000006100001011660000001066666000", "06600001160606060061010000000606010060100066501016001060666666201100060066666011112010661102106060066010010101115560000100600611650560161201002111011160666656260051061200066006560102126000612112011001666550161111104611112060001011601655552011060610", "01201160010110610111110111111160001111600660016060066000211110560606060600166066606061110010016000111250600111012000106060610011201606456610115606060056001011506016001611202060106060600060000166600011000221625556603210161666221015065012126066606101", "11610610060660060100000611010000066660000010151001106010001661660011116011122066060666061604640566506011110006106110601620160056405051326061011261016032666060102016005606600060610100206000511010066606666666202111105660605121656061002116060610160665", "10506616050550651006650600101160666660001110150600010000666660000112126166011000000100006666601060610100212615646110000610250065621102220101101101000621110006101000006000601001566660100610105610000666111665152211166600066010555263022100060011100606", "56166101016220126506600055666011222026666000010110601600000016110065552611066010010016116061011121160506556062610660601161020100200014061006660666000100121110006661010100006616101616661110266660000100111112506000010060610011111514066666600000011101", "06160060006110116661010166606011222016666050521106666000060000000006661600666001121016000112126110150506666061016550000261610621150515660060601110012146010100106650062266065016061011611110100061010111000001006001016000012660111616666656502160000111", "06666600665101116660601055606011323515546060601120001666666666211210661600600011121015110061000010056516000061006600000012100606001615161100601060610111021100166551010206665616001010000016000601610101000660060101016061621022060600600665561010060610", "01011011101606661211216622111665665161111010160001111101011000066660010100100006650661662116140656616201016116220100601016600061605051100000160001106010545061011110006611112150616261215051423206156606555660111010106006055006001000061110160600101056", "02011212261505556666601155565022101606066010016621160665000060111110060666166006100606001000066660010201012121661100000006600001556101120565566605660600100010610660000111101060112120001006050612200006666000010020016606046516222330600100101101101006", "00006606606101110164220322111066606000100650601160011011010010000600106011011010660111016103130210600600006060110110601661000620020066261110160601010160600101002126005506600600656661611000110206666606111110001101100010112046655556101110006610100066", "16001656010110110024560400101160011101000016166606060060100006061111106000666001011001001665640566060010660062600060106120160056103611560000160066060011110110016060062166665111616160205000600660000011666001016011110156504121000661006161002160000101", "10101066111016000024666400010101121116060010100010600060060006006011020066655011011121610066052066001000666000010600205016160156101122501110000600100000060566066666062156606212010006166101600601011011000111016556660061616132010101006560610060606111", "60666021066000600661100166656516056001620101010150006121011112606050611211211055065545150026016000006006000016000010000601000610605006125661630200000006011000060102016011011000101010601000100000000160000660660066600021202056001110600505666610001600", "02000122056660566651001266555621066666106101010060100110610102110666060066100006160606661111106000006160112026650000601001610611006115110666500006601600121110001110006621202655212120602016166600006100666666100000610020251655212236560016000006060606", "01600122100016506566600055555621100000016110010000066010001001000101010100266065100565051016066656606110601121606000000010060600600221626650511206001000110006106001010000600101322126661110160666000201666661006606610010150606112331506606000065500001", "06000056000000100116601611111066601001000566660006060666106006002110156600600001010101116556500611101000010162111160000100100166651450050606156660605111666212620060061100066610566660105666501001100606111110600232210055564010006660110362102202211100", "55566011000000001606060600000000010006161110006010012060101001560550502200000000006656160000000001106016000000000000000000000000000000000525000000011061002052005353350565060060000000001110006000606620000000000116000000000000106006060111020011012601", "10600606000000006610026000000000121221011101060600660611565051110220205500000000100100600000000066600010000000000000000000000000000000000252000066100260005025002424420211201665000000000506606660060010000000006600116000000000111615061111100100066516", "11260606110106060160601116060606061560665556601150016211100605105505502261111201660011600110601600011061061600002110156660605121000000000616000021160505001061006565560610666610000000000101110066006160020110110102011110600601600102120566066600606100", "11100060660601011100166061010101160606566061111266166006001016005355300016666506001011000110601601011102061600002110156660605121000000000616000010666610001061006565560600610111000000006006001000610161020110110051601110600601500162110060160060010260", "56610202110106061000150616060606665066101120116020101655112121562422400061111201010666200660106111166006016100005660621110102656000000000161000060510012006016001212210156610202000000000100061121011600050660661005650660100106066060666100611000112161", "45510212000000000600061600000000505160312136005531012656111112560000000000000000016655200000000010155604000000000000000000000000000000000000000050621102000000000000000056000161000000001101060121101516000000001024056500000000266605556110521010102601", "56610202110106061000150616060606665066101120116020101655112121562025000061111201010666200110601611166006061600005660621110102656000000000616000060510012001061006565560656610202000000000100061121011600020110111005650660100106066060666100611000112161", "21160505110106066000620116060606112011606650661050606122665656215052004461111201060111500660106166611001016100002110156660605121000000000616000010260065001061006565560621160505000000000600016656066100050660666002120110600601011010111600166000665616", "06160055660606066605661066510101610101016000602106066100110016600000000016161056056566000660601101610000066600000615606610100606000000000111000006050666201016551060060600106100022550206001021211100065000110661000100112100606061010666650611266666001", "02011011110101011212210166510101106666101106060600610611010201110000000061616021616202120110106666056610011100000162101160600101000000000111000066605010506061226010010111012601002222351120166501000611000110665666502065600101606001012116050506610000", "06000666000000005556601122450505600102605001621100066016100605650000000000000000200615660000000060010260000000000000000000000000000000000555000001160000000000000000000066605010053005225661020201110200000550221101260100000000111220606606010111100060", "05066066110101016565560611260606601111606601010100160166060506660000000061616021161505650660601111021160011100000615606660600101000000000666000011102060201016556010010166065106005222026650611206000166000660112111205065600101101006065661020201160000", "10001001660606061110006566510101101006061010265666600060601661100000000016161056600100100110106606606011066600000162101110100606000000000111000011021160506061221060060660060010002555052006156605656600000110661110006512100606665656216001001061010121", "00160166660606061126060666510101010006111006051006000161010111020000000016161056556651110110106611600510066600000162101110100606000000000111000005660666506061221060060611201160002555051110001010060565000110660606610012100606650560060051601155566011", "16161056550505050015660500000000011100000010160065666160011600000000000000000000656666100000000000516011000000000000000000000000000000000000000010001056000000002050050560166110050335251000100116056665000000002110106624200505656666105651612250606122", "60616610000000005541011300000000666002605061531112100626166005650000000000000000321026560000000060201256000000000000000000000000000000000000000061166021000000000000000006516600000000004661620162131312000000006061161200000000232331501025105631201645", "01010201606101116060611100161066011606166566501020060565066666115650621211011060111120011126160001011101056565660610106611000600220016016112130100616101122606050101000000060600606161110006661000100006666660000131110612132261110220010302211260010100", "00060010600061100615066511111160100110610111110160606111001111602016146500611011006666060062016066000006111061060160502160610011001656151006140600100006006211021016006660610212666061010101000601011101000006106545560065666666011211606365506600600011", "01010011100016000053110300000606006666160100000611111000600660100101010100066060061010606564561600606001606101121000205010260155650501606600016010002660660001606051062210101655600606162010206105666000111111501000000060605121060606061120106605666666", "66006000200025601162100166666011666660001060661000010000666660000112126100155006000100001006050622100660560112611110205620150666601122020606606612010000111010600060061111201564011110100600010105600060666112621100061000066010666566101111106006606600", "00001060610101010015661611010000061001600010105600160066110100006600010000000010006650106102121200100100006006115600601060000010120210661201002165656610666656260026016511100000200606566666660613200606111000160121116011112060111000000160062113302006", "00011160565162010015600611060606112010660616006631060555160665006556000100011000010000110111110160011111100605066600601002010610220014060101011106066000021100161220006560606112100000606060661012201606000666160020106621212146010101110161101102111100", "60610101606101010061011211000000061601600606606621160565100666005560020166666011006656200100162101010111066605006500106011100066321136561211011006666000011666150116061611000600110006060666061111260665000000101241216612121201000000111301261112212066", "12100010011000106062110266101066016005266061011160011111610111111200661011011050061131510504566506600060000061000060000106000160650551605661110200011060066000015652011206001060606060102110106000606010000660660650600056505021100116660616616606066006", "06606011000000000110101100000000016060110601115001101066650560060000000000000000665061120550502260666610000000000254202200000000000000000000000012122101402025330000000011111001050005550121110012100606000000001111105600000000110066106011116065506001", "00000000550202020000000000000000000000000000000000000000000000000000000000000000000000000220205500000000055200000306330300000000000000003555304000000000305052440000000000000000020002220000000000000000000000000000000000000000000000000000000000000000", "01610000110606061061166000000000661660066605661010100606111220605660601111111001660606060660601106610000011600002204205010102656000000002111205010060565201016556060010100156605060006666066661060611112005160110010110060100106011010660660601111201665", "01000616110606060051601100000000060006660110101101020111210116002110106611111001001606160660601100610111011600005054040260605121000000002111205006566600201016556060010160100106060006660161000056000111005160110666000010600601111020600161002221160505", "06000161110606060026106600000000010001110660606606050666560661002110106666666006006101610110106600160666011600005020040260605121000000002111205001211100506061221010060610600601010001110616000021000666002610660111000010600601666050100616005556610202", "66006112000000006020120100000000130211121002105601061600445541100000000000000000065161020000000001066600000000000000000000000000000000000000000001222361000000000000000000610113000000000620016622110666000000002211066600000000006151115600016665510262", "60616112110606060011216100000000021101110600066611161506556061002110106666666006655060010660601100606600011600005204242460605121000000002111205011212156201016551010060600066011060006666616600612021001002610662221106610600601010161005560610006011150", "10001056660101011006056500000000650560066665501005066066122120605660601111111001011010660660601106101066066100002050030510102656000000005666502000066516201016556060010110060565060006660066061106660000005160115600011160100106660606062016066661100010", "56506111166016601120205666101160101616000005661600111066605060116601126111022060106605101060050620060666606162121060000111060510005200226011126011112161656556166101001016060506201616560162010106056610111006166660060066655620600101126651611106060056", "33322056600061101606156611616011600061060000600000056610212010666056502166055020601102016505516660006110112010650100000060010100606661012116660500606010111606061015060611000000606161111001106600111156666661600006600066606000206605050606060001021011", "66660610100016005060423200000606100110600100002101121260506161112121265600011060666660006101112206000060656606601610106600160006650556156566066012222160116210126001010000111160110100006604651000611000666666200011116012122101601061000100001000616111", "66656610202505656101612111161665066006110160062111011060000006001120060511011060166606660101101161032113066666001010106665600101001615166600106002122101020311115561020151020202211016666605600066506011000000100102110121201156001000600100601006066000", "66006100506162110060000055666112600001600011115666566621101020600666060000166006610201112110156610060665120116216000000011610601122212610060601105656506546661601100060006660610556560000000601011166011222221500006661660610011606000110001116106040565", "55506101606101111010364655666011601002606606600606060606006000115560020100100066610161211061066610060066021212110160601111000600220211016001630106600001650456050101000016050506666660002203116000166010111110000666660655565610600001120600016066060066", "34465122666061000100000055060000060600600000000600601611111026000506166622211055006066101161151016660666110006100000106001610611021312115661020210001660656660006162001105660600060600600000600010066610111221016660661060606021501001126062021206056665", "22111606110126016606511011010000110110000000010101220266465042111212116166611011660600006605601000006000556001610560000100150616655545161006050600100166110110010006061011111066000101016006061000001066666555165600010101010111066060065650602111021101", "61021112665656216616600661010121555660110061061101211100160016605660601116161056011600000610106660100101066600005660621135553222000000000000000016161056001016001010265606500611060001660660601166655010500162111016166560100106006101616000602161616021", "10056506000000001006006025050535212616551026006521000666010111000000000000000000060001660250502216056665000000000000000020500505000000000000000050610111000000005050324261010101000000000016016621202666000000006162021200000000610101211001206006160000", "60021201000000006001001000000000565161226051001256000111060666000000000052525042010006110000000061021112022200000000000020200505000000000000000020160666000000000000000016060606020005220061061156505111000000001615056500000000160606566006501001610000", "00000000000000000000000052020242000000000000000000000000000000000000000052525042000000000520205500000000022200000000000000400000000000000000000000000000000000002020453500000000020005220000000000000000000000000000000000000000000000000000000000000000", "00000000224242350000000000000000000000000000000000000000000000000000000025252035000000000000000000000000055500000000000004044404000000000000000000000000005052000000000000000000050002550000000000000000400523550000000000000000000000000000000000000000", "61616021000000000015660500000000066600000010160012111610066100000000000025252035121111600000000000261066055500000000000050500202000000000000000010001056000000000000000010611660050002551000100116056665000000002110106600000000121111605651612250606122", "50016211112121566010010661010121655650100101160060010010101006065660601116161056020110110610106612212060066600005660621152020424000000000000000010100156006061001010265616600060060001661600166066666006200615661616105660100106101001566061611260666610", "10012060665656210061061116060656610211126650611266060101666660015660601161616021060666000160601156516122011100005660621105553525000000000000000010060510001016006060512100160616010006116161602160616112500162110006651660100106066605000015660511021160", "01101066220202020660606600000000061010660601115001101066650560060000000000000000112016650000000060666610000000000000000000000000000000000000000012122101000000002050050511111001020442520656660012100606000000006666602124200505660011601066661065506001", "00000000004040330000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024244202000000000000000000000000002025005020020200000000050335250000000000000000300254220000000053500202000000000000000000000000", "06610000005550221120116016060606616202126016611066010101111110010660606661111201106006010000000011111001066100000112126165655606000000005666502060666610006061001060060606660000010221611026006510111160200615666001026012100606211015661112206011201160", "16666506225055200121110061010101121111605060612210010060121221010110101116666506166000600000000020160666066100000112126165655606000000005666502010056506006061001060060660600101010221611010060666616201200615660616005512100606121116100111000012111160", "61111201555055200656660061010101656666102010165560060010656556060110101116666506611000100000000050610111011600000665651665655606000000002111205060021201006061006010010110100606060556166060010111161506200615660161002265600101656661600666000065666610", "61201160000000001050650600000000640566651002105601061600445541100000000000000000012616050000000056566620000000000000000000000000000000000000000001222361000000000000000022312666000000000150061102160616000000000066563100000000556103610655561665565510", "60111160005250222100066661010101556061000011016660001001556651110110101116666506111615060000000060600621011600000665651665655606000000002111205061111201006061001060060621202666010221611106060612201006200615666060512112100606060111501060060606066600", "00610111222022506606010116060606016100221015060666006110211015660660606661111201606161120000000001121261066100000112126112122101000000005666502066506610001016001060060665565010010221616610026016001660500162110102216112100606100565060011216100101100", "11111056110606061221206011260606100015061606065660616112016100220110106611161506011060165660601100110166011600000665651600000000000000005052502011122060001061006565560665655606012001660016061601200166000660111100166060600101601111606111120106665000", "00160616000000006060512100000000601661101212210116150565601111600550502200000000666000600000000001000111000000000000000000000000000000000525000066506112005025002424420260021201000000001102116011611001000000000121110000000000100010010506606660111160", "00000000550202020000000000000000000000000000000000000000000000000220205500000000000000000000000000000000055200000224245200000000000000004404403000000000002052005353350500000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000220205555525402000000004220205500000000000000000000000000000000000000000400000000000000002052005353350500000000000000000000000000000000000000000000000020200505000000000000000000000000", "65506001110606062010165566510101106006010665651601022161060661000660601111161506600102125660601166600060011600000665651600000000000000005355502006066605006016001212210111006610065006111005650666006110000110660650061160600101110106060066061122101600", "66600060110606062120266611260606160016600566066600621102110101010660601111161506012111005660601106011150011600000665651600000000000000005500502011111006006016001212210100665616012001661126060601106016000660111061166060600101000110666000100110600601", "66600060110606062120266666510101160016600566066600621102110101010110106611161506012111005660601106011150011600000665651600000000000000005530502011111006001061006565560600665616065006111126060601106016000110661061166060600101000110666000100110600601", "22211066550202026101010100000000010006161110006060065010606006210000000000000000006656160000000001106016055200000224245200000000000000004222403000011061000000000000000065060060000000006660001000101150000000000116000000000000601001010111020066065106", "06101066660606066606060666065106100010561615056561021112066060112110106611161506211010665660601110666610211120502110156660605121000000000116000000011066001011001060060661111201010221616660001260510012000000006102111255200200160016601616105600011066", "16060656110101016665501011012601566062111101260121101566600212015660601166616201110016602110106600610611566650205660621110102656000000000661000016600060006066006010010110150606060556160001126100101600000000000666050022500500600100100116000016060606", "01000111550505052221106600000000100605105001621100066016100605650000000000000000500162110000000060010260000000000000000000000000000000000000000001160000000000002050050566605010020442522116050501110200000000006606510653500202666550101101060611100060", "61620212660606060102011166065106112606060111020065056006001606665660601111161506556061005660601106160055211120505660621110102656000000000116000050606122001011001060060600606600010221611101060666065106000000000060610005000002000660660162101101606011", "00066516110101010660106111012601606201010656660000610161010001112110106611161506100605105660601101101011566650202110156660605121000000000116000010100606006066006010010110012060060556165606610020061566000000002120266622200503121221015566511156000111", "06101066110101016606060611012601100010561615056561021112066060112110106611161506211010665660601110666610566650202110156660605121000000000116000000011066006066006010010161111201060556166660001260510012000000006102111222200503160016601616105600011066", "00000000000000000000000000000000000000000000000000000000000000004220205522252305000000003550502200000000000000004220235550503242000000000225000000000000000000000000000000000000000000000000000000000000000000000000000000400003000000000000000000000000", "00000000550505050000000000000000000000000000000000000000000000000000000055525402000000004220205500000000000000000000000000000000000000000552000000000000000000002050050500000000020442520000000000000000000000000000000033300404000000000000000000000000", "00606100110606066050602166065106611112011666650660620101111000100162101161616021160606560110601660006201553050200665651660600101000000002111205006101066001011000000000056516122010006110102216101011100020110110066561610600606001566050100061600160666", "60100101000000006610026000000000656556066606010100660611565051110000000025252035600600100000000066600010022200000000000020200505000000000000000011600510000000000000000011201665050002550506606610010060000000006600116000000000666162011111100100011261", "00160616000000001010265600000000106116601212210116150565601111600000000052525042111000100000000006000666055500000000000050500202000000000000000066506112000000000000000010056506020005226605661066166006000000000121110000000000100010010506606610666610", "10060515000000002100246600000000220330612313200016260654113130560000000000000000211100000000000010100656000000000000000000000000000000000000000055606302000000000000000006555611000000006106062156156016000000001221001000000000211625006465506510655426", "06610050000000001211611000000000001566204566411061616221206564050000000000000000466162010000000011060621000000000000000000000000000000000000000012361665000000000000000001123261000000003211166510501501000000001050150100000000011210666100111256011100", "00610161000000006060512100000000601661106565560661620212106666100254202200000000666000600220502501000111025200000000000000000000000000000000000011201665000000000000000060021201000000001102116011611001040220220656660000000000600060060201101160111160", "06606066660101011201001066065106011010116660501060616110211605050162101161616021660061600110601600066011505550200112126160600101000000005666502000261066001011000000000060611112010006112211266600601600020110111160051010600606112016656006001066060606", "60166110110606066600116011012601666000601000100106660500500162110615606661616021101506060660106155606100250020500665651660600101000000002111205006500611006066000000000000066516010006116506006000110166050660666010010660100101060661001010060610060060", "00000600616211226666661000212250000066100010610600606616666001020111010011622001211010566001020166606100121126100000106006610161201465640666500020000666100606001110006610001060212120601016066560066110111111602202360210156006060566062211050506001160", "01010111101606562016066500565621011101600050061100011001000606060060000100200065021101000010016010011001066650006660000111100066656111011120266561011101011111600661016100010001665051015661011110060506000000106505410550526122000110006616126111100066", "06510151600061106001116100101066106016000111110160606111001111602016146500666011656606000100162100100066611213010610000600060610026101126556660100100006001566050006061001111100111016062211106011021161000666060111200105046565100011020161061000666520", "16060666506162116661010100111160065600110026000606666000060000000006661600666001646565160665651610201156600111016000502066660621620060310606606610100000060600600160052111201000221015051110100001020101000666166061101220262645000001606061601060066620", "60160010200025600201001166666610660660061000066600100066006060006012136155600011000101010061000060666620200564051210106660620101056665666102121200666610006100110016000666565010566061110606606056050010000112510006500601021101011006060606000100022352", "01101610100016000006661066060101001060060660600066506516065010626001020100011000111001605661630156565021116005211100106010610061050566540101011100606000220116110010016606666066600202120606066666056010222221501000006001010111001666051016060606001150", "00101060110126110060061100101160056566060001000066606006665101020112126166511002056666006666601056666010221015161220106560520012106655050060601100606610110006106000001066666100011110101606066650060121111222511101160110161666111606061101061066611362", "66516101611061106000016011101665121116006161011201100111012001061606156611000010121120601212200111121160601112606560000111260065000002026566606060011100601001661606006012122001201616561211000021111056666556161110260066655620666001121101166611000516", "05660666110106065606610016060606060666001006006011001610066060660660606625030353560001112110106610161660011100000110101160600101000000000661000000610611000000006060010111611001010006116560010161111201005160111116600610100606100015066061611010166665", "11201160660601012116050561010101021211006061611001110000000110110110101104222022166665062110106660100106066600000660606610100606000000000661000060166110000000001010060606000666060001662210160000610611002610661001206010100606556651116660001210012060", "61616021000000000062110200000000066600000010160065666160011600000000000025252035121111600000000000516011022200000000000050500202000000000000000010001056000000000000000060166110020005226000600616056665000000005660601100000000121111602126165550606122", "50606122110106061202100116060606000112610111000006011150112011600660606603555055211120505660601166510101011100000110101160600101000000000116000000101150000000006060010101106016010006110100061616060656005160116000100160600101006061001120116056606211", "10600606000000006610026000000000656556066606010100660611565051110000000052525042600600100000000011100060055500000000000020200505000000000000000011600510000000000000000066506112050002550506606660060010000000001100661000000000111615066666600600066516", "26061655000000006625616500000000660656066666620112001521554151110000000000000000556566200000000011361056000000000000000000000000000000000000000001606531000000000000000006410002000000001506006051011122000000003210060600000000060504164540512120160464", "65466610000000005011036100000000646550600016016110602601666052600000000000000000601021010000000010001051000000000000000000000000000000000000000011611501000000000000000001516122000000006466600660161160000000001216661000000000210614056000620666054615", "01110000660601010650061161010101110016101000150666065106111615060110101100252055010161002110106600606620011100000110101160600101000000000661000006000166000000006060010100261066010006116101010110006006005160115560610010100606011212612110156601011102", "01020111110101011015060661010121600100100160601122112666060001660110106611111001000665160610106616600060000000000110101110600606000000000616000006066600001061002202002061006110060556161120116000066066005160115651612265600101111000602006156656505111", "16161056000000000062110200000000066600000010160065666160011600000000000055555005121111600000000000261066000000000550505500000000000000000000000010001056000000005050020210611660000000006000600661021112004520552110106600000000656666105651612220101655", "46405032000000006116600600000000001101616650611002106620665106210000000000000000650010010000000001615020000000000000000000000000000000000000000060065030000000000000000055156100000000000660101116655515000000005006601100000000220110662230115561611023", "62010010000000000605566400000000020160110661025011010621116310010000000000000000544650220000000060405621000000000000000000000000000000000000000002121122000000000000000001200111000000001656060104656066000000006001006000000000011122501130204562100121", "20160666660606060001101116060656101616651126060666001160061560660110106611111001111000650160601100112161000000000110101160100101000000000616000066600060001061002242405010600606010221610111000012212060005160111606060612100606600060216656562105066066", "10111160660606061000100161010121666000100100061110001056001601660110106611111001121006060610106616161056000000000110101110600606000000000616000016060656001061000222022201610000010221610120016661010101005160110061011112100606060666000650061106606066", "11006610660606060016061661010121112016651116600601112000050660660110106611111001060666050610106600621102000000000110101110600606000000000616000056606011001061000222022200066016010221611111100121261655005160116566661012100606021101111005650655665111", "55566011220202026101010100000000060001616660001060065010606006210000000000000000001121610000000001106016000000000000000000000000000000000000000000066016000000002050050565060060050335256660001000606620000000000116000053500202106006060111020011012601", "21160666606101110101010100161665001001601111200006060006606101226610010655655021010060100504566502206026011111000010000601000610655001622116140511201666066000016662026113016020101010600000000116056505000110110660060001020201200016560001010010100055", "60021101161566556666661055565022110110116061611111122051100564640001116122011000060506066001020166606100106656100660000106160166221665160666500000610000600101000100061010001060505151211016066561020212666001010100601610151506600660200000016156666021", "10056505016220020600015611000606646455656505606660600011111120601005641566611001106200611110160011111060556001611210106601620001501103600010016665666101100565160660000101111000660600000212111100001000111665150610115006066066066060600006061600610101", "01000010620211221010005511212156656660660565666601066026611213131006050666100006666161010111110110000600600120011100106000010160500211010121216666666101000666160060061100010000112026066112120160611012000666161111206066610060000100001100060660606112", "66011261001660060061001100010101021211111212200106066066066060006061020200066060011011000656651606061060111000060010601666660621301625556660000101100616010211012126005565056000060001610606000015045654000001606060601161616132021111116660601130202544", "10101060060660060101101266060000121211010000061006000160666060100011116066655011011600066564561660166016110006106000502060060620150506601100061001010011660001600011025601006110100101611666066026045564666111026060662060605121111010666062020230261543", "10150666506162111061006011101066122221601010166666066106606202120111010066055000610001110665651600101000111016061110601601060520150010460010106600066610066666101600015060006111061011610011110125046554000001000000060060615211211016560061001130101544", "00006006100016606000010000606516656566006000010000611601100615660606060600611011106106002120165612110006650661560000106010610061506651101006660606001060221016006061001112011610666566060100601061021111222116060500025110161666665060110025061550616222", "00011011112121561110206011012601102600650506606620160666010221610110106600000000000110660110106602011011566650200162101165655606000000000616000001112000202045556565560610111160010001110026106655606100200615660665651660100101106006010106662011060606", "00066066665656216660501011012601605100120201101150610111060556160660601100000000000660110110106605066066566650200162101112122101000000000161000006665000202002551212210160666610010001110051601122101600500162110112126160100101601001060601115066010101", "10060510112121560111200066065106660061106550600106160000000110610660601100000000010116000660601111060606211120500615606665655606000000000161000021202666500050221212210101121261060006660010160006101066200615666050602110600606016100221100161010150606", "11012601000000000101110000000000100060060660601111201160066010610000000000000000016210110550502222112666000000000523505500000000000000000000000006061600305052440000000010100156050005551010265600011066000000000100061600000000605100120016061606050666", "60100106665656211606065666065106011600000015660510060565601001060110106600000000656661600110106660010212211120500162101112122101000000000616000060006006205005556565560666600010010001116665501060065010500162111606065610600606161610566101010100516011", "00000000000000000000000000000000000000000000000000000000000000000220205500000000000000000220205500000000000000000254202200000000000000000525000000000000400043335353350500000000020002220000000000000000000000000000000000000000000000000000000000000000", "00011011665656211110206066065106102600650506606620160666010221610110106600000000000110660110106602011011211120500162101112122101000000000616000001112000205005556565560610111160010001110026106655606100500162110665651610600606106006010106662011060606", "00000000224242350000000000000000000000000000000000000000000000000550502200000000000000000000000000000000000000000000000053533505000000000252000000000000004000002424420200000000000000000000000000000000400523550000000000000000000000000000000000000000", "06160066600061100061100100606610100066060111100013121620611601016001020122111006101600566555561601101100660010600600205060510622151616560000160000000610660660061010015600056610616160201000000000611601111006065600010016151555010000005650611101006011", "06506011200025600010010011111160011111006566000000060600211016661065641655600011600001110101101110100666211666056650502210150606021112616600626066000161000111616001010001121100001010006060001160100200000112012200651001021101660112612111160166611101", "61101066510162110666660600606011006666106060602065665100656061000101010100666011101016660102110160606010600111012220106500010160554656326162112311022061006066200051061200600000106060600010000610060566000116016606010000066010110655206606006622201666", "01160606012660062005065666010101665060110161001106606160656060006111621000066000060000660001016000666010666000011120106512110066555041210060061101011000021100161200051016656506100000600062061100606000000006006001120106065166100665066006600610160606", "10011001066000006001001166050000601020611010006012212000021000100600106011111066025310222015046566000101016100226660000156000110101616541016066500065016211616600616016600100160660506061016105600000011555550100600006000001600001011660000001066666000", "06000101056660660102101111101066001000661010166613222610021600000001116111200005010101010665651600101000666061016660106156510022302515440606606600066610060600600610025660006111011016160606016001121201000666166600106000012660011121606650601056506021", "06000001660651160060061166666011660606000001000012211006610061110112126122100006116210011006050666000100506212136000106050620111156605550010106600606610111010600010016600000101566660101606066606600601666555265500125010161666001610665555501600066600", "60000006616211126600000611606610210006066000011055565111060111606656601166500012061506666062020102010111101615651010000616060060500000226061101210112050656556166651001211060506006161010110010610061566111221611116661666655620606050211111206122111060", "10066606012660066001010055000101606101120161061011001666110116010656060166600011000000066606610065655000660001606000000022160506100504156600016001611611645556106506010016160055660600000110010032303565666111026100011110100156066000606666660002620100", "61610022010110116556661111616610000060060606000100100160000060060011116000166066001001602212266033213565116066210660000150010110021101121110160660106200221016000001016050506642121210102016156500000001222006650661000100066010061606060111011000060600", "16101056066000503331105511202055100606006000611001101006020211120100601011611011100605060605660660610101011120006000601006000160656111016566516010011060010100100116061600001060455052124662030360605110000110010015600660621001010001000606166006160006", "66006100006110612211106600161160000606006016010060000006016211020111010011000000110116005660621134564222102616546660601106510002455062110606606606101160566161100110000610100246556560005661621260616100555666110006661660610011606000110001116100100010", "00060606161566050010100000010101601001101102106006505022641460656566000000011060000001110101101110100066600102012120205511160606101605551201002100666516060011510651000211111000210006660060000010102060000661060002116006066066000060000100611000510001", "01606610102566056001011166010101006210010061060016666600050566061666156066600001666001600001016010160066666000011100106012160516220014060060061160506621050466660560016110160606110006060006000021303666000001006061010111110260056666006666501061520101", "06666606061550651121116600111261010110111202060600666610101010600565050600622061000010006061011166065100560112610110106621150506055564061006660611500420656660006661010121201055666660005061021211202066666002616661010000010160666061016000620001621101", "11111000606101010000006000060505001661000000001001112160020210116160512166666021111666161025066611012660010101116600000066000100001101105601036111111060120210111125060556600011600101111111106060505021111220010125000066666610000000060666140006156006", "66001112000000006052100100000000132016106002120301516622615261320000000000000000545641000000000021213650000000000000000000000000000000000000000021002661000000000000000020660666000000005650061122160616000000005541011300000000054656112100266160010012", "21211655000000003120166500000000660103511666150610001006201606440000000000000000201036500000000061116206000000000000000000000000000000000000000006606016000000000000000054665000000000003226056506061650000000006015510600000000012221611212010655665116", "05555000000000005550520200000000005055200020005500200000000220020000000000000000505050420000000005050000000000000000000000000000000000000000000002222250000000000000000002022000000000005550520000005005000000000000052000000000000555250503550500500002", "66554630000000006505605600000000665546301222125656016302110016120000000000000000515161220000000004566600000000000000000000000000000000000000000051020313000000000000000002160616000000005455511102630111000000002066041600000000221606165655563110012040", "50621102000000000311002000000000111130560655561106645505500660160000000000000000312606540000000002621102000000000000000000000000000000000000000016060406000000000000000000016211000000002212360066060621000000000012135000000000006211500662106121101516", "01112002000000001261161000000000021231026566611266466521506041200000000000000000161660560000000033212656000000000000000000000000000000000000000010661410000000000000000006606261000000001211366060056021000000006500125100000000564262131102116201016620", "45666112000000000261061100000000131220100016016160655621464050320000000000000000106056060000000010001051000000000000000000000000000000000000000011611501000000000000000001516122000000006161102160666630000000006561116000000000065161001000150111001410", "26061655000000006602136200000000660656061111150612221006201126660000000000000000556566200000000066161006000000000000000000000000000000000000000006101246000000000000000021112555000000006506506526066655000000006060562100000000060504161015065450610313", "16060060156606665556501011101066005100010066661012202655230216016000611000600001660000660111110100666610011111002010205666600011600201600161612201011101011222512100066006666606116066061126060521261565000660160060001156505021111121500010006612111066", "01111160611061000100001100010101160016566506016005606011546450166566000000011060665060010101101100011101600102015600000011160606656455201026005465066160065066215601020000000001560001110666660055505111000111511116066606066066110006101666050065066000", "01006620066000000001106011000000501652210101101101011160010210012120156511111066222000160650660606060666066605001200601006000160106111511066041001111000012600650161061166000100100000601111116022112600000660066110011112123001656666066060061101606010", "60605020100016000001116011010606611001111211160660600000110220611111106011100006121110102006046544654111116005211100601060110266222231510060061111001510222616660060061110200245110201010101011101011000222006056000001011112060555060116061010101010111", "06061060000000606565661066161066000000061000006000006011061560650160601166566022660001016616626022111606001010666660000100600611606100205560626100066006666060101025006501610621566660101006050506060060666110121662106060616111122111601221020610001660", "00600001066000605556502100161066105216600666660010160666100666065060522100600011556001506016011122101606012112660610106606600001550061066001630160606111606312021116060600666520666660001015050510261666666000110651000155565610101010600010610601011060", "66666011056660666556661000161665606060100006000101100066110100600166562066500022001111600615606600066616600111011110106606060000100210665651621360100200011111602115050600606010006060001016060521202656000111110652001160610011001010600222030012011600", "11111000101606060000006000010202001661000000001001112160020210111610265611111056111666166052011111012660060606661100000011000600006606602106041611111060650560666652010256600011100606661111106060505021666550060125000011111160000000060666140006156006", "66600012665656216600616066510101111110066666602106610000222110660162101166666006110106060110601656665020061600000660606612122101000000000111000006656516001016001010060600101600065006116556501001101066255555001001006000000000005160116660006065655606", "32111665000000002066041600000000646550602211066660655621464050320000000000000000601021010000000010001051000000000000000000000000000000000000000066111251000000000000000001516122000000001311100110616610000000006016116000000000012616001222120111023162", "56660000000000006211111200000000026066206561116011113056051561550000000000000000664640210000000011210106000000000000000000000000000000000000000012111110000000000000000054656066000000006011111065001251000000006550602100000000066010661655641001266105", "55566011000000006101010100000000010006166660001010012060101001560000000022222002006656160000000001106016000000000220202200000000000000000000000000066016000000005050020265060060000000006660001000101150004520550661000000000000106006060666050066065106", "00106100112121560600016666510101001121610116000000106100110126010615606666666006102010560660106100601600016100000660606665655606000000000111000000606600006061001010060622211066065006111606065601066620525252441210060600000000001061006010010600610611", "00106100665656210600016666510101001121610116000000106100110126010162101166666006102010560110601600601600061600000660606612122101000000000111000000606600001016001010060622211066065006111606065601066620255555001210060600000000001061006010010600610611", "55665111112121566001026066510101011120006006001010111160211120500162101166666006101666650110601601000616061600000660606665655606000000000111000000665616006061001010060610201056065006110566066601160000555032221101060600000000100060066606060666605010", "12113660000000000016061100000000116050100561016160600606661550150000000000000000604201230000000065006201000000000000000000000000000000000000000011113001000000000000000056566620000000006111622165611160000000006566611200000000565111021050600111251665", "00610000061550650616105611101066011112606606610000210165464042221005641511066000500061210111110110066066200564050120106566620261602021600000160006000160010211010600016020161565111016061202100000160006000112615566600021202056666061115550611100011160", "06160066100016606051612211111066600101600111100066566011101120606001020111022000610202016555561600101066660062600650000260060620604166210111110000000610111606066060062160000111101111610605661001010112666666103220106566654020010000003236264566656610", "45466022610101110110000000606112160606000066662011112060010006100160601155655021166565061026005606600001010110116000601010000060101600502106651612122161660001602015066606000060566660100000006006600606111000566661000100011060602001016061612100016100", "01000010510162210110611066565621200614101106061001121160606060006666601066155006266514660001016010000600122120066100601000010160222011560060511112212160001600661000006000010000465051215666601106660600000111616001100166610060000100006051602110000060", "11110000260615660666660600101066606061000602124000666621102610660011116000611061601101000102110160606010666061012110000610160066056606106610115664544505006066206011026600600000321015650010000611100066000666265666502110161666066606065661011211101606", "21111666150566556566600000202156610203606601026100106106566052110606060622011060401163111101160060006100106656101110106600610001600221126011216065665006666060106001010011101066312625551110160601111166111111006606610010150606066660066606000001021111", "00606610056660666606600600111160606102016661026111110006566651110666060000666001560061100112126161620112100666061220000511110156650012610010106665666066066666101120015501011060221015050110000600066006000001003550512210162566656660003541523310101066", "56600101021110011110266011000000061600660105553600061600221126001211000066600011006060110016000016060066666000015560601106060000101605551160052123133102011222511666060116060600560001111061006006000000000006601000066611111160011000111000000066606000", "22023501100016600160061066666112000010011006166600600610000010010606060600666011006006102015046511202056102616540000106000260165006656156001110100161060556061000001016060160010111211010606500600101156222006650000000600011060162560640000016011022001", "00060000606101211111100000212156616161114002631200000060100006660060000100200065012111660102110110606610066650006000601066600011656111511605566565516010010100100666061110610600605050106660010166506621000110011016156610156006111110601061160066065100", "00010101611061006600626011000000052610550006661660620212560001006011020066600011664051230016000060600011600102012100000001010000601600206051002311011001061500566111010666666000560001110211101111201056000661066051612201011011000010006010610012112600", "60010111012660060616015611060606161616551110000606160606006660101221000666600001665060120666660660101000666000011600106012110066020016210101011121101666056600611220006550006211660001010202101121101666000001006263032366660510600000106116501011000606", "06055605065110610060051066616011006100111060160120150565100666101666156011000000060600666660610006066066110015100010106605660001106161010111110061100100131321016560010110101066101616661616005560606111666666101524055406006156665060011001306006060000", "10601500106126611150042055666011010110111006166000666610101010600655651022100066000010001101160011100066212615640110106606150006055546061110160660160100600101000606000011101606111110000405506560606020111005160615066500010160061661660660106066006200", "10000606110126611150041000606011101120601006160016050506100606101605040511066010665660110606606600000060211614051120205510150606206665166102121201201160000111616001010000101066001010001516605501101160000555156600010066606000666061006000010011012001", "11112061660651065611046100000101660660000000060660620201566101016012136166611011110100001120106000510011560103610060502150620111602012666660000100600611660660066061001106500601010100100301102200111150111112500060661001010111212616650001010101011611", "00060000101606561111100000565621616161114002631200000060100006660010000600500012012111660605660610606610011120001000106011100066121666266102211265516010060600600111016610610600102020606660010166506621000660061016156660621001111110601061160066065100", "66065016000000100606066600101160160016662100160026240464106556205660621100100006655660011221200166160066001062666160502160000010651600550565656612201066660556150060061160100200016160101111106611000000111110600010010012111111565060110110100010060606", "01022102065110610010026066616011001600666010610650620212600111601666156011000000010100116660610001011011110015100010106605660001106161010111110016600600131321016560010160606011101616666161002210101666666666106253022306006156112010066006401001010000", "12023602010110016010020011010606606660110000006661620111600111611006050611100006111116065661630111202066116005211120106510660511200016010101011106660600221120616000001060066021660506066160602106000066555556201100060666665010203506641000006000010000", "65054165011000106660601100161160000060101666050001010201601101001110060666066000101600662006046566505111050566550600106001200165605006100000610061006111545061011110006620001656606262121016166660006111222110660505666606050506604100130600100066060000", "65655006001660061060051011000101010100100000000100066000101000660021116655566022001011601614656500605010660001600660000101110166021110165661020260006110656660000102016021011666000101010506006660505641111001560615066600001600606101020660160055054206", "06060060111016006601020111000000600060100000060060616201660101601016050566655011111111600564550500415021100605060600205021260055126105206001020160606021066000011111015620511560060001610100101160616021000666060605650606061566111010600661100156065110", "01111100665101611110106055606011110000606011020006161666116006106650010211011060011006060101101100011001011111001100000065600101556642111100151016000666022111666506010060010101001010000061000110102050000000106264131311121250010100106106402011611601"]); G:=MatrixGroup<248,F|x,y>;