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

F:=GF(2);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"00010000000000000000",
"00001000000000000000",
"10000000000000000000",
"00000001000000000000",
"00000000010000000000",
"00000000000100000000",
"00100000000000000000",
"00000000000000100000",
"00000000000000001000",
"00000000000000000010",
"11010110010100001000",
"10101101101101001100",
"00100101110010000011",
"10001011111011110011",
"10011101000101101010",
"00000100000000000000",
"01000001000010110110",
"11010100011000001010",
"00101011011101110110"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"01100000000000000000",
"00000100000000000000",
"00000010000000000000",
"00000000100000000000",
"00000000001000000000",
"00000000000010000000",
"00000000000001000000",
"00000000000000010000",
"00000000000000000100",
"01000001001011010010",
"00000000000000000001",
"01110110110000111001",
"00000001110111010100",
"01100101110000101100",
"10001001101010010111",
"00100100000111011111",
"10100110111110111110",
"11110100011111011001",
"01100111001001011110"]);

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