/*
www-ATLAS of Group Representations.
A10 represented as 84 x 84 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"635231050400000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"503216552600116154154620554130402365031345132040114361301534052440016252650461462154",
"353521441100412106400664154532323111012320525210012115154401152464015462646001150651",
"410043205265056416522552230105035245323201101434032055025550431532505266522515016333",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"204536134534042551432114510535641335306163162023013640061522542533314532012141554120",
"336424426562360422330341123134210122035140332632162556363165016412313122646122152052",
"515062201313631652366325044106430444024630526014312421261545620664166602445350041563",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"152063125121634602035034262162110564510634400250606263612110423043401662053533134245",
"305212116100666025222605126215533045253620240265643316624200641425416412663303321251",
"310645150402633525443215235445435142200200261044135314366455503345354131601415351564",
"040632436353215136125063356116414040245356254316334206155040553122221601565465432125",
"506200361362314140614055642366305426316114510511140625026105313536524042241435413552",
"042003354350021232260513634021334105263121650611446055164050336040603504013661132063",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"166305161255212510015530004133446502025554426226313202460300004152446046211366100523",
"336364460653220443545123154533332261656255163146252224403530335041305223061511615314",
"423345545145323134662050035143612435615251414323554454431643236001100031666203221533",
"515225651222534446143524240400643404211664410222613516211256000202045634344322606325",
"324223250341566224660160635346552451024462036516032025551223320365330144263255562531",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"021526431314303652214334310163045326636155001531650206555220642234103640046554534641",
"524561116446131650045041056341223150531513326223234440630014421521301146513040424041",
"560266033044563111211524143103535614442342203544330604530155215433523165115430615545",
"613312241513133541060512601532013565414063341035345610544061641526556442100460255444",
"305204420233545541100224042560400641232216016362156034431351135632236343510664312033",
"334606654245060550330311453010135041136153662033102666020620156322536505353206360652",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"322055001164623154565652012632060260133441212251350161242365251212014644450015041454",
"143225220245434633616145265203626016142243424210122460512603033224116615450512053354",
"331146501053203356115613334562144223233433134243346461316061043114111125346432603564",
"462514621111552656141101142655042440154150533226415636365132032200051515505332156601",
"603504023531560013216250100653135425634663164032456010130112532565310200024063203061",
"611655413352424462453521442111343366634511512133053234220324416061161601555050424160",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"401612215431342021336453640024600622653012124012321615404253423255303415233626146562",
"124021342530316400462506001340112316164111521364013056625630153325366256120530613044",
"344040115021251234526525512361405006003654253105460150542366222050256436350660063356"]);

y:=CambridgeMatrix(1,F,84,[
"460000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"544034213532453520342005656303313525036166414460106035136531545422412665400325624015",
"660141054364553232664012634551543534250004451106202143640565536211415100635103350036",
"603354514634660011623550103054506662556321612451533023013426613422641365062410126415",
"044261342506353512202132366021164213041664265516623616456562263134554511466035452114",
"102152641006321334365450661401306415562415340054346356305024346324044020521462345164",
"226355456650161442666533323230163302255550630622324353126061136452511414151452456366",
"156216211132155602104112305013264666036262204213166120003145400321550612541434035620",
"053365231422433350306022664666154000524404362403652145464640136361061332206166156635",
"241242622531460440033146024413560464245005134250216601355346211420536340000650510156",
"525520542062353262426162462125640303622213261345636214655223221330113426412011040115",
"136342334012464601640402216052061146446114013464642611115050432234662000461636231300",
"421545141424423060354526462362466215343202263226364506602551634461632306202603444406",
"250310664115444056026366035020216130640356251620656106056355264332606342411346031043",
"343602012643530053555665340216461660206226463230665521623253133046166623525063061014",
"056261051655624662650260512564602613540363562425032151651144514403221000205625053004",
"120561050200664010435032011124605441614560510025136031006121112253613115433023023106",
"525552550263636501200223154435130245011323652404062445303406663001353612661331402421",
"651505214501643316363656533044255664605263410516436506300351051446005461334532042523",
"356356243143144552424153653240600360036264551130456215215354260215633116460022322561",
"043452325222624303143023654202664230242425643033064464065012213543604632326212143563",
"050424220524451132431600333521010024456462136046042365621346333343523251406001650141",
"022244044100150412356021430501656533031261030400260260353231665064303622235205346500",
"002203552403154413102645664300612021503313510360455403601566403432255506342634065064",
"460552663642106151625321336124302562362200530501105511641302135550452622511312232612",
"241555361513611206006313645115051154261420222164423564046366056146255310355563415420",
"222240300163500062341403121020004331432342225136324354423432116136240101135454032330",
"620343255041210366044053502336312644045263060253142500341425050331166131422146452541",
"510003043626550000526361650045631310212351014501625332645012146546456552404006256363",
"251134255566305033552161012640466514522216436100644650126250564354561355332453330342",
"023542043054405165302115253000146213366533353062263614351556163364154662545424506111",
"451252312604000133343456143202413651620426324132450123550430153410564322650300363001",
"065266465155232434233355552141510305156504641314223316353334225443030641645451341404",
"212033136325541422041512430301325366654523453526103521345225210516464332063335600413",
"142121262043152032445355462664124315334244025656240323013325332336342410141000266551",
"561122631354416203046660341452154015553504601553531204014442403110300222365662505326",
"436050641550045555532013426042352462051531460113251406266644055041642560140640466365",
"451516342144626601003205244254064524216603150451034450055526363132441265402652350626",
"260425346315432445626006355410424346421022354165455401400106244143200646352650164200"]);

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