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

F:=GF(7);

x:=CambridgeMatrix(1,F,77,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"61612156614126535453321326305424236401135002325105040000600420000040500000000",
"16166215546253214521255235211665502563200646401012000010400000030030000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"61002456346123014654506033151342311026434206503004160050100430000020000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"34164432332514650060415602013053022131560604232000051040600100000050400000000",
"52164232506520613654210140152335450656054215434003020120100230060030400000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"43005224506320111554364660246334413164051351604003060011300260020010000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00431060031024263053154546046446523252132311613002050020510450060010600000000",
"34164531222635256344651212433331366556544414544004010020101330060020300000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00344032006520510155025404642200602343364365600001000030400131010010000000000",
"25345325460221003153504046626442533036114541333002040040100630130040400000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"34000601164661030312302402420564065316556510001000010060100210061000000000000",
"34346613114446032633301050145444456016053302033003020060100240000100400000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"52526212551502663601512340100622525443000050445002050030400000020031300000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"52162355424265134414665331326311032430655541136000040040000220030060410000000",
"25435220556042012632002153153550455624433264352003020050300440010040201000000",
"43003344425355021123405263640403612520463300410001060050000140000030600100000",
"52341565216206215402454323300523363463451060335004010010400260010040400010000",
"52610504225345225431553323360622454445415130415003020030200620040030600001000",
"34522554230344305536644223214131333504422653154004040000300550020060200000100",
"16254031046643512332123156401526324632130016335004050040500400060040400000010",
"43434435350252004624102033165356415013435162352003060060400420010040200000001"]);

y:=CambridgeMatrix(1,F,77,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"64000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"31605003000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000",
"31000000500000030000000000600000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000",
"41360306651640565666101343621433356433501334131351225033354411242324040025000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000001",
"01652140216446336464244615401305446160415120341021226454555113624563353344264",
"63100004055311044625431134015620520014636151414442653034405042246344511016335",
"64163566106430312611301453001613631345324146601463334366260620405424323653213",
"35200515322001653655260122426540050350040105502263620043424340406206165240552",
"43301236155136511212404014542043666515135561242135230260511525262625116665565",
"31522202611345631113440256334062135243116446453430041433263241551635155246456",
"44266511506660133201440533422263020202245642342664614242215625660336453050025",
"62531045110254652601553245113140465155622030155664115553433241505646644362503",
"60501500241320561433410032032411456631256436466440010335626453263554225620261",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"03031604653413061566262132035050316202331631510005036511242012304026500525505",
"52241030343501025340310301451344162535665436332012465053016240411500161312562",
"44443631604440051345551161345645544560066254545116232115630026623015223635502",
"00306355423203463025604316533512461164123140464021610246065015520626364300601",
"43402113610340050550016442401650165401032611424655331035622335556210133511512",
"26563564624401140052045013463524540620250132332016015566305460566210140343150",
"33562516406665103140116265214455142240142605606055141010030214322445302026322",
"34666466330445650644023124244443554262012413313440440212356325342344510120053",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"44414335163312143444311033313625563035056010056122433306654336026613232536063",
"65061250343565502300351060431632336256020116331003513645030350552116306063046",
"25354103234260223655610112114133253202060031056265244612242512045250226010513"]);

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