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

F:=GF(5);

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

y:=CambridgeMatrix(1,F,17,[
"00100000000000000",
"00010000000000000",
"12110000000000000",
"04440000000000000",
"00000010000000000",
"00000001000000000",
"00000000010000000",
"00000000000100000",
"00000000000010000",
"00000000000000100",
"00000000000000010",
"10243243410403212",
"10240203210202443",
"02241104124410241",
"00001000000000000",
"40314202401403112",
"02242431131040241"]);

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