/*
www-ATLAS of Group Representations.
A10 represented as 89 x 89 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,89,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"06201413056014602440045322500311053211640154646664035002065443215116336145630022644031250",
"26450241311424162641161065255222510261650144260321226553351414446315500416613400531432264",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"62510520056101540634650661342500122440343441600246554610152031551353333552313016161611062",
"30316352022213556210660045306203404666332550654362112061233442656336430015022261234552262",
"62130545342433642433050315252525341160212056351162503651120643402154130315401514510516116",
"24403345335424615601553463043100111153451453041356420525112506121221605460114253046111311",
"21105142450624555426456224110546345355162502054011112140205210332613154143625463156635624",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"26554461450133510021221452432521264342463415256554241136061353216503020104021362604355230",
"26305305221030605306446625460240552010052200025650611604133564332455640355222346306456664",
"43215626250061124425063532221416660531410014546402063101302550666604524260006333553031441",
"04615635410511634213045100546536152061560255420263501613303466565641663602652012305054512",
"33164134431413123206014616514043053512144413413050400534543045652444044010564310405045624",
"12111434331146355201664005466136653553656134556031234250613510601563164240426512553145045",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"16642265256115100055023665216246612126306140552263102261644415145526524255612615063366214",
"40246600664236346362564221610660121440031314406433014251023226636642600226326203255541536",
"43305041220413055532343560505462623345266552403051230224344653543110050563333341112431525",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"62325216236033466222464321501166315324536240251542166011124513252331423354556014454616322",
"25653063440144422412531314121246210511120210415114642250365504144501151004036053105550504",
"54661062131043136352626601320133560361360012431642354441323136410413055450142525414665253",
"05152246333652440413531240024031003056332500266632053106350065320314206250125154136420561",
"01421224246550335156614420353020613032651004563653650114562410610230356551446164530655201",
"31443636156330021404313162342220260104626135435553220263426322406113024455616001262242141",
"23423652405162246006004203302011522630232106544442155465023121512656341232640605254443244",
"32003444335542503044203335336023440350550452245013446145012402212103463232146311300341605",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"52424353014216566223300145455100242556053206225246323030120660533555511212504034162400640",
"51464232543504163602413320046463124354230445046011462531564131154041615562354323466662426",
"12523110440244123424455526111046636625444031450235063061456536060263130441605253662340424",
"30142224041161063104061125310505320154650126405002061136005062610326243021536164525621625",
"33032212655562526060622351145023243020012320665021142363402436335250644035554400442436304",
"26265302130464225463035623410233221504341030164156016565235010130520353503642114053315414",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"04056602601002561334422420204204403164063413410303645263032001456202314133215135355256012",
"25000006326656324442162453135360654255135600361454325531502611433114151224630551633044130",
"05356433545444423243160656004305442325532245362441644342103606513612606200055642064331630",
"53304442452363102116125314035660606623326324036411360251665201656556002310663524031666465"]);

y:=CambridgeMatrix(1,F,89,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"06606660000600000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"12436531522536514216533115365613551135311310506423113362200630451405333403555123213241260",
"36643536105235306606136630056440226163225343442055155120424351554266012561526505342025242",
"04152356160126312232512426316164313221231012630342660360350332360151201530165241526424510",
"51243002566130066255032404332465266511200526442125232642163560055046232125022301414526260",
"44450463441564433401220161464401133015656151003036603663100526200151206503626633356365355",
"11324440212014363064420535531635402130235266353124235150524564535513134330062510431416463",
"05505222343336450625651663244315462101605252405113605666105132044024353224255113214154462",
"56666612366023002214125426142350204116515353204546261350604135402046346463456443425310360",
"45553602063151240604505262212005003341523263442443103200034006166643642664560304313643311",
"26012026361436233223514250560011234012654105136405300443061435500160314506030340213542033",
"44324140041003051221264030130263300601120650240330032126062236441654660031525233465501055",
"51530422233652640111005421152104306563450226201441604603336303111221452354634512321143361",
"35552243022601445245525552466122245642454434340402251501016215612550266515506105031543255",
"13262636211534056556413020152260530501256113153020136465035560240403063261311355136155025",
"55445642124404525251466631622451311151360322413512200133222444531104526025050641642152211",
"63134110241651331604443535463161331444062064412232351536462144641055160552320465560324134",
"22133355441232165110430212063601256533253411356653662644150524362323010545126534315452352",
"20655066401342562043353042201461666061016061144343121652166002366023105200363113162520313",
"61156563045444020614251331421514232432603531532226221403612615653032560154311610000435445",
"03261313353150606135026421142145106156362122206255024505360256335564322036560363622003360",
"61223503334216461243044121321356163355464230354152435435215346254224245014160336456421566",
"55160540410162460325544304430243454234212650053434334234066653245131212041563300405560450",
"35630606446662621355336101566364064260310523053033222340324321431513063514302465003265664",
"10603630450563245006016161406013123554166524311566102410643654202334503323000041431646116",
"05142646200423135401512250461312030543526530561650216335220444042245252665151342133425521",
"24053203165030652245413042353606146044630054541550663212622160364202366123201656365221235",
"56663451266023533031634454122651063522552244112634512042525144155610061212615513155120411",
"66116213416256656330515302503616610416002212651530105165604145301235340106646106136350645",
"66246035533322252430320144212353505300335566333123454304041431524156661052635615451405356",
"65004463461133430113222442341035246302065425135312521544025232340553611360560333450321633",
"15160210441334561043203513600262231133661440451156352303320451224630406131400553251261105",
"30023046606645061032565600246504432664311445250362022166102156306241606354426450246040504",
"43014052213240205045452425416632221416312055104662502445244144152121142264263213605606012",
"65113510443433101324362046052662205304535323445546412206201135024344131233620536566531065",
"21513246351262010522531404235015250340342366430403223613112302163654541303021301460026435",
"46454124150314362250642653153155425242565660602221415560453606332404215263511462430442046",
"22242402061056140521651333131112035352004016500645432015324533165145454156426550020001232",
"16205444514555054263012365036113215531326430204635663332363630236516005603661311432621421",
"45560625301634133460356124263621421125165210663155343566642262322205223155125545163611656",
"55233666206666340465362632604060500304341105124223243443011261561632433056632463606633260",
"13101454020041350451066215304062115034551434023612036632655442604164542013422406301355650"]);

G<x,y>:=MatrixGroup<89,F|x,y>;
print "Group G is A10 < GL(89,GF(7))";