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

F:=GF(3);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"102010202220110010212100002222022011101001211121021221111022011",
"102002120202002121020210021200220100001022111210210001220102011",
"000000000000000000000000000000100000000000000000000000000000000",
"120100220011102121211122212022022111211221010001010200210020102",
"102012220202011120022022102011221222020002120101101021021002010",
"000000000000000000000000000000001000000000000000000000000000000",
"111202022120201022111102222210102220010202112220101002110221121",
"000000000000000000000000000000000100000000000000000000000000000",
"120220000001221021100221222022012010211022221012212220012100002",
"012222100022112020211222202010121022012101212102102012022202110",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"210021222111111022202221201022021110111222221012222110020100002",
"022212222020101121210112220112222112012100120222002012212111021",
"000000000000000000000000000000000000001000000000000000000000000",
"001011202101111020221201210020200000210110221022202210012111101",
"000000000000000000000000000000000000000010000000000000000000000",
"122121022011112122201101211111211201212001012001121220211200111",
"000000000000000000000000000000000000000001000000000000000000000"]);

y:=CambridgeMatrix(1,F,63,[
"001000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"222200000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"020101000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000001000",
"110011101111220121120000120112200111100210021021202012221001000",
"000000000000000000000000000000000000000000000000000000000000010",
"211222100020002102020010101020221210021112120212202202012211100",
"201120021002222002202221001210120212022111210011222200220011210",
"211022010011111111210121120020110101211111220011010010110111200",
"200122200121021111122120122122000000112002120201200212202210121",
"100221010221122111111000221020212221202220111202220110012221011",
"100110222001022012010220022120121121020200001222020202022200112",
"000000001000000000000000000000000000000000000000000000000000000",
"002202210022022002001221200011001100202002212220021120020010211",
"122211211121222212212001212212221021111211022001001112011010110",
"201022220122202102020020212022220121010111002101000222012212012",
"200102110111211122100210000101101011122212012012021210120210111",
"100111111122201021001221122200001102020002202002211001211001122",
"211010010100021111202020112100002122002102212022210001222012112",
"110001121101020202210221002222220010221021121010000021000001010",
"122002201221010111110022020202121120111111212211020022022111220",
"121101111101201210010212001120122211010011212222022212121111021",
"001021100021211122222201022111021101201100211020122222120102112",
"000110011202202111211000112102202110120201201222200011200212100",
"000000000010000000000000000000000000000000000000000000000000000",
"200020011102200121001211011120102210101002200200202110020022122",
"212000010102121201120200010112110102010000111102002022211211102",
"201002212220102022001201011011122002102110112120020100012121010"]);

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