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

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0110001010001101001101101000100010100010100000100100000111000100",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000000010000000000000000000000000000000",
"1010101011101100001111000100110111111100000111101011110111001010",
"0000000000000000000000000000000000100000000000000000000000000000",
"1100110110111000000001000110011010100001100100010001000010001110",
"0011111010001100100010101001011110100101011010100000010011111010",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0111000010100101110100101011100101110111110010000101010010100101",
"0100011001111000000100100101100001001010111001101001010001100010",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000100011111110101011011000011101001011110000011101011111111101",
"0000000000000000000000000000000000000000010000000000000000000000",
"0101100111100111111110110110100111101010110000111010010101110100",
"0000000000000000000000000000000000000000001000000000000000000000",
"1101011000001011100010111110011101110000001011100000001110011110",
"0000100101011100010010010110010001010110011101010110011111100100",
"0000000000000000000000000000000000000000000000100000000000000000"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"1001100110000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"1110110100000000000000000000000000000000000000000000000000000000",
"0100110010000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000001010000000101001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000010",
"0010011110101110111000111101011100101100000010011100010001110000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0010011011001001001010011011000110100101010010101101100101110000",
"1011001110110111000000011100010110011101010010000011010011010111",
"0111110111011001011111000101000010110101100010010100111101110110",
"0011111111101101011001111011000010101001010000000010000000010000",
"0000000000000000000000000000100000000000000000000000000000000000",
"1101101100001111100011110001000010111011011111100111011010000111",
"0000101000010000000000000000000000000000000100000000100000000000",
"0001011111001000100000110001111001101101111110011001000011100111",
"1111101010001001000101001010000000000010000000000000000000000000",
"1101101010000011000011110101101100001001011011010001001011100000",
"0001110010111000100011101110110000001000011111101100010001000000",
"1001111101111010010101111111010101011110100001111010000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"1011010010011011100101111111111010000111000101101010100001001010",
"1011001111001001101011111101001101111110101110101011000000010110",
"1101001101111010110001000100000111000101000001000101010001011101",
"1001011111110000110101010110110011101100010000001101110100011010"]);

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