/*
www-ATLAS of Group Representations.
J1 represented as 77 x 77 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,77,[
"22031300000000000000000000000000000000000000000000000000000000000000000000000",
"00000055000000000000000000000000000000000000000000000000000000000000000000000",
"11130377480000000000000000000000000000000000000000000000000000000000000000000",
"00000123640400000000000000000000000000000000000000000000000000000000000000000",
"00000043706087000000000000000000000000000000000000000000000000000000000000000",
"07015034281838000000000000000000000000000000000000000000000000000000000000000",
"08005041533307044000000000000000000000000000000000000000000000000000000000000",
"07007082766605088000000000000000000000000000000000000000000000000000000000000",
"06008074804672233645000000000000000000000000000000000000000000000000000000000",
"05000038326688233645000000000000000000000000000000000000000000000000000000000",
"01000013141178640552621000000000000000000000000000000000000000000000000000000",
"01005007454637822523000000000000000000000000000000000000000000000000000000000",
"02007053001232463112105256000000000000000000000000000000000000000000000000000",
"06003045151166245576044782000000000000000000000000000000000000000000000000000",
"08001018123084113861558280878000000000000000000000000000000000000000000000000",
"01007027865152638301178786740250000000000000000000000000000000000000000000000",
"06002044072042018120004326580170000000000000000000000000000000000000000000000",
"00002062281611368127037530013557510000000000000000000000000000000000000000000",
"03002081723073748546588785268636528000000000000000000000000000000000000000000",
"02006064233481330502511174056548226000000000000000000000000000000000000000000",
"07001010502155618126483406427817668674000000000000000000000000000000000000000",
"04005044520037546146528112780842160187300000000000000000000000000000000000000",
"08003085044723246502221128333023445675300000000000000000000000000000000000000",
"04003048135578122867026728331457143170772100000000000000000000000000000000000",
"03005060177684887488465603453571487150657410000000000000000000000000000000000",
"03006056858458084118815041377107513000858880000000000000000000000000000000000",
"05002041031277045241264765734124288166540551160000000000000000000000000000000",
"06001010325622180167704322760124417482715018488000000000000000000000000000000",
"02003081676550571820528185101325816411232704685000000000000000000000000000000",
"08006035061766786374172730772868774500068724056106000000000000000000000000000",
"01004061263535250010738886355612487478876005445308000000000000000000000000000",
"08007006546637486160817253568855208246676552524862700000000000000000000000000",
"04001002328137776261755551148236233082686002710667260000000000000000000000000",
"03000053244680778051775426566525341602868567152407610000000000000000000000000",
"05006062006000666523452551258042878178307861400557480000000000000000000000000",
"01008051401625805018215253510507713075604734842826604500000000000000000000000",
"07004057554422640082884718643233076453837621715272863230000000000000000000000",
"06004072453854038470030556655876883676667114187146842280000000000000000000000",
"08008001643188505435358701567300255200800773202656885530000000000000000000000",
"02006030461788374800137186786478473565821070135658387061100000000000000000000",
"01000061153640723628735331776080144411672526871428151151730000000000000000000",
"08005024571886213857627482584450767170180386560207147233030000000000000000000",
"07007028311763624507713051183414418071524565372337420755230000000000000000000",
"07004031434526266870181856402074262358270025322865428211013700000000000000000",
"04003068544074061045713504171878425487188545770411765500733420000000000000000",
"02006068125620678705144560023873007643471171600887375537212770000000000000000",
"05000053874202138878825155311463005873873575718664372113651240000000000000000",
"03006045845154203878626223388207061717766128167836255870204187000000000000000",
"08000053568514704503417466314663678340520652348273266404014217000000000000000",
"01001061860002817371784577803336316516141321568015075631721884000000000000000",
"07005001102837602282277854636137047804241406248077447227221060000000000000000",
"08006087468235755810215318738467278403053802165804881483347056000000000000000",
"07002070042061161010212738117118121704652480248347424247766826600000000000000",
"07008055127122486320021202417821378726208366245118054803610128200000000000000",
"00005063380386175226485820813130307023473533126746778866472177100000000000000",
"05008013840540614206633502803680568146730043834734732201174284300000000000000",
"07006026406113833361175844227378827817588517774354846284041658200000000000000",
"00001013577618207686470241041516677055108636284646573003742072100000000000000",
"05008086063372288644381618338472687023533168441351301838328750600000000000000",
"06008034685281826527835852263636163468832245653442270583350373800000000000000",
"00004084516020666103786803221541013184605375213625277716431523200000000000000",
"00008040612710405000233351528707365363356412011142231740861344700000000000000",
"07003063881215530524760425462270065467013351538352588262375112500000000000000",
"01002077651838154305852565013135650765050430056340808175677725436087212840880",
"05007015541645556571260856344604735307385336503252823632771082472806730356802",
"00000013553181316813488122227853035850880014267038502652151338170530652301128",
"04008072545458631884408741452624430321265231703641648762826058437168704443743",
"08004068708342823315218421143067318875301380346601644347764310183134886413687",
"04008041813442170767784318888162176250380675446038601661025555306680026713347",
"03006010085388844070570836741551475171777361258558650002116757082203304583412",
"05007088302213047570663165510041558020115158418482236877812185365734741666387",
"00000061811741867513718553651101524713853722451063412837542356783683361842544",
"03006047703016014312401757673747787650252537731007417632816308755853506737253",
"06003001471716214178504353052004625518011008078575613625046201330055642731514",
"05007058482483024283314734370314662454724727724518825165275333061644512386048",
"05007078124486532564554412655000235556355006145731845006532240642454663383102",
"01002008624846180653583387037006324407853515810720537531532601420581576443233"]);

y:=CambridgeMatrix(1,F,77,[
"51100630000000000000000000000000000000000000000000000000000000000000000000000",
"00011001200000000000000000000000000000000000000000000000000000000000000000000",
"40702631416000000000000000000000000000000000000000000000000000000000000000000",
"10136840253380000000000000000000000000000000000000000000000000000000000000000",
"00003218084178600000000000000000000000000000000000000000000000000000000000000",
"00415010030132550000000000000000000000000000000000000000000000000000000000000",
"00183156804051570500000000000000000000000000000000000000000000000000000000000",
"00561213538557788410000000000000000000000000000000000000000000000000000000000",
"00563754017023346613800000000000000000000000000000000000000000000000000000000",
"00567486005370423712720000000000000000000000000000000000000000000000000000000",
"00181283454017307603504200000000000000000000000000000000000000000000000000000",
"00358161263177714308554740000000000000000000000000000000000000000000000000000",
"00674658625742640382767308100000000000000000000000000000000000000000000000000",
"00007276041568830140768284520000000000000000000000000000000000000000000000000",
"00671060387113322651204080320200000000000000000000000000000000000000000000000",
"00827716626723075834668477002666000000000000000000000000000000000000000000000",
"00824456337423541070722001848524600000000000000000000000000000000000000000000",
"00246152553327102164254055461333000000000000000000000000000000000000000000000",
"00560507185480556081844614153651753400000000000000000000000000000000000000000",
"00824023707275425713181885140158685560000000000000000000000000000000000000000",
"00822434284081642100334655646626668820000000000000000000000000000000000000000",
"00671522384762471364400621057733334526210000000000000000000000000000000000000",
"00243126040608526674288075038200287225255000000000000000000000000000000000000",
"00730065483507862701662524360308452505383000000000000000000000000000000000000",
"00820063760317161623015270168842158308073755000000000000000000000000000000000",
"00006861121235334622558175252725081080002585300000000000000000000000000000000",
"00418114543013472717477058471834428258110524700000000000000000000000000000000",
"00736454804051003187505155355636184602284104388200000000000000000000000000000",
"00561880586628650442211124856740163850770356043710000000000000000000000000000",
"00560661076633881354750357787163326440454324122400000000000000000000000000000",
"00565302142287536680607054214161657271103182272180000000000000000000000000000",
"00356311815861580470752251106827867647032688345420000000000000000000000000000",
"00560010021358134772166088780744685271563308582360000000000000000000000000000",
"00356568441157555023257053206455744200263036633575102000000000000000000000000",
"00247551337370750667376210886867868088405701546207201000000000000000000000000",
"00677614485168620624738502548432222586656226337026804000000000000000000000000",
"00245165244830726833353281831271612275047653421110000000000000000000000000000",
"00181257774564080180305161443754073785074323055177722344000000000000000000000",
"00412743700335470700217161134052566667126250586882378133000000000000000000000",
"00822148887480633513248040054471070606188740865164641511000000000000000000000",
"00187220605714003135125214372526525033063231786405283722000000000000000000000",
"00187734261817886102884770320660550816735866721034665155587000000000000000000",
"00567343800005860351140358758517048138563382086415410800864000000000000000000",
"00243746685711018638421256783283376604586562062766547044623000000000000000000",
"00734383068830071155380808071302551243247036001237645100152000000000000000000",
"00823787566524014156011835348576012621782443475136530766864000000000000000000",
"00567776825271074705664661260638614205481250806305365477000000000000000000000",
"00007007360704241847752362304243814316371625622315283722000000000000000000000",
"00827264465573507337811413770768828570502324136230675133000000000000000000000",
"00241054204608240843105105834527633857426758453228106877755054500000000000000",
"00007618273348006237016645741843214228528006308341828058133372230000000000000",
"00560766781176322671766718558536811752673633077771701288435150868000000000000",
"00674311701846247286388114840162725603340364368170248481568548715300000000000",
"00353360634233100543833876142652661482817081020011344362845170808610000000000",
"00560064815563622286165534636720744672405540440046672030625488688844000000000",
"00184262271132854481442647313347163016733424445102705610548451650733600000000",
"00410066183277887118213112256658328163528250374466335051731440364644020000000",
"00184410072354762664368484504741172604457546025287537075387047246674883000000",
"00185278654634688074380206863070637058865460205567632483426542604480742600000",
"00565821584711405347643255215648211366384103187448287246082206841248717110000",
"00418258366814614610848341013601248455628818873318368731251788315403504887000",
"00825000231740263855344207384021256704547132331605368867516307000418576825100",
"00183625784675345026044063502552705467551011550255424262287484520386433535400",
"00002238384848233403788385768123212420232807844155402417117355570683382665006",
"00006716308033517854716415553015802073045816821357646518652311064277606166431",
"00001851134320884515750183386130833208430586888023874808720716571078558465172",
"00004543857358868255050368372275854367282588171040712306305611600401510612467",
"00002307164535542473006344526140160176353055707041057823384131438037104156433",
"00001605485182636302718578886408283043086432583052247271680643184634350537347",
"00007881108461148575041614560030080165277303621820371320777328442650374477458",
"00006675133323566622020788648503452710464044871636218554313020178406336605126",
"00001821845382225473733754454772848834057330617418110812270610072751877414336",
"00000583872566464471544381183545367855332210342381061306602651246605677420753",
"00008726457354535068853455176348462677833603040162657132444272560531072146314",
"00001030774031037456411676506240542607037246513510248183662155805816505767585",
"00002337718745372376548444151660475306154300785456651764866367232871865443553",
"00004104771110580485334577807060553457280112754175603541312758157310834405558"]);

G<x,y>:=MatrixGroup<77,F|x,y>;
print "Group G is J1 < GL(77,GF(9))";