/*
www-ATLAS of Group Representations.
6.M22 represented as 54 x 54 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010",
"154422405035226642326645554415512162661201331326141134",
"000000000000000000000000000010000000000000000000000000",
"220615046600060220565434334345041313043230555423356233",
"000000000000000000000000000001000000000000000000000000",
"111320454354025142310243535262501400400460456455515422",
"152226302154126050045331516106630251533124350513545422",
"000000000000000000000000000000001000000000000000000000",
"553525122666434650255010522305614666134450466426650542",
"000000000000000000000000000000000100000000000000000000",
"523640145014014451532402404231543535161340255000321510",
"615556144141204431655561234301111101342133235054461223",
"000000000000000000000000000000000001000000000000000000",
"151050306652503033022416530355055250043235616356145366",
"125332153554160456621132535612560415561524164342656265",
"000000000000000000000000000000000000010000000000000000",
"312445200302006255202660524211060240404053500226500065"]);

y:=CambridgeMatrix(1,F,54,[
"550000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"413020000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"445010003000002000003000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000010000000000000",
"220600400005000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000001",
"530342455440230220646426634620360464313613351326066204",
"460121035521313561543361225152120615003662546216563142",
"000000000000010000000000000000000000000000000000000000",
"601352225040521256245600452063131542433026234455030233",
"651060250420202212341062013112350564231261264455624420",
"536566065501100510003061345304612641205623510155422565",
"226161143122505654536513543224256152003311044320610611",
"000000000000000100000000000000000000000000000000000000",
"554515244034614306341603216211163516111412513643241615",
"014322432612443521243404412356010522511126106353654163",
"140464031553311336066664141601615663561456642131262306",
"554624432460012224040245344613116063115140222641432461",
"402615114345220666150251500115111240050624203433454530",
"431645504665305055665633340632432413054121544402412113",
"254455506400051201641364441313204305005423434623352554",
"000000000000000000100000000000000000000000000000000000"]);

G<x,y>:=MatrixGroup<54,F|x,y>;
print "Group G is 6.M22 < GL(54,GF(7))";