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

F:=GF(17);

x:=CambridgeMatrix(3,F,12,\[
0,1,0,0,0,0,0,0,0,0,0,0,
16,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,0,0,
0,0,16,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,0,0,0,
0,0,0,0,16,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,0,0,
0,0,0,0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,16,0,0,0,0,0,
0,0,0,0,0,0,0,16,0,0,0,0,
15,14,4,11,16,15,9,9,10,13,1,4,
4,14,6,9,4,5,13,1,8,3,8,16]);

y:=CambridgeMatrix(3,F,12,\[
0,16,0,0,0,0,0,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,0,0,0,
16,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,1,0,0,0,0,0,0,0,
0,0,0,0,0,0,1,0,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,0,0,0,0,0,1,
1,13,5,11,8,5,15,14,3,1,15,14,
0,0,0,0,0,1,0,0,0,0,0,0,
14,1,12,12,16,6,15,13,9,9,12,16]);

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