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

F:=GF(2);

x:=CambridgeMatrix(1,F,200,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10101111011000011101110000110000111111110101110100101011001000111010110110011010101100010010001101000010111110010000100101010010000011011111010010110101010101011101010011100110001100010001100110111110",
"00101001001011011000100101011010100100011010000001110010100101011011111110001111000111001110001010010011111110010010011000100100101000011000101101000101001010010111111010110011010100111100100100011100",
"10111111101000100111001101000111101101110101000100001010001011010010110001101000001011000111110101110111000011101101000100100000011100000100100000011100011101001000101101110111110000110110010000011110",
"01010110000100011011001001111010101011111011000111111001110001001010111011000111100111111001000000000011101111010111101110000101011010101111010000111100110011110010101011010001111011010110010001110101",
"10000011011010000111011111100111000110011010010111101101110100100010100010101110100000101001000101101110000101011101010100001001110000100101110011010001100011110101000011001111011100110100011001111000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00011101111101111100110110100001010011100010001100000110110111101101001100100001000111110101100001011001100001111000110100111000001010111100101100101010001010101100001110010001000111000011110010010010",
"10010101110101111110011001110010010001101000001101011111000101000111011000010010011011111100100101111001100100001101111111110011110000011101101000000111110011010111010100000111101011110001111110010110",
"10000100100100100000011010010001100110000100101000000000011111011010100100101011100001100010101111000101000011110000011011111100101111001001000111011011111010010111110001110000110010000111100011111000",
"01010010101110100010110011011100101010001100100110110001101000111110011011010110110000000011100010110100101110010101011101010110110111011101100111111001101001111000000000110110011110000110110111011001",
"11000100101111001110001111111001111101100101011101000110010000000101110111101000101101011010000010111111001010000100111000001111101000000111001110010000110000110111010111001001000110111010001110000100",
"10011010010011010001100101001100101001001111000110110101111110101011000010101110001100011110000101010110011110101111111110010101011010001000011101101101101111001000000001111011100010000100010110111010",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010001110010011110100000000011010110101111110001111001111100100001111011101111111000011000111101001011001010000101001100101111111000001011001010010000010100101011001111000100001111101010010101101101",
"11110101100100100011100101000000111001110111111001110110010110111000000000001011000100010000010011001000100011010010110110100111000010010001101100101001001010001101110000011011110001110010100000101001",
"11101010001110110000000001011111110100110110111000100011000111100111000010100010000010110000011011110111111000010100011010010000000101111101101101101010110011100110110001111110101110000000101101111101",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10011001111001110010101010000001000001101110001000100011001001100101101101101011010010110101010111110111110001001111110001011000111110010010111010000011111111111010001100000111101101001010000000001111",
"00000110101101000111100011100011111110000001011100100101100001010101110101000111101111100110110111101011111111110111110011100101111000000011111101101001001000001001001001101110000000010001100111001110",
"01011110010100010001001100010000011101010110000011101100111101101011010100001110110110101111111101011111101100100111101101011110001010000111000010101000010011000101100000110011000001010110011000000011",
"01010111011100100001000101111101110100001101000100100010011011011010101110101011111011001001000101010110011010111000010101011110011101111000000010011001110001000011111011001001001000100011010110100110",
"11000011110101101110100011101001101000000001011101111010000000001011010111110100111100001101000100100100101111001111001000101110110001111111101011010010111001100010000101000000110101110111101011111010",
"10101100101000110111111001100101011101001110110101100111010011010110100101100011100110101001010011110101011011100111001000011101110010000101111000100000001000101011110010011001001011010100101011101100",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00101000110010110011110011001101110101000100111101100110110101110101011111111111100010000001100011010110111101011100000001001001111101001000100011110000001111000001101111100101011010100000000111000111",
"10111001111011010101011001000011011100010001011001110001110111000110010010001000100000101111011111000001101100110001011110011110110000011110010011111000001111011100100110010010100010111101100111000100",
"01100110000110101000010000100100000011111010011000001101010001110101001110010110001000011110001111100000110010011010111000100010110110110100100000011101011001001111000000001111101100100000101111011010",
"11101110001111010110010100010011000101001110110011011111101101111100101111000010110110111000011010110010000101111001000000001011111011001011011110110101110101011010100001011010011110001010110110110011",
"10110110101001110000001000110101101001110110101000001111010111001001010010100101010000000000110000111100010100011111001010111110010011100000101001010101010010000101001101101110011101010001001001001111",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000011100011110010011000101101010011100010001001000000101001101101001100000010001010100100110101100001001010010001000101100011001001111101100011101110110110011110011001100011001000011011001100110011",
"11011111101000111000010111001011101001000011001000101001010110001010101001101001001000101001110101010101010100010001110011101111101001010011011111110100100010101111011101111000101100001110101010001011",
"11001010010100011011010100110110100111000100001001010000100100001101011101011000111100100111001101100101110011010010111111001100101011101101100111001000100111100100010010011101010101101001011100000100",
"11010000000001001111011010011101100100010011101111100011111010010001010101100000100111110000001110010101000100001011000100010111101101110110000010110100010100000100100010000011011111111101010101100001",
"11011100001000010101010101101001010101000000100010110000001001101110010100000100110001100110111100010010001001001100101011100101011011001010011011010011001100100111101010011111000010100011000010001010",
"01001010001110010011001001010110011111101010110011110100010011011100010001011010001010001110001011100110100011000101000001111111001000010000101101010100011011101010011111101110101111011110010100011010",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11001110001100111001010111101110010010110110000011000001110000000001110111001001111110100101010111110010011010010100001001111000010101110010010000111001000111101110111100111110111011100101011011000110",
"00100110101000001111000101000101010101110000000111010110100101001111011110101001111000110011100100110000100001100100101101011011110101111100100010000100111010001111011100100000111111011001000001000010",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11010110011100011011110010110101110111111010011010111000000100100111110100110000010010100010110000110001011001110101000101011100001111101110111011101001100011101100111011001100000001010100101001001011",
"01001111111101111001110101110101110000101011001111101001011100000111110001011101110100010010111100011001100101010100111110010000011011100110111000100101000100001000101001100100011000101101111101101110",
"00000010111011101001100101110011000011110011111000111000010001110101100001011110001101100110001000010110101111100110010110110010001110110000001011001001111100101001111101101111011110101111000000011100",
"11011010100111111110001110011111100010100000111110101101101101110110011110001111001101001100111110010110101100010111001100000111111000000110010100001000101011101100111011011110111011101011101000011100",
"00100000100110111110101111110100001011011001001110010010100100111010100100011000101010001101010010100101011010000110000011111111111010000011100010001101111111011111110011100000101011101111101010101001",
"10101101000001100001111110001100000111000001101110011110100100011110101000110011000001000100111011011111001110101100000011100100100100011111110110100101101010001100010100110000011011001110001110101101",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01010011111000001111101010110011000110010111011101011010100110101001111001000001101001100111010101010010001110100011110111000111100110010110010011111010000000101101000111100011100101110011111101001100",
"11110000110011110110110011001101010100001011101111000011110110010100100100111111110100101111111011010100011010101001100100110100001000100100011011100100101100001000100011001010000101011010101000000011",
"01000010000110101010011101010100011111011011010111011101011010100110000000001001011101111111100010001001000010010101101010100100101001100101101010011111100000011110011110000100010111111010111010000101",
"10001110001100100111010110101110101000011000110110000101110001101101101011011011110001010101110000000010000100111010001100011101111010001101010000111010010001110110110011101010010100111010011010000101",
"00110010000111100101000101101100100110111111101011100100001110000010010110001000011111111100101010000010000000111111001000011101000011000011000100010001100110101110100000110110100110100101110111100011",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10111000001000100100010011011100110100101001111100011101011000010010000101100001100110101101111111000110010110000100001001011011100111100011010011010000101100101010000111100110011000011010000101011110",
"01001000001101111000001101010011011110110101101001100111011101101110010001011000101110110110110001101100100111111101110110100001101111111101010011000000111010011111000001011111110101011000111111010111",
"00110110000110001000010100110100100101010000000101101011010110001010100011000000110001000011011101110000110000011001000011110001110000000000111011101011110000000111011000010011110001101010111101110000",
"01101100101001011100100101010111010111111010000100101001001100111011100011010011001001101110111100010011111110011010010001011011100101000100000101101110001100011111011010110001101100001010100010000011",
"01110010100011010001111101011011011001101000101100100001010001110101101010010101100100111100110011011100010010110101110011110011111011011101111000000101110100111000111011100100111011110101110100010110",
"00110000001110110101000110110010100010000100111010000010101101000001000100000100101110101010111110000011001010111111111101101110010010100101000000111001010100001101000110011100000100101101100100100100",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01010000101101100010100111111011001101100110011001001010100110010001000100101100110001001010111000011000111010000001010000111111011101110100001110111000011000101101010011111111110001011000101011011101",
"10101010001101111110111110011001011011011101010000000011011010000101000111001011000000010011101001000101000110100100111100001100101010100011010010100010011011010000000010011010010001011110100110001111",
"11101011000111101100110110010010001111010111100101011010100000111111111100010010101100011111000101011101100101001110100110101010000110011111010010100100100110110100001111100011101001101101010110101011",
"00000110011011010001011001001101110001101110001110010100101001001000010110010110001011100101110010101000000111000100010101101011100011011101000111011000100001001000100001000100100010001101111101010001",
"11100000001100100101010001110010000110110010011001001000100000010111100110111101100011100101101000010010100111110011011101100000010010011111001000001010011111000110110100100111111100100111100001011011",
"01101101100111001011111001101010100101110110100110001011011000000010011011000001110011001111101111011000000101110100101001111010110111100000101001011111110101011010111100110101111010000001001111000101",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01101100110001101000000011101001011101111000100100111010111001001011001010011010011111110111001111000000101010000100111101011000110100011101100101001101000100000110010010111000101111010110000010101001",
"01111101100001101101011001110100010101110010110101011001011000101101100110111111110111100111000001100101010001010100010010001101110100011100111110110110101110100001000001100111010101100101111000110001",
"00110001110001011100000100101100110001010101011000011101000000001110110111001101101101110011011110000111011011011110010000111101100000100100010111100110000100110100010000010011100100110110000110100100",
"10111111001010100111010001000010001011001111011100110010010101001000000010001001001100011101100011011011111111000111100000010000111100011110010010011101110111100001000001011100010011100111011111111111",
"11100011101111101011001000000100001010111010010001100001011011010000010001111010101110111010001100001011101101010111011010110101000100000011110110101101001001001010011000001010011011110110011010100010",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01101010000011111010011010010100000000011001111100101110010010000000101100001101011101100000011011100111100100100100100100000110011110111101011101110011011010110111000101101010001011111010100100101111",
"00010110010001001100111010000101010110111010001001011101101001010001001000001000001000111010001110100111010100001010011000011110110101100000111000001011011011001001101001010111011100000101100000111011",
"10111111000111011100101001100011001111100100001110010100100100010000010100110101100111100001001010001011011111001100110111100010101101100110000101010000101101011010011111000011000100010001000011010111",
"01100010000010010101100100111110000111000111000011010111000010000101111010000001011011010101101100010110000011110001001101111101001010000010010111110111011011110011011111101000000111000111001000001101",
"11011111111101110101010001001000110101100101111010101011010101000000100001111110101011010001101111001000101001011001011101111011011100100111110000001001101110111101001011011010110101000001110000001001",
"11000001010010011101001100011000110101011101011111101101010011101100011010101011011010010000010010000101010110110001101011101000110111001100010100010001110111000000000100111000001010010001110101010101",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11001101000000010010000011000101000001101000001010011100010001010000001001111101101000110100110110011110111101011111011011010100101101011101111110110001111000001100100100011101110110100100100000111101",
"01110000001010110101110111110011111010010010110001001010001101000010010000110100100010101101001000101010111111010110111010011110101101011101100011010100110100110010101000111100010110010111100110000000",
"11010101100011101010100101101111001011101111001100010101111101010011101001011100011000010010010110100111101011000111111011101110101101111011111100100010010110110000010100100101011111011100110011100000",
"11100001010111100111011011100111001111110111110001111111100010011011111010101011010000011111000000100110101011000110011101011101001001010011111100011110100111111000011000111001001101000111100000111100",
"10111011001101011110111111100110000111111110000011011000011000001010001100110111101010011101110111010011000001100001111110001100101010111110101111010100101110101111100001001111011000100010000110101110",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"11011000000010000110110100110101001011111100101010111011000111100010111100010101101010011110100110010010110111000010111100000111101011011110001011000011011111011111001111111100110101101110110001000101",
"11101010011110100010111011111011100011000011100111011011000110000010100010001000001110101010010000101100100111101000001100101000011001111110101011011000111000010001111101110010111111111101001010101000",
"01100100001111011011010001111110111011101010000100100001100100011001010101111011101011001110001110100000001011000010010111000000000000010010010011101110011111100111100000011001011110111001100010111001",
"00100110010010000101000001100001001100011001000111110010010011100101100010110110100010010111111011101111101010011001100010111100010111001100101010001001010001010001000011010111101100011111111101000100",
"01111011010111010000010101100010100100101111110010010110100000011000010111110111101110000000001010111100010111100100010011110011110000101010101101011000010110100011100001000001100101011110001000111011"]);

y:=CambridgeMatrix(1,F,200,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"01101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"10100000000010000000000100000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"10000110010001100110010010000001110011100110100011101010100010111101101110111100110001101110011011101101011101011101111011110000111101010111110101100100011110100011000100001111001011110010010101101101",
"10101011110001011100001001110100110101101010000010000001111010111101001011001010000010011011010100000100100100010100001011000110100111110001101101000001100011010101001011100101111100100011001100110010",
"00000100110110010100010010001000101110000101100010001111000011110000001110011101110001101101101101100100110000111110111010111000000010110101100001100111010001001111010110000100010011010000100100110011",
"01101001111010110001100011001100001011100001100101101011001111010101000000010100000000111101100100010010000011001001110000001100011110011010101001100101001001101101000110011000001111110000111101011100",
"11000000100111111010101111110010101111111010001111110000010110110101011001000110111001001000000010010010100000100011100111000011000010110001101111011100000001110110000001101001111001001001001000011000",
"10100001001110011001100010000101111001110010100011000000000101011010110111101111011011011100101111101011110111001000100000101010010010110001111110111100011101100110110000010110110100001010101101111101",
"10010110001100001011011111110000110000100110001010101000110010011111100000000011110111100111001001010111000111101001111111110101110010111110001110110100111110101110100101100100111010011101110000101010",
"00000011111100010111010010000101111110101110010011101001000010000101111100011011000110111011100111000000000010011110001001111010000100111000110101110000111100010001001010101011010100001011101110111000",
"01011010101110100000111000001110110110001010010111000010110111110110110101011100111000100001011011000000110100001000111010001001111101011001000010101010011100111001111011011010011111100010101000111110",
"10110110011110000110001101001001100000000011100111110010001001100110110111100000111010001101010010001111111111010010010100001000011101110000100001000001010101100000010001111110101101010100100001101001",
"00001001100010001010011101101000110001001011000001111111010010101101101011000001010100110010110111000001001010011001111100000111110000100101101011011010000000110110111110110000011001111110001001000111",
"00110010101111011101010101010011010111011100111100110000001100001110011000111000001001110110110010000000001011001010110000100110000100110011111110001100111100100110100110101101000101000111100110101011",
"10100010001101100111000111101000011000110001010101101101011000100101110000100011101101110110100101111010101110100111011011010001111101000001110001110001111101010111101001011001100011010110100001100111",
"00000101101000000100101110011110101001101011101110100101000011010110111001101001000000000101001001011110011011111100010010111110000101000111110011011000001010000111000000111010010011101111000010101110",
"01010000011101010010010111111111111111011110111110101100011010000110001010111110111000001011101000100001001110100011110100011111010110110010111100110100101001011000011110111000000110110010011011000011",
"00101100110101001100110001010010100001010110011100101111100000101010111111110000111011000101000000111001110010100000010101101101100011000010011111000011010111000010110111101010011011100110101000001000",
"10001000111010100110000000100110110000011111100000111001101110101110110010010000110010101011101000100001101000110110111011110011010000000101001001101100000101110111011000011011000100101110011111101000",
"11111100011101101000011110110010000011111001100011001000111111110100111001001000100101010110110001000001110000110000110000011111110010010110001111101110110000110111111001111101010011010110001011011101",
"00001011110010100000100111111001011100000110001111100100100100001011000010010110000110001111011010110011110000000000110100011101001000001010010100110010111110010111010001010111111000110111101100100011",
"10100000010000011010101111101100101100101001010000101110111101100101010010100011011111101110011000101111101100111001010011001110000001001110001010101000100100110101010011100000001010110010010110001010",
"10001000000110001011111000100010100001100001111110111111001010001011010001110110001101010000000010100000011110010011001010000011101010111100111001101010101100101000110000001000010110100100111010001010",
"01010001101010000110000010010110010000000001111100010100101101111111001011010100011001011011011101101010100111110011111001011001001011000011001011011111001010001100000111001110001001110101111011100010",
"01011111111011100001110110000010110001001000001011001101111000111110110010111100100011100011100001001000101011111000101100010111001010110011000001101111000100001110110101000101101000101011000100011111",
"10110000011010111100111110111011000111001001111001000101101111111010101110110001000110010010010100010011100010011000011100101011011110001000111001110000100101011100110010001100000100000111100001101010",
"10100011110001010001100111100101110100101001001011110110000101100010010001001100111000100111001001101010111100010100000110111001011100110110110110011100010111100111010000110110111100011111111101000110",
"00111011011001101111011010100111101010000001110100110010101011110011111110101011100101000111111110010110100111110111101011001010001100110110111101011011001101011011001011111100101101010011101101001010",
"11110001011001010000101000101101100010110100000000101000010111011000110001000101010101111101100011011010100111110011110111101001101101111111001010110011010100101100101111101110110101000010010101110100",
"11011000001011001111001010111001000101100011111101100000010100110111001100010100111000000100111001101000100010011110110100101101111010001000010111001001001001111001110011000110010000010101100011011111",
"10011000000001101111011010001001100000111110100000010100101000110111101110100111101111011011011100111010010010111100100101001000011110110110000001000110101010000000111000110011011000001111100001011001",
"00110000100100110001111101001111110100001000100010001111011011010001101100110000111111011111001101010010100111010101101100100110011101111011101100000011001101011010011010001101101000011001001011010110",
"11001101010010010001101010100010000011011110110111111101011011101001101011100101011100101111111111001010001111101100000101101110110010010100011000101111101000111101100111011111010100110111011000001001",
"01011001000000110010111010000010110100111111001111001011110111111011101011100110001110100101100100101110000000100111110001000001111000010001111001011001111010100011000110110101011000000000000101011000",
"10100010011100001101001010101011101100010110101111010011001011011111001001000011111010100111010000100110010101110111010110010011011101000011111010110001101010001010110101000001100111110010101111101001",
"11100100111010010111011101100010100011111001011100111101111010110000101101001010111001010000101100001101100100100001010010100011010000010010101100010000000000000001000100011111101110011011110111110001",
"10111010011110100000011100101111011101100100011011111110100000010001100010000101001011100001000110001111000011110010101001111010000011010101110011000010001010111001101000001101101011111011110100110101",
"11101010100111000110101101111001001001001111111111101011100101011110001101010010010110110011111000000101000000110101110000111000000010110000011111111001110001010001000100100111010100010111100000101101",
"00101101011100111111111011000111001110100000010101000100110001001110001110011100010011001100101010111000101000101111010000101111001111111100001100100000110101011101100001100100000010000001100111110011",
"00001100000001000000010000000000000000000100000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"01101111010000000110001000010001100110011010111001010110010001100101000101011001101011100011100101100001111110111100101000011010110001101001110001001110110110010001110010000011000110100000001101001001",
"10000011000100110010111000000110111101001101011101000011110110101100101101011001000010110111110100011100101011011001111110101010010110011111111000101001001011001010000000101101000100011111010110001100",
"01010001101111100011011010100010001111011001111000110010010000101001111110111101100001101011010111011000000101001110111010010101001000100010000111110001100111110111000100011100111110110011101100000010",
"00010001101110010101110000101000001110110011000111001010100011001011111011011011010011111000101100101100011101101110101101010000100001011110111100100011011111011010101111010111101111000000110010101100",
"11101011110101010011101000010001010101111011010011101100111001001010111001110010011100101000111011010100111110000010110001000110110110011010100000100011000101110101101010000011100101101110001010101100",
"00111011110010010000111100001110100001101001101001011111011111000101110000111100100101100111111000111010000111111101101110000001000011101000011100001101111010111000001100001011101010000110100011011011",
"10010100111100110110010010111100111001111010000011100000110001101011000101101000001111111011110000010000001111011100110110100001101110010110000010111001100011010110001011101001001000011111000110110011",
"00001010001101010011110100011010111010110110101001111101110110000111101010000011001010111111100010000110010000111101110110100100011101110000000110110001100010001100110100011110100000010000001001100111",
"10011111110000100000111111010010111110011010001010010101101101001110000110100001101101010011100110101001011001101010100010010001001010010001111101010101011111000011100010011011010100001100010111101010",
"00110001001010010001100101110001010010101011011100100110110110000011110110011010111000100111111100110101111110011110011100100000100011110000110010010010100111110101011111100110100000101110010101110101",
"11001010011111001100101100000011101110010111000010011111101100101110010111011110100010000000011001010000001000001101001110010011000010111110001100011100010110001010111100111000111101100000100000010101",
"10111010000110000110101110100111111111001001101011010010011000110000000100101010101010000010001101110110100100010001110110110111111001111011011110001101110100110011100011000000000000110100111100111100",
"11111110000010010000010001111111000011110111000001110000111011001001110000010111101011111011110110100100100011000110010010011010111100011101100011011001010101101001110011110010000011100111100110000111",
"11111000101001110000101010010010000101001001000101100111110000110010100011110100011100001011100011111101001011011001010100111111001001100001010000110010011110010000111001011001001001011111010101001100",
"11000011111001111101111101010000100011000001101001101101101100001100101010010110100011011111011100001110000010100010011100010110001100010110110110011101010011001110000011000011000111110110100101000000",
"00101110101011000100001110000001011101111011010100111010101100011000001000001110001001110011010000000111101000110011111011010100111000101000011001101000111011100010000011010001011101011001000011001000",
"00110110001011001110011110011111101100010001010001010000001111001101001100101010101100100001110101101001010100010110110001001010010001010111111101001111110100110111001100010001101000011111001101110111",
"11011101011101100101000100010101011110001110011101001100111011011101111111000111010001101001010011001110100100000101101000010110010111110101011011010111110110100001110011101100111010111001010001111011",
"11101100111010000010000010101001010010011111001001011001001100011101100010110110101100111101111000110011111011000101000000001010101111110010100001101100001111100011000011011010000001100010101001101000",
"10011111000011001110111110010011000110100101101000010111100111111001111101001100110100010110000011101100101010000001110011100000100100001111010001111010100110000011101101100010010000001100010001010110",
"01001110011011011001010010101100011110000001110011001000001011011011000001101011011100001100111010010100000101011010100000111011011011011101111110010100010011001111111101100001100101110100110100001101",
"10101100101001110011101101000011100000101000001001110110110100110101110000011001111111010000111000000111000111001011100001011011000010101110111000110110110001101101111100110100110000011000000000110100",
"11101101100001000010100111110000100000010110100001001001101111010010100110011110001100000101111011100111011100000110111001111011000100001110000111001001011100111011011000111110011010001110111010101011",
"11100101001010111010000010111111101000001000010001001100001111011001110000001100010111011100110011100111100000011001110101110111101001110101100100011101011011100000111100101101111101000110100100100111",
"10010100000111000000001010110000101011010100011010101011010010000011111001100111011110111100110110010011111010101111100111001101101111100010000011001001001010001010010100101100010111001010101100000000",
"11010001101101010011101100011101001010100011101011011001100001010010010111010010000000000011100110000000100111110110101100111010010110110001010000101001110111111011100110001110000010001100001000111101",
"00111100011011001001101100011010011111000110100111110011011000100000111111101001011111110000101101000001011101100100101001011001010100100001010100100011011110101111100011100100011000101111101100101000",
"01110101101111001111010110001000011111011111011110010010001100001111101100011000011101011110110000011011000011010001111011010010100111010100010101111001011101110001100011101110001101111110010111101010",
"10110011000101110001111100111000111001110001101110010111011000001010000111010010111011101101101011000110001010100010110110100000110100001111000011110100110010110000110010101110001111000110010100010100",
"10010100111100110010101010001100001110111100101000011111011101111110001000100100010100110010111000110111100011011111011001101011101101100001010010011000001011001101001101011111000111111101100111011110",
"10011110111001010010111100110101010011100000000110010001001101110100011001011111110010001111001011101011000111100011111100000100010000001110010011101101010011110101001001000001001000110000000010000010",
"11111011000111001111101000110001001100101101010101000010110100101001010000101111100010100011011101010001000110111011010000111010100110010101000001010010000100100001101000101010101010111010111111111111",
"00010011110001011000100010111000111011011010011110100110011110111010000110101110001110100000010011100110011101101100111011110011011010100000110000101101110100000011110101000111110010011000100000010001",
"00011110001100010000100010101101011101010000000011111001110101010100010001111011100011111101011000111110011001010010010110000001110011100011001000011111111111101111000010111100011001000010111100110100",
"00010101110010011111101100110111000101000001111100110100100000100100100010100001000110110101100011110100000010010000010111000110111110111111011000010110111011000100111111110110110100001000110110100001",
"11111101100101110111111100000011100010110000101101110010100101111000000111010101001101000000000101110101100101111110111111110101101010111100011010111100011110110010011100100100110101101101101100100010",
"10100011000001111010011000011100111101011001000101100011110110100100001101111001000000001111001001000111001011000001111101001110000100101111111010100100010011111000100000111011101100001010111110010001",
"01001001111101011000110101011000101001100110101000010001111011101010001101000110110110000001101110110011011101110000111010011110110000010010000001010000001100011111000110110011110110011010010110111101",
"01001001110010100001001001101010110000000011110101101001000010100101110001010101100111101100101100101000001101110001011010000010101110001010000100101010001110100101000100011100101010111111000011100011",
"00111000010011011010110001001010111000010100011010101011111000101100101000101101100110011110011100011000000101100010110100100001100111010100111101110101101000100010101111001011010110110000101011110001",
"01110111110101111110000101011110100001011010111101111001100101110101110111001101001110001010010100011001101010101110101010110010000101101100010000111100011001100000011111010001011101011001000100000001",
"11110010101011100011110101110000010110110000110001010001001010110111010101100001011101011000011101101101100111010010011010011101001101101111110000011111101101011101001011011110100000010000110110100110",
"00001011010010000110010010000001000001101011101100011100110110001010001110010110111000100000001101110111110111000111010100001001000001100110111101100101001101101110001100001110001000100001101010001110",
"00000101001110001100111010111100010100101111111001110101101101000111110011001111010100101111011011000111011101000000100011001110000111000000111100110000111101011010111100110101101010011011111011111110",
"11110110001100101110011111010011110101100110110000011111110010110100000100100101110110001011110001011101000100110100001100010100101011111100101000010001100110111001110101110110101000110010011111011110",
"10101100010100000101100100010011000001100010101110010111111111010111000111011101100110111010111010111011101001110101100001001011010000011011100010011101000001111010110001001000001110000101101100111001",
"10010101000001110011100100101000001111100011010111000111010110000000000010110011001001111101000000001110001010001011001101000110001011101100100011101000101100010101100011000001100100101110010010100011",
"00000100001110011000011000011100011101110011001111011011110011000110100001011010000110011111110101000110110110011101101111000000101001110100111101010011010001100111010110111000001111111001001010101000",
"00000110101011010111110011111010111010001110100001100110110001110111111000111101100110001001000100000010001000001100111101101111110000001011010000000100001010001011011111001010011110010111011000000001",
"01101000000010001010111001011101010000000111100010011111011001011010001001101010110101011010010110010011110010000110000010000011001011100001001101110010010110000110011101010100010000100011101100001011",
"00100111111011011111010110000010010001101111000001000000100011001011001010010100111111110010101011000100001100011110000111010010000011000111011110010011001010111011011101110001110110100001011010011001",
"00011110111011001101111010010010101011100111110110111001110001101001110100001110001001001110111011101101110011110101011000100010100001111001010001000000001111011000111100101101011111000000000010100111"]);

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