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

F:=GF(5);

x:=CambridgeMatrix(1,F,134,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"24421042232404034332301042201200104004002234101233433101023310034223100041440321110013334042033444222220424242402414030014422333422220",
"33210424312002240304212300442014431211132131130421221031302000402310041312003403232341432243012122341220104023241204000334232222311011",
"03312020142230041040032313441333341124010323434141101103113132242211112024110433222121314033400103200031014013332144401214423030243312",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"40040004220103034440203334341324024444113040414111211332021000342413014002010200332324340034234442023144124110424013244030230230431140",
"23023013232002220114113034443443044111421334242024133344320010424141243233310213114401342021433322400402021321201200313341014233304304",
"00112403113341214030143211233432444402302321000214043033112012032420101013320300200114030212310230004134300214433233113000031423314420",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"14021031043302112144130110143101032213140230302320033113213440421342342343000333232310133012104142201013224133121432242244240302022104",
"12112312422122204404440213104442101014212324404204200001122103302214222303132124320231144342110243410422303401012311120044220224211413",
"10331430232400042433303032344431002234004013021001303423233302022234043322011024123203044303113133033443230023312141133423041433112212",
"23140202334120433440334314211120322144042221123231432211024311003223233434031210334100000022434300143024301014443420422120200110211320",
"31233012044404142311402242004431122442121133143224144033321442441323423101304420332420224103423440140341432300410410411242004040143401",
"44324140132322123012002421010100220111141442220443012423122333331311044331413231143400402021300233301203213040413124133341022414023042",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"04030344403130413240114410424332140303110112444304143204042233201424320021343233234441041334011302443014443441022000043343130034103311",
"24401413331022343412344002123233012022311111330110043202123433232244022031223304202024021024231324333221224123223420200410310012043003",
"44120000130434113111201124000024040120144320121430423243014103030042114233240121344401231301024323020114104323422200002342444302413300",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"24314414313003203031333144124144212002130043041044112441404121304303242022323442442013224001434021034440001043111221224231244001010433",
"00102124322002443034243042213214310412334240000304214040213400404312211401102403041231131411011041033000321320241131014411230123111412",
"04244404212330224031234434124414442204143042431101330210032043420242324430320323110122343112104313120420104100023120210032212430324043",
"01104044303403322242004432011144441312240301043332414003023110314000230021413120334043012130242220032101221341104141110410342424341101",
"32031403043021104341222434100041402102314312102032400330124222332330421133411020414320303110432110243303343321022132134131230101130431",
"41211314011203133422241423243401413423020132412331402003040343410133430402100441413001403020002012311413344213244233424334434432311301",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01214011332440444223202442342323302030123222200133440240111313233011320033340013124103400100123113343124331324124041211121231120010422",
"31312100304210434232104223331321314202102430312204443413434133231114300130134131412332404102214034211240140300142201324044021011033204",
"01000331401143413020343131013134313434223303040332341303243223224402333441012000221243232313300332244201010440023013041422330012301102",
"44102401330302242240224302133244020002044343424041042304230322221031401113443311242420030144323321140203432440314203141023442122411341",
"32204114013032130222120001202320342130421140012101114234120410324321032310331340133042312144031202300121012314223422312302213111421301",
"30002213100120140421323241222043313003434301314340302131312230404422113232201114102432314134414440300424423214000211010041313431113214",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"02032434132342430404042434032241424413124034432440232044012344310123414030023032023033002023423024441134430403231400043431233314034222",
"01302014311400430413103323141214401123031002131134430304220040302331034313121121423310301140234301420314403100334123102344123203204414",
"03221404224241010012423333014140231340040032041230203013231430331433311232303014120314131011222434314102401204203102311422014402220411",
"40232433240340334132312014042123430023130120203114023224424430000400112413042144211212113221032410100044430421034404420404443233134133",
"31040002330002132334123444010334014044014012320433244024411120422222423123201133113341420424422112034220224330421431101311023222403344",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"02311302020032412221033212110333244223101010444341004033320013323214140343002313334430443324434142231414343123011030412303013113111033",
"30012314321232313230013240122411443340042213433330003023324322424404304424243043012142320302023132220211020334012330204320142243200313",
"22043440430034140442143113340420204300331230024131341411344022443321414003013232301403444343414144144104422341411433124202223244344114",
"03203311142014011204341302333114433242232241443332242121144202214222011213144433424244423414414312430000023213342430121423433424143044",
"34134011032030400411112134330420421120343331220224133103244022433444231031101241014403112322411142004340043104100133420211134214331404",
"31021241002112213101023101124413443301022433031023440430033001403303104313114410443413142421221022421034341300242424431441230022110434",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"22134113204232131324013423441402230111433230333334200020113220120021403341211122444142431211313304020344041434441414444011404333422424",
"22233204424143212312034004404423222041321133241240020300300041232143042301012403241433032123132334434244202242204302133341340243311222",
"10012201020422114414240413212241002434001404143431204141220103142004431014314044340402020020044421401024122201200314014221114210130232",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00403010411304210101203334042143311340442202103211234411021012020132012332230043224013232222012332321024241241311221131310141304421333",
"01042214123140001434114234030221333110442422042434031021120033042241143240413231402423031210140032320430411443430001134300104202201211",
"01030120021233242412210313320412143421422444031001034142200022244413221040331001332210034124113100100344104301414224242030324120012302",
"21010310233101304401333103401232142231320402030401012224304231112342043212203211243413224440012130402443231003100343204414240330234044",
"24433021430011121344223122400341323331322342401321030404030420340104322222441012142003040411322013211321431311111023431414323002414101",
"34333112102042302341003301211343340230234101442030413042412302320111003122314423430122134412432431004010011121440220132322413223324241",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"33012403332302100132204303112240104441204003134314144241312023402143320041140133402031423203142113422002233021203420400004410344242432",
"24301334342220442201402124044431334000143144411421133004001344221002001310412022323004213244012431020444110232202344123412043220043121",
"22120201013242102420322340010041111421213042103434323322022324000304443343001041400422211220000424321421013422221412301000221422110041",
"44433213240422124301423010411004034313444134402110204243340021223133242401122014234013322402212123231400422211042040231141444131121310"]);

y:=CambridgeMatrix(1,F,134,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"04404000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"12101040000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"32033214023132341432003434320021142021024112321240443413242134104000311131203122304101442342400014341323340101233311031330104213321320",
"20401414220413424413031420042444124303004340404411114442233233323222341221440313103112402431341100130033041103214022221000021213142411",
"00400004400004000400000000003400000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"34312012422103131134013013233140431442131230431313224133444321443433301241433301111012024442110441104424122003244011014123141234402444",
"13444322142204423310410102024211313402344322131123023022240241320144133201440441221301120014122322202044011001300400314303310321304222",
"04020203332301420130211322320101412142402224433302031144203333031010432230421442211324041113014440441324241301123413243034221104214033",
"40403421321231202020321332130332402001300414212020410003033214201124313232124123314134240430014121110403114104300141442300122113132323",
"31004000441420130430203410120413040130233322310412011120043020424321004002103023124013311114220220310000033103210423404222412331001244",
"32213001333114404344234024242333342312114430124120000343003102022320302221424031014304314044441213201232100011432324011424330130124302",
"42314432212301104400400044020100431442114213101031304404231424340044101043243220323314402323014202431101103034341440214031333204212212",
"10341003232441031130002133412140043202243021202344031144214013413142030140312130441012234232404110230123243001414132311400141211223301",
"22020011221022011312100102121120222430324343422443242032030041430404412440241443300410113022011241111030121132123132133241204023313343",
"30220411040120411003430242121110200032402143223200243204330030413412121422133200034032124431322340422443201204344241431140220122103440",
"43041420232402212231404444021112103130112230140214331142110244331224144112234203442223233042243011031110241301011002110303244042140222",
"03403423020114213243423032041001143344310014134030334132124041332243223413410244434232303220104004413102010022200021142040234343340113",
"34011131443434103101324020022312341242431234434430242113102011400422204223334001034240041211314124302342414320431434032131341300021021",
"12023100313330101301203111222133130322140443124434043323203411330440203432124012200120400311320002110012132231122243134441440213441311",
"42224041033114114434140101321441441231401044300243334203330242012433311143343012243203323303004003444340233434030141414343321144140204",
"24423421043212134414041411131243223232300024300011432431140003201411003214422431131411323312314243301143433421010004102310043231103233",
"21031204432310220303300431401333001330432114331243043314010334414221431120322403020441302414011231413342343133344401004140321241420421",
"03300124113212044433232024441201104424000042102221010444231240244443413424341311144303221330221231130341410034303400334334442042244031",
"21112034224444444434233121013022403134013233022331143140441012111404141234211244344433433031001010413020202333431321244101440102224232",
"32432234403103221103301002403204010033132133012002134224423231304324420424443030413331130341342000024243432144110240130441122100302314",
"10300302124340233301312000334002234422304003234323043142344142114021110103110022143401233140100212402303432400001224423112201030243213",
"42231313443222104342321144443042444232442004232443202122022324133422112002232224042030101411113211223031330012214232104314332324411324",
"42234142240013320212243212020443004412112001012124332410340334301023033421201101001230212401141043022422322424433341432414040102322004",
"11023000222043144413220221434010010043323012432221004411404242012201004030211020003111310123012233210313020221334144411102243324112042",
"13000002200012423210321402341134110002114102200111013114203302401144004430100220222104042210131331410241302302301441424443343103142314",
"32230004040211200021132302112232033100312011334322433343430140223130324342442220202000331043300310424320444102210234000344403020234333",
"10001101440033321343314104343413001131201402442103443141320132303141404114040112443304224124030010404124002222121244100001030244110420",
"10311400030120203411404404003313112434340110422411330000212231130231110321000144433311124120134340424340134241421331132344204414223114",
"23334223103113111222001201410444444211412433102144141131343424342411313110310130201411312011303020423231144304203332233213133232142402",
"04032330242203143120121411313134223434032100034233033422101410021301434032433322040402233143431032222422234312023343130341103022114322",
"22240111422032404423402413423322331231344323404231114430204110222300413002031024300224322001323311420000213214313234144211030210043332",
"13020313003333312203004034041114440140242312004242302142344131320314410034321241340413400022233133121011042331340334120401240041411030",
"31343430041320102120142212142131410143134022102424421420132104204031314324420331102242422120333243032202201344234300430014201140244204",
"30012130440143034442324020341102031244201323444431212414104334000132223211342441303430223102021300201341442341343403311243410221022340",
"10213033410141442124444433424231212222104004013304324102001021342220111224304200123114130413212240122242043243240110410020333424120112",
"30111034011143340221341303301303402243432212231222113203024330242240330133204121314421440300024022040430323422142031001414341033343432",
"00044023102233141333122321321142242003121440001214303322203443040010420110023233030221234041101001411204432411241140331432224203234210",
"31420411421322120222031134133041311322220044401211403231444441122102111033214100411104220331023103113330043232300423214031202310122323",
"23231314311341014424044112143100100134432313010003301121233410403313241002233441020332330302424041403333210430141404100224230040313121",
"22343404321340010012142011314022023244010012444320223121021021203300424020144101030323434201401324313442340100322131414044242344241302",
"04012213102443202131000122143413314210024221404312211344004233011342221211310011334424233043002412330010222102131240431414423414420002",
"04132032132332101414321034114402130340122100204431003421310240341124330110032042033410330440013422131310224340342344312431244413410130",
"42443122124022443412312244431014433030412223401411443221300220201020143110131111040444220214031233140244302203442004111444302323412432",
"24200332004400433420022111132434131441324212422433132244441101144243133322002042011411333331122000044243244102432414340423323402414302",
"41440011340402043310044233302112411340204420001200342203232430403320313031424423303113411102234210003031221323242204141020113310041242",
"13043304433143140311331420202441234304004232323434300143010433014134233234310201102233122423304144202211423202140224004104441141133020",
"30332030224323404000221400031312324301223101331100410303421404141243310303012331110200044244142343213420243234012222200234144311214334",
"21334220020324442001231042121212433441111031400232024424332042330221120340343001234244203231224440430020402401042004420203104322330043",
"20304131414113243320120011341243000234232210004340231243220334302444430221102403414104222330130013212222342441101442020043122430124122",
"21322113213000114313323324021301321220043340144122244440011000421304322244132220134222301344314431101332431413202444003121002100000143",
"32244132320303004003300103402130423332004223131212230304423322114142431124143231034204313102113321120044301121403232401340411021323421",
"34442024033140402224443200220000031430440130221131232102343042100223104443214122242303210113420020301230014242444423302134020101423210",
"32024214032340424424242224301442300124013344000332413244104413000100403003321321024412334324413011300333020331023412443240114300040113",
"03042223004121112044042133133142204234400324344221242011102102204334241320320342010422202330403003224411313433333132223121314002203300",
"03041212300332321431333414221121313440413143120130344223320142444023401201013020004344423231100331124141034314404222244033214310143143",
"31103231241143240420112231300132244441202132130342034434044111040200144042123203241330143221323111424002022343111400302310042403304323",
"20102410232004214214330042341222332341341212110443402131110410034012103302121141144032124342420423041111421140104202414101124330232111"]);

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