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

F:=GF(3);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"220000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"110000100000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"212110002120100000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000001100200000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"121220010001021200100000000000000000000000000000000000",
"000000002001100000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000010020000100000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"212110022000100010021200010000000000000000000000000000",
"000000000000010000200100000000000000000000000000000000",
"000000000000000000010000200010000000000000000000000000",
"000000000000000000020001010000000000000000000000000000",
"000000000000000000010020000010000000000000000000000000",
"000000000000000000020010110020000000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"121220011000220000120010102120000100000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000002000100100000000000000000000",
"000000000000000000000000000002010000100000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000000000000001002000000100000000000000000",
"000000000000000000000000000000000000000000100000000000",
"212110022000110000220000010001000021200000100000000000",
"000000000000000000000000001000000200100000000000000000",
"000000000000000000000000000000000010000002000100000000",
"000000000000000000000000000000000020001000100000000000",
"000000000000000000000000000000000010020102000100000000",
"000000000000000000000000000000000020000010100000000000",
"000000000000000000000000000000000010020000000100000000",
"000000000000000000000000000000000020010001100200000000",
"000000000000000000000000000000000000000000000000000010",
"121220011000220000110000022000000120010001021200000010",
"000000000000000000000000000000000000000000000100000000",
"100010000000010000000000001000000000000000020002020211",
"000000000000000000000000000000000000000000020001000010",
"100010000000010000000000001000000000000000020022120211",
"000000000000000000000000000000000000000000020000010010",
"100010000000010000000000001000000000000000020022021211",
"000000000000000000000000000000000000000000000000000100",
"100010000000010000000000001000000000000000000022020211",
"020000020000000000200000000000000200000000010011010120"]);

y:=CambridgeMatrix(1,F,54,[
"001000000000000000000000000000000000000000000000000000",
"022000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"002000010000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000000011200000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000000000000002001011200000000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000100",
"222000002000000000020000000000000020000000000000000000",
"000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000020010001120",
"200120000120110002101201011000202101201010100000000000",
"200020000000020000000000002000101202100000000000000000",
"211110001120100002111201010000000000020000000000000000",
"200020000000000001202100000000000000002000000000000000",
"222100002120100000000020000000000000000200000000000000",
"200000000210000000000002000000000000000020000000000000",
"200100000002000000000000200000000000000002000000000000",
"022001002001100200010010110020000010010001100200000000"]);

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