/*
www-ATLAS of Group Representations.
HS represented as 77 x 77 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,77,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"53410062232165132646365560444004323203605062042142140202124552666256201662056",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"30015562345313650433025651006000134262362551016000011646365126344564643406514",
"11446632602012622114360131522400030301263424406026054401315224013464012651010",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"36133141654563215025021343601654161352650532652403006634030524462560532303601",
"64521055622126661334244465205245502546534461253361022241150446223640403131305",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"61116562223056534024124050513055300623046653052114000010041030100240020060600",
"33132144131322332450443303154650133214522540110341050535653305111201526145621",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"31215660061333625365542101150401544552420602266305033244355062005024534264111",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"35626552654530045621634345142600141614052653523402002564546162355522021324140",
"05622454244524515312404341146111531230666065044152024200633333251351625340224",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"61225656216111511616666335641631424446255313164113050030010020200641010060600",
"34562616416412351343562055324421330123233534335134040060040040400430140060400",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"06350420200466263351050412103046342205620332041346040535643205311351560145621",
"41143634626406354240320610401536500633462164125403063456422503264203045256560",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"02563114356656302140342522526552114232334605226222040424211304455225462555635",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"32320052614451041536301025332511143634004662446022041124050203615040225434616",
"50635245665563365162636133226105505615134612561003063456402533064023005126561"]);

y:=CambridgeMatrix(1,F,77,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"06006600600000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"11002106100001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"11661100606001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000001",
"61416041414243043512225622534331456336036401215203220135333323563431515220065",
"61321526166350265366554256221423543436542145364314523616402156366605254543463",
"13132233104351134411130155161533232336543434611655624512513316435250012306364",
"04025356252220653453111342652633635603421206605324065201334562034541654206264",
"02563512003402616160060355364553243416264345335131302615461152615236310251145",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"04463115012064403304431430656031665622150563654466464345355655615452611331033",
"66310251201656330651006231413523061640313406451624046552514334530462366066365",
"36224023661363204222565522660146352632061243026311105066045515620553161611306",
"63645563032456241561442665163354605662503365651210223244402366530024544564030",
"56362344213514115513105446403240600611446531302020226123553564410330026526550",
"42062413303641135052201251266561556552106060464622541260422641241150315635435",
"45605003434341301266104254313653060324312013526615653336663030422655131124616",
"22015351310121240635441252061166545343431555516101012303022461561454460543401",
"34135444655653551662345650611464632053131344160253616505401560015655365500050",
"51636222023026430034003662133113240243433362121211504633606623203126651216666",
"05254520364401302150242344611065414630614031146350631512651604016553536151500",
"00551651441216411440015663254221323305503464306510651561145421034350661263024",
"60040663421131431255405231450652565161132625466156111540215161535512360520422",
"10533144403656334612216535652254056226010630034461436125234144566463040301123",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"60150545506432002055406353165022340544305254624035445315115341104633133344263",
"56312600265156160503443465203634564133363456615363116213464210326631532436114",
"13451450600355636045621545312232656312166612624234125434240123654353654614056",
"22354633212166563003223436142600555546435430450016335513652656610533260662021",
"62511562552362155232540152201045041210416561630432021220023224105531555636015",
"51636116031616362440306451312331345304602565456501523456400646351210434001603"]);

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