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

F:=GF(2);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000010011110010101110010110001110001101101000000100000001000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0010110011110111111011011011100010000100011001000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"1100010011110110101001010100100001101100100101000000101001000000",
"1100000100001100000101010000101100100110000011000100001000010000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0010100100011001011000111001110100010100000001110100000000000000",
"1100010011100110100001000110010001101010101000101000101001010000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0001011011010111001111011110011010001110101000100010000001010000",
"0000000000000001000010011000010010100100000000100001001000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"1110110101111000111110100001101111011000000001000100110001000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"1101001110111111111011111001100010111100000001000000001101000000",
"0010100110011010011000110101000101011100100000000100100011000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"1100010101011000001000110110110100010110101001100100000000110000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000110011010001100100000011100011000000000100100000001001000",
"0011101110101110100011100010010111110010001000100100101000010100",
"1111111011100010110100000111101000000000101001000000000000000010",
"1100000100011101001101111100111001011100100001100000100001000001"]);

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",
"0001110100100000000000100000100000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"1001110010000100010000100000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000001",
"0100001001000010010111110010011001111001100111101100101001110000",
"0010000110110101101011010110111000000111010100101010011110001110",
"1101111011100001001100001111101111111100101010011001010111101000",
"1111101101100011010101010100001011101001000010101111111110100010",
"1000011010000101000001011010111100101011101001010101101001100000",
"1111100000001001110110001011010100111011101010101100000101000101",
"1011111101001100000010000111000000001111101101100100001000001000",
"1010010001010110001111111111001111000101001011101000010101100010",
"1010101110100100100011110101010101101111101000111000110001000100",
"0001011010100001101010100001001010111000110001010110000010110011",
"0101011111101010011011011011011011010000010011001001010111111011",
"0100000000010011101110000001010000001010110111001110010100000000",
"1111000101001001100110101110010100100101000011010001000010110001",
"0000111001111101101010010000101001011110001010001010100111000000",
"1010010101001101011010010111001001000101111001101100001100011101",
"0100001000001000010010111101010011000000010100001100001011100010",
"1111100100010101101110011010011000001100011000100010000000000101",
"1001110010000111101011001000111010111000010001010001001011000010",
"1101011011011001011111011100001110111100101011001101110101111100",
"0101011010100110110010101100101000011001101000001000010111100011",
"1010110100110010000111110101100011100111000100111000000000110000",
"0100110101101011100111111100010011111000001011001000011110100111"]);

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