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

F<w>:=GF(9);

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",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000010000000000000000000000",
"541315045360273486175323773170301808547584615678513500",
"550116042033060346542828161442688046406675507215486108",
"000000000000000000000000000000000100000000000000000000",
"431474646235768303027300164802757030647231352727521882",
"623210611415807340668787380558516551038687432042504558",
"850107132021155467077081878371620245410376237824464105",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000010000000000000000",
"468107000160774032865231015823227363831707482404883706",
"786575825877658447786070143808516056812114026683206438",
"836381341777780713143144603184686311476256258578751357",
"000000000000000000000000000000000000000010000000000000"]);

y:=CambridgeMatrix(1,F,54,[
"001000000000000000000000000000000000000000000000000000",
"822000000000000000000000000000000000000000000000000000",
"451000000000000000000000000000000000000000000000000000",
"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",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000010",
"000000000000000000000010000000000000000000000000000000",
"511543525026646145431038623508327338662757403226815015",
"000000000000000000000001000000000000000000000000000000",
"638184168142386874130807476558512864800826480186356802",
"500827172458771267873467141432064608532652610106274877",
"000000000000000000000000010000000000000000000000000000",
"444288767513238447577560772483822246314605011256345844",
"187445274624032447763186732872261530210560827356128072",
"170475360216114037137057307272506400004754557013754274",
"001840023000800000007100000000000000040000000000200000",
"000000000000000000000000000010000000000000000000000000",
"640046016548038175272702867042518506687541712663251536",
"505448264306008063746355538876425816802560071026107672",
"812607401446257653202810146132510001245528368582054480"]);

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