/*
www-ATLAS of Group Representations.
2.A11 represented as 144 x 144 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,144,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"444323523365322362605632520346620600006030205020000406060200000000000060000002000500000000000040000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"111343245342243501422421130500016402004020101030000000000106000020000040000001000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"111515012530613231300061035213010360000060100030500103000100006000000000000001000000000050000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"666303204362302454652335020425040605603030500020000205000400000050600030000005000000000000000020000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"555363061340665144450660153144040405066060001050300404000400000050006060000000000100000030000040000000000000000000000000000000000000000000000000",
"001444553512346355036263623124212140516306005640513160210225425401102510203603000561010451406140306600000300402000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"444636335653130563523315304506030502003610503000400006000300000020000030600005000300000040000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"544563441036012011535124112406031405013063000056304504000210002030003000003601000400060030002030000000001000002000000000000000000000000000000000",
"111242546235340600315632102640000301006036201000200400000000000010000060000602000100000020000040000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"222252651206052115046105226121050004001000562020600201000500000040000010000005060200000060000020000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"531660065061260150420653323606401153521021401201314624300112531010405630606504000031156326402550602500006341005000000000000000000000000000000000",
"111515216552416641532242265654010503002040202660500504000100000030000020000002000206000050000050000000000000000000000000000000000000000000000000",
"456315100604155233022005643251610124343163402320223141500664420050002510504300000113360102304060504300006165306000000000000000000000000000000000",
"210233442222333566003550561461340104030003401055200106300500004000005020003004000000056030002060003000000000004000000000000000000000000000000000",
"666262065250166546500016062564060500000010600066200604000600000000000000000006000000006020000060000000000000000000000000000000000000000000000000",
"613532350012360554410032104256205622601205001220505321160243640362402024501401000265030454401624502400004545002160000000000000000000050100000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"065506156266125635224104405055630640125143503161613212060252122311205115003300000654120600301525001300004051602300600000000000000000010300000000",
"555040242042443253402640635205030400006040006030560005000300000000000060000000000600000050600000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"111030531035033105335102336100050303001000203030606000000500000030000010000002000300000060006000000000000000000000000000000000000000000000000000",
"400663062545066216004430653226535511010324101025555120540623225366406230102205000111040605602550004200003141504000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"101634456261201151256053130634351050023620231536425636320420360031500503431501000446553346605603406500003502604200000003600000000000030200000000",
"555555052500650206060363103220060006003060301000300260000600000060000030000003000100000030000020600000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"111525423501626144403361440542116664043025302010006205160360063010004060005003000600000000004050001600006000003000000000000000000000000000000000",
"666404100411205044111320551014040101003020005050100104600400000010000030000000000500000010000010000600000000000000000000000000000000000000000000",
"035240203642625556226102603641604034041660200305263256400354553423205635543541610041000355152520223461121163225213435231036162531422133530405234",
"210213352003454332315112012610343324012031145340150052620614226632301022130635015524003240616405453006323513526424612561511461656245160360306332",
"000323221322524134202356045103040200003050600040500003006400000000000030000006000000000050000000000000600000000000000000000000000000000000000000",
"310513046442554013564262156235514501301660421313262262116212144335453545211316106063061021444335134331160241054630254113336340224250314626021135",
"500105043455234640331125405403353626021004100052300604300136025010002060004001000500020030006000003000003600005000000000000000000000000000000000",
"555505402554402223514546026252030501005040600020600502000360000010000050000006000000000060000050000000000600000000000000000000000000000000000000",
"302305315651501300250425464064561445351566513251164051340414321156400503212501000215624036402633306500005240002060000001000000000000030000000000",
"100224536662234563153235661100554164603320535466402004600414440005101302032300000156505425304352001400003550504000600003000000000000020000000000",
"222151450124654042254160443004020205001060004040300004000200600050000010000000000400000030000000000000000000600000000000000000000000000000000000",
"040561123326454415155455533226221423111100203223256560462603215623221660246446301630453556640043021231002436026633615220116404064162000120503321",
"333141445124142512224214321501020202002010403020100001000200060020000020000004000300000010000000000000000000006000000000000000000000000000000000",
"622141403141014322056144612215440324152412505253154115541326121440051122302030422134100042421511426040232653304066621265351052631144051515520523",
"222363460314065066164004456066060106000000404050600606000600000660000000000004000400000060000060000000000000000060000000000000000000000000000000",
"216413426100630160404526534522241633442612550532125335664064535251045115240314004606016320040643354233321502264153401001554530454533220651316320",
"333434632466330212636131504231020603001030105000400301000200000036000010000001000500000040000030000000000000000000600000000000000000000000000000",
"250142452524035156405621414606031610242446324241306412115445242563650356351560110545420024544222314244631220112442503345044243524234446232664041",
"564266236652056424361520062564562563420332534412031146204525062440553540302663215554323311462064626164450242342254332264505332215130321346411223",
"444343041350446130500445561163000500004040505060100603000000000000060040000005000500000010000060000000000000000000000600000000000000000000000000",
"202266561150232055545215623301016456330421504046656424262016225355436454154443631360325252435103033156022662235560111300653664544465241133060560",
"312600133631063133210552145424230614536424030306231443650322620022405414532406060326423300104134506400004412300000000003000600000000040000000000",
"444131431124032150234105423155000203001000504020300505000000000030000016000005000400000030000050000000000000000000000000600000000000000000000000",
"403100361251545055561266256021521643545333306125200431622400414463320421042454031361336105040203253063612440061424101023003616245415206513600623",
"305531625040645645412363135545402653665030516304063416065152112036453153405033362111430526342312145410414021121656452655130624640364221515332063",
"111424021420520133200656602153030200006050606000200503000300000000000060060006000600000020000050000000000000000000000000000600000000000000000000",
"620002461525644154335123513662022615523102631151401320544344215565436665612065432134205623414151120230124346501163005660150551223163253152403666",
"124302316562660336012061565153333613050601116662442306031560620344121115616155235164004331234535463306012066441046650610226436003664422103615213",
"666535033530035325310106455302050301001000604050500002000500000010000010000066000400000050000000000000000000000000000000000000600000000000000000",
"531550204125663333305351236162403012406510244530264364240453130256513355432640126100442401465061065244614300035031434253004606300120236263213604",
"666323624326626422256462463402020205004060204060300002000200000050000040000002600400000030000000000000000000000000000000000000006000000000000000",
"034500511301211034641512151556560446532005656044611146053266315446554020426322562254030434230245230662311014225423624642253255422410040555122332",
"334013220354510524462124215265352050455514651235602123123101144413042551563530054602626341530160141532602201410105355514222335201565500140403422",
"444646245602046515022305466531050002003000504060600301000500000020000030000005006400000060000030000000000000000000000000000000000006000000000000",
"106041524353101421322552065230252532062621306236233552050023065336555235133363423364064422613005261453135256221311254453014432242541661131625262",
"651606434622615455666036644661060525053540064416534010500251513533505114363003000164123216105064205000000114406610000006000000000000050600000000",
"135256154411361523413446332454530542561364454321106220501513363643144610632551266112540552460034160064605456005144162456661303013615066650104456",
"301442525203511212635136464111201513240436126021036162556140156541322662625440355426634655253413554430544415104111156514426025146633056362250254",
"434232025315445655544612052224424030126603114220062354230413156261432602544134241436035206043536045162004563110132010665220353516153511034463403",
"562416310051545602520360606252602351215631244336655251453616255315651062363101041565552655150062130400643102051620416366033630626646122236212665",
"666000105051301512511534614521020501005030406010400201000200000010000050000004000600000040060020000000000000000000000000000000000000000000600000",
"033024015334613606542143362104242354436504111056632202423052501465365313334563203004140043342146122065144302013155356204550413036345046225045011",
"232365616463655326041023022532361505554001503544064304602202256265450152132250431130641450104533534300041011306453524450324663523235234512005504",
"250341510452334305241306462342555631421530163113204025212113256045512613643453460226410166322465434253421352666214043506512254032244635161144033",
"555414611416011132126105214103020102001000502010400003000200000020000010000005000200000040000000060000000000000000000000000000000000000000000060",
"260223131012150350431012506601326103550613442562443604315215564631566415002453216114244051202652444025516621405626610312632321020231120363411301"]);

y:=CambridgeMatrix(1,F,144,[
"650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"054645243364645415652334633164065545100261206656211601100234205256501540600501000132130326406340600500006200103000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"104030334330360250026112253004144634646063600031203602100340035066002040003006000500010020002040001000004000005000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"231310230523604256525502036012433104431313603511443655240456043401002256502304000200010204200650504300002624504000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"630134165101331505006131110023256516011626201033405502200360010060001006006002000300030040001040002000006000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"134161031126233041524142226403451652155632166321436640430464562553300530200460000524060533501340202400000200500000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"514004246004103210251154365002221654015002266040500101200610054000005000002002600400000050001000002000001000004000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"626455560624406445136011032644244353044005304651106405200640055050001030005003000660010010006050002000004000005000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"233446403316020312026336531004436054326001602320551500460323605030604020001000000153120020606060004000004036005000000000000000000000030000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"425436511163550125335526313461563424214032201356230211420435025523200560405100000035230640206430403100003053005000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"146323022136004433261143465223124450025051206040564206100440056010006060001002000400000056004050001000004000006000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"201214335465302333550123212465455100535161021116200462400310213506352616542141300332410045454266526143006341620004016002000000000000062041000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"612500515422006562156000004035161323633115006352512416640163222142103630101206000360430060402046105200006312406000000000000000000000000000000000",
"613215406545236040014600556206600316202046213424611545026230336045206500514301000024204663306340560300000022602000000001000000000000010000000000",
"463413104154255235126163133436110304025000306055501662100300002020006060000003000100050050004026001000000000002000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"054444054454564462151644310625505231624655600641655200306324615563303320206402000056530112606150205460000241403000000000000000000000000000000000",
"520561445060266550561616536160124333201350005543150122023002654422015330621124211603144206033111416610004144420632665326112403064162000115503621",
"002523226651555100240553062304436213006441252013354210360442155012510242132533600143062560002011353432134154241522530026431145020025135535155612",
"403314012430010614164000415302321663023320013140650242321221263110036526563302152356141203140261241462524233356263146054602043326251531460403313",
"320254013000220210400654422622056453141326406140630321640136513634411642003634604414560665324360146421561143361046105523320002426246013455611302",
"346631126430141434520632105044334563515346302020641254042116335113605360615444003556632513535531121206324002351010122542235310155444135433553202",
"421032051504133216320320101405422203266213402246540643400654133451102100301605000036430543203260300600001555605000000000000000000000000000000000",
"230201022660503551602432345410250301363400214033505045240321311130004362210306000306051325105163204300002312604600000001000000000000030000000000",
"215360525565634506662142305536621414020436445626041053535405454362433435203443341402356624561425154225002012662204453301242562216015344135002500",
"064301032203303643604326361143130561160641524535200365553426530452101630503150105343602256036426553553002165224460325146104240615215203561305042",
"451451460344620260145524252526425531245200345431530552652636413566411500415014522460156345566046040362000165015566522640225101051254005240306642",
"346341125663106513330221151465615032054160112224152516636314255236134634251340514060323612110123645660214224016365041030654465360655043125204226",
"016650014622341454003034305536155641361401005440205531500303301430603000000001000244030030004340005000003141600600000000000000000000000000000000",
"001211420211004340456211310224611102543645235036241220224120545345424555606552620125553554153330114004061341252455222162006411430615521521565041",
"030423546435612423550230542042541322205151426552015645346146602031023412505143413335646654204005541164531003252456565543062321140323451563412301",
"243362146342515230461406511406660621601206623564240215261536266056345134553666625124620003343640660223220335362145310465645166441561025301443064",
"521304010044633264405650311614323336145310203245002340434452366244525221530001024021350332645132453230615543602463304501050615341022104630501013",
"604513134342636222444604341411312255311636114454126214040215311322225441325645632563450021301315143331651112322352040202461200413636335542262404",
"400016646254055422331655561230156620606636005614051212250146026052166050142254450115104642416145325002341655432113166213513266412134413340263211",
"533421232364563145032401551404224654212122612104601520340365464343313614462365565335112450322530511466346101410226130601411323225402612410166104",
"226210344104541602553345642112133506202216603402641414341145063034366005315666103265301335635664331400142301651266646002111052130420122143202436",
"300106125355050526036235110033632140142414420266121530526226641265350642106355615125152150310410402200440663651216555444320601350640426601505255",
"420056534303321212240543666363536230006410656161410360112106640334126363122362464545660264254522320234501655310120414105224521563301552044223201",
"021310013205615001000455162410603041463261501466653346321512323435142661423226545413301426160644203135110436223206263514000214402420003562614113",
"222505402666022144252365452303542560550622151042635320105312434664214662433065652402222323203305621603633220054124245160522210523604624140362601",
"124015324301313536411111411143635152043005350125404236132623515330232065041266054124534620222563540534211035336163653331433120613154622606440453",
"103035122412015161266302142423342534002011405542343353445540056412643423253532643411056506133451105360111003662635455443210145555002411244351140",
"033444054103246343264406644234624436023263666334625156513640104323206253211216600216004155436615134020616166260150324631350115534234515355161616",
"014333653606535211525320534306310004600500663521236466626623351014431636616042351110415146065145020560533024341424560353061320443664453546334034",
"103415423025161156165024321623440012266010243152245120126212120431363106402264420144646502062511464353216400232156265555561665341136336213521565",
"451663163110305201120264666323444335633116145542646623654662664543550553012550065215015544231424551355315130051106140410266623644015516235346510",
"226434322324322664365552521244363343626350460363466460420253510562200164266510430646424550046103011456552030426125435140142400006252230665562041",
"104021560110236135153063523444552034302134145206501220161316002604401153022462014141535314605206541064033010260102425323023341063662125110004532",
"225325521346405652552604462246042635546160312051125353551334525203163651306554053463126363160410622152052144635041635055216555332536345163350345",
"660100600000100000000006000000000000000000010000000000000000000000000000000000006000000000000000000000000000000000000000000000000000100000000000",
"462233654163433444146150630562366254442404420666543534321601353441252205536263031623665635246333644125613315330564260443606404664113251243601230",
"604600535235441521142541306220034405611015564405564555061554330656536530634222540434666023256415122553514512403205140501663234644501520134266545",
"210556610536213001153644141140464654321132413206056550644365010132106342332160540056015625604641625450063104130351636115044543522423503216112666",
"002256205601426310046266305113313233456053223343610651453620423665012031422610300626455162125200056466602545045465043413302110030500312160451136",
"222610150006306264016503055164320512545644402035430654514363266105604453500431166222566016320305265305304011045514200064136356601064650054603024",
"011454624406256315500252511054612444525650036310013242015244165650112661603442140123063002606501020540615556513666051223156143364560410353030306",
"436614555525556063436541234342502553244536002401200653531151063551460263130640620502136044365242634235654443160165243635231332662331113562106005",
"154410653535141304504350206035123363435262134332412003521602365056614256626654521152240045233026453511134061514044502242522241056535160646552534",
"256330455523236133265124430501616163135240522336121634630304235304460320512406433031356166541302353433130140625421026040242523650402610016312403",
"524261306364121313063123211615344331501665502656200523562651501060352416343164532242400631461626020440552441165052523556344014104511655551006466",
"263363110633445556301501265203242605622502466326224460543033224634636000206355552322653454136145645342342235535510354060660063140006561046334134"]);

G<x,y>:=MatrixGroup<144,F|x,y>;
print "Group G is 2.A11 < GL(144,GF(7))";