/* www-ATLAS of Group Representations. 6.A7 represented as 24 x 24 matrices over GF(25). */ F:=GF(25); x:=CambridgeMatrix(3,F,24,\[ 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,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,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,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,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,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,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,1,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,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,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,1,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,0,0,0,0,0,0,0,0,0,0,0,1, 16,0,13,9,19,10,3,13,3,22,10,21,19,11,16,9,16,5,10,22,6,17,0,5, 14,8,21,6,10,13,0,11,24,23,10,1,12,4,24,3,2,24,4,24,21,13,19,24, 19,19,4,23,12,22,1,13,14,8,22,1,0,1,1,6,23,0,7,18,24,1,8,17, 16,20,10,11,0,24,19,20,8,7,18,7,4,11,9,17,6,4,5,0,16,18,4,7, 14,2,3,18,6,17,3,6,7,5,18,13,6,15,11,22,7,5,16,20,23,1,13,21, 0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 23,22,6,14,11,6,18,11,5,10,5,1,14,12,15,22,7,18,4,24,11,3,24,23, 6,22,13,10,21,6,6,15,16,16,7,16,17,17,23,1,21,3,7,0,16,14,8,15, 13,0,13,21,12,22,0,2,22,21,4,23,2,8,8,23,6,20,2,15,14,13,9,18]); y:=CambridgeMatrix(3,F,24,\[ 15,3,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,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,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,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,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,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,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,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,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,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,1,0,0, 6,18,0,14,0,0,8,0,0,0,0,0,10,0,0,0,0,0,0,0,0,0,0,0, 21,4,4,9,14,17,21,18,6,21,15,18,4,0,0,4,1,4,22,18,18,9,20,0, 3,12,2,19,20,18,3,6,15,18,6,2,17,8,14,0,11,18,20,12,11,13,22,11, 5,5,9,21,12,7,2,5,20,14,8,18,12,20,4,0,12,7,23,7,18,21,2,1, 16,3,17,23,6,17,12,23,13,13,9,17,22,12,21,13,19,20,7,11,0,6,21,4, 15,3,7,17,24,12,17,2,14,14,22,16,6,9,7,4,21,0,24,0,0,15,17,13, 17,3,5,23,2,15,18,24,1,2,4,7,11,22,10,7,13,11,24,7,15,17,7,16, 22,0,0,1,21,17,18,15,18,24,9,15,15,18,19,18,4,0,23,6,9,19,5,15, 5,4,9,4,6,12,12,3,4,24,1,19,16,9,6,17,1,3,24,0,8,19,1,16, 2,6,19,7,9,13,19,24,22,3,18,13,23,24,0,20,3,9,21,20,0,22,13,16, 23,22,24,5,13,17,16,18,10,16,19,23,8,16,2,3,15,5,18,10,11,11,8,15, 20,2,12,6,22,13,14,9,4,20,16,19,2,12,10,11,4,10,8,8,10,18,8,23]); G:=MatrixGroup<24,F|x,y>; print "Group G is 6.A7 < GL(24,GF(25))";