/* www-ATLAS of Group Representations. A9 represented as 84 x 84 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,84,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "005411266240330523355520326633003115620503531253365161313062131261206001563144613621", "524323630026102211421165062544640364130230153052502204202603356452440252663216145362", "634503323565233213053502214322552545632404632440644463341603640106252062111604512400", "114635416433444041253042452161116445211320021113166405631336162106521043151213105366", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "311014002243243250060362662166006635412306110260310406210253605203610066201206246445", "306254022265563006003051251431656464204213110612252600034154560116232650463205053564", "323405410601342520103165365212051000336236463506103253356312635436242301115331456221", "620440002340543361606142420144610235310436513324414416423122534155023210246204135143", "014354152406340153554046245456333510023144063633224324353632534533025144441325024650", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "105414250244060264042004542646064040022464046310213423503411136462416634410454636160", "621630464403453015456120332661446142250562626613051522546460533036614163221244365320", "551445316542213521523344511143054451505120164454014452514316530335345560415150255303", "650324044011144053421356251424040452656456525623325422412414461202055602635354360146", "210546115244551405331013120346064402603622236512400135004425550453345040442055211533", "102653430320625045243522112166135346345553056525220356526564120030363161564343606664", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "643003640420150330425432336001355455406354662346165655246404133305430656411060142225", "132541351066022552201311400213644366452516102216233430526343543262361045533434131455", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "151514102002210141051036136500030643456121361635152402661601230021046152413640335442", "550236016450533045431653162506511333426025141016351112633214314634102112460402546561", "561134654344555626651530055366611300555656445601360403201455532621361243223450341220", "436136661633251600663510346105165665444343202422546106420334311612325410165353444664", "251450064122612656053042216151023355526223605554146561314655435063036106450362512111", "315501034654544505441600464440313652403130605563142222416624566466602240462136025335", "615312041110634336455553566563124565221304116101441502114063162134001266434120626060", "534441054534644136153560154066141403043365505436465354350154611551135260260261322222", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "115506123346625263243331205120153065616112222666056111213212154403361103235115522202", "232600551363455161113243153336656036131065426035666144613442050215166130664105332154", "062216452540322623113203035441465015461464355512326443261356134541131506046663556341", "345010541342521433162030316046634015403216342336106465063630502613116214411362504425", "224443566362013313650436665120514433346604151514411242555515626665034461356504356100", "421346125601661425623445543100151434212035534236146455135015054625565525210410345515", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000"]); y:=CambridgeMatrix(1,F,84,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "066006600006000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "600016100601000000000000060000000000100000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "010353240445126222213113004046026015566656152221406626221005543002613014650630334215", "031165116663153661442553351433050000406156442135141605224631221036126523466125616530", "212655534233432531662162164426440523025060532320526441431114165625003625461520363162", "341140313343304160640436416624564455026221535563566122154145316164655005043411631155", "122042341313350600410231441626114464510551010423030615543646344061400144302546535345", "401304065231152144506206204045650014022064053362202553233021036645061513343113134011", "326630565133000020123550040166420524316166453424264542352421353666223661650030333430", "106522242143542611501344254614221651462004554033562210566335466206566213241003206264", "025140335603265031036153135642034143440666242532106411210230652235253110344310064363", "320012155503504521535411035064335656551253533252445244035052160365444541534004650301", "334204312244206222106553320322116504240622346326331423601634566112444232423551055664", "663346215454254503235150420050611520054015326520145661363035611643160653032313242050", "564442153063543502045411434201113652632013540136423435240062150556606325551204026316", "551001504600622306301546202344461635502420213510361450062416526121624003011255652030", "406255245106515562063401666131335660205000021206563234403265644300413041614615145456", "406403442611020644466254624464305523141013311245245142214646645151353062236222523355", "122454643443655563146600425143405540536221103312654002524314660603363050141400164160", "466405233632206354532643204225604005122515033262432662123141342053330563316666406206", "614120104466042000465422620420322202333404612614016236303333524155666213202200554242", "422602054024144631452413336624330554520030464614366604126564264101044060334465216204", "022126031552324521503111264620636013201014010440052611143462630654465035604522045615", "013633022665455661211351020162166253441225035452453402444412266202124064631051211103", "633616414212350313635031552321300003536254162355365055062432223666065355341560454033", "356055306000546104201005215043015552550205301545452440454000452416604160605416221145", "241401000404362626112203266050254416510631523162451505325612000511011103035434652162", "165230150532503315300143025545264664133405154526526364033364112223533546603216544412", "510354454160046463254035663042634536033631665345335265043326546220033052166322105136", "520200245406042032310121321510064026433556544006054120240406360511161144302516015126", "661264533005131365206625143653341141463414615632413052516026432506161542605663032431", "634006651214504106043205516035214215133646224242355433232301064242162352566401413406", "200253136621213565032141415524110413152323132056326664366541055252154521266232366150", "101656160010141615623113561133135136530051202131366404550556021205133141564234250150", "551100406114031415130163604251213156353526640300444054011616212646055103061204120616", "612303515013415240433365056221311236221554430064546345333005401652245266542406462435", "150620162501546333350136135052410133101262216042434050503210644626331212440654356055", "625321014526362613234243024124264513263055514630645235546434436016516452161563522311", "102305050261504020164322323355254356041251502514465653553465101104334124030542314456", "315616116103204440503012004306234261100126503534320245412411256100064002553033002462"]); G:=MatrixGroup<84,F|x,y>; print "Group G is A9 < GL(84,GF(7))";