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

F:=GF(3);

x:=CambridgeMatrix(1,F,76,[
"0101100000000000000000000000000000000000000000000000000000000000000000000000",
"1021022000000000000000000000000000000000000000000000000000000000000000000000",
"0010110010000000000000000000000000000000000000000000000000000000000000000000",
"0012210211200000000000000000000000000000000000000000000000000000000000000000",
"0000101122100000000000000000000000000000000000000000000000000000000000000000",
"0000111101200200000000000000000000000000000000000000000000000000000000000000",
"0000122100000100000000000000000000000000000000000000000000000000000000000000",
"0000010210022221100000000000000000000000000000000000000000000000000000000000",
"0000011100000100000000000000000000000000000000000000000000000000000000000000",
"0000001010121222220100000000000000000000000000000000000000000000000000000000",
"0000212011002001120100000000000000000000000000000000000000000000000000000000",
"0000010220220100200210200000000000000000000000000000000000000000000000000000",
"0000202112201120212220122000000000000000000000000000000000000000000000000000",
"0000120202111112200000000000000000000000000000000000000000000000000000000000",
"0000120010210222202200211022000000000000000000000000000000000000000000000000",
"0000100110212121210000210110100000000000000000000000000000000000000000000000",
"0000210210022021101000020212200000000000000000000000000000000000000000000000",
"0000020012221210222122220102000200000000000000000000000000000000000000000000",
"0000001000001021012212101120121210000000000000000000000000000000000000000000",
"0000012112100102200212112110000200000000000000000000000000000000000000000000",
"0000011020210000111220101110022112010000000000000000000000000000000000000000",
"0000210122011220220012001100011102021000000000000000000000000000000000000000",
"0000110120211100220001102121122212010000000000000000000000000000000000000000",
"0000111010210121010122201100120020211101000000000000000000000000000000000000",
"0000211211122122011110001212022200122202000000000000000000000000000000000000",
"0000002111221200112201012200210110212100200000000000000000000000000000000000",
"0000221002212120002010110001100212211222210000000000000000000000000000000000",
"0000220121010112220010202012102022112111120000000000000000000000000000000000",
"0000211000110120102222102112122000012210220000000000000000000000000000000000",
"0000121110110121021101200111000010201220202200000000000000000000000000000000",
"0000100220001222122021010001002001002001201020000000000000000000000000000000",
"0000020012211000210120212121211101211221110000000000000000000000000000000000",
"0000222012012121212110100220212000012120201210000000000000000000000000000000",
"0000100012200000012011201020202211022110022110100000000000000000000000000000",
"0000112122112221211210222101222011202212122220120000000000000000000000000000",
"0000000110002221220212212012021222120102001120100000000000000000000000000000",
"0000101210110022001112010010000201011101210010200000000000000000000000000000",
"0000022011121111000102110101212200210212002101210100000000000000000000000000",
"0000210222001120111022120220122202221021121122210020000000000000000000000000",
"0000000001021101112120121122202011102201222102210200000000000000000000000000",
"0000022012122001222202011111020220100121121101020100000000000000000000000000",
"0000020221111211112100111221021110000020202110210120000000000000000000000000",
"0000110222002110021022110002001110101111102110220000000000000000000000000000",
"0000202000111012000011012112210202002010212202110110000000000000000000000000",
"0000111120220222112001101012002102110111201221010100000000000000000000000000",
"0000210200120112212020201111102100110101010112220010000000000000000000000000",
"0000012210122102021211110112012122011202200010120120000000000000000000000000",
"0000020002202110001010112000001122210012001220120210000000000000000000000000",
"0000012201112021120212022222102210001122210202211200000000000000000000000000",
"0000022001212110021011111221212202120122012220120100000000000000000000000000",
"0000022011111211111020210112021112002011222220120010000000000000000000000000",
"0000221202012100010212212200200022112120102220010211000000000000000000000000",
"0000210201012210210100012210112010200111002101011010102111120121200000000000",
"0000110102201122121021111001211121222101002212000201120221020222102000000000",
"0000020122202012210202100020100211211200000222010111111221020222102000000000",
"0000001200120111012020212002221112012021102021221110220210021111111100000000",
"0000021122010112122002020101202100111212122212221011100101201201002011000000",
"0000201210110021120012222122211212101002121122012201202020211220021222000000",
"0000011020001210211111021001220102011211111211012122120111222120220011120000",
"0000011110110102120022021211102100021120110120122222210011000101120221222100",
"0000002020020222101121012001102122102021210122201122202201221010120100210000",
"0000212101201100012111111112211120001210210220000000212221200011002000011000",
"0000122122011020221210102111221001102110201222021222221010122010211221012100",
"0000200112200202112122212211122002212110202120121220112002122201022121121100",
"0000021111022011211121222102110110211022102212220022120201022022112020021200",
"0000100022200121202111202122001210110110012021022010120212110212112001000122",
"0000122202211201010121122011011110010102001101010001212222000112102201021200",
"0000101021220121121120100212122002001010211222210101022122102112222012222011",
"0000012120102010212020221001200120120102100210211222110101200022120100000211",
"0000212202010000100011120102211101122110210110000100202222220221120202121222",
"0000221211101211120100201211120112011220102122211201011111020011022100022111",
"0000110110222120101220012202220011120122102101211202100100112221201221202022",
"0000121002100112012221221021012200212101201221120222110020000110210201112011",
"0000001210012110211010022022020012120100112101120211110122011011112122011200",
"0000101012111111102102020022110000210120020221012210010121100210012210012120",
"0000210001002202111210100012000110211201010112012211220111021202200222012221"]);

y:=CambridgeMatrix(1,F,76,[
"1102220000000000000000000000000000000000000000000000000000000000000000000000",
"1021022100000000000000000000000000000000000000000000000000000000000000000000",
"1021221011000000000000000000000000000000000000000000000000000000000000000000",
"2011011211120000000000000000000000000000000000000000000000000000000000000000",
"1222022221021000000000000000000000000000000000000000000000000000000000000000",
"1122000121010220000000000000000000000000000000000000000000000000000000000000",
"1020002220210201000000000000000000000000000000000000000000000000000000000000",
"0002100011010120210000000000000000000000000000000000000000000000000000000000",
"0001121020010202111000000000000000000000000000000000000000000000000000000000",
"0202110122121021011120000000000000000000000000000000000000000000000000000000",
"2212000122201012101222000000000000000000000000000000000000000000000000000000",
"0101210021101220112022220000000000000000000000000000000000000000000000000000",
"2211102112111210012210002100000000000000000000000000000000000000000000000000",
"1121202122002000021000020210000000000000000000000000000000000000000000000000",
"1221100121010201112110122220000000000000000000000000000000000000000000000000",
"1122120111111002221022200212110000000000000000000000000000000000000000000000",
"2111122101111021211202122222212000000000000000000000000000000000000000000000",
"0102201022211111001121102101022000000000000000000000000000000000000000000000",
"0101220010000000011202110211002102000000000000000000000000000000000000000000",
"0200022000220120100002120211011112100000000000000000000000000000000000000000",
"0100201001112000012122210120012010100000000000000000000000000000000000000000",
"2112100220222012220211102222012120012100000000000000000000000000000000000000",
"1121212021021220002102122220022021020120000000000000000000000000000000000000",
"1222200012201101021012012221200220110210000000000000000000000000000000000000",
"2010022220011001120101210000002120020120000000000000000000000000000000000000",
"0102200010022000210012112101210112111020000000000000000000000000000000000000",
"2112221120121122110122220112211211100000000000000000000000000000000000000000",
"2210200222111200010020011201211120120012022000000000000000000000000000000000",
"2112202011111202221201200112222000222121011000000000000000000000000000000000",
"1022102011220011101210000010211120220201011000000000000000000000000000000000",
"1122202121211102111211201211020100020201011000000000000000000000000000000000",
"0100100002002020200222111001111111210220212001000000000000000000000000000000",
"2211020022012112100221021120101011020110121002000000000000000000000000000000",
"1022202201222002201102111210212000111111220001000000000000000000000000000000",
"1221202112011101212022012000121022112110212001000000000000000000000000000000",
"0002010002022101100022221112220110001000010211111000000000000000000000000000",
"1122211021111212112120122020201100212121112210111000000000000000000000000000",
"0002110222221022021022102010020121201110000000000000000000000000000000000000",
"2210212212210002201120110210210210102112100121222000000000000000000000000000",
"0102002220100120122222022012112000221012012120100101000000000000000000000000",
"0002221020101100112212122120100002212121112210101101100000000000000000000000",
"0001210102220122211002120022022200012222212202000001210000000000000000000000",
"1121112020112012002012021110222210102022021011102202111000000000000000000000",
"2112222010121221021210200201101002120202120201112121122200000000000000000000",
"1021122101212102121221202012010120122000122210201011110010000000000000000000",
"2110202212102122000212221111211001200222201002220010100222000000000000000000",
"0200011002000100012112000012222020221111111212002001101021200000000000000000",
"0000200111101011100200210001120022121001111020020010211012020000000000000000",
"0201202000001111121111102201222010202212011211011012111111012000000000000000",
"0100010021222211220021122201222202222111221202211201100120102100000000000000",
"0000221010101212221210012000220110122021001020001000021202011120000000000000",
"2012202010210021102222202222011110211222222122202001211111100021000000000000",
"2010221011102201012201221210120220220202210012111212211101011210220000000000",
"1120022010210222122102022212101212120211211201211201201020002102110000000000",
"0201220202201212211001202112012110011022001202012121201202010111110000000000",
"0102000120100110121122021010001221211210011002110110000112010211112010000000",
"0000002010000112100021221102211210211102121122002011122102221211012102200000",
"2210010121020111210001121110122120120102001212222222201111022121022221100000",
"0101001011222212222121012120100110000110101020201001100011201001200220021000",
"0001121221110020022200212210211010210111100001102122001110021012112010200020",
"0002220020101212110202110120022121002021210111111021101111222111111222212000",
"2010011120212222110100021120200100210010221210020121001210022011021110111210",
"1022021200010012211221222210200212022110111021000020122210020120222011020002",
"2011202011010020102101101000100020112120112121212211221000022122010012000122",
"0001000210022021200221102211102221120210022220112110110121010200101011120011",
"1021102122020020200011022202110001112200211112012020222101222002111002122121",
"1020211112111200212112022201220001100112211112012210100011210200121120201012",
"1021100222201011111200002011121012002101002220121212010121120122210102112211",
"0000112122102211120200201222201220012212022101211002101011221010112110010101",
"2010011100101120120110212212001020100120222200021202010100120201101111011200",
"2010012202120202202110201101211121221011110222112100120012012110010021022222",
"1022211011122211201122221100122220000000220201201021010210220111220202121222",
"1021101011020220111220220200202000021121202011022022110212012020212020111221",
"0002002000211120002122211111222001212111011220212112021012210222110202121201",
"1020101022220210122110111120022221120211111000101022220220100200021021222202",
"2011121112100112001012012222101120222210110110011012101201210012202201012101"]);

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