/*
www-ATLAS of Group Representations.
L3(11) represented as 131 x 131 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,131,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"66125206133450140100334256040025524205134435042051164025660200315206031224031660534262355342552631650336543201120033254315206332125",
"44333126002342323612363365252266652404335051322445414345214235016066155556466052365141264403314431352543014160341662413413650123655",
"03344412413640452623000060021625214063114645642433465405252263345061460143455243521434612154335166243311146524205432515224620615336",
"02445425604231435164133110043543002626053225664501015414441230660551442521545215646562210165661333640335563503624216231340236615654",
"40320626520265454244340260452366660405121260222536150261543462316510252250105160404533106051525161635623325426331515363035261144322",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"04626250423126453462655036116464613243561162433145612642313533606140322564212435045540611121434543023051255530315104632321522130500",
"65633165353533010515664122114261000426442210340446000325431211430234051404621324125001144252314332426410602316204550215035224312035",
"43615236643131561546125311032323321422442255225630363620642635026406606620231006110100453402323313205504452225023411554434633621451",
"03332052302644544362402501036202603153120053235550460562642664101106044443600456232226450441264663334405115112011151343400125460360",
"31633511000063603363212235512655164431554032555203201340220651300604323556514206542650323136500050654054102031200600203303324056215",
"66160013654362602222641655524145210163026430411513105520311605523425515562630634655516112235521602360146035441223423006014512620443",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"62413104001254122423213155265211365522435244366063310620434416254304030501216003523510505040365442126016262160402601535556343631022",
"50023614001326655064646444644045634611026243313555145410663603064364610263635441105136105400124162431654324520426353000330310342502",
"21151506402113306652244614325355441226314121220265204413260004250446622232660345451320332025405056556556030242041553611102225135501",
"12361340253110045362244650504331142010223614513622453266162305160655405203464511426634354355351464102426644432435533665600416345204",
"56511356260122514430060034655601133106505010226324602316242223616426620564642443444446130504552415050411160352552141251366006322125",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"61330414260163201342465340242524551021121103055636362051020104620461136516312132026066152316120514406322162520030253145524523223263",
"03614005456305235213312505426522160642210205416123605316024554146651141220513416256334120263604446554110514010224441505441121254045",
"25351544021440356260202266206364441340465002643265660115326004636313465230662631334436014115540246115122352214344236304254330604556",
"51305410656612622021161052135345616641053204236061324545253515525631551543113465310052531222034410043353631554641551220624100651641",
"36322300464115020346106243563262300604102312024535546251220036240211423055615321251363404026354116106332535112540563160652614234133",
"46332512346546661565323252002454326142033534046520252444503203224250054531663524201250520540011446521226253113560513460502011351154",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"53514661635512502520103130104662141642004562646164566031000651154416345512124004262200521506264056520226522211631331612260432463126",
"16542106235534314060302615000014156504514215146034650230612115251624442415112253640614155034345266323005050330536205335265004115404",
"26634035300114032356463645021114220210015032551125251213003264213655542052414410136141565066416652653622645342042434143354016563056",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"50521114336643133313606605542204606361046225035331136061430620330544530031655222101306655013455512030211541313164354040315030152435",
"14541451453336640662151360626223024225106534624326442351121421335512321646302230020266460254606662161200133406131643232231016565040",
"55542405542244142030603023200324660334430444252315553113524302161416613324462535261430402423262113624452232040645325533656203104240",
"06335052261453266633402414656344416541231142511013626203402010435023532231522254203615530125645414335345421106636133665305151315031",
"41525215064222053306415665306363215605343324041112136631026314623125243325033402051515142055333603130020053046013664006510120414344",
"63400510465225214610415213263260456466242553135343642466460022651541344362131510044626321464004265305056451010254334016405256560263",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"65332002163631660046124230052560402344240612146444030044623445133663150036652523226154410663206266335622124234525300121516354211535",
"53151220564160002425412111332110525622046315612052365450232101402216663104236235315254420565620004153650316666356642202311550002063",
"60521321163423604522053353311635201412060204605563214065432516662442506113640122266333111202556161130404410142510120105606200605553",
"03602560016060341416103035431130461665163151033355263412314060653530216512156504026135146155112310430530640546055402061600460234452",
"21201055622656605000663404115141210545156266063522403246641026331461461656160554643655422661000554344631311643501642406113441625353",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"04063225344435043051600130214314030624611236503364052322320260644364543135624201126210543662224203154261340441432315225462656361454",
"30332120341015051060545045236446256362004613241521513245653340451604043060222532644324003631052635301210453002361540521461040165265",
"24410423412033545064452453434664215423610543636130511042613521031413252522251606600601666312206025442341432014456033544311465316331",
"52355144603514143462236031113511620564142635053001020406510122330101565213021402423524541044135145432261103265265214310312362466622",
"66226003556352010416065554111560526336001605451064401651303666243003232324350051235100605622545055005066122024121553021515365315451",
"16044510036154636346236660316342500410441325160313550663155610541304131060540311452566533005342553512552305631455254461442410066565",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11405111640042504543043041246036511103663255562130450414513443632135251160100613232626344250220443403612131601252254135342523433233",
"24054064143230414541453360260643111044110441343663543555046264306512166564314162205640036613252022456612600446566032532152011023046",
"53415564436116361236665016301526240605541625364640411306663301453502014435312340555136215306651531464104601046106631314063654313632",
"05424162463430206104245364551660056544034056452623060601112616152024464124556264010445202234342225355443530464265032054212550135122",
"14013525413450601326603453163152656066440403415224051126515564066403444113031325461516444606414143251205214236201150661164264430021",
"54003311115410053352651030014044544032454544641345233104264650224143544614242616226105165003145016632535625135400061625234002500362",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"33442033151040245121363436625121450125605665212215446100150310644151540400440632641156306556654553614441261303254043222450543616014",
"13256403410013644213301505143060401245314365034231450520634165144042654161162600642412221252406011254454216465041335651212400251121"]);

y:=CambridgeMatrix(1,F,131,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"06600660000600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"54005243232223260050333152660262614404021236634455645512111332205661241125303500615543045504042616505552112230450502516161432530425",
"25415162413021343123126402430256606561055131513005605426532043440603211625416101006120006304222665603556532020124256413636241303612",
"53301362112630363450532251440336540651056041031653026560162320620314654153436421566036353002361466154662023345020062156121625506523",
"23365232415150022544010350351202165163433253042032216343460156326346244120342165150406530064131204525000342652424252335624065230241",
"63621531616053230263033421612424515321042134114664455422240343240241665311666445663104056351342406343313202256516422532616542451162",
"36146444166242056151626106615316346434105335400655021246664343412001514525530016466365531354565336660133233553461655165601353263426",
"66364243025262436431125311145665134501622520244126653363062606520164641302166601322464250031045126123056451560115431425366411142243",
"62012460333230355344541214166651154214551026456442414163603335656213455454124012201004003664062304114403520560366434151536424232430",
"02535262006552652622246350612304330061341426140520515000630230424432461305452405330425011564145463540653630606521251524534231560253",
"65032412303156210203065051123162406251106646004665563541104313656641226041140224026503544143566405256032411316121440525160135346023",
"30450060501253600652141225551136010304400665612014636051444564230102040263512202623440564201403043623416212332602435162046032024365",
"42555256003126610315256544402123636021632443043301505605116062043402603332465233060354010240106206041332620165023415545054200650404",
"10013251144303555401403115155015320433623330036451111355213512346352542440432002441220021054512262614233246565130635166302013605153",
"50523632041615110441355053613114602463036535614423340431642620155011665565141655566133464355551526542232615556031533532325351205255",
"01636323055525501623154323410502635601046510641343651505251613034301252143626352440432666263440445255152336036536312362350340532535",
"01652301121650535135224615234220561226226524263010144620015446415616356205561103366535606345020336362635010022161660241611623053410",
"04132464351226144416161213356612136555311164013013120212626504431111623141351601553300423120325306361454611604316426243121026163123",
"65146665450614050652241422431031231456045212520364631256541312006611454333235653030361611440312234621200331443264541600100065234064",
"14640465350360212660655165402164502566143054664135356454445504662345203344554233614603320524423235616364024134333653532302426030353",
"45144621101542526646445513603611533642106013054030641352264164232053310630633252640646226303641254621520362535512311354510411134105",
"50256521210343021461421013522642630562533104613460216225040420053563421046501113365533133501542426054635551212302420304456662152551",
"33145104260400161315043210654525263463153104226453221652435001133314355342266406622631060062455600060061206030622444352256030230160",
"60115441233204124463406052001654563414003334103455221242350054230026333056636311442415406421030216005606230404336302536545500604266",
"35420053525235553540505442533151063534206545463230461536654542233641066326154620151425233232264661220405313211425065212541346500102",
"02333511356144642503666324223042602104566210134423663536335136440030661561300322155512143032030542266665541631231446462510506251663",
"66005265260123666305551513313433544034404244364231566622165330264635263114121421663503603306214143555266040263302461613065016351601",
"54420542120422412261013220652606003600600414005421000115050432450064141004103540415560146256023636424503640233034635513530500632020",
"11611251555500650031442430612123311103324651350133456535624526622320520462033654035262512405302446520140022502442230555052351360216",
"50246015324344656056401322433304644600665661221610241512445510320550610424214364225660624234524510101353350366444024604065003200310",
"50030562126042311056405043526240220615362165250234145661642052306100306653031034360103534532220353614663416412055142356054562405246",
"03663256405430542604102624123321651622254053650626633062406364003230244546623020120361130000460020013513506513256365340516364646441",
"40431160422161531042453422536403010555623324303206444144411326656563160450600061105653405016625643435365032130550305566455410041603",
"11652401644310630600443521030052253501643342035026613052110500462501046553036110243515422435225146120441234506650044523462501445652",
"45116345341250564415246404020634556603546256420505560036401153604410541056133224360020512530646635403203324223050245532015211453236",
"04323351210514132141631152443304203641635061056365612334524544343650005224232346550664351641020236522116150443263135644310133115115",
"32001154120161333200542130363325304012234145455162246410024403334621241360146351215525241330560106266113563516321000200606231005014",
"54635002332150545335312540040253065366262263436654625041463312431132030240301460441316243315130324605406364520116045144166012033101",
"61163030206661135344640364216206234540206446243563663336315420614625664630242361662563155254164612043656125103051210253020553024066",
"05365634461225153100054222101614251320235412624430132400406613513023615631346143024344634656430654454304113655561455404343006642261",
"60654054314645410114412545462152412666602406133021630431512122050020201532060461155324015043362213341663036550604065526521206001453",
"00223020163215426402616205022412365346464426320530301143425534622116545251024066502001230036356553040305252263105630336360040451311",
"04405334550360261513444363030142436100555111156654446126143503355241560502433313241560601100504061232421041625326012510165625234053",
"52651626412126664300433656466101263501062523364050036636031664641421320531011351203534023454556211112461255025223204432633512061160",
"35564341420432624504201422443223414334223461105302455266264121265326126134640014245416545523306252655111116020123600565065414554044",
"40420514452024666603351651634420030203056340306334243000431522122364400343636562151011465523544152410045263544412202143011445265616",
"33624624305121031114146453105604403512015056222136032325442024645121202345400610021353124462604204204562224603140060444625120320065",
"55645165301001222155606656135402623520111064426654106365444426406632436041213413436430445640135346155256103411542404561363056245344",
"03234622300642235112255660330036235451426453625211636022011422044544606625444615222333132600233523623330464414544506625263506321434",
"43564621354632542012522551464533620106005535424223501431253133143100204356154525345656264130436312632406064016160661466243112061445",
"12110406651056236052616522514545351041244153314561146400311204613500033535100322636533302316435301021325636505326315526664621250022",
"26452420603334146633424556453345232055421240243545056466666214443340232455246440200250461446606610036654456622536234635556605411551",
"14426133530112415233525424140422516215020455310031244525660132324461506041401332356632420064154136446212421213250351505040423034146",
"12421350011054044000242123606313266235604620500562012056645140664664606544612604262220040361624526533631300063242405401363040021315",
"35230652503651616564222010541042634561253131232610603520405443203206023602134151422301446321634436603023162363461064051350622303505",
"54013631212103551355655266241641435263464332065303605504310300626131331554253331542165411665541056213321336202213064035224204541601",
"46354621312554261106234134215223313455665651401135304253401436141605236135065310032156264222531663455250264253302242032550656206565",
"32355343414036364122142562000243515145464015352325444651411224015545513565316344115214121312254431005161465412305622241435612506602",
"56154005432063205426464026155320050613204045541253655115364414105402154566204305103662665400026122040645043655345405246255202051605",
"32545206451601120333100441240060543203463404205152442005214662035210143043644304333166401431066011251326350002526464124310352246613",
"55235026141441205250515110230264040404645505315155634350221611613114214214461043241063103345455323231050322520221061105562311130331"]);

G<x,y>:=MatrixGroup<131,F|x,y>;
print "Group G is L3(11) < GL(131,GF(7))";