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

F:=GF(2);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"10011111010011001011110011011111111110110011010011001101",
"00000000000000000000000000000100000000000000000000000000",
"01000011000011010011001001111110100111001010110011001001",
"00000000000000000000000000000001000000000000000000000000",
"01011011110010001000010011101001011011111101100110010000",
"00000000000000000000000000000000100000000000000000000000",
"01000011101100000000011011001000011101001100100000111100",
"11001011101111100010100010001100010100100110101110011001",
"00000000000000000000000000000000001000000000000000000000",
"01001001110111110110111100101111001011101111011011101100",
"11100010001001111110101111010110010101010011011111101010",
"00000000000000000000000000000000000010000000000000000000",
"10100001100101011111000101000101100110001111010010001010",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00111101000000000000000000000000000000000000000000000000",
"10100100000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"11101101000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"10111110010001000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"11100111101000011100001001001101100010011111000010000010",
"10000000111101001110001000110011000110001011101011110000",
"01011011001110010011001100111101100000110111000010000010",
"11110110001011110110001101110011000011001111000010101011",
"01100100010000100000101100011001001110001110110000101011",
"11100011000111110111001111100100011011110100011110110101",
"11110101000010111100011001011101100011100010110110001011",
"00000000000000010000000000000000000000000000000000000000",
"11011101010110101000010011100100010110001110111000100100",
"00011101000011100110011100100011001011000100111101100110",
"11100101011101001010010000001011110110100010101011110011",
"10111100110000111010101010001110001110101101100001100111",
"10010101000010000000110100111110101010100100110101110010",
"10001010010110001010110010111110001001111101100001000101",
"00111010011111110000110011001001101101110001011000001111",
"00010011110001111110000011110011011101100000001111100111",
"00110010101100010100101111001011100100101111111010110100",
"00011110110010000010010101100001100010011100110101110000"]);

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