/*
www-ATLAS of Group Representations.
U3(8):6 represented as 56 x 56 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"12110222210110002102002002102020012121011012012000002000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"02102120221010212020110221120112222112202101000222002010",
"00000000000000000000000000000000010000000000000000000000",
"11201120202021200110201222011221022202020020200201022220",
"11220000021011222000212010102212202020110201012200212020",
"12202210121021022121012120101120200022020001221101220110",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"01012220222002020001021200002200002010100021221222120100",
"01012101000212000210210222001020000202112212222210011200",
"01101210120100202121202022101200211221011000000100110200",
"00012202020202101000220102020010112022110210110221022110",
"00000000000000000000000000000000000000000010000000000000",
"21021121210000012222102110012002211002202102212102101001"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000",
"12100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000100000000000000000000000000000000",
"21212122012102011111210020010012001000200122100210210020",
"02212112112102021111101002221112200020222122001120022210",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"10211010220222022210101100011112201210011101002200202200",
"12122200222210102102122211222002101001120111220100121111",
"01201220021010221200110110201010112100100210102100120000",
"00000000000000000000000000001000000000000000000000000000",
"22200202022020200202101201212012012012201020012000220002",
"00202202012012202211120002122020202011010210021011011122",
"02110220000121111210110201222221201020210100111202001100",
"22102000200020000111020201120102011100000020102110211200",
"00000000000000000000000000000000001000000000000000000000"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is U3(8):6 < GL(56,GF(3))";