/*
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",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000800004004400884808884804044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000440440080008480088444400804",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000800080000800080000000000000400000400008000400000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000008084404844888048808884888844",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000008008008000080000000000004000000400040000080000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000080800008000008000000000000004000080040000000000000400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000000008884044840080004888444448804",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000008484808080808408084084840044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000080000800800000000000008000004080000400000400000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000080080000000000000008004000440880804400804480808480",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000848848408048844444844484804",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000800000000000000004048400848804048440484888044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000008000080008000000000000080004000040004000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080008804404080004088404048400400004008000000000000000400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040088844404084808088404048404808800084480844444800008800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000080000000000000000888444448080804404008484",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000004408080080488440080804080484",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080000008000800000800000000000000800400400004000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084888008848080848888484440888888884040844880048880840008",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044888008848080880804484448880848804008844084808440448488",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008080000000000080000800000008000800040000004448480044800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088484040408448080480444800884484808080488404084080840044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048484084408448040480480800880800008004000080008004804848",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084044000488404888884000444008004448880804880404480808480",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040044000480404888884000808008848448844884440840000044800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008000008408840440048884084888444",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080080440408848800404080408088448484040044884444084804004",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088484084404048080480484800848000004408000848004448400000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000040044008848088848040444000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004404400800084800884444008040400000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000004000080004000000000000040004000040004000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080844048448880488088848888440004000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040000004000400000800000000000000400400400004000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000040000800400000000000004000004040000400000400000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088840448400800048884444488040000004000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084848080808084080840848400440000000400000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000040800004000004000000000000004000040040000000000000400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040004408808044008044808084800400004004000000000000000400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008488484080488444448444848040000000000400000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000040484008488040484404848880440000000000040000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000800040000400040000000000000400000400004000400000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000004000040080000000000000004004000440880804000804480808480",
"0000000000000000000000000000000000000000000000000000000000000000000000000000048088000844808444448000088008004448880804840404480808480",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000008884444480808044040084840000000000000004000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044080800804884400808040804840000000000000000400000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000008004004000040000000000004000000400040000040000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088888840408448800488808400084844400448404048444484888044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008488040088440848084404484888844400448404044040884888444",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080008000400000044484800448000404000000000004000040000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000044848080804884040840808400444484808080488404084088840044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000008000080040000800080048048488484804880488408084084040044",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080044488808048804044808084804808800084480844444800088800",
"0000000000000000000000000000000000000000000000000000000000000000000000000000088484488448844408400000448008008800084080844444800040400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000084088404400488840848884440000000000000000000000000400",
"0000000000000000000000000000000000000000000000000000000000000000000000000000084484840400448844440848040044004088080448440080804080404",
"0000000000000000000000000000000000000000000000000000000000000000000000000000080000044080008480044484000004484804880808404084084840048"]);

y:=CambridgeMatrix(1,F,133,[
"5316753061365238576207666330674014526371153344356833424171240680333374418643375730003103505783565037015044487062161030835012832248208",
"4105287364251657426520051320574362530171602253051753576673170043343638655511700002400440000000000040000006276585308517554376546277122",
"2722012856541732041740407623623274330124104750265656475525633016144006442347411211420121221110220232200117286583527507344466338284201",
"1521760055312327145748656128172718738176587704710761130570180683342624467185787533057473870227236055224056003150888320682646217442888",
"4270528400816715627146084426083578276026740670450137453348273274303363365211011014200130001202012220021007188564327407533388446263102",
"4226114028710716262086046315712150458076232186634170848870122083384864556556404313755002730761276415314654463175864861753806231508006",
"5174703046548733576400644815787364745574638385870343642216727258158102646643200040306330060000600004004008488064508408848088484800000",
"5320842858548725703200502633023252887888560730278661161561233601664172426112777002255440007505075520057006177463306306485377356175010",
"5502258723588276830163085851521405473883466333157546548444464584713221746238388583718204885048888404880440844841854400848844884048008",
"5472183001141733366500412167007360787171605614054367656674084361222106757606327368360214377057307580774510643466633300366337016403636",
"1855774024740311782110685716215120040370274146852433487756626227144450231247800002200440000000000020002008078564516316334567358085212",
"5748722035467704760513418436364060123417052347867071350008084804223536870606337434004765042541455666812440426648752733246506153624628",
"8371763056266727621672451478510243324223147354825773071434678687673220427111333111325533448825641374674385045303754011737246870204147",
"2272563677164508380606432476881033827781076641820310380308053307608767200011500112010002610627102011121225414233615370723223173780243",
"3588364330403066710073573750035855646011867364557126581131813542224428334825352650306111068164651767348663352303487117706260867372510",
"4480132046515131576525040512422650085532534326624147812523222220122863561015844182343301748845825402863582534082042162218540582448804",
"8244178024816141575686344077525130775035340164058673816387257538328761251316828247387838524484444832400476323065120336106531560430738",
"1431144851263204455524135560840066648367115350516812831188684213333140370046355004407227005707007740070006377463306306435377356173000",
"4751153164344760717561183716201560582341720687033824522314473042503011145116445760375281450115163007710075836686835363405505641156722",
"8205715068251653551233301404317253551736147242766663084808720444772022617715711257234785221110230213200117418360613112460238032282535",
"2441122604011666213130703333537663232177343654036684777167430636233444772316851215773244325618720267205164316188048537830541353288706",
"8826126532214180377608833421046567408446724781338038540730662370542257340232436003316363033606046066004060440884480060640408400404840",
"1420308318343377545220026638188726620666517783088451548580283653477800432541237575861718153274650516507723364156825060355116561720833",
"4886147058113177005610316378278754128710562780667753545553228523762407237550400083007000000000000038008002020241335102177202410151330",
"1820704046045363631180040475847628775870208120854623317725426520184453386382877752450620777057707527770557067475507507556576547275000",
"6056378120244351447224631776361530881348724641763122087356103323650814745783467147847255784767426742545833624311272032284273730217411",
"4428402446712733416620025514124365544214666300551863176583648262062644580480273708787802655000770275825234468714573525603566330812801",
"1186364011213374545570056338528750625311567757465457045588780653777107437585200022400420000000000020000006178485528528443578337274220",
"1424338004885361121580044035487628725878201336054677362225026628184467201342844480280430444084404803440880725577755500570554067505757",
"6646348265315337805544016574878734640526547762860866135174503651200585467086755030534533356875724470683387375564684025053471632500213",
"2028352665465153040156341787808326131562857611727174884470381646650516061572585184656738718220473175106253735015326022286373768673065",
"4487182044517113756530747532622650737532584360066147336543028625722400223215227407750731320703043030084888168046147328154684647683823",
"3837816065505822211280807077453276224560184238400201637771181578706153212787446164423672038631115232153404488814208408804268540810310",
"8272186258120508836052316865700375203177634101716865302274318468486824003567855752457245775550750737700556167363306306434376346073000",
"1182034888713351078516035336246173005707766110738537442255566673111506478717422326743165814730772456158263126504703205134637557811223",
"7376050723045483576300666130074016145171103314356828224151247647388376813443647040880255458833804570874460476840877406281280628080137",
"7222414021786007885348582178002768204170528778250754421566683115114787007612787162264314431541732070047571457537655865405641144111822",
"8804502464767733686110215734630360520357652342856813686552284667832407203664377574255420557770550545505772825841354102632852366705540",
"1147714786510724014210022075266855527067413325866428314407640640832675434086666563606003665036666303660330344848804400828844884048003",
"1456738676288766843650671211755630448878338682857673848256145283188464683383146028074815582877700810630674712641510010732561826554682",
"5843777387113741084352072632211850020012467423857686114840580871727226524816133456118505122017655004741502242563245483150745408081878",
"6420324404488366233556000871487628233820388174714502255325272138388442486306800002250225000000050020005007077575507507555577557073015",
"5080682466654223004550265274724265170418523300601253551663804537052062288155322653077140368404621100012004046880048048804040846840480",
"8821172535264355487040001411846554884436774542621530484220162247174853667766445177861034536648715522661576512431321010582311524766482",
"1123302041546372315543056662882750623666547756055717815536183556172106262545822320142251223012222151220111033301010101366033060330036",
"6863720783022200117260068772262334173223741163313762144266035165880128675142388327330756738265381463312661176311706578708000815536086",
"4451334485283377858816077301845183751647010127162077046225115538314300164812888407340738748283480474400883354883756071008057185016784",
"8841162011212130848650311874724760178854668000551313505617724522752857340616486242745417084588418816436742544407172012618648682548408",
"4586747051316177005670016378578750128376502753031753575580528583322134423555700015003000040000400051001007676755083507263767120508880",
"1726007648880311512280620636825153025000231786738487212555723650444803471212877450566750842101475540057007506718831831746806564203320",
"3236460327485847636740655170838018326376887758318421278155783543344226063887752880632655744224164115637312702132154713156138371740055",
"4657567571134185460402335623411008472504065731657527268862681536857728860414556724746462275550744754700551522065448613478185530551670",
"1826774081480776002686640056242150480040238186034183243255522327184104206586400003380007000000080000008007507057777537875775757573713",
"4888182010257132123260328871374358521254515272866333600063241554716836848650782576470236522012502164226144808104448004040084800540848",
"8848502014217562626630765744324360526757653347466313680667220664032407872616284001154087088404014084001046306036666306363663636362688",
"5071434024704281432754835271341173026283276101263027802756621627664404438453455075285114537834777556875483443842060400488848686186004",
"0423224800845765752280852633443670337475757560300643211578583631822441357342455054470230005707057747070006076463306306334367346163010",
"5634004484080751513588480023002534737428228628264602213325475574500843801747877072200445007505005525057002702663854802386327822840055",
"4441142456213172741510055378630248282327183354136752671147670313333644232856300004400222000000000020000008278563318408434386348284102",
"4481304018517117480750311204328120164612258707061147206610322022022282423215461577370048511021501274118234301872261504525516877045363",
"4013652732516111264400381453323845843684456073753127256671146244062206268250651852308212086283832787436883106108417810576227140876787",
"4481602015653177485150311238728754138763562707167717506653728662762847704510400052205220000000000025005005452007557705256025027523550",
"2613655021231680218500333132066800142111066072667887470068847646815640710435155554275140555075505747557777266475507507453566537263000",
"7108703581020075132230751716216026346080202337358773585562382756142188277577884173837636618122563063128238735717824022636803563208047",
"6377628026845727686084012415752166781156102626650347752320047738222463573586466852080314886247867388875447306152474583287824748461525",
"1320778031017738214227700006324260562055053343306821254040444040338641478312370751837450075774584750563286333520020226006432460330837",
"0820220848041555217740067627547538272435742564814507331580837175232886057744052124674133415826710177103284884888048080880568808488004",
"0008187565354322841610351274330215388410117248605213683182784532457052104156300004200440000000000040000008068374316527543376438073041",
"1121304015246377485740553634122776332632504704468755536620582665372801717885842067558267746853504850318355861242634747333686436437508",
"5877532044501736216100417517487360747175602366854313665574484265222185213646300002400240000000000022000007176583326407435466538074121",
"6744763876062284768763850424268454131817852042067826750088404084222631424156200002200420000000020040000006187575307328445368548273112",
"7230474276412030314282018338634814152228413302706476204135007800700377558247166224017106884477302680358645635845416226187632377713228",
"1133382850515316286288803537673774277571184768210606635178033151787806406767277772477625777057777525770555422670577005651522517425040",
"1420182041845333576020080015482360345516604326556347612220422230154451267645400030306330080000800003003003631766071603328713434170770",
"4181302018256177485120011238128750138332502760431717536680128652322574061515700004202220000000000040000007077575526507533577457065220",
"1826084001888775637165584857743264805484224781078502343715226730544180346512422447156603580614234763355624434677780062652727201418076",
"1654088604448466163250071435005660421800331686354441363656725638188442781862820505771387007335851407877500888034665408084678044408710",
"1700317508136357201464131478151703048804572450237531774653015020086226807481101758552222110040027752003013714012420486544251186352013",
"8215247650303736463277340376507867277863026553506633820615812030221335438055041666570843801457540361032865477233416836442203870156022",
"2851065134643175440467155264001868576817314277668400411505321637213764305114408646477320307410680654281442061261101587413267100364436",
"2688217276002345246401050488314632876465357058182447671141756658185181176855545605708154614044855626406565152183501144204504036388106",
"0421563120246125784367172564738222368255733647264064052750685584785341021721436072826525137503442344811276360360311662660336333080603",
"4776357574162646845741484478387588276143228633483777534538323072638884250526750487502473684181870087883053553834160526223317223387150",
"7038603200707643026751851148825251712116186366666864430146736627645436383526305601114574402500070074017136737242242566105072052675400",
"3102573002147173670576782162166042271141875704035247138182860515177440502813330640328073567147876212002258137273575356552465606117200",
"6188772140115542513206170104266063320871175562401121863653208068464140670827341715131332532167108262053035615072770670845282353780754",
"3430077308305081737364782888136546041855016233008860573026074037811620571736265283742331762643833437837275836718576655223565536261874",
"6773833573748846335161437218174222434744265625137454846724447603302512066262422168042358818168241321201232451746186068853307420408325",
"7072316774530584172763835066371874448534826622707843070665224154655425607485767520310284601058424855543083227264242716463567438000435",
"3477084832535552040517760683886530262270880512652564734032842547518452671423268165212087574182671358726243433308413618012606520002551",
"1273846201670788314736441066113084871387012348758741282178468518758133328717683264864572882618438548260260351038820844337353411558781",
"0078572534466654561708336743428347377115672478024621557605442383173733218453522172027087725177112435662163241163138101072774783553347",
"0308183216048206845374767365688102071404370825153585260872186376185576234852110427864363487172578154430131856423506054878535285552086",
"7435837211762647574746557467225282444206137336441851167066436360638020804816374070055230246512553766414255874035262402327056175028140",
"2714248846241808046674122417540743840751584240746752684237111015008277285508701005283082664484035473082055610541531262563757277372177",
"6032732241073371844206481164328286357361874683821282137648226313025058442528363402071160652236135614821133837203336526773402032556235",
"6645874537436455623487344570825603504578322770105238154612503520003185682722650672344500700288704451656107450767100405612018751277438",
"7278446006512736213637040218322061371768040558757853371427157626148172427857548144176167410721880681345512211286281863273516520038238",
"0667821802761866156651488037733765712266804566726135381268023645038587227378888416880631185036512875631580217461333834362407615276154",
"2181417682638617114714285174761340647430370467524158805344814003526127887884841105102124762046006655621182283572836443702383627020027",
"1481622808483658211806552676702677480121667105143041256151685575612537640776804441348566166827737742042536061125206817703444155268054",
"5640026162601066347338403833418458572433260377082476388733561712063266075172838884250568461414534526087777703070267446635104432377458",
"0120467704200824487656668216442551365628473641221635053757727217778277525127127061211147433142136323335435184635305781022428732866034",
"3426434750815513155407208776472424302255446813780621758721624537225844311221132680335130414267187151361401053568627517015705065377285",
"7684500172572476356448087262036178460246255456756253371207406437118183130673660067330282278753422367328731322264264756420225668065235",
"2240436502426205735656355302607304671082027400135647452432124163105374562572405555473348210254156048655778467030775801380022756514361",
"8180448868036448555248471156457534281100511441712356662521633123044018418827768447325641161483413846416538814085587318848444487644083",
"2485752060400173157248422286831050044155314502270057033472875767832072563002858350553576527467485085568445651473078542532603411265575",
"8614418570024126013362636887237425313811366444288436771471400488724343025181771380585043327264268587445645801067457081076478730124436",
"2401352770541755274161017678523576251043728120514207410816765633751002837426658831624400402226712571737411181741345014817318511373170",
"7817301656200043644772385410134143060527784163626675183614126254657625383864136352207265464386342583576743183055347636406846175878376",
"8611411531883460414118267763678847486426643273326737346388760364201541310324114614887487115512174178436714213554523628481478485557356",
"4464775810625076734567831640048584032701613142170431241370132821672331830140677775153505240168180175080021218760165743618575683374883",
"7373505128688161848888741321366527085032762683141774240688888878542081608368277307847576806176804404810361430247677017134208012737543",
"5347171217225444487167577302784257362322122838623880464724248678025654607186076742482346724733586435832672583562147716516746058168387",
"0456306680313033525173656653482761320303555748480030384234405872683506426807025806372506073324146004185040634238425607885751828527320",
"5450127348457461623707713674215402402047873800327414405237007251581877027331465605883508113418253001224738305871005311771646842873785",
"0553508233130287767674463884805184071852824886147503314236086612015237664172370664161665830185802778588331632475821623881412250188014",
"2881407584265412503821014478880237317431423521841276047447871470020833402621678703340127878805025020022255737578614655405272254478438",
"8466188707565148533222314383583548222301722248047113381710201436124503807883622232005076434261747700732342853436702702361566410832216",
"8264162817511433653121303422076476874410656283817500081814537536224804227754685827765015641685811067367280711614764254464641372004348",
"8853781011707734014264643071228710380324581865881167132835337476583531724721178463485714174041648422377170124055130438664805861858087",
"1632533207548312617865838811547458106331377786142021332436601232548570482146755745331422506122160180743130061800401846205308252105256",
"0658365251531534883234764084842170371025417234144442077582700833437386843158666708326734031452072016107451104360706574347335607616173",
"5034587156573162323327655334704366107874635081448305444420135246286040465337102553418330270814072502802377205062663850042784737066241",
"2185778500606710011268650250551647775220254401402023837264560057001647440254406161451884103030630387616781537388887801775171157374327",
"8850446841166460581177236274458806705200836518831477888574731515801030112334650116887845478612175508851500280511455485116448460675162",
"7874044064108462656101035644820807535718506825674401248547661558040170064657357034446534873145243178121878467100175003481382266524412",
"2333754457685656214440001135727571685313758054405335070666363502075077466326725776670853244722131080477008433041722832303141531542337",
"8380176808201145281800671460784254417416672106266070636674521633665012175584167156404517762570530716561234711356835564262218225616777",
"0752571144213037426218716563755012286443065441105224785331270251371730564851002434776362536758064128134065162471483730246805465606404",
"2565502536871168224522652365286757377016717255857336687874456362045263376334820777784425448332312214783233262315614641126705404767505",
"7383058618008042820745000688563453355678052008225862874004828240875027032264224845121327020083433825432702051108378122322813828415531"]);

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