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

F:=GF(3);

x:=CambridgeMatrix(1,F,77,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"21010220100220201112212002220121221100012210101001010020000001010000000000000",
"21122210100020210011111202011222002210212022011000000012001001000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00211121202200221000111100022002202210202111000101000012001001020000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"12201001012022210110212212221001111222210012000012021011001000000000002000000",
"00112121212002210101211200212221112110002121001022020122000001020000001000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00201201112222211011211220002221202101202101001011200020101001020000002001000",
"00211021022021210010110222002012000201211101002020000010011002020000001000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"12221012001120012210200211110011100012122220002002000002002101010000000000000",
"00112020000220221112210121220111000101021210002020200020000012010000001001000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"12112120200020120010020120001010120011200002002002110002001000100000000002000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00112222121121222112012120202100011001201101000000220000001002021000000001000",
"21201001012112002121201012212201002212010121000020000012000000020100001000000",
"00000202101000100001221020010221112201101220001002020010002002010010000000000",
"12000100210002200001111000020202122110001010000012110022000002000001002002000",
"21112021022111112022022212020110211222111010002001220011002002000000100001000",
"12112020010222111011121210020222222112201210001021210022001002010000011001000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00010222121121012012001202002100212200112101000001120010002001020000000102000",
"21000101212022210212112221121102121011221112000002210002001002020000000011000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000010000000100000020000000000020000000000000000000100",
"12010020020011000220102012122012201102111111002011000020002002020000002000010",
"21010022001020100112122001201122011110022102001010020022000001020000002000001"]);

y:=CambridgeMatrix(1,F,77,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"22220000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"02010100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000001",
"21001011000112201101222201200220211100022000122222111002211022020001120111211",
"21201001012112002121201012212201002212010121000020000012000000020100001000000",
"12211021021220010222100220110202112220201222222011220002020222002002111210200",
"22121122021201102211110212110220110011020110102120022200022222221210220212020",
"02222111002111211210100220110012222102100010211201202102202212021011000210102",
"22012222110102211212200221011201210110001212002102001011002200012102021222221",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00002012021211020201021000010220112021201102101100121110000020201022221102210",
"00101021121110010212122220022001100100211200102220221010211002001012012212001",
"01110121010021221000220220000120101111120122101012221102200121020122121002102",
"00001111012111222211200012200211211120100211101220221101022122020122011202221",
"01220212010121111111201021201022110200111200021000212201021001221200212110022",
"00101211011020200122122022102021202022111021101211202010021112020220202210102",
"10010102221120102101211202020102220211100011021101212120001101110111020212212",
"00102001022011220021212111012211021112221221002010010012001102010000002000200",
"21100000211212011212202101022122002220021011111122100010112112221000021221220",
"22010000012112201222122012212112200210011112221001020021221202200200122120221",
"01200101020121002101211122020120121002100122002221110212210021121220200102221",
"22200221221212222001121110120211020202200202110020010101102111102002002120010",
"12010221021122122012201122210220121112010122221221201111021101222002010112220",
"02102102201020101211201200020212220020110211100112022122112211010100212001111",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"01022121021000212110121120000112112012101220001201000202220010210110201112220",
"02220122222000211010101021002200010202001120211221122022212120210210012220211"]);

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