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

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0101111011101011000000000100010101110001111110000110001101100000",
"1010100011011001101100000011001110101000100100100001001111101100",
"0000000000000000000000000000000100000000000000000000000000000000",
"0101111011011011111011001010110010001001101000011001011101001111",
"0000000000000000000000000000000010000000000000000000000000000000",
"1011101110110111010110111100001011110010011010100001001000011111",
"0001011100010001000110011111010001101110100001010100010110111111",
"0000000000000000000000000000000000100000000000000000000000000000",
"1001110011001000001000010000100011111011000011000001110000101111",
"1001010111000010101000110111000001011001000000010010010110001000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0100000101111001110111110111011110110101010101101000000110011010",
"0000000000000000000000000000000000000010000000000000000000000000",
"0100011010110100101000111010000011101110110000000000110001000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0001011011111100001100000110000100100101100011011001010011100001",
"1000010101100010111111001110010100011100011110110011001111110100",
"0000000000000000000000000000000000000000010000000000000000000000",
"1110000011001101111011000110111101111110100000111101010100111011",
"1111100101001110000001011010010110111110011011011111101111001100",
"1100100000101000001110010100000111100111101111011010010100011101"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"1001110100000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0100110101000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"1110100101100010010101001110111001011000100011000100101010100111",
"0000000000000010000000000000000000000000000000000000000000000000",
"1010010110110010110100010000010010100101101100111010010110101110",
"1011000101110110000000011101100001001110001111100011110101101111",
"1101000010111111010010001000110001000101000001100010111100110101",
"0001111011101111000010000000010101110001011100000110010101100000",
"1111110100011110001111011100110010010101001111100010011100110110",
"0110110100010111111010000111111101011010100101101100110111001011",
"1000000111001100001111101100111100110011101101001010100111010000",
"0111000100001110011100101110010111111111001111100110110110010001",
"0011011100010011110001000111110011010011101011000000001110110011",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000110100000111011101111110011000000010001010000101010101001101",
"1111000000011001100101011110010010101101110101000001000010001100",
"0010011100101001000101001110000010111100101111000100100001100010",
"1001100111111010010001101111001001010010110110100111010110000110",
"1011100010010010110011010111010000110100011110001000101000100011",
"1011101011111000001000011101100010111001100110101011000011011011",
"0101111100000010101001111011011101011100110010000010011101100101"]);

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