/*
www-ATLAS of Group Representations.
3.S7 represented as 96 x 96 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,96,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"010101111101000000110111010100110001010110011111011001111010001000111111010101101011000001011100",
"100001000110001100110111001110110000110000010010100111011101011011101001001100100100100111110110",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"010111101001110001001011111100100011111110011100001101011101010110010101011010011000001001111111",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"100100000100011001110110011110110101011000000011111000011100011001100110000001001001010100100110",
"001000010100011111010110000010101100110110001110011000001001000110111100100000110110110001100011",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"100000001110100010001010100111010110000000100110111001000111010100110110101001010101001011011010",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"011110100111100101111100111111000011001110101101101110010001011110001100111101110011111111101110",
"100100001011001010101010011110111111000010110100100001110110111010100000101101110010000001001000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"011011011001101101010010100011001000001011101010111011000000110011000110000010000000000111000100",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000011001011000110011101111001111110110011000100101001110010010001011110110101011010000111110110",
"010011110110000100101110100011011111000101010100000000110111101110000010000010000011101001001011",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000111010100001101000110111100001000101111110111011010100000011110111110110001001111000010111101",
"111001100001110001100000110010101101100000110010001110101001110100111100010001111110001011000101",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"111110101100100110001010000101000001110010101110110110101111001000110010010101110111100011010100",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"010001100000001000100010101001100101000111111100111011100100010001001010111001110110101000000111",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"100001111111111100111001000000111010101011101010011011010001111000001011010111000001111110110111",
"000010000111011101011101000010110100001110111110101111010000110010110111101001001001110100001101",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"001001001010100100000110001001100100010001101011111011001011101100111101110110010000110000000010",
"001001010111010000000000111101110100100001100010000110101101011001100100100010001110110100000010",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"001011101011000011001010011100000000111110111000111010100011000000110010011001000110010101001111",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000011111011110100010011000111010001110100100011101111010101111001011111101001001011001010111",
"010100101100100110000101001000111111110111010001011100111010011010010111001011111001110000010101"]);

y:=CambridgeMatrix(1,F,96,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011111001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"011101000000010001000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"111000010010010001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"010001111101010111001001111100000111000111010001000111100000110000111111001101000011111111111011",
"100100000010100010001001001011011100001010010011010110000110000111000101110100100101101101111111",
"011110110011111010101100111110100111100100000010010101111101000101010011110001000101101001011100",
"110100001000101111101011001101001011010110111110000110111100001110100100000001000101000110011111",
"000100000010100000001001000101101100110001101110001100110000100111111100100101110001110111110000",
"000011101111000010000011110110111101111010110111001100100100010101110000000000111010000011011100",
"001101010010100011001101010010111010101101010100000011010101111110011011001111010001011110010010",
"110110110001001010000111110111111010010010000110101111100000000010011010110111011110001010001101",
"111000100110100001111101100100001001010001101010010110111100010001001010000010000000101000010000",
"100000111111001010101111111110111110011011111001100111000011101101001101000110011101111111101010",
"101101111001000010001000001001100011100001001100101011001001111011000110010010110111100010100111",
"000010111111110000011001111100001010101110101101101000001000110101100100100000110001011111000001",
"110010111010110110011111111011001100101110010011010010000001110110001111001110101001100000101001",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011001011100110100000111001010011011111010001111101010010100001100010000011000010011101100101101",
"011011011110100011001000001011110010100111111111000101100110110100100001011111001101000001011111",
"010000101000110110010100001111110101010100101111110001000010101100000010001001111000010001101110",
"110110110000101100011011011111111110000010111101010010001001101001111100110011001011101010101100",
"100011110101011001100110000101111000000101011111110101100011100000010101100010111111000011110000",
"100111001011011111100000100000110000100010010101101001111111010001101110101011111100011100011111",
"111110110011010000001001010011011000001100011101001111010000110100010111100100001101010010001001",
"011000001010000001111011101110011100010001101000011001101001000001110111100111101010001010000101",
"110100000111110100100001000101110100000111101011101000100011001011010010001000001100011111011010",
"101111111001111000001010111001100111101101010000101000001110000011101010010100001110010011100001",
"111101001011011100010101111100100110000010101101011110110101000010001010100100010101011100110000",
"010011101001000110000010001001100010100110111001010010010001111101111110001010000011101100101001",
"000010101001111111100001101010001011111010101001011110010100111000011110101000110111110011000100",
"011101100101010001100101001110010001001101001001110000110110100111011110101010011100000110010111",
"100111100101101000101001110001110101101011110101100111100000011101011101011001001010001000110111",
"110001011001011101101000011001101101001100011100011011000111011000011111101010011010011111111110",
"000111011100001100010010101110100011000001001100000111010000000011101110100011111101000001111011",
"100100001011110100100101000110010010111110101010111111100011110110010000110000010010110111000100",
"100101001101000110000111100000111011000011110100111100110110011000111000001010010100000101010100",
"011010010011001011011000011101111100011011100011101011010010100111001000101011010110101011100110",
"001110101000101101110100111111001100011001100000110001110101011010000010100110000001000001000011"]);

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