/* Th as 248 x 248 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,248,[ "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020", "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002"]); y:=CambridgeMatrix(1,F,248,[ "22122121000110222202101011111212021211020022100202022210100201022102010000021210011001202000202120121120020121121110002021002002001222022000102112210110002101210222222000221111102012002111001011210212021010112102010012020120102002210000001112020112", "01000222120121122211102102211200001211211210222112020011222122002010000002201221110020201100100202021220211102002221021112101110200222202021011202011121020112022220101102021112021102021222202211010220211222201102010021202011010222112010111010020112", "11201011021221000010121000111112011022220121102000211101021110120022102202100212112000220220010100000001011012122010012122200111121122021021001000200212210211002121012102021211212210210120000122211110000121020021222202002120011201221100102122210121", "02120210011102101221212212012202200001111111011021212222020022111022112011000022200021210212102010002210021102002101112111220220020122221200200221010121110111222020102021012210220021201210100120200102120210200222211102100012012112212110012212122111", "02222110000121202101210122212210101011221201122202201001120100211021122022001011102111120101222212221202200012011001020201001201021211101221000201110020220012220222102020021212221111022100101212122221222221210202002201221201200220201120102202001022", "11110120211101121112002200102222110200010112121011200020100201210211022220110222112212121020012210002102101010012122102120212110121100102201101010202010222122020021201002002211222020221221010112001120222210101100200211001212101020011111121202111211", "11022202101122111001100002221220020112200221222200110021011201200200210001001010001001102010120020220220021021202220000011120011121001012210012022001200120200221201201122002002001121020110222010000011101102102222020100122011221122222120110021211200", "22201011002020101111222201221202000002121221221121210122210022002200011012111120112112111210011200122221022212100222201001010221001120212112201120022221102122200221001110201011122201112011221000001122120001101010122002101012001211212000010020122001", "02212121000212100122222012122020221100012112101212222121110202102222222211000202220120101002121221102220100010021200021221122210110110102020200222021020120102110102011211222202122101012212111100111100012012111122201021202221011121200102101212102102", "21122022122011022000221002102101222221211021220000212110010012122000201121002011210010111110200001122102120002201121111002212110102001010010022221212112001122021201221202120122002202021022210201110200021201222221122020002122110012111002121020122112", "12000010221221022012020021212210001020021210200212012010220000102120212100210100022110022001100000121121221010221002101012010120010121100222200211210100212211002000100221222021001210101221111021111012222011200222021222112021221102011100121220011010", "20000112111210000121122220111221212220211122010201110202011021211011202101020211122121112001222102020220210100211002122110002200211112112021112201102200222010210102110000100022022002202220102200211011001122020222100000122100210001200121202120112100", "22202112021212111120112021011020212120111112211000020010200102212021122202202010201012200221220201201120220012002120110202120111020100022021211021101111100222002112111012000220110111102000212111001202111110000210000210021102100212220210200011021001", "20120200200111000110222112211212220121222021121210001021200011120202102122201202200210120020021220022022222021000001120200111011112022111120221000212011201001021222000122121210011002020122121020201120001020221011011210021000212110011201222222100201", "12222220021110020002101122120010222202221021120222120101000101112001210101222121022002012100000022211011120121002020211220002001022221221211020221002212222201111100220112211212010221112212212020110101012202012212221022002022111112020100002001002022", "22002102022201212001101012122022001210211012210201112002010200002110220001221101122002112122120011012101000110222202211200002221101022021221211110112021112222011000121210220100212021010220221122001022012011102122020201211121000002011010112220212122", "00221200002100101212002101210101212122001010110200100210222000022022211221110021211222100220120002222002101101010001011222201102011022112001101121220122011220011201120200002120021221012221110202101112020202001221222210110012022000000022220102101011", "11021111010001010012100211102111012212021202020111222020221202121220120100220010011010102101112201200122020010012222020000222000001220220202020100011010120120010222100012012101202021211011001022212000220110202010112022001022020201220220221222100100", "20111110111012221221011202120201202010201200201221122121120002101210211101222001000011112120021112222201201120212022010020200200001221110102221000221002200210111121022012122102020120111112012120220021022220201021222001200121112222022212122001101020", "20222000221211220210020210201212000102200021200202120021200012211202021120122121221211120002211011012120202011002012011020201200111202220121112210102112012221011002021111120120122102222110212000120210000200222001001021112120201121010220112120111122", "22111002121200220101100102210102020220112222101002211022011110002102101221110000220111111211201021202020111122200021000210202110010100002122211001220220212021202000120020000011101200112222010121202110002110010002012002222211020102202020020010102221", "12212222220220021002021200002221212021022021120202201100000001001111120110200000202011010102101102021221010000212001101210221010201002001001101110222222112211221011121121221221001102012100200212102222211000220020022120200112001111201112120102201211", "12000001122212222011010212200212102220112121022200101120110010211112002202001022202200011111101112111211002200111022021201012110211201121021211012101212210121112102211102221100111000020010201022100122111022011110010102112012100001200121111012112101", "02112111102222101000212012122002222221112001110221220212211012111120201201022022011111011020012222222121001010110212121002011110101011110212002010011120020201102002002111122021002101122211010102100120101222210200012001001110122110022101002021110000", "11120011020201100102002002021022122120112111102102010221010222002211100001100101012011221101010100100101201111201212120201002021010211220000012121022120110220102201221202221221200100220102002200201222112100201102012112011010222111110211111222200122", "11102021120022001011211220001020220100111000001022120120010112212110020111222111100012220212212121020010012202222101110200022100201000021201201222000112220100111000010110100222222111220101201201011222211121010111112221022121022211221021022000011101", "10211220102201001000110210112101222020020200100200201211212102210110212200121022012101120000002000022011220120212220212021002211010002100120022011102021211120221011000201101122000122020110001010110101000200010120022212200210110111212100022112221120", "10010002202010120111102010000211220021222110120001220102111011222202112212020101012202211212100110200212020212120020011010100010000110022110211210111222221022020100210121211212011120011022020022010202011012221220100122122111012222111222201201210202", "12112100112212112001020122110221010101020000221201020012211120200112220102222001121111002212201012211021011110220120002211122010200222101001010121000121200211012110120002111110022110002002022110002021221122210000122222012021101102120101212010010201", "01020101120111200202111112121222121201110111222012220100211201011012220122001222111022120021012210111201222202001101111001220222110212210201010110112010112100012201201012200100121201211200000112011000121011001221112122220101220101122211211112000002", "01102001222011200200100002010020100121112010210212112200010221222200010121222001121212122221222110020222000001211002012202110220002200012020012120212220101120222122212222101222111211112021021212020102200010001211120022000222201202100001111212122221", "22101121220200121122000210011122022100020100122212201201011222100022121001121202001101002201220011000022102210111210221012221022202211200222112202022211000000002012202021122000111222211122221120111002210102212221100212120111111102000120122101022122", "02112122200220121221210002021101001011112112012100022022021221020201020002121200211000022200120021200221000100011202111211122212012200000121101010202000221221110021122101100122021010200122202202220020210100212200020021102121102202202012212022011210", "11100010221112200000010022110012221102011020021112212122121210102021212212020011001200210122200220002101200210110221222012222212101002010020010022022021212220001210120222001122212020002011011221010200020110112202002210121020110010102000000112120100", "02111212020212010010202002212200011202200002122220100121120022201021001221012001020212020200210121112212022202210210120021221000002100200101221002202010221100120201200200110111120020102210102220121122001001211101012101201211100122010010021220100212", "12221121211012200200122020000220020111220101200020111210221111000121202101201212221222101000110212110022112020202012211112212212020112000211022101210111221102101221011002020101000001000010122002000102001120201000101002212111220220122101021002101021", "22010212002000222000200200100111200212211222021021212022002010102010121122002121001012220200001021222001122201202220212000100022120101111211101202000100202022120100020212121202102211202012211222111221202212002210112002120200001201000011122101020020", "21221201101210121021112011101121202102102012022020211111012021002102222011011210210101001221122000001201201100002021000122001011002121121001102000201110021212020102222212000100000210102201222102112020221111000201001100112122020211101201001102212210", "02122122121202210202220122020102222020012011210221101020100100012100102101210020220111212021210102200100212111012001222220120112001102021012011111221110011220122121211202210112012020001221212200001102222201020011122212101020101112011020202111120202", "01100021112100211100222011011012110220112002011201200121110222121022010122010101001012222010222122121022022110021102022200011002001111012002011020000212002222101111022202001202012001020200220010102110110022111202000111000212112200121202112111120101", "01020210201222011102220221001001120121010220100101011111202222110121021010210111121010210121111021011201021112202211121222100102211101210102100000222110122121112012220211100101101201212212212200100020201022001112220020002222100012012212000211202022", "01201101002220000110212100000111201021200212020200201021100102120211002000000020220221221012010212001021122120021110011010220120111022111121011100110212200001111112121200002001210200222010102022212121221121001000102211000021100011011111212002021201", "01221122222102221111101202220200112010012002021001212010102002020100120212212020200010101222200100001220012120012202010221021201120012001200222110000021102211021002101110210010211001021111101121210221121022020000010010102021012211101122221202200121", "21112001120200001012101101001111202221221221211222120220120021212221112222222120221021201112010212002100111010202120021102011201222222110221201221112102201211220012101110122012112222210222120120010121221011002022022122021121201220012000001111101020", "02122020202011102000201211120221122210000001112222222020012021101011201000122121121122220220201022011200022012220111121222122220011210002101201000012012110101222000021100121202210221122021110021010201122011021020001001110020020112202222210010200002", "00122120210201122122221201210100100220101211201020020112001222011200111222220222022102221110122111110221220020201012201021111110002011210120021021201111222012111020110212220221020010211001000212001200000220100222122210000200000022202010211021220110", "11100212122122201000022201120202112221010012210210201220210021220000120012112202021002012100112221020201022210020201021001200001111220112011112201101202220020211121212000010021102021120020020210201111222122011210122211100020021201111202121002121120", "01202002022210200202002212211222120200222221100222121102021001221110222010110002011000211020012020000221211110210201001111121000122221010002220010020122000000102200111201122110010221001211221011200222200121110202002212100012221102001222021020020002", "00201120102212000201001112122110222111102122200120012122111021012212110220120001001010201220112202000110120212111220000212020100001211001012021210101000012112200000211122000022210001202211010100011222021020022121200000221210222022102111121122121010", "21120101012001022222222002111111211120222121111221010011102112010100020121020110212111012120210221120120001121221021202201201020002012202122011102112121120022121100112211211012022222111221101122221100020202020012021020101201010222102011002022121201", "21202212101202212212210022020100010212020120121222122100100001111020222112222201210211011100122201220112121021220222121012102212121200010212102221011022221120020210200010101111212211112011122112101200020100022120112010221100012201100102100212100122", "21002201102022212211111110120101021220101202200102112211002002220222101102021001201020102221102112112000102110102011222012100200020210100210120211122222000011200021021220002222221111020211222221110202120122222022110011102221122200211212001211001102", "11000002010211110102220021211211022120020122210222201202222212220110120021022021011000012111120020222022200211020021220022211101110121102120102010011101101000020020000001120012212220000220201022221221202212121210222112201021220012202012202220210022", "01000221000202101010000022212211212020121020010011222012211112112010112202012021000202200001002010011020111202210200121011111120110221110212101022210122221221202010010022122022110011020002001110120212102222211211120022101100000100221101121122012212", "02022100012011220010212210122021110220200021110222011012220110000100111010020002222200121122102100100000121121102101101221202012102202012122202200011011211020212001222201022211021101211202212222012220002001121100110210110122211201100111101200221202", "10100010220212100000210211112201101220201222100222100202121200011210221000100021020201022112211000001112100200011021112200112201002010011112001021120212120112111100112121210022122000111011120110001010210122221110001122022021011101021200101222022201", "02210202211121112120122000022121000002122202202111102000010012120210102210210202022201001110022202100210110220200212000121221201021121001121212222021121201200012120220100111211121201110001012000001201201221202001122011020011122221212121111221000010", "02001212020010221220120020000021110210202111212102000011011210201200220111012222112001220010202000010000012202111101000002202010212110100120010122011001202122211121120001111221221010110222012122101120120021122100011121012221201122011100001110211211", "10001100220201110110210022112221101002202100100022210101021022121210221021100120022222020100001020001002100010010122111202122010101210000011222210121021022222121022201112022220000001020000221202011101121001202200112010210020010110102022222220202001", "11122211220020120111120220010122210102221210112010100112111201221221222120000020101000200101210221201111110000101202101100111100012112020011020101110222202002210102000020200010221011111102202021100102211110220102020202212221010111022112220022100101", "21001021221000210200211201111022021002220011122112010100112001010011021111012000210212112101112110212221211122011112211000000001220120022111010000212221122000011221222000211010111022011202212020100202020111222011121000000000012220212202011200102211", "02010120120120211002201202002101120011021201200020102011120012101110111020212122202102012021001221120111201121222001020222210121110220011021122002110022100120122202202111021211220010202020202202002012002101020020100222010122011020100220111212100000", "02002010020220201002121012212102211210121221202022011120121122222010122021212122221221022221100101121120012210222111200001002000000211120022022120212022220201112201101111202020202201020211122110200121020210002101000112002012120102002201222221010012", "22212121111201200122002200221121120212120120210201202220120122220020000100200020212122110221012202002101212201001200222000111220210000212010210201200022220000100011220022200220010210102011222110221220111222202221222000122111122020010122211220122022", "02000221211022001122000010101011122101202210110222020001021110212010110100200101102221022002021000122122211101100012010001202120212112110210000000101201110001020002012211002100102200100000011122000211000010121111210002200220020101110102022200121020", "20001111210111110200110210122012202221001101111021020200201111212221022112201200010001001200222111021001020001110112002221112011200221002200122000222222200022121110202110222000212212012001022011000001200122100012000120220100220020112111202102221001", "11212200120000002111000201020211011100021122111002010200200120102222101202121112210201212211002011220220020202200220111010222022120021102210100021212212120111012001100212102110122122102021001202122022110122220122111011022212000022021000120200222111", "01221112011011220212220101121201211221102110101211012010212011212221202021101212221211020010010101120211210012012100210122110100120000110000012012120222210111101120212020001021102021201022101012020221111222112100101001201212201210110221222022200100", "10122212222001200200002122201121120001000110020120122110120111001111111111112021201000002011111101022122120020221200002110022221221220010021201121021002120110210110221110012121021201000110022022100102010000001221210200012201100021021101110120212011", "02121201202211021210112102100220012001212112021220101010200011022012210222121112212221022220120000020021221120010020021200000002212221011021002201101212000221011102100000120000200102121111002101101220220220221202002101101212222021202122220112212212", "00221122100220212220120110120112020221002122010200022011100101221101010220220020110020111012012122112220000112102212222120122202010001012110111002202121011112200120212110110202211201112200210102202021001020112210222221020020020210122000212202021110", "00122001020212200210101102110111211000010201220210120101212121002210001120101120001101221222201210110211101211012011120012012110122110222221010211211011022112002202220201122102212211201122122121012202002100020001022122002120121212101201220201201100", "11002221011100012212221110102211100011120202120121102000121220020112222112121211212201020200101020212122022200100011210111011222101112012122011112211210002211110101110102200200122011212101001011022200200110210222020002010112200002220100102011011121", "21201102212022011011122111112002120010120011011212212201212011021102012020012201101020010022022112222102111110211221120001201002100012002201220101100110120001112011212220222121021101201001202202211110002021210211002201002101221221121020112122111102", "01022201202001112200011222120220221121022201002122020202022212212200212201020220002122011121122222001001010021222001201020012011210021222100011110200222001121202220222122121201020112020101211211201211102222021221200020011021120212212212112012200011", "11211012121101112110201000021021211210010120100020012101122202012020202100012102111020211101220222221010211110200220102000020000012121210122102021200112120201112022000021200212200101010200120220020210010021000022112000102101220212100202211021112211", "01002221211120121020221111010212021002220012221202212112222002021020210020211220221120010010021222220222111101201220020012212112201220110210101010101102120220211221102202012011222211210121122202011001022110222200212212012112022210110102101102211120", "01020212112012221001011022121111211100011100021111212100012202212220021121212200212200101111210120221211200110212212221012200211101010220011020220210111000110112002222011121210222121210110022210110020102220220221022101202200022122012202021201212220", "10021211011221120022021010121102002210112001010221001021222001000020210020200102021001012011102110011101010210221201102221000020210001202012100111212211020112211220211101111112120102002000120010211002221122120011102121022021212111122001110121211001", "22001110220221211120002000101201222022221202120020101001122012112021000200121212101210001221120000102002212011212210120022101111202012210221010210222021102022012221221112221200001200211220202022001220102010111211010022020101200211112201200112212201", "12202112120112111111101212011112210201012110102101200201121120121112202201001020212010110202220121222110022000021020111000122101102111000211121221010102221202010112211000020201101002211012102121221210211011022012222022010222210102010102101002022122", "22212101122222220201212022200202120100102102021010121010020122111112002011112100211001102102112210102202221002200210020200212102100000221212010200111201121211102122210211221202020020210011101100101002220210000101001012221021111221201110102021200200", "00102212011011120200121211021121000100122102111211122201112111210211200102122222002201110010211110011210120020020201002122002200200212121112001101212101120122220010002201012102210100111212200020222101011101202212211010211000201012100212202110112012", "10022201100202102210021210200101111221022111210000000202021021210002001000010210101111112001011000021211121101212102110202202222020212000022101121200021121111222021021122012002220121001101000012201220120101110212201001222022020000101010210112200122", "12111200111112002010022201011020212021002201201110111102111110010202102021102120000112012000021101211021122011120220010022222002211112110100012210200012100212222122002012020000120001000022002122010211111010201001111202022201110110020201010210120112", "11222001120211121211122011210102022010020122102102111000000210012202011020210000121121110011002200012201100012010102102001212100212111122210222020022211100120220212220020121121111212220120221100101021001100102101222200012212202102120202102112010000", "12012021121012200221121022120122010212201200022211112110100120011001020010011222101121210122101111221000022011120022120210002212220222220212221221221111122212022010222112121100110120010022110222100011021220102001022021021212002002021000001201021022", "11020220021202212112010100110000222001200211110012101212210111110021212110221222101121212212122100012120111212020211210201011111100020021222222101012011102012122002001102222022211022021212001020212122100102120200110210102122201201222100121012010121", "12010122212201222102112022001101200121110212221211222120112122000000111121222201212120021110101120222111212222210111202001112221000001211000010002120122210022012212201100200121212202120012120112202202002000110120202011002101111211212011212202001022", "02210221122000222202021020100221200000111202022102122012210111021210012100111122211021000111201002012000102221211000022111201102000122202010220200021111220002102201210000101111110121120200201122111112210102001111211001212002201220001000110222100221", "21121021120212022021110012222220210122212002211202120101112010202101002020112221210221010100100221220211101000222210112101121121100011120021010010021011201112011201200201020121102010012021001022010100200010212110222010201220010110220020120021201102", "20212011011110112100010112101120120222121221012011020201100201021222020201022112210200012000120111111012221100201111012211202012121001102122211100111021102020010220202201122110102120220202221111110220100011020022010210220000000000001222001212110111", "11212012122102210020221201002201211010012002002222012120202200212112122220222222112200000102111001020021001101022000020211010110101000012110222221121210201220020001021100112100121112010011111210021101011012001220220221210011120021112010010110110100", "10022111122102001002220002122211221021110102021122021002212112012112011122002212021222121012020222020110012012201101211011111212102010000110121010100022002101211101022120020020022220120210010110011021001101120122012210120122011011002200000022022220", "11122222122020100012101201120110000012112200000002012100000210002022200022221111210001010110002010101111011000001220011000111221211211001001121020110222211220101120122220000211011021020112122200220011122121221220002121001022020012112202001001012002", "02010120101212221100021220201100121122002222101201010222001101121100011210100212121000221212122110020000002211201212221102100200121102221100220022111220111002211112012222202202002221111112010000100011211112222221212012201212020012121011212001101121", "11010212202221021002010001011101112102202100212200120212221000200112212112022011202100022120112000121122110110002220122202020220122111011021210100210222012020020101020001210122102212211120011200012110201000020001012200112121210200201020120222002121", "02011022200001200111102200022102220101022202100220110212102002221122012220000100112210200212021020002211020010111220200200222212120222211210001121101210212201010212001220201001201002101011002011101120122010120000120102011222201120212102022102200121", "00110120112211211200102001202110100002000222011111112210011121021111210202222201021102220122221212022121012110022111200001022221020102221210120210222110220200200021112012211102100200010101022201122100200022002211122222002001220120210222222222110211", "02102110111110210022021212102221110020122001010202002202221111021120022212021120101211000021011210212112112011001212120010201011102110012010011211102202012212112220222002012111202012220010111222021001121112211021221112100102210222001212121200120022", "00102002221111100010120112011002111011002011012102111102121000100002001101010112111111220012001122011200201011110022112210010021011121011220201100100021210221222212021020101002100211010212121021002122202221010202120202122001202101022012202020010120", "12102222002122112012122000012200012112000220122011222110001022200100111021010112122111010220221011100010121222111100021200112021012202100102112002100121000000022011111111211021110121122021211200220101111222111111100110211210202102002222020020120221", "00120101011221122100112111112221101122210110210221000112102112220002101002120121112212001210220201102100011001021210001010012011122020021200102011122112221201002201111011000222112002101021210120121020122201022020110200102100000102011220212011012220", "11020120002101012120221211101211002111200111010020221010110211111012100010220202020011010120112011100100211102201002002111100001202111100121122011102010202122210100201121111001100001201212212121201200200021221101102211002221110011211102022012110112", "12121201110012002210221010022211220201002022122112222102221210102202122210220002211221220021011220002112022011100220022002021120012102201002102111210002111121201022101021202202100202221110102222001020110102112112120011222121210002001220212110022110", "11011122020020220201210211011101220120211200102211102210201212120221122212001120201201020122122001000211221012000111222212010200020012000212210000001020200021021122122222100110110102221112111200002221111210012010011011212210000111110001122021222010", "11020212121001002022111101201211121021200100222121020000011212102022201101011200000211122121001122020200221211010010221211120111102120212111220002100222201021200100212122201011121102121200212112002112101101221201012120101220022111001211101121020011", "12120012210222022121012212002120111010012122112100222002010000120221111110010102012102121212100000000012200110021100111200010110101020002112211002220002001001112121221011001112112000100021011111022010110002201010122221100120020022011000211011020111", "21210100011011022021100002212012221000212022021001000122011212011221211011122202100022121201002111222222221110001022210221221212222102121020110102010200002020200221110002100110202200202201122100201202220122100102001222120122201002100112212010000100", "12112102021121002020111101111121200112200202000122020022221002202002210212011220112210200210212111122002211211211012010121002010120001111020112102021211100112001222010012011210202110120202220022101102110022121002201121120212122212000220200102121200", "10110002210102102020202202200222221112211222122021002100212010202011011122221121000000021102212012001220101112120102200101102021010122222121121222121022021021001011002012112220110101101021222022111000202022001200002001010020220011022112210122101100", "01200000122020211001212011100120101101010201210122021221112111000112112202212112200201001020211122222022110221002120122011122112000201112222110020022222211220101100001202020001200010210012112122022201010221100120002202120202120210121120020212202010", "22202122111221020021011222102221222021122000211021212211120010212122101002221121110121110121102200120110112201120102220120202102000220010210212210002212121112202220001101202101200121122011011021000112102211200110220012011012010210121202210112001220", "02220122202221120210212222222122000101002022022210112101011121101221011211111002222220100001001112220222211201001120101212221201111221010101120212110212112010022211120110111102201210021102211212221222011021201111112022000102220211022102222202011202", "00012010022012122020001210020201012211210122100122001111210102221001112220001010210221012000221120211002122211200212102011100210210120110102222211011211120202212200200221110002000112100121022012221011200220101121111202111201100200120021111011102001", "21120120222120012120210112112222110210200112012202201011000202011200002012100020201200001001002112212222210121102222120010211011221220122202010120200210210121211022120221201021001011200121220002121111210222112021122021011000021101121212222112022201", "02122020112000020120110002220100022102011122222110022112011021022001002101202012222020011010111100210200221020210120012212111020011212021221020010202120210101022112011122220101210121211021212112000202112220100110101000021220122112122102220000221120", "10102020001221201021102111200011012100200021122010201122211221211121021102212122010200210020012101201110210221002121012202010100100112100021120012011102100220112111000221101012120102101001010201122212010020222002100222101121010202000011002210100210", "20122011200011021202020000211201202221221221200110212012111111122001211122021020202101211120220000111022101221001122111121101200201222020221002121100120102210010021012012102200122002000210202222020122221211202212121122101102101000010221221100021001", "01020210010222122212212220221001200221111212221200002110201200222101022010220102000012000222222201012211121000100111112102112000021120122201210111110110211121001001011210201210112111121111011211221022221122010121122001221110100210211100220011210020", "01122111110122000112122022121002222122121020002021111112120122122221122101201121021101121020121122012110011200200201221202200012012012221002202101001102212022102012211200001111200221202211111022111022001202102200200110020001121012012020020100211220", "00201202000110210220211020001022210102200021021101220102122121112001100212011222102002001110122222020001100221012022202201001000122102100001101011202120212101112200100012000002202122011221021122112102110120021120100001011002010222011100010100222102", "10021211012200002010000002021122112102220021012201001222221221021221202012002102021211221011101010021020100110012201122001002112000002010002100020121111120210112211212202112010200201001121120012120201102122220021102201002012121210010201102220221102", "11100222210001210101002101012100222200002111210011212012111122022110212221210000110010211122221212200000201211210222221222110202221002101102111002100200021220002120002002201200111212210121011120210012000220201001020211110111121202012100020111112010", "10011000012220010010020101102111100222122011101020112012211220101111101112000000122122220220102201102220201022002101011220012022001112021112001010100212100122201022001012100101102200020011020112211111201202210110020212211102202201202002000012020200", "01012112202022102010202020002111212011110002022011000000102222020200202221100102022100202121102020200201000222100220200010012120221212100012200100122021111010110211111110011122121022112212010210200012121121100202111021122012010000222010200021121001", "21012122111011100002101100200200120020022102110211012022110020222021111110110220212122120222020222102111202221000100210102011201011222002020010011221110221122001101002002000201101000012222202221001112100011100211022121222201222111102100001002200021", "12001102012201102122200210212122202221121021122011201122211010010121210210010120112002211212110000000021210210101211120222012110021111111100221221110001002211110122211010121211022011221201102002212011121221121221022111011011002110202200020201102201", "00210102221221012101122012010102210010220021000122111012221010220101202001210101210022001121010121200020012000210112022022110212011200101012101101101110211212102221001001020200022202210020110121211222121022102100001211221010101122201221100221021112", "22011001200121101100210001002002020000002221010200012101112021210010222220210001202222021111010221021100000111000101122012110211122020120002100200102210122121120020222201121220212100101000100120001102022201122201022010211012101001102000112012200121", "00012202112002011200110010021100221211111202202210201110200121020010222102100221100010112022212011011000210202120011002222100022200212220011221012122112221211102012001210011010002221120011220210022212101011202212110212001002121210121021010022101111", "10010122102112011101022011222011222202101111222010210110212121101212000022000011122102102111210100201012201200100111020122121222110210102112012200000001202202020220222120101122002122012002000110211020000002012112112020200200200002020112221022000201", "20220022120201210200111200110201111211202201020000122020201111220020102212222220210120002212210020120102120021100220202112010211010022022200201010121112022201011222111020212200211022000201002101201210122102201201220121220000220010002010202022000011", "01120120221022011222100122020110200221200210220022110201022211000110220202222002221222100221001210121220212101000012010002112011210210120221201101222020222120202100010011120120222201212011200221201012021110012200101120210010122010022100002220120011", "10210002112010221220111101021210010111022101112101002100020011211012212022112102012102021222122020211000112110202022221001102021022001221211201020010002022121020100202011221110101000010100000122211202100021220211221002200210100112111120002011011020", "22210112101222111112211021200212021022022201221001121200200010100021111220200021102020211001100021001100022002012220101211211201102202122001020212101101120210210020211001222201221101101120102010011020021101220022100010101201212102220220122021002011", "10100112210211011211021111111000212212211101120222220101211201101110201010221101220111102121202222220211112220022212111200101202002202102222222122122022122221212101001121201202120121202012111121202222202120011112022221201200110120211121000212001100", "01020001101102201212210101102002221010021202121101020200000021221010001202221220012100011011202101100212212102111011001202001012020212012221200010002012222210202111211021222002200200201212202000121010112001021020120112212002100110211220212010202110", "10112201021020001021101210110112222101012212211010211110222212012122111112011121011210022201010122212022202222221200102221100210202221122000220011220012201011210011021002021110020202101101102022102112000202020200222112022002222111210120110110000011", "20110101121122101012000002102120121111122220020100022120101210101212212122102202111101021212221222110212000102100102022011212220002001112112121111202111012102012100201110101001221200022022111020201010110012211022112222200002012102211020100220012120", "02122200011200012122012211121100022102101020110111220022021210001212101210010220220000222010210100120101202200012122022100201021021001201220022002112221121011002211120221002212220211112222102000122210020100002220211110122201022102212021222121021001", "12101102110210001221210212000010200120011201102011100101122122110200002200020222011201000020000021022012201000220022011202101200012012122222100012020211220202221112220120101202011012022110110201122211001120020101211012221012101010102101112200102210", "02200201201022212022201210100121021201021221222120110111212011122102002221222001000000021211122122111211001012211000122222101011200010011101202212221101102202020202101200111011101121012200211010110121010110002210012012201200021202002112122101110221", "21011010220100221100102200111002020020000102022210101220222121010000102201200110110020111220222021212011221122000110012120222021102222101200001202112021211211110211012202120012221201110221102221101201202211222222002122121010120222101112002011221002", "01001001020211110202202120210122202010121112122201100112210122102010111202100212121020211002101220022112202101102012221212020221200020021000211112002111000011222012201021210022121200212122110122012011222020000101102211100020220220220020102122020210", "12112020202012112020110201102202110200000110200002212001221020202211010121021220102000222020200101002220021202011112202111012001001021022010111221122110211221102100112102002020011011121101222210011121002200121100001212121110110222000212100201020220", "01010201211010100221012011100102020022021210100200001111211212200102122120201211201001211121021002120221121102111010002222002220221221011012000012122101211210212001201110012010220221111021200002010011211212221112202112002201100121221211201001101011", "11212010010201111012021210222111101000100102022201222221122110100022122111102202000002212222021210212212120200120010122102222111202100000211201000112011101102012122112022111202111012020212202000012210212211001102000222211200122112201112021202111202", "20222220201021222200020001110011210110202220000211021212211020221001001121011002120001010020120000022201111110021021220202010210112011202121222121021002222021200220020000112102111201102210221022010000201022110010111021020121212110121110021010201102", "21000012120120002002121101220200210120112000112212100122021120120200000210110011120102002100212202200212110121102001010022020210101100100121202112000100202012210100000101000212010000210010220220221111221101222220222021022012221111022220002020112210", "01201220211210101202211010201001022220221021112221201102010221211111210201012202220011002121000001000100102002011000110111211102222212110100120012120211201002211202202000020202022102102210011021101221120222010022210000000121110000020100022220011022", "21122001000110101112221022122212121202010022022100220112122122211201222120102220001111020110000120200021120210001202022120222200221222212211102120101211212002002021102122202012010211001011011021100100122000000111021202011112112012212102212110101201", "00102012101012112012221110001122211121012022022101210021111112200102222121211022111012201011002011001010000011010020211112020121101221210210101012020121120110201202121111010110121122022020200211020010221200112202112010001211200010110201122220101011", "10111122020001121101020100100012201201220000122012011111211021021120220102220000202022202220211220111002001000011202011002102002012001211200202211010120222200202100212101200100002222010112010121221201202220012121222001210000101120010212000020102111", "10021202121010110122012012201120002110102202011201021022022212220212202021010122101112012221002122220011001010121021122001011110112002011111100200010122011022121100202022021222122012102010100100121001120012211100101020121120220022122111001221202121", "12200220020122201101100100110201121121111020021211022012221111112110111221010221111200210110212211110212002200022001021111002101010111012112200001220220210000020120211201022102100001121200101212122112012001101212221000001021121021210010212010211001", "01222211211201100202021202122122222122121200011012201022012122020220121000002201122010222100001011110211110210011201102021021222221021220121000220202211001212221200221202212010211111121200210022111210221120111222201101022111210201021110202000202200", "00100102010002021102120202022211022210101121221120220200000021010012121211200001012110122110120012112120212202202010022122221020120012011121112221220101201002010001212102000010202211221102220022221211012211020111010210101201201110222121121121022021", "22202212121001211112002021201111220110110222011021102100022200022202122002101221002001210222021220111212100001122020121020222121020222022012221122200012121011121210101022020110201221220120210022002222111200102022101100012122010101111120210121222102", "00212202010011112102102011110101010012012012002111101200120021011111211121001121110120122021200122022101111102222120111120200112012200111220100221122112022120120202100200210220211120121122112201202200201202210010210011101200102110220102100122101110", "12002002220112121010222102220201220220102001011000112020101112120110100210221112220120002011102011110101210211222011101121020212210222202102222022101122201201211101121020120001202012102101112001012010120202020112100121122120111100212122110211202121", "22202021222012022021222212200201111202012112210010112220220012102201212100211022002000222220201222012221001021020101122111122000200202110201221111222100200001001111021121202221112201021200012111002112212012021211122011221000121012211022110211211111", "12122120000221001211002212112221010102220011221100012210020001001221210200000102211220112120011110021200210102122212020020110201121021112100222212000100110100201120111000212221011021111120112111212112021210210201121021121111212200000221121222101221", "10221102002120201020000000222121112211002121110021011200100101100022122222012102110002211120022010111100111011102200100222021111100101000022101110021011101010001122021110101112000000001100221012020011112112211200010012020020202111202201020122110020", "12122102220201221202220001100101221102210200020210120011001201210100001100121011222210121212100201212222022022022002021200022200220012202101200222100112110100021000002020001211221210100212110002120001011211212201001012221201021112010121102221002122", "20200210211211120010210101222011011220001220112211012012012102010101011002211010021020111110201011122110211022101000002100221121102200111210201012002020211112001200020021121202100111100201010201110022000012222120212102202210222000202001200010011101", "01221000212200120201012022010020110010210111222122121001201122112022112012122101120122200222120211120022110211020021220202210110111122221000002220100201120211121222001220010022210222120002000002221102121101100021001222121102111002102020022201201210", "21212122120011010212110200222010101220102222101111122101010120012101212202022222000210100011200012201000210012212220002002022100112200202121200200110002112110220212012020112022010100211111002220022010000001122020010112200120202102002211002100122121", "01212110200201220111200211121110122022210202000111020012221022002011120000022121001020200121221020211110010110020000122220220001122000020111002221112010100222021220100122011021221000011110010210022212201202012122101011112201112212010112211012102012", "01000001100002000212201100020000221001111210102202001002120200012211010021011112202121211211010021100111002200202210011210121010110221102120221020122111022010211201222222101020022111010122012102221100102102012121001000211222221022121210000121221002", "21122022211110212022101220201222010121002222202210000200000100122210010011212012101010021221222220000211021012201001112112002221210120012120102122120000202100112211210202000111120210010001020122201222021220002120210202112020012221120211101022112112", "00002200021212122202120001020201000002011221021020220220222221111120110201100212212110010010100222110112022221101020012112000111121110001020102202110022111220120202002000222012201202212020020001121011110100112200001002120010212210101212122222021010", "20102022111012120002100101211112210120000110111021022211220112022111121001110000212102020221012112101211221122200101010001011212120101022122211102011111022210001212022111020111000220020222100020012001202110211020010022201010202221012010001221102120", "11021101122120000222022221122111120200201010000200222120001012011012200201221112112212121221122000211001220001101120210221102002200022101121211202200112020222020221211102202121021022002220002021020101101220202101210000220221012022221101210122212000", "00201102121010102011021120010000200220000011020210221121202112001120010001021202120110110120222001021210012102020201210010121211211222012110011100001101210101222012011212002111021001112202210222221211211100211112102220011022000200221210122011110212", "10021212121012120212000211111211110200022112202012222001102022120221101210020210212111222200001212100200201211012211112002221201100100200221120200110102012202222201211210201200120120101202101211111111102122020211010211221000002111202011102201101211", "22022211221102211022111201111002221021020212100112022222000211022122112202012212201120221021202221012120102001000211011100011010200201221002121001201221211220022122120001211100101012120201121102012201121110001100121102221201002011221110020211011210", "11202101001201222122000121220021000021020122012201121000210222122220000011221011012202101000201220010111012200201212221021122010210120021022002201100101021201202022212111011200122222001020101110122222122200211122212101111212021120021102202002000121", "00210221201221020111110201012122011001221201002120121000021002111210001100020221212220120102100022120020122110112011100112010221011110200110120021002211112112222011011201221221221222200222022210010201021100200211021200101211220111202121122011110222", "20000210001201020112100021021021022202222122101202000112120201222101120020200110201201222110202212102121201212021122121200100100221022102100102212020101212122222102101101121211120022120010111122121220112101202122120011122022010202010011112211210220", "12020112011122212101100011101012210122011202200220022010200210101212220211120222220200212120201201211121122011022001020002002000011101100100011122122021020221200112210200021112010020210110212020011121200200201001002112110212121020010012112011210121", "11022021212110202211221011012222201002020202110100011201120120020202220020100110010210202202201211022022111010021011202010002112120211221220011110200200101102212220112102202102011010212202000222011210211121121221222211011011222221001111211022221202", "01200020011121012210221200220120221010002201102110012001101212112102210212000210222211220021211102121122212100002222221221001102121021012102102021012220122001102220220210212122110021112020120122002101121022221011100111012210001220222200222102102101", "10010111022011222111012122212011211112110111112002220211002012201221201020212211022202012220210021110201202201211000010101020022110212222101102222202022100111212221220222202012221202012211021210011120110011122111200122011010102121022011020112221121", "10102002012002221121001000112100012001121220021121022020120000001102220210102211210020021211201100120200020112101102101020122022201020210110202021010012211102101110221010201221222002011010200101012020222100221002002021022111100120120000111110211220", "21122010002022211000200011212000200000020211012110222200000021221110110002112001011001012122220210111000102222201102000122011010112022100111200001112002021202122002022022020022222111012111010122112221020002012012000202222221112222102212221121021100", "20020022110012201112122200000221222222202101120221022122111211110020211222202110111012221212021122211010220000100022012101110010000112210121221210021010120101002011210100002201100201100210201011102222102001102110121212001122010020221002210022121220", "02002022201000101220221222121010222010021001211122002100012001220100211011202221001012120210002001021020112002210022100201121210222111010201021021010112220202122202202002010222212121011102210202200000000211021102120100110212121100101201120022200210", "22020011212020122102012021210110001110220122020221221201002011122000222201220010122010122001202202122100111111010121220001112222002212102221122110012020202021022110222011001011210200020110122200200022021000111121120110201001001121100212122202210100", "01110102202000112101122110021122100112011010022211120010001022101011202200211201201221210202120212021020001011010011001220112222220212200020100200021112002001220022112021012111021221000002112111211111101111201210012220222122102222020202111101101110", "12122011022001022021201001212000020112202011200120200120101010021121220210021220221222121200221211100222210110220200001001112220211021100211110101011122011110112011220011112101102022120000021122011111010211222201100002102020202011220122110121112211", "22102200210002002211221001222111112200010001100202220212222212221001010211000102000020220020000101121100222220102211220100121100002222212122011101201220011202210122222120101110011012020122200021111000111202220022112112201100120211021011211000210100", "20210200010210221021011000212001021020000222102200101100002221011101200101010102200111010101202200120012102100001121211110101211001020021120020212001002012020202002011201010220220100002121101000021001101201100000220110001021121110010202021122211220", "00112210202010211212021221201110000201200021211021110211201000220221020020111221202100110102220200201221110002011010012201111121022122201002001121210022100221112121022220021120221220210010002121111110021112200101100200020002012211112002111012220122", "12002201010202221100202212210010210102120012012011202021100121021101002122100122220010022222110002210012220122222222200221111012012001122222101002220012110120022001012110012211221121200211210222001202020002111222200221201112101122200121201122212000", "01222001120020122221120010212200200202101200012002001212112022111122200012210201211222220101221020000002120002011112211122001000210102121122010021121201002022020021021100012021110011112122102001012222220121100200121010102121220022211220021212010021", "21121200100000122100120120022022210010111120202010121112120220100202000212120112011110012222002002102201122200221200212100102112121220021210002122112111211010002100201011010112211011112202012211022121210222110120201201001121211222010121101220101222", "20012010201111022010212100002122121012221220201111210122021101120121222121010001001201011022120211212200221002002110201021222220212012121212221110120100011210211120012210102001020220012212010211001010010010111222102200121102011100001222102210011200", "10100001021012221202121121220122201120021222100220122011000020121102001021021002110102201012022201010112021221020121221010022102011001112001022100111111111220202211012000011220112110111211002100021222002111022120101120022220001020022111112111022220", "02110000211212020002221011111000000200202222202211101202121010112210122110222020010000010122020201201121210111121121000102022112212001020010220201020201110001220011200221102021122022100100211110021222220001200021020022012211021122020021220002212200", "22210002202200102020221000021212202111011011212211211010201021211112202011122202101121110202111210021221000211211210102111102210210110221220000021122001011111201002112122112010211100200020202111202121200112202200001222220100122202121102122112201211", "20120112212112002011000100012211021112222110222202102100102000012102121122012212120110101100001001111020000012211200000221102100221211001101111102102000000012100200121220020000021011110010111220121120122111000122020022121010221012202101212001200111", "22112222222222122211211200110001210120222001011012122200200211021021221000110112001210011201122021112220211012221020121000210210010101022001022002100110012002012222202200022020002020102001110202120211100111111222212111122112002202110120222211222000", "02210210002001122220002011210202121111100100012011002200010021100021001110110001112101210112002021212102101202102020212101200100220100211202101101221010222212220120120002020112102200012112100120202022012110012101012012120000120121012222101211212012", "11212011121122010100202212100002202120120010112101211011122200100220220201221120002021110202122010101201220120012201211102201212200122001000011101120121220112202222010121222021120222002101220100112221212020111102100110122002010012112202000201212210", "21001020012020210201000000211220212010220012221121122221200121202100221101212100020100100220012200112222212021102200010001210121002121111112122002202111102022120101221221002220211100222110102000022021022100000120000010120211202001001221022122001010", "01020002210112100020120000002111120102110120000100221112122112121101112010122122211202222012010110101021221010100202021110200010111221202012110111000100000022222222112001001211211200110220110121221021000010212201001000021100002101012020102220020010", "11201120121202120112000112002221010101000121102100200202112200001102100220011122021001110010100220010211021210010211001012002220022102011200210121212221221101100212000202121011222210222221121022210221211102020210001100112221020020022102010202200111", "00002112022220121120000221122220112112210100001011202112001001110220102202001121022202122112111121021001002201122102220012020221111012220011012021211020200000201221022212010022102220012202111111010020221021102001212221021100102122221112021011120020", "01012200222012021100110020102000012000120102021122010210012111020210211011001100000022200100211121101102112011000211012202220002101201100211220200200010112121100120010010121220021012101210002010220122200200200110210000221202112112012212012011000011", "12200111122202111101000020212002211121010101121210111200222100222202120022210120000001002010000212222210001011121112222001221010221111111000200212000020111022221000021100000222001010012102200111112100221121020110201020222021220012222010001210210121", "02222122012200201020022101210220211200011001112022202210100201020001222020112100200111022100222222111202002101212010211201201111010121122100100200122021020011110001121012100112202122201202020200211002020102012011202122210121112220100120101112021102", "22210112022022210020020020022200022010221002101110001002002211111011120221110220021211100021111202000120101211022221200112201211220122022202101202010020010201212200202220021011120222021201020011001111212112221101011102100210200021100221220120220202", "11211221120020121110012100100110222211010100001122201100120111201102121122121002122021211010211120100020110021102022020211201112001101021112222021200020201022000212101201110202101022100020200200112022211202200120212011120212220120020211211120121120", "20010110021222122221201000021202111121001020002021202121200210001102011210010202221021200120011112121010210221202202110211000222210210201000021201202112211202211010220212021100202222100011220211112212120200201122222102102002121211000010211022002221", "11000121210100120212201101102020222110002221200201122020212122122120102022222011221000112020212020100121020202100102112101121212122120101221000101001011110211201212002022200211212202110211212020201012011012020100122010111212011102120120001000200201", "11000000220121020101010010002011021200000101102202212101120002120210120002022012110122122010221202001110010110221120021220112121022002222200120221011001011120122110102111221121110121102112122012101210101201012012110200022101122121022020222102122022", "22202212100121000222100012020020011100210220212112002010111000122200121010221020212001222210001212012122121021201001222011211000021112000121001120022112000201221221002002011201220201210102002211222120010121101211212211222021122012122022022110210111", "12221211201012002222021202002222012222212201022101011010001111210220010212012101020221002110201121100002102012110102000110220212021210020102001010010210200222002112100112202112021212122212011010000200211222201101120221020120001202020022121111020002", "12220211201200102012220022210010022120000222112210021211021202111111021012200001202100211211000202100020122221202221102202201102120022121021210121112121210201112200010021222022120021011212021222201201222112120121000200022012112201012120001002022020", "10122202121002210201022122120122021101220221100022020002111202000020212100102001012002211212101101220222021102122000101012002202002110021002220122010120020100202220110211202120201012012002001221022201101020000201011200121212100120211021122120102110", "02002122221221220111022022120211121020202021001210210012002120221102220020101111002120200122101021022020012221220211020221122100221020201110222221000222100202210120112022100120221111022112002220211020202222111201001121001101111201101200212010020220", "02202111011002102111022210111202011120210221221111120022211120102101222102121212012122101000202120020102201112202100021010000221121122200222222122212112222212020100222222000122120102211202022122100201012201222121001220100122120110202022101022102102", "22201020112111020021111001211222111210110121101100000101112200022110021212200020212002001120201000212211211021022022100202220200222011122212001222221000221021220120110211010021121011201010120000000112121002022000022022200111202202220121200101111020", "12000021022221202021111220200022000211222012212012222110010220022220021000122101021222022210122211012101122000112110001001201111010011201221222100222220221222200220022111021212002010212001011222100110121220002020111022100002121102111010021000121110", "22011012002212212020001221021112001200022022022021120221012221221200002100122220210212222002112000102201210212001200010211122112020111020021111201220201200102012011022112200111000221200000222020221210010111001220020010211201121200111111101111011011", "02022220001100020101210202012202111001120100222111020021122221022002201211121102000212122000202111221012000102222121121120222001202210002221112110221220210110111122011201200011111001102222120022201212121201010112121020110121022021212212001111101022", "00220011002210211111122020100210202020100020112210021211210100100020012221201202010101111211012210112111202202210020021011221201102211221201210011111020012022002001110012111222210120201212211221011221001101220022212210021002221202222100001201000012", "01020020010221112010222012022022221100202002000011002100220220110001221022221011002120012110011111211110210000011002222002222221112200121020210200212001121111211220021012121110210100111221000010001100001011222210210120101220100110001222012100000001", "00112122210112201201121012110200200221021001021021200021020210020121221200122120112120012100010121110002200121112001201111002221212221222002012100012022211111221010201221000112010212000012222222211011121102201212222201122012211001111000211011210012", "02200120122010120020220222121021221021112100200012012020222102210210010220002021111220002212001101121112201100201220211000001000211102202021000110020221111012221010021221221211212122020121010220122012220102102201121100100001022112221011011110012222", "21021021201121010000022210000120022022011012000120011010220120120122000210021122221021200010100001010022210002000221100021011202122120200011120200022120102202221020100022221010001220200012220001000111010100202000222200220201202020002211011220202010", "20202120021222212002022022220102221222021200121001220010222001120121111210122010220202110112221010122120002221112011211102000110102012001121000000012102021212120022122001221012122200022012120121202101020201212010121111002221222220222110012101021100", "01101220210210202201212221102010111012001211020121122211021021112021021210210020211112102212110010101220100012202011211101110110121210022221021100202212111000112221000022002002020101020110012001102020212011201111201122020110121220101210020100220210", "10020102000012111222012221112000000010121120211210101201011212000010021110200101120212001002101202001220101211201211202212100220021010010110020220211221120020000122220111000121021201011120210111012102101212022011010002212022220012010211111012121200", "10222021200122111100222201210211220221222222011200011200010110200202011121000200020000202112211100211122021220211212211220210011120112102011002012002201002120111210021220212002221002120021212220122110011201100011002100000111121210021111022112220220", "20201120001210222011211112120221220211002002121000102000110002012120022011000120120210010200011100202020001200120121210002222211102022002022100102110111022101122121112002101112120210220011220200111201020202010111221222202121201222201120001020101212", "01120111012010112112211001211011221010121100012111202010200011121000022210211210210112101101221000112210100222202200210100221222011000100101110111101201212012220111212122212220001200210012001122021110221112221022220100112112110022211112101012101222", "10121020111001022010010121221102102111111220100111021201200010001011112210020120121110201220012002102100100221012012021212222200000200022101111221112100220220022220222011020201210002121012111112220201212021122221102211010110210201021122112102211202", "12000222022221110221201001212212022202010012202200121101022020221002222212222200011210212011102122221220222210002201012020221010010100012101102022011221022210002211121211010100220001021212101001002011202000102101111201000200002011021002012020220201", "21210111020021010012101121111021110010022000122012211220010100020122200001220201121102021110111112101200011000112011022021202011210210111012110220020001021220222120021100210020120021112022112212120211211222000021110102101011202002211210021210111002", "21022200202201211201001012121122000000001010010010000010022101022110010022020202121220202000200012010002020212102210112122001222100000221001202001100200001101100001202100000220102100111011211110021001200102011010020021201100202222200112220112101120", "20012121021012200110012100210102121010102102021100010111022000012022002010120110110001022011012010201002122022202220210020002122100102120102122111210220221202012221000101111102020110212101221111000112110110012202001200120221021102111120020211101220", "10110020110221200010211222120012202222111111010222021100212012101120201012102000220222122020220011001000111002001201202120222200202112221111220201202111022222210001101220221002122112022212201021101212110011210121022202222220122012202011001200111212", "12001200220102122222111010121101021212010122122102002120021210120110200212020211211222110121202221000111100011010012201011222010020111020211022020121011002122210222101020221220122020102020001001010011212121101012120020102201110201021101110022001001", "11011012221202222120211221221102000000022012010220202202012021022202020121200112022211110221120202021221021200010111012201111202202022122112101102010211200101010110121022102221120011021022201121212010012202221021212211102222221002011120212210010020", "22202021111012020212010111000211010122022002211111110211202002221011201020011201020022001200102221220201111010110202010122100010210202212121102222002012010212210021022122120211020201200110112122011010022111112012112022000120112011111021022122201120", "22021112110001021121202101120022221111022012122001011221111112122202121112020021101211101212120111112221021222022210221022002200022000222010000201202001221111212011020202000000122201001111122002200222201211000201020022212022222021202121220120210012"]); G:=MatrixGroup<248,F|x,y>;