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

F:=GF(7);

x:=CambridgeMatrix(1,F,22,[
"0100000000000000000000",
"1000000000000000000000",
"0000100000000000000000",
"0000001000000000000000",
"0010000000000000000000",
"0000000010000000000000",
"0001000000000000000000",
"0000000000010000000000",
"0000010000000000000000",
"0000000000000100000000",
"0000000000000010000000",
"0000000100000000000000",
"0000000000000000010000",
"0000000001000000000000",
"0000000000100000000000",
"3411666216050101000000",
"3404043336642110150000",
"0000000000001000000000",
"4344323553620410001000",
"6144363410634010030100",
"1644333340140060000010",
"4305032043402430050001"]);

y:=CambridgeMatrix(1,F,22,[
"0010000000000000000000",
"0001000000000000000000",
"0000010000000000000000",
"0000000100000000000000",
"1006160100000000000000",
"0000000001000000000000",
"0000000000100000000000",
"5652410601000000000000",
"0000000000001000000000",
"1000000000000000000000",
"0000000000000001000000",
"0000000000000000100000",
"0000000000000000001000",
"0000000000000000000100",
"0000000000000000000010",
"0000000000000000000001",
"6232033352656502303203",
"3516400221540455315324",
"6151531201332201406502",
"3610423066454205204602",
"4220541235415312606400",
"0000001000000000000000"]);

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