/* www-ATLAS of Group Representations. 6.U6(2) represented as 120 x 120 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,120,[ "010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "611660110006600000011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "006106001010000060600000000001010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "660010666060166000106600001100060000000010000660600000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "160060100600001001000000000600600000000000000010100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "530023262260633100656321136645662261033060440000120660000300000004000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "440040323626322465363204422266430004622020660000300000660200000006000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "450053242545433254436342226613264402022660110000540000000206600001000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "656010060000100000006000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000", "260016141142366224352642216635224402011066330000540000000100006603000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "040043606304522343513243354431134403055040336000640000000500000003066000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "240003111513511232535162256623456602055060220006360000000500000002000006600000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "106604050542222110253210133365331100033030060001410000000300000000000000106000000000000000000000000000000000000000000000", "120015333335200156205021162210352201066020110000426000000600000001000000000660000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "313512344124063400400604440516620014144004116014202010011420000411306110430025600000100200000100300010100030000500000000", "060012262166322266330232215533603302011050330000130006000100000003000000000000066000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "260316653544262000131645055355445455435256553013454051046350200625203350300042001600600500000200200030500000000200000000", "040116112466322530252252511215033522511512016050533024055160500200606350050034004060500600000000600030500050000400000000", "120065525022066421000654452260105504055020660000650000006500000006000000000000000006600000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "505352002035140335532441343535004451014432533001040051004140400235003550130001001000460400000300000050500030000100000000", "030033626126311263363112233316031102033030110000010000000360000001000000000000000000006600000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "466606060035056426511521463026612211636534225052626013065320500432005140200061003000500260000300000010400000000100000000", "216615034614136122506311165254264131546350155024044034051400300041105660410041004000100006000400100060600010000100000000", "661001000060000000100000000000060000000000000000000000000000000000000000000000000000000000600000000000000000000000000000", "203460151355125644410210636225116100033661425034261003001310600164305450410012003000100100060600300040500010000200000000", "520046535434666644656656652205565506055020000000250000000500000060000000000000000000000000006600000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "035322533200322364463235320415315355602102311034055056066010100263501150420053006000600100000660500010500020000300000000", "560063101102655523645515526664351105022060660000410000000200000006600000000000000000000000000006600000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "155615131541553012602551020412532541122005016031520040011210000540006650160003000000100100000400060060500060000300000000", "111613205643543021024400031412021050253116614044413050020560100646404650450030000000000600000400406060500050000000000000", "010033444543655033601510013350011100011030550000010000000100000005000600000000000000000000000000000660000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "162031345045351106126520165525446210556655426051164012050530600544106620110041002000000300000400100066200010000100000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "262030300035115131032146142330303466364325534010535066032620300545604530030051006000200200000400600050360030000100000000", "160010404333202162364061132330041611513425130060610010056120400531000260020002000000600200000300000020606020000200000000", "160061131433466335440643363314504403066030110000240000000600000001000000060000000000000000000000000000000660000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "312161562554602143612054164640012504306543640044424001031020500346200330420040001000100200000400200030300026000000000000", "524014514134361134604651103416402521210130211046025022026160100052301340640053002000600600000500300030400040600300000000", "205233413635454632603512653436404132055531432023542030003560500164002130320021000000300600000600000010300020060100000000", "520046525423166030106660035510566600033050110000260000000300000001000000000006000000000000000000000000000000006600000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "520160442233536116661310156221122100165263622051426003010630200346402520140065003000000300000400400050200040000560000000", "306666534045211364605104344344151064404344346021115061040040300453406140110051001000000400000500400010400010000106000000", "332106631260115145543134145220120364024256224042302061001210200622504430200026001000100100000200500040300000000600600000", "302101002055065342322613304424410113120645622022505014011210600556002210200052004000100100000500000020100000000200060000", "542612246304624536460200543551046020204335356010160021025060300553006040020001001000500600000500000000400020000100006000", "044263325255412130014132151012322352525116210033026051053260100602100460340062001000300600000000100040600040000200000600", "140534655502665266523660241616412630114516416045025035015150500614206260530053005000500500000100200020600030000300000060", "650502311040462152151603166010163063006466211036234066000040400622601530610046006000000400000200600050300010000600000006"]); y:=CambridgeMatrix(1,F,120,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "066000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "121060010000600000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "401045111224431343416134252301263132253135613306113300200311005001330000001300000600001000000003000000000000000000000000", "162031345045351106126520165525446210556655426051164012050530600544106620110041002000000300000400100066200010000100000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "612002252002020423032006151513320601250050632502266000205000020043620304022602000005060000204006000300000200002000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "436005101665641656600155561160605025060010046406503205001000030044560305066305050001000060304005000300000600005000000000", "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "205564060543223211253220233355231200033036050002510000000300000600000010206000000000000000000000000000100000000000000000", "300252623043412335236142321303315422352313400056255024031520300304400110650054004000100200000000400010100050000400000000", "643626350201416044412165446004544560312053245551431235004455246230645662136104235456254262100504542520315256351422325523", "652242155200106420155242165153223656560564035312221612330166541315665652043411314124236164421312623154614430206400616640", "030053202402326325353633340325333203543031203104522001505360031030630604030205010005006000303066000600000300005000000000", "231243303451604503552033242113345653054245160405346504326133430450161042135030532242450654236431634100505354605041636316", "501454425466626105205422604331424505264145636032564665415066351515113361544660434060350600443656330112605330531553234114", "662036060310060005030032532113403325330616653004336200302036016035130106052602000002003000103001060100000500002000000000", "255411050654604264356431463221360116142160031101444111136336502443025431333006634355216316104131362651510526524561250364", "523442464042224602061612010542351041614532642662435025345546504300510341636341535021654363256161254336040246245553314621", "333363046533533042166623126246624424545315131366462240622553314136013605241621644206225455024465040052651500144036341441", "243010606031664510625421531152352625434311231206666206401423011013510202043603060001002000101005000206000400003000000000", "000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "405041545526121560166113513206061525014321220400455205003453061052500005055505050003005000605005000000060500005000000000", "401206666044064526003660131132311515163412600421034650626545444535031215222312463335630450442643561504111531551061136214", "442305311434633213035553411653442445025066333465034653153601021465405430343204500361362114606143302211634125630653635300", "535620642160351415443543624514465002524450455103336242514155304651656044463430335323124435663004216511263036000324330043", "500020353655445056456540141255664151640221500405512506601032001010200505020205060001003000001002000500000206005000000000", "352464400556051135520153150150000426343314223164203122456346055643530152120145621040343603665636160531123034454642145604", "352021026136622362245603552265506612162464142045162031163224323415051005531126036440522056103342323015564030444254061152", "320644661046324214460001620465044034220505454033324622416020361532266314365042565340051233441364342025640465513225004140", "406151406622113106602415425420501054225130163164263246210543666652652061366255131410344031463153240152005340401643633144", "665064252532633124623346056122034350656211412503531505606642031001620601055103050006004000300006000600000500003060000000", "450152546400301321633164262320534635125054411165566045406015346332010001616535510451424554524153436254454152045320054305", "363400342166202114232402252310114100065255521253453153106214512660251160322340330011546610454626600110026323516634623222", "452363441651206444214322131515322414312556641645336502603112363560052164135300525612153224343231021545651216236435201261", "262500100622264642530203120040145105433105104426622640562124041561215222244166421521245151302211061513263223210033444410", "325411456232154226125005402122521026440320636421614363232325311332462014632433213463555251061312626106002043452330161063", "003606562564532214132346266115321621523651105160414466354661336512354230053653110006024643344531011045111310225110040154", "526412255123504235166331241623252104460165045255043541166145106510532241640466620251630140506606423104352415103143235240", "436024034453515026602234362230432132525361451140424114165013342154120650615005256260322465100561313566406532405346501654"]); G:=MatrixGroup<120,F|x,y>; print "Group G is 6.U6(2) < GL(120,GF(7))";