/*
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",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"1111111111111110101001101010000001000001000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0100100110011110000000100000101001000011000000011010000000000000",
"0000100111000010111000000010000101000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"1101100111010011101101000010100001010001000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0010010100100011000010000010100000000100000000000010000000000000",
"1000100101000001101011011011000101000110010000011000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"1100000101001110000110110110001111001001111100000011110000100001",
"0000101110000110111001111011101001000100011000010010000000000000",
"0010110010100000100000010000000000000000001000000000000000000000",
"1010011010001011011011011000010110011000110000110100000011001110",
"1110001101000010001001110000001000101011001010001111011101111100",
"0010010100100010000000000110000000000000000001000000000000000000",
"0101001011011000110110000010010110001001100011000100110110010100",
"1001000001001001100011010010101100000111010000010000000000000000",
"0010011100111011000001100011100000000001000000001010000000000000",
"0110011011110111010100110011011010111010100100110000000100001100",
"0000000000000001000000000000000000000000000000000000000000000000",
"0110100000010111111101111111101011100101000101000001110101001101",
"1101101011001000101000100000010001000000000000000000100000000000",
"1011101010101000001111000100000000000000111011001010100100110110",
"1111011011000101100101010010110001010100011010101110001101001111",
"0011101010111101101101011101110110100011101101010111010110000110",
"1111111111111011101001100010100011000001000000000010000010000000",
"1100001011010000100100000110010010100001110111000101010110011010",
"0000000001010000001001000000000001100001000000000000000000100000",
"1111100001000100111110101000101110101110100110000101101101110101",
"1111101011001000110111100001100111001011101110001000110101010001",
"1111010001110001001001000000100001001001000000000010000000000100",
"0100100010100000100011111011100110010111010110001110000010111100",
"0100100011001100101001000000001001001111110111110101110000010001"]);

y:=CambridgeMatrix(1,F,64,[
"0010000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0110011000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0010010000110001000111100001000000100100000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000010",
"0010101100110000110011010010101001000100100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001",
"0100111100100001100011100010100000000100100000000010000000000000",
"0001110010011101001001001111001101010101110001001010011001100101",
"1010101011101100111111111001101011111000111010100111111011001011",
"1110001000110111101000010110001111001110100010011011101000110000",
"0000100001101010011000100010010001001101100110100001110001000001",
"0111110100001011010011000001011110101111000000001001001000011010",
"0011111001100100010111010010110110011100111011101111000101111010",
"1001101000110111000010010000100000010000001000111011101111110111",
"1111001000111010011110111110111111110001101010100100000010110110",
"1111110010111101001100000100111011000101101010111000001011001110",
"0110001010000100101010010000000001100010110111100001010100010001",
"1001011010110110010010100000110100000110000000011011000000000000",
"1011101011100101000100001110111101001010001001000010011010011110",
"0111111000001001010001000110000100111010010101100110111111100110",
"1010000011101110101110000101110100000110111101011010111101111110",
"0110101101101011110110010110011110101100011000100011011000010011",
"1001011011001100011100101111101110101111111110110000000101101010",
"1011111011101000110010000100111011110011010011011101111100000000",
"0011000110001110011110111101010001000010001010111010011010101100",
"1010101101000100010011010101000011000100011111000101001000101101",
"1100100001001000110101000001101110010011010101010100011100001110",
"0011011111110111110111100110111010001111001010101000111110000101",
"1011000111101011101111001101011110111000010001001110010010011110",
"0010111001100001110011000111001110111010111110110010001001011000",
"1100100100001110000011011101110011001101011110011001001010111011"]);

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