/* www-ATLAS of Group Representations. A9 represented as 120 x 120 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,120,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "031403232032104402110140102203210242310434310211401114123300403232431044101140120433022041002303343113412314334331024030", "434341241324044331213210144414231020131341311411023321130324231021424143021130043333440202233042143140240202010404044032", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "344034204344240213343221201103024024133022333400341201211322243120330301402412330402022112121424102430023012324023313003", "441401024240330104033132441210241133220311114201201140332144444434324433142144123444232124002002314024321130441422231010", "324434200142200004240313143032042004004124343200120314114411133132120020334234344134124012133300342312140231001200011313", "403324443320341230102003411400113123213011410031220002001031422331432300120340434142022443003221211421241433233421401410", "214431013243331014040114000442131110332121201313412014142221302240320311104313212124333132004222444423443024341102243104", "441124211013044234203422133343134144110443230422244024424304044032214001102241311431420300120403234104403202434144141232", "023143430143423402003441444431042011233302041433423012244414300121434433234002324113102041000241020134323133100343010233", "224214023420321303111142013404444012040043004220044032000243012143134114240113412433043300001133421401312321120201422334", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "342143043302132041124441140324411014331401240023124024434040042021120313043433342240311412032214311344213040322032142022", "004104113110031002341202141310230433111313340123014440244222444214043232144003300443432103000003314024402132430410110001", "441331313132113110022424212140023021310041140424213333423343214222220044134314241323132143013044341330132341011344202221", "130421414321142043040034323220000402230112241311211404130442301241034140242243213211323134132433040402421240400213024031", "430232303201441313233004412132314034240231423300432102112443220043203011314314203140224214430403330332114133102121130111", "330441403112223044121320433343400432431044041330312302210033234201024122103302201121311031122042032332241041211400300022", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "333240434144424423004101101211344224432432230032404204303310130203021332013344044013000441414200113022212124110000223142", "300130141301341301130110023021223333341032333321310141124333122110032231414413322430330210001313023341144104031424112403", "100132421330432140413433404432010412110010013201323241141221043222214112303223241031300320043213110413213110213210221340", "344443040412133442202130121441231230403443030030401040232212002001012213114323404013344243414323220013143320314102034002", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010200141312213001012333014230302033241421132003410122341430211441004243122122001324440213440320301442013431211411203010", "104203303042241332441244131014044333011233432200121220314101434132222331310124431404444034102340321422104113313434241242", "112014333434333213222113332422024113424142223031341444002343403041440310111133010033342021121233224144322133400111303401", "310332202331340133022242200222404424030213422114343200033210232110303201401423223312214211223214343432133040412411202010", "443134114304330113100343010434104133432034330322014043110402234243334432323342330101110202041030301321002133442332330140", "431121341440041111322023303213302132413311420014313102000043313020031222000202343324240141043024414001432231413230143010", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "044401003343342021031223434202403131102144002313422422420023312332232030304340303304041414200241101002221030044133440021", "444230243240402344123222004022140441434101344001300020311233220113012334304002341413243234403331134242224103420022301303", "133420401200004230144003333432233132014140044122241214100041321210033220114144322313300101103112241200314422433234224110", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "031213304111322320234003031010210224023444140040311012341301311101312101022324224420031221323141134401142013424331144244", "142322000042341130231202132341042120202444341020132044432342241241103114114220241420100004430334420004113411004303220314", "143302104111101321143220320023023330404134211042243232320312430140143011234012320220040121123243342132042223443121144331", "420332121303331113034134122132310441040342304011421402423142330400410432004143004203414413100230304200444022222100244044", "142334421221023333243023231044440100310142043440034110124003004113430133201322344214404101110410333210002140232343144322", "020444343124013343030423044032111440400403212042000034244234442301322340334443333204234224421140243131221204304230423330", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "200102111341124022400044043030021122444102132243241213330110320442401013440204004001303424001003134212213043400123420213", "402403244320424024442120421213113400113431131223324121413144131010010141424012122242404200422120443003342431002303422023", "341331242121140343302032340121141233213241421030311003431434324100130200441441413201202430333114133213401110211104414432", "201244140141120014130432113211231301434321120321043402134332044232134401000303001401102044040312214124202240233222243224", "221330314321113342034332203412240301424222113221333120413431444144413324134130402304201211303234113441301314401303420113", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "124034221012231031344131043243230321231133344332404322230422043440140431410124443023041002430301433102420142013240101210", "330211441041443324413234004114241033443431414002210202230401404211210032334211113143421421104030303044032043024400341324", "211323044403002021144130030144141413443131104112032012242323110301144420442222443420241243121204133140001244001023224400", "122022343133222031241233143331200433201143013323310020304032022031243414132112203022430440413402232343003333013324141112", "021402020243304123030004200044104421003010431203031123123440433131204043132243232240401121104034102421441030244100143231", "224211203420000000202214342321141434221433323443310140320320120124320310442032324301410323310214444224032101013111410410"]); y:=CambridgeMatrix(1,F,120,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040004400004000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "100041000104040000000000010000000000400000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "143130234123240011403414312031013141123321311324333424102440112424034101201412230004421310102030110210134041344421332232", "144004400103000000040000010000000000000000000004000000000000000000010000000000000000000000000000000000000000000000000000", "342223040144341210210323321310242323131322444303142133221124013204312020441321041034433200122323243031003140213020310224", "424144314124032321020321432013022230224031131142101210330311031312211004203242013020230211323123142232010140032011214411", "400422410131340432043403314220330340303011103132112320031301241301033441030344402333342341234330123033003320140332234031", "432410332221432123023124021241231030440011340122410211204134001441101220033400341034130311211321403244014000310012041220", "041230242200301324312122234031030404402304400210421204400311322003324241110324102024232042133333343114144312032403103213", "443412130001224421204423104001231321442234300124122123013232021442110104302121234112212230420110203342441324221301042232", "000041141043130120200130310321102304233430210143133043321110243432424134123243132312322304333410202001344123022431340300", "024410213013324211323031020014040330241303324014041314241234111120001410044033042214301411331043240404112012310323103014", "440310111233341231310320042041130031111010341003010241422111324214212110134440133020141123221230104104134222241303421023", "214402004233212204002010122233022400310202223340044044311443042412441143311401211031110422242323123123002223111111423334", "143032404233031000041034134122011144212141044202200040411030341401334241303204441211313130222200023410021001032332420410", "122412230133403103143132212011241101420230223220034114244321114044130121114114144202301034004311203220414340303400303342", "110434120040300430043104304101331224142233410100432021441113040040000212004240441120344230442113203220331242041332323022", "233234144031443302203303411022322100124112004400313442114222332230330310231420204113433344000441121223221131033334011343", "222010300312424223010433013332204022141023111312124330123024031000303410302310223422304141014343234020141040014100404430", "434232221231410310124324033311333132304331324443041200231143144112030311121122343441313304443230200241010003332343111202", "031244211222041210334300101043130011241442202133140004424023103343024144304033011232123311340442310020343011113443102143", "102010244441434032412232033323204311300112404341102444131412040111231313431442302342434311101014340012103434432434012300", "113133412044333310432243412003214002321333142023322033020030413034223214044040424332333242413212412103320344221024312131", "322243300144213333223232330421314240104432321322100340140423034222312004414042010324144333113331231002024303303412434341", "024111221323122424420212231243122212144003032014243213232224242114130044030421200210412122131330200424424103222221402320", "141441304013041011312112013333413224422031022321044341411401013342330430412341044441120102013422331414110323131240040011", "144202021314323112101224043212043110310021244340030122101302424334333401010444224120020141031012340331412202211114104103", "421203322434442230420232201444442202202344334131310222301001140023340430322100124321421102021124330303123322011314130132", "332431340103102130312241140130320002014401432243201143041341003124401143101401310302430302333100000133121432431301222024", "313132222140212413232224342301314044320240042011233322013040021011433320010020232342133410210432243420134042330224200102", "433023014033102104031443323412302341114144003042123100330443112320033210411334404311000001222224140441341132221241220124", "021301131040040012032000023043423424414420230041033310222022041032022302111131224443433303314121032032002310141410244102", "301014214431433030422101104433142411400110104043233303340434233333014112133234413023142023102244344130133241023224434334", "433011400130023334023222422432122134314022101004220333302340200110100212213412211344034102313112201132340312343342430320", "113433211314341132121224230324114020202311301124131341103101402011334004420142314411020223023242034121322404404221133032", "311432121142314041243223010000201102110241323134131221412323141433033003112132301101230333412202143110420201404402414034", "030403430403211400413244424212140411033233140424211003414420423301441401203102431213420300212021120413444303044400400440", "132134401240031124132412341403000241332414403403120302244320102011233041223134222101410402100412340211211240221212340032", "001043332311221030231240030220311403232020011143222034041242112402241313130304111322221404411221111243314013222424334322", "132210214443011304414300430320334010222204411141432331302210024132014024121430013043301433444234132300134341412324111232", "433401404043200204004013024333244110243104332323320213222110331422330104404123233234423333004411312232021320013430403413", "311220340424300224010323442330122104430411443212244212203441020044233243134000121124004440014024241111241102310113232212", "420120440321222133141244424102424014022003112022210103034021210441422400143023422320010404022011231400034100111143333134", "124013133303241023102012014202403301121310304101211343323243234222013440202300131430204322231411122041243231230243143433", "212203421113434120412112104413113413430434034342210020442224110012110031033301434044340421044403410431203031204023014202", "414021103040124144034421130203214041302144242031344424320114040103231334000102312212310103030320230124340423314032223013", "202141330011422324431223022420220132011433302011200201113210132044224122330421034000340002234143412113432030340004300304", "032101124200111234100401343212241413443211214343230010301213410302324041232303333103321343320212340444033413423100203040", "440230223044011020020141002300102004002242033444033404020420401124131023140213222313434010201020100432340322041043012444", "041342134032203032340421330313111202041400042313203021001044322332203403332032121144421413220413201120113300412432140240", "334101012233244130430220003011414444133103040132330330104332133343404241400434143014222442202212341010330302034241313403", "132432202040343220140113331043320433241022003433023404100144123231323313322123023014310230043221014412440013244002422111", "022310404032140000433414242312001324441342333411441122140404003343113412242320123124412043001302142444223101134232130214", "343214144213403042004012420314332303102223203004201240144110424311040340011133121422440024313344200221433432423444313110", "410334414142043022101410012300443324413231420012303342234301101002213110113001100411422214213344101242041222223123014431", "331203100334222221103241312234144102343300403210332421041034211402402214042201421311243021440002044343024220322113431034"]); G:=MatrixGroup<120,F|x,y>; print "Group G is A9 < GL(120,GF(5))";