/*
www-ATLAS of Group Representations.
2.S7 (isoclinic) represented as 28 x 28 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,28,[
"0100000000000000000000000000",
"4000000000000000000000000000",
"3244000000000000000000000000",
"0121000000000000000000000000",
"0000001000000000000000000000",
"0000000010000000000000000000",
"0000400000000000000000000000",
"0000000000010000000000000000",
"0000040000000000000000000000",
"0000000000000010000000000000",
"0000000000000000100000000000",
"0000000400000000000000000000",
"0000000000000000000100000000",
"0000000000000000000001000000",
"0000000004000000000000000000",
"0000000000000000000000001000",
"0000000000400000000000000000",
"3300232033222440304341404330",
"0000000000000000000000000001",
"0000000000004000000000000000",
"1000121141420220143341231120",
"0000000000000400000000000000",
"4320023443034423442332020001",
"1011132021210000043012134014",
"0000000000000004000000000000",
"4403123340211433041101001010",
"2142021111243041104242401234",
"0000000000000000004000000000"]);

y:=CambridgeMatrix(1,F,28,[
"0010000000000000000000000000",
"0001000000000000000000000000",
"0000100000000000000000000000",
"0000010000000000000000000000",
"0000000100000000000000000000",
"0000000001000000000000000000",
"0000000000100000000000000000",
"0000000000001000000000000000",
"0000000000000100000000000000",
"0000000000000001000000000000",
"0000000000000000010000000000",
"0000000000000000001000000000",
"0000000000000000000010000000",
"0000000000000000000000100000",
"0000000000000000000000010000",
"0000000000000000000000000100",
"0000000000000000000000000010",
"2204321003111143340303344020",
"4443113002223013241332130414",
"4043103120132240002433424204",
"1000000000000000000000000000",
"4001003413322010411140001203",
"0322122411033432221402300222",
"4430103012034320411142444113",
"3141434344411443041134140122",
"0100000000000000000000000000",
"3432142404031003200103444222",
"0031310442321242002022223422"]);

G<x,y>:=MatrixGroup<28,F|x,y>;
print "Group G is 2.S7 (isoclinic) < GL(28,GF(5))";