/*
www-ATLAS of Group Representations.
U3(4):4 represented as 39 x 39 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,39,[
"010000000000000000000000000000000000000",
"100000000000000000000000000000000000000",
"000010000000000000000000000000000000000",
"000001000000000000000000000000000000000",
"001000000000000000000000000000000000000",
"000100000000000000000000000000000000000",
"000000001000000000000000000000000000000",
"000000000010000000000000000000000000000",
"000000100000000000000000000000000000000",
"000000000000010000000000000000000000000",
"000000010000000000000000000000000000000",
"000000000000000010000000000000000000000",
"000000000000000000100000000000000000000",
"000000000100000000000000000000000000000",
"000000000000000000000100000000000000000",
"000000000000000000000010000000000000000",
"000000000001000000000000000000000000000",
"000000000000000000000000010000000000000",
"000000000000100000000000000000000000000",
"000000000000000000000000000100000000000",
"000000000000000000000000000001000000000",
"000000000000001000000000000000000000000",
"000000000000000100000000000000000000000",
"000000000000000000000000000000000100000",
"000000000000000000000000000000000001000",
"000000000000000001000000000000000000000",
"000000000000000000000000000000000000001",
"000000000000000000010000000000000000000",
"323223243214130313404022422011000301003",
"000000000000000000001000000000000000000",
"001144441013403021112200043403100000002",
"414213322334321310234424103201010104002",
"000302342211033244011231312404001402003",
"000000000000000000000001000000000000000",
"232431040412011034032404014203000110001",
"000000000000000000000000100000000000000",
"001040134121144143441143021104000200104",
"000203114242033333044222020101000300010",
"000000000000000000000000001000000000000"]);

y:=CambridgeMatrix(1,F,39,[
"001000000000000000000000000000000000000",
"000100000000000000000000000000000000000",
"121100000000000000000000000000000000000",
"044400000000000000000000000000000000000",
"000000100000000000000000000000000000000",
"000000010000000000000000000000000000000",
"000000000100000000000000000000000000000",
"000000000001000000000000000000000000000",
"000000000000100000000000000000000000000",
"000000000000001000000000000000000000000",
"000000000000000100000000000000000000000",
"000000000000000001000000000000000000000",
"000000000000000000010000000000000000000",
"000000000000000000001000000000000000000",
"000010000000000000000000000000000000000",
"000000000000000000000001000000000000000",
"000000000000000000000000100000000000000",
"000001000000000000000000000000000000000",
"000000000000000000000000001000000000000",
"000000000000000000000000000010000000000",
"000000000000000000000000000000100000000",
"000000000000000000000000000000010000000",
"000000000000000000000000000000001000000",
"000000000000000000000000000000000010000",
"000000000000000000000000000000000000100",
"000000000000000000000000000000000000010",
"234101012133142222324044400040013340141",
"024220133224422334301322132021332300214",
"000000001000000000000000000000000000000",
"142042200224323404131231231012330031032",
"332000300230233103242124441100033122220",
"120031242433344304132023204140234314033",
"204433401401001103402021424034142100203",
"431300144330033331042133041041204233142",
"000000000010000000000000000000000000000",
"204221120211203311023132022014114214142",
"104242103420412032414024234402304021222",
"114204333002243323312223412242310300031",
"402000222300344203424301414012302343133"]);

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