/*
www-ATLAS of Group Representations.
2^2.O8+(3):S4 represented as 24 x 24 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,24,[
"000000002220110000000000",
"000000000000001100000000",
"000000000212001200000000",
"000000002121020000000000",
"000000002001022100000000",
"000000001110120000000000",
"000000001202002100000000",
"000000000012012100000000",
"100000000000000000000000",
"010000000000000000000000",
"001000000000000000000000",
"000100000000000000000000",
"000010000000000000000000",
"000001000000000000000000",
"000000100000000000000000",
"000000010000000000000000",
"000000000000000000211012",
"000000000000000012200120",
"000000000000000022120020",
"000000000000000012122122",
"000000000000000000221201",
"000000000000000022100102",
"000000000000000020102120",
"000000000000000002121002"]);

y:=CambridgeMatrix(1,F,24,[
"000000000000000002101202",
"000000000000000010002111",
"000000000000000012001012",
"000000000000000012211222",
"000000000000000001201022",
"000000000000000012221222",
"000000000000000000001001",
"000000000000000010201102",
"000000000011012200000000",
"000000002202102000000000",
"000000002022002200000000",
"000000002022120000000000",
"000000001102110000000000",
"000000002222222100000000",
"000000000202120100000000",
"000000000121001200000000",
"100000000000000000000000",
"010000000000000000000000",
"001000000000000000000000",
"000100000000000000000000",
"000010000000000000000000",
"000001000000000000000000",
"000000100000000000000000",
"000000010000000000000000"]);

G<x,y>:=MatrixGroup<24,F|x,y>;
print "Group G is 2^2.O8+(3):S4 < GL(24,GF(3))";