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

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1100000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010100000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001001000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000010001000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000100001000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000010000010000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000100000100000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000010000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000100000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000001000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000010000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000100000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000010000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000100000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000010000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000100000000000000100000000000000000000000",
"1011011110101011101110000001001101110010000000110101110000001110",
"0000000000000000000000000010000000000000001000000000000000000000",
"1000101101110111001100100000011000111000000111010100101000010010",
"0111110110000110010111100100000111100101010001001100000110000101",
"0000000000000000000000000000100000000000000001000000000000000000",
"0101111001101000100011101111010011111111101100011100100000101001",
"0000000000000000000000000000010000000000000000010000000000000000",
"1100001100000101100111000110000100111101001001111010001110011110",
"1100111111001011110110011101100011000110000000011011011000011001",
"0000000000000000000000000000000100000000000000000010000000000000",
"1010101110010111101010100010000101001001111010100011110010011001",
"1000100011100111000000000100000101000010010010101110000001001011",
"0000000000000000000000000000000001000000000000000000010000000000",
"0101001011001101011000000110100001010011100110000100000011011010",
"0000000000000000000000000000000000100000000000000000000100000000",
"0010010000101111101010101111000101011011111011011010110000001000",
"0010000000100100100111100001010001000010010010000111001110000111",
"0000000000000000000000000000000000001000000000000000000000100000",
"1110011000101110111100000000100111010011000100110111101100110010",
"1010110000011011101101101111111001110011110000100111001011110011",
"0000000000000000000000000000000000000010000000000000000000000100",
"1111000010010011100000010011010111100001100100001010110100011111",
"0000000000000000000000000000000000000001000000000000000000000001"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0111110010000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"1111011010101111110100011011111100010110010011000111011110010010",
"1010010000100001011011000111001110100100000101101100110101101000",
"0011101001010110100101010010001001001010000010010000111000100011",
"0110000111011001101011101100010011010100000110000000111000101000",
"1101010011100101000100010010111110011010101101100011111010100000",
"1100001010011010100010011000111101111001111001011000110110111000",
"1111110111011011110010111111010111111001001111111000111110000011",
"0101110100101110010111100100110010011100111011011011010111001010",
"1001001001011100100000000110000110110011000110100001101010100010",
"1000111100111011000001111001010110110001001010100110101001000101",
"0110101110000111111000000100011101010111100010100000101110011110",
"0101100011001010110010011000001100001101110101110101100111100010",
"0110010100100000111110010000110110010101101110011000010010111111",
"0011111010101010001010010010100100001001100010111101000000111011",
"0001110001000010101001101101100111010011000110101001111010100100",
"0000001011100011101100110001111001100100101010000111100111000110",
"0111110111110010000001001000000000110000000010100110110010110000",
"0100011100000101110101001000111110010000101001101101100110001010",
"1100101100001001010111011000000000001000101100110000001000010010",
"1001111111110001000000110111000111101111001101001000111110110110",
"1100100011101110001011100010011001101100000011011011110100010111",
"1000101000000110001110111000010000000111001111000010111111101101",
"1110111010001111111101100111011001100110101110101000101000010000",
"1111111110011101110101110001011001100010111100000001001010111001",
"1110001001010101000011101100100110100110011111011001100111100111"]);

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