/*
www-ATLAS of Group Representations.
M12:2 represented as 20 x 20 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"10000000000000000000",
"00010000000000000000",
"00100000000000000000",
"00000100000000000000",
"00001000000000000000",
"00000000100000000000",
"00000000010000000000",
"00000010000000000000",
"00000001000000000000",
"00000000000010000000",
"00000000000001000000",
"00000000001000000000",
"00000000000100000000",
"00000000000000010000",
"00000000000000100000",
"00000000000000000100",
"00000000000000001000",
"00000000000000000001",
"00000000000000000010"]);

y:=CambridgeMatrix(1,F,20,[
"11000000000000000000",
"00100000000000000000",
"02200000000000000000",
"00001000000000000000",
"00000010000000000000",
"00000001000000000000",
"00010000000000000000",
"00000000001000000000",
"00000000000100000000",
"01222020011200000000",
"00000100000000000000",
"00000101201200000000",
"00000000000000100000",
"00212000001221100000",
"00000000000000001000",
"01000002102100010000",
"00000000000010000000",
"00000000000000000010",
"01021222020212020220",
"00100201000000000001"]);

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