/* www-ATLAS of Group Representations. J1 represented as 120 x 120 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,120,[ "001052100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060014646000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100052211440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010135645103500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000015003431063000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000023026513225620000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000002520103313230000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000032513535103063260000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000065265152264115130000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000041445122154431634150000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000062212046124454203620000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000052055134432134666663260000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000040331533245634124611320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000034242204423143643014024260000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000022350015431311340065416320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000036661641511151446061620110650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000036413652651300423132500360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000051006441552152444366604142600110000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000054252341531100156310450610620341200000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000002100105310654153004100566650242400000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000016433624222125542405341056510550465300000000000000000000000000000000000000000000000000000000000000000000000000000000", "000026010010021641230231006233115661040550000000000000000000000000000000000000000000000000000000000000000000000000000000", "000002622652311410645664204216106103603560000000000000000000000000000000000000000000000000000000000000000000000000000000", "000065421153305052461131650010312551230335440000000000000000000000000000000000000000000000000000000000000000000000000000", "000066455406636223001465546453410154261064055000000000000000000000000000000000000000000000000000000000000000000000000000", "000022513145615225053331225410252434141332513000000000000000000000000000000000000000000000000000000000000000000000000000", "000066232261031320205420535656441342221010526301000000000000000000000000000000000000000000000000000000000000000000000000", "000022602503335634211451421461012143031002234312500000000000000000000000000000000000000000000000000000000000000000000000", "000024646156404240432551121233455331135400143421300000000000000000000000000000000000000000000000000000000000000000000000", "000060636300020320116345330616123126403334660461525200000000000000000000000000000000000000000000000000000000000000000000", "000042011604600326654641454106522132400132402401415030000000000000000000000000000000000000000000000000000000000000000000", "000041263330000554552345500301436151363246343551231020000000000000000000000000000000000000000000000000000000000000000000", "000031504531235551312434563561365523344464426205004434010000000000000000000000000000000000000000000000000000000000000000", "000024303055613503525224431144652562605056605063260632664000000000000000000000000000000000000000000000000000000000000000", "000012011322502615516656400436203041464222654010352405113000000000000000000000000000000000000000000000000000000000000000", "000034031432050302124226055164050023644122212424161340424266000000000000000000000000000000000000000000000000000000000000", "000030166564126326621121113251604463242444043504204601120644000000000000000000000000000000000000000000000000000000000000", "000065213242603210643315253142122341412063254604666213633613100000000000000000000000000000000000000000000000000000000000", "000012044043663065204242564016534131614624012220566322213366510000000000000000000000000000000000000000000000000000000000", "000050002310016364610436161235336114664011543336022251263362630000000000000000000000000000000000000000000000000000000000", "000006502306140511521501403504632325465412220633222141505360340000000000000000000000000000000000000000000000000000000000", "000005213350350101622650115602123465413641226626526163034641055600000000000000000000000000000000000000000000000000000000", "000054212611046465623031461031511050211561326425023022303033656330000000000000000000000000000000000000000000000000000000", "000045350204602116415466111453106501552241115614411322552156410040000000000000000000000000000000000000000000000000000000", "000036566204066100410146651255220545115654666360214640510413043530000000000000000000000000000000000000000000000000000000", "000002513606344361020554131116542314135545341332360624221442134153600000000000000000000000000000000000000000000000000000", "000035445052363453140612424602642211250423144320424266201533023542420000000000000000000000000000000000000000000000000000", "000022405151356031131433034514442641105112650513463463032501553105300000000000000000000000000000000000000000000000000000", "000066356326034416656356215021354344561105255111546432016466563300010000000000000000000000000000000000000000000000000000", "000030502120625453462653032201561602300226444604146201532026633623213500000000000000000000000000000000000000000000000000", "000023531622003554413651503131135105601033020351123213044322441020461420000000000000000000000000000000000000000000000000", "000000241261034453662310640645303355614104050055454115325522050460105620000000000000000000000000000000000000000000000000", "000001042423141453344621542500645145634330200432434605635002634225002160000000000000000000000000000000000000000000000000", "000006500600661300401503611350035141641166265632620523425123113515051433500000000000000000000000000000000000000000000000", "000061630211050362433042235342034645035354224251353425461432665022336305460000000000000000000000000000000000000000000000", "000063265202545661213246162213204232556606024446562323555125536414251432100000000000000000000000000000000000000000000000", "000053611233260512122651314452453264115433456626044565321103242545650042450000000000000000000000000000000000000000000000", "000032266436662500500045143616665614611425631646355101512401566036602063346600000000000000000000000000000000000000000000", "000064045010024023125414354644001603033320155252134414110432156500032363246630000000000000000000000000000000000000000000", "000021364135164563121433433645502561044000612540502056453623066243300340366640000000000000000000000000000000000000000000", "000065035254536400250444234303324432423522420626200510243303621421256565113360000000000000000000000000000000000000000000", "000025200104646145605514646524513212666200206222454614306234320640236121210050000000000000000000000000000000000000000000", "000030632410512231212006541300553061044422050354446015605506352524342004364652000000000000000000000000000000000000000000", "000063123514322620454435160354521303662062423636260036236143620035344641432533000000000000000000000000000000000000000000", "000031261131155525510453526256264610236141252626314255502426422024226030100040000000000000000000000000000000000000000000", "000062633456022121300336015004413405003263250035031311135653612044523341525156000000000000000000000000000000000000000000", "000054102664636155641001265424041052546616210520631622544364255566160653505411000000000000000000000000000000000000000000", "000015450113621232155160444323421252426422331322654406364632050156653012434306000000000000000000000000000000000000000000", "000062023164543456152014002465016350650660616410615216356210351502130031465323000000000000000000000000000000000000000000", "000054342300423036060021413534446460442224511012204600003505502064603642314265000000000000000000000000000000000000000000", "000062456155445662425246101022656430455242055432221431100646653213005042125026000000000000000000000000000000000000000000", "000000653322453420344301644513053554421402350363532454211456032511241411121014000000000000000000000000000000000000000000", "000015445662443420133656514064116521431032034346153662004105403626133415406424000000000000000000000000000000000000000000", "000023123406413231302051123061662432501562031261053041050366004063232315554440000000000000000000000000000000000000000000", "000054215515103561665336616103022014146122064610312150235250113055334352213220000000000000000000000000000000000000000000", "000054514442005565542365236004215236305564664642166025443603456505301650520361000000000000000000000000000000000000000000", "000023634613155413310633520565526540362025032454510563511145364313635056622144000000000000000000000000000000000000000000", "000062161234454655626424341225526016104224656435334055166665641014314622321235000000000000000000000000000000000000000000", "000000662053345311432664141100403620313021015634614043405236565600446514263054641141121624142542600000000000000000000000", "000015314232152461356302054541422452234410663523630452655625322240116533562104042354035146206001216000000000000000000000", "000062140064300016013661566236160066103453210211151562035120000434656301005141141403501461631125200000000000000000000000", "000062160501426013460632646156026503456111003613404345665364045646444053403016613560136622663133262560000000000000000000", "000031063325330056142020133312144622033363322632166562210665426204131102356334555551112622060010063405100000000000000000", "000031062434236253252651056530230202641651403542652330114146003545432211455046300454240401060602312140000000000000000000", "000000621605451351523543444065154505442224043156312113603664452365243354331454352451552454121415423511666000000000000000", "000062223254221204261224600364630103200352453035421222610255120303446302045414446034606311255540325611016010000000000000", "000015640561632522324416111200264263252452450130366032552000056063455533525424310116362612240430665502023030000000000000", "000023020304243152452310150234463240633341266320544234464164445554261013053412125316520565413600616561202332200000000000", "000023561442401044515433115166060130505210531565261264314524630513121203643632054646306403052644055640451526351000000000", "000023444044032343210641502516613632011552040325105525353205051502512463032245004356241414645165356333552344026000000000", "000031040045523031251251633335134132510504521636064610566625002452556635552064150526242204113525526533121252633510000000", "000023100016120341236400132026302204131224645154022653120246644310060401604122111640554350010141624133531566662151200000", "000015335621206612326361135025252244641644220555100160362065025515410121303552160366213415143046666322405350441436500000", "000062536313430401605235314544544011225621210416564665333611205004465241344443664416024642643044052522321135615232434000", "000031313136214346633426542031505433400302020546235223153036645363322005155312011442132243501424544456050425205614666540", "000015635540636234201641556423632462004003166112122635466455545212543560005356024536266311601056161015263200602461564310", "000023115426040123633013311051621052050126425544560122116504616654113325224615362436414454644012341011056206124322223540", "000000003402526003113001000521641510303612163210410436260504263514453556650153130551453324003020665163556031640503660541", "000000020340621142444544022366541624044404025045341114516544601226465265416640263421660664131510501461246654106022323461", "000046030136150310532631240454226623212413610155541601663346421252550422613002004214036531553315342211564126152560523213", "000062021652101443351065153651541500640600412240605044053634516443546446140206002326440066202101656551422642215124225512", "000046021632061545101204443302022261606636610513060310221250641403245324345362220501441301426533241154544140536413236653", "000015013256465443353624436360110051216133313052461434126641236621332533136335061143441515246561003540201344234240566626", "000015030200045066544000462443121246214454442140224312206501143162226154665623662505553124061204233055151031433654505315", "000046054555246025443134642233134232521660515035361401650302526306605336504440046023420624105336225324653554041546661430", "000046013624443234204321365514560605053052145565001162331032550522014135032561626124423506330364565665531226232104424125", "000054032034016162454413040160234330530022155106112604343620315241406103051103140326264062422162214233521055140223264410", "000062052020626435620401246152554160163124336101103256616602611030364044644513651160503021650141415114443320125202445402", "000000056304464132450232261034565364322205200661265061444316254625632333513060311220000060525143163106625212051542221331", "000031011112402353450525605656005633614524354162640434014565623652500610050331264341522162006604242242155460316424452033", "000062014310200140533664204352521443444223126244501000363543416423445105326135331241404654262055111611160435064112550510", "000031026641215362212356040605163600045111344645005331215562335402143256360361306342031222030114444131511264241132253451", "000023010364106402644523261166062412301135232126114535045416225355433500504613643030231624603251632634534313103043512543", "000046016063612540432146633221105146063400063612351511323266644262202052420332533142431400604162665113166030113550402641", "000023053405636312241105150403233045366346531331144202466040026055624601145456210022023636655054213053453336015062314060", "000023011403624255014146146030121634614105124406242621412002201546210063221556163203065461262263144334523100452262114451", "000015052153032311432153625416042305325260314305643164552655116515104224030361631313145505524551002445154624120446063143", "000062011221621243453001042002344410422634654324111525426055535311330226230356106214046364206654014445101265336125604465", "000023015255052363263155326543061150601042515125200130350200356344612604445100166453234615123631403500426545103205054622", "000046064326253235232335423113113204344124555342623451111212141562453123614343063264034121234160400610623360545200231104"]); y:=CambridgeMatrix(1,F,120,[ "210143160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "351152120100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "220222460403000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "300312500302250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "200042300620510600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100023500320061141000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "250052632146366446500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "450666425036324316224000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "420516254401464120334200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "540653612055213310416332000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "420261414163340624136452500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "500544561620656453446202341000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "530434424312415015345164224600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "220542452101134456255655146341000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "430221252112621222342001502115300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060425222302433633201631611460432000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000640531202553300044330242651400000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "500411155626206503536535635663003523000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "320241406523135345122341614100613516310000000000000000000000000000000000000000000000000000000000000000000000000000000000", "110306034322163550553220461610000022621000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040560643023202165645204416641123534153000000000000000000000000000000000000000000000000000000000000000000000000000000000", "300314431110262335062246443524540526600666000000000000000000000000000000000000000000000000000000000000000000000000000000", "660153263436023656120210422643424521452133600000000000000000000000000000000000000000000000000000000000000000000000000000", "540012131606313454146460242233124213325044500000000000000000000000000000000000000000000000000000000000000000000000000000", "540141433135060454332412445263234505321000364200000000000000000000000000000000000000000000000000000000000000000000000000", "250431665251646353220540603020430400056151554440000000000000000000000000000000000000000000000000000000000000000000000000", "520666465560320253344644432201600632464524340650000000000000000000000000000000000000000000000000000000000000000000000000", "260521346455033063000243243415212632324023260066240000000000000000000000000000000000000000000000000000000000000000000000", "560001560460545623616004544350146212620042630134266000000000000000000000000000000000000000000000000000000000000000000000", "360416036322131512065261356261210042563112513622524000000000000000000000000000000000000000000000000000000000000000000000", "500350316624151056551652214661102563140245236515003516000000000000000000000000000000000000000000000000000000000000000000", "620422612242035611436503660612310613105060143253363240100000000000000000000000000000000000000000000000000000000000000000", "250565131153422540530401324403261036345302446033423162200000000000000000000000000000000000000000000000000000000000000000", "130423114245164656625500564125162210040001055541630350156100000000000000000000000000000000000000000000000000000000000000", "600432032254153042521615420115203530241632532315302366034660000000000000000000000000000000000000000000000000000000000000", "600300502535356262562403226633236354140333043601421505552330000000000000000000000000000000000000000000000000000000000000", "110054553243613415143324265443344062513525110052612046402620000000000000000000000000000000000000000000000000000000000000", "520532405204116546246611601141415163650125646365424340412450000000000000000000000000000000000000000000000000000000000000", "300442202224351320022114123603625506116651634652543464030120000000000000000000000000000000000000000000000000000000000000", "600303645216360260502556166656125432552622612203124042632663321000000000000000000000000000000000000000000000000000000000", "550422045445665551061416641401005552243225526100324500511455514000000000000000000000000000000000000000000000000000000000", "420003503522513461221130046636666332566562531554205650541036642000000000000000000000000000000000000000000000000000000000", "420264146556235611341136063210152110653142423324236022202151135000000000000000000000000000000000000000000000000000000000", "030214214336331265054602414052502141154416456451206354546044222135000000000000000000000000000000000000000000000000000000", "150352056060454032240216526044024461042452220316555434535301444263000000000000000000000000000000000000000000000000000000", "350002652602133432336360214400310154252364410604142262100462263000000000000000000000000000000000000000000000000000000000", "340100136426354031300033440556545406401165412252466603030305123263000000000000000000000000000000000000000000000000000000", "340361232601516103423320511263220556635141145223046340411003034156214000000000000000000000000000000000000000000000000000", "130046460561161340641430650300026036632100442204026450131013436414356000000000000000000000000000000000000000000000000000", "050466524010251515050502321163152154641451361131306550662541042635635000000000000000000000000000000000000000000000000000", "550556316035034010415053454463563245661255560205344560310310163142142000000000000000000000000000000000000000000000000000", "020256401145561013125431000231034324606201463566220033505644152605412121000000000000000000000000000000000000000000000000", "500160245146125261445466542645333044025414236250546213361404136063635000000000000000000000000000000000000000000000000000", "150413613104030303010315460205053502310023100302652035423604335632446535000000000000000000000000000000000000000000000000", "460566136403011132024006204461412254503506260102242356400456305511511535000000000000000000000000000000000000000000000000", "620366321400436656151303630661412616144642565536550453154466505645506663161000000000000000000000000000000000000000000000", "660536231056013635205030012204330456124340363334564614315045006411010600252000000000000000000000000000000000000000000000", "620365666354306026600502455442522036552635443655021533060406253412252335434000000000000000000000000000000000000000000000", "400200011105551000241615105620614301140252543511050415126442601066124242000000000000000000000000000000000000000000000000", "630135140241255656041643305041233121612100132255335060331134215451402050004236000000000000000000000000000000000000000000", "200365104022234060321010222253106463001666240340325456546013523002513144601200100000000000000000000000000000000000000000", "620426056145534641235023561364005605463643031051405232406165432130225515351051150000000000000000000000000000000000000000", "160504513203446144520405532313255233164406530142432655552561003002246566330550642000000000000000000000000000000000000000", "510256564502245600064614041611032430022650623346245614612062525013515612164632560100000000000000000000000000000000000000", "020255556006561444136604360126534351256311062220462355302252523316150136056532536320000000000000000000000000000000000000", "060610113534364263046622630333601432605633633422262062633630461302505440602033134136000000000000000000000000000000000000", "110113463511530121114204214015454242613412563052353546365264016452231043435450015553300000000000000000000000000000000000", "240405631412365131311612533150110640503301425111515420460566034640055605544553111033060000000000000000000000000000000000", "100026101120152106353405301436051211611141653233545505441415432661140622206336011664603000000000000000000000000000000000", "630324044643516526333344264563101161315556241650051243433641520555200415511334414345162400000000000000000000000000000000", "540465030223404640265230246162364532522116264664645356200445152620443643663422554262165130000000000000000000000000000000", "360605216053446525605663043515245110141621214042012500325254220440216144635034035522120465000000000000000000000000000000", "640410133265351311350534144613216460615450223531255244134563464324164401410316324062213516600000000000000000000000000000", "210131562121003651653213041613601201056631511066114652240504223234604534200566631116164166540000000000000000000000000000", "520216054023203661323625634545432412354015461642321633353321165013153552636126262331424335036000000000000000000000000000", "650502222441305640231601034311656356433641301505452614300005600414302505416643035212034252101100000000000000000000000000", "260650016632066433634151435211662435221445226662625125055010314241615120506331443436646655632640000000000000000000000000", "610143564563513606443164250124150555130150432002202612163202356234022236354116234123522466653312000000000000000000000000", "460620216330122436014440543005553222053600023450406220256465260522433421033566205360203146034033050000000000000000000000", "630321645661203205462000321065433553536656312325413541665142622301245043231015303514661355650303605400000000000000000000", "510121266153466013655003064600436224252334636431511355310653555046045056132651142420355633056562040000000000000000000000", "110116463060216066655436000414014144561121115621135665211065126406116214153512235310221100431131324411000000000000000000", "100023403002106361416635445241514644151562663244400065032013303606415120551310654151211562665534314501220000000000000000", "300064004364415036115062231600262454615005441225614463112425156601414106046636161456322435614216554033000000000000000000", "560644110612206246214634222466422050135240304665161445624100366004152316250336044345205135331651506106526100000000000000", "220224356311131412516404651133046302261403021650364344424462111410462500614313331130010433505013435616605011000000000000", "560646612435452026611400510012150001300553150266225432335352364261552556640032561055601125442520140301440133000000000000", "100023001503663111165200616441354501240350123253356221156221144640322515562103420165224360545333313110325042440000000000", "350512622255005536605145061303425531013366416601621512133642531513125422046300466240530540435411012500355252602500000000", "340420535243446411416402652212553603266352220502223541205335356651412505211635463030600134550463434053541066065200000000", "000005003132413351022323433355612350463563053306160064134662662635102152244235523060256014615602500044044406203251000000", "210130265663000033150623544024232005252432521613121006500430221134215004621142223152151111134504331325000455424125550000", "030340041324136014310504550410022640165212244301336351061130142023542524103122324100644612405136014265051635666133220000", "450536020164130204566056614620155044163003026230466156433436020162421623613544026520456424032642641233504315356646313600", "030340646232666216411042660660323046233266104501601613521244135634314232062632525235412545105060406343620421022224600014", "160633311014031654353344664062434341613361243203353350664631004656464146244413436111416020264015331114246465605536541221", "410104366644656036010655232625025364300030311643110252265135153225422153124550345263214063301503543244021326553260036063", "300066500312340041641630335112513266042322636150655230620403631533645463426351132616456420124505420140422112021213161214", "500032001401662401123561040046452135456602353503266624431046155563603160160235205601564520055324512656140001253425110501", "000006506611163351532225556133003520311662541305455351401201323135554360362564235454635460436355255154024664303231026146", "400013605461210450210621426016305150215262224301226652411202603325534526624325414613456002140603431450114262654633525461", "200044206043206246442111512445636262522464460302156016126032362256120635623641414513602143162334245154310026161652354431", "100024601211314552146343250220150425635054650134245466635620403344522214333006341244015455214526400110124203425565045422", "500030002163414165043654556545650066356045402240064540241251314513502253135131645040635534153005054236631051526625661045", "400012400123116251353450465003554511312445456065301524464413310115540655456652104163532411324052605202340500203535264145", "000000102350102613042140321064163331142435655325135406600320526535663032615250415123352062112555020525513652040261100134", "300065101640402120646253630660144366326343632051423143626331332050002413525055255634535564615425155055126166032416625060", "500034604020412023616325323063321105516041546020150050314120345352165533065522564446456060105123333450546162262034033314", "000004001456020426263664635420062045232541524256520512441503564130066221260614031521422413053444026662064612532053651365", "000004202513611252465264402650165254421012405134214433340445201051503445054213540556666144155540620005125013115064135413", "600051305551103522524523214062522264405546423155410023623366232226423026645014362116511543440425404105532645112363224310", "300060401535415521313052513310112104116555324642425430513364325550063432356535444030062035534143032225602535346013211363", "100026104456603032553421122602135536643433224520036450454330314641034435134321015034535020246120556031042061412606656342", "600050103052330131434252466140461660140345215361632061461613642325613225412304464045662116043211532366461232643165016126", "300062606124012511204626141216662520402552645455101535323653225404131330031232136363536242404301040422641400042054566414", "500035002164216161606664361451020555616513541330136310115301022424514456645515506550556136132634614056222353646464540203", "400013504512352440613344351234643624312045416200125030350620234436306650623513000066340155314450443321243625213345434220", "300060300656132013101564466422364560426254163240160064364500012035332061120410443616061121441540442324156653260543023665", "300062604024655432566355254523565063411446550113201104422665413523502135101456431115003026401244051206063610461400664135", "600052303400466400524141365510614061243342425530262562102145352135241331245304322614111154501615050466645264013652156450"]); G:=MatrixGroup<120,F|x,y>; print "Group G is J1 < GL(120,GF(7))";