/*
www-ATLAS of Group Representations.
U3(5):2 represented as 84 x 84 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"663340111334621252441445111303335012012052613565520010223030626634501254164425366311",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"353322161403335102231132650301456011536612641034021045543221302116361055254224602045",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"240024346020415134561446162416641515301455614150225166623044255530653300204402544151",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"526531401364413156550403003530055045242264005025516001555564532561550460436220441333",
"452542451604606363655120520416123632020020345602512204313063146152622040222332353503",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"101126115463466454412220043151130230136450020342604642452453002114100414662265403452",
"243631521000020003263631463044445426316436446066223532512236013026463155653425053653",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"322440040354005123112615562414466316313146422502056622624406456424503630561554343362",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"245454430015143101056543023161564020500103226512042166242145165432550054364423462636",
"230436322436211200114154614631242442343226251444543123663506554616451354466523226530",
"541506160010050000300060000000600000006000100000000000000000000004000000000000000600",
"455116060500300100000600000600060000000000000004000000000010000000000000000000006000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000"]);

y:=CambridgeMatrix(1,F,84,[
"460000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"365030000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"463002000400060003000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"150200400000000000200000000000000060000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"130200400003000000006000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"466450102000004000300000000000000050000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"011225663340512003062551522660211151262665365113112056042552034530334122414124642240",
"262154513441210020615614440031005345160126110036110644213220210646345254340164044154",
"252616503102624645205461055235214353134534113362311552546356604403035156036043631064",
"000415124244044540354653222266666314101650624415613134454443325335521362134361402334",
"340121536525420362416033255440224650130106111136541444661060656424632365010100464541",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"244260036425505655423112005310410151144624011613104001635216042125512401420025242112",
"336502560605626241031126263511441661034452242365634301465362546363055030265362166306",
"364503054220640606416020500642622605034511015532213140606254510033141342162534223263",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"135115620300402316424135205616506404001233661240443250556433515133640526210432660511",
"032125446154151602436564444346024230160344335533520030206055306450465341361035404426",
"025110000222543454232462223024555254335353300215565633614314430614131234305446641154",
"546552245146021032530331115616112323445610216421240213514064423656665262006314346163",
"212336115543214051505356024542151542061645524633030022051451254110545012133246353402",
"601146366501221522543312504306252611231324656642423304005640434500564323332111024320",
"502066304022645630211231064613624230012544633462602643014614121130114621101122114265",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"106033456166335165230532241411262364201004214422354016645624031634504543440345331341",
"052450055356315652265140622355030364043265006200061312564411315216232016145455141014",
"350302633246041160234435234235350550462010460502666313404545020466154555123341312440",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"015151250454260431033605114124216143544630523400441423165533125434126515136332115523",
"253605104353232555545225502002566556465226066156031161001344325516105231061343244115",
"420055422515560601313201015403144435463626563022322415454444013401666636201540544402"]);

G<x,y>:=MatrixGroup<84,F|x,y>;
print "Group G is U3(5):2 < GL(84,GF(7))";