/*
www-ATLAS of Group Representations.
2.A8 represented as 56 x 56 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"12133024333345314335005211604565611251455666616150156535",
"23361243342632061620121404630665216624410156015320202006",
"00000000001000000000000000000000000000000000000000000000",
"64431613530021056560164606112112360360112210604311161645",
"43432410001505542536156264345411340452543342243002550350",
"50364030462230153300606203101616410300506664221415340634",
"43662135150162652403433425224516033426150405201411313410",
"65221141025546405363350622541613226265031051200255520354",
"23256322046526132205425640654211135616316411452342311121",
"00000000000010000000000000000000000000000000000000000000",
"10201565102664420356046613422603364566454233362364546120",
"55462112126120152465362614646225014404114551601126626120",
"02414626010043046614633263031410005262112334336021345250",
"46222511260161044351432611660653350212422455351315464220",
"43036363246644515421113401601511206515222516534410130402",
"00000000000000100000000000000000000000000000000000000000",
"42524661113135053434642510534353301560630421623146334002",
"14631036052610665153043253530421314540431440624415013066",
"34430653235643033620305365053053524314263434403345502212",
"52120266232626335044122450535065321050056310200341213324",
"34352661034436351350144306266141113453231564660216456505",
"00412650054155013641452635250124123101624150425630264646",
"00000000000000001000000000000000000000000000000000000000",
"11535141461361030634004343604412312153163430600060046343",
"11052043155025362246254044325403120156124603334041546532"]);

y:=CambridgeMatrix(1,F,56,[
"35000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"10453560414360601512435236160446041141420612314351264661",
"64064661301513062645125661604566235642153321121411665615",
"40642045603400145615310553100623663206113333616651355203",
"14466335660056233141515306102546535430134441334053516512",
"25460245052015642423540453041466135615113131264122035613",
"12046041131466663435036555053200164216634513461222540363",
"02524034400233632121316223413642231614644503120031635646",
"16031305414163051031450326113223606654022032056323564310",
"65430645123145216402063646000523526416404446402222551454",
"12562016112622355516204203632635126643544426012663361255",
"33636026223423056006330655030334012454120411451513430033",
"04220236266350114655453434315315264464202201636346210000",
"64161122134042406253655321300223604653133523100316120152",
"16020030000010000000000500000000000000000004000000000000",
"44433332643363102626142452035321122615605325326423221143",
"36053106242460626213642510234202504332240215510052453315",
"24002132543644663121414053602424206162503601026536014126",
"12244420134631161025361200561024206116055665032666440222",
"52503525015546454002425046442016155416155001253345552653",
"26316654224133016626203503241651553331320535460531110403",
"34101612462626443046560301364034264151335221022500055513",
"34332334632024501123235433246240553405064404453206610145",
"56156211504426514201362103340115320461401233661334530663",
"02121260536213406050036653141146403261224414050263545604",
"13054310362654035604121356640545515602103515223544624650",
"43631656261246420644304554665115041304130245213356103321"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is 2.A8 < GL(56,GF(7))";