/*
www-ATLAS of Group Representations.
He:2 represented as 102 x 102 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,102,[
"214201440134434013120212103413223120021200013414312031344431232330441131412114130310234000232320312211",
"233403424440303141203013022410232411024030410220012040321244224100234302034013440123301221034034110303",
"110201033321044230011432013402142140230033401332202210343233102331000421144440030140134200132332420433",
"132103440003244114302143413414244344140043142441310044044413334032441303433144400203123332130132001330",
"422102434343330401013300240200102100033234320430230343421442321202344204041211203321344432132202001414",
"124014021112234100112201434442044404141142440433144104120001124104420140112111213213342331012032321240",
"142042433024011422300332120000124010344432034203001040210334433114404224233321334134141310042403010234",
"004112400112434202320402330113044422333341323020100310114324301300202100301214322312230223032144333143",
"332032231230143301402403110244404430212431040214430123430001424230313301240230033241322330422342211020",
"240423330030312110312024332320033331424442004124011000341234110430111334121004124244242230224021212340",
"111404140124200024001002422211322300141110414412432004111242012330031423421312311014240200322121000220",
"214030421311433420124111142244004241011243212430444324014340423203102102423024100332204314340112200434",
"243002301403143043413412022230214412232342444320034142441330103143323331033413412433144204400332000442",
"330134124300100020232321402424302302420303300421432103342120331213432223133042112401331131213310143102",
"044302124414201041414111010244113421343301230404221110114340423212341234224034021043444442010144021231",
"320444434140333211443341242041141042242001231404411203201014412422042304332001111304434003412211020303",
"011344243132222400340143030223030323032433112210010412301333013043000301211331040101203341411313140402",
"133440242321440043043413020103440230330300401341023311121412411422142012413443310333134103401043044304",
"402232221314201033303140224440301144212024013114023043021033140043032024044433242011040123210433212003",
"001140233013344103214023101324332022332142041410130122204311302324013204031123204013304112224031041002",
"331413431340434423043312241003122224401120011201000042301431244314313143120100401042401221024403102212",
"033200402042200131440211320020410414424132132324434342130402102344431234044220224144031041200112002221",
"014310141120244340004222423222441430413221414240314301130101132430243312412223420022221442420212401130",
"400011412431402342333143331024123104222413320330014211223301140004111031003044114004330202341310314311",
"223312420024013033131342014202000220110043312010042420144141422133243434223301120211420034410332334424",
"441323110014233122014412211043242320442030340400144013322434110313200031014320041234010301044024210310",
"234322132111401432430404122414001401244244000233341001040022021021011302441223413001213441043432134313",
"410412212020430010434030033241201133130303124204403223400240031103404114402403342244301414441104442322",
"044222223102413120344144202124102021100142142041102401113242032000402422133414131301424112123114023332",
"033034103031132233430001013210300343230023104330213123233344342002413114113101301333222233112222003102",
"002411034333302403043020420233414103301234311143331243104403141323403401203133230133323240121002112230",
"100421442300030214021321141004001223431232242241012200012130134100114034003304134344313440000122010320",
"310314330401130020240214422112032022022222334110340412211234432413133031312422440023110411412143144013",
"203110032430332334233231310022402442230103410433303213141222430323433213103221324402003242440403201343",
"041033121314302310004444003442411143230441234032321113342243034000120223222204142424434433314140201231",
"440003123222104102434010131044333233103042320430103410200332321333324432312011222444030100000104141123",
"422344223433204022240231133242041404322213430311040232030412044021212130202230130411143024224400004230",
"422003334213200441311404421031300404221032211312204303002030104242310310042342444334414130403013022404",
"404124100232411412114111114331140133433023204414311303221223440204001102022442213111443312041110441344",
"442411101243030132213404103022432334404101431203301002113240141423334221344002044200241113031313010232",
"443313420001234034111042023403113030113231332001111144342303233214301034400020022424004033003222444033",
"203112430432343300344101111332103040224200231341102432033042224112010424002024121021001100022034203021",
"414230223434202010221142031110303432042333443033421404043431313241104233032102232013143033012124124322",
"222012103042223210230203000412024044303342201004212412201104434013034234434104231430420102212043340132",
"241311233443412340304222321323111332410231300410430034440433121431302300343001143341302223201234222004",
"244202114112311414204420121112104302002014203440224320431020430042044403140000040023134434321042040333",
"033422421420040100140230032042132223102222033424330333030032132210413233041310233140132104243204430104",
"232441224040403111341424134141441011143302231212431322340020301211200124230412200021200214224114010310",
"411114002221242344410142032034400423103123034142213042403423144314000203122343400302123022321334140104",
"123211003031413031014010422340422233213230030032320204412113441430221233430343234324310133412423310233",
"232333012030043332404244444231023342110131414023223422040202030411333433224021434141220232430330332141",
"030040011113232141021241023202212413231023442332442023204034014012223442204341140110142421103000331041",
"340433003010002214242132111221423114041431202002140314143112404234024324104242101330113201221113422203",
"023232001011332210000024110313101000312212231411001301414243403443314443310301144000124344241213220311",
"402301332041333342123404110024102400312000224230431434303132202014124202110433034244400221012443311133",
"234341442430100014014020222400132232001312432021332031414144322431320043442013422234433130434113433411",
"131244121033341124122400434234132020202224334443321044320303320301034021144300144210042220101310234210",
"004131113104003340002434241121123312122322022122200123121143032040034020004121134024114003023434232104",
"213412440300434002232302241201114034040332301244314024143401342143340222024033444010331043134201102110",
"222131422321112231211233011424001313113122024330312101241313004210220224231322341411301303011300131312",
"403034012002410021241024323043110233303023413404111104231240124410034303344211214212333404042303031443",
"441304221031220112242110424032303122423103240033332222221244230430120344311343313033131001042221133142",
"034104143232324301023422422000042420011434431414101020141230331130134002220301010313442101330014441410",
"244014001044012110302220133323102402203340114311440220231141340341140001330043403202344440232112222130",
"433310344313334020042420441103320021330110020304422143030332430043111334224301220124310301120120003324",
"123331334431101142101444431113144423422413101334222224241334112332111130330032102102213233230030003422",
"012044144004414303323020441111022432112010134133020400111432232000033333223044242421414244144433104210",
"222140032022122311014301033443211342002110030044234243101340134302131230201013020202244432401430410443",
"131201031332334301034101302044312231301144344313444411310240342312433041023303242033343130011012120331",
"410001423343241142023344411303420010300334403030110424233243120124104134123424011303140424213340241444",
"112241224031430012303334002410401033032344404421044121222340210041302044414223333330233234132023412000",
"330341434203022330300300011014311111301304104331243123142013444243404324231402230323334341304400310024",
"030001204211403330121422300400320132200040420102133120004211043022043144344040404221032024244404203403",
"114203323122333013202341013240131420104214013434423011233000134044324403231010112332134030433014142043",
"142224100141034140030423332432141303440402212132414022020120434034043033310130122214224304434103123433",
"003320041401424100300321002324201431120042222441441201104121443141240300023133423030122013330204104323",
"322214011214410121301130131012212302422303440210430434032012321441430431211324342000314313204140231241",
"440111230244142044234302133230032024120414110132314314314434430433243114013021233333431201303214023333",
"110134010013114240242132220200333021420301321311211321003241211214013044421314402320223032031311224422",
"303414421342333431240433410210113014023442423431002422003040400301000004023413213013142403430410134400",
"124241241041242301012012113013231442200003434023432012132223241444212410131000021404320134432401211333",
"433310040241204323111222242030323023004114211333020320401343241230202011312010444221240122411203220304",
"201011044422021201232111423030141321314242303011203140302433104410241433130021221301304240334202332401",
"421441221414102143403444013134440103324423204344201210421234012310222332244201214331400024242014012004",
"032421014204322221343214222300222344302412242131441144421023243413431334020031141324111322310402133424",
"321223041340223414143121311134120433142034431242041140230030333220012013240420312011422411311242133220",
"023442022103000404420344300223424434433103221121344343044334203140331310010040201214424343410221001103",
"333433113212143121210132241231031210344323131121302244402040201000143333041222144112313000240111042324",
"103220120141230042423102232221430210030220430032143020003113122330011311304203112110104002021222043320",
"304113123313111013302030414314411423414301242441331030202231201414421321233122443312122443314424332442",
"422212023120440042142420001301320304013141333341320203214014112030334203312124422121220144224414324130",
"233141004022202400304222002121201200312013231333031322201013321313214144333131410131412323042144014202",
"240443120242241134031421313210004420243341142103330040343234023014211003130044014332031124040442040303",
"120222113141122404223011323242300340013210321134204310410300411144402134131333403332021012041402313002",
"244103200321033131322010022401321133022233202331030242101224111224443411003103430234044102340420214104",
"044041432024210020332211211114010012414133100231222342144441211201144422310042110433133013232223334243",
"140101024233100103444100043344124200414433101111413101221444103204122134341243132341104001210414434023",
"212423013311424114133321410003121140122143423333130132410324302221001311042124433342321204220332310220",
"443430044103311121402031203123120443013011332213302243423341220401234013341442110240222120434410444111",
"023323030223121002232211334023043042114131301040121244310423314220422031143244023244103340224242100002",
"433200033131412303023001342134204330220324144342032130412023102202431220231241243403202244201024301423",
"104034411034203123130034114403233414323200200204131030030402414210212103011222434312240404110134002043"]);

y:=CambridgeMatrix(1,F,102,[
"330103312100144324330204404000141234424424444113221111301020111211011210411210304003214111333224411223",
"010200124340233220234232202240320024323123033141014121340310101432244314040134123430030112420231130134",
"014421100223400122203010320140432120034214402200420220000340323101202433304431042204413041014423023422",
"320310231144302232331223343014121114102410041133042130411201424033000231040312330031034310412433420410",
"123010140023212210140044024301233044104043224333030324013343142413412032112341314211124312041044312040",
"333103044010212311031212212321141020242342224303303140011144314202414410122210023342340044341202032012",
"320320034042331023012310233403424022440232323421210041142041002200420302241134240323021433141032144410",
"221444340321003000134210213001214404302240442040411430231032244440121011430012032010330204314042011412",
"214041323011311103230013442343221120404341001342041322121113220044032011023013020233021233130043123111",
"113223031420442304033433024423101031203421424310034121042020400322103224341214204012304320324033144334",
"003330131330402334141241143333341123233020103443400242204213114003102203430031322011233013040040242343",
"010141334412220142103313330100032404033433433232343210100020201144343103333040023234012243023033243302",
"040243144424143341121242041431021400431124204333443131040332033322440314003044133114132134114201341004",
"424240341223423230040041444404302333101000200422321314343402103102402302443022243004043010124242324401",
"442433313222103431420400433042131343313440034412032220133044011031023202240142220132202122211242211142",
"031210023330211210001243012201204030043041400231030022130020322304142000224014440121011301031020013411",
"102411024230034010042012023240111221022130101234343431243022412231301420404314412342141404132121123034",
"444122132011212110403203041012213022004344321120013234022004424003231241433010313313114213213214232324",
"014324440332313321240413020342110423221300433231242344113244340300110234114123341401440442414334304421",
"410410420120140244233234324123112043013403230300024023042012312222001323420012131222032213320310000132",
"314432344300131001311003011323224033442201013311312423013431400332313020442244424003314232430024134014",
"332332340413112144414003041403243401231144033200320421103324204243303423130330414230231300322410442314",
"414102332313211134314113244304123211132014322342300230233311312020124300304233031243400302320331300040",
"303411112123420221334032421010441324002243122211143201203310022422213324142440033411334124340103404303",
"412314211020334100403312141110412400211232042112114333200320302300021303143310200033021204113322342412",
"044134004210242044214023402122134222111110104201420340402100331404423110404443020011044420101234203320",
"231111132330230333041124112044003244401423100101104214320410301421221134330413123300113413240012211032",
"443434344422124121114221004121220002133024130443121421314243244401013022033103032414142144410031131121",
"130320304330323420231233002304320342344100011102301443300013013004444041414121400033014102324001322104",
"304103343144100234201412102030123142312401031110213020103330043013303212001000213132221331103231314123",
"303403021321131232210311332301211222410043132400000240321231201302234124323204032032434124021300440020",
"203031242004231423311132010014300011411240314401411131440110314014042224131432201203431031032043303230",
"300442430144143232313202314424204343341430104341243220202030010233020232012233214224233434132200221022",
"243341303033044303422413433004204400403240214402040420202143133244231220441122324002132312141341004432",
"241221413143341144422232212342100234430202130313443002301344331222032421224233401204340224023220133043",
"014430002010144401420400440314434140024034031144024143123010103010222040400444131040013202330012244134",
"032224140133000132232401422212043122200030413300033342440221220404233142242302344423433224100204144112",
"340240433044400114130403204103242202001002121200312322214300132433434140131013040232014200301400402210",
"114240121013243232100403213323342440004044421423304344402302410113404033121033001212424241114201411201",
"222114411232421202342422314211032332202144441210332002241331121340104032444301024412044200204240223324",
"431121032241040334411134024230224344233344401323220424341224014204342003040311033102302111144444403323",
"031403430030023044030034332123043130401002011301044300241422011421324420333234241034344402233044303111",
"210324220204204002402323400001344420044422124424000400332224123402212122104143232140002331244440442032",
"044012002110210403002433003301012114420144000002111013222044002310424122202303201443011214034211323040",
"133331010021021024324031332040232414132041313321110301240201020033322200101310123124211323301332414231",
"311401101303021204102040111142332103131102344044200220140112312024422214402142010032321303021013024400",
"340221431002022412401024031240112110404304030144423243030133101204332120303323132214110221430204030230",
"113440012203102404332431411434331121410220413140302023412342241014231143324003234313230131444333044101",
"413344012043103000421400310403443020223242204214402213120420021401422210410243030234142421132244304141",
"323210012202440014041442423014124041001244023344120103203042112043330322201231024111042330033041433221",
"331304341331143234144404344232234211401202334211000223242232201431410131121340400424122300422112340232",
"343110420403343300044224214033101112203242410113003222441020304131200203413221444041201143102403022034",
"313041102004140403342332111031332013124142014114231144211304043201401113332003001100242223012344013111",
"401032340224043442230433121130334002220010440121130400004301440200401434123412434243134340000042140203",
"001304412011221212442141320310113100004022204100240321243344431301403344132142130244311213321303134201",
"221311312421340032214203003343320444231143104031144312212400034302421443412023201434122414111010101302",
"131203244441011012140224004312312110211212242220134021431043311224224032421304232243401343130111331203",
"311403101114033013013344422014034101432014442113134321012434411012001141434342330430240220244403410333",
"234424232243140430411224331023010042012433130132432100101224341404121130034340114011422101031344211323",
"342343322011003103300013400430310010040030024020240303411020122314443140313200343221221213210013002011",
"311401143023230244202032304000341113400304211231233124301211100331124444311122320343201122324134010440",
"140112301434411234410222200444223411112042332000213342403134204340143233203211042114303411402041110022",
"403141322240311130434443141232402214420324402031240122440233412134123202004144234014043222134204041042",
"011033323033000303224214101121314440132331002202320020343122430332301400212421302142244122030233140411",
"044021002134313001131320011343241402223020203202042213234323001444410334243100132400401122133411042244",
"214013144133211411203412211042400313441000103223103400041313310042302302401014313042033200111043413230",
"114243300203301443010321312242403204402303242020433014044214322221104213142040200211120041114121021123",
"042411131334330024311104424113404100341202300012230032032400122041314443402122124203232414432401103404",
"441302444004013421101301130313224004042200103042230024221231233024244444401244202110424144344240200110",
"330043131024312014030434031034140403304233322300021244300440421412034322140140243103312214043342002134",
"102404242233102431234011103234140142143211144042213133423432314432341011011103003311011024034410342234",
"031403211042303423111404000220331120402442121214312320322341020413233202404104121401300044224332303304",
"102433304414002341030002432223034011141422100404310030204214200424331443132122040334342032111202442142",
"031444313301142331041320010143100310344042301102022313003421420203404321443213200333313110142344033312",
"204324334021042421220311440424122312330003122322432023314124421012442032321010041404440240202020212243",
"242003012322232302304411342140203111201344111240430041303141123141402201424140441022113132343443434013",
"331304130230321442414243131421430222420404422103243131120203323413441200003224403432130212313241002011",
"121023113420131423104343203231312014042130313124024124234312431401420433221034222101420214043334040411",
"344413304303232201413014143241221232401330304424421343113303203213312402043420313324112003203313201313",
"441321110421144134113244302344333113000011042234234433141111222403323213304032241134243442210313313334",
"333440033024030044101032134132010440131234422231030201100004302203341333243322103420032030234312203303",
"322430241343400432230041204411400441124100231303133041140303302324022320120444443221442241121010341013",
"012341431302332330013230210034142201444302034044241201102010322342431140134431142420440203041024002103",
"002124314210221020332303424443002123110403214334231314204040123031410411312133313433413032114040234344",
"324002222223110210303034224331031311203341202441003333314133233032421003342120043231123221002141110213",
"333433013441402423421112410200123422134410443340432111020140000030410100244401143224021302403010033423",
"424301321231420202241003004001234441340311040113023313321404303412433311442432204131240310030441031020",
"040323011000332120414112021331341000311012031200243421411433322044213220130112023103303332232442244414",
"111312422204104022240433021404102340023130030102143332420320242423344142423221440440013140212302131320",
"243320113042322243214004133124421321102412200112214130003421334400420011132042322410112034323101412031",
"414102431232444430233140440142410222100234422313221014100303234332103401432021404131210241210114020013",
"102400032230241010431104240122303333242330114124231124101102401011024402141112413024024140303442443313",
"340204002341432340330443021232431133441110234002300431323401310404333104113223142233312433233240043321",
"143000021122411001231411323002321410233230211330004401310222140042023024402232340201404241244243330144",
"400201332400110101340401210230214344213131342313113421301003444200100441040321330132043143440203333422",
"142211332202034430314110300124234143214010333323442010104114043134112433030434122244301441404213332220",
"104020404333302230232411204212004421340230312420004304041323030232324320343433031331411143031131024203",
"433221341422004243313340324031040334343324324400214314113241411243134424412404301010333132442210431030",
"003423211012432430013114204421213242334241130403133222234024403412022202214214133412242422340114444144",
"124400240322224310411010303122403121120324303314333134004042212110322042104424114213114114434112141413",
"132020414042402200333014332143212223334220421233143302230121411414410344440320311241104433113201222121",
"331310111321001021410230144031420214103033022043303442102401024430114013333004420210103220422141222340"]);

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