/*
www-ATLAS of Group Representations.
3.L3(4) 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",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"662605100020000000100050000000000000000000000000000000000000000000000000000000000000",
"333140060000400100000300000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"051446463046506414621605614062463041266030302020106616435404213013435653162646046340",
"450450331240423262414454265663245241111120106341043435163045201146012040212455516203",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"543346604302011420413503426062665620331004664144211240156051566241520535162150003432",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"421156005242625551635362233256233042130462001545603020354655555324533561135603251433",
"506366205646143626115243550626612405500231141536403523211642145555544031541101166264",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"655555411562222351036311441432634113250026122455600423561502465402646245022231015143",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"200513554236245623656126562451352632436521012216561330320630652250130153525322530012",
"551633056436350305005523204002543364026251650365045614064235102260626664625033155143",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"440053032044135560644364104141111155411651311444423434312144342011650606644133210315",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"514420245522336303510424150640241610533306542360126641246030550360144235260641145352",
"032234106002623346360504566534623123066443120024050502360266045263306260161531320200",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"044205316200644416623635606322301255645515024653250143512266611504442612656454201426",
"444614515405031545051133265143110426150436366451313311164526005114431035354521130222",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"264363424106641112246256111104023513114653106026466465536035365543045265634134656555"]);

y:=CambridgeMatrix(1,F,84,[
"660000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"016010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"116010006000001000006000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"110600100006000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000004000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"065311545533062624203041435410452011146133013110215431555114531623206565423124531362",
"616524112032655053615226105061551464224431514136321625412122300356032223514645214356",
"640232404056640034420115224336132432443612115134101145616225000613245251111002032663",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"100300652252403142160610533613222125241210405606306620522563462603233665535030164312",
"021102603523660501401010553153053161162030556410104432443054422155152543445105634412",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"263251245034260125524650261446564311231433224005461156003062055650532243216031041613",
"411464604405226342655131520032633562661460535124153253146255343016631331461046663225",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"346623056263160460445216525235332634555400236341414420141622162110216662436056123044",
"103134316422633154364554660015163140661534164564611613536224155354055626264561020062",
"141420656602210365610134651656612201024401625153001613666115350050521554126314252043",
"016026405261035415540525046456546334431566015205264353454130262550030646531001535151",
"031064214056116300422454161600345052504602555144516266455602005123534211341123446064",
"331414030542113316106346213541530343662365610425416651303325205551145065620640242144",
"010435232044552166266315405403525612655364300260252222231164201261534536006146520145",
"340422515620651462411364146513216425524163036634143220260460426610320312161266120036",
"525425013564064426051450455165204350513326565422414301340220331266565616145265404100",
"300315242205133024352111123321110105501112553202262222363526632465026114561442056051",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"016521264603203215610350624115011340411052616635512614454552653042520040622165140651",
"336543333502265031602624313334005315646413463402214355321004254346560144313311645421"]);

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