/*
www-ATLAS of Group Representations.
M22 represented as 21 x 21 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,21,[
"010000000000000000000",
"100000000000000000000",
"000010000000000000000",
"000001000000000000000",
"001000000000000000000",
"000100000000000000000",
"000000001000000000000",
"000000000010000000000",
"000000100000000000000",
"000000000000010000000",
"000000010000000000000",
"212211000101020000000",
"000000000000000001000",
"000000000100000000000",
"001122122010001000000",
"211122020010100102000",
"000000000000000000001",
"000000000000100000000",
"121020201100220021101",
"210000221010000000010",
"000000000000000010000"]);

y:=CambridgeMatrix(1,F,21,[
"001000000000000000000",
"000100000000000000000",
"121100000000000000000",
"022200000000000000000",
"000000100000000000000",
"000000010000000000000",
"000000000100000000000",
"000000000001000000000",
"000000000000100000000",
"000000000000001000000",
"000000000000000100000",
"000000000000000010000",
"000000000000000000100",
"000000000000000000010",
"000010000000000000000",
"100101102001102220200",
"000001000000000000000",
"020020002021111011120",
"121210011222200210000",
"211202000001010000000",
"202002021022110100121"]);

G<x,y>:=MatrixGroup<21,F|x,y>;
print "Group G is M22 < GL(21,GF(3))";