/*
www-ATLAS of Group Representations.
4b.L3(4) represented as 72 x 72 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"112202200020000000200020000000000000000000000000000000000000000000000000",
"112220020000200200000200000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"002210012202010022122111102122222202202210002211112121212000100200102110",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"020022221112111100220101002200010111212100020101121020010001210120000011",
"102122112022012102020010120022022210121201111202201202112201122112211021",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"101010201011121011221220122212122011022001112111202210112001211211121021",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"011121201020000022020001012101101221222102122022012122210102201122211102",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"221210101222110000002111211001120200211122212102222210000012200002211110",
"022201020200102121200120021100220020001001001101221200201000012102221010",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"100120100000102201102220002020011200111111101210102110002121001200112222",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"212102111010002212211002202202121122212010200110222001011122211111022200",
"020120020120012200211021220001120212112212001212222112211200012002201222",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"121021021220121201201011222202021120220210110110221122102011110002201100",
"001001221010022121020211201211002220102022112211122212220111101200011002"]);

y:=CambridgeMatrix(1,F,72,[
"110000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"022020000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"222020002000002000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"110100100001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"121102120112121221012020122102121221012112120120012111201111100212000212",
"121122012001220220122212010200010022200202211201010112221101200020111100",
"110020012210100101022221221022200020020112220002212100210220211222000010",
"100202212010000101010001111022222222212010110122000211001201100110022011",
"211222202101221202011000000211221022102011200110110122201012002210221111",
"111211000100101010200012000201121122010112111022102012110222011211002121",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"200112211120022120120122001021221202212211112221010211220211212121022012",
"002022202101212111101121120220222210122221100122101000100222001210100021",
"212222210221221201211201121211201000200102200200201201001212120200101010",
"011211111211212000201212222202110222110001212100201010110210121210011101",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"001212022120000002210212020222221222022201222110101020002221001102201100",
"101020212011102110011211101212211102100120022211210012121121011001202210",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"220222122221110221111202210211220210002012220222211212122210112120221222",
"022111201112210212112022101122001011012011121001102022212111001102121212",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"002120101012101210120021212120121012120001101202022002221210102120212010"]);

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