/* www-ATLAS of Group Representations. S14 represented as 64 x 64 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,64,[ "0100000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000001001010000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000", "0000000000001100100000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000", "0000000000000010000101000000000000000000000000000000000000000000", "0000000000000010000100100000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000011000010000000000000000000000000000000000", "0000000000000000000000010100010000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000010000001010000000000000000000000000000", "0000000000000000000000000010000001001000000000000000000000000000", "0000000000000000000000000010000001000100000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000011000000100000000000000000", "0000000000000000000000000000000000000010100000100000000000000000", "0000000000000000000000000000000000000010010000100000000000000000", "0000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000001000000001100000000000", "0000000000000000000000000000000000000000001000000001010000000000", "0000000000000000000000000000000000000000001000000001001000000000", "0000000000000000000000000000000000000000001000000001000100000000", "1111010100000010000100010000010000000000001000000001000010000000", "1111010100000010000100010000010000000000001000000001000001000000", "1111010100000010000100010000010000000000001000000001000000100000", "1111010100000010000100010000010000000000001000000001000000010000", "0000000000000000000000000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000000000000000000000000100", "1111001001000010000100000010000001000000001000000001000000000010", "0000011101000000000000010000010000000010001000100001000000000001"]); y:=CambridgeMatrix(1,F,64,[ "0010000000000000000000000000000000000000000000000000000000000000", "0110000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000000000010000000000000", "1111101011000010011110000010001111000000001000011111000000000000", "0000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000010000", "0101011011101100011100011110001111100011110000011111000011110000", "1111101011000010011110000000000000000000000000011111100011000000", "1111101011000010011100010011111111000000000000000111100011000000", "1111100000000000011101011011001111000000000000001011001010010000", "1111011111000000000101011010101111000000000000001101001010010000", "0000000000000000000000000000000000000000000000000000000000001000", "0000000000000000000000000010001111100011110000011111011111001000", "0000000000000000000000000000000000000000000000000000000000000100", "0000001011101100011100111000001100000000000000001100011000110100", "0000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000000000000000000000000001", "1101000000000000100100011000000000000001100000100001000011110000", "0101101111010000100110001110011001100111111000010000000111110000"]); G:=MatrixGroup<64,F|x,y>; print "Group G is S14 < GL(64,GF(2))";