/*
www-ATLAS of Group Representations.
6.L3(4):2a represented as 84 x 84 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"520402144321110331246625661103456066403534002353216501512066562210252660610236556461",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"605652112212033556331406434510225332240342026323055424502646103233106142303645153536",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"406440056606015550263532210042506021555516661041521232613446661120323636021553512356",
"542640243413430533620561024015354403153025123561155360012423166212261151603000002011",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"412026552510164263056516033232406452344233662622461044033306016333616115062362022403",
"003233344565006256130460521162243545533261165406413360353005125230145650500256206203",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"325033412642143324013466341036323442623055053001161215122026322446220253223250114452",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"626052135666230145313454651614320300652204550250362166616221146353661314564425631654",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"643216364321424633440500532543606465226551266212655343023412360262523212104102563555",
"232256415340016060551111214366144524161446066642152045014454535213063014303616065441",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"632004015056123662521162633112553314664115505143303462511603004631313320036511365362",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"501164640356300321531461063265401455553122646065132652651441663205241501356043561661",
"452602034016645256331566163035154602313403430162132265256513611326234245303650610144",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"164404064621104435040563101065462654022220043155453334562262656525046303340052061166",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"261061311504203302522235240141414601364240030565156515502644421601556545011132006255",
"545125405461246035444202424135236253352430362405514055462361536526455614130524612626"]);

y:=CambridgeMatrix(1,F,84,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"104613016000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"261330051000000000000000000000000000000000000000000000000000000000000000000000000000",
"460066006000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"523030000402100000000000000000000600000000000000000003000200000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"253525044513423460630405645222322455016004351514463034361324223333611244060512046351",
"535601260136640203015312311251663605611426033241626064423102335460252053606122542453",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"205405152624435420432104654303160643036425404160333545044423641030440456250345141214",
"321425661166441350021141635514522016311501031016152014615052530316023106320236022236",
"132613150222205430541304552264463005156033655345211644034500460534430442644104322346",
"616020600502300000000000000000000500000000060000000002000500000000000000000000000000",
"125305611066561612450661246650643050463115622333011633343652303403643450524320302326",
"504326054242241105263103331413255330100451234353265423255564556563114631366233521111",
"603636312664533062054623041303621141301206353643545566063564611453031406654363151110",
"602110423041650120360664236010062440450656241113305325243041246105223026562242445510",
"211514612521004452413160012561522021121222013365336121536646463015552365455562434143",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"346115011522336165614061003024555223254405045113064613202550536410263334522262362405",
"516204000603354561503115330303211152542635021260403444664054000331452411155166663111",
"052343230512325301160661355144602643064122664411310015535132533200655543431504536220",
"521225210454463436062464226615336216005156131012045004643465551341410142245241005600",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"660136200361133105361456250552402422450624634413403111503612344445642406110116144036",
"622004426060255223245646115454521661046201540032144004512340032424510520050035156322",
"652056521226335652240632014343502151532345164130433361211504005026260023602132152446",
"452131353211620043545031613153056213556223164220424412051551351534525220621645142444",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"304442225365010564621101352246216654646316016335302444523106361221022645406200253300",
"152603452501133345634140341031553541030303255525543435162436610466535531002463321360",
"446140311456310436302526666601143122645140121131312145314234556042453012564430613644"]);

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