/*
www-ATLAS of Group Representations.
O10+(2) represented as 164 x 164 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,164,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01011010000101001011101101010001111111001001000100101111000110101101110010111110001101100101001010101100110011101011100001101011101001000111101111000010010111101111",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01010111000110001000100010010110101101001100010110111110000110110001001100011001111110000011110010101011010111001100000100110010000101110101100110101000101101111001",
"00100011100110000101000011110111010000100111011010111000110111001100111100001010011100000110011000010101111011011101110100101011111111000110011011111100101101101010",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11110110011111111001101100101001101000011110000100001110011000000101001101111011101001011010011000100100001111000111001100010001101000110011000011101010111010110111",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10110001100001110100110101111110101001110011100001100000001101001010111001010101100001000110010011001011000110101000011011001001010101101001101111011100011101110010",
"11111010010000100110001000011111000100110100011110111010010001010011100011101000111010010101101010100000000010101000101000000000010100000000000010010000100100100000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11101111110011110001001111001101000000111101110001011001101111000011010111001010010110000100010000110100110001111000011001111000000111110001010000010100010111011111",
"00001101011010101011111111100110101000110010111010110100011011001011000011000111100011100110001011010101011110000010101101011001101000110010001001101000111110011111",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01001100110000000110010001011011001111111000110000101111001101010000100110110011011000111000110011001000011010111111100110010000111001011011101110110100000111100110",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11100000110010011100011100000001011101101101111011010110110111110100011011010111010111100101100101110011010111010011111111101010101000101010000010011100101010010111",
"10110100000100100010101011000000110100010101111011110111001110100001110001110011111101110011000010110100000100111100011001000011010001001000101101001110011101011001",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010001001110101100010100101110000010011001011011001100100100100010011111001100111110001100001100001111000101110001111101001000111001100011001100010100111111110",
"10001100100001100100101000011110100011000000110001001110011110001101100111100110001100010100001000001011001000111111111111001000111101111010100100110110100011100111",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11100001111100010101110000101011110000011011000101001101000010000110010101101011011001110011000001001011010111010111011010100110101000001010000000011100101010111111",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01110000111111011111010000110010011010001010110100101110010000110010101000011110000011010011110111000000000110111000010011001010000101101001101101001100011101110011",
"00110010001011100100001000001111011100110101010101001010000111101011010011000011011111100010101000110000101010101110001110001011110011001100011001110010000111110110",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01000010001010101101011101110100000010001010101110001100001110000000001110011101101100000100110010111100011010011011110110011010100101111010100100110100000111001100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00011010110001011101101101101011110111010011101101011111101110100111111010011011000100000001011101110001010101110011110011100010101110101111000000011110001010010110",
"11010010010111011110010111101101001110101111111111111111010101100010010101101000001011000001001100110111011011010100011111110011010101111100001011110100010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10111000110110101110110110101110110001101010001110011010011111001110100110100010000011100000011101100110111110010010010100001010010010010001110100101110011110001110",
"01011001111110110110100101101001100100100110000000011111110101010101001100010011001011001001010001110101001111001100000100110000010001011001101110101000101001110010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10010000010101111111101011000011100110001000101010111000110110101100000100010110000000010110110000101100010001001011000001101011101001100000101111010000110011101111",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"11000101110101100000111100101011110111000010011111101100101110001000100000101001100010101011011111110111000000100000000000000000010000000001101000010010100100101011",
"00100110000010010111101101111001100101010011000101111100110000110111010101100001101100000111011101101000111101111001111100101001101011000110001011101100101101000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"10110100010110000011101010001010100110111100000001100011110011100001001111000011000001011101101100100100000100011000111010000011000101101001100011001110111001010001",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"11100101100011010011101011101010101001101010110110100000111111111100000110010001011101000101110000001001100011111010010000111010000111110101010001000100010111110101",
"01111100010100111101010001000011001000000000110010100101111010100110000011011000101001110010001011011111111110110010011101001000000010000001110100001100011010100110",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"10100100011001011000101100001000100010001101100010011000111000001001111010011101000111001010100010111101110111000010000010110011000110011000110111000000001010101100",
"00100101111010101001110100001100111110010101111000100110010000101010010111111101111101111110100101001101110011111010011000110010010111110100011000010010010111110111",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"10111000011001001100000100110110001100000110100100011111100110001110000101101111000001110111100010011001001010011111011111011000111101011111100100100111000111101110",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"10010000110010000001010110100010011110001011111100000111101010100110011000110111011001111011001001010110100101100010100010110001000010111001110111011000111110001101",
"01000111100110100101111000011100101001000100011110001111100100000011001010001001111100111011111011111100011000011011110111010010101001111011101110100100101111001100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"10010011000000100000100100000010101011010000100000111110000010000101000101111100111100110011110011011100111011100101101111100000101010101010110100110010010010011001",
"00101111000111111100101101101001110111100111000111011101001101111001110111111001010000110110011100100110000101110111111011100000101000001110000010001110001011011101",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"01000011110001101111000011101100011000110110000000010001111111111000101101001110000101011111000101001000101110010110111100000010010010100000111110111100111110111101",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"11100111101001100101111101001001100000001100111011111110101010101010001110110000111111101010100001110110011011010000110110110011000000011101000011100100110000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,164,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"11011010110110000010001111111110011100011001100100111110111101001000111100000011000001000100011110110101111001010001111100010110111110000001011000010001111111100000",
"00110110101101111101110100101101011000110011111101111110111100110110001010001001101101011110001111100110100110001100000100100100110011001101010111001110110101010110",
"01001111000001000011001110100000001110010010111101001000000000100111011110111111111100011100010110111001000011110011111111001100011100110000000101010000011011101000",
"11110110110110111110101111001001100001101110001011100010101000101001101011001011001111101101011010110000010011111111010101110000101001110110010110000010001011001011",
"00001010110001110101001100010000010110110100010100110010010010110000111111011110100110111100000110110010100000111101001110000100101101010000101111000110001001000011",
"10100110101000010000100111011101110010001110011110011111011010000000101110001000001010101010110001110101000000001100111000010000011100001111001000000101110010111111",
"01000110100000001010010101010000100110100110101011110110110001100000000000000100110010011100001000000110010110000101110101101000001100001100100001100001010111001101",
"11111010000101101000010001011011100101001000001010000000011000111010011001101001111011010001010011000001011001011000110100001001111000101010110000111110010111000011",
"00001000110111101110011101101010101101110010111110000110001100110100110010011000011001100101101101101001001101111100101110110110101000000011110100000000001001000100",
"11000000110001010100101111101100001000000010111100001001100111110111011011011100010010101110011011100000010101010010001010101010010110011111011001110000100111011011",
"11101001111110101010101111001000101110111011000101100111101101010001000111101000000111111011000010101010100100111011000010001011001110011011000000111011000111110100",
"01101100111011111011101110001100001100111000110010101110001100111100010010000100000010011101011000111110001111100000001010011100101111011110010101001010111101000000",
"11011010111000001110110110101110010100101001100010110010000010100011000001011011111000000111100100010100001111111110001111010110110100011100101111111000111010011100",
"11010111000010110001110111000011100111010100111110001000000011011111011100011011101110001000110110001101001011001000011011001110111100100011000000100011101010010011",
"00111101110100110100111011001100110010001000101110110111000100001101000110100011100001101010101001111101010000010100110110010111111001001101111110000111011000011101",
"10110100111101100110011110010010111100101011001100011100110110011100110111000001100110101101011000111101110010001101101111101111111111010001101011011000000001100110",
"00100000101100111101100001111100101101100100111011001000110101011110110110000010001110000110100010100100000010000101110010111011111011110010001111101011101111000010",
"10000110011011001101111110101111000111010000011000101000011100000111111011110011010001010010000111010000000010100010011110011100011000110010010011111010010100110010",
"01101001110111110001001111000011000101000010100010001000100000001110011000110010110001111101101010110001000000111001001001110101111111000010100000110111110100100111",
"00101100110110110100001011110100000111101010110110111111001000111001101011011010111100011111100001100111011010100100010101011111000110011101100001001100010011111110",
"01101111101010100001001101110000001001011110111001110000000110101100110010100101010110011000110010100101010011101101110110010010011010011001100000100101001111111010",
"00000110110101000100110000010111011000110111110010110100100010001101101101100100100110001000101001101111100100011000111111001101101101000000111011010011100101010010",
"00011100100011001101001100001010101010111111101011101110111000010100010010111101010000100011011010010111000000100010111011111010011010001100010000101011110100110000",
"10011111101111101001101001111111111110101111101100011010001111110111001101011000010011110110100110001011101110010100111110110111011110010010010001001101001111001100",
"10100010001011010100101010100110101010000011011010011101101110000001101110110101000011001101101111101110011111011000101101111100000100100001100011110001010101110101",
"11111010111101100011010011000010101111000001011101101101100001001011011000001001000101000010000001011000010000011010001010011101111110100001100100110010010010010111",
"00111000011001111010010100000000111100001101000111101010001001100011001100110011011101100111110010110000010000100000110111110110010001101000010111110111111110101101",
"00001010101000011110010111111011010110111011100100110111011001111110101000110110100000011011011001101100000000110100011111010011010010000011011110010000100100001110",
"11011111000010001101011111111001101110001001111111111011010011101011011101000101010110011110111110110001111001010011011010011111000100111011110100011100001111011101",
"00001110010101111001011010011000100011100101000110001110011010011111001100011101000110011111010000100001011111111111111000100001000100000001101111011110000100101100",
"10011011100111110010001110100000100101100001001010000010100110010001100010011111111011101111010010000000001000010000011001100111111010000001011010110110100001110011",
"01100111010100110110011001011010001100100110110100101000010000111001001110001110100110111101100101001111110110110111010110101110110100100010111101001001110011110000",
"01101001010001000101101111100011000000000011011000011000110100001110110111111110101001101001110011110000110010000001101110100000011110111011000010111011000000110001",
"10101011001011111100000011001111000000001000110011001100110111000001000011110101000101101100011110111111011101000101111111011110110101000001000010000111000010011101",
"01010100100011010011111100101011111011110100101000010000100100010100100001111011011010101010010101011110100001111000110101010011110001000101010011110101011101101101",
"10101001101100001001111110011011101100101101000001011100101000000111001001100100100101000101010000001111100010000001110010110101010101000000000111010010101010100110",
"01110011110111111111100011101110110000011100100001001100111001100111100001010100000010110001001101010001000111011100100101010001110011101011100010001110110110111000",
"00011010100100100001000010011001000100000100000011001100111000001001010010011111000111100100101000010011010110111011010110101010000101001010010110110100101011011101",
"11001000110010111110001110101111001011100100100101010110000001110110010100000010110101101010000001101101110000101100010101111100111010011101010101001110010111010101",
"00101011001110001001011001010111111001010111101001101010011010001111010010111111010100111000100101111001100011100001011001110010010100000000010001101101110011000001",
"11111111000010011001101111000110111110100100101101010011110001001111010010110010011000000111111101100010000110000101110000110011100010110101110000011001110101100110",
"10000001100011000001101110011111000001011100010011100010100110110110111011000000011000100110001101100011001000001110011111000010001001011110011011010010010011000010",
"10001010101011011010111110111111100100011000000111100100111011001000011100110000011010111101111111100011010111000011111101111111010011110010010010010010010101000110",
"01110011010110101000100001010011000111000000010100110110110111101101101110111001000010010011011010101000111001110010000001001011101000001111001001111011101001011101",
"11111101010110101101110000001010011010010101110010000101011100101001101010010000001000001111110100000110010001001000111110000101000011000001000100100001010100111111",
"10010101010100000100100011011010011001011010100010011111000011111110010010100111010100011000101000110110010110101110010010100100001110000110010000011000100100010101",
"00001011110010110010010101011010100010101111111110011011110101110110111010010001100100011111101101011001110110001111110011110011001111011100101101011100101101001001",
"00000011100010101010100110001010000101101011100011111010100000110111010011101101010100001110100011001111010011010000111111101100010010110110000100101101010000101011",
"10101000110001001100100001100001000111001110010000010001000001010101100011010001010001001000010000000110110111010110011000000100111011011111110001001001111011110000",
"00101110101010000101001101111100001111011000101010001000101001001100110100001111100101001001110110000110111001010000111000001111010011111001000000111010010010010101",
"10111101001110110010101101001000101101010110110000111001000010011111000100110000110111011100010001000101101010010111100010100101011001110111011011001101001000101010",
"00111111100010001100000010000010001101111010110010101100011011100001100100001011110010100001001100100111101001001110000011100000100100000000101101101111001100011011",
"00010101111100111010100000011010001110101110111100000000001000110010110000010001001011100111110111010110000100000000001000110001001010011111101111000100000010011110",
"10111011011101000100111111001110110111100010110001011011111100110011110100010001001100011010101001011000111001110111110001000101100101001111101010011011001000001110",
"00111011111110001100100100111111111011110111110000000100011001111111000011100011010000001010110000100100100100110001110001110000100010101111000010110011000100111010",
"00010110110011001110110100010010010010111010100110110011010111100110010100011110010001111100100110000111011100001111011000010000101111100010100101110010110010000101",
"11011001111111001110000110000001101001100100110100111101011111100010111000000100011101110011110111011011110110101010010010110001010110001010010010110001010111010101",
"11001110001001000111110011010100000100110110000110010110110010010110110100110000110111000111111000010000010000101110000011101000101101100100001100001101101001011100",
"11011111100001110100111111101010100011110010001111000110001110110100000110111010111010000000100110111101100011000010001000011010000101010010011000001011001101011101",
"00000000101101011100100111101011100110010110111011001111101001000010011011101011011010111110100101111111111010111101000111101100110011101001110100110111011100110110",
"00100010101100111111100001001010110110110100111011010101110111110010000110100010011011111000101100010001110110101100001000111010011111111110010011000001110001100001",
"11100010111100111110100011101111101001001011011111100110111000011101001100101011010101000101110111110010011101110011001010101101100101000010011101010000101011000010",
"11110100111010110001111000111100100100001011000111011010011000110001100010001110011111010111100011100010111111111101010011000101011111101011010011110001101100100010",
"11111111111010001010000100011111000001000111111100010001110010001111101110011111111100111100111000100101010100011000100101110101011110110100111001101101010111001110"]);

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