/*
www-ATLAS of Group Representations.
U3(4):4 represented as 64 x 64 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000010000000000000000000000000000000000",
"1100000000001000001000001000000000010000000100000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"1011001100111100111000110111001010011000010011111010100100111011",
"0011010101000001010000000000001010000000000000000000000100000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"1000000111100101010100001100010000010100101100111110010001110000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0011110010011010000000110101101000100000010111111100111110111101",
"1011001010100100100111000000100100110101100111010111001011010101",
"0000000000000000000000000000000000001000000000000000000000000000",
"1011110001001011010101010101001100101000110100101101100010001111",
"0011010100100100000000100100000000000000000010010000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0100001111100101100100111101100001100100010011000000110001111011",
"0000000000000000000000000000000000000000100000000000000000000000",
"1100000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000010000000000000000000000",
"1011001011111111001111101101011100000010011101110000100011111111",
"0000000000000000000000000000000000000000000001000000000000000000",
"1011110100110100110111101111101111001000000101011101111011110100"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0110000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"1010100000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0011010101000100010000000100000000100000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0110101010101001000001001111111000101010001001001101001011110100",
"0000000000000000000000000000000000000000000000000000000000000001",
"0110100001110010010110000111010010100010000101011000001010111010",
"1011101011100001000000011001001100101000111111010111111011110110",
"1000111111101011010100011101011001111000001001110111011010010101",
"0000000000000001000000000000000000000000000000000000000000000000",
"1010000111001000100010110000011110111010010111111111110101000001",
"1011001010101100100110000000100100110110100111010111001011010101",
"1100110001101111110100101001010001111010001100110101101100000111",
"1000101001111011010101100101001100101000101100101101100010001111",
"1001001000011000000000011000000000000000001100000000000000000000",
"0100100010101010001010001110011001001000000011001111111101001001",
"0001000010001010000010010000010011111010110100101010011001010010",
"0010101110110000001110110010011000101110101100111001001101111101",
"0001110010001111000001110000110100111100111101100011011111001011",
"0000000000000000001000000000000000000000000000000000000000000000",
"1001110011011000111000011101100011111110101010110111010110101100",
"0101011001010011100111000100011101011010000010000000111110101000",
"0001011101111100101000110111000010011001010011111010100000111011",
"0000000000000000000010000000000000000000000000000000000000000000"]);

G<x,y>:=MatrixGroup<64,F|x,y>;
print "Group G is U3(4):4 < GL(64,GF(2))";