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

F:=GF(3);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"010021112001210011020122222020000201011110100112211000000010020002100121",
"010001211211122001102112101221120122220110212001210002212022012112020121",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"111020102111110121221000112212221202210122122211020202011202120000012001",
"210221020102201111120202022210102222210001101200201122122110101012111100",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"220100110001102121122101022122121012100001210212200011012121122121110021",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"121210011121012111010112000122012200220111022110000210112120122210202201",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"201111201121101202112220120212020220220221112111010121211221120200001120",
"020012201000120022210012010200112110211110011200210100202200210102010021",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"102011210111211020001020202020011022001010020001000110110222012000212111",
"211202221212211222122010101120221101010000011202221222022222211001010120",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"211211002000001000110011122110120121201010002020020200002221000210202210",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"101121100200002112000112002012010000111021101110201020021221001122221201",
"000000000000000000000000000000000000000000000000010000000000000000000000"]);

y:=CambridgeMatrix(1,F,72,[
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"102211012000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"220112002000000000000000000000000000000000000000000000000000000000000000",
"220022002000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"210102102221200010220110211000011211011011220202111202101212112121022102",
"002220001202011011021011101102120022101220020211001100102112011100001212",
"221212110102010020022020111102002011211122112001010122211021220101001021",
"002200011010002110022210221120220200000212200101122112022111011201122021",
"020201121012010101001121020112211011200001120122202102101012110000211021",
"111010000002200000000000000000000100000000020000000000000200000000000000",
"100201010112112122212100022021121011101001120112202020022220221000021202",
"121202220222222121211022021112110111121200022021110101220101222202220201",
"011120200222022001211212001222010101202120222222221122002011200101012211",
"001000121221122001122200222012121122000010022201122222200220211211002011",
"200121202202110211002120001000110012202122201111102012202120222220200200",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"100010011010120221122120122221200220122102201012101110102010200110221102",
"020022212110212112010202000221121112011011111221221121211020122121120022",
"221122210220220001211211020000000122200021110020220212112021200202100121",
"101000100201100000000000000000000200000000010000000001000200000000000000",
"100012122222201120201101221122111210002102212020002011021220202222111111",
"000101221111111000110002121112220102022111220210221111111012211020222202",
"201221001100102111011120002012222212120002021021111202021112010120221002",
"021110220202111201220001210000001221212212200120200220000100002200100212",
"222002101201202102221111221220010220021120111210210202002011200021121010",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"210212120112121000021100201112002110121102002222020202221211202121110221"]);

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