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

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,133,[
"1232223101303012020133130110131330321201120213320021212012112300100200221321232030033233101020331121123212101322200001023133200322021",
"0203313132301313131000232230032113003033320002123211130001213333010001133132323311331110111133323033222210202301110110011310023121221",
"0111330131123212301231121312211233131100200002212232111211110202122331220321210332320203113303312011131212222231230010002003330122232",
"0020123020011003011023221110321013031130330011332331032033332300331201233130231333212111323311022103030310302120203321331030311333023",
"0330201322212231311222010012323101001021011022232300220222321222120131202101300310330320221213222200301233222013022222121330312320031",
"0201110023322212312230222301310100121301321133210030303101212031203312020133000122211230331100022012003210200023100012031022021110100",
"0233120113130330011202220003203100211202123323031302013102312002310202121233231232200010321021331013212122231230303302213020330330202",
"0323200300311032213223133021011020002211033110031203212023120020202012313301323130120211033312111232332131323220331200331111002332002",
"0220011031333100222303321022101330000200212102123332233103320003322102003003313201331002221130000311311221211223202010011331211131010",
"0213320201230230301200230112212102301212100331221321220300000002010201312010232130312302132103103121010120323033032130230310200213230",
"0113212323012102002112330032102212320123211223313322303031000302330132012020210322011323003202211012210012001220130110023210133113202",
"0030101020113331300012121201100202023313111223121033230130132020002312321232000301232003221302233001113032210201013331333222122203113",
"0332312331210331212320201112101223302320000231322333313011311201202112213001023311212030111020231311020102212103302100213313201030011",
"0203320201331323131231312302320001003200112231212201311212313033233111231212002321112302310203121113201120131132001230132121120220332",
"0210102130001213013320210100231322010121112110000311221330021110130030110203310302303011212233332321003002323010132221330331201100201",
"0303031101101222321213232020101232332301031130123301230202330120130311103103003320120211122103100333221001033301031310102002012213023",
"0033231002122022230020332212230212000022010310332021030322132330001212230002211101331322001230330131201333301311312223311013333032331",
"0332221201033010211011223123320133112133233313113123231320020132023010211113130211030210202312000103003333000332031113232220001101003",
"0010031220110121231110232310001323020302100231211223012001220302331030222311101031330202330102322310001213232000110212022111213321011",
"0001210101123303221111033312133333112112120322202301212121000013010011010323332100003312232233203000033321031112300220320323210321122",
"0301222301302103203230231303001000321113220303203102032121220033002323202031000302131121011010122113132301203020313112021331012212033",
"0221013021102011303003200123003213021112310012320213221121103302202012102130203110320103112221000020132313011011300001331231012212113",
"0301030103121333233321030203102013030030211023323323132200301133201231011130332333131333133230010031200220223123230100021010201213221",
"0111210132323122212122331330313333012231301322321203021210120332111011112113131200230233220110320333312323333020321313233121311332311",
"0322002300011022313200010112210211201133030030001332023020202332232200301131002311111322200113023212311333102202212222330333322331232",
"0200122320122103120131303232020032313200333101232320102313101013033200011313130332332013202010332231002231300322331213200101321220321",
"0301211120230323012310320310101322012100201031313211323320323100333310202221332013110010223310332111330013112223223300310311213330001",
"0031212002010031103303133011101322002222012202223212233011123333232033031213023311103312111103020312022230001301101331230320302200101",
"0121023032201111332232211312223130001310333131322131302232022210122100112030000133032201101122312010322330233132102300012030130220231",
"0102311121330020312020313213002302113121131333130222011020210113023232013021011312102312121032113032313333233102330321232221233213322",
"0031122310113013131111000331203221230011033311001000330113012022031202010103033023332212021323302201201002131010011100212100332030131",
"0101120312123223021301302032232031021313220023203313111023010301320211311213122323310222111202220033211331111221323132202323003033221",
"0112013231230132211213322113100012023120103212202130312022033133332330030003221122310101112332222010013123121122233132010232131123010",
"0101321221033100101301222000312310312211022222202333313302022210130013211123031233012132300302012313123210222003100020203202200032212",
"0120332300330103302233010313131012212303023322120202213221130132203230202113130312231030102212021201231321113222003321010212103013130",
"0123313002033023012022320032212002223003200221133132133300130120103310210122113111120233023321002013221231313233233021221310021030020",
"0102302231112032323213202033223133300302320303310122103331110330232312333202231112101221200013133233120010310032323313322301100010123",
"0203103102122301001231012233103002320301010023333100002231101233023302022021033133132210122121300033122130200002001331111122330010311",
"0103001320322231313223220121132122332101031200132331332112230231322202233231211320120100302211131220221113313123313213130001123132123",
"0312101031000313113333310300300220301012023300011223230032013232022133330300330200132003122220022232200332122312300120310010010332121",
"0102011220213012312232301313211103233013321221120102211111031130133102221311031033323313232013030323320322210223300313323203332133320",
"0031031032311221000221032022022103122003220112222003130012021232321321132302122232230110023310210332200210132221201032322033123301000",
"0300102321200212000121330133223333320203212010111020230323313200012323013013002113023001123313321331002011121021322012331303122230101",
"0110020120302230121032133312131112200011020323013120123223213311103130302222222233303311230202202021220123013231110020323003331232233",
"0331210331221213021102002200022203333231313110303323200221313010313323002001230200032301233201232202321202220003021203011331030223000",
"0020222203213110233221231231110121021332222101120330313022010232200320333331321202010112221211222210321221123121220220023130031001021",
"0011002120321313132100323131201012102012102032031032101201223010032320123021313301001031123103312100220303303232232101210133131301132",
"0300322223010112031032313121021211122333023333002302032031222310231323302202110000123213312321110332330231200000233211113113321210213",
"0132121000321102313133221110222023232230121222002210213101100131002322132200022023111330031001303120320300132012213031132012101320313",
"0230121302000001132121010230013303322222301110330210130221330232231111122133022112321033233103311112301022331121310121002131212231000",
"0031210323321322122132220110130032322322300020112002122210012200023210220003210010220030301101201200021011330212332120003333321320210",
"0002100020023131322321332111112130020321210210310102221222010122120302310131313213012203303111332222331331023121000332103013113302303",
"0013033132222231322031223022313032303120100131020320032103013323301032232111301223230221111301023222021121032021321010330330022013121",
"0001313321232312213223332022012301102123112021112020200121230211301223131122311110323102002020313133211101131123102321300110101330223",
"0003213102022001110330022101231230020320011010030003101313010032131020002031110300132033122113233103211322330122002003013311101122130",
"0312031103000132333212102131032003112301000113033222322122103332321220101132101103020202113320311331021331230321113013312321102003002",
"0202302133110313003003301130321231001202311120012200003022331030103300103331133201131131330020013211313303211320011201110131003231002",
"0223000200323300301003310002103200203022133301321323130112331133302122010223133212303123023032201132121312123300230233310220311322201",
"0332220222202223110021310211200030010330202322211031233310300112301320012001313103030121211213203201113331331013000020310321001012000",
"0010200120102022101210100102001121310332333332202221023102013322310202321120000123020311330203222313310303303111132201301100020102030",
"0031032222222311102120202220111011210310322313122322331001212202232200120031320322132310030332123021331202021301222331330312331332111",
"0113133223323213300221311130311032231232313222110323111030131021302330320111013120013010220313311311030322100330203231212302230111100",
"0303220203121232213031202232121232212111223010003131001130203310100121102321331210013223100110121032203332310023002211011022313122212",
"0002300303212232112201311030012233001111320000013012330013302311222302130021013012331030312230311012122120002103013010130311203202211",
"0200333312232320132122311012312100003203333111223203030001021032233111121220123202302010131210203223010311333101010110020213013022010",
"0030110323122310223322313021013301222031222302231221200323321001231213331111312221232302233113323133021313012130103131120030232331322",
"0130233210103230301131012002000333331220321203030123012000220003331002022303303200101112320132031030031013323103232202312112201123311",
"0102320331003300311232333112301002030032202022332210320123132110333013232111211301030100302200020230220313312021103300302121112203120",
"0001010313020112020133210200120213202301103103002112011330101200311331021130133303211323022300200310003202003030220211200013113332102",
"0230331013220102313132123113032203212333033301301213003021302223102233330311332001332000011003003202020113301212313303323211202230231",
"0100333220312333223230021211022012121012200332131220210111323020230232022102113233200201120330200220312101310011221112202110110120221",
"0123222330031131303113331013221322332120133110100131300100111010130323203122202103022203323203330033201303023311131103233001333313033",
"0013131232311333210122330102202100101122132213232322030110130201120333020231113110112121203310130011133201332133033130130332220031012",
"0332233020010232323012221003312311303222130323321111030110122113013323312322200131230212303122033011031132000102220303321323211302013",
"0013220121222021003031201323103320303020210032020222110202320132332120300012210301131103022221300130312012211000121300213321020130211",
"0221122133010203332330112230102012311122022000001021213321022021113013001033332202202032130103113003013313033031030002232231111021023",
"0333012110132312131123103003203132232000211202021000300110113331133020330032022232032320033021120022222313331323303313221320202200133",
"0231333322301322000310102133103122230312132203330023121232310113303231122133223100302012311121332101121311213312103122232121211301121",
"0012020131231021331120033233303230311220012112200210231321223120132001222321211023030210230112122231122210032110112021112212102310100",
"0232103330300122331132232301020021030030032303321310320230321303323000122131322330031013033112213133220100322311210123203020211321203",
"0203011223021110321221032213310112212332230220222111222201222102322301301303003000022211033233200120111121211102032303311303331231311",
"0320110202333220133103113202231112031003003310332000300023011022033302122200303230032301301213001203033111201310331022212120000122112",
"0032023210132213000133330333010303131012233010001331213030132032033330313030220113120303023013101131130112122201232302110301320332002",
"0330312300001301232221301101332022031123000303233101021102013313233222311223202200020211221310030101322320330033310112102202333030131",
"0031333000331232111023111232200000311110123330313121331233213320223332012000103113212230121233220102313213110220213201232001312233020",
"0223333303102200102321102003223000020230112020120132123320121112110102130211122211213300020033230303302213312311122111332310013320230",
"0221102211323023222333023213210300030131300310011211201203303211100121102313223033111002012302210223230133300312301102033203010001222",
"0111303020332020222120120221113013003123210110202022123331200233030202101003121212200321303013130122233011003022002210112200022103133",
"0323103313321132102102032132131230030011220212113013333212001221302223323312002010113120002231130031020111231000300133310312133321333",
"0130033203003013331301133011222031331312201311200002230003111023131032103032010330220103231320001011321101103000112200111000212120321",
"0132330322011022101032213110032103123023123202223203033210120002200110313102322312130010102212131033300313013330111320312222022031202",
"0232032200330011030320201122002031220113211221202220132321111100230313113010112222210201221302130033211322002200211330132033231301303",
"0030132023333002120212033230303102021131132103221333231211002030323212011201231222321330303001100012120332012203002121123010230321332",
"0131021202330111113210100220330201202121332121103311101012101221030303202213201233032223203231310000023022222121201232201032333232132",
"0222023232211011010122310030130102312103021012201301021032122331123211312320133332123022231300222203301121212332302123120101330100303",
"0110121133013021232202222132100332121212331103332213323230232133020031222020033112101210122030232033223022231021021022301202000013202",
"0020132023323232001223201001220221030312322322110110023112112013310231332330013303231323112202230230022131102122012033101311331130133",
"0210221303023122131121221233321113301013233320213121130031113011113033310321230021011220301323103023333013120110020212200021230133201",
"0122102023110310310001311131320133112121103323323222201231223033112330212213202120210323222210230311123031033131200320001120200030030",
"0310023033323230101132111303132221101033131303020132120100131121212022311211003123111210303023122032300212000202011211120012023230000",
"0020303021110221002333201101101022333213033310211032322010131120023010112131210012120230320321121132201210332022021200103031122302300",
"0033120232102222121130103333021000212201220211323131123022122123333223122110100211113010000221122230311301123111202110102011321201033",
"0300103003011012221221312132120302031323033200002332122132300023130120010321122330112230300303122331030222001122102312132020303303313",
"0323032212213103223123313210222322011033112012103331032032212000313312332020303100320311212311200300220223231113013031222000222133012",
"0330322010030002300322102020102212333113330131012231210023333321210300033003100220011233120332123321013202011112012001223202213200000",
"0033001220023331111323222111212212203130010321122110030020112210102032200000132133030331212103122001203012313002200111012021313101103",
"0013221202132310002211300133223301210120111000302031322002133203301120021100301311013102111112223031001331303122221031111013330211020",
"0000023200131332301023003132300322303303203003332312231200002200231221310203212303002030113031231103112312110203222020202130032332011",
"0022110033010310231333202322233002103302202203203333102221111103013121201202110313023101130223230232032111332331221301122030330103310",
"0230333222231331332212112200313333013101120312330322222122013011120121200321303203031202311021112230321300012122333313200212332022232",
"0222013022213112200232311220111110331020212021022111203202211113302013012312213230122013313231022122103112230332332122033311311112313",
"0000131333001203302130121222031100212332223233121222022213201021311131103020313230002130211133201112013300330130011303121232013313002",
"0200013202120311123131201000211011223312020101030313011112012122333133230112021010311003303203221313022331003030311320113002001203013",
"0301110300312113033002302103100110210011132302011211031132212023121001020310031022003133321211000130322000300010113330233101100333002",
"0321011023123231332300333012002220322023021330202321122203012123330223030211323111003021232000312021020231211312000021223222213100111",
"0301223323300121201020032333030321232012330132312332020203210301203110333303202000233331212022313303320011212020021032330202200102201",
"0021123313102133202013200031301311020011012100203030011323312131211102122101002222211100012323330022033131313113332212123113301021011",
"0202222313020102101131303003330112310322300320133001000332212332112030021220001231310122010203311131002321032223332212033023322203222",
"0103011213123301211202033130201312322003330213323030031113003203032033201120120312312030000202020100321233133100200020221300012031113",
"0303210103321000202223320202311223211033012023302211031313123000321323321133130331012110223131223130120221130212003100110131230230002",
"0232200311133212022122130311103012321302121211033101212323001103000022013232232223200131113130212103120032131201123323113230013031303",
"0223210301230333201321122203010230322303102131211103311002320030101223311121003111221311311103001310011010131223310010222103030331311",
"0122312021113212233311012223122101333012130322311010002023022110010230202312003020102131033201113310200122011211200101330313221112011",
"0103330330032123320023002133212121121102131031130333233301333002103101022030321102013001210033012012302021302322030111320133330333121",
"0113212113220132220231010001022323211232233001331131210031102023213323020122111333013312123033110303012033233122110333222023200110211",
"0023032213131112101220200310111102023120031332332202120222010333020300123110321333222231010303120123210020202313122132232300133023220",
"0232020312320203233021331131210322313300033331310133001030123220102102002133231013132010120211212210132111312012112123111320132220332",
"0111332320030302031230333130202132103120113200023022201003131322003103020302211031023322000202102020013330001000332000200213000321203",
"0000033013332120322120000312013333132131222112211101201222301321030021031101032300323120322022202230111313010323221010100233232323331",
"0130323311322310113102213211202013122230300031031032312231233221301212023322112000202031111130121010300111321210233122123103010113002",
"0132220013112121002333020321030102013133022132301101111313113122031130121101330033101002000012023001203112211211121001220003001212130",
"0033003020323201101130231122301110023003331210113202001311303102112322320210223300033012010131331122232233230201301233230311300301021",
"0002133212032022012200033201320331322001101232001330203302111200112012323102330123300210121310112220033320103302202020323121020113133"]);

y:=CambridgeMatrix(1,F,133,[
"1120001302110010123202133132203303331232022111331321211011132232001121300131301113203103011001232030021012313330302113211130223233011",
"0312301233222210112232212211132202101110200021113002131332013133022203101200211223333131333001330232022032213221332222012212030313020",
"0000120130131000031223213013313322303210031332230312020111030211130311331333110213000120211220322211001330303221022223031020331131301",
"0212012020032031301310013122202100002122332300223023102202322122133312220020111331001101331020033310001111111232133300203222011012023",
"0220003013202021032011322022303212302202232001100011210302022201001020301222021032301102021111121132010103212301011311033212312020102",
"0202003213120311221033033111230223021133010322100231210111200331001122020132331301311121103303131003223133230313013322031331002132121",
"0113203333001010030221011032302020231113231223313030301232030202223033313100213132113111120210213120211211203023120000010303113113003",
"0033203301203333033312032113023321222220013211032011331212133303111003322031332203312200302212001133000100212200332110303312022303110",
"0233331021102123023211330121302132002123223202123311032312122312212332323302112131102301103110220221001122322102011230012310310033212",
"0022111000002211303102013030130102132323313012101313010010111003133021232211132003212301132202000321332132132302231213110130101223012",
"0123132010000002200221333213200203020303210333032110020233132312310303130130332122212231322310033100213121321010102123331011212120003",
"0130001302300311202001133130032333333312230030111212202033032200200213111222232221133003230012322302100022100303103311212013100011013",
"0213020030003203300101133123223321323103012130101112101131311110232322102112312301233113021111233223113033030313021221211122100133022",
"0301120221032230130020031222213012121223131112122333323303030212030021023211021013213302313331312033121220220220011122303101332031120",
"0330112221022021011102222001323211332313233213002023322220103021212101323013001032133112310331301313222301032103223012232023303030022",
"0002000012302211201223231331123302233033300003032220323020302013313323121213130033112032103233233213221022100100201122131102220101330",
"0210221011232312222221012100220022303302321123122121301121233100323020000202023110110302313102313310302221121022011300030312223302001",
"0002212023120233233222300200222321303312012121331000131233230123203323220113020022133122032131112020333102202201233123030210023023030",
"0131300210230032111330013231221230313212321221301321202011300302301213121130323332001301131031131112001321221012012332213003201113030",
"0330321230312222333200333301330203301132213000302003020032231211010121132331002201223210033103111110103201132021123303030203222331231",
"0000101222013112320213302131323002331001111010133311121102003002021330221121003212331133303332002011233012231112202001111310032001200",
"0303331101220020222102130100122311212331112032311332032333031233333002111202032021213311300310332320112113112013300322220331110031233",
"0220311020302203031102121000330131331000301003201301111231120321320310031213233301230010002333100233110110011122011023302222131322332",
"0312100012203112220223211303033133111323101112330221123330023033233331221023322131232010203311123003210131220312212323130120033231233",
"0220333122201132211212121102213013101301223100021221232310322031033110300012003031031210323001303331313032320231033012320231110023001",
"0232200210323010021101321313022001210103300233331310113111201322021320000022132211332233230010200001012201313131021323120102130112030",
"0221103123222000332030130113312222003023023220333132001123232310232331220000010313202132230310233321323002220130201210133010233311210",
"0122100032222300122320311013023100210102020203321030010233023311112332032320020123233213103200032222110102030122312302231202021012011",
"0110021232202001323121030311023230231313113001130200120003201132301312003102110230130300112032101201122200000102210213200021222021231",
"0211023003301022131212022313311201333122132112033113001322032121202120311020323202313133001331112312313333313022130310200333022123102",
"0022212233010011101122003222000220011101230301010320222020001101303102031123132333333231030312322033122200310031000312003333111310102",
"0002122130221033003303020013322003231203121031212311130331132313301303011103300211121021312233010122313032212132111321023313331102113",
"0223330013103332030111200003011122013030333202012221021012323021332121310010212333312131012312313123213023223331332101223220212313011",
"0321033021222131322331101310322213211200023002012112303220222021010101111211032330302231212021030220232332321300321220300313010302110",
"0113301230023010202231113002302102021201111231130030311021132022123203313321110332003020100210023232332321030311123120111331332223130",
"0201302000102323221331332032322333210211220112112030101023033301032131203321102131232311332132122330121320311020130132211110000013133",
"0233220132133330003012030022102232102311110220313130233212323131310222222213231030110311322111031001323103020321031131322320301303311",
"0232101313132303132211331011123131231202321000133032011300131211012331112233132322033121313221000312231220033212321103102331221301000",
"0220022133331012330300203211210231010311213321113302130200213001030211203223112200033213122323130021200011012031020210222023332322103",
"0320000312222120032103113221030030222321131220312311320231003101133303330212211020110012002212023102002301133000303023003010211303331",
"0232023332231002230111023213332212113210033200003201120331021011201031201103000003032320000202220132320201302301020211210111130332022",
"0122011031103331120020020301332332211200033302101013310103302221032033223333023222322332001121032121021212001110300302211232331002210",
"0223031021312231023021112031102331322102220113112213231210312212030331132302203130320103113131200213110330203100031323100211213332033",
"0333030310213332122222113301301022331212132031110113032023023111030212200301123212120313201311103203012122233320203301133220013232003",
"0113321320231131232030330101030032233210100112301231021210330001113120002121332230021103001132223201002131011113302332310333312002011",
"0300010100213203020302001221132100100233032231110212320303203000113112021102113233011100311132321123111100231100210131113100232003200",
"0331021100021221032322133333010232211331113010032201121013021322010112102112033031230023301302202010312033130322333213010100132233220",
"0233333231100010303001231003222222310132202231010111213020302133100230233233333000301220000210321210033303320013300213110312020202032",
"0312223310020123101233331023220222202301322232033030031323033002212300320312221222112122301232211021002012130323010103332133200310012",
"0031130022312110111111020330313031311330111030203322220033300303000133303303013233220133121011312223111100213001221101111000102102321",
"0310011032222330232200310032121201002113213102303203012200330330020233330202312330011123012100032201311000013212313131332233303321113",
"0301002131331112220100101332013331122220022102102222333130321110203030223101102003213303302013213023231321302222110120201231312112301",
"0332021031112031131321110233022023211233300222202302010300333013233200203222033222313020201200022100003323013110302010011233111102332",
"0122033320213300132301103233222130133233220020331000201003033301221210321032012221123021223103101102012230233331333133211323321110230",
"0103320221222020033100302033200311231011233102023220312111023333010320300213002100220123200110321212000300330222312111311323021111012",
"0221032111100111223233312321323201302010032013211000132022121300321120130233333213000123202003011033231111210013112101022322021121003",
"0311333310221333333203221121323021213122032112213233222222220111213203213312020120100003330332110321313210110322011233132011232302111",
"0111131310321213332321301002031230031233322003112323111030203133322130213022130211103200013110313100310113110133011123331210030132010",
"0013232101330303310220102301131010022202000003201200110222300231113121013300133022000132312021331313321131111123101230131122101033202",
"0111303102032233213230300331012033210212021031113022200220111212020133030122201012113101020221123032332003212311200203323013303012032",
"0221001200201313032001133120202000130203310002030120000123031220023120331030000031111010311203023110020223233013130312103102111200332",
"0303000232321203112132311332210031310110230221031301211210333032221331313003330231130133120130213110011313303133001011223300112133010",
"0003102113130232122121320222311130000102311313313231333102320223223113321113111110301012213022010223313213222121202000200020203332130",
"0021212131113302103132233203133000300213102232010323102130311311010302320322322013330330200213111232020320000220321232303133033032110",
"0312313111121120022010200202333130331323021212202101123133310101030300211200301112122000320232110320232131133331001201303013313221200",
"0123132212010112122121103231031231312120030010202333301310110303113202113120212311300003311300223020012313103020201230303331322300132",
"0200112332333120323313000310033013023320112001301321300320110212001231313223310331103121322303022132202031100303320303301133232233210",
"0221221322212011021222000020332023312022221132032131101101111133021332321211200220001012302332110332311102013003021311021233323011020",
"0332132333122312332213301200133332003120023113312030220213220322003020121303222200103033121001101100232231010231330312210020033303012",
"0322212032001010112101113020021000330220310312030231332221311122122132333331010010201000212212201232023200323333023020100331021201122",
"0020012121231031212210222311233212301300022123020233131233332122232321230030113120012120333310123012311103112131022233212230223012233",
"0333221100001032031112021232213210020312112202211300221132032222332233002330001021120102210132012200300303121003323133012120031223013",
"0211220001130000203013312122233232210321021211321022211201232013211102301203220212233002233123130202122022333220002301332320312032331",
"0031101210122223311001223331103312010201332010333213302320031023220022012321131300323233111220003320200103311302010322002110120132221",
"0101001221311130202233012123112303311203013202212112231331302300133103003303202133013003200311013331300203231220331030230232012010231",
"0010103100103231110133133201323011031233212001013231011331021231013202311000110112120122022110000110100030130311301112331101322330331",
"0020332121222112331222103001233003132222022310200000031211331323330330213113123110200232011103321031110223112101110230221130003021312",
"0003133001130010310320021122033113200233203122001222230221322120332233333001033331022123212113130330333321300111100221302131022302121",
"0101101121133103230122032131333202213012100020033210312331300210211221121311110013132113133021311323203001320210122222031222320112033",
"0031231322123110331131201131220323001023011222302320213201313311132102101110022121303332311313221101311120123302130110312300001312320",
"0123231222210313301321031022120022222021232301310101331303013323313132210322020232111220302321303012020013000330231201132011113201312",
"0300011113110033000223100020331313120223100223102001332030130031103302101310221233020330332210212030233210120023221011131301023213202",
"0321322332333012021110230212010231010110311303232033220310133211133113103123300023203102111033322102203322010303202231230111203321120",
"0233010210022321023122010033031010200221133111132122103123020101103111203020301122130011230322333220300103202220122021210321231233310",
"0200223110331100321223300302012120022000133022103002033112101122300010313201232232022330113110322103233202211223120213211101300301220",
"0012133211111210131120003112301213221302230301132013131103032110332213100023021303220223220322100200120301213303330330120302203033201",
"0312302033331001010330300132000123101121212332000203302323230210132230022111110123031133011311120010201212330120111230002301112123323",
"0122320131121133031230000112012101131020112210333022001223302103323132121233131323123131221113000210312311120311300333303022311310230",
"0301300321311131332113032021203203011303122231333021210232231113300303221323223302203023033121211202331310023123232000011302200320330",
"0313002032230203331011033001221302023232133223010333300333222203230211123022133012110233110022012331102000032203303310111232133213100",
"0321121011133030313131131102023120032210103322100002202331130322120311312001032222110201200331230103212101311031110223010121322333023",
"0001100132303020102030310012330222301200213333112022121130223002333101220123030230311021000102323222100210113022310302330111122032131",
"0102223202213021202210311133222323210230032233122130030020332203331311001121132220021120033310033103301110322002220301112000100213033",
"0330333300323201102130331323033120220200312110022133131002122201022112332303223223133010110020021220012022333203211021222223111102320",
"0323301321100203213331203013023002233211330323110123233123030323121201122223202022111033000210103111003203021030223003021332011212213",
"0320223231110100302030023301320302232201101202211001320313102330213133012130030102032022111310031021303030000010302211001232301112100",
"0001301321011310312131022223032220200200100323221122302121011333210001202303300103012020010310102312211110330212011311120300301003022",
"0313212100122210202023100300011112222332232021210012302203023021030321312020120023223111202201222020222211220233313011123112312221130",
"0112032113001212120321122233032230313222331132220122331211311002122312230203123200123200013302213133302300333231011321331013302003030",
"0200023123331130331021332123112012023333232130221333000020121122203312321213313003310010032000302110210223121212113023023331301333031",
"0011212232111112200130302203100020023303010211002033033312310012030130330130033122301323332120311122101003002200111103103202211131330",
"0211313100303311120021210303230301223003032013101012002113323313001130203210113323120123302200002011123112102131011331111003330203300",
"0330012202331322023122030120020222312323220210233221310221111221011332011132101323311320232003213310311311211301313013032313210320130",
"0102220102202222223331233333013132102231022023011332132223100202030002231300000200000003123123002311203101331210023220033000130113232",
"0010330002330230003210113111131023000020333302210130020210131112323200111312003130201221003230302132021232323130320202220010220030032",
"0222302010210303203000320022213030030222020011210133203132012200101223123113222300031010303212101330121311202322013031303133211033130",
"0012130023321121013123332311112021111110201000301232322333310233201133001231320023212130221222230332231002021331222013313112101210013",
"0133302121201123230101300130322122121123222211311321031123213022113213322030323322323111132310313201011000102233021113012010100210200",
"0230120110133102003231012121311103102022122202213102302012133220230111221230000102132212221232121020030212333213323003330331210312013",
"0330103212233203102231210331011213322222031130303200320003222102100211333210013310113013000330032031101112203002130233030021320122213",
"0321310113123222310203033022110312112012133231002321323202023212311323222322020300003303301131001213303012101210121022333310323313123",
"0003313110112132112002020131310311032301302123113200003010301022202000300210223122312003001113311323011132101212313120111210211003000",
"0000032323101233202130213112322121130331123000021113223301303301333112110112103111210211220132133012012203220022232101230003132320201",
"0323102301021030103230102301032322302030323021231322221313133232323012313001220323202111020310003033101002202022113301231230300330221",
"0321121020330101303332200200100102323021132202113000221011301112313332022103031330330010120320001123133321022122222220111003232331221",
"0313010131103113223123310130112232100202020131302330322132032103213311331100210220132212322211101221202101231330111130332031330001011",
"0131222010032323001203022221233122301012301031003003121023011101331103210023311200332330032312030032120102330112113013021331211012220",
"0202020002011232132031203020203213203002012313320101030232011313223230333311110131120111321313202023323011003032030030303323311102130",
"0333000211001201213322100310213331101322303332020312222120033230310010110003220322113020003132130200310221301331012113120131110123330",
"0321013220332323020020113210122021102213221223220003000130333023012011020000301033102011101301311031032123233323100310033122303101121",
"0111022321023213032322220210302202113131222322111230122102200013320002213211233001002210010201000302112212120120123212203001200301110",
"0301000212012303123011110123110131023231223000101100233113121322012331310010320210333330013210300222011130003021303213101212200321112",
"0100001022231131212311020010001313212211330223120022212130132322022312013200131023232031212231002301222300202303003112233221221311230",
"0133123102221133030221020113110302210133033121331100122012312123013220220130021231233331203302023031102211313313113003231112110000212",
"0111230212221022012130001020223121221201313100021310220120211021312012202033001031122123002132023213011310132030310120101300310232302",
"0221113212221023202121000333112133012301222012302232001033313011033202100131100011003333333033303221330323133312001002311303001210231",
"0022102100033133130001110113231120022103221103132031131220201310112101010123121022332332200100233113100020020031030321233131012030232",
"0320302023102032123111221200303222232003033202333002102330200321202220011222010213203330203321113002013213322202023010331300020013033",
"0302111110231030303232331101321122012302322203331210022123101211200020130013033110123031122210310230121033132031133212323020133121133",
"0221113130311012021300112223020110320031310011231023223301210132230123233332101113311201332211012031200233231111130020112020023320021",
"0300321310213013102311133100311003112102232132302032321312311013322102201323022330303222010300132131013220003001220130132032312133233",
"0231133230323312222133010002212332221221113313130321112311331233211231102023102130132122320331300310132203310200010211131222332302323",
"0122130130213302021133122212322103313111321203120320100022020020032211202030030332001112331101222211012332031101202310122321132112221"]);

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