/*
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",
"00507025175187214",
"00000000000010000"]);

y:=CambridgeMatrix(1,F,17,[
"00100000000000000",
"00010000000000000",
"01120000000000000",
"21100000000000000",
"00000010000000000",
"00000001000000000",
"01102020000000000",
"00000000001000000",
"00000000000100000",
"00000000000010000",
"00000100000000000",
"00000000000000010",
"26448536553768626",
"75858127310047242",
"47105680571244463",
"00000000100000000",
"45738800847201513"]);

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