/*
www-ATLAS of Group Representations.
L3(4):2a 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",
"0101001000000000001000100000000000000000000000000000000000000000",
"1010100000001000000001000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"1111101000001000001000001000000001000000010000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0011010110111011101010010000000000000000000001000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"1011100001101110001111101101000001010001100101110000101101100000",
"1100101100101111000011111001100110011011111000111101110100010101",
"0000000000000000000000000000000000100000000000000000000000000000",
"0001010011011001101001101100000000000000011111110111110001110101",
"1101010001100010100010001100001011100000000011010000110001111101",
"0000000000000000000000000000000000001000000000000000000000000000",
"0111001000100000000001100111111110101011001011000100010101101000",
"0000000000000000000000000000000000000010000000000000000000000000",
"1100000110010110011110010110010110001101001100110101111000011101",
"0000000000000000000000000000000000000001000000000000000000000000",
"0011111110010000010101100101101011101100011000100100100001000000",
"1111101110010100111101100100001111111110110000110001110110110101",
"1100101000001000101100010011100100110110000010000100001000010000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0001101111010001010000010000000100101000001101110001010001110001",
"1010110000101101101100000011011101100011010100010001010100011111",
"0000101100101111100010000000111110111110000100110001110110011100"]);

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",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000100",
"1111010101001001010110011100111000100010001000010100010110010000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000001",
"0110000010001101101001101111001100011001100110100101000111101111",
"0000101000010011101111101110110111010011000011101001111110111011",
"1000010100011110101101000111100011010100011001100101000011100100",
"0011101010010010000010000010000000010000000100000000000000000000",
"0111100000110111001011000011010110100100100011010010001110000001",
"1101011011101010001100100011000011000100100101101001101000010011",
"1010001111111010001101110011010110000100010010011001011001110010",
"0000000000000000001000000000000000000000000000000000000000000000",
"1100000110010110011110010110010110001101001100110101111000011101",
"0101110001100100100101001101001011011000000000010101010010111111",
"1001111111010110000001111010111010111101001011010000000100001011",
"0011001011011011011101101000100010000000100111111011100011101111",
"0111000011111000011011111000011110011001111011010101011011001100",
"0000000000000000000010000000000000000000000000000000000000000000",
"0011010110011010011110101011010100001100111101010010010010011100",
"0000000000000000000000010000000000000000000000000000000000000000"]);

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