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

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,77,[
"22071700000000000000000000000000000000000000000000000000000000000000000000000",
"00000066000000000000000000000000000000000000000000000000000000000000000000000",
"11170733840000000000000000000000000000000000000000000000000000000000000000000",
"00000127580800000000000000000000000000000000000000000000000000000000000000000",
"00000087305043000000000000000000000000000000000000000000000000000000000000000",
"03016078241474000000000000000000000000000000000000000000000000000000000000000",
"04006081677703088000000000000000000000000000000000000000000000000000000000000",
"03003042355506044000000000000000000000000000000000000000000000000000000000000",
"05004038408532277586000000000000000000000000000000000000000000000000000000000",
"06000074725544277586000000000000000000000000000000000000000000000000000000000",
"01000017181134580662521000000000000000000000000000000000000000000000000000000",
"01006003868573422627000000000000000000000000000000000000000000000000000000000",
"02003067001272857112106265000000000000000000000000000000000000000000000000000",
"05007086161155286635088342000000000000000000000000000000000000000000000000000",
"04001014127048117451664240434000000000000000000000000000000000000000000000000",
"01003023456162574701134345380260000000000000000000000000000000000000000000000",
"05002088032082014120008725640130000000000000000000000000000000000000000000000",
"00002052241511754123073670017663610000000000000000000000000000000000000000000",
"07002041327037384685644346254575624000000000000000000000000000000000000000000",
"02005058277841770602611138065684225000000000000000000000000000000000000000000",
"03001010602166514125847805823413554538000000000000000000000000000000000000000",
"08006088620073685185624112340482150143700000000000000000000000000000000000000",
"04007046088327285602221124777027886536700000000000000000000000000000000000000",
"08007084176634122453025324771863187130332100000000000000000000000000000000000",
"07006050133548443844856507867631843160563810000000000000000000000000000000000",
"07005065464864048114416081733103617000464440000000000000000000000000000000000",
"06002081071233086281258356378128244155680661150000000000000000000000000000000",
"05001010726522140153308722350128813842316014844000000000000000000000000000000",
"02007041535660631420624146101726415811272308546000000000000000000000000000000",
"04005076051355345738132370332454338600054328065105000000000000000000000000000",
"01008051257676260010374445766512843834435006886704000000000000000000000000000",
"04003005685573845150413267654466204285535662628452300000000000000000000000000",
"08001002724173335251366661184275277042545002310553250000000000000000000000000",
"07000067288540334061336825655626781502454653162803510000000000000000000000000",
"06005052005000555627862661264082434134703451800663840000000000000000000000000",
"01004061801526406014216267610603317036508378482425508600000000000000000000000",
"03008063668822580042448314587277035867473521316232457270000000000000000000000",
"05008032867468074830070665566435447535553118143185482240000000000000000000000",
"04004001587144606876764301653700266200400337202565446670000000000000000000000",
"02005070851344738400173145345834837656421030176564743051100000000000000000000",
"01000051167580327524376771335040188811532625431824161161370000000000000000000",
"04006028631445217463523842648860353130140745650203183277070000000000000000000",
"03003024711357528603317061147818814031628656732773820366270000000000000000000",
"03008071878625255430141465802038252764230026722456824211017300000000000000000",
"08007054688038051086317608131434826843144686330811356600377820000000000000000",
"02005054126520534306188650027437003587831131500443736673212330000000000000000",
"06000067438202174434426166711857006437437636314558732117561280000000000000000",
"07005086486168207434525227744203051313355124153475266430208143000000000000000",
"04000067654618308607813855718557534780620562784237255808018213000000000000000",
"01001051450002413731348633407775715615181721654016036571321448000000000000000",
"03006001102473502242233468575173083408281805284033883223221050000000000000000",
"04005043854276366410216714374853234807067402156408441847783065000000000000000",
"03002030082051151010212374113114121308562840284783828283355425500000000000000",
"03004066123122845720021202813421734325204755286114068407510124200000000000000",
"00006057740745136225846420417170703027837677125385334455832133100000000000000",
"06004017480680518205577602407540654185370087478378372201138248700000000000000",
"03005025805117477751136488223734423413644613338768485248081564200000000000000",
"00001017633514203545830281081615533066104575248585637007382032100000000000000",
"06004045057732244588741514774832543027677154881761701474724360500000000000000",
"05004078546241425623476462257575157854472286567882230647760737400000000000000",
"00008048615020555107345407221681017148506736217526233315871627200000000000000",
"00004080512310806000277761624303756757765812011182271380451788300000000000000",
"03007057441216670628350826852230056853017761674762644252736112600000000000000",
"01002033561474168706462656017176560356060870065780404136533326875043212480440",
"06003016681586665631250465788508376703746775607262427572331042832405370765402",
"00000017667141715417844122223467076460440018253074602562161774130670562701124",
"08004032686864571448804381862528870721256271307581584352425064873154308887387",
"04008054304782427716214821187053714436701740785501588783358710147178445817543",
"08004081417882130353348714444152135260740536885074501551026666705540025317783",
"07005010046744488030630475381661836131333751264664560002115363042207708647812",
"06003044702217083630557156610081664020116164814842275433412146756378381555743",
"00000051411381453617314667561101628317467322861057812473682765347547751482688",
"07005083307015018712801363537383343560262673371003813572415704366467605373267",
"05007001831315218134608767062008526614011004034636517526085201770066582371618",
"06003064842847028247718378730718552868328323328614426156236777051588612745084",
"06003034128845672658668812566000276665766005186371486005672280582868557747102",
"01002004528485140567647743073005728803467616410320673671672501820641635887277"]);

y:=CambridgeMatrix(1,F,77,[
"61100570000000000000000000000000000000000000000000000000000000000000000000000",
"00011001200000000000000000000000000000000000000000000000000000000000000000000",
"80302571815000000000000000000000000000000000000000000000000000000000000000000",
"10175480267740000000000000000000000000000000000000000000000000000000000000000",
"00007214048134500000000000000000000000000000000000000000000000000000000000000",
"00816010070172660000000000000000000000000000000000000000000000000000000000000",
"00147165408061630600000000000000000000000000000000000000000000000000000000000",
"00651217674663344810000000000000000000000000000000000000000000000000000000000",
"00657368013027785517400000000000000000000000000000000000000000000000000000000",
"00653845006730827312320000000000000000000000000000000000000000000000000000000",
"00141247868013703507608200000000000000000000000000000000000000000000000000000",
"00764151257133318704668380000000000000000000000000000000000000000000000000000",
"00538564526382580742353704100000000000000000000000000000000000000000000000000",
"00003235081654470180354248620000000000000000000000000000000000000000000000000",
"00531050743117722561208040720200000000000000000000000000000000000000000000000",
"00423315525327036478554833002555000000000000000000000000000000000000000000000",
"00428865773827681030322001484628500000000000000000000000000000000000000000000",
"00285162667723102158268066851777000000000000000000000000000000000000000000000",
"00650603146840665041488518167561367800000000000000000000000000000000000000000",
"00428027303236826317141446180164546650000000000000000000000000000000000000000",
"00422878248041582100778566585525554420000000000000000000000000000000000000000",
"00531622748352831758800521063377778625210000000000000000000000000000000000000",
"00287125080504625538244036074200243226266000000000000000000000000000000000000",
"00370056847603452301552628750704862606747000000000000000000000000000000000000",
"00420057350713151527016230154482164704037366000000000000000000000000000000000",
"00005451121276778522664136262326041040002646700000000000000000000000000000000",
"00814118687017832313833064831478824264110628300000000000000000000000000000000",
"00375868408061007143606166766575148502248108744200000000000000000000000000000",
"00651440645524560882211128465380157460330765087310000000000000000000000000000",
"00650551035577441768360763343157725880868728122800000000000000000000000000000",
"00656702182243675540503068218151563231107142232140000000000000000000000000000",
"00765711416451640830362261105423453583072544786820000000000000000000000000000",
"00650010021764178332155044340388546231657704642750000000000000000000000000000",
"00765654881163666027263067205866388200257075577636102000000000000000000000000",
"00283661773730360553735210445453454044806301685203201000000000000000000000000",
"00533518846154520528374602684872222645565225773025408000000000000000000000000",
"00286156288470325477767241471231512236083567821110000000000000000000000000000",
"00141263338658040140706151887368037346038727066133322788000000000000000000000",
"00812387300776830300213151178062655553125260645442734177000000000000000000000",
"00422184443840577617284080068831030505144380456158581611000000000000000000000",
"00143220506318007176126218732625626077057271345806247322000000000000000000000",
"00143378251413445102448330720550660415376455321078556166643000000000000000000",
"00653787400006450761180764364613084174657742045816810400458000000000000000000",
"00287385546311014574821265347247735508645652052355683088527000000000000000000",
"00378747054470031166740404031702661287283075001273586100162000000000000000000",
"00427343655628018165011476784635012521342887836175670355458000000000000000000",
"00653335426231038306558551250574518206841260405706756833000000000000000000000",
"00003003750308281483362752708287418715731526522716247322000000000000000000000",
"00423258856637603773411817330354424630602728175270536177000000000000000000000",
"00281068208504280487106106478623577463825364867224105433366068600000000000000",
"00003514237784005273015586381487218224624005704781424064177732270000000000000",
"00650355341135722531355314664675411362537577033331301244876160454000000000000",
"00538711301485283245744118480152326507780758754130284841654684316700000000000",
"00767750578277100687477435182562551842413041020011788752486130404510000000000",
"00650058416657522245156678575320388532806680880085532070526844544488000000000",
"00148252231172468841882583717783157015377828886102306510684861560377500000000",
"00810055147233443114217112265564724157624260738855776061371880758588020000000",
"00148810032768352558754848608381132508863685026243673036743083285538447000000",
"00146234568578544038740205457030573064456850206653572847825682508840382500000",
"00656421648311806783587266216584211755748107143884243285042205481284313110000",
"00814264755418518510484781017501284866524414437714754371261344716807608443000",
"00426000271380257466788203748021265308683172771506754453615703000814635426100",
"00147526348536786025088057602662306853661011660266828252243848620745877676800",
"00002274748484277807344746354127212820272403488166802813113766630547742556005",
"00005315704077613468315816667016402037086415421763585614562711058233505155871",
"00001461178720448616360147745170477204870645444027438404320315631034664856132",
"00008687463764454266060754732236468753242644131080312705706511500801610512853",
"00002703158676682837005788625180150135767066303081063427748171874073108165877",
"00001506846142575702314634445804247087045872647062283231540587148578760673783",
"00003441104851184636081518650070040156233707521420731720333724882560738833864",
"00005536177727655522020344584607862310858088431575214668717020134805775506125",
"00001421486742226837377368868332484478063770513814110412230510032361433818775",
"00000647432655858831688741147686753466772210782741051705502561285506533820367",
"00004325863768676054467866135784852533477507080152563172888232650671032185718",
"00001070338071073865811535605280682503073285617610284147552166406415606353646",
"00002773314386732735684888161550836705168700346865561358455753272431456887667",
"00008108331110640846778633403050667863240112368136507681712364163710478806664"]);

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