/*
www-ATLAS of Group Representations.
U3(8) 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",
"00111100000220212022120202112012021112012200200212000000",
"00000000000000000000000000000001000000000000000000000000",
"22201112220012001220000121010010222000122212122101000100",
"11222210101121102101011011101112101000110202000100000000",
"00000000000000000000000000000000010000000000000000000000",
"22200011211020022111212012121222110120002122012121000100",
"11120011212101100220000101110000010001112222021102000100",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00220011110010011002100022220222212212220200100112200000",
"11121101110012001102012220201000201202112222222000020100",
"11101110000111121100200112000001101102221211111001002200",
"00101101212110101220011012201211110102101211211001000100",
"22011112222121102010011021201221201201002022222202000120",
"00102211011212201002002121200101200101021211111000000202"]);

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",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000001000000000000000000000000000000",
"21211212010201002211102121001021000201111201122001201102",
"20021001112112111100120012121020220000002112200200002112",
"22102211110200000222110012020201011000121202012110120001",
"00112202212110001102020002200002221102122200112101022221",
"00000000000000000000000000001000000000000000000000000000",
"01222221102020101112120110120112120022111120022202122101",
"22001120222222020210020102122122000011010122200200201020",
"10101221102212211210121220110111002200201000220102102200",
"00000000000000000000000000000000100000000000000000000000",
"01011010212022220021020212210202202110221101110002202220"]);

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