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

F:=GF(7);

x:=CambridgeMatrix(1,F,28,[
"0100000000000000000000000000",
"6000000000000000000000000000",
"0000100000000000000000000000",
"0000001000000000000000000000",
"0060000000000000000000000000",
"0000000001000000000000000000",
"0006000000000000000000000000",
"0000000000001000000000000000",
"0000000000000010000000000000",
"0000060000000000000000000000",
"0000000000000000100000000000",
"0000000000000000001000000000",
"0000000600000000000000000000",
"0000000000000000000001000000",
"0000000060000000000000000000",
"0000000000000000000000001000",
"0000000000600000000000000000",
"6253010433355340206345133030",
"0000000000060000000000000000",
"0445321425304242116523663420",
"1631313041425006113141160655",
"0000000000000600000000000000",
"3626360553644320330263041125",
"2305050612246631615033460122",
"0000000000000006000000000000",
"5561466111163424512506661555",
"1233201432014234602040526356",
"6245343021511053634123600553"]);

y:=CambridgeMatrix(1,F,28,[
"0010000000000000000000000000",
"0001000000000000000000000000",
"0000010000000000000000000000",
"0000000100000000000000000000",
"0000000010000000000000000000",
"0000000000100000000000000000",
"0000000000010000000000000000",
"0000000000000100000000000000",
"0600660060000000000000000000",
"0000000000000001000000000000",
"0000000000000000010000000000",
"0000000000000000000100000000",
"0000000000000000000010000000",
"0000000000000000000000100000",
"0000000000000000000000010000",
"0000000000000000000000000100",
"0000000000000000000000000010",
"1601060000100600000000100000",
"0000000000000000000000000001",
"5412022521352033320015451205",
"2455461562026024512511012316",
"4044010411106513341211040025",
"1061000600100000060000100000",
"2265115651322304104255345512",
"5010345116223253153352033505",
"0460035005551513343451600151",
"2243115112032362120041050534",
"5021556405011150634214441651"]);

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