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

F:=GF(5);

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",
"21421412234044140043324424220234321103201023422210143434241220301320323123420244210020320",
"00230203333434434213133124141043000340042430014203330224340000034430234402312340322110204",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"04204140331321042213124033313234022134133424020020314224014121321311220444222231343441213",
"01340342044324131022401424144040103124003133401110002110200300322221402011024222421434220",
"32020201344144130000432241340023420014001233240320413212323211342123242002300041040322042",
"01412240431302102333112024212133324031102431014421210404323012432321110213230102140323403",
"44441131434402411142040302323213322112344311044022310133123011332432322303444421020432313",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"12304123342110214030144244040223303140234013310044121142344123212020042013320140113023031",
"04422431100041124103321304124404343303011344301410424042011310303034344200304223331322023",
"22124042322121440440110432343124342431213040022200400210020342320212244320233334311440331",
"21244140213120111401203003434403140340101034113333444132304144414110143111214411401300443",
"42334244444442404243422212020120004204033010240143244131130322430141043342220114232441440",
"31100311304144414121113140303012113024340314243440030344331333441023420004012342020220211",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"10133424042203422223240201131301110022231234132300120002322233224432440321213004010131121",
"03032131141323420101324413414124340012321010043124312021042211140034002313441023142224140",
"10430043011041030411404303142342243120203241240120223131143023044142021400214130124341400",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"31011434023214211314341113222312114022210233113420424041314244121133044030044232403041310",
"02220043304440243223441221143023004031420023043344040214043142204414020013424401312000124",
"00404430433230224422110443200231021030343132434020202330223211144100214310410440422141330",
"31230401022301403141204033343302124000144110023210444234121434401414401442230112421202441",
"10323220233430243233204200414221231024211014110432014241142401321002040214200000134300210",
"33203030330022133132023100142331044104100212423004222014213232313404101444431313230320122",
"41312300000113222044302112414342001034040003214014411031041131432001143212000011321020422",
"32212301444111444043413002100144424404143430402402114124320104421123320442401122233142413",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"23132211332123432400334044144441003312304444320102044443114132312340220431404000244202341",
"03404230224414113433214301434213113332201433441224130003212320014200122124312404333101212",
"40324231002341104222204231204244442221034043402433120314032041223143242000043112421013402",
"03314210014101231234001222402130213214021131012103000242333042400411210132131421312043310",
"43210110404033212102344244200004304412113024440223303311200410413134041404112010231340021",
"04143303020204243411400230342341222042232012410340230132324222203043420443121343040002104",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"10214342333021334240140111400312244313043340431404014340330333043014200134243001341044132",
"34433040344041422122020204001244012412314241121231232030013234230034143044323210443120210",
"30213011203043334320213041312104430414231331004434232322024400301124400430432414440440144",
"20014222303342043310122400023142002121114142413330433034433213424004113410240142120202421"]);

y:=CambridgeMatrix(1,F,89,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"04404440000400000000000000000000000000000000000000000000000000000000000000000000000000000",
"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",
"11120203010413003430131021123131022041414444203441101030233041033212304203224132210303303",
"03242011341023014400000303100400434022112131432430211334122234243144144411404204101334140",
"42111433044443143100012320410423311124041031102432033431443034103024132142402434324333044",
"21214311442031440213212012341143420314032433311344323434232043210103023311334342011421110",
"24032233441241001022321223212341324410203433112222220224310121201342341004411221312300214",
"01223131301130302111122312013443333330033031321333004321201024131220314431034304004414001",
"40330223001113304013421221111400013311302321010324142333422014244230130133411144304133304",
"03024111401343303311432103300004101030201021000410002123314000422401024043214411231301033",
"02232023122411403144441212101140243330100100114102401422204204104444223042230312143143201",
"21244302211111012200231001203221234041041041014234441424321440244104214312202001140343241",
"02214123314203133042041143241222404141300432401342042204222214111142230013443003321201213",
"42244020322014120012142234430022103043024200000420410324344032110220423143400044240112422",
"44411213422213003403232444303303212032112440410301023201230324234341332133201142200010130",
"33020010323111431204344241434011104443304434021410000024030431414244234300130432030121410",
"03044422231442103414241241204333301114213201333323444212021102212033312434302414420230334",
"44220234420303131333210031022130440403204043413334202334324442244131214411143441240143033",
"43330401430404223021221110334022041411431401301211433214434304223312232210100204412000432",
"10320134001440332220323242323203423133314234022032402432131243021143231402143141304314131",
"22042140323104103401013310200314014214210042013124120111344324033103222022240024031200200",
"30331341402302223134132033132402404320424411112330033210222301124341043400331013432013322",
"30313404004034210224224111041333441003101311132233321414113434413421341213343234140133032",
"21023402434331412224142334233340202341424303120200433301110444011204140440314342434422332",
"03010414411431013430230424342431232330132412420030221304201014043332443433144001201431323",
"11100240113043144140404420202021243312211123103100341120020032313422214124212242030430124",
"40014441411323304334412320031104431320422413122244313330313244231444400430124100201101003",
"40130022100424100411034312100021020214210244133331022212104031140314103200100104344042230",
"01020144142430211143030243111021022000342033321211144231143303124041014044214431402042413",
"20123014300410003100241432302344302143031024132244144432242001412443033131204130120112012",
"42213203221422321031433200204232421301103003022144041211441320403211124101443210414033114",
"41312001402204021344300100202022300432414120241420330413240011123404301211321212034002032",
"31243303102221312414444431000011133024103223310221202001331433140321414433312310444323113",
"40020323131224400120044344104130042041002041124101414030100300403311303203033241223331440",
"21001044420302310032030303441311303304204130431243434340144413102310444333441042443432002",
"41222310232434014324304023304212230203013233011413422213121123224423143301432110130233022",
"10303404030221211303032013301224313124334324130103311322110444300030130444241344414130431",
"20301133200041303310011324103343123430132304300313403204014304110444021030234030323123322",
"04024330421244122420023434034233434120431231141200101221403424142041433032213330200043124",
"04213300044220230124330124404130001231021214431100442121032200142204224210312040004333012",
"10032000004444341124120102232020222044404322030313003244212424112041244404420244213304340",
"30231433434231211131304331031012212012223010112023111024412043312222231022243220124332311",
"01331321024424220311021003120211310230430023210243134241040244134003332430000031204003122"]);

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