/* www-ATLAS of Group Representations. 2.S7 represented as 20 x 20 matrices over GF(49). */ F:=GF(49); x:=CambridgeMatrix(3,F,20,\[ 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,0,0,0,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,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, 0,0,0,0,0,0,0,0,1,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,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,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,0,0,0,0,0,0,0,0,0,1,0,0,0, 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,0,0,0,0,0,0,0,0,0,0,0,0,0,1, 10,20,0,44,22,15,13,35,38,23,28,27,41,4,3,34,2,24,6,30, 0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0, 33,29,35,22,36,19,45,16,33,44,35,35,46,26,5,10,6,1,48,15, 0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, 41,3,14,46,34,4,46,16,39,47,9,22,10,45,13,43,41,6,2,20, 15,43,36,13,29,18,13,45,39,38,9,31,27,34,39,0,45,43,43,38, 0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0]); y:=CambridgeMatrix(3,F,20,\[ 41,6,0,0,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,0,0,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,0,0,1,0,0,0,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, 0,0,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,0,0,1,0,0,0,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,0,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,0,0,0,1,0,0,0,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,0,0,0,0,0,0,0,0,1,0, 47,41,1,0,18,0,0,46,0,0,0,0,15,0,0,0,0,0,0,0, 6,1,9,28,26,31,19,41,13,45,35,43,9,46,26,23,37,23,47,22, 24,16,47,17,1,32,31,26,9,38,41,39,26,18,31,22,26,9,35,28, 46,16,6,46,8,8,17,29,11,7,25,45,31,13,32,5,32,16,34,9, 25,28,35,2,31,23,17,44,37,32,20,33,38,3,21,0,34,42,10,16, 20,13,19,15,47,43,7,1,35,28,18,32,21,28,22,7,29,19,1,29, 29,28,8,9,43,7,37,26,41,5,45,25,41,26,3,40,26,40,1,24, 46,16,30,27,40,43,47,21,40,2,47,41,47,33,43,22,23,15,20,39]); G:=MatrixGroup<20,F|x,y>; print "Group G is 2.S7 < GL(20,GF(49))";