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

F:=GF(2);

x:=CambridgeMatrix(1,F,16,[
"0110110000000100",
"1000101100001010",
"1001010010111011",
"1000001110110101",
"0111011110110001",
"0000111010111001",
"0101000000000110",
"0010110010110111",
"1011111010000010",
"1001100101001100",
"1001001110010101",
"0101001000010110",
"1100101100000010",
"1110011010111001",
"1110110000000110",
"1001100100001101"]);

y:=CambridgeMatrix(1,F,16,[
"1010010001001010",
"1101010111011001",
"1111000100111011",
"1000101111101111",
"1110100101110100",
"0011011011101001",
"1111010100010100",
"1011000101110100",
"1101010110101110",
"1100111001111001",
"0101010101000001",
"1010111101101001",
"1100100111110011",
"0001001011100111",
"1000101011011001",
"0111111010000000"]);

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