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

F:=GF(2);

x:=CambridgeMatrix(1,F,112,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000010000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000101001000010010000000001001000000000000000010010000000000000000000000000000000000000000000000000000000000000",
"1111010010100000101000000000010100000000000000000101000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000010000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000100000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"1000001000001111010011010011000110100110010101011000111110011110110000101011000000010101000000100001011010101011",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"1011110110011110001110010101110001111011010111010100111100110111101000101111011001100010111001001001100100111101",
"1010100011100100011001000010001100000000010000100011000000000000000000001000010000000000000000000000000000000000",
"0111101100001100010100101101101100110001000110100101010010000110011111100011110001011001001100011101110010111100",
"0000100001000000010000000000001000000000000000000010000000000000000000000000000100000000000000000000000000000000",
"0010001100010000110110111101110011000101000111010101110110101110011101100000001110011110101101010101011111001100",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0101100000100110001100000111000110000111000111011000100101110111011100010000110101001011011010111011101101000110",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"1110111010100010010000000110010111011111010011001101110101000101101000101000001110000110100011110111100101110011",
"1111010111001010101001101100001010100101001000000111111000111000000011000111000100100010000010000011111111011011",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"1010000001101011110000001001010100110000000001100111100111000000000100111000010011110001000010111110010111100000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0010111111000000101001111101010111110111000110101110010110110111110101100011000101101111111010011001000100111000",
"1101110111011101110110100011000111010010111000100001011111100001100100000010111001111000001110011110111110000011",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0101011001100110010010100100001001111001101001110011100000011101110100010100100101000110100001011001101110000110",
"0111110110111010010110011010011001111010110010100010001101110111010001101101111111101111000001101110100111011000",
"0001000010001010111101101100001000010111101111000010010111101110011100010110000110000101101000011100100111010001",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000111001110110001101001000001101010010111110100100001010110110011110001100100000111111010000110110001101010101",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0001010101010000011110101111110010101011000000110001111010011100111010100000000000010001110111001000100001011101",
"1001010011011000110100111101101011011111011101010111010010101011011110111000111110000110011111110010101111110011",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0100001100011110111000100111110110001011000111011111001110101000010101110111110101101110011010010100011101011011",
"1011101101100110101001000100011001010011111100111110101001011000101001101110010010010101110001010111101000010101",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0010111011000100011110011101100001001101110000010001111100000111110001011000101001001110111101110100001001111101",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000100000000000000000000000000000000000000000000010000",
"0111100110100100111011001011000010100000010000110110110110000111101110010010000010100011101110110001101010110101",
"1011110010000010110011011100011001000111000100011001000111011000001011010000111000110001000000010010001001111000",
"1010000010001010111101110010010101111110111101011110111100010111100101100000100111001101101111111111000011110010",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,112,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1010100100001000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"0101101101101010101111111101011010100110100000000101110110001000000011010101101001101101010000000111001011000001",
"1011101101000011001000001111100110000010010111100001000101110000010010011000111001011010100010000000011110100010",
"1110110011100011010011000000100010010110110111010110001001100000000101101000010101101101110001011101011000111000",
"0001001001100100001000011110111011001101000101111001001011010000111000110111001000011011010001011001010101010011",
"1101101100001001111110111010100011100111100010011110100110110010100001111010100011111110000100000011100010010110",
"1101101000001110111011001110101010010100001010001010010101011111010101010100010111101111010001010100011101110001",
"1101111001111110100010011111010000000010010100001011111010011110100000011001000100011000001100100011110100100011",
"0001110001111101111000011001100010011010101001011010001110111111110101100110000010010001111011000011000011110110",
"1111110010111111011011000001111011100010000011101000011110100010010001001101001011011010010011100001101110010011",
"1100100010000100111111110011000010100010011101000000000001100011000010011110000111011110100101000011100000100100",
"0111001001110110101011000100110011001110111100010100111000101111100011001001010000000000111001110101001100111010",
"1111010101101011101100100110010001111101011101101000100110010111000011110000100110111111000110101011101011001000",
"1111110010110110001110010011010101100101001000100110000111000110100101100001001011110000101011111100111100010100",
"1001010001000111000100110001100101100000100101101111111000000000111001100111110110010101100101000110000101010000",
"1100001111010010010011010001101010110110100111000110000111101000000101110010111000101111110000001100011011110001",
"1101100001001110110100010110100111010111000010110001111111100011100111010111111000100001101000010000010010111001",
"0010001010111010001001010100000011101110000110100010000001000101001000000110001000111101100000101011010100101001",
"0100110000001110110110111011001100011110101110101010101100011010111101010100110010001001100011000111101001010000",
"0111000110101011110011110111001111011000011110000001110010011000000001110001111111001101010000011111100000000011",
"0001011100011101000000001110110001100101000001100010010110011001110010010001101010010001110110100010100111100111",
"1010110101101101110000101100000110000001001111111000011101010111001001010101000011111011001001111111101001010111",
"0010001110000101110110111011011010010101000100101101000101111111110000100011110101101101010000001110000101010001",
"0010101001000100000000101000100111011101011010101001011010010100011101001100100000010100001100011110011111110111",
"1001001100100100011101011011110001011100010100001100000110000110111001110100101001100110001111010101100101010000",
"1111111100110010101100110111110110101101100110010101001110000110111111110111010001000111100110001010011111101110",
"1100011110011011110001000000111100111100100010101110010000011001111111011001110101001010101111001101000111000001",
"0110110101000100111000110010110110001111000101101100101111111101001101101101001010010000011111100110010100110010",
"1101100001111111000010100101101100101111111100101110100111000001000000111010101011100101111010000110000110000011",
"0111001000010110010001100011111011111101101110011001101000110111111111100000101111111101111100110001011101000011",
"0001010111010100011011010010100010101100100000111011010000010110101111011110101001001011111011011001001100000100",
"0000010111000110001111010000110011101000101001111001110010100101100001111000110000111011111000011011111101001001",
"0101000000101011000111100001010011100110110001100010110110100100000001001011101101011001001111101011010011111100",
"1010100101111000000111100011011101010011001111101100111001111010100101111000010010001111111110011011111010000011",
"1111011000001101111010111101001111001110000111101101110100110110010110011111101010111100101010000010011111111110",
"0010100010000101000001010001110010000011011011000111110000000001010010101100000111010011010010101101101000101111",
"0101010011010111101100010101111001111101000111000100110101001110101000001110010010001100100100011010110100111011",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000101011101011101100100111010000101010110110101111011111111010100001010101000011011110010110110111110110100100",
"0000000110110010111000100010110101110101101111101110101101101100011100100111100101001100001101000011101010010100"]);

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