/* www-ATLAS of Group Representations. U3(4) represented as 64 x 64 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,64,[ "0100000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000", "1111110000010010001000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000", "0110100000010000001000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000000000000000000000000010", "0000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000", "1111110001000011000010111101111001001011011000000100000011100110", "1001101110001010111111110000001110011101000100110100010001111001", "0000000000000000000000000000000000000000010000000000000000000000", "1010101011111110111000011011011110000001101000111001011011111100", "0000000000000000000000000000000000000000000100000000000000000000", "1100110000101100100101001001010000100101010110100010010110010000", "1110010011000100100000101011000000000110011101001111111000111001", "0111010101101001010011101100000010000100010110111010000010101010", "0000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000000000010000000000000000", "1100100010000000001001011100111000101001010101011000111100000011", "0000000000000000000000000000000000000000000000001000000000000000", "0000101101100110001011111010111010000000111010000111011110001011"]); y:=CambridgeMatrix(1,F,64,[ "0010000000000000000000000000000000000000000000000000000000000000", "0110000000000000000000000000000000000000000000000000000000000000", "1010000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000000000000001", "0101001110000101000010011101101101001110011100101001010101011011", "1000010110010111000010100111001101110000110011111011010101110100", "0000000000000000000000000000001000000000000000000000000000000000", "1110100110100010111101100110100011101101000000011110110101100010", "0000001011101000111110101110111100111001011111100011011001011001", "0000000000000000000000000000000010000000000000000000000000000000", "0001010001011000110001000100011000101001001011100011001111010101", "0000000000000000000000000000000001000000000000000000000000000000", "1101011101101001010011101100000010100100010110111010000010101010", "1110110001111010000010100011110101011001000100000000111100100110", "1100101111010001000101000011001101111110011111111011000001011110", "1100000001100110010110100010101101110111111000011100110111011111", "0000000000000000000000000000000000001000000000000000000000000000", "1111010001100001000100101101100000011110000101101111011101001000", "0000000000000000000000000000000000000100000000000000000000000000"]); G:=MatrixGroup<64,F|x,y>; print "Group G is U3(4) < GL(64,GF(2))";