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

F:=GF(2);

x:=CambridgeMatrix(1,F,11,[
"01000000000",
"10000000000",
"00100000000",
"00000100000",
"00101001111",
"00010000000",
"00000010000",
"00000001100",
"00000000100",
"00000000110",
"00000000001"]);

y:=CambridgeMatrix(1,F,11,[
"01110100000",
"00001100100",
"11010000110",
"01000100110",
"00000011101",
"00000101110",
"00010100111",
"00000100000",
"00000001100",
"00000000100",
"00000000111"]);

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