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

F:=GF(7);

x:=CambridgeMatrix(1,F,112,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"1133156644320234525052020010143250215502402121214554605424033455440032005141552354000036630246601403621560453060",
"2404400035114311326205225040040631435515125301351145260654254610423056105301355353241434501150522615144322060100",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6620461116554323341341462166422130506643250622012546156535364630602230320611166000463563301216252422533325620531",
"1231304601422455550430644621551051543210566431663554642461053530643401522431446365500516142641111005345200132041",
"4506645325052466026304140230321565142044506105612430301364132601045346620151023060234533642033103614333335535440",
"6006362234104532216410554232435063523122305130306660042255430010515663320635502523515340455106160363500315026310",
"6636666055461133014623145010213203033413351633015434054131441612165142134153314005453630440251113430253515543660",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0362425532243045002230512260602065032105435463446445005302634313331445251112343560412642661603330210202032225340",
"2243322436046454314405005030160560253632535314400365406330601464341156313326360054432622534442661424524542016652",
"4311200231635464460430256445561203205435114551320514435256564411341130232105336263341120003200634400024001413126",
"2651126124356044556326356151130541455566102315520411600132110022352063541023312403124341243156244565425544313510",
"2336521430121032205633350444103634312531323642665561654546106002345552105266136403342223332036424004465012620054",
"3260044056454133314323512460024504542303254416611030601321433045511006665442122101326515450663241520613501211211",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"6002446343360536440224561255134204123514255301556013021526430523204430534154165440621263562002006111405210262613",
"0534450411041406461516460252333143055455654502654655044626256600304236234604241131643231304220125213630133640440",
"0026056411131400415016424524135454431456103552511601135050162616316326543364004232021462634236350442125100645466",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2225132611631444231204235431652242613361243563336303421601630521534613432416041541260345654044320144022610340236",
"6251502060640455425411241540165530536564426515425364656155044554006642613456401103001063252565631045365410004366",
"1164412051612644525651550535442430563050603662513244430215340505150010400451044264505345565431544136010565131543",
"4246066001011145232564611151032551141343555112320355450102501450340661256660344140262403302556650656506023261320",
"2632565423521353443256201501166111245605636005130025002025432060054611062625450216530415552232025243316611245206",
"4635231231232522354324143553420132351463252352044535140543106052046611142326061030355613602630201562016550144166",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5620130236002033230356263556261233245400314266451035014003263203511464123531120044335030511611504155222500215546",
"6625656644606426153255566402222263422446326050543065406052314333436343146155415650502310022244540163663231636166",
"1542605411565422626531645334161164122556432451233530601611201342403516604315060366153065062600556431465410051535",
"6444242326410253163061601136212641064153410105534266131441221405364013611531340264125124500341621110252426025601",
"1135505542510131563200406116525003453654150615504115344414515433414434601314361521511552651442263106401222251544",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1611023454220065253603210406336103021063013236200513000101541244631442322522411143201651424105325642143200403135",
"5264541036230563013464611511266516625253616320304235441211542616000012503453326334001011044624056445330301653643",
"2610132134054225230025552536232200623312326514441264606563503130521040031336143551542350342620202230222642351463",
"5000135604632341446562334143044334656114041324435653524255045063360454561354303563144024013154111053062411323442",
"1365061653415541365540505326455603660644265321520060653250651214556315432220614124433221525652316206534421235553",
"0231411354021523414641300536054203554351032314230000463661546054403433560436433454312631642211342053503615362630",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0130220220331422233052000144052203425252506104344616632406533651010525412022640442343131052653603650052443126002",
"6443046210430643335031051665505550210343111050312434063226443601342062212020645212305523041215453465260544533541",
"5442032423114335456110406032014101530266601413030162550620620062306332534450253361561105425526332153615045012035",
"4166404361506666365633633041204425465240432553420121512105433214440206135050165220453561515302556211664514622356",
"1050004405342411454310623442555124520352440401423260503526000500100234265016436566304606524404602156416404530252",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1225623503141254013661325160454424345362533360134145365501544542121153316522223403216356610422111131244506465502",
"6552501451340226231422525461300163004500314631261603636135135142133546133303164203336222305225644206006416513321",
"6450520213441245566641653423211100641601160621363634063311061635415422435213066665351565221103533044263410212232",
"2363645124646401650454624000236011256104660141451351140123005162662234265652206301050364213045222420423021124134"]);

y:=CambridgeMatrix(1,F,112,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"6304536315103253266322106454332335345026032641255642352322641143455531331456026641460520126602631036061163220366",
"0562204461464065214125262504253321310422413400325542256620605650453566220455543641424425342150140115443643115266",
"1550150542445054446424123002023660236441224602416404356251324260431246214230530440435140362016304134541464424102",
"2226362611650313143601160534466255205500131401135665263121064633460002356450552513640042233421632544101021523234",
"3110236255501501404214236533406006513621220636355631063030611223315216001100215313034143060531651412513634046360",
"0661212132223650402652104014001144441026024263146233260303144224156543550615661023164025635534620664062156260565",
"6346324056651236004655453014106563121030335315362102314141666602156216566042100325431650442512662351063000111061",
"4163520165312441410431322012654430104206161366244132136655536604152135224343655642444116134524465150406064162221",
"4530524413060350022314321063401663421341462031133550524503652226215314414224460400316163466054045343252445245334",
"3436662016240111225134302040350536400205334126011345342106626513660661306660166623140466353014041645562336316631",
"1160222543540125260500060430450401462511454134006554230301632011604013042453503064464234152136030042665614043531",
"4666061321100616506324340213063550522306440255231156064613526445243142031543064530325424543166220060312145065332",
"5666225655131610161340265352164021212116205664143161055434350001006035613630405140562150435162202061042521314345",
"0332110264226610566022126652652115116311605531014105261006236416005606456002113516055362103344503351161621405626",
"4531551250164400421066450213035650562420463002552520253224050462103310154364625332400551305510012043463203604421",
"1654253324546056550454002100433546335522634656645050106260664036116432501511436503612130150051412255354421130101",
"4000351365150113553135136165432606620023010641104423133232061410346032454563160030552313323251443341144562404055",
"0503020340421616621000603352503264553646010332646146024022334546455236540324143533440120221660256315263362645244",
"2366553440655130203105506265144054510201143146150256060530542601512200264215652356226512310201151440013134460343",
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"5524632015102662300123652504262255063146534043151055304615631630152655110464353122152213345054215212126106506603",
"2321443211561552602323421524665351044035545201100601400454035025202514323646336310551510445344516051530134320166",
"6205446464314661260104215312332543061112466446051412212460530321450423341000154333366446531116124053306566030041",
"3251543136036226035010001325043256601311313402411344442300556140633600411513210134630305623305660246253335333304",
"3300264415131635566036644032151433426005352161314352044241246655060013022654116606263646334036432453253634212005",
"0201206216054121643512505136611624303410221141605423116102355404151214621430033610156035503343121011623122226323",
"3163456030122602554023034262221134624164364010600254345640653014226420664145114004021460542231434146144230366104",
"5241416555055542100221050515510106111414114161001624404440425541140213345025452563235420236341445501224003315514",
"6415231454656620051341464203400053160130144445625445516146161333103133313100615220412125026016505532213221042015",
"3466130526422644533141403404626113012033351153203322132446402545414144603312265116662456402161341315451406110303",
"3302612605230252535323000564311632352250612163543311536552102536326602562612235166200036514324235526325406562603",
"1545240205651132230141224314312000161302505652366613421240366551436632553222256332641424321646151661345646041310",
"1422432151311460604524243560046566363156010433252446411102604005054116666520024556431502636626335440504354066031",
"0551266103363501533351550110656354122065244354013336561654511263201520610513106605152024162530116030243550332244",
"1015006163621031644445031042415621444646043541252332102140241432233166245316416111436401463226350042665360014235",
"6552145102302032601310024206125604564162560601461461315634630313211420416624546653046516624463506533365631100544",
"3040003556505431265364624324526441661155005260506225035534645124434321406124660024110463165014240145444540465112",
"2421453145334054561541100602616000064623316612523400350546216545105311003662441630122106135552656265145510154452",
"3303515654313425410662333433411150335132426006143114313541462204045335465331520241512345500603005521625413620206",
"6612662510053210024304316230553553352100563133433230643235315400242036265532655263360016153243041165346641514524",
"4636000665255535525054435220135511564556663561233032321112650023104626213560300442415412120422214100466364334351",
"1401104603565106225143326260234150016663132553204134514236014233450326035215015026460645601420632122025224331414",
"5411265541600012205531105320010115401163035344422400054105156140410004024165325454051514023046260366061112016246",
"0263363240403014051142321261051621224161450010021443553636133306066364360320344233633510065411660526643511045641",
"4254362250133306623461501165225003155022023645635066164332234044615254021131156526403560641204622526532021150061",
"4633305214136231046005143460414665543155410453312564142651452250423643405504666553403405035220215540114344066616",
"6050011350464442526431652033640025123044564221503601546122603233444552230545402606523101216032045401160515135156",
"6351064352425536413352226643412623452136635365333356262452452244231124563334163645611645033252556611450601423305",
"1132140565353036034620130526531414461550512620260005105611131632350624535015421531100030432346424062664410103162",
"4415261461023651601601133114002125201014626522555105256546505400255615416045605362660240451521035650353245132414",
"3312421645000113635616214405025406666155244522631345550521054364145114546266130003402013230360506545026022131251"]);

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