/*
www-ATLAS of Group Representations.
U3(5):2 represented as 105 x 105 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,105,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"001600600610021062600004010000000000000000100001000060000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"001516500620012033100003030000001000000000000001000060000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"026350440401040565140330306653614166210420203652463323333634553056240613006213501424226431641321550216005",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"610000000601600000000000000000000000000000060000000000000000000000000060000000000000060000000000000000000",
"605252253553344623441260231020504243402100643101555014633532120516465134662326062056320206634420350522144",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"344616256515521352142400366241212430306111202212320606342241250312251336561153321016611253111524560324046",
"622662032420164246323455665201234333600421403062640033644241102651323550441235501511615505130161212222163",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"422341121230151445515463166533601425654020030020233616654450425525223145413256102233315506160323265326461",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"160006016000000000000000000006000000000000000000000000000006000000000000000006000000000000000000000000000",
"204242420326002243562336413434150261011064654431606656114551323235665024351104342623152410361443655133646",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"050612042332621340466564232342254231165663133346551560565152115443064031365126161446455011302246616340555",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"133250543521203361606061225636444042656421422451221314005051454444051656316042333101356123511656401115131",
"466366044233000344122244403240454220043060016304013202523460512142560244654534553621503226010646156652215",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"156132116311145135366443614311336356340105145121630251140311116413212626611430063442212036052422024341423",
"050006165654510062236026346315416654535014243054250264614400353114210542514006203130611561356232544301631",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"313335566656553631624523122233132015363303550553446540400155453150204326142323625114301542214610435051406",
"332560021111506262055635410456623504656656164105246163352354464106233232250022402346516464425346663402052",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"043150633015401136535201241550051224106415415620065234331601460340662310353231311524540363324024022314455",
"202023664115266153416313320315250622633411562244366364516451052664232552501232662112061165033153101226665",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"234604223054562136335201446504560222234300223021642016444633511262244564431500326550236330334233154124254",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"514402252155134321110243364235101555051100313521430354406240041563053213200335406662402354536544053044453"]);

y:=CambridgeMatrix(1,F,105,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100610016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"166066015000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"060066006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000060010000001000000000000000000600000000010000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000106000000000000000010000006001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"430542400220455033123616062426003354666160165026600532132351203612042412113461033165664242333626632301365",
"066430416145443140044262445156360360603106150641666660354240523153533516365261443204632124606622613131603",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"160001060106100000010000601000000100000000020000000000000000000006000010000000000000010000000000000000000",
"421653050525334403412362021566601543130634520050045401026006166323204052432204545563022462112645111363334",
"522123451212432141306004424546132623262345410316156624345255352226435345161054033343631022162503241211045",
"026365600331601066516456221331224110245302552342045263306005244523521141336304113410133050420316145451663",
"602256132500142240246062531361514412031515023653215160323566444605642031651310603322663413305356034304414",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"600066545556162431152120116533012402326552455560156644406244053230600000204602556143434331355143043146650",
"251606062224523235515400261214362504644520304323622542616033106445100004261611530244653241042536600054423",
"436015566613363201530362140135231364303530520165122652404030162215136633020250553423520313260420243165521",
"063542312613432026226526503216334121343565133322423236500134260656431421640053661211113643346041326013043",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"350204023514410416525465002134306351040015624053245503213040612442503212612552223646062331400514123231520",
"353060233501501643310433553232552362033424420233326335336354501525034146302445630355131443251461660603216",
"160001060106100000010000601000000100000000010000000000006000000000000010000000000000020000000000000000000",
"410124243100102536354252600413552125261634633136623422444103431530434401132036020124655652334102460356123",
"514402252155134321110243364235101555051100313521430354406240041563053213200335406662402354536544053044453",
"422125421144313140134156416351336133523536043034421443624124133050365643223206346005414256521643605034326",
"615360123645343542116063640511300662540346645262535254354312261221664503155031544534432142443200220433105",
"442126154533636012131355130364414335354043012555411034215265413544005332245215043064625666653144033233506",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"440212555116403531403520225516161235253425610653533553406616114016131634405235044342320563624050452652466",
"425232461652161613013216515202626344322223223343626252330660352365332566240143136466036332430024021103401",
"602431462434632425003314555441650003305453050215252120316021131223615513121504343356326524462606566553063",
"063543565001212664020614502614232240625213014012445051410553324122661213225606206414135150145221634224055",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"546222066233514361526144405213441641551301106514460560261105460351022261036341221134532531555034616525461",
"064143322452550013110366624626404522555503425145440630553116003132434316015122141131550123234111056204216"]);

G<x,y>:=MatrixGroup<105,F|x,y>;
print "Group G is U3(5):2 < GL(105,GF(7))";