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

F:=GF(5);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"10000000000000000000",
"30440000000000000000",
"23010000000000000000",
"00000010000000000000",
"00000000100000000000",
"00001000000000000000",
"00000000000100000000",
"00000100000000000000",
"00000000000000100000",
"00000000000000001000",
"00000001000000000000",
"31012422410240100000",
"10030104100404000000",
"00000000010000000000",
"14010004010400140000",
"00000000001000000000",
"04124212441204104100",
"23431321410114300010",
"34444041113210302001"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"00010000000000000000",
"00001000000000000000",
"00000100000000000000",
"00000001000000000000",
"00000000010000000000",
"00000000001000000000",
"00000000000010000000",
"00000000000001000000",
"00000000000000010000",
"00000000000000000100",
"14134303000124110000",
"41323030240221344000",
"32213032143443230000",
"13022304023213310000",
"14221320110314223000",
"42210423420340230000",
"00000000000000000010",
"00000000000000000001",
"03432444414142301444"]);

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