/* www-ATLAS of Group Representations. A11 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", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "202312441224344401044421434241303414141004411140441242241324310221300310140200220340041020340040040303220230143030040000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "322034432444020310424412001231310201130213201324442021333311014022103230400401000130110000444040024300110340132040100200", "210024143344101123423324313103324112133301134421202132131331040230101340402040030402420020043041333300000431404041430300", "142242230213041113114111133122302203224022103022114131014012433144111330313213130123214020420022241201230034302014040400", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "332130322000121123033024010023014243130031133024113423402440304324102100213110010003221010321022223103430304021024220000", "122143130214241314421020444433103031300203211410302032010342111332301010431223430331040010200002434201440143333013320400", "224123402414230032231311000212310214322213202213002020103330412334101121220202140040334020012012034003200420101010020200", "443423101431311134011302421311004034143212403212033010320202212031404110013214400133100040103001213201310244404044200000", "433022031002412310014440243312001032040304302204132441210434234103104140433312130043003030031034202403130214022014140200", "023400203314412111044344221313410101040211220213144133122224341242200320200234140104403010213010122100000102141042230400", "323024430034320142040431021114413000043211301200312434210110202011201200400201000140114010344044014401140340430000300200", "300134033213341033340230331224020030221341421120042003213221410222202400211031240121113020100003433103320213121023330100", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "444031020242113431202324203442134030440331334334233123032120421323004000332043310432231010310010331104400241200001220200", "433010311302043213033120432230110031210044413101203134314421001444202140433211220233101020121023224100000224433014210300", "143004404333243233002243310431003212441001124311000234424000040032004400320301031240422030132031033300240100114010400400", "422332130322033413310441423103010022432043244420100101430431220331004300031022400321331040011013400204300303000003020200", "233044203401202330214442241434320142301103434000321031040023124223202310140104430220341030222022034104000230013010430200", "121320241142102020034313120401433402034211113004412224243142404342404420434131330310434000310013113402130032104022020200", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "312243031033231330302344431340030041433002100130332240013101404132100200034230430424234020410012101301400222331042440100", "321414033401442223420224413434203244343042311200212441044214342204000340031323200331132030232033431000040323431043030000", "410031313033211320412414341123332024200002442104003032220340410404400230410202330240410140011013030300320310010000210000", "120023044303334110304112220432111221030103032421131334021223231210100320402343030402320040444041323403000441002001230300", "443340340010443223112334134443414341113132334344413422204324413224000200004033130314120011441040110204210202104022130300", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "130043231020000332011441033214302043134412020000423231001120404221100240331224240021004040323013414200200413344033330400", "204312131324332430413233042322042124301311421222233333031403232302201220400003120320212020130032021401040300244040420300", "312423443334243001122133343314012412212010214423301444402304102233004440122240000232000030312111320304310311444031230400", "401104103241112102040440211244132222104242443011212003042102144444002240420201330200113020312021010000300300313020310000", "114303304303203131244432433344343223322400323020020340310011342230100210410300440430314040300001022004230340320040330100", "223130243243200411112243332220203403344120424430233212333440143210100240440303440440214020302003142003200310422040430100", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "102440242234114003021320431321432331331312423241422402043303341021401220400001030140113000044042010103110300234010100200", "004243231040202224114334044333221022410402332101010432010102433200300140423313330413001040110011241302400244243004430400", "304023033332432122431134431242142311124303111401332301100412244433000100042240410112111020411014332411010101311021210000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040240301124342303201112442013021434333332422143124432222121412000103200004434230014021040431032142004240202213042100400", "323130320232122233312243410002100103333100034102330401404144203402304020124132040044413030412012114103220432310012210000", "111203012023322432411021000030044234420331342024400432110100003312204000401421400321341000102002414102441133434023120400", "001332440024132142432022040103111134131243400140414221243230040403003130002244420142112010214012322302030231113021410000", "123144020114102432231323110201323023312001020433334043004313323002201210341222330211401000403000401003130433404033400000", "011242101041431330200100442431130004321000240323401402013312200132002130042143340442314010321021300202120102002041440400", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "023421210104121014431422412004240421200124004044434201011232022201302140334233110014443040122021143102420342122012430200", "131120440442134302301203000344441334132101003102422013422224334012301440320302000210121040030033013301210130412020300400", "034030113423231241411134110130212340233003001204104401040123320010002110042041100042313040241040311102330141233131400200", "040244120103111041144331001103330241202310044421403233222141443241304120344134120024241040323023133400410332213002130200", "143202030420143341000003430401213343302004233341204142112410123301303440013210010243442030002004231102110434032000320400", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "202342014203302342411233201324112312144200331022101412111400204423302010000204340140303040322023031302220000330010420300", "440041124012121221141232213121041101343340024303133301123410244124404020322043310112432020301000343304300201011001041300", "001340142014143344334331314202213424413044141331124433301422323104304020322143340112134020300002313104320241110021440400", "042341423233112244023221341221124401040223410201141420340234111204003410043010300343242040423020242304310414014024330210", "334103331130144444212243400424430224320234430330010331223120200134003320303013100143411030124022221004240024204044140401"]); y:=CambridgeMatrix(1,F,120,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "044004400004000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "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", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "022112024214441201443212312112102244412443032112144234240444323012412030104334040114013000322024122001200212032002200300", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "343143002312100420012212043401440341024034342123022213323023131001001020102344110002341030211044331301300431244021300300", "343341241400404334230033021024030132001303223000202112211342004313234141211111030001240002040010042100300121004012300020", "312344432302324021424243223412232300334142133320114040403414233124001421210403430420214030010012013300200020112040140300", "421104404130213120014440204222224211422212310200412042323134410131400421144210034300333222041143212144304031314420410041", "234423201300443004224143121421220021112443242400422132140104400203232110022432420221231020214000323303020133121001430320", "201441303442232234400322332121230124340243404110131122403340332021204140334112400033234020114001232202010034444034400000", "220044114223121304330233342210344222312211102133242041413421142332434003434200211241432031412210042203234310010013112300", "434201313144134243401331101324441341022113311220201300120041114011400210414242420144142020034020112103430232211022200300", "140441140330300240042113412443320112240431234123331221343302002114032214210423424313320302421231214333134412311103324420", "131440431240230022340444124230130000014314314434300031014114114313203420333310130143112030224014201200320144132044120100", "310421420330211434202340340432023022110222212310142300110244204322323030021300231211322022221004221100200204422033330030", "221321312420021233302120441332114214013032111433222010223020432334200340130401131030134020103042014404020300133020020400", "000223414311013042440033144303222103242320441412303021220324231141034104241143304233132111214334440131340023433321232424", "410330142021014442240241140344434444111331413031002233013342410014323410003430040004042040223012004104320124343043300430", "012344203213204243031110334031104331321012034343000433412211422014301220343414420234040040010043201301340144011034000100", "113444013342340123034440300444303112200014043004230022311030433201320011244333211204210131213224101303141431401043333400", "014014212444113332040414043120220444413110143123311013443340124141203340043112140333200030041022212202010404314004340400", "044120440244014244231103411442442402113242021301211030004203231001423400043114200101012142341004132203120441343003330330", "011441233101102041134142140424304002411441120321443130322004212412002130323413430403224110212021241400430434131034310000", "110411400423123301411422112043220324044212334044342420124430032440322104214342201322132222312240421040001330314321444411", "142231141213331143433212004234301222213023030404414213400142123322300340012441210342404041000041334402010331130021420200", "010003331322143212000142230124203441042204332344401012010314404403222234321422033022000223214442302321302014112441231030", "434013301113214234034140422344242122402313041240241321331423032212404210100204010230214040323030004301400110141020030000", "031100022443434302211031202120221033333230300023024002401223041031001400312233040001142004422100012404340101013030230300", "333014234121313222430410404044310021133101034143043141423340303331002020304031130114321000332113144103040442141022120100", "133244201014401140432404310230221201213320424121003102423143311333014041401424414100322203143114010104132040410423434411", "120241403141331133300103201141032033334342012022002141304040102404204100302431140010330030014042413100130022243014310200", "210230021333411031021134033142013020140231200331032222202400132311302320411323300421021000132012044002420413442013420200", "032010220434213210121220122434302404341433241340243244230433414044103312241220442304243402023241312300241314404310321410", "101024043404431211232421113341004424010141004403234014023022230242404230122340420032200010241024344404300421034041030300", "440011121330411300204341220332132233342224033032334443140004440401322400433320310144140040233011243413140021432020120230", "443443400213434403203001412333203014034233003132234400103021402014400330213211220403132040011013220214240214202004200300", "210233324324233434323432100021010043044200411443334044301034423202300403222333111104434411313104223424210343311430401223", "004310033114411120320413044322312034433042112030033404334330102443000110213013030333202020330043210004330104032024310400", "302420441403040001044332202301242034303010431130443403001124110103031130002302410424242023441033343402211121030003340120", "201012000141014313012413314103402121112340342411300204110004044140102300023213320333324030110010214303401204324014340400", "204042221213202340332203224431432044033302332203033333221200010220203134304243140203000130340032112241114411004300124234", "411403033314231331214123440434442113133410324423342204143434242404330110122131120413240034113011001301010403410042400120", "203324204304124102124000034122011201134340201342342320201043034001003240401222210401111020032041441302110404043033200000", "143332302413004144110202213230023413124211232230441413324311421311242433142020233031114233302400310124313124002023304330", "201220033303420400240202400024022110210403241402111231333044434233204230021223220001102030324002430300230033431043130000", "301014113333342033343123132334144342401231240241124241024113400200323310234324230224141011334023043201320323412114330430", "014404122001431420213133332111323112333242340242222334300301213241202200022341110402242000411021302201420241434111230300", "223311414441141120123020233414402300144341231242221120431004340111401033043133133112000144240103243201413313322442132410", "244313320421034024434341432323112130232412121233224414200121112203001120402343220232214020232010322301330231403042230400", "000141140443144441332134411312110134442232334334204230004400110024000432141203330103301400222000020244412303313302412110", "242314324101344122341210204134142120030343240041011321244324203010301320410103100240031030322002011201420010103040110200", "204242030431120322240034242411123304121000442203021311434123113402042210412030330341442023214041234003340442243020201310", "231422344230220340423200431311431410402411130320141413211122102201124034134342240404142141343103420422342343422004224034", "320243120222444321310231330440224304010202421111443220231040211020300410103101240232211033434002131101010322101021340210", "104122040133004043442343321140442133312314444101132201210444132204001021141221412233404043004040121100424034304022140201", "021401400423113301421422122043220324444212334044342420124430032440322104214342201322132122312240421040001330314321444412"]); G:=MatrixGroup<120,F|x,y>; print "Group G is A11 < GL(120,GF(5))";