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

F:=GF(3);

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",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001",
"21002012021111221222210220121111020120012102102100211101000021000002000020012",
"00212011020221102112022011202100121010210001210012110012000020000001020002020",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00211122220101200200010201122020120102201101001102110000110002000000000020020",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00120001022211210122110102210112120200111210122022112000001022002002010001021",
"21211020021011022022101012022122222002121101221011010000010112000001010002000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"12122012010102000202000201102100020110221001100200012002000012100002000010001",
"00000001000210102222120110120112220210022100012221110002000011010000020011020",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"21121222102120212210011112122020002222121101111020202001010012000102020001011",
"12212211100200101202021222121110202100121102002011202000000012000010000002011",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"21000200122011212221111212101222202120110022101011000001000020001002100002000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000200120011200220212001110021011012202200221200120002010001000001011010020",
"12211221111212121120120222201012200122111002222211001001010022000001010112002",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00001222121121122110222212200001111101121020220222221000020012001001010011112",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000"]);

y:=CambridgeMatrix(1,F,77,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"12102001000000000000000000000000000000000000000000000000000000000000000000000",
"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",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"21011101212112020002121220112020021202011102021211022210221221101021000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100",
"02101010220122211010121121201211222222001110211202002221012110220201002210000",
"02111210110120220111100121212120002102100100210221222000210211002010222000010",
"11210012001012002011000202221012121000020021112012020110112012011110112112111",
"12011212122002020201120220121221111022200011000120021120210010122012210120200",
"01001110221110010222111100022112112102122020102012120022222011100101210221001",
"21020021021022111000012222012020022200020021201001002112110021122211102010220",
"00022000200120212012201022121100001201211101002211201002220202122111211002121",
"10112012112000001002211201102212011120200121212211112200002010021100111122012",
"00012221102202212121100110102121010020121100202102120222010200220221222210212",
"21010121220220122020200122101021220022121221200010022020021211120200220221210",
"02211122111220121002100000201101101022022021022111111100022112102020111020102",
"01100202021201021012211111121012122212121002120212211201120002122110112020110",
"12100021102222121001011112212112201222001001202201110122111210020112210222101",
"00001220201011222101201210122102121222202110001201100122222222200110202011210",
"00220121121222101200222010111000100200010211222211122010022102110211011220212",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"12102021000021122002222122011022201122120220011102001001020000001010211200022",
"00211122111000211211220222102201210000102222001000010021002121210210012122102",
"02200202110210202100002120012220102200202020011111220101001002102121110102021",
"00201102122122210211211202122201102201200112202112110011100212212110102002101",
"00102102120100210020020121100020122102212121112201021212010011002101211011021",
"21002011112001202222222112120102010200001200001201210212022002010111202112020",
"02121210202000200202110022111211121211102011000001212100200200000001222121000",
"21112122202022101221000011011001122000112122121201011222021002011101201011120",
"02200001021100112222110200222210122212001221120212102101220000010212200000021",
"11021020121010100212220000222001001001122111022112222200112221111021000020122",
"01012000000021100111111220000112011210001110102002220200000112221001221020122"]);

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