/*
www-ATLAS of Group Representations.
2.J2.2 represented as 12 x 12 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,12,[
"100210011112",
"020112021211",
"021220021120",
"012111122201",
"022110211010",
"002211221100",
"222202002202",
"000220120201",
"000012211010",
"201122222001",
"202101010111",
"010001000211"]);

y:=CambridgeMatrix(1,F,12,[
"212122102211",
"110200021201",
"121201220110",
"110100001201",
"120101201000",
"221112002011",
"202112200100",
"202020010221",
"022122020220",
"020200021001",
"122102020110",
"022011020010"]);

G<x,y>:=MatrixGroup<12,F|x,y>;
print "Group G is 2.J2.2 < GL(12,GF(3))";