/*
www-ATLAS of Group Representations.
HN represented as 133 x 133 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,133,[
"2200010112001021202211010101112102210112111201012111012120222120211210221110100000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0020020112001012021020010101211212101111121221202111211121022011211212012201100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2011212010212211212010211202221120202222212112101110222221202022122000021212200000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"2210220020200200210220200000000200002021000000100021101012000012020210210002100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1021000020222000210010101222212000002202000011000000020021200002200001020020100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0002010000001001122022202100100000221120010020021000210010200201020001011100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000400008008800448404448408088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000880880040004840044888800408",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000400040000400040000000000000800000800004000800000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000004048808488444084404448444488",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000004004004000040000000000008000000800080000040000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000040400004000004000000000000008000040080000000000000800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000004448088480040008444888884408",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000004848404040404804048048480088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000040000400400000000000004000008040000800000800000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000040040000000000000004008000880440408800408840404840",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000484484804084488888488848408",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000008084800484408084880848444088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000004000040004000000000000040008000080008000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040004408808040008044808084800800008004000000000000000800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080044488808048404044808084808404400048840488888400004400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000444888884040408808004848",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000008804040040844880040408040848",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040000004000400000400000000000000400800800008000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048444004484040484444848880444444448080488440084440480004",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088444004484040440408848884440484408004488048404880884844",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004040000000000040000400000004000400080000008884840088400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044848080804884040840888400448848404040844808048040480088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084848048804884080840840400440400004008000040004008408484",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048088000844808444448000888004008884440408440808840404840",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080088000840808444448000404004484884488448880480000088400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000004804480880084448048444888",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040040880804484400808040804044884848080088448888048408008",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044848048808084040840848400484000008804000484008884800000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000080088004484044484080888000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008808800400048400448888004080800000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000008000040008000000000000080008000080008000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040488084884440844044484444880008000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080000008000800000400000000000000800800800008000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000080000400800000000000008000008080000800000800000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044480884800400084448888844080000008000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048484040404048040480484800880000000800000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000080400008000008000000000000008000080080000000000000800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080008804404088004088404048400800008008000000000000000800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004844848040844888884888484080000000000800000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080848004844080848808484440880000000000080000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000400080000800080000000000000800000800008000800000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000080040000000000000008008000880440408000408840404840",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084044000488404888884000044004008884440408480808840404840",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000004448888840404088080048480000000000000008000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088040400408448800404080408480000000000000000800000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000004008008000080000000000008000000800080000080000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044444480804884400844404800048488800884808084888848444088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004844080044880484048808848444488800884808088080448444888",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040004000800000088848400884000808000000000008000080000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088484040408448080480404800888848404040844808048044480088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000040080000400040084084844848408440844804048048080088",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040088844404084408088404048408404400048840488888400044400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044848844884488804800000884004004400048040488888400080800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000048044808800844480484448880000000000000000000000000800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048848480800884488880484080088008044040884880040408040808",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040000088040004840088848000008848408440404808048048480084"]);

y:=CambridgeMatrix(1,F,133,[
"6715367051756274635203555770538018625731167788765477828131280540777738814587736370007107606347656073016088843052151070476012472284204",
"8106243758261563825620061720638752670131502267061367635537130087787574566611300002800880000000000080000005235646704613668735685233122",
"2322012465681372081380803527527238770128108360256565836626577015188005882783811211820121221110220272200113245647623603788855774248201",
"1621350066712723186384565124132314374135643308310351170630140547782528853146343677063837430223275066228065007160444720542585213882444",
"8230624800415316523185048825047634235025380530860173867784237238707757756211011018200170001202012220021003144658723803677744885257102",
"8225118024310315252045085716312160864035272145578130484430122047748458665665808717366002370351235816718568857136458451367405271604005",
"6138307085684377635800588416343758386638574746430787582215323264164102585587200080705770050000500008008004844058604804484044848400000",
"6720482464684326307200602577027262443444650370234551151651277501558132825112333002266880003606036620063005133857705705846733765136010",
"6602264327644235470157046461621806837447855777163685684888858648317221385274744647314208446084444808440880488481468800484488448084004",
"6832147001181377755600812153003750343131506518068753565538048751222105363505723754750218733063703640338610587855577700755773015807575",
"1466338028380711342110546315216120080730238185462877843365525223188860271283400002200880000000000020002004034658615715778653764046212",
"6384322076853308350617814875758050127813062783453031760004048408227675430505773878008356082681866555412880825584362377285605167528524",
"4731357065255323521532861834610287728227183768426337031878534543537220823111777111726677884426581738538746086707368011373285430208183",
"2232657533158604740505872835441077423341035581420710740704067703504353200011600112010002510523102011121226818277516730327227137340287",
"7644758770807055310037637360076466585011453758663125641171417682228824778426762560705111054158561353784557762707843113305250453732610",
"8840172085616171635626080612822560046672678725528183412627222220122457651016488142787701384486426802457642678042082152214680642884408",
"4288134028415181636545788033626170336076780158064537415743263674724351261715424283743474628848888472800835727056120775105671650870374",
"1871188461257208866628176650480055584753116760615412471144548217777180730085766008803223006303003380030005733857705705876733765137000",
"8361167158788350313651147315201650642781320543077428622718837082607011186115886350736241860116157003310036475545476757806606581165322",
"4206316054261567661277701808713267661375183282355557048404320888332022513316311263278346221110270217200113814750517112850274072242676",
"2881122508011555217170307777673557272133787568075548333153870575277888332715461216337288726514320253206158715144084673470681767244305",
"4425125672218140733504477821085653804885328341774074680370552730682263780272875007715757077505085055008050880448840050580804800808480",
"1820704714787733686220025574144325520555613347044861684640247567833400872681273636451314167238560615603327758165426050766115651320477",
"8445183064117133006510715734234368124310652340553367686667224627352803273660800047003000000000000074004002020281776102133202810161770",
"1420308085086757571140080836483524336430204120468527713326825620148867745742433362860520333063303623330663053836603603665635683236000",
"5065734120288761883228571335751670441784328581357122043765107727560418386347853183483266348353825382686477528711232072248237370213811",
"8824802885312377815520026618128756688218555700661457135647584252052588640840237304343402566000330236426278854318637626507655770412401",
"1145758011217738686630065774624360526711653363856863086644340567333103873646200022800820000000000020000005134846624624887634773238220",
"1828774008446751121640088076843524326434201775068533752226025524148853201782488840240870888048808407880440326633366600630668053606363",
"5585784256716773406688015638434378580625683352450455176138607561200646853045366070678677765436328830547743736658548026067831572600217",
"2024762556856167080165781343404725171652463511323138448830741585560615051632646148565374314220837136105267376016725022245737354537056",
"8843142088613117365670383672522560373672648750055183775687024526322800227216223803360371720307087070048444154085183724168548583547427",
"7473415056606422211240403033867235228650148274800201573331141634305167212343885158827532074571116272167808844418204804408254680410710",
"4232145264120604475062715456300736207133578101315456702238714854845428007653466362863286336660360373300665153757705705878735785037000",
"1142078444317761034615076775285137006303355110374673882266655537111605834313822725387156418370332865164257125608307206178573663411227",
"3735060327086847635700555170038015186131107718765424228161283583744735417887583080440266864477408630438850835480433805241240524040173",
"3222818021345003446784642134002354208130624334260368821655547116118343003512343152258718871681372030083631863673566456806581188111422",
"4408602858353377545110216378570750620763562782465417545662248553472803207558733638266820663330660686606332426481768102572462755306680",
"1183318345610328018210022036255466623053817726455824718803580580472536878045555657505007556075555707550770788484408800424488448084007",
"1865374535244355487560531211366570884434774542463537484265186247144858547747185024038416642433300410570538312581610010372651425668542",
"6487333743117381048762032572211460020012853827463545118480640431323225628415177865114606122013566008381602282657286847160386804041434",
"5820728808844755277665000431843524277420744138318602266726232174744882845705400002260226000000060020006003033636603603666633663037016",
"6040542855568227008660256238328256130814627700501267661557408673062052244166722567033180754808521100012008085440084084408080485480840",
"4421132676258766843080001811485668448875338682521670848220152283138467553355886133451078675584316622551635612871721010642711628355842",
"1127702081685732716687065552442360527555683365066313416675147665132105252686422720182261227012222161220111077701010101755077050770075",
"5457320347022200113250054332252778137227381157717352188255076156440124536182744723770365374256741857712551135711305634304000416675045",
"8861778846247733464415033701486147361583010123152033085226116674718700158412444803780374384247840838800447768447365031004063146015348",
"4481152011212170484560711438328350134468554000661717606513328622362463780515845282386813048644814415875382688803132012514584542684804",
"8645383061715133006530015734634360124735602367071367636640624647722178827666300016007000080000800061001003535366047603257353120604440",
"1325003584440711612240520575426167026000271345374843212666327560888407831212433860655360482101836680063003605314471471385405658207720",
"7275850723846483575380566130474014725735443364714821234166347687788225057443362440572566388228158116573712302172168317165174731380066",
"8563653631178146850802776527811004832608056371563623254452541675463324450818665328385852236660388368300661622056884517834146670661530",
"1425338041840335002545580065282160840080274145078147287266622723148108205645800007740003000000040000004003603063333673436336363637317",
"8444142010263172127250724431738764621268616232455777500057281668315475484560342635830275622012602158225188404108884008080048400680484",
"4484602018213652525570356388728750625363567783855717540553220558072803432515248001168043044808018048001085705075555705757557575752544",
"6031878028308241872368476231781137025247235101257023402365521523558808874867866036246118673478333665436847887482050800844484545145008",
"0827228400486356362240462577887530773836363650700587211634647571422881763782866068830270006303063383030005035857705705778753785157010",
"6578008848040361617644840027002678373824224524258502217726836638600487401383433032200886003606006626063002302557468402745723422480066",
"8881182865217132381610066734570284242723147768175362531183530717777588272465700008800222000000000020000004234657714804878745784248102",
"8841708014613113840360711208724120158512264303051183205510722022022242827216851633730084611021601238114278701432251608626615433086757",
"8017562372615111258800741867727486487548865037367123265531185288052205254260561462704212045247472343875447105104813410635223180435343",
"8841502016567133846160711274324368174357652303153313605567324552352483308610800062206220000000000026006006862003663306265026023627660",
"2517566021271540214600777172055400182111055032553443830054483585416580310876166668236180666036606383663333255836603603867655673257000",
"3104307641020036172270361315215025785040202773764337646652742365182144233633448137473575514122657057124274376313428022575407657204083",
"5733524025486323545048012816362155341165102525560783362720083374222857637645855462040718445283453744436883705162838647243428384851626",
"1720334071013374218223300005728250652066067787705421268080888080774581834712730361473860036338648360657245777620020225005872850770473",
"0420220484081666213380053523683674232876382658418603771640473136272445063388062128538177816425310133107248448444084040440654404844008",
"0004143656768722481510761238770216744810113284506217547142348672863062108165700008200880000000000080000004054738715623687735874037081",
"1121708016285733846380667578122335772572608308854366675520642556732401313446482053664253385467608460714766451282578383777545875873604",
"6433672088601375215100813613843750383136502755468717556638848256222146217585700002800280000000000022000003135647725803876855674038121",
"5388357435052248354357460828254868171413462082053425360044808048222571828165200002200820000000020080000005143636703724886754684237112",
"3270838235812070718242014774578418162224817702305835208176003400300733664283155228013105448833702540764586576486815225143572733317224",
"1177742460616715245244407673537338233631148354210505576134077161343405805353233332833526333063333626330666822530633006561622613826080",
"1820142081486777635020040016842750786615508725665783512220822270168861253586800070705770040000400007007007571355031507724317878130330",
"8141702014265133846120011274124360174772602350871313675540124562722638051616300008202220000000000080000003033636625603677633863056220",
"1425048001444336573156648463387258406848228341034602787316225370688140785612822883165507640518278357766528878533340052562323201814035",
"1568044508884855157260031876006550821400771545768881757565326574144882341452420606331743003776461803433600444078556804048534088804310",
"1300713604175763201858171834161307084408632860273671338567016020045225403841101364662222110080023362007017318012820845688261145762017",
"4216283560707375857233780735603453233457025667605577420516412070221776874066081555630487401863680751072456833277815475882207430165022",
"2461056178587136880853166258001454635413718233554800811606721573217358706118804585833720703810540568241882051251101643817253100758875",
"2544213235002786285801060844718572435856763064142883531181365564146141135466686506304168518088466525805656162147601188208608075744105",
"0821657120285126348753132658374222754266377583258058062360546648346781021321875032425626173607882788411235750750711552550775777040507",
"8335763638152585486381848834743644235187224577847333678674727032574448260625360843602837548141430043447067667478150625227713227743160",
"3074507200303587025361461184426261312115145755555458870185375523586875747625706501118638802600030038013175373282282655106032062536800",
"7102637002183137530635342152155082231181436308076283174142450616133880602417770580724037653183435212002264173237636765662856505113200",
"5144332180116682617205130108255057720431136652801121457567204054858180530423781316171772672153104252067076516032330530486242767340368",
"7870033704706041373758342444175685081466015277004450637025038073411520631375256247382771352587477873473236475314635566227656675251438",
"5337477637384485776151873214138222878388256526173868485328883507702612055252822154082764414154281721201272861385145054467703820804726",
"3032715338670648132357476055731438884678425522303487030556228168566826503846353620710248501064828466687047223258282315857653874000876",
"7833048472676662080613350547445670252230440612562658378072482683614862531827254156212043638142531764325287877704817514012505620002661",
"1237485201530344718375881055117048431743012784364381242134854614364177724313547258458632442514874684250250761074420488773767811664341",
"0034632678855568651304775387824783733116532834028521663506882747137377214867622132023043326133112876552157281157174101032338347667783",
"0704147215084205486738353756544102031808730426167646250432145735146635278462110823458757843132634168870171465827605068434676246662045",
"3876473211352583638385663853226242888205173775881461153055875750574020408415738030066270285612667355818266438076252802723065136024180",
"2318284485281404085538122813680387480361648280385362548273111016004233246604301006247042558848076837042066510681671252657363233732133",
"5072372281037731488205841158724245763751438547421242173584225717026064882624757802031150562275176518421177473207775625337802072665276",
"5586438673875866527843788630426507608634722330106274168512607620007146542322560532788600300244308861565103860353100806512014361233874",
"3234885005612375217573080214722051731354080664363467731823163525184132823463684188135153810321440541786612211245241457237615620074274",
"0553421402351455165561844073377356312255408655325176741254027586074643223734444815440571146075612436571640213851777478752803516235168",
"2141813542574513118318246138351780583870730853628164406788418007625123443448481106102128352085005566521142247632475887302747523020023",
"1841522404847564211405662535302533840121553106187081265161546636512673580335408881784655155423373382082675051126205413307888166254068",
"6580025152501055783774807477814864632877250733042835744377651312057255036132474448260654851818678625043333307030253885576108872733864",
"0120853308200428843565554215882661756524837581221576067363323213334233626123123051211183877182175727776876148576706341022824372455078",
"7825878360416617166803204335832828702266885417340521364321528673226488711221172540776170818253143161751801067654523613016306056733246",
"3548600132632835765884043252075134850285266865365267731203805873114147170537550053770242234367822753724371722258258365820226554056276",
"2280875602825206376565766702503708531042023800176583862872128157106738652632806666837784210268165084566334853070336401740022365618751",
"4140884454075884666284831165863678241100611881312765552621577127088014814423354883726581151847817485815674418046643714484888843588047",
"2846362050800137163284822245471060088166718602230063077832436353472032657002464760667635623853846046654886561837034682672507811256636",
"4518814630028125017752575443273826717411755888244875331831800844328787026141331740646087723258254643886586401053863041035834370128875",
"2801762330681366238151013534627635261087324120618203810415356577361002473825564471528800802225312631373811141381786018413714611737130",
"3413701565200087588332746810178187050623348157525536147518125268563526747458175762203256858745782647635387147066783575805485136434735",
"4511811671447850818114253357534483845825587237725373785744350758201681710728118518443843116612138134875318217668627524841834846663765",
"8858336410526035378653471580084648072301517182130871281730172421532771470180533336167606280154140136040021214350156387514636547738447",
"3737606124544151484444381721755623046072352547181338280544444434682041504754233703483635405135408808410751870283533013178204012373687",
"6783131213226888843153633702348263752722122474527440858328284534026568503145035382842785328377645876472532647652183315615385064154743",
"0865705540717077626137565567842351720707666384840070748278806432547605825403026405732605037728185008146080578274826503446361424623720",
"6860123784863851527303317538216802802083437400723818806273003261641433023771856506447604117814267001228374706431006711331585482437346",
"0667604277170243353538857448406148031462428445183607718275045512016273558132730558151556470146402334644771572836421527441812260144018",
"2441803648256812607421018834440273713871827621481235083883431830020477802521534307780123434406026020022266373634518566806232268834874",
"4855144303656184677222718747647684222701322284083117741310201875128607403447522272006035878251383300372782467875302302751655810472215",
"4258152413611877567121707822035835438810565247413600041418673675228408223368546423356016581546411053753240311518358268858581732008784",
"4467341011303378018258587031224310740728641456441153172476773835647671328321134857846318138081584822733130128066170874558406451464043",
"1572677203684712513456474411683864105771733345182021772875501272684630842185366386771822605122150140387170051400801485206704262106265",
"0564756261671678447278358048482130731026813278188882033642300477873745487164555304725378071862032015103861108750305638783776503515137",
"6078643165637152727723566778308755103438576041884706888820176285245080856773102667814770230418032602402733206052557460082348373055281",
"2146334600505310011254560260661583336220268801802027473258650063001583880268805151861448107070570743515341673744443401336131163738723",
"4460885481155850641133275238864405306200475614471833444638371616401070112778560115443486834512136604461600240611866846115884850536152",
"3438088058104852565101076588420403676314605426538801284683551664080130058563763078885678437186287134121434853100136007841742255628812",
"2777368863546565218880001176323631546717364068806776030555757602036033855725326335530467288322171040833004877081322472707181671682773",
"4740135404201186241400531850348268813815532105255030575538621577556012136648153165808613352630670315651278311765476658252214226515333",
"0362631188217073825214315657366012245887056881106228346771230261731370658461002878335752675364058124178056152831847370285406856505808",
"2656602675431154228622562756245363733015313266463775543438865752086257735778420333348826884772712218347277252716518581125306808353606",
"3747064514004082420386000544657867766534062004226452438008424280436023072258228486121723020047877426872302061104734122722417424816671"]);

G<x,y>:=MatrixGroup<133,F|x,y>;
print "Group G is HN < GL(133,GF(9))";