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

F:=GF(2);

x:=CambridgeMatrix(1,F,164,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11101001000110000110001000010101000110000001100100110000101110101000111100000000001000000010000101001001000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"11000101110010110101100111011010110001101101011010000100010011000011010000101100000000000000100001000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00111011000111010111011011111110000110011010011110011010101100111000100011100100111010010010000100001001000000100001010000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100111000111001000011101110010010011110010101001100101000110010100001010001000110000010000000001000000000100000010010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11101100110001100101110000110010110000010110101010010100010100010110100101100100101001000000100100000000010000100000010000000001000000000000000000000000000000000000",
"00111011101010101001000101101010011011011111110011011111111000011111010110010111001010110010100000000001010010000001000010001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00101100010101000011011000100110000100100011000110001010110011101001010011000100100010011010100001001001000010000001010000000001000000000000000000000000000000000000",
"11000001101111101111111000110110101110100111100100010001001011000111010110010000001000000100000001000000010010000001000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11000001000011000001111000101110111110100010010101010101101111001001000010000001001000000011000101000001000010000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00111110110001110000010111001001010011101000010001101110011101100100000001010011100010010000110100001000010000000000010010001001000000000000000000000000000000000000",
"00000001001111011011010110101110000001000110111100011010100000100110100100110000001010010010001000001000010000100000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11111110111101111010011010101001010100010010011011101100000100011100000011110101000010000000000110000001010000000001010010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11111110010001000001111001101011100110111111110000110010111101110110110111000000101000010010100100101000010000100001010000000001000000000000000000000000000000000000",
"11010110111101111010111111101100100111111011010110001000001011010000010000010110000010000000000001010000000000000000000010001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11111110011000011001001011100110011100111011101110000111010111111000010111100100000000010000100101001101000000000001010000000000000000000000000000000000000000000000",
"00101101110110100110000000111000011010010011110000001101101110011000110101000000100010000010000101000011000000100000010000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100111101111110111010011101100110000101011100100000101110001111110000100010000000000010000101000001110010100000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00101100011000011001100110100010100011010111100001001000001100110011110110010011100010000000000100001000001010100001000010001001000000000000000000000000000000000000",
"11111010101000101101000000110011000010010111001001110010001110010110010000110011001000010000000101000000010100000000000010001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00101100011101001110011100011100011101100000010110010101100101101101100000010100001000000010000100001001010011100000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11111110111101101011111000100110110100110111001100010110010011111110010001100000001000010000100001001001010000010000010000000000000000000000000000000000000000000000",
"00111111111111111110110011110001101000111110001011101001100101111110100001110101000010000010000100001001010000101000010010000000000000000000000000000000000000000000",
"00000100011001011001011010000110010100010000101110000110010110111000000111110100000000010000100101001001000000000101010010000000000000000000000000000000000000000000",
"00111111110010100000100000000000100010000100000010010000011110000110100001010100101000000000100101000000010000100010010010000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11000101111011101101011101111011011111011111110011101111101000011111010110000101000010010010000000000001010010000001100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010010100001100001011000001011010100100001010010100100000001000000010000010100000000000000000000000000000000000000001010000000000000000000000000000000000000000000",
"11010110111101101110010000010001001010010101100011100001101000111110110100010101000000000010000000001001010000100000000110000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000101011111001110110001011001110000101000110000111100110001100000000100000000001010000010100000001000000000000000000001000000000000000000000000000000000000000000",
"11101100111001101101010001010011000010001000000010110000101000000000000000000110101000000010000000000000000000000000000000101001000000000000000000000000000000000000",
"00010111111010101100101100011000110101000000010000010110100010001101000001010010101000010010000001000001010010000000010010011001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000101100111010100111001100101011101000010100010001001101000001000001000010001000000000000100000000000010000000010000001100000000000000000000000000000000000000",
"00010111010010000001100001100011111000001011100011100101010010101001010100000111000000000000100001001001000010000000000000001010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11000101010110010011000010001111010000100000111111110110000101001000000101100111001000010000000100000001000000000000010000001000100000000000000000000000000000000000",
"00101000100001100001110101001110110001001101110100010100100100001010010111000010001000000010000100000001000000000001010000001000010000000000000000000000000000000000",
"11000001001110001010101000001000101110110000011001010011001101110101000010100011101000010000000100001000010010000001000000001001001000000000000000000000000000000000",
"00000101010111010111010111010110000001001101100101010000100110001010010111000011101000000010000101000001000000000001010000001001000100000000000000000000000000000000",
"00000100010100000011100001100011110000011011100011100100110000110100110101000111100000000010100000001000010000100000010000001001000010000000000000000000000000000000",
"11111110111100101110101000010001111110000101000011101111011000000010010001000111100010010000100000000000000000000000010000001001000001000000000000000000000000000000",
"00111110111100101110100000011101100000010100111110101000100110111111100110100100100010000010000101001001010010100001000000000001000000100000000000000000000000000000",
"11010011100110110110101010111001110100010110111010100110010100111011000110110100000000010000100100001001000010000001000010000000000000010000000000000000000000000000",
"11010111111111111010111110000101110111110101001100100110101101011110010011110000100000010010000100000001010000000001010010000001000000001000000000000000000000000000",
"00111010000001000001010001001111011000011100110101110111010010011111100101000001001000010000100001000001010010100000010000000000000000000100000000000000000000000000",
"00010010100101100111110100110110101011000010001101001001101000000000100000110011000010000010000000000000000000100000000010001000000000000010000000000000000000000000",
"11111010100100100011000000101111000000010010111101100010110010110101000100110001100000010010100001001000010010000000000010000001000000000001000000000000000000000000",
"11010011001011001000111000001001111100100101110000110111000001100010010111000010101000010000000000001000000000000001010000001001000000000000100000000000000000000000",
"11000101111010111000101110001101110101010001110111111110100010110100110111010101001010010010000001001000010000100001010010000000000000000000010000000000000000000000",
"11101100010100010111100010010011110010100001101001111110111001000000110100110001101010010010100000000000000000100000000010000001000000000000001000000000000000000000",
"11000000100000110000100011101001110010111110110011110100111011110010100100010101001000000010100001001000000000100000000010000000000000000000000100000000000000000000",
"00101001001011011000010011000101010000011000101101111110010100111000100110100001101010010000100100001001000000100001000000000001000000000000000010000000000000000000",
"11010110010101010111110111111110101011101010111101010001111111001001000101110001001000000010100101000001000010000000010010000000000000000000000001000000000000000000",
"00111111010010010000100011001000100010011001011011010010111100110101010001100101001000010010100100001000010010000000010000000000000000000000000000100000000000000000",
"00010111110011110000010011101100001010111010111110010011111111111000000111100100101000010010100101001001000000000001010000000001000000000000000000010000000000000000",
"11000101110011110000111110101101100101100110110111101000010011101110100110010111000010000000100001001001010000100001000010001000000000000000000000001000000000000000",
"00111010001101001011011100101011010101010010010011101100100000010001100001000101100010000010000000000000000010100000010000000001000000000000000000000100000000000000",
"00101101110110100010000101100100010001011011100111001100100010111101010100010101100010000010000001001001010010000000000010000001000000000000000000000010000000000000",
"00101100110000100100000101010001010001001100001011111100100110101111000010100111001010000010000101001001010010000001000000001000000000000000000000000001000000000000",
"00010111111010101001000101100010011011101010000000001111011011000100100011010000100010010000100001000000010000100001010010000001000000000000000000000000100000000000",
"00000100111000101001001100001010011111100000110011001101011001100101100101000111000010000000100000001000010010100000010000001000000000000000000000000000010000000000",
"00010011100010100000000101101100011011011110011100001111001000010011000000100010000010010000000000000000000010000000000000001000000000000000000000000000001000000000",
"11111011001110011110101010111101111100010011110101101101000000010101010110000011000010000000000000000000010010000001000000001000000000000000000000000000000100000000",
"11101100011101011110010010110000001010000110001011010001101000100110100011100111001000000010000000001000010000100001010000001000000000000000000000000000000010000000",
"00101000001001001101011100010110000101010101100110001010000000011010110111010110000010010000000000000001000000100001010010001000000000000000000000000000000001000000",
"00000100111101101011110001000011110000101000100011111100110101100100100111010111001010000010100100001000010000100001010010001000000000000000000000000000000000100000",
"11000101011010001000001000101001001110110010011011110011111101110101000001110101001000010010100100001000010010000000010010000000000000000000000000000000000000010000",
"00111010100000100101101101111111110101101110010101111110110011001010100011000011001010010010100001000001000000100001010000001000000000000000000000000000000000001000",
"11111111010111010011110011101111111000101111010110101101100011001111110000000110000010000010000001000001010010100000000000001000000000000000000000000000000000000100",
"00010010100001110100010010110000011010110111101010000101011001111011010101110110100000000000100000001001000010000000010010001001000000000000000000000000000000000010",
"00000000001000001100100100110101100011010110001110100010001110110110000000110110000000010000000101001000010000000000000010001000000000000000000000000000000000000001"]);

y:=CambridgeMatrix(1,F,164,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01001100100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"11101010011010100011101010001110101011100111010000111001010111111100100110101100001000101110101001111010001011001010011110001011001010101000110101101100110111000100",
"00101010100111000100010001001100000110110110110100001100110011001000001000111011101100100110010010010001001110000101100100011111110001000101011110001110101111000010",
"10111110010001101011011101010100111110000011101100000011000110111110011100110000111110111010000011100010101001110001010010111010111101010110000010010011011111000000",
"11000011111101010011110110000011111010000001111101101110110000011100100001010111001101011001011111000101100100011001100110001010100101101110011011110010110110011100",
"00110001100101100001111000001010100011011011111101000100011010101001100010111001101011001100101110011010111110010101111100100110011101111110010000101111100111011010",
"10011101110100110010110110001000111010111001111110001100010100101011111011110100010100011100001101110010110101011010000110110110111001100010001101101111110100111110",
"10001010010100111001111101011010011010010101111110110101100100110000000011101010000111100001101000000010101101010000110101100010110100100001111101101000000101000011",
"01010011111001010010100101111110111100110111100010111000011111001000110010000010000101101001000001000111000000000001111100110100011010101001101100110101101101111111",
"11100110100000110101110001110110010110100100100001101010011111111110000111110001100111100011000110011100111010110001010100000100001001011101000011101110111101110100",
"11011001000010000010001001000001111100100000011111111010100100000000100001101011100101100101001110100110000010101010000010001101111110111101111110001011110100101010",
"11011100110110001101110011000101110010100001111101100110110111000011111100110101100001101011101010000110011100101100101011111011011111100011110111010101011011101001",
"11101001101000111001110101100001011100000100010011010001100110010110101010101010011011110110110110101110110110000101101001001011001111000101010110000101110000111110",
"11001000000110010100100011001110010001100010100100110000100111100011100111010010011010001101000011001111101011001110010101101111111000111011111101110000001110001011",
"11110011111010100100110001101011001111000001101101111100100100110011010000101000010100101101011101111010001001110010111010110100011001101011001100110101101101001111",
"11101100110110110010100011010001010001111100101111111011000010010111001101011000100000101110100111001111001100001101111000010101100011101110001010011100101010111000",
"10111000011001000011011001101101110100001000111111010010101001100110010100100101000110100110111110000010101110111111001000110000001100101110000110011100011000010110",
"01111101111001000001000001111110000011100011011011000111111000101110010000110010010111001011100101100000011101011110110100100100100100000010111010010101000111000100",
"10000001001010100100010000000100101101000001000001001110101101101011011010101000111001100100011111100111110010111100010010010110111100010011100000110001100110010001",
"00101101010111011101101101001011010100011011101001101110110010011111011101101110101111110101111010001000001100011101111000110001111011011001000100110110100111111110",
"11100101001001001000101000000111100001101001011100011111111111100010000000100111000010111110100110100011010010110110000011110010100101000010010010010110001000011111",
"11110110000101110101000010001000110101000100011101011010010100011010101001000100111111000011000001101111011000110010101011111101000100100110000001100110001000101000",
"01000100110010001110010110100100101000100010100100110101010110110001010100101111011010100001010111011010011000101001010011011100101011111110110100000110100101010010",
"01010011111001010010100101101110111000111111101010111100010011001001110000010010001001100011010011000111001000000101110100110001001010001000100100110101101101110111",
"01110011101111010100011000011100110001000001101010110101011111000000100010011011000010111110101100110100100011011001101011101000010010111110001010111100111100010101",
"01000000010010000100011101100101111110111011010011100110101111001110100110011011011110111101001111001111011101011111001011011011110111000110110011101001011011101010",
"10001010100010101000110111110001000100110000010111010011000110111110111000010101101110000011010010110001110010100110001010100001100000010001000001001100011001010010",
"11100011110110001010111010110110000001111011111110001011000110011100100110111010111010101011011011110000110011111101100010110110110110101011100100010101111010000010",
"00001110111000001001000001111111000101111110101110101111101010010111110111000111101111101110000000000010101011010110110011110011110101001010011000010100001100011101",
"00010010000010101100000111110011101010011100101011101110001100100100010000001100111110110000000110011110100011100101010111011001100000001100100101100110110001100000",
"01110111011101000100110111100011011010011110101100010100111001100101011010111100010011011111100101101001000001110111101000000001011000000001010100011100000000001011",
"00101000101111101100110100110010110011101010011010111001111101111010001101001011000111010001110100011000101011010010101100101100101001011110000001111111100110100111",
"00101101111111100100001011001100100001111111011101101001010101110011011010111101101011101110110011000001111010010100011100111001011010010011000100110011100111111111",
"10000000101010010100001111110101000110110010101101000011110011111000100110010110001100110110100010001011010010010010100001011010110101101010010010010010001000010101",
"10100111011001001011101000001000101010111010011001010101100101010011111000110000011010101101011100111111111001111000111100111011010101110011001101110000010100010010",
"11100011111001001100001000001111101011111000101000100100110001100010000011010110100011001011100110101111110011101010100110010101100110111010001000100010101010100000",
"00000010011010100011011111100001100011001111100111111000101011001101000101001101000000111001111101100010001011110110111010010101111101000111100111011111011101001100",
"01001101111011010000110000111010100111001000010011010011110011000100100000100101011000001100101111001100000000110000101110010011111101001111000111000101011100011110",
"00110010110001011011110001100011101111001011000101010100110000000000110111000100000100100001111101000001111100010011110011001100011110011111110110000011111101001110",
"11001110101001000001101110101111010010110110111100100101000100111000001001111001100001000100101100001000100101001100001011111110011110100001010011001000011001101111",
"11111101011001000000011100010111011110111000101100100011000111111110100110111111100101101001111111100010010001111000100001000101011001011101011011010010011110111111",
"00111100000101100101000111011111010100001101111001101111011000111011011100000011110011111010000101100000101100000101100000000011001110010111011111110110000001010110",
"00001110100010111001011101010111110101111010000111010001111101011001001111111000100011101001110010110010000010101100100100010101100111111100110000100100110000110101",
"00110101000000111011000001011111100001011100010000001111011101010110111001111111100000000111001101001000110000110101011011001110011000001101111101001011110001001001",
"10001111111101010111011010101100000100011110011011100000001111100000110000111101101001111000000001010001100010010011111111111100011110110000010111001000011010001010",
"10101011001000100111100100110001010100110100011110000000001001000101010101001010101001011001101010111101000111100000000110000100001001110111111111011011010010000111",
"01110111101111010111011100110111100011101100010101001001110000111011011100001111101000001010010111011010000010100101111011110110000011000010011010101111100010111110",
"00101100100000001010110001110011000010000000011110110101101000011110010110000110101011110101010100011001101100110111111001001110110011110101111110111111101000101010",
"10000110100100000100100110010101110100111010010101001110101010101100011011001011100100010001011110010011110000100011100111100110001110111010101110111100010101111110"]);

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