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

F:=GF(3);

x:=CambridgeMatrix(1,F,76,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0120020020000200000200000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"1002202000200002000000000000000000000000000000000000000000000000000000000000",
"2111101000200002000000020000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"1120120020000000000120000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100",
"1020021112000222212012001222210211000020102200200222200212201112010220222100",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0102122202102010011011222100200201100211100101200211001000210110122110212100",
"0000000000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"2211200110022200020121200001212120212011102022200011022001022010012010110020",
"0222001012002012022101122111120120000011211200201222011102210010011100112020",
"2200010222211222200110122021222210010210011201201112212001120212220112210200",
"0101222120202011002022101021011122010010202100201201000102211110020110012100",
"1212210121202101221202100220022202201222210210020001120000010101000000021100",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"1101002021200020211122221212212111202220012021002200110021222021020220221012"]);

y:=CambridgeMatrix(1,F,76,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000",
"0112000000000000000000000000000000000000000000000000000000000000000000000000",
"2110000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000",
"0110202000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000",
"0110010010020100000220000000000000000200000000000002000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000",
"0110000020100021200000010000000000000000000000020000000000002000000000000000",
"1010110010010200000210000000000000000200000000000002000000000000000000002000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001",
"0012221022100102201001111100112100212010121122111210201000012020121021210212",
"2202021120012200202010201211200121011221102212211211111212200012111102122212",
"2220201001121112012122201121001012122110020000211101220112012002011201011221",
"2200022220220121202120211101020122111221022222002200112212122020200111020222",
"2112102002110022201212111101211220121211220121122012001122201201220102122121",
"1220100212002022022001000110122222022111220112020201212002122121000212020201",
"0000000000000000000000000000000000000000000000000000000100000000000000000000"]);

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