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

F:=GF(2);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"00010000000000000000",
"00000100000000000000",
"10000000000000000000",
"00000000100000000000",
"00000000001000000000",
"00000000000010000000",
"00000000000000100000",
"11011000100000000000",
"00000000000000001000",
"00100000000000000000",
"11001100010000110000",
"00000000000000000001",
"11011011101101001010",
"00100111001010100001",
"10011111111110011001",
"11100110011000001100",
"10010010000010000100",
"11110110000011011100",
"00000010000000000000"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"00001000000000000000",
"00000010000000000000",
"00000001000000000000",
"00000000010000000000",
"00000000000100000000",
"00000000000001000000",
"00000000000000010000",
"10111101001001010000",
"00000000000000000100",
"00000000000000000010",
"01101110000100000000",
"01000110010011111111",
"11001101101101111111",
"11000010011101100111",
"00000100000001100000",
"10000100110110010111",
"11010100110000001000",
"11000000011010000000",
"01111011110110011001"]);

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