/*
www-ATLAS of Group Representations.
2.J2.2 represented as 72 x 72 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"200000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"002000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000020000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000002000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000020000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000200000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000020000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000200000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000002000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000020000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000002000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000020000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000002000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000020000000000000000000000000000000000000000000000000",
"000000000000000000000002000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000020000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000200000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000020000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000200000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"012112122110120200001002200200220022020221021202112002001021211112210012",
"000000000000000000000000000000002000000000000000000000000000000000000000",
"000121111200210112120220010202100000001221100111001121101110120201111002",
"000000000000000000000000000000000200000000000000000000000000000000000000",
"100012022201121201211022220100122222100211022012202101000021121011202111",
"100102110000222112200201212011012021100221002001020110212010202120201200",
"022222122200112100011101021121011001212122011120011020021101202201012010",
"000000000000000000000000000000000000200000000000000000000000000000000000",
"102211121000001202201121101222201220122002022020221202121201122101202210",
"000000000000000000000000000000000000020000000000000000000000000000000000",
"102100001022010210020101101011120122000010212021112202201101221110112110",
"110002102012202011000022110200210221202201110000120022002222120021202112",
"000000000000000000000000000000000000000200000000000000000000000000000000",
"000000000000000000000000000000000000000020000000000000000000000000000000",
"202210011122002012011102221200200211100210110220222211200100011101210012",
"110021100022220100101201012101021222022021022211121022011000211201010122",
"000000000000000000000000000000000000000000200000000000000000000000000000",
"002001001010022021022221212201100000112102210121011211222012201100200002",
"110000011122111212111200122201212111221011022111020220021221212112100020",
"000000000000000000000000000000000000000000002000000000000000000000000000",
"112220110111101001110021000002120112002000102100022000111201101220210211",
"000000000000000000000000000000000000000000000200000000000000000000000000",
"212210012012020002001220010120010022001121122021201111122010121110210000",
"000000000000000000000000000000000000000000000002000000000000000000000000"]);

y:=CambridgeMatrix(1,F,72,[
"001000000000000000000000000000000000000000000000000000000000000000000000",
"022000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"121020010000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"101221210011010120111011000011122022221121002002000210211112011012210220",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"201221021212000202111210201012101100020121211120012200112121120221020111",
"200200211221020110121200220110220201000221222112012011101202101210212202",
"222202120212022012002020010200002000000100200000002000000000000002000000",
"122100201011212022201111121211212221200011212220101211212201101020212221",
"000110010010121222111111202222110200101210121012111011002011111211112111",
"111022211112021200101211001212020112120201021220121122022101110121201211",
"002101010222010121201112010221101211200000021222020110222222020211000221",
"212210001102221011101222211122022010101000211110012101200022102221201221",
"011022122210021001222020201200022000222012211222022201102001010101110201",
"122002211120101121101010220002200211001100021121202012221202112220111101",
"002100011110011220100221002001112200112112201021002202221010001102011220",
"021221121202201010021102102010101000202011212011112010111210202220102212",
"212212210120122200202221220100222220000101010200200020110022002210221022",
"210122121111111002221110002021201200012101022102112121012110120112011120",
"012222200011020222110102122210021120022111222111221110101200112210111201",
"201202121222010101002000012012001001200222011121222001222211002002102012",
"002210120002120220021120112101200012010110220201222222011210002012200112",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"021021122012112101022002221022211011110020021211021122200200200121201201",
"112011122201121100010021210210210212200002200220201102122100110212100112",
"102201100100222012212211101011110011100110201011120111200002100001201000",
"100101012100021002111000201221212111202002122222121111221022112200120111",
"212210220020001122202101200220200020001100021102212111102212211200000121",
"210022102111121022221100201221010111111200021001210222000022200010022212"]);

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