/*
www-ATLAS of Group Representations.
A8 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",
"0000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"1010010110001001001000110001011010110000111101000000010111100110",
"0000000000000000000000000000000000000000000000000000000000000001",
"1111101100010100011110100000111001010001100111110010001111110101",
"1011100001110000001000110101110011101100010001011011010001010001",
"0000000000010000000000000000000000000000000000000000000000000000",
"0011000000110111000111001001000100000010101011111111110000110000",
"0010010011100010111100101010001101000010101000100101010110011000",
"1111010011001011011111100110000100110011100011000000011111101100",
"0001011010101000001001001011111000000010111110010010101111101011",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000010000011100000110110010010010011101100100110000111100011010",
"0010110101110100011110110110111110010001001110011011110100001100",
"0011100101010000000010000010010100100111001110011011111100111110",
"1110010010100101100101000101110111111101100111000110100011000001",
"1101010100111011001011110001110101101000010100010101011110000011",
"0100101001000001000101110111110101100100101101000100001010000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"1000010110011000101001111101110101111111111101010111010111010001",
"0111101011100110011100111100100110000001010010011100010110111111",
"0100111101000110111101100001101001000011100110000001001111010111",
"0000111011100010111001110101001011100111110101001010001111100101",
"1111001010111000101001010110000100001011010011111101101010000111",
"0000000000000000010000000000000000000000000000000000000000000000",
"0011000101101001110001100111110111001010000111110101011110010000",
"1100111010101000110000110101001000010001001100101111100100111011",
"1111101011111011010110011100011101000110101101101011110100110111",
"1111110010001110101111001000110000110100011011000000011101110010",
"0101101001011010000101011101110010001111100111100010011001111110",
"1011111111100010001001010010000111101011110001110100101111111001"]);

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",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000100",
"1011010101101110111010101001100010111111100011110011100101011110",
"0100111000111010000100111111011111001011110000001101001011011110",
"1000111001010000000000000100000000001000000000010000000000000000",
"1100000101010000011110001110011100110001001110010100000101001101",
"0000000111010111011101011100010111110101110010010010000101100011",
"0111001100111010111101001011110100011101111000101100000101100010",
"0100101111111001100011000010010101110100011000011000011111110101",
"1011011111111001111101011100100101010010101011101101011010000001",
"1011100101000010111011101111100011011000001111100010100110111011",
"1011101011001111010110101001001000011001101101011111100011001100",
"0111101001100101000000111011011101011000101101010111000001011111",
"0010110111011000111001010110010001011000100000001100000100110001",
"1101001000101100001000100111101000010101110001000111110001110101",
"1101001010001111011110110101001001001111011001100110101011101100",
"0111111001100111111110100001101101100010000100010110110001101100",
"1001111111101101101001000110101100100010100111011000001011000000",
"0100001100001010010001010100111111011101001111011110011011111000",
"0011110100001011011101101000010010011001100111110111110011000101",
"1000110010000011101100001101111111100100100110010010001111111101",
"1001010000011011111011010110000011101001010111101010111100011100",
"1100101001100110010110110110011100011000100111110110111101001010",
"1100100101011110101001010110001000100000010011001111000110000000",
"1001011111100100110000001011101111101010011110111001010010100000",
"1000011000000101100110100111111010001111100110110010111111000000",
"1111011100111111001001111010100001001011110110010101101101001100",
"0100111111110100000000011110111001101011100110101101011010111011",
"1010110000111010111111100101000001001100010001001110110001010110",
"1011010101000000111011010000010111011101010011011110011101000011",
"1001110000010010001001000000011000001011110110101100001010011000",
"1000011000011100100110111000010001110011101100101010000111100101"]);

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