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

F:=GF(3);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"110000001000000000002000000000000000020000000000000000",
"110000100000000200000000000000000000200000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000010000000000000000000000",
"211200201020010000000000001000000020000000100000000000",
"000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000100000000000000000000",
"110121022120020010120011021020120010200111100110212122",
"021021101000110002200020110222122221201101111020212221",
"020100002021222222201120212012211000201012100011212122",
"221100222102121111202112121102122102101021212020221210",
"220221120121002221101210221222201101101210222020101012",
"001121002011012020012221211121011002022102200020122111",
"000000000000000000000000000000000000000010000000000000",
"011021102011102100001112012211120201122111111010212101",
"000000000000000000000000000000000000000000010000000000"]);

y:=CambridgeMatrix(1,F,54,[
"001000000000000000000000000000000000000000000000000000",
"022000000000000000000000000000000000000000000000000000",
"121000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010",
"000000000000000000000001000000000000000000000000000000",
"200020200022011011011021120020100012021221011011202222",
"001001111010122002002102012111112000010112100112202220",
"000000000000000000000000010000000000000000000000000000",
"102021002100221111000101211220120212210202111211001010",
"010021001111220222002011122122201002211011021202120121",
"000000000000000000000000000010000000000000000000000000",
"001022012000222200220102012100111211101101110210210012",
"102102201221000111101100211102021210100201202212110102",
"100001120121102021210200020220202121102000020002102201",
"011201210100001210011200000120102110221212021012202001",
"102201010201121201100122202121120012022110000022020222"]);

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