/*
www-ATLAS of Group Representations.
E7(2) represented as 56 x 56 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"11101100001111010001111111100111011111000111110011100110",
"11001010110011000000011100000111110111100011000001010010",
"00100000000000000000000000000000000000000000000000000000",
"00001000100111101111000111001001011010100111101010101110",
"10001000000111011100111011000110011101000100111000111110",
"01111000001101100111101101011011111011110110000010000011",
"00111100001110101001100011101000000101011010011101111101",
"10110000101010111100100111111100011001000011110000110111",
"11011111001111010010011100010001010111111000111110111011",
"01101001000110000001100001000001000111110100000001101100",
"00001010110101111111100101110101001011011011000100110000",
"00101110100110100100100000001101010111111111011010000100",
"00000110001101010101010101010111011101101101000010110101",
"01111000111000011010101111101000010100000011011110011001",
"01110101110111001100101100000101010001100001000011010010",
"00011110000110011100011000111111100101000000011001101011",
"01011101000010100000101100101010111100001011001111110101",
"01000001010011111110010010011010110100111000111000011101",
"00001111110011001011110101011101000100100111010000011000",
"10000001011011101001110000110110001000000100101001011101",
"11001101101001100101111010010100011101111111011001110001",
"11000100000011011000101011100011001010010001100110011101",
"00111101101001001100111000101111101000101010011000111011",
"01111011000000010011000100000101101001011111010011011000",
"11100011001001111010000101010011000101100110001000000010",
"11010100000000100101000111101110000011111101000010000010",
"01110010001100010011000010101011101001101101010111111001"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"01100000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"10100100000100000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"01010101000111101110100110011100001001101101100001011010",
"00000000000000000000000000000000000000000000000000000001",
"11111011010111110110101001110001110111010111010001100010",
"11011001101001001000000001010000101111100110000010011010",
"00001011010100110011101000101101101001000101000000111110",
"10101001011010101011010001100001100001110010100111011100",
"00111101000110001010011100111111111100010011110000100001",
"10001101110011001111101010010100101001000011111010011111",
"11101110101011111010001110001000011110001001011011101001",
"10101111101111100010100011011111110111010110100001100011",
"00001000110000011100100110000001010000111101100010111011",
"01001010010100011010111000111001001001110110101001011001",
"10101010110011011111101010101001000001001110101010000010",
"01100011000110001101010100110111000001011100100001001111",
"00000111001110101011100110001010001100001011111001111000",
"01011110101100100111000001001010101101110001011100001110",
"11100100110111000001000101001111100101001001010010001101",
"10100110000101101011000100101001001110100001100010010110",
"10011000011011000000001001011001100101110001011101101010",
"11010010111010100000001001001110011111100101111111010011",
"10011101001110011011111100110110001001100000010001010000",
"00100010101100000111111111001100011010111000100011000110",
"10000001111101100101100000001000110011111000110000011111",
"00111010101111011000010000011110110111010110101000101000",
"01010100101100110001111100100011101100010100111000011001",
"01100010001101101110101001000000111000111011000100011100",
"00111000001010101000111110101100000101010000000000000100",
"10011101011111010010100001101101111100100111100110010010"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is E7(2) < GL(56,GF(2))";