/*
www-ATLAS of Group Representations.
L2(16) represented as 17 x 17 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,17,[
"01000000000000000",
"10000000000000000",
"00001000000000000",
"00000100000000000",
"00100000000000000",
"00010000000000000",
"00000000100000000",
"00000000010000000",
"00000010000000000",
"00000001000000000",
"00000000000001000",
"00000000000000100",
"00000000000000001",
"00000000001000000",
"00000000000100000",
"00603026136143218",
"00000000000010000"]);

y:=CambridgeMatrix(1,F,17,[
"00100000000000000",
"00010000000000000",
"01120000000000000",
"21100000000000000",
"00000010000000000",
"00000001000000000",
"01102020000000000",
"00000000001000000",
"00000000000100000",
"00000000000010000",
"00000100000000000",
"00000000000000010",
"25884675667354525",
"36464123710083282",
"83106540631288857",
"00000000100000000",
"86374400483201617"]);

G<x,y>:=MatrixGroup<17,F|x,y>;
print "Group G is L2(16) < GL(17,GF(9))";