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

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"1101101010011001000010100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"1101001100010100110010001000010100000000000000000000100000000000",
"0100001011101110010000100110111000110100000100100001100010000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"1111111011010011100110000010010000010000000000100000100000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0001110100010101101000101110000100000010000100100010100000000000",
"1101001000110010001011000010000001000010000000100000000000000000",
"1001000111100111001001011001001001100101000001011000100000100100",
"1101100010001110000001001101011000100001100110110001011010110101",
"0000000000000010000000010010000000000000010000100000000000000000",
"1100000100011101000000010011000101000000100100010101101110010111",
"1001110101011110111011001110100001000100000110000000000000000000",
"1101000100100110001000001110000001000000000010100000000000000000",
"1010100101101111111000010101111111000010000010000011110000001101",
"0000000000000010000000000000000000000000000000000000000000000000",
"1010001110001100111010110010111010101011010110000001011000001001",
"1101001000010000100010000001010000000000000000001000100000000000",
"1100110001000110100111110010111010010100000110111001010111011000",
"1111110011100001101000000000110001000000000000000010100000000000",
"0001011001011110001000011111010000010111110001100011001000101001",
"0000000000000000100000000000000000000000000000000000000000000000",
"1110000111011011101110010111110100011101000101101010010000011100",
"0010110011100011101000000010011001000000000000100000101000000000",
"1101111110101000010111111100110110011100000001010110011111010100",
"0001001110110110000101011001011011110101110101100010000010001001",
"0000011010011010110010001011110011000101010111110001000000010000",
"0010010001100000001000000000000001100000000000000000000000100000",
"1001001010010111110000011010100110101100100111100001100011011001",
"1000110011110010101100010101010001000101110100111000000011110000",
"1101100110100101101000001000010001001000000000000000100000000100",
"1111001111000100001100011010111001110011111001111001000100010110",
"0010111101100100110001001010010010110011010111111011000001001100"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0110100000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0011011100101001110101000110000000100100000100100010100000000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"1001110101011110111011011110100101000101000110000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"1110100001000000110101100010010010110001001110010011000000100111",
"1001010011000100011000110111000011000000111000110101111111111000",
"1100110111100101111010111110101011110101001000100000100110100101",
"0001011101000000101111101001011101110111101111011100011001010110",
"1110101001000100111000010110110100110011110110000011100010101001",
"0000100011100001110100110111000001101100010000100000101010011101",
"0000111011110111101110110001101111000001101100010101000011110011",
"1110001010011011100011001011000000000100000000110010100000000000",
"0011010110011110101111110001000000100111110101110011110001111011",
"0110100110101001110001111100110001101001000000101011001000100110",
"0101000110000100010101111111100001000111101100100110110010101000",
"0100100111100011000011010001110001010011110001100001110000101001",
"1011010111001111011001100000001111011010110100001001000101111101",
"1101101110100111000010001010001101000000000000100000010000000000",
"1101001000110000010000100111010010011001001110111000010011110111",
"1111011101100110110110110111100110100010011100011010110011011100",
"0110101101100110101000001010111100011001011101100011110110100000",
"0111000111000111100010001000001110100100110001110010111010110100",
"1011001010000110001011111000011111100010101111111000010111110011",
"1111111000100001110001010000111110011010010110010001011001001001",
"1011110011001010011011010101000000001000101101000110000100110001",
"1000011100000101011111000000001101001111100101111111110001110111",
"0100001101000000110001110011111110011011110100000101001011101111",
"1111111001101010011101110001100011100000100111010011110001110010",
"0000011000000111001010110010101010111001001000001010110100010011"]);

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