/*
www-ATLAS of Group Representations.
(D10 x HN).2 represented as 135 x 135 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,135,[
"200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"003124110204344130334234000243013322142314033100033344212132314242134420301133401441214222020121423212114202021401143442002402031212002",
"003313324340204113301413322411012434212010421412100230002001203130442040013212142220110420024313333004112234201220134321223043301132133",
"001101421420433204243312404130123342204331020321222113313401222421304231221124202331030214333100002222212424031041124300231121004134343",
"001122014130324121431323311402003214434131302201042312042224433203101041234133131022101300441103240103140311421302010422413412043213130",
"001142142011101243044030000413232132303444220031112044321444112103203210443212122214021121411042340030213130324404223242102012002231403",
"004413043311314332430140001042444020204433223241202420034234112034424134201133442304423323322412130023344403130223003423300234044023024",
"002144041314411211014133332222213202143220310123321341010330212401213204004431410104340424200434313404100101233211242222014221404430033",
"001022040141424242324431011300244440032110140221234130040131121431443233240443203213420124343312013013340001112334131140223124312442230",
"004133233310113141103014430131220410242144113423032041144312224443112411433243343223240422400203400000124143403402441421300133112114220",
"001024421101330301421041233043020312233224112241200213001030232042003443330010113431223402340413020214220042430144010141242320202421001",
"003033040141421103030421330123322004102102244044311242414043422203440010413131033302303101102441033444034134232111144031424034224123223",
"003210224111332240021041342123302414001444442143322121203422312204124400034332221024444223041000324013342442342132132403424313302032222",
"002130342040030243422424424240204103133133000001224241410040100044301304030443344342024412300023220211131102403224003232234103144414413",
"003420404112030423103002124410014221313221310023421421040341434224223120144334103234232244120334400003121320214102342101322241441123423",
"003102342021343324214022341212103322400301031242444120100241011103144113231401411442344140040001033010030313423414441231000120401201144",
"002111414423023441244401440034213421012341024332224133103423112001432404122443143410311304230413440130024041203122341302122022310303203",
"004221200424401102424202021412404234104232032343012210322111214202024421101433400121340044441240022201330011211244131113243134444213134",
"001020343243210340112222012341322001144032200421403311201044103233241432332422102032301002220121211023240210131314424210311320143223102",
"000010243022022212430203213213103431342341344122130224434442231222010003120033111321403214422242042003333000303042223432424313114401211",
"000314022140132340042440103233031013224303124031414142401141130222300420011203420320030442002312102430023142100430340004422321330202231",
"004441221300102014330024000234301404101240321124331103314224022331234114033402204001012432341430204144321413242243242020343410240204400",
"001403241420212443122240323143242130422121241210331232042020232232323133341420222041324232434234410313030432123100314440133242411320244",
"002422302004121144100204320320431110412300412321124233331240223041201404300114034311421314213200212344130410000231414010000111141240420",
"000213204422123301110201403222142243200004101020313323342224142200413043013430013214412013020241021002312342434422402244031414221344312",
"000131340313140010222402142011003010121211143310400144421012244220103021331310012432202414400121041414230331203142320431013142412424444",
"000223104122141213033121011324121114403134300332423121143123103132424102133243021324231003310341432324232212012141344034302004311041222",
"003142042240442333331020104204332201442103401340002423210231310031322024203041100223104231211234421442323233431102043320414122214201112",
"001412021132201304113143341124313030041121223002130431203203101304421221432332241010310340442100112334303334203403004343100410013033222",
"004414044120244231403114121010244344042011201230214021103414421332234122303011404223212104404332212412440301120040024420023332104400444",
"003410420011344143201024013303003111302404030334241430433413321144344213303341320441322030430444340020422144344402004014420311143103010",
"003424330112432021200342344003223441222014404212114301324424312020443124232124102212223111120020133111223211324303001131120004100143433",
"000000312422101230331002024330234023434401441104043201121133022420010120114010221214444332303041013032124233040430433134311242241442401",
"004020210004102144200300043303140440323244210012401401224123213331203300401201402202243434224000000314332143202004143204034211341420314",
"004213333303243412203023033421043340422200213202104112302014333242442340022102201441143223231424234014110114400301243212302430202324430",
"001024400133201334413100342421210142130112033122123101102240034224044444430012322441111123112034301200300130304223444101330021024344311",
"000214403222222413314101021231300231014133210402044210441221324223013331242031440443031041043122420313313440444214103031030203440242413",
"004104441103344302412331114220411444212102130224341444044001021023404301322241322342221224240333311430122434142143003022301112312444440",
"003010012041244322144110303304321204043210001343021113104031421123410231443141000224014034403111442410102122321224311302120333333324133",
"004413121233134101202112021333302100030321100411002424402314410011430140304404031044342344341014003312223221401422131210341323110042013",
"002400111332444412332100322444044143112004120233422034244120132103104304430223322003240013201324112412013344442334203300111032401042203",
"003241020441031414411144313241240034001213104143044211341310343424132240002034112002032224301423321130412134010324331413310140344241113",
"002304402224310143222001012011334322330001340321440214212442113223210040301013033123102111413440404124023011340010014034033044010012433",
"001333241313301321403210241430021311340242044120430201041040022411433131303310422424332313234124142313401114310311233021013243311120420",
"002034412222030201001100433231233041120242312220234044404304402203122022223301102031441203324104130240212002300102422141244042233303042",
"000421023104033210234323322401424102443104342313222404044400114144310122441212004134244014010332114432011343103041320420104320120334412",
"004111312002130344222314242320310113310110341113411142231033412010001344104412130434432423412430322114324032400401041011423124221240121",
"001401102430441021344240034130432124434440344211433130003222230300343002004103312113102413002232002413410324201002301101112221410304314",
"000010243230233410343344323403110141142332001100330212311300034231224032211114231244223223324331412143404234310222233312303341302102424",
"004111301110343444140104420243211234234021214443020312224124324130234234300001231344324001104033312241412310041323034133021311242113224",
"003412200442220431023322042301104413132231144010020132444304311330134032403314112403243134104432314020110400224210022201240334430000141",
"003401331424420113440032404222122440212004342112441404123343044402043001202013321314230041310434413321320012303420424142110231334432341",
"004233213010132103202100112012032213212344012020414240234433001411334004440124014243104124403201331441043333322123210030404431404432423",
"001200300314130002344423301144432102101143422144223143422410014140421042333413001431014223020402132414001133311233124012333031404342112",
"000433422124212200100322204433422413403132130333141133134443430442303011122343044312320030133214130320240423112133332201024244210302231",
"002421102042421004022042421204434441130132024041032112021133333324000124220211022032023003302022301041240221203403223140004311043204231",
"002434333143324430031224122004112141424130012333403203021341443430332330010430022421003012030123104244030040234030114340003030233444221",
"002040102333304423200301323142413310034042240423434010431120033420132423214200104124103222423240224133440311420403302101131103042144234",
"003414000204110240122414124232022143020002240220202223024403410042113334111220014041010401341400440433433141110031042010122303103014131",
"000122021423121031144403233320304411010310123101122124210233003303210213211124402031232131041403121144432110213201343430111024100102242",
"000444243340301304420344014242112244131404202300013321044124003002124043314143011010134304334010121231411310414332324022222314034310011",
"000403420431444211431242334112111321043220034334340431331313334432422133102310332024111201124132220124141443400123200432332212043021044",
"003211110304204331221343432400332244242211113443242304341010131023010331302213214422043023342121104442303311301112244003344011344033212",
"004244120123432311241002010403010340030123344223440404310424234033122024034000341432143112401003200344413414341303432244442130313422021",
"000411240244341121221220123212232124432322230302112234412001133124023414044303040312110330334110123224123100130001323310141321231432404",
"000043312213032141024004330440222232331301302122002201332334001443131442423430414142304123204004300133240103303114140314023320042331412",
"004434043322011423103141443221040122411024414223442303224401312330403404143004123202400443440004304132412312104403414212233300140404313",
"000230333433342010111133141424441120401030033430321224422214214230433001333023100243010444142311334243302413204401400010034304102311224",
"003244010330310041043310110102022400343424311312202331232002410241004313122104144030101324021122300023004413344231402244200144203322431",
"002220440031024143341241042412414412032313443300302004200222320110014410001231144422121300322143234001230201003034243002102012342211131",
"004320322320120001320200410224132222414334014301041011014320044113300101100041134323142312330402204023410004014234002200011033011020044",
"000124444043231302324001144004022411244200321234003402022213120111031024444440410243442442432323422243344214444011110244231111224023311",
"000201022032141141113344322042331041043144331201001031440213223341212010300024332201431101033111443043442430011411103134441144134023111",
"000301030002204403334111443244113204122243412231123100422220342030021241024432100231212032420113343131143044131342013304324202332241341",
"000230120203013444220220211124422240123442011344230413142112222000211401021441314422220144300302013324021424200144212104403143124431232",
"003132034140101131120200410002210243120204100142301034012043202210214221224004104212413402140422343343434301141101223234224223402332010",
"001301020341340204312421221311022331121213112334032213434332044020242020122234132430224044304444031122314344333114232224144432234441123",
"003422103120301414240222101414303232313211101023214042402011023424341001332044314304122133140233013112313314013224020020121122302103242",
"001300134303201034124333124032321234042441411413103023431103213232013010334041334420004330044312242404041101433240133410242311104421211",
"002012441323114020320313141323241231134102001432234043410141032043134403330312000033131402431034441200020001304420434302434130142201141",
"002321222404334304413021431141200113332430300404021320204014011312422033314120323424010303444034034300232444133042342311232314113300303",
"004442122034341114212142110141200430422211202044234140330044004400030230331124111202443434330114223130233443244434202224224110404243330",
"002320320013333201212100200100402023432401012024144120104003404334411003132444002324020102304402203234444024031102343323441440414333214",
"000334303030043432100342404122210032040002221224444440021133310323420132210140221032101024220431431302024311213442121220402243011144032",
"004444101130224413343423032013443121101204240120232222140101344013312233431314110133444321003344220442101133040021112431413204333303030",
"001014401224303234231200011234100130232441043003441033144440313332141422032243211030340011120034421344033024302023201423330300031220320",
"004242034232104214332211220313114343314203211321144110442300124031333112120414240031323211241110304421433221302433424402124214043300134",
"001310314431022223121133100440212443320443014421202142401221441204121310323301313441410402414224413141140034334302013100333012443201413",
"001110433042434013221311303144104131042332302100004423342202230340432034101144021424041433440420014311331334431303100413341431330031223",
"004441202002033424431223143104102412132011122130042443410020133334221303403220230413140201230021004412211000121101023313301402302143432",
"000300013143401422240311013143043241234411213000441430333032144342441310440244440034443200313213024311123202133440130303201004124444231",
"000043244401333414221302000231204201144013212402310221321434420241011323441133313140240434431111332401031032123131222302413444042223031",
"000432010404431010101111401304141220101403102100323234310312024400422140143332012221244223104342444314342031322243401120224030320230424",
"000211114400112323130424134432041214241224233142142210040310213340041011020203332404202324012432340434301113442203314023144242333012341",
"003044232142204021311113033300124032233434200103103302041403433410133431204144301441324440314312314240334213133300100111330210423131033",
"000412334214101144034013411024203023304100144341440202402134330312304010020404412410120201032044041111132304040312132001041034043422114",
"002302444404210304302312324144340133322410212224003340143413313340414103002210432302330034114344000132031034031003312111301124044141413",
"002330210230322000433441444303011241343013420312114030214011431211124030423111233401114211402143243034043203410444301033233043230202130",
"003422132131320442411442334020313300033132324222401212441013244330131310222433211011134320343401330141133042144310421133022233021410421",
"003021124422200210300424311201343144040340121011020333022233413212113010113234142001434001100111343140230403022324144141113031314201431",
"001334442304341122121322232201220032320430044120402311413320341242214144343423123042100344433220103220020114104214421302100123003440032",
"002444143342333413223013113104410144344042043323021410003310244234221303441214211233340112002104211300242012132000043044030304430440220",
"000000224214104130041140033440223130304040044332111003343042103200332313030233302202331140334020243041014342010020113431111240122410244",
"002244413302341343200303122042421134000112213214403134433323134402434110023140032413203213132202011040402224123142403233044334412310321",
"003033223324343023124123244342222244332231301402424402042100031034403031000342313111014132332110202421104241131200022443100304410443414",
"000443342340333404332102044424333042023001040420134402244430303342440442142013042111320221031333124224404443442040031321110043020314334",
"004301232031323444124421041321141140124301042103041311304420213121320411234232221043111040333334343314040104300231202031022014314030141",
"001043303131303341314001140321104214420214111230002144420000010443420244203124431203303212213230342211223134143104420441113213013030143",
"004204031012101300301122040304313224043202132443110130433024042020134401423114434313111300004024204421000002032003214412443330331001121",
"001113410031004432112200200224421003344042341310121340002113221432103123112221040122220133232020111300401014010302220102231223233303132",
"003432301143443030340012001230214234112421412311044122013202314211331042432302244131423333230432440112300121030342022332431010102444123",
"001444422102433242011104212221032324231401401230414402143213010232132133313211003133030443000332010244120102231231422323134013230412132",
"004310331233312132230010003230442221032023210332022033414221444243234140021433230141230433421401433001130242311221424031312112003120114",
"000124322010440042344124140040314014222323322203041130032014100413314403004132401232020301044343433310014100213431201440204232423010331",
"000120011210104440133203031312023202224424001303312101012432100322401022012342211222004144221030011304431441211043224131330440200302404",
"001422014433240313103041041312310041213144003434431400202323221211134441203004214332111222331332423113002014322021001202411414443244414",
"000130332002103020143321040012133040422101023043044200302110434023110001111342300032410422420243122332423021002000234412143211102343301",
"002231403024020324221012414333323231020341400432004040424420121044340024331302343301014304004443444343043323301303142214203030304134034",
"003424044423223234004142221113444333422203410434410242044224210042423430242140033204404040313000414134104220131404300422223222110240231",
"001104113111411420400334013104014131144121421314430223141011422122443431002201121020103242143333344042300131304034441101211314414432312",
"001123414142033023124443012324221224334040314134004201044313241040122224321144404400130432202441432201022043232133420131211044031440313",
"004121420310231001123042011321113020321040422431223314434202101104200421040314210320042023322024243032142312200244101223030431134210110",
"004134230102142241440124123301413022112042002314444023441101100432111411241232223020043104444300222440343232421222142242240032141331012",
"000043412221231313240214222441422003233040042424411302101341011314414104314314401140333011004302300300232221403314430113422113341144401",
"001444140412413112014123014120303411132424111433114033042404211421401412420033413443033144301143400340102442214104442411321314333440044",
"000402100113114102211201121234132410043331102004204244431231021031024100334010124144313423300030044232042423032120002411400312320143041",
"001010102104101231322421222024230140333233202003012434100144232010213011010003430313304100432132420334111323124010423442323123404031412",
"001101312404142344343223313323222444101312202442224134332302433040443133121311002021242342330323402144424142243243011224413402121244013",
"001111120422233312041340121432043240444324010123023130320432442024421043102103240400203102111101020202444212001341431122231243410310411",
"001011104120410114423121304103401221331302120230141114011130033033343120121211312104014242210343202020441030242001213420233420311443323",
"003344031131410214021404241202014210404002230032201134112341411113243004113403120403130341220134103130143033204313244112000321433414441",
"001022201040012244233432302001113434313401323320020213323234032021211421400413200233043212111431200204202400314144021312041013322043120",
"003411134411101441124340411010321044122211343400332124330112130023144430041321022044200404112041422100443314123243100020323313341031402",
"003242110200212402412414301032102104040314421013443414034302014041411003402400441244134202102414413312034421144141203043204221334331031"]);

y:=CambridgeMatrix(1,F,135,[
"110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"004234300220111133242032222200143420343030000222033233141020302103224134120113221223313234240444444303234443422312000312011221043420420",
"000132220010122442433113112134440223442343342220300212131342112402423330021140404441114202144343214103442311224323020414343311441111024",
"004403331442210024341443124240413030103333424134313414002322314131142323202013232113421204140101324244223222444411000323303423200322232",
"004340404000410020200403442120003440012012213020134044120233432200404122402011112200412213021042101140430423021021122200123141024424030",
"004421330003240421324141321311200341314100242423400324400003204233001241323033121244110020413300140003024441231230220222010431123312220",
"003300224441443221041412132122330334211332121130324004341211120442222101003333420344441200112311134322024033013210143210041133114243040",
"003324340442303300302114421414120320134233010230214440400241103140242112443414234323031240133024013032341243240342423423441123421104224",
"002330344132232402332301444440124412324441401233243342111432032303221032012411001114402230301402400431402403222113010224144010331224432",
"000204243003203314212340010041113013034040314312433412312410011431312130134443214400110021201334430421344320040304423034340133421441203",
"004140201320243222302332213223202301233230104210234233204043301131042403342301113314344101034402242410130142310302230141112030143323222",
"002222410313414201114211430241442233004122412034023421332232023131302201341423043424010444424402002033342422341133042142012131003204210",
"001132113014002301300404331420210310013210143244421320400032131233000023103110101020234220434333101213133133013424434220224422423021123",
"001344442004444214442444010210243230433113320402331303301110320334044221424421222202404342044243022241023213304214332430334221011434234",
"000034223432241201324300200304104110332441231434320420122411040413012141443040212212440414412142222130311332044120342343222130230130010",
"003124021423124233411202123402241432414021221320400010423332424330114034010111011013124422222030023410001043020023144202133113142011404",
"002203300324102322310011114142120114202302213301444114203312410034000103210400044001304200313142244020404311000123021321401323014242303",
"002114434130100223133044430202341424320042134132044102001123213002440413010204314111044432421433211301324011224114002400103101431232023",
"001130141323021124123343421043421241301240243441343341022123041020030333102031030043304224344241204311411003431411121223314302100321442",
"002132021321334243240323332410213213040022212322203433022202031322012402320131212101021342113314230234032420334132103334420024041020002",
"001140041231210133242232023030102004200022113134120143430200431344003024421241112441044033103013303332024033121323404131010332312132322",
"002140301401004140130213232044020003303044300243230302103121110302323340120213143040122242010241004121330313144003430334402300411412420",
"002210101442311001341203342121301122143001204022401230103410434314321403220224210100341234142220002211244024033203341031342001414031100",
"001210400400020323044322332110303000033401141420323103233303043321401231000243130410203141222244003420310000222023340021014040314312123",
"001334423142201243003201101333001411414141342111440014002212323243231212023003403123400311004341030134012231330201322331203014410422304",
"004201021333231122441033234243401421214130442144124143121243300021404130221431241210231032040012342220023324033301242423402100100044103",
"001243110041421113424110033134144214241221042422004111101310031321222313431230212420030124303241030013344433140132104303440141133233234",
"000240343044133331104331424201243432433243320434331113112223013204212132013401424202013104432241222301241240012122413104434142143244022",
"004132144131301002042123323123441243241404103203304330100212040001024013044400114332213121212141102300043400430122221234443442010323242",
"003422324414001103413130302400442304342330112302434241004104031331020340120330434212201113121211134201024022030134422042312033334341420",
"004003302311203014224031042443322022023222330031320114034333423422204244112121304343242311304203124334002310123414222211211104424203341",
"001242201110101120123002312310330241140030213431440024033414222430443212214411110001230400142240103412012441132131422342421010030343232",
"001203342222442041342244100030403441141031011202310320402411430023412340043230144213040210123420200234421121304243403204414332124222400",
"003014222210114412213403334210421240010441120433312300441244342022212103221240202241040244124242323220032320434041141304003420144023433",
"002222312221001024240343044324142201424223102422222140004342043213142400421244223001023004231001323134113212322410132304420030410104323",
"003442230330021441340201212410403142340344340003014003040001123124410433404330024203300242231144032034424312443303031311433031134102400",
"004034210443422220104144412120042220340002444431021030221431124230220222110134131304201134402214122130303104000141112220301003223112222",
"002304431141442000114140042003310421204232400214330231301423301400301024214224302140200420042042310430020134230021224041422044424143030",
"004140323041200032040443200302220420321120340022430000202224202431102300210220012442400411301440330000340123342003243033314411214202443",
"002220222412444221043342124142400430120224232110030444411132340314221444324432111244220202140240414130441313331041242240122423421341321",
"004103411204013304111321121202202411210234111204100311310430030232123344330242341230241220342144413130431240004042434403221233330113140",
"004040303241243341212022314114432111234131204044110214413043212002242130144110030413340413400220414321002310233240210224343024114234033",
"003031332410030010001312443221403331342223334144323131031200423300132404033114224200104221400122411230140024201114433200333420323344423",
"003320020223212221233212401141244334333400140042022414402404342331033430140320324433420021322430004330230342001200131344023303133240333",
"000321121440111334412414130312024422422413430313422441014340341031133323001444001232002404442312002104023334012330122023023143124014323",
"001123323312034323431210012442142021122132010333240134143130041102214214142003231113041141333243301444003324102134114221322014033214324",
"000342410001311103020321434013233243230023004212123403221023224403321414443102334021304343301042210003021213021031333012442003021112022",
"002410344312031124323314034124300343323200134113112220402003111141110101211311222410132000440142121220331333342333132321131403134001033",
"004210231212324002102404424434340110334304111134221403210421002422122122423343412022224442232344434220201220343034102110343433424020304",
"003343024400143334042100442143122210123404440234340222104444212422404124020340434302103133301224221423013032440430401101131313040304021",
"002241103312111344342434140412120431313210244120302000111023424000414431010321223400132223033001210011320213301423013320314401122322321",
"002044214441022402443133104422414323344211033230420131004233133131204401344023302203000231003230321441042133144301224343113202143023200",
"001311003420212413324220233311314402014310333143412410312311342344122323024030434422031213344042120013321231201040320330201321343231211",
"002012343041043201042340311401131140241100034200101433300313122311301102442211003440030023132313240324434101024014034322143212442231132",
"003431242432342032113434130030201203112144400442402122420002234100134022423443010332102410242002440201201113411234140112400430102122034",
"003342234022214134424304240332113230103403241233323000301331202134134320130142202432021331143420014021333031224400140231242430322433110",
"000203241424120140014332430013211124310441302300444233330003031232403102442414334000311223131111424014144421121410213014040131232231130",
"003301134142210430023423011424330242233142441013134401423003411403204234410133120122022320333011001014234310410131211024223340034331234",
"004144004341120331330423223014101330340402134443340223133313130204314101301003220301244121332430103410024444301320121024131220200102033",
"003431340203143402121123211103013111331004202403212102133332343113404224002131022124234102043304322130444131241143342040232202212141203",
"000024420414220232232011132442022400231400143214124042114401311211324103212420142102314432230403040433421101141144210330010021202244130",
"004431041333441331214102321324343111014034200333324223041304331031421040441233233333023311343413304213413031343034230330012310110132110",
"004301010313031300030430334212020024143231243001213400210103433013211323433002344322132440301403441301041320233032114122023404040213114",
"000004314210441404202114342311004214443231332443040432411111113023033210222323203314343012123310310424204043204444034221300003143132414",
"002213221241040242012413333432422223120344101430434014231012202400104432320313133233340142343213220142211102303200444021200411000232100",
"004003130322132141401114320222204302013012424423111431441333004104032111223200413412341023312231333220210142400031333312441123122321341",
"002134230124003244110223322401210324231430214424322421000011420114203241221211222013421420434303422442102200203100214133331222223044334",
"003232344243301023412032243241213343241403334011200231133410421234402422101031433101104233313211120240312233443311300113121131000234133",
"003041030410211140421132320033030124133101140320224240002120121030442344113442400210400422022024030313140030441210142213420404443023231",
"004003232312401414111422114414010202000434431402131322321120332113021440212102133430020311130230012241103241103344204004414242431004204",
"002340121222203140243001414404334023401341031010321314343242040401120323144103130210342044021400123320423101223312031313310220024014211",
"003143132041303142240122212020123110300010004124311410023223002424324202113002140030143300144002411023100212004214404441400334410131300",
"004343100112043240030004402022002031343140313120131431311114114104101043134124313102340330401021212114441410133224121320430043244013104",
"004443200111132431044332340114110240342204232134432302123212211302114112430100122343122423344413223433242023422111344441400201421103401",
"002102023100340131014403312412331042142141023322110321324444403310340401242303241133343323230443220422102302422244443121342102012243443",
"000142314414330220311300444221324343111400244400443112204012130100432232122142430441041422422114314131243112220044113121423014131323203",
"000021011432311141010344020414341243201421431204243133102021223422304212442100214221024202032124243413421331330021323121424240213023100",
"001041310104241002224244423122101132310444342311243401010011224311314122232200344401001420110412132044042434022131332102331324404314003",
"000424021123421411243404103140320223203433210423313140042400113124332442003034203341323023122021443421101102421040233231341023133430110",
"000434230112131211102232303010434403310133300304324420413043132040210243302212203302030421021112311241224330032303043143110020412041300",
"000433101403222213030300224103432434020220442443234200322241414312021044000030443424022402033342002242320144411230211231023122210242223",
"002141124443442120431100031324321414131242241043004004242203422404330031402011032403333201031411103010141012012132441341301200220003214",
"004412412403211410122413400440411304303303003142233120203301211402112240003412334310234102214102033234111401224002403101113003222201034",
"000343340321344430424320041113033200204213440331444332214013223422003421434022144023242142110221134324432314040014243422132014244410341",
"003021233130300004231023331340434212310243202022120312413404312304221303114420221131311331132233122213202203044324001421402332214144324",
"001022403331012443234101232422024102433431312010412032134231131122103144021230031320240431221110223434334402213410434431234143300124204",
"000123031430232243113033122013013121321203243400020012221211312142013222431331314232242014024040323201433014320333334420142302033333423",
"002022031043102223303430242103211134130214033343223423222124131314100243410301142342433213043431402440323441411131234302434141324223413",
"002421224120043242023031004314342320204433143442023203314224334340310132220213443432200223012241101111402213322432134322100211343122203",
"003440100043301411423341023342203400130124010402330202133214221442410443444132112222044111042302404012241122102201410331303403222224042",
"003242341041340441423424412244002014143102302424112202224221341041010002140234214041033422124022010333012342142423311331022043234323213",
"002212232023200133333133231120223000321222424434242401402412202342231441332213421101212031023414244232212020122220413003212204403030131",
"004442030134124203320301412242002312110304322342323421122232010204341420410123311111404312210024443332004323123431330144312004223043144",
"003222212323430404241422014420204213232022043440040201231404421320042020021302142131012140430301224012310013223304304024023411220412004",
"004101140032003202202341420040434002444432114203133220021334344201224400434242032300023120131022120402412221421310020200231243312321320",
"001120444141133322044323133442111300003024304131432420404322200200043220404444421402421032340324433434321303343044240323324413411344111",
"000314414140104340021230220124122113223234202301042340211013103203442320433342330333444324334104334244043244343401123100003143114000122",
"003040034140334031424400213443321301032003122142412031232100242413104010210111404132212340122041312222024334433000442223022232230342332",
"002230414410224103040121101441431002322032344130310112124031000123332102030441043414144401200303232341140021303433132224224014341141232",
"004303412403403210044140204012440441031343214221420201312033110120422334323020003124104203304302043104114103041011303040311023224242432",
"003440201410434342100441040412233020311211142321223203132412031042110211201130131144210434422423041033342202121333211043034242413000421",
"004101430344332314314123433213131141324031033342043323112310134401100101013014230030024021423314102402114011031001114024422322344340402",
"001104222031034323214103020124440232411310010433124021312134413411242430322214430044234330433241001040243202320140231431200232433414201",
"004131204421122110012324232342414120413342303332300411414124022332300402200003122310414042222120330020044101101340441432012330200430213",
"000034042304114243024141100111340220234210143110234140424412100224233114321212404003004212332442203302034021443221244412201312210144224",
"002204122304441133303440010424114444132240311424304040343034400401223334101300241401000440104331214014400121033214443011123040131031123",
"004340400424303040402003320040430232141202014244221140000244300201131343232324223212203244100002313031303424211001300200134012204030232",
"001334223034142340333030310413110203044131420332400012102312141401323041433403423322244040023432243340134410202333312140400240110310221",
"003424130143104324101414202412102134103121022113214014212042043023420342130020112400002104020144404041421024121102334201002142304142321",
"002134023234431331024443124122314433310010103333403410423320014423113020430010120222401111134114243340341414024310213241341444023402423",
"001112114323433144121223434242032042331120430002011341232034430323132103221011241040144313312430322310433321322131140123321441224222442",
"004123041032003130424431323400001042242234324203003013223330134233114234321122330021421303024213320221012413143302404400440112001230441",
"002011322324233311143342431304241340210131142300114430311234043343202031341301010414432003120141200424120420014033204044403114001123434",
"000400232104220123140231343113340022344140433140021102204212123340133320201210142423222021311123031443330400013024004322001221214031223",
"002113414122202220224400334131341311224443104210211010443132023011431002224230234424130433340240034423343234321411122414412234214434210",
"004321322102142301200413143332222241441430320130431401420442033023341430243142040111414233441041144343042001304434211401110240333312304",
"004432310203031142144131441344020310044310422324212240230233041034011242443133011344304433004242412331214224403144130111423323244124140",
"004120014243032400313242302221034144411414403241423024334310313232140223031333212301332033311404332303204003014314043020043431044300042",
"003344440430100010032103002310010343040334433331102140414232102411001342244434113232121113041003313313312140144202020434410232421023404",
"004233423444032010341012320013243131323034411110231041213204144234432333433014230243401422031141113224101201124212140023004442041431012",
"000300141132103022332343212002023113401410242102441334412400423241343201421300302344431410413101020330141430344241323442021223444043143",
"001303310421114410014321031122134234144023344123124013400310341300300222142430424220044243234113114000410240110100304034324300111002202",
"000240224240111112100040331012142213312423303130124430230123211214023214110143402144302412424040332134210302103300414432034242000122320",
"002224001011122022212033101023443002314213011331023114332444013033230041244444040031433404222434423304233223103014413221112330011432234",
"003102034300221122330342013100412303022443244233202121144122412442234011431234303341021010334124214034223044444220132402310032332222020",
"002402041114423210411203224342024430401421102221323030344310242014221411223401143023424231004001401410431232344223224233410033010120200",
"003140104243323030222241123244413430110023431331001232430344022022221210301212033110122324131032440221304044141240401233401124223112410",
"000034001211411343324244211243440001401122003121212314220430114230313032220304321323004112040433043231114234131110114440314423242133234",
"001400412224334201034234111104143340413011120400210401120203332032032434401431044032133443332230001022302110240312324314004020300133401",
"000442222034101041242200411334031014332404334411000241044020024341201032024033143302322012202410221230241422201304301200023400232023332",
"000142220204012430113231134134043234121440240012303332142101132330310021221141334013120043011411000443444313123031313310310141033010122",
"002103123441130444112303302124100340114133210304140312210123343021224340413400030124043444233400201420014243400343212033442424213034301",
"003332300242214300020033422103234112234013021004124112414433211431124443031341143004024444344402222333114244332111323432122343343424211",
"002301134210231341432310332020232314004041140100401444023420131340222221413244134444214302123403243011121234323440322043211043110340101"]);

G<x,y>:=MatrixGroup<135,F|x,y>;
print "Group G is (D10 x HN).2 < GL(135,GF(5))";