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

F:=GF(2);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00010011001111011101111100011001011000000100000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000010000000000000000000000000000000",
"11011100111011100110110011110111101111100100111010101100",
"00000000000000000000000001000000000000000000000000000000",
"00100011100001111110111110110001000010010100010011101000",
"00100110011111010011111110111001100110001100010010101100",
"00000000000000000000000000010000000000000000000000000000",
"00100110010110001011000100111000100000000110010010101000",
"00001110011110000010000100110000100000000101010010101000",
"00000000000000000000000000000100000000000000000000000000",
"00011001000101001010100010110000101010000100000010101000",
"00000000000000000000000000000010000000000000000000000000",
"00001011000000011100001011010110101010100100111110101000",
"00011001000000011111011110101101000010000000110001101000",
"00000000000000000000000000000000100000000000000000000000",
"00000101010011010000111110010011101110000100001001100100",
"11010011001111001110100010110000000010000100000000010000",
"00111110011000001001000110001110101110000000101001001100",
"00000000000000000000000000000000000100000000000000000000",
"11101100010101010100101011000000000010100000000000000010",
"11100110011111000000100111000100000110100000110011101101"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"01001100100000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"11000101100001000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"11111100101001000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000001",
"01011111100110101010011110110011000011110000100001001101",
"10000100110000110111010001001010000111010000000000001001",
"10110101100010001100101111111010110000100110010111101001",
"01010101010011111101100010111111011000011111110011101110",
"01111001000111010100011010011110111010000110101001000000",
"00000010000000000000000000000000000000000000000000000000",
"10100011101101100011011011101110101011110100000111001010",
"10101010000001000000110110000000100110000110001001111101",
"10101101001010000001011001110001100011111000011001000111",
"01000100100101110100111110101101111111111101110101100001",
"00111010000001101000010110001010111110111100010001110110",
"00111010010111000010101011001101011001110100010110111010",
"11011000001100111000100100011111100011111010001011100001",
"11010010000111000111011010001100001001110011100100111001",
"00011101001000010111001100011111011110101101101101100010",
"00110000010001000111111000111010001111110010001010100100",
"10000110110100001110110101100001001101011001011010111110",
"00000000010000000000000000000000000000000000000000000000",
"01101101101010101110110100011010101110100101111010011011"]);

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