/*
www-ATLAS of Group Representations.
U3(4) represented as 52 x 52 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,52,[
"0100000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000",
"2222220000020020002000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000",
"0000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000",
"0000000000000000000100000000000000000000000000000000",
"2222002020200200000000000200000000000000000000000000",
"0000000000000000000000000000000010000000000000000000",
"0000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000001000000000000000",
"0000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000",
"0000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000001000000000",
"2200000202220220000102021002122002212000002000000000",
"0000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000100000000000000000000",
"2200112020110111000212012002211002021020202000020000",
"2211001212100100000202002012200010020100020000100000",
"0000000000000000000000000000000001000000000000000000",
"2211110202210212000221012021201020020010000200010000",
"2222112121021020110100121000212102021021002020020000",
"0011111010200202000020010000101202010202002002200000",
"0000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000010000000000000",
"2200112121120122020222222012222211022102001000102000",
"1122002121111110110001110011111012011000002000000200",
"2200112121120122020222222012122011012100001000100020",
"2200000000211210100201022021122121012121001000120002"]);

y:=CambridgeMatrix(1,F,52,[
"0100000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000",
"0000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000010000000000000000000000",
"0000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000",
"0000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000100000000000000000",
"0000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000010000000000",
"0000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000001000000",
"0000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000",
"0211022100021201222002222022212121110001010020001000",
"0000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000010",
"0000000000000000000000000001000000000000000000000000",
"2102120210222010110222001020012102012200102001001010",
"2011200021012110101000112200202200010210201021000020",
"0002100101201110112002201221000201120100001110100020",
"0000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000010000000000000000000",
"1112212111111221212212020210200001000000002000000020",
"2222021010100012002100110110020012022010011011022122"]);

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