/*
www-ATLAS of Group Representations.
3O'N:2 represented as 90 x 90 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,90,[
"000000000000000000000000000000000000000000000305526242006401160122226623501306254125521164",
"000000000000000000000000000000000000000000000644122643026242120354031145113140501555166251",
"000000000000000000000000000000000000000000000300024331264464156246320661223641214622205356",
"000000000000000000000000000000000000000000000202243126250012164401001012325561610550426300",
"000000000000000000000000000000000000000000000262411231632615123424130303504653414303205355",
"000000000000000000000000000000000000000000000543236361145230645216641350423440045661031444",
"000000000000000000000000000000000000000000000541542465060616342130131160355213632420520402",
"000000000000000000000000000000000000000000000006241542306325633622552655103146606564600412",
"000000000000000000000000000000000000000000000361500345356432162424226443226446503042116061",
"000000000000000000000000000000000000000000000011033136624434004516434214561113363445635325",
"000000000000000000000000000000000000000000000512232134443421541661034435520655560023100213",
"000000000000000000000000000000000000000000000344222262136420010632506352010230325146366146",
"000000000000000000000000000000000000000000000431335641255201043505511220314116253462603012",
"000000000000000000000000000000000000000000000041355120561061102215554523111051643421235516",
"000000000000000000000000000000000000000000000404531655242660662236032236024061555541321425",
"000000000000000000000000000000000000000000000120216010034011146645655511324164152220431314",
"000000000000000000000000000000000000000000000351531331235212511532651525510350443451224511",
"000000000000000000000000000000000000000000000433234644542565461405554413034552443055634431",
"000000000000000000000000000000000000000000000230313333455655565153320100230651615300045031",
"000000000000000000000000000000000000000000000050525104521506440224501456431350146051444034",
"000000000000000000000000000000000000000000000330502136524324054025054116551310550252154535",
"000000000000000000000000000000000000000000000415050352422261433123110562304313464224422645",
"000000000000000000000000000000000000000000000306644216561356546134062244150422224624051503",
"000000000000000000000000000000000000000000000252434210600365164011533516322506656016160024",
"000000000000000000000000000000000000000000000003153655351654055013656454112556563305244041",
"000000000000000000000000000000000000000000000114652314363143260151332403256654642132336464",
"000000000000000000000000000000000000000000000324566551651540345424412652226320632160431523",
"000000000000000000000000000000000000000000000501142542354451603640151201521310222345032643",
"000000000000000000000000000000000000000000000560613663305606016161506255303032400466445123",
"000000000000000000000000000000000000000000000020203213642542466525441643111412566205544543",
"000000000000000000000000000000000000000000000245623004411421423466330232226213164603505620",
"000000000000000000000000000000000000000000000545436213665326541602263321030253415041651556",
"000000000000000000000000000000000000000000000433316566564262335111200422503553102121425623",
"000000000000000000000000000000000000000000000623005645243220216330556222131535563024343615",
"000000000000000000000000000000000000000000000323654621263356056445253513404021404031642510",
"000000000000000000000000000000000000000000000133465464113066613041345232154333062256144543",
"000000000000000000000000000000000000000000000042263620342152354123564211311436445063316306",
"000000000000000000000000000000000000000000000454602405246345164104135110551161203342516320",
"000000000000000000000000000000000000000000000644331451246526525214225060564026056143103340",
"000000000000000000000000000000000000000000000063204562034224106264126555100620156021201125",
"000000000000000000000000000000000000000000000544640052410012522016225533633102025213433115",
"000000000000000000000000000000000000000000000235232005354532553110600561321154605252000215",
"000000000000000000000000000000000000000000000353323206352134512414051354041555442011566044",
"000000000000000000000000000000000000000000000256013534314012353255203430044046430003450610",
"000000000000000000000000000000000000000000000521034222225355015020364531063641346511436643",
"563160216363130031465644636155564634264410664000000000000000000000000000000000000000000000",
"216246561322145506646101066416402025625025125000000000000000000000000000000000000000000000",
"245644243505610116664233203136502021120022164000000000000000000000000000000000000000000000",
"363456434364165156630315221345563233342563662000000000000000000000000000000000000000000000",
"006110053556265423642352010210156134336134643000000000000000000000000000000000000000000000",
"266454150555121231566243103531205004064106203000000000000000000000000000000000000000000000",
"636363463601362064560263450441522202650000635000000000000000000000000000000000000000000000",
"513455411122022056052542122603443116540221022000000000000000000000000000000000000000000000",
"065665111522055303014240513562114315115063050000000000000000000000000000000000000000000000",
"506545435110522610345142006662014362634343030000000000000000000000000000000000000000000000",
"216514206056303413043403010046615226666664564000000000000000000000000000000000000000000000",
"615203636144133436104230305555625253333614103000000000000000000000000000000000000000000000",
"333030311403413656110330213602021045252035123000000000000000000000000000000000000000000000",
"524446655624105423203546503551433115466305341000000000000000000000000000000000000000000000",
"650435164320340634363464351024212225322406140000000000000000000000000000000000000000000000",
"364564031436312155501252313265124460530523063000000000000000000000000000000000000000000000",
"024031326512424464265210105112102265522265545000000000000000000000000000000000000000000000",
"333543630202451132130360216162215442016162544000000000000000000000000000000000000000000000",
"236566545001251064114142436453102264044051313000000000000000000000000000000000000000000000",
"152260231040034543633360225040063365555466626000000000000000000000000000000000000000000000",
"243452424234646034630550131601326046064121113000000000000000000000000000000000000000000000",
"255002116622560213632365065633065201160326040000000000000000000000000000000000000000000000",
"405412324656615442624215134066621425650206122000000000000000000000000000000000000000000000",
"154146250645046266056313660410465636323140212000000000000000000000000000000000000000000000",
"100562562354244506322655155454621446446126325000000000000000000000000000000000000000000000",
"124515264266302241623223206463635603361236024000000000000000000000000000000000000000000000",
"226643026336314325403140613141061341113655054000000000000000000000000000000000000000000000",
"110626306015642650443265110441303655305015561000000000000000000000000000000000000000000000",
"453114432525020363311460445516520140100053152000000000000000000000000000000000000000000000",
"044562165342352626623312253354124506611344361000000000000000000000000000000000000000000000",
"245500332531101421026356344662621023361500304000000000000000000000000000000000000000000000",
"602101165423363645202203204416512105512010245000000000000000000000000000000000000000000000",
"036320621340313243353430113625632554140202240000000000000000000000000000000000000000000000",
"146515620500151102043052124524430625154201421000000000000000000000000000000000000000000000",
"526406001315503322622655406056030650555632621000000000000000000000000000000000000000000000",
"521510533116106200115300450064633353314651606000000000000000000000000000000000000000000000",
"116132136140111203435510661424114443504025624000000000000000000000000000000000000000000000",
"363302526436430460266504504156041100416233140000000000000000000000000000000000000000000000",
"643112041344305206442501250642461242656622034000000000000000000000000000000000000000000000",
"662646623156131610236255304356134635032341362000000000000000000000000000000000000000000000",
"266641544500415646541624465104561520315334353000000000000000000000000000000000000000000000",
"545521001502300153051016526140234544066513501000000000000000000000000000000000000000000000",
"151342461635254420036143252134233045613066425000000000000000000000000000000000000000000000",
"640052206031101141101224562423515301433354231000000000000000000000000000000000000000000000",
"543612353250565004216635632513353312313511612000000000000000000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,90,[
"420640545163461356650622616224024603122624445000000000000000000000000000000000000000000000",
"525212162253520363563363520565240102035661005000000000000000000000000000000000000000000000",
"304032210346350140552155405413213543415140515000000000000000000000000000000000000000000000",
"335446420431563060141403654361065413565161250000000000000000000000000000000000000000000000",
"642620265640221345662533303044333005101626133000000000000000000000000000000000000000000000",
"105605062034455430603622551006543116214144215000000000000000000000000000000000000000000000",
"533263232132535666036462052346632520225204116000000000000000000000000000000000000000000000",
"023305411522521506202645512200415301511354215000000000000000000000000000000000000000000000",
"425552566345555506340314160132153164335536451000000000000000000000000000000000000000000000",
"140454200643121004126366642024250315561510666000000000000000000000000000000000000000000000",
"223026104536630603530216215435355363434365026000000000000000000000000000000000000000000000",
"106540416533350430506156666143510340301113261000000000000000000000000000000000000000000000",
"405526545560056324301461546421654010530206135000000000000000000000000000000000000000000000",
"410121232122625306331160511450363601600163421000000000000000000000000000000000000000000000",
"055140316136451435531500054454326523031616310000000000000000000000000000000000000000000000",
"360361466046232220614645425133342446531332361000000000000000000000000000000000000000000000",
"334550505055120306410660253501003660114621432000000000000000000000000000000000000000000000",
"145331520436512604310363415501313541322141303000000000000000000000000000000000000000000000",
"446406554501614023316146021304433656563050105000000000000000000000000000000000000000000000",
"142666022603216236425016644341551403064043030000000000000000000000000000000000000000000000",
"625356031155454452061541143552051354025236602000000000000000000000000000000000000000000000",
"022040440201652651564253460562324065021025030000000000000000000000000000000000000000000000",
"543152655311422525563261324064144243516441243000000000000000000000000000000000000000000000",
"434513011402423432135023362246305316231103331000000000000000000000000000000000000000000000",
"330113041241256104504040230035426264456565400000000000000000000000000000000000000000000000",
"634002234311053155216214515301155110250031131000000000000000000000000000000000000000000000",
"515410114446143464036304406533513450425216636000000000000000000000000000000000000000000000",
"421501050331462636333604020420444626456305564000000000000000000000000000000000000000000000",
"441311105303461050344003352502442345116041406000000000000000000000000000000000000000000000",
"465460256260445013534510506513463465144664332000000000000000000000000000000000000000000000",
"511456516236315364262341244333526055411030566000000000000000000000000000000000000000000000",
"340550611523450220441226623341632641322465111000000000000000000000000000000000000000000000",
"542415106361141504052020053605520534323516222000000000000000000000000000000000000000000000",
"144650434351021600164464025040361354265521343000000000000000000000000000000000000000000000",
"626540126160334611303312125606160545263614426000000000000000000000000000000000000000000000",
"262433152451665440425422205145364603250641303000000000000000000000000000000000000000000000",
"113333225540654110663146503154616630116101516000000000000000000000000000000000000000000000",
"450132163401230464353365055464456245352141564000000000000000000000000000000000000000000000",
"131566426622361313141634324401621641235134206000000000000000000000000000000000000000000000",
"313245165530420124554123643546023363260602346000000000000000000000000000000000000000000000",
"452554643536645600566323056325653006234345566000000000000000000000000000000000000000000000",
"052333302244601231625420106561350023315013336000000000000000000000000000000000000000000000",
"662366021324524526106233265462661150602256345000000000000000000000000000000000000000000000",
"365611326263342620163630426423154003060362506000000000000000000000000000000000000000000000",
"665424326542031440113465531220162034102650156000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000554112326026121524246143431016446656414242040",
"000000000000000000000000000000000000000000000215630441654212642051645325631355214130603102",
"000000000000000000000000000000000000000000000665103304404313036531522260552523563324251220",
"000000000000000000000000000000000000000000000104453563501342345023635263330350212662456565",
"000000000000000000000000000000000000000000000624066556143620350255603551340632256341654055",
"000000000000000000000000000000000000000000000233306200406260130241441320656342031360651332",
"000000000000000000000000000000000000000000000464212205543334046344651621054214644205056600",
"000000000000000000000000000000000000000000000505206335551345532662310553301030141212632665",
"000000000000000000000000000000000000000000000410205603533412440666260503132223643263564155",
"000000000000000000000000000000000000000000000320023226055163322120600430151105246435663121",
"000000000000000000000000000000000000000000000353564564501226626361141042303543363240562620",
"000000000000000000000000000000000000000000000212644023331613606143433435116046352262025351",
"000000000000000000000000000000000000000000000564026500202531520250641560533525541163103352",
"000000000000000000000000000000000000000000000422630332245205622611110645134046051562403211",
"000000000000000000000000000000000000000000000465612403005115024140344310112521665033141532",
"000000000000000000000000000000000000000000000612422341050406104114542122220513315136112542",
"000000000000000000000000000000000000000000000633625462312023531401531425654420541226302516",
"000000000000000000000000000000000000000000000162404153400125432333513152300461663333303135",
"000000000000000000000000000000000000000000000260506435200522011561406001341423035336631443",
"000000000000000000000000000000000000000000000550446346606414342653403041363550103613033615",
"000000000000000000000000000000000000000000000420454006436250540451011456400524336336322116",
"000000000000000000000000000000000000000000000645222043310533031503305450521162436623006150",
"000000000000000000000000000000000000000000000044052653142126624064116010640632145534504350",
"000000000000000000000000000000000000000000000501054200406344202013634150533333013551433415",
"000000000000000000000000000000000000000000000265433002265622005643406612425223016262542030",
"000000000000000000000000000000000000000000000502444040163241156651221562101526004654646546",
"000000000000000000000000000000000000000000000006236610054045001642613501641116554115045330",
"000000000000000000000000000000000000000000000140653604225064056602226516515260535312123213",
"000000000000000000000000000000000000000000000122001103034366201566606041204624305066320436",
"000000000000000000000000000000000000000000000522533600426343411420412405120625064613526201",
"000000000000000000000000000000000000000000000055242602010243206640432054133340116112401143",
"000000000000000000000000000000000000000000000111406353003605101050020136102600060141400046",
"000000000000000000000000000000000000000000000563456625045311315116251646502305112413004500",
"000000000000000000000000000000000000000000000425442605506235146063316664246311361635526216",
"000000000000000000000000000000000000000000000540101540356543011244665631315312211532416152",
"000000000000000000000000000000000000000000000602443120023541556656050324005203052561334065",
"000000000000000000000000000000000000000000000042133111131243603131600621502162066351003642",
"000000000000000000000000000000000000000000000222643306040231223660615303440036531611404511",
"000000000000000000000000000000000000000000000310165226011326326546402345331054632220564210",
"000000000000000000000000000000000000000000000141320466425026232411326346152514143031155561",
"000000000000000000000000000000000000000000000251063435304226400453125011544253163204062644",
"000000000000000000000000000000000000000000000061163043401122616234322403435333545410625510",
"000000000000000000000000000000000000000000000055045134410651653011525514614433040524065515",
"000000000000000000000000000000000000000000000111161414040264424450442623531154161560032216",
"000000000000000000000000000000000000000000000456344053403253425246413646603055621202541313"]);

G<x,y>:=MatrixGroup<90,F|x,y>;
print "Group G is 3O'N:2 < GL(90,GF(7))";