/*
www-ATLAS of Group Representations.
4b.L3(4) represented as 72 x 72 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"431406600010000000400060000000000000000000000000000000000000000000000000",
"344160060000400100000600000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"466036500313555614254402630065050254030425211014351210620310544010155360",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"551156130462635265444163505504155353432353365230353624336503011540561066",
"510346522214510461206624114313326430145363102431324362525205404412021414",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"312223614150213405523441650410666622646201230126201160241335124464440230",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"154631355005042002641556441562152133442663632104553515153621023426560326",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"426122465040616655123345125515432440050562263226455512664333301062611044",
"264001232000562312013364505221101006602532433664145354441200164350412532",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"433240405126060315334433554013501235333632323364161251504251425430454313",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"621033441543210451354132004162065244235151210121063226661352611531523453",
"626005302554530523432561126036622250450015103422140104423541641542112502",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"665441110063443205505451652560333641300226425442004032613540305634605130",
"462063403021226544325606533066323410422415214413413616000165306403556432"]);

y:=CambridgeMatrix(1,F,72,[
"360000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"315040000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"415010003000002000006000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"210300200006000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"201360426053162604532344454515315620000201113465346244356120200211626215",
"606445020216645633352101313054152214644042002154236101103340522601560462",
"044204160532420344451212050515336622241665302464160162520501541406303160",
"254401302560026232243235103063201200313436251432315336302443014143152502",
"414066241550646016143111021520534623053444406515465552462011300461401353",
"613336622235350343403433006005065551302512625432533163226123031556412115",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"025011312154063644550561430420323426313161200411303040336213036524566042",
"602121520601052344066143214243240125621103036054222204234500130506233121",
"342443603214451543643435620243465240514421422552162522500265236302242604",
"530064332533641303226130160050603550566046233256114346661102341102343164",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"124104603606365034444625551566405401155044636020143201255505351655321051",
"203415250054406131063602541053305446634010005501365506202346501442436466",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"043230320455050263325421130552045131152645620453021556021443520605113265",
"245314066222106223016646061330022146634361335203512300102403062545242513",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"565010325542426235403543343611410143000455250321204204162421355666535364"]);

G<x,y>:=MatrixGroup<72,F|x,y>;
print "Group G is 4b.L3(4) < GL(72,GF(7))";