YES 00000000100000111010x100010100100100010000x100000000100101011111x111000000000010001010x100000001111000010100x101000000100100000001x100000010000111110001x100100000110000001001x100000010010101111011x101101010011000000111x100000010010110111001x101001010100101000110x100000011011000001101x100101100010101000100x100000111000100111010x111100100010000100001x100001000110010110111x100101000100111101000x100001110000100010111x101001101011000000011x100010000001010111100x111000101000001001000x100010001011100101011x100000111000011100100x100010111010001100101x110001011000000011100x100011000110011000101x100010011000010001000x100011010110010101001x110001101010000010100x100011111000100001000x101100010001001011000x100100001000100010111x101010000000011000011x100100001000111011000x101000101100100010010x100100010010111001001x100010010000010000100x100100101110000110001x110010011010010010001x100100110000101100101x110000000000101000001x100100110010001101001x101010100000100101010x100101001101010001110x101000011011010011010x100101010001011101100x110001110010000011010x100101010110010100011x110000000011000000001x100101100000110001011x100010000100000100001x100101100111100000001x101001011100010110000x100101110000001100101x110100001001101010001x100101110011100100101x110101100011010110001x100101111010000000001x110010000001010110001x100110001001111000010x111000000101010101100x100110010010010100011x110100001000011000010x100110010010100110100x101100101011010100000x100110111000011000100x100110000011101101000x100111010101000100010x100110100101001100100x100111100000001001101x101000100111100010000x101000000010101011101x100010001010010010010x101000000101110010011x101010001000011000010x101000010010010110110x110001100010100000000x101000011101010101001x110100100100001010101x101000110011000110101x110010001101100100010x101001000000111010011x100001000001001101010x101001000001100010111x100010000000001010111x101001000101000111010x111000000110000000110x101001001000000111001x110000010100001000011x101001001010110100011x100000111000010001000x101001010001001110010x110110000001100100010x101001010010000111011x111001001000010100100x101001010010101100101x100101100010001000001x101001010110100000001x100100001001001001000x101001011000000101100x100101001000101100000x101001101000110101001x101010010001110010100x101010001100001101001x100010100000100001101x101010010110010001011x110000000000010101111x101010111000110000001x111101010000000100000x101011000001011100101x110000010100101110100x101011001011001000101x100000110010100101100x101011101000001000011x100100000100100011101x101100000011001110001x110000100011000001010x101100001000000111010x101100000100100001010x101100001000010010010x110100000000001000001x101100001110000011001x110000111010100010001x101100010010000111011x110001010101000011011x101100011010010001001x101001000000010110000x101100011100110000001x101011010000110100001x101101001011000001011x110101010010000100100x101110010001010000101x101101010000101100001x101110100100010001011x110110010001000010101x101110110000001101011x111000100010110100110x110000001101001101000x101010010100100000100x110000010101001010111x100000011001011100000x110000011101000000111x100000101110010100011x110000100010011010101x100000010000011010100x110000110001110000100x100100000001000011010x110000110101010010011x101010000110010000110x110001000101110010001x110110000010001000110x110001001001010100011x110010001000001000111x110001100010101100000x101010100000001010001x110001101101010001010x100000000001110111010x110001110010010010000x110010010100010100000x110100011001100010000x100010110011000010000x110100110111110100111x110100111010110011001x110100111000000100011x100110000101000011010x110110000001110001100x111010010110100101000x110110001100100010001x110000000011100001000x110110011100100000001x110101100100001100010x110111000010001001001x111000001000010001100x110111000100010010000x100010000010100001110x111000001000000011101x110100100001100000011x111001010000010010011x100100110010010001000x111001010001001101001x111110001000110000000x111001011000001001001x100100010000001110001x111001100100101000010x101010001101100001000x111001100110010000000x110100000000010101100x111100000000000111110x111001001100101101010x111100000100110001000x101100010010010000010x111100001001110010000x111110000101001100000x111100110100000100101x110101001110000010101x111111000001010000001x101011110100100000000x12.10100000000100000111010x100010100100100010000x100000001111000010100x101000000100100000001x100000010000111110001x100100000110000001001x100000010010101111011x101101010011000000111x100000010010110111001x101001010100101000110x100000011011000001101x100101100010101000100x100001000110010110111x100101000100111101000x100001110000100010111x101001101011000000011x100010001011100101011x100000111000011100100x100011000110011000101x100010011000010001000x100011111000100001000x101100010001001011000x100100001000100010111x101010000000011000011x100100001000111011000x101000101100100010010x100100010010111001001x100010010000010000100x100100110010001101001x101010100000100101010x100101001101010001110x101000011011010011010x100101100000110001011x100010000100000100001x100101100111100000001x101001011100010110000x100110010010100110100x101100101011010100000x100110111000011000100x100110000011101101000x100111010101000100010x100110100101001100100x100111100000001001101x101000100111100010000x101000000010101011101x100010001010010010010x101000000101110010011x101010001000011000010x101001000000111010011x100001000001001101010x101001000001100010111x100010000000001010111x101001001010110100011x100000111000010001000x101001010010101100101x100101100010001000001x101001010110100000001x100100001001001001000x101001011000000101100x100101001000101100000x101001101000110101001x101010010001110010100x101010001100001101001x100010100000100001101x101011001011001000101x100000110010100101100x101011101000001000011x100100000100100011101x101100001000000111010x101100000100100001010x101100011010010001001x101001000000010110000x101100011100110000001x101011010000110100001x101110010001010000101x101101010000101100001x110001000101110010001x110110000010001000110x110001001001010100011x110010001000001000111x110001110010010010000x110010010100010100000x110100110111110100111x110100111010110011001x110110000001110001100x111010010110100101000x110110001100100010001x110000000011100001000x110110011100100000001x110101100100001100010x110111000010001001001x111000001000010001100x111000001000000011101x110100100001100000011x111001010001001101001x111110001000110000000x111001100110010000000x110100000000010101100x111100000000000111110x111001001100101101010x111100001001110010000x111110000101001100000x111100110100000100101x110101001110000010101x1000000000100101011111x1011000000000010001010x1100000000100101011111x1111000000000010001010x1000000111000100111010x1011100100010000100001x1100000111000100111010x1111100100010000100001x1000010000001010111100x1011000101000001001000x1100010000001010111100x1111000101000001001000x1000010111010001100101x1010001011000000011100x1100010111010001100101x1110001011000000011100x1000011010110010101001x1010001101010000010100x1100011010110010101001x1110001101010000010100x1000100101110000110001x1010010011010010010001x1100100101110000110001x1110010011010010010001x1000100110000101100101x1010000000000101000001x1100100110000101100101x1110000000000101000001x1000101010001011101100x1010001110010000011010x1100101010001011101100x1110001110010000011010x1000101010110010100011x1010000000011000000001x1100101010110010100011x1110000000011000000001x1000101110000001100101x1010100001001101010001x1100101110000001100101x1110100001001101010001x1000101110011100100101x1010101100011010110001x1100101110011100100101x1110101100011010110001x1000101111010000000001x1010010000001010110001x1100101111010000000001x1110010000001010110001x1000110001001111000010x1011000000101010101100x1100110001001111000010x1111000000101010101100x1000110010010010100011x1010100001000011000010x1100110010010010100011x1110100001000011000010x1001000010010010110110x1010001100010100000000x1101000010010010110110x1110001100010100000000x1001000011101010101001x1010100100100001010101x1101000011101010101001x1110100100100001010101x1001000110011000110101x1010010001101100100010x1101000110011000110101x1110010001101100100010x1001001000101000111010x1011000000110000000110x1101001000101000111010x1111000000110000000110x1001001001000000111001x1010000010100001000011x1101001001000000111001x1110000010100001000011x1001001010001001110010x1010110000001100100010x1101001010001001110010x1110110000001100100010x1001001010010000111011x1011001001000010100100x1101001010010000111011x1111001001000010100100x1001010010110010001011x1010000000000010101111x1101010010110010001011x1110000000000010101111x1001010111000110000001x1011101010000000100000x1101010111000110000001x1111101010000000100000x1001011000001011100101x1010000010100101110100x1101011000001011100101x1110000010100101110100x1001100000011001110001x1010000100011000001010x1101100000011001110001x1110000100011000001010x1001100001000010010010x1010100000000001000001x1101100001000010010010x1110100000000001000001x1001100001110000011001x1010000111010100010001x1101100001110000011001x1110000111010100010001x1001100010010000111011x1010001010101000011011x1101100010010000111011x1110001010101000011011x1001101001011000001011x1010101010010000100100x1101101001011000001011x1110101010010000100100x1001110100100010001011x1010110010001000010101x1101110100100010001011x1110110010001000010101x1001110110000001101011x1011000100010110100110x1101110110000001101011x1111000100010110100110x1010000001101001101000x1001010010100100000100x1110000001101001101000x1101010010100100000100x1010000010101001010111x1000000011001011100000x1110000010101001010111x1100000011001011100000x1010000011101000000111x1000000101110010100011x1110000011101000000111x1100000101110010100011x1010000100010011010101x1000000010000011010100x1110000100010011010101x1100000010000011010100x1010000110001110000100x1000100000001000011010x1110000110001110000100x1100100000001000011010x1010000110101010010011x1001010000110010000110x1110000110101010010011x1101010000110010000110x1010001100010101100000x1001010100000001010001x1110001100010101100000x1101010100000001010001x1010001101101010001010x1000000000001110111010x1110001101101010001010x1100000000001110111010x1010100011001100010000x1000010110011000010000x1110100011001100010000x1100010110011000010000x1010100111000000100011x1000110000101000011010x1110100111000000100011x1100110000101000011010x1010111000100010010000x1000010000010100001110x1110111000100010010000x1100010000010100001110x1011001010000010010011x1000100110010010001000x1111001010000010010011x1100100110010010001000x1011001011000001001001x1000100010000001110001x1111001011000001001001x1100100010000001110001x1011001100100101000010x1001010001101100001000x1111001100100101000010x1101010001101100001000x1011100000100110001000x1001100010010010000010x1111100000100110001000x1101100010010010000010x1011111000001010000001x1001011110100100000000x1111111000001010000001x1101011110100100000000x10000000000000001100000000001111110011000x10000011001100001100001100000011000000000x10000000000000001100000000001111110011001x10000011001100001100001100000011000000001x10000000000000111111110000000011001100000x10110000000000001100001100000000000000110x10000000000000111111110000000011001100001x10110000000000001100001100000000000000111x10000000000011000000001111111111000000110x10001100000000001111000000000000110000110x10000000000011000000001111111111000000111x10001100000000001111000000000000110000111x10000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10000000000011000011001111001111110000110x10110000110011001100001100110000001111000x10000000000011000011001111001111110000111x10110000110011001100001100110000001111001x10000000000011110011110000000000111100110x10001100111100000011001100110000001100000x10000000000011110011110000000000111100111x10001100111100000011001100110000001100001x10000000110000001111000011001111001111110x10001100110000001100001111111100110000000x10000000110000001111000011001111001111111x10001100110000001100001111111100110000001x10000000111111000000001100000011001111110x10110000111100110011110000000000000011110x10000000111111000000001100000011001111111x10110000111100110011110000000000000011111x10000011000000110011111100001100110011110x10000000001111110000000011111100001100000x10000011000000110011111100001100110011111x10000000001111110000000011111100001100001x10000011110000001111000011110000001100110x10000011000011110000000011000000110000000x10000011110000001111000011110000001100111x10000011000011110000000011000000110000001x10000011111111110000001100000000110000000x10111100000011000000110000110011110000000x10000011111111110000001100000000110000001x10111100000011000000110000110011110000001x10001100000000110000001100000011001111110x10110011000000000000000011110000000011110x10001100000000110000001100000011001111111x10110011000000000000000011110000000011111x10001100000000110000001111110011110000000x10110000001100111100001100000011000011000x10001100000000110000001111110011110000001x10110000001100111100001100000011000011001x10001100000011000011001111110000110000110x10000011000011000000000011000000001100000x10001100000011000011001111110000110000111x10000011000011000000000011000000001100001x10001100001111000011000000111100110000110x10110011001100000000001100001100110011000x10001100001111000011000000111100110000111x10110011001100000000001100001100110011001x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001100111100000000001111000000110011110x10000011000000001100000000001100000000110x10001100111100000000001111000000110011111x10000011000000001100000000001100000000111x10001100111100001111111100000000000000110x10110000110011111100000011001111000000000x10001100111100001111111100000000000000111x10110000110011111100000011001111000000001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10001111111100000000000000110000111100110x10110000001100001111111100000011000000000x10001111111100000000000000110000111100111x10110000001100001111111100000011000000001x10110000000000000011001100110011111100110x10000011000000110011000011000011000011000x10110000000000000011001100110011111100111x10000011000000110011000011000011000011001x10110000000000001100111111000011000011110x10110011000000110000000011110000000011000x10110000000000001100111111000011000011111x10110011000000110000000011110000000011001x10110000110000000000001111110011000011110x10000000110000000000110000111100110011000x10110000110000000000001111110011000011111x10000000110000000000110000111100110011001x10110000110000000000111100000011001111110x10000011000000000000000000110011001111110x10110000110000000000111100000011001111111x10000011000000000000000000110011001111111x10110000110000110011001111001100000011110x10000000001111110000000011000000110000000x10110000110000110011001111001100000011111x10000000001111110000000011000000110000001x10110000110011000011001100111100001100110x10001100111100000011000000110000000000110x10110000110011000011001100111100001100111x10001100111100000011000000110000000000111x10110000110011001111001100000000000000110x10001100000000110000110000110000110000000x10110000110011001111001100000000000000111x10001100000000110000110000110000110000001x10110000110011110000000000001100111100000x10001100110000110000001100111100000000000x10110000110011110000000000001100111100001x10001100110000110000001100111100000000001x10110000111100110000001111001100110000110x10110011000011000000111111000011001100000x10110000111100110000001111001100110000111x10110011000011000000111111000011001100001x10110011000000111100000000111100110000110x10000011001100000000001100000000111100110x10110011000000111100000000111100110000111x10000011001100000000001100000000111100111x10110011110000110011110000110000001100110x10000000001111000011001100001100111100000x10110011110000110011110000110000001100111x10000000001111000011001100001100111100001x10110011111100110000000000110000000011110x10001100000000001100001100000011111100110x10110011111100110000000000110000000011111x10001100000000001100001100000011111100111x10111100000000110000000000001111110011000x10111100000000001100001100000000110011000x10111100000000110000000000001111110011001x10111100000000001100001100000000110011001x10111100000011110011000011000000110000110x10110000110000000000000011001111000000000x10111100000011110011000011000000110000111x10110000110000000000000011001111000000001x10111100000011111100001111000000000000110x10110011110011000000001111001100000000110x10111100000011111100001111000000000000111x10110011110011000000001111001100000000111x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x11000000110000001100111111000011000000110x11001111000000000011000000110000001111000x11000000110000001100111111000011000000111x11001111000000000011000000110000001111001x11000000110000110000110011001100000011110x11000011000000110000000000110000001111110x11000000110000110000110011001100000011111x11000011000000110000000000110000001111111x11000000111111000011000011000011000000000x11000011000011001100000011001100000000000x11000000111111000011000011000011000000001x11000011000011001100000011001100000000001x11001100001111001111111111001100001111110x11001100001111110011001111000011110000110x11001100001111001111111111001100001111111x11001100001111110011001111000011110000111x11001111000000000000111111000000111100000x11110011000011001111001100001100110000000x11001111000000000000111111000000111100001x11110011000011001111001100001100110000001x11001111000000111100001100000011000000110x11000000000000000011111100000000110000000x11001111000000111100001100000011000000111x11000000000000000011111100000000110000001x11001111000011111100001100000000000000110x11001100111100001100000000111100000011000x11001111000011111100001100000000000000111x11001100111100001100000000111100000011001x11001111110000000011000000110000110000110x11110000000000110000000011000000111100000x11001111110000000011000000110000110000111x11110000000000110000000011000000111100001x11110000000000110000000000000011111100110x11001100001100000000111100000000000011110x11110000000000110000000000000011111100111x11001100001100000000111100000000000011111x11110000110011000000110000111100110000110x11111111000000110000001111000000000000000x11110000110011000000110000111100110000111x11111111000000110000001111000000000000001x11110000111100001111000011000000000000000x11001100000000000000000011001100111100000x11110000111100001111000011000000000000001x11001100000000000000000011001100111100001x11111100000000000000000000001111111111000x11110000110000111100001100111100110011000x11111100000000000000000000001111111111001x11110000110000111100001100111100110011001x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x11111100001111001100000000001100001100110x11001100110000111111000000000011001100110x11111100001111001100000000001100001100111x11001100110000111111000000000011001100111x1000000000000000001100001100110011111111110x1011110000000000000000000011000000110011000x1000000000000000001100001100110011111111111x1011110000000000000000000011000000110011001x1100000000000000001100001100110011111111110x1111110000000000000000000011000000110011000x1100000000000000001100001100110011111111111x1111110000000000000000000011000000110011001x1000000000001111110000001100001111110011000x1011111100001100000011000000001100000000110x1000000000001111110000001100001111110011001x1011111100001100000011000000001100000000111x1100000000001111110000001100001111110011000x1111111100001100000011000000001100000000110x1100000000001111110000001100001111110011001x1111111100001100000011000000001100000000111x1000000011000000000000110011001111111100000x1011110000001100110000000000110000110000000x1000000011000000000000110011001111111100001x1011110000001100110000000000110000110000001x1100000011000000000000110011001111111100000x1111110000001100110000000000110000110000000x1100000011000000000000110011001111111100001x1111110000001100110000000000110000110000001x1000000011001111110011000000111100001100110x1011000000110011110000000000000011111100000x1000000011001111110011000000111100001100111x1011000000110011110000000000000011111100001x1100000011001111110011000000111100001100110x1111000000110011110000000000000011111100000x1100000011001111110011000000111100001100111x1111000000110011110000000000000011111100001x1000000011110011001111000011001100110000110x1011000000111100110011000000000011001100000x1000000011110011001111000011001100110000111x1011000000111100110011000000000011001100001x1100000011110011001111000011001100110000110x1111000000111100110011000000000011001100000x1100000011110011001111000011001100110000111x1111000000111100110011000000000011001100001x1000001100001100111111000000001111000000110x1011000011000011110011000011000011000000110x1000001100001100111111000000001111000000111x1011000011000011110011000011000011000000111x1100001100001100111111000000001111000000110x1111000011000011110011000011000011000000110x1100001100001100111111000000001111000000111x1111000011000011110011000011000011000000111x1000001100001111000000001100111100001100110x1011000000000000000000001100110000000000110x1000001100001111000000001100111100001100111x1011000000000000000000001100110000000000111x1100001100001111000000001100111100001100110x1111000000000000000000001100110000000000110x1100001100001111000000001100111100001100111x1111000000000000000000001100110000000000111x1000001100110011000000110011111100111100000x1011000000111111000011000000000011110011000x1000001100110011000000110011111100111100001x1011000000111111000011000000000011110011001x1100001100110011000000110011111100111100000x1111000000111111000011000000000011110011000x1100001100110011000000110011111100111100001x1111000000111111000011000000000011110011001x1000001100110011001111000011001100000011110x1011000000000000000011110000000000000000110x1000001100110011001111000011001100000011111x1011000000000000000011110000000000000000111x1100001100110011001111000011001100000011110x1111000000000000000011110000000000000000110x1100001100110011001111000011001100000011111x1111000000000000000011110000000000000000111x1000001100111111000000000000111100001100110x1011001100000000110000111100110011000000110x1000001100111111000000000000111100001100111x1011001100000000110000111100110011000000111x1100001100111111000000000000111100001100110x1111001100000000110000111100110011000000110x1100001100111111000000000000111100001100111x1111001100000000110000111100110011000000111x1000001100111111000011111100001100001100110x1011001100111100000011110011001111000000110x1000001100111111000011111100001100001100111x1011001100111100000011110011001111000000111x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x1000001100111111110011000000000000000000110x1011000011000000000000110011001111000000110x1000001100111111110011000000000000000000111x1011000011000000000000110011001111000000111x1100001100111111110011000000000000000000110x1111000011000000000000110011001111000000110x1100001100111111110011000000000000000000111x1111000011000000000000110011001111000000111x1000001111000000110000111111110000000011000x1011110000000000001100110011001100111100000x1000001111000000110000111111110000000011001x1011110000000000001100110011001100111100001x1100001111000000110000111111110000000011000x1111110000000000001100110011001100111100000x1100001111000000110000111111110000000011001x1111110000000000001100110011001100111100001x1000001111000011000011000011001100000011110x1011001100000000110000000011110000000011000x1000001111000011000011000011001100000011111x1011001100000000110000000011110000000011001x1100001111000011000011000011001100000011110x1111001100000000110000000011110000000011000x1100001111000011000011000011001100000011111x1111001100000000110000000011110000000011001x1000110000000011000011000011001111001111000x1011000000111100000011001100000000000000000x1000110000000011000011000011001111001111001x1011000000111100000011001100000000000000001x1100110000000011000011000011001111001111000x1111000000111100000011001100000000000000000x1100110000000011000011000011001111001111001x1111000000111100000011001100000000000000001x1000110000000011111100110011001100110000110x1011001100001100001100000000110011001100110x1000110000000011111100110011001100110000111x1011001100001100001100000000110011001100111x1100110000000011111100110011001100110000110x1111001100001100001100000000110011001100110x1100110000000011111100110011001100110000111x1111001100001100001100000000110011001100111x1000110000001111000011110000001111001100110x1011000011000000111100111100001100000011000x1000110000001111000011110000001111001100111x1011000011000000111100111100001100000011001x1100110000001111000011110000001111001100110x1111000011000000111100111100001100000011000x1100110000001111000011110000001111001100111x1111000011000000111100111100001100000011001x1000110000110000001100110000001111110011000x1011110000000000001111000000000000001111000x1000110000110000001100110000001111110011001x1011110000000000001111000000000000001111001x1100110000110000001100110000001111110011000x1111110000000000001111000000000000001111000x1100110000110000001100110000001111110011001x1111110000000000001111000000000000001111001x1000110000110000110000000000001111110000110x1011000000000011001100000000110000000011110x1000110000110000110000000000001111110000111x1011000000000011001100000000110000000011111x1100110000110000110000000000001111110000110x1111000000000011001100000000110000000011110x1100110000110000110000000000001111110000111x1111000000000011001100000000110000000011111x1000110000110011000000110000111111000011000x1011001111000000000000111100001100000011000x1000110000110011000000110000111111000011001x1011001111000000000000111100001100000011001x1100110000110011000000110000111111000011000x1111001111000000000000111100001100000011000x1100110000110011000000110000111111000011001x1111001111000000000000111100001100000011001x1000110000110011000011000000001111110011110x1011110000110000110000000011001100001100000x1000110000110011000011000000001111110011111x1011110000110000110000000011001100001100001x1100110000110011000011000000001111110011110x1111110000110000110000000011001100001100000x1100110000110011000011000000001111110011111x1111110000110000110000000011001100001100001x1000110011000011001111000011000000110011110x1011000000000000000000000011001100111111110x1000110011000011001111000011000000110011111x1011000000000000000000000011001100111111111x1100110011000011001111000011000000110011110x1111000000000000000000000011001100111111110x1100110011000011001111000011000000110011111x1111000000000000000000000011001100111111111x1000110011001111110000001111000000000000110x1011111100110011000000000000001100000000000x1000110011001111110000001111000000000000111x1011111100110011000000000000001100000000001x1100110011001111110000001111000000000000110x1111111100110011000000000000001100000000000x1100110011001111110000001111000000000000111x1111111100110011000000000000001100000000001x1000110011110000000000110011111100001100110x1011000000000011001100001100111111001100000x1000110011110000000000110011111100001100111x1011000000000011001100001100111111001100001x1100110011110000000000110011111100001100110x1111000000000011001100001100111111001100000x1100110011110000000000110011111100001100111x1111000000000011001100001100111111001100001x1000111100000000000011110000111111000000110x1011000000001100000011110000000000110011000x1000111100000000000011110000111111000000111x1011000000001100000011110000000000110011001x1100111100000000000011110000111111000000110x1111000000001100000011110000000000110011000x1100111100000000000011110000111111000000111x1111000000001100000011110000000000110011001x1000111100000000110000000011000011000011000x1011001100000000000000000000110000000000110x1000111100000000110000000011000011000011001x1011001100000000000000000000110000000000111x1100111100000000110000000011000011000011000x1111001100000000000000000000110000000000110x1100111100000000110000000011000011000011001x1111001100000000000000000000110000000000111x1000111100000000111111000000000011110000110x1011000000001111110011001100000011000000110x1000111100000000111111000000000011110000111x1011000000001111110011001100000011000000111x1100111100000000111111000000000011110000110x1111000000001111110011001100000011000000110x1100111100000000111111000000000011110000111x1111000000001111110011001100000011000000111x1000111100000011000011000000001111110011110x1011000000110011001100110000000011110011110x1000111100000011000011000000001111110011111x1011000000110011001100110000000011110011111x1100111100000011000011000000001111110011110x1111000000110011001100110000000011110011110x1100111100000011000011000000001111110011111x1111000000110011001100110000000011110011111x1000111100110000110011110000000000110011110x1011001100110011000011000000001100001100000x1000111100110000110011110000000000110011111x1011001100110011000011000000001100001100001x1100111100110000110011110000000000110011110x1111001100110011000011000000001100001100000x1100111100110000110011110000000000110011111x1111001100110011000011000000001100001100001x1000111111001100001100000011000000110011110x1011001111000011000000110000000011001100110x1000111111001100001100000011000000110011111x1011001111000011000000110000000011001100111x1100111111001100001100000011000000110011110x1111001111000011000000110000000011001100110x1100111111001100001100000011000000110011111x1111001111000011000000110000000011001100111x1000111111001111000000000000111100110011110x1011110000001100000011001111001100001111000x1000111111001111000000000000111100110011111x1011110000001100000011001111001100001111001x1100111111001111000000000000111100110011110x1111110000001100000011001111001100001111000x1100111111001111000000000000111100110011111x1111110000001100000011001111001100001111001x1011000000000000111100110000111100110000000x1000110011000011001100001100000000001100000x1011000000000000111100110000111100110000001x1000110011000011001100001100000000001100001x1111000000000000111100110000111100110000000x1100110011000011001100001100000000001100000x1111000000000000111100110000111100110000001x1100110011000011001100001100000000001100001x1011000000000011001100110000110011001111110x1000000000000011110000110011111100000000000x1011000000000011001100110000110011001111111x1000000000000011110000110011111100000000001x1111000000000011001100110000110011001111110x1100000000000011110000110011111100000000000x1111000000000011001100110000110011001111111x1100000000000011110000110011111100000000001x1011000000000011111100110000000000001111110x1000000000001100111111000011001100000011110x1011000000000011111100110000000000001111111x1000000000001100111111000011001100000011111x1111000000000011111100110000000000001111110x1100000000001100111111000011001100000011110x1111000000000011111100110000000000001111111x1100000000001100111111000011001100000011111x1011000000001100000011000011110011001100110x1000000000000011000000000011110011001100000x1011000000001100000011000011110011001100111x1000000000000011000000000011110011001100001x1111000000001100000011000011110011001100110x1100000000000011000000000011110011001100000x1111000000001100000011000011110011001100111x1100000000000011000000000011110011001100001x1011000000001111000000111111000000001100000x1000001100000000000000110000000011110011000x1011000000001111000000111111000000001100001x1000001100000000000000110000000011110011001x1111000000001111000000111111000000001100000x1100001100000000000000110000000011110011000x1111000000001111000000111111000000001100001x1100001100000000000000110000000011110011001x1011000000001111001100110011000011000011110x1000110011000000001111000011000000001111000x1011000000001111001100110011000011000011111x1000110011000000001111000011000000001111001x1111000000001111001100110011000011000011110x1100110011000000001111000011000000001111000x1111000000001111001100110011000011000011111x1100110011000000001111000011000000001111001x1011000000111100000011001100111100000000000x1000110011001100000000000000110011000000110x1011000000111100000011001100111100000000001x1000110011001100000000000000110011000000111x1111000000111100000011001100111100000000000x1100110011001100000000000000110011000000110x1111000000111100000011001100111100000000001x1100110011001100000000000000110011000000111x1011000000111100111100110011000000110011000x1000000000000000000000111111001111110011000x1011000000111100111100110011000000110011001x1000000000000000000000111111001111110011001x1111000000111100111100110011000000110011000x1100000000000000000000111111001111110011000x1111000000111100111100110011000000110011001x1100000000000000000000111111001111110011001x1011001100000011110000111100000011000000000x1000000011001111000011110000000011000000000x1011001100000011110000111100000011000000001x1000000011001111000011110000000011000000001x1111001100000011110000111100000011000000000x1100000011001111000011110000000011000000000x1111001100000011110000111100000011000000001x1100000011001111000011110000000011000000001x1011001100001111110000000000001100000011110x1000001111000000001100110000000011110011000x1011001100001111110000000000001100000011111x1000001111000000001100110000000011110011001x1111001100001111110000000000001100000011110x1100001111000000001100110000000011110011000x1111001100001111110000000000001100000011111x1100001111000000001100110000000011110011001x1011001111110000001100000011000011000000000x1000000011000000000011001100000000111111000x1011001111110000001100000011000011000000001x1000000011000000000011001100000000111111001x1111001111110000001100000011000011000000000x1100000011000000000011001100000000111111000x1111001111110000001100000011000011000000001x1100000011000000000011001100000000111111001x1011110000110011000000000011000011000011110x1000001100001111000011000011000000110000000x1011110000110011000000000011000011000011111x1000001100001111000011000011000000110000001x1111110000110011000000000011000011000011110x1100001100001111000011000011000000110000000x1111110000110011000000000011000011000011111x1100001100001111000011000011000000110000001x1011110000110011110000000000110000110000110x1000001100000011000000000000111111000000110x1011110000110011110000000000110000110000111x1000001100000011000000000000111111000000111x1111110000110011110000000000110000110000110x1100001100000011000000000000111111000000110x1111110000110011110000000000110000110000111x1100001100000011000000000000111111000000111x1011110000111100001100001100110000000011000x1000110011000000111100111100000000110000000x1011110000111100001100001100110000000011001x1000110011000000111100111100000000110000001x1111110000111100001100001100110000000011000x1100110011000000111100111100000000110000000x1111110000111100001100001100110000000011001x1100110011000000111100111100000000110000001x1011111100000000001100001111000000110000000x1000111100000011000011000011000000000011000x1011111100000000001100001111000000110000001x1000111100000011000011000011000000000011001x1111111100000000001100001111000000110000000x1100111100000011000011000011000000000011000x1111111100000000001100001111000000110000001x1100111100000011000011000011000000000011001x1011111111110000000000110011000000000000110x1000110011111111001100001100000000000000000x1011111111110000000000110011000000000000111x1000110011111111001100001100000000000000001x1111111111110000000000110011000000000000110x1100110011111111001100001100000000000000000x1111111111110000000000110011000000000000111x1100110011111111001100001100000000000000001x1100111011111101111111120000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x11000000110000110000110011001100000011110x11000011000000110000000000110000001111110x11000000110000110000110011001100000011111x11000011000000110000000000110000001111111x11110000110011000000110000111100110000110x11111111000000110000001111000000000000000x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x1100001100110011000000110011111100111100000x1111000000111111000011000000000011110011000x1100001100110011000000110011111100111100001x1111000000111111000011000000000011110011001x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x1100110000110000001100110000001111110011000x1111110000000000001111000000000000001111000x1100110000110000001100110000001111110011001x1111110000000000001111000000000000001111001x1100110000110011000000110000111111000011000x1111001111000000000000111100001100000011000x1100110000110011000000110000111111000011001x1111001111000000000000111100001100000011001x1100110011000011001111000011000000110011110x1111000000000000000000000011001100111111110x1100110011000011001111000011000000110011111x1111000000000000000000000011001100111111111x1011000000111100111100110011000000110011000x1000000000000000000000111111001111110011000x1011000000111100111100110011000000110011001x1000000000000000000000111111001111110011001x1100111011111101111111110000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x10000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011110x111100110011000011110000000000001111110x10000000000011000011001100111111110011110x1100110011000011110000000000001111110x10000000000011000011001100111111110011110x10110011000011110000000000001111110x10000000000011000011001100111111110011110x110011000011110000000000001111110x10000000000011000011001100111111110011110x1011000011110000000000001111110x10000000000011000011001100111111110011110x11000011110000000000001111110x10000000000011000011001100111111110011110x100011110000000000001111110x10000000000011000011001100111111110011110x1011110000000000001111110x10000000000011000011001100111111110011110x11110000000000001111110x10000000000011000011001100111111110011110x110000000000001111110x10000000000011000011001100111111110011110x1000000000001111110x10000000000011000011001100111111110011110x10000000001111110x10000000000011000011001100111111110011110x100000001111110x10000000000011000011001100111111110011110x1000001111110x10000000000011000011001100111111110011110x10001111110x10000000000011000011001100111111110011110x101111110x10000000000011000011001100111111110011110x1111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10000000000011000011001100111111110011111x111100110011000011110000000000001111111x10000000000011000011001100111111110011111x1100110011000011110000000000001111111x10000000000011000011001100111111110011111x10110011000011110000000000001111111x10000000000011000011001100111111110011111x110011000011110000000000001111111x10000000000011000011001100111111110011111x1011000011110000000000001111111x10000000000011000011001100111111110011111x11000011110000000000001111111x10000000000011000011001100111111110011111x100011110000000000001111111x10000000000011000011001100111111110011111x1011110000000000001111111x10000000000011000011001100111111110011111x11110000000000001111111x10000000000011000011001100111111110011111x110000000000001111111x10000000000011000011001100111111110011111x1000000000001111111x10000000000011000011001100111111110011111x10000000001111111x10000000000011000011001100111111110011111x100000001111111x10000000000011000011001100111111110011111x1000001111111x10000000000011000011001100111111110011111x10001111111x10000000000011000011001100111111110011111x101111111x10000000000011000011001100111111110011111x1111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111000x110000000011110011110011000011110011000x10001100110000111100110011000000111111000x1000000011110011110011000011110011000x10001100110000111100110011000000111111000x10000011110011110011000011110011000x10001100110000111100110011000000111111000x100011110011110011000011110011000x10001100110000111100110011000000111111000x1011110011110011000011110011000x10001100110000111100110011000000111111000x11110011110011000011110011000x10001100110000111100110011000000111111000x110011110011000011110011000x10001100110000111100110011000000111111000x1011110011000011110011000x10001100110000111100110011000000111111000x11110011000011110011000x10001100110000111100110011000000111111000x110011000011110011000x10001100110000111100110011000000111111000x1011000011110011000x10001100110000111100110011000000111111000x11000011110011000x10001100110000111100110011000000111111000x100011110011000x10001100110000111100110011000000111111000x1011110011000x10001100110000111100110011000000111111000x11110011000x10001100110000111100110011000000111111000x110011000x10001100110000111100110011000000111111000x1011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001100110000111100110011000000111111001x110000000011110011110011000011110011001x10001100110000111100110011000000111111001x1000000011110011110011000011110011001x10001100110000111100110011000000111111001x10000011110011110011000011110011001x10001100110000111100110011000000111111001x100011110011110011000011110011001x10001100110000111100110011000000111111001x1011110011110011000011110011001x10001100110000111100110011000000111111001x11110011110011000011110011001x10001100110000111100110011000000111111001x110011110011000011110011001x10001100110000111100110011000000111111001x1011110011000011110011001x10001100110000111100110011000000111111001x11110011000011110011001x10001100110000111100110011000000111111001x110011000011110011001x10001100110000111100110011000000111111001x1011000011110011001x10001100110000111100110011000000111111001x11000011110011001x10001100110000111100110011000000111111001x100011110011001x10001100110000111100110011000000111111001x1011110011001x10001100110000111100110011000000111111001x11110011001x10001100110000111100110011000000111111001x110011001x10001100110000111100110011000000111111001x1011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100000x111100001100110011110011001100000000000x10001111000011000011001100001111001100000x1100001100110011110011001100000000000x10001111000011000011001100001111001100000x10001100110011110011001100000000000x10001111000011000011001100001111001100000x101100110011110011001100000000000x10001111000011000011001100001111001100000x1100110011110011001100000000000x10001111000011000011001100001111001100000x10110011110011001100000000000x10001111000011000011001100001111001100000x110011110011001100000000000x10001111000011000011001100001111001100000x1011110011001100000000000x10001111000011000011001100001111001100000x11110011001100000000000x10001111000011000011001100001111001100000x110011001100000000000x10001111000011000011001100001111001100000x1011001100000000000x10001111000011000011001100001111001100000x11001100000000000x10001111000011000011001100001111001100000x101100000000000x10001111000011000011001100001111001100000x1100000000000x10001111000011000011001100001111001100000x10000000000x10001111000011000011001100001111001100000x100000000x10001111000011000011001100001111001100000x1000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111000011000011001100001111001100001x111100001100110011110011001100000000001x10001111000011000011001100001111001100001x1100001100110011110011001100000000001x10001111000011000011001100001111001100001x10001100110011110011001100000000001x10001111000011000011001100001111001100001x101100110011110011001100000000001x10001111000011000011001100001111001100001x1100110011110011001100000000001x10001111000011000011001100001111001100001x10110011110011001100000000001x10001111000011000011001100001111001100001x110011110011001100000000001x10001111000011000011001100001111001100001x1011110011001100000000001x10001111000011000011001100001111001100001x11110011001100000000001x10001111000011000011001100001111001100001x110011001100000000001x10001111000011000011001100001111001100001x1011001100000000001x10001111000011000011001100001111001100001x11001100000000001x10001111000011000011001100001111001100001x101100000000001x10001111000011000011001100001111001100001x1100000000001x10001111000011000011001100001111001100001x10000000001x10001111000011000011001100001111001100001x100000001x10001111000011000011001100001111001100001x1000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100000x101111000000000011111100111100110000000x10001111001111110000000011110000001100000x1111000000000011111100111100110000000x10001111001111110000000011110000001100000x11000000000011111100111100110000000x10001111001111110000000011110000001100000x100000000011111100111100110000000x10001111001111110000000011110000001100000x1000000011111100111100110000000x10001111001111110000000011110000001100000x10000011111100111100110000000x10001111001111110000000011110000001100000x100011111100111100110000000x10001111001111110000000011110000001100000x1011111100111100110000000x10001111001111110000000011110000001100000x11111100111100110000000x10001111001111110000000011110000001100000x111100111100110000000x10001111001111110000000011110000001100000x1100111100110000000x10001111001111110000000011110000001100000x10111100110000000x10001111001111110000000011110000001100000x111100110000000x10001111001111110000000011110000001100000x1100110000000x10001111001111110000000011110000001100000x10110000000x10001111001111110000000011110000001100000x110000000x10001111001111110000000011110000001100000x1000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111001111110000000011110000001100001x101111000000000011111100111100110000001x10001111001111110000000011110000001100001x1111000000000011111100111100110000001x10001111001111110000000011110000001100001x11000000000011111100111100110000001x10001111001111110000000011110000001100001x100000000011111100111100110000001x10001111001111110000000011110000001100001x1000000011111100111100110000001x10001111001111110000000011110000001100001x10000011111100111100110000001x10001111001111110000000011110000001100001x100011111100111100110000001x10001111001111110000000011110000001100001x1011111100111100110000001x10001111001111110000000011110000001100001x11111100111100110000001x10001111001111110000000011110000001100001x111100111100110000001x10001111001111110000000011110000001100001x1100111100110000001x10001111001111110000000011110000001100001x10111100110000001x10001111001111110000000011110000001100001x111100110000001x10001111001111110000000011110000001100001x1100110000001x10001111001111110000000011110000001100001x10110000001x10001111001111110000000011110000001100001x110000001x10001111001111110000000011110000001100001x1000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011000x101111001100001100110000111100001100000x10001111110011001100110000001100000011000x1111001100001100110000111100001100000x10001111110011001100110000001100000011000x11001100001100110000111100001100000x10001111110011001100110000001100000011000x101100001100110000111100001100000x10001111110011001100110000001100000011000x1100001100110000111100001100000x10001111110011001100110000001100000011000x10001100110000111100001100000x10001111110011001100110000001100000011000x101100110000111100001100000x10001111110011001100110000001100000011000x1100110000111100001100000x10001111110011001100110000001100000011000x10110000111100001100000x10001111110011001100110000001100000011000x110000111100001100000x10001111110011001100110000001100000011000x1000111100001100000x10001111110011001100110000001100000011000x10111100001100000x10001111110011001100110000001100000011000x111100001100000x10001111110011001100110000001100000011000x1100001100000x10001111110011001100110000001100000011000x10001100000x10001111110011001100110000001100000011000x101100000x10001111110011001100110000001100000011000x1100000x10001111110011001100110000001100000011000x10000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10001111110011001100110000001100000011001x101111001100001100110000111100001100001x10001111110011001100110000001100000011001x1111001100001100110000111100001100001x10001111110011001100110000001100000011001x11001100001100110000111100001100001x10001111110011001100110000001100000011001x101100001100110000111100001100001x10001111110011001100110000001100000011001x1100001100110000111100001100001x10001111110011001100110000001100000011001x10001100110000111100001100001x10001111110011001100110000001100000011001x101100110000111100001100001x10001111110011001100110000001100000011001x1100110000111100001100001x10001111110011001100110000001100000011001x10110000111100001100001x10001111110011001100110000001100000011001x110000111100001100001x10001111110011001100110000001100000011001x1000111100001100001x10001111110011001100110000001100000011001x10111100001100001x10001111110011001100110000001100000011001x111100001100001x10001111110011001100110000001100000011001x1100001100001x10001111110011001100110000001100000011001x10001100001x10001111110011001100110000001100000011001x101100001x10001111110011001100110000001100000011001x1100001x10001111110011001100110000001100000011001x10001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100110x111100110011000000001100111100000000110x10111111000011000000110011000000001100110x1100110011000000001100111100000000110x10111111000011000000110011000000001100110x10110011000000001100111100000000110x10111111000011000000110011000000001100110x110011000000001100111100000000110x10111111000011000000110011000000001100110x1011000000001100111100000000110x10111111000011000000110011000000001100110x11000000001100111100000000110x10111111000011000000110011000000001100110x100000001100111100000000110x10111111000011000000110011000000001100110x1000001100111100000000110x10111111000011000000110011000000001100110x10001100111100000000110x10111111000011000000110011000000001100110x101100111100000000110x10111111000011000000110011000000001100110x1100111100000000110x10111111000011000000110011000000001100110x10111100000000110x10111111000011000000110011000000001100110x111100000000110x10111111000011000000110011000000001100110x1100000000110x10111111000011000000110011000000001100110x10000000110x10111111000011000000110011000000001100110x100000110x10111111000011000000110011000000001100110x1000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x10111111000011000000110011000000001100111x111100110011000000001100111100000000111x10111111000011000000110011000000001100111x1100110011000000001100111100000000111x10111111000011000000110011000000001100111x10110011000000001100111100000000111x10111111000011000000110011000000001100111x110011000000001100111100000000111x10111111000011000000110011000000001100111x1011000000001100111100000000111x10111111000011000000110011000000001100111x11000000001100111100000000111x10111111000011000000110011000000001100111x100000001100111100000000111x10111111000011000000110011000000001100111x1000001100111100000000111x10111111000011000000110011000000001100111x10001100111100000000111x10111111000011000000110011000000001100111x101100111100000000111x10111111000011000000110011000000001100111x1100111100000000111x10111111000011000000110011000000001100111x10111100000000111x10111111000011000000110011000000001100111x111100000000111x10111111000011000000110011000000001100111x1100000000111x10111111000011000000110011000000001100111x10000000111x10111111000011000000110011000000001100111x100000111x10111111000011000000110011000000001100111x1000111x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000000x111111000000001100110000111100000000000x11111100000000110000111111000011000000000x1111000000001100110000111100000000000x11111100000000110000111111000011000000000x11000000001100110000111100000000000x11111100000000110000111111000011000000000x100000001100110000111100000000000x11111100000000110000111111000011000000000x1000001100110000111100000000000x11111100000000110000111111000011000000000x10001100110000111100000000000x11111100000000110000111111000011000000000x101100110000111100000000000x11111100000000110000111111000011000000000x1100110000111100000000000x11111100000000110000111111000011000000000x10110000111100000000000x11111100000000110000111111000011000000000x110000111100000000000x11111100000000110000111111000011000000000x1000111100000000000x11111100000000110000111111000011000000000x10111100000000000x11111100000000110000111111000011000000000x111100000000000x11111100000000110000111111000011000000000x1100000000000x11111100000000110000111111000011000000000x10000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x11111100000000110000111111000011000000001x111111000000001100110000111100000000001x11111100000000110000111111000011000000001x1111000000001100110000111100000000001x11111100000000110000111111000011000000001x11000000001100110000111100000000001x11111100000000110000111111000011000000001x100000001100110000111100000000001x11111100000000110000111111000011000000001x1000001100110000111100000000001x11111100000000110000111111000011000000001x10001100110000111100000000001x11111100000000110000111111000011000000001x101100110000111100000000001x11111100000000110000111111000011000000001x1100110000111100000000001x11111100000000110000111111000011000000001x10110000111100000000001x11111100000000110000111111000011000000001x110000111100000000001x11111100000000110000111111000011000000001x1000111100000000001x11111100000000110000111111000011000000001x10111100000000001x11111100000000110000111111000011000000001x111100000000001x11111100000000110000111111000011000000001x1100000000001x11111100000000110000111111000011000000001x10000000001x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100110x11001100111100000011110011001111000000110x1100001100111111000011111100001100001100110x101100111100000011110011001111000000110x1100001100111111000011111100001100001100110x1100111100000011110011001111000000110x1100001100111111000011111100001100001100110x10111100000011110011001111000000110x1100001100111111000011111100001100001100110x111100000011110011001111000000110x1100001100111111000011111100001100001100110x1100000011110011001111000000110x1100001100111111000011111100001100001100110x10000011110011001111000000110x1100001100111111000011111100001100001100110x100011110011001111000000110x1100001100111111000011111100001100001100110x1011110011001111000000110x1100001100111111000011111100001100001100110x11110011001111000000110x1100001100111111000011111100001100001100110x110011001111000000110x1100001100111111000011111100001100001100110x1011001111000000110x1100001100111111000011111100001100001100110x11001111000000110x1100001100111111000011111100001100001100110x101111000000110x1100001100111111000011111100001100001100110x1111000000110x1100001100111111000011111100001100001100110x11000000110x1100001100111111000011111100001100001100110x100000110x1100001100111111000011111100001100001100110x1000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x1100001100111111000011111100001100001100111x11001100111100000011110011001111000000111x1100001100111111000011111100001100001100111x101100111100000011110011001111000000111x1100001100111111000011111100001100001100111x1100111100000011110011001111000000111x1100001100111111000011111100001100001100111x10111100000011110011001111000000111x1100001100111111000011111100001100001100111x111100000011110011001111000000111x1100001100111111000011111100001100001100111x1100000011110011001111000000111x1100001100111111000011111100001100001100111x10000011110011001111000000111x1100001100111111000011111100001100001100111x100011110011001111000000111x1100001100111111000011111100001100001100111x1011110011001111000000111x1100001100111111000011111100001100001100111x11110011001111000000111x1100001100111111000011111100001100001100111x110011001111000000111x1100001100111111000011111100001100001100111x1011001111000000111x1100001100111111000011111100001100001100111x11001111000000111x1100001100111111000011111100001100001100111x101111000000111x1100001100111111000011111100001100001100111x1111000000111x1100001100111111000011111100001100001100111x11000000111x1100001100111111000011111100001100001100111x100000111x1100001100111111000011111100001100001100111x1000111x1true10011001101101010111001111111101110000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011110x111100110011000011110000000000001111110x10000000000011000011001100111111110011110x10110011000011110000000000001111110x10000000000011000011001100111111110011110x1011000011110000000000001111110x10000000000011000011001100111111110011110x11000011110000000000001111110x10000000000011000011001100111111110011110x100011110000000000001111110x10000000000011000011001100111111110011110x1011110000000000001111110x10000000000011000011001100111111110011110x11110000000000001111110x10000000000011000011001100111111110011110x110000000000001111110x10000000000011000011001100111111110011110x1000000000001111110x10000000000011000011001100111111110011110x10000000001111110x10000000000011000011001100111111110011110x100000001111110x10000000000011000011001100111111110011110x1000001111110x10000000000011000011001100111111110011110x10001111110x10000000000011000011001100111111110011110x101111110x10000000000011000011001100111111110011110x1111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10000000000011000011001100111111110011111x111100110011000011110000000000001111111x10000000000011000011001100111111110011111x10110011000011110000000000001111111x10000000000011000011001100111111110011111x1011000011110000000000001111111x10000000000011000011001100111111110011111x11000011110000000000001111111x10000000000011000011001100111111110011111x100011110000000000001111111x10000000000011000011001100111111110011111x1011110000000000001111111x10000000000011000011001100111111110011111x11110000000000001111111x10000000000011000011001100111111110011111x110000000000001111111x10000000000011000011001100111111110011111x1000000000001111111x10000000000011000011001100111111110011111x10000000001111111x10000000000011000011001100111111110011111x100000001111111x10000000000011000011001100111111110011111x1000001111111x10000000000011000011001100111111110011111x10001111111x10000000000011000011001100111111110011111x101111111x10000000000011000011001100111111110011111x1111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111000x110000000011110011110011000011110011000x10001100110000111100110011000000111111000x1000000011110011110011000011110011000x10001100110000111100110011000000111111000x10000011110011110011000011110011000x10001100110000111100110011000000111111000x100011110011110011000011110011000x10001100110000111100110011000000111111000x1011110011110011000011110011000x10001100110000111100110011000000111111000x11110011110011000011110011000x10001100110000111100110011000000111111000x1011110011000011110011000x10001100110000111100110011000000111111000x11110011000011110011000x10001100110000111100110011000000111111000x1011000011110011000x10001100110000111100110011000000111111000x11000011110011000x10001100110000111100110011000000111111000x100011110011000x10001100110000111100110011000000111111000x1011110011000x10001100110000111100110011000000111111000x11110011000x10001100110000111100110011000000111111000x1011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001100110000111100110011000000111111001x110000000011110011110011000011110011001x10001100110000111100110011000000111111001x1000000011110011110011000011110011001x10001100110000111100110011000000111111001x10000011110011110011000011110011001x10001100110000111100110011000000111111001x100011110011110011000011110011001x10001100110000111100110011000000111111001x1011110011110011000011110011001x10001100110000111100110011000000111111001x11110011110011000011110011001x10001100110000111100110011000000111111001x1011110011000011110011001x10001100110000111100110011000000111111001x11110011000011110011001x10001100110000111100110011000000111111001x1011000011110011001x10001100110000111100110011000000111111001x11000011110011001x10001100110000111100110011000000111111001x100011110011001x10001100110000111100110011000000111111001x1011110011001x10001100110000111100110011000000111111001x11110011001x10001100110000111100110011000000111111001x1011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100000x111100001100110011110011001100000000000x10001111000011000011001100001111001100000x1100001100110011110011001100000000000x10001111000011000011001100001111001100000x10001100110011110011001100000000000x10001111000011000011001100001111001100000x101100110011110011001100000000000x10001111000011000011001100001111001100000x10110011110011001100000000000x10001111000011000011001100001111001100000x1011110011001100000000000x10001111000011000011001100001111001100000x11110011001100000000000x10001111000011000011001100001111001100000x1011001100000000000x10001111000011000011001100001111001100000x101100000000000x10001111000011000011001100001111001100000x1100000000000x10001111000011000011001100001111001100000x10000000000x10001111000011000011001100001111001100000x100000000x10001111000011000011001100001111001100000x1000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111000011000011001100001111001100001x111100001100110011110011001100000000001x10001111000011000011001100001111001100001x1100001100110011110011001100000000001x10001111000011000011001100001111001100001x10001100110011110011001100000000001x10001111000011000011001100001111001100001x101100110011110011001100000000001x10001111000011000011001100001111001100001x10110011110011001100000000001x10001111000011000011001100001111001100001x1011110011001100000000001x10001111000011000011001100001111001100001x11110011001100000000001x10001111000011000011001100001111001100001x1011001100000000001x10001111000011000011001100001111001100001x101100000000001x10001111000011000011001100001111001100001x1100000000001x10001111000011000011001100001111001100001x10000000001x10001111000011000011001100001111001100001x100000001x10001111000011000011001100001111001100001x1000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100000x101111000000000011111100111100110000000x10001111001111110000000011110000001100000x1111000000000011111100111100110000000x10001111001111110000000011110000001100000x11000000000011111100111100110000000x10001111001111110000000011110000001100000x100000000011111100111100110000000x10001111001111110000000011110000001100000x1000000011111100111100110000000x10001111001111110000000011110000001100000x10000011111100111100110000000x10001111001111110000000011110000001100000x100011111100111100110000000x10001111001111110000000011110000001100000x1011111100111100110000000x10001111001111110000000011110000001100000x11111100111100110000000x10001111001111110000000011110000001100000x111100111100110000000x10001111001111110000000011110000001100000x10111100110000000x10001111001111110000000011110000001100000x111100110000000x10001111001111110000000011110000001100000x10110000000x10001111001111110000000011110000001100000x110000000x10001111001111110000000011110000001100000x1000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111001111110000000011110000001100001x101111000000000011111100111100110000001x10001111001111110000000011110000001100001x1111000000000011111100111100110000001x10001111001111110000000011110000001100001x11000000000011111100111100110000001x10001111001111110000000011110000001100001x100000000011111100111100110000001x10001111001111110000000011110000001100001x1000000011111100111100110000001x10001111001111110000000011110000001100001x10000011111100111100110000001x10001111001111110000000011110000001100001x100011111100111100110000001x10001111001111110000000011110000001100001x1011111100111100110000001x10001111001111110000000011110000001100001x11111100111100110000001x10001111001111110000000011110000001100001x111100111100110000001x10001111001111110000000011110000001100001x10111100110000001x10001111001111110000000011110000001100001x111100110000001x10001111001111110000000011110000001100001x10110000001x10001111001111110000000011110000001100001x110000001x10001111001111110000000011110000001100001x1000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011000x101111001100001100110000111100001100000x10001111110011001100110000001100000011000x1111001100001100110000111100001100000x10001111110011001100110000001100000011000x101100001100110000111100001100000x10001111110011001100110000001100000011000x1100001100110000111100001100000x10001111110011001100110000001100000011000x10001100110000111100001100000x10001111110011001100110000001100000011000x101100110000111100001100000x10001111110011001100110000001100000011000x10110000111100001100000x10001111110011001100110000001100000011000x110000111100001100000x10001111110011001100110000001100000011000x1000111100001100000x10001111110011001100110000001100000011000x10111100001100000x10001111110011001100110000001100000011000x111100001100000x10001111110011001100110000001100000011000x1100001100000x10001111110011001100110000001100000011000x10001100000x10001111110011001100110000001100000011000x101100000x10001111110011001100110000001100000011000x1100000x10001111110011001100110000001100000011000x10000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10001111110011001100110000001100000011001x101111001100001100110000111100001100001x10001111110011001100110000001100000011001x1111001100001100110000111100001100001x10001111110011001100110000001100000011001x101100001100110000111100001100001x10001111110011001100110000001100000011001x1100001100110000111100001100001x10001111110011001100110000001100000011001x10001100110000111100001100001x10001111110011001100110000001100000011001x101100110000111100001100001x10001111110011001100110000001100000011001x10110000111100001100001x10001111110011001100110000001100000011001x110000111100001100001x10001111110011001100110000001100000011001x1000111100001100001x10001111110011001100110000001100000011001x10111100001100001x10001111110011001100110000001100000011001x111100001100001x10001111110011001100110000001100000011001x1100001100001x10001111110011001100110000001100000011001x10001100001x10001111110011001100110000001100000011001x101100001x10001111110011001100110000001100000011001x1100001x10001111110011001100110000001100000011001x10001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100110x111100110011000000001100111100000000110x10111111000011000000110011000000001100110x10110011000000001100111100000000110x10111111000011000000110011000000001100110x1011000000001100111100000000110x10111111000011000000110011000000001100110x11000000001100111100000000110x10111111000011000000110011000000001100110x100000001100111100000000110x10111111000011000000110011000000001100110x1000001100111100000000110x10111111000011000000110011000000001100110x10001100111100000000110x10111111000011000000110011000000001100110x101100111100000000110x10111111000011000000110011000000001100110x10111100000000110x10111111000011000000110011000000001100110x111100000000110x10111111000011000000110011000000001100110x1100000000110x10111111000011000000110011000000001100110x10000000110x10111111000011000000110011000000001100110x100000110x10111111000011000000110011000000001100110x1000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x10111111000011000000110011000000001100111x111100110011000000001100111100000000111x10111111000011000000110011000000001100111x10110011000000001100111100000000111x10111111000011000000110011000000001100111x1011000000001100111100000000111x10111111000011000000110011000000001100111x11000000001100111100000000111x10111111000011000000110011000000001100111x100000001100111100000000111x10111111000011000000110011000000001100111x1000001100111100000000111x10111111000011000000110011000000001100111x10001100111100000000111x10111111000011000000110011000000001100111x101100111100000000111x10111111000011000000110011000000001100111x10111100000000111x10111111000011000000110011000000001100111x111100000000111x10111111000011000000110011000000001100111x1100000000111x10111111000011000000110011000000001100111x10000000111x10111111000011000000110011000000001100111x100000111x10111111000011000000110011000000001100111x1000111x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000000x111111000000001100110000111100000000000x11111100000000110000111111000011000000000x1111000000001100110000111100000000000x11111100000000110000111111000011000000000x11000000001100110000111100000000000x11111100000000110000111111000011000000000x100000001100110000111100000000000x11111100000000110000111111000011000000000x1000001100110000111100000000000x11111100000000110000111111000011000000000x10001100110000111100000000000x11111100000000110000111111000011000000000x101100110000111100000000000x11111100000000110000111111000011000000000x10110000111100000000000x11111100000000110000111111000011000000000x110000111100000000000x11111100000000110000111111000011000000000x1000111100000000000x11111100000000110000111111000011000000000x10111100000000000x11111100000000110000111111000011000000000x111100000000000x11111100000000110000111111000011000000000x1100000000000x11111100000000110000111111000011000000000x10000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x11111100000000110000111111000011000000001x111111000000001100110000111100000000001x11111100000000110000111111000011000000001x1111000000001100110000111100000000001x11111100000000110000111111000011000000001x11000000001100110000111100000000001x11111100000000110000111111000011000000001x100000001100110000111100000000001x11111100000000110000111111000011000000001x1000001100110000111100000000001x11111100000000110000111111000011000000001x10001100110000111100000000001x11111100000000110000111111000011000000001x101100110000111100000000001x11111100000000110000111111000011000000001x10110000111100000000001x11111100000000110000111111000011000000001x110000111100000000001x11111100000000110000111111000011000000001x1000111100000000001x11111100000000110000111111000011000000001x10111100000000001x11111100000000110000111111000011000000001x111100000000001x11111100000000110000111111000011000000001x1100000000001x11111100000000110000111111000011000000001x10000000001x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100110x101100111100000011110011001111000000110x1100001100111111000011111100001100001100110x10111100000011110011001111000000110x1100001100111111000011111100001100001100110x111100000011110011001111000000110x1100001100111111000011111100001100001100110x1100000011110011001111000000110x1100001100111111000011111100001100001100110x10000011110011001111000000110x1100001100111111000011111100001100001100110x100011110011001111000000110x1100001100111111000011111100001100001100110x1011110011001111000000110x1100001100111111000011111100001100001100110x11110011001111000000110x1100001100111111000011111100001100001100110x1011001111000000110x1100001100111111000011111100001100001100110x101111000000110x1100001100111111000011111100001100001100110x1111000000110x1100001100111111000011111100001100001100110x11000000110x1100001100111111000011111100001100001100110x100000110x1100001100111111000011111100001100001100110x1000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x1100001100111111000011111100001100001100111x101100111100000011110011001111000000111x1100001100111111000011111100001100001100111x10111100000011110011001111000000111x1100001100111111000011111100001100001100111x111100000011110011001111000000111x1100001100111111000011111100001100001100111x1100000011110011001111000000111x1100001100111111000011111100001100001100111x10000011110011001111000000111x1100001100111111000011111100001100001100111x100011110011001111000000111x1100001100111111000011111100001100001100111x1011110011001111000000111x1100001100111111000011111100001100001100111x11110011001111000000111x1100001100111111000011111100001100001100111x1011001111000000111x1100001100111111000011111100001100001100111x101111000000111x1100001100111111000011111100001100001100111x1111000000111x1100001100111111000011111100001100001100111x11000000111x1100001100111111000011111100001100001100111x100000111x1100001100111111000011111100001100001100111x1000111x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x1100110011011010111111101111111110110000000000011000011001100111111110011110x10111100110011000011110000000000001111110x10000000000011000011001100111111110011110x111100110011000011110000000000001111110x10000000000011000011001100111111110011110x1011000011110000000000001111110x10000000000011000011001100111111110011110x11000011110000000000001111110x10000000000011000011001100111111110011110x100011110000000000001111110x10000000000011000011001100111111110011110x1011110000000000001111110x10000000000011000011001100111111110011110x11110000000000001111110x10000000000011000011001100111111110011110x110000000000001111110x10000000000011000011001100111111110011110x1000000000001111110x10000000000011000011001100111111110011110x10000000001111110x10000000000011000011001100111111110011110x100000001111110x10000000000011000011001100111111110011110x1000001111110x10000000000011000011001100111111110011110x10001111110x10000000000011000011001100111111110011110x101111110x10000000000011000011001100111111110011110x1111110x10000000000011000011001100111111110011111x10111100110011000011110000000000001111111x10000000000011000011001100111111110011111x111100110011000011110000000000001111111x10000000000011000011001100111111110011111x1011000011110000000000001111111x10000000000011000011001100111111110011111x11000011110000000000001111111x10000000000011000011001100111111110011111x100011110000000000001111111x10000000000011000011001100111111110011111x1011110000000000001111111x10000000000011000011001100111111110011111x11110000000000001111111x10000000000011000011001100111111110011111x110000000000001111111x10000000000011000011001100111111110011111x1000000000001111111x10000000000011000011001100111111110011111x10000000001111111x10000000000011000011001100111111110011111x100000001111111x10000000000011000011001100111111110011111x1000001111111x10000000000011000011001100111111110011111x10001111111x10000000000011000011001100111111110011111x101111111x10000000000011000011001100111111110011111x1111111x10001100110000111100110011000000111111000x10110000000011110011110011000011110011000x10001100110000111100110011000000111111000x110000000011110011110011000011110011000x10001100110000111100110011000000111111000x1000000011110011110011000011110011000x10001100110000111100110011000000111111000x10000011110011110011000011110011000x10001100110000111100110011000000111111000x100011110011110011000011110011000x10001100110000111100110011000000111111000x1011110011110011000011110011000x10001100110000111100110011000000111111000x11110011110011000011110011000x10001100110000111100110011000000111111000x1011110011000011110011000x10001100110000111100110011000000111111000x11110011000011110011000x10001100110000111100110011000000111111000x1011000011110011000x10001100110000111100110011000000111111000x11000011110011000x10001100110000111100110011000000111111000x100011110011000x10001100110000111100110011000000111111000x1011110011000x10001100110000111100110011000000111111000x11110011000x10001100110000111100110011000000111111000x1011000x10001100110000111100110011000000111111001x10110000000011110011110011000011110011001x10001100110000111100110011000000111111001x110000000011110011110011000011110011001x10001100110000111100110011000000111111001x1000000011110011110011000011110011001x10001100110000111100110011000000111111001x10000011110011110011000011110011001x10001100110000111100110011000000111111001x100011110011110011000011110011001x10001100110000111100110011000000111111001x1011110011110011000011110011001x10001100110000111100110011000000111111001x11110011110011000011110011001x10001100110000111100110011000000111111001x1011110011000011110011001x10001100110000111100110011000000111111001x11110011000011110011001x10001100110000111100110011000000111111001x1011000011110011001x10001100110000111100110011000000111111001x11000011110011001x10001100110000111100110011000000111111001x100011110011001x10001100110000111100110011000000111111001x1011110011001x10001100110000111100110011000000111111001x11110011001x10001111000011000011001100001111001100000x10111100001100110011110011001100000000000x10001111000011000011001100001111001100000x111100001100110011110011001100000000000x10001111000011000011001100001111001100000x1100001100110011110011001100000000000x10001111000011000011001100001111001100000x10001100110011110011001100000000000x10001111000011000011001100001111001100000x1011110011001100000000000x10001111000011000011001100001111001100000x11110011001100000000000x10001111000011000011001100001111001100000x101100000000000x10001111000011000011001100001111001100000x1100000000000x10001111000011000011001100001111001100000x10000000000x10001111000011000011001100001111001100000x100000000x10001111000011000011001100001111001100000x1000000x10001111000011000011001100001111001100001x10111100001100110011110011001100000000001x10001111000011000011001100001111001100001x111100001100110011110011001100000000001x10001111000011000011001100001111001100001x1100001100110011110011001100000000001x10001111000011000011001100001111001100001x10001100110011110011001100000000001x10001111000011000011001100001111001100001x1011110011001100000000001x10001111000011000011001100001111001100001x11110011001100000000001x10001111000011000011001100001111001100001x101100000000001x10001111000011000011001100001111001100001x1100000000001x10001111000011000011001100001111001100001x10000000001x10001111000011000011001100001111001100001x100000001x10001111000011000011001100001111001100001x1000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100000x101111000000000011111100111100110000000x10001111001111110000000011110000001100000x1111000000000011111100111100110000000x10001111001111110000000011110000001100000x11000000000011111100111100110000000x10001111001111110000000011110000001100000x100000000011111100111100110000000x10001111001111110000000011110000001100000x1000000011111100111100110000000x10001111001111110000000011110000001100000x10000011111100111100110000000x10001111001111110000000011110000001100000x100011111100111100110000000x10001111001111110000000011110000001100000x1011111100111100110000000x10001111001111110000000011110000001100000x11111100111100110000000x10001111001111110000000011110000001100000x111100111100110000000x10001111001111110000000011110000001100000x10111100110000000x10001111001111110000000011110000001100000x111100110000000x10001111001111110000000011110000001100000x10110000000x10001111001111110000000011110000001100000x110000000x10001111001111110000000011110000001100000x1000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111001111110000000011110000001100001x101111000000000011111100111100110000001x10001111001111110000000011110000001100001x1111000000000011111100111100110000001x10001111001111110000000011110000001100001x11000000000011111100111100110000001x10001111001111110000000011110000001100001x100000000011111100111100110000001x10001111001111110000000011110000001100001x1000000011111100111100110000001x10001111001111110000000011110000001100001x10000011111100111100110000001x10001111001111110000000011110000001100001x100011111100111100110000001x10001111001111110000000011110000001100001x1011111100111100110000001x10001111001111110000000011110000001100001x11111100111100110000001x10001111001111110000000011110000001100001x111100111100110000001x10001111001111110000000011110000001100001x10111100110000001x10001111001111110000000011110000001100001x111100110000001x10001111001111110000000011110000001100001x10110000001x10001111001111110000000011110000001100001x110000001x10001111001111110000000011110000001100001x1000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011000x101111001100001100110000111100001100000x10001111110011001100110000001100000011000x1111001100001100110000111100001100000x10001111110011001100110000001100000011000x101100001100110000111100001100000x10001111110011001100110000001100000011000x1100001100110000111100001100000x10001111110011001100110000001100000011000x10001100110000111100001100000x10001111110011001100110000001100000011000x10110000111100001100000x10001111110011001100110000001100000011000x110000111100001100000x10001111110011001100110000001100000011000x1000111100001100000x10001111110011001100110000001100000011000x10111100001100000x10001111110011001100110000001100000011000x111100001100000x10001111110011001100110000001100000011000x1100001100000x10001111110011001100110000001100000011000x10001100000x10001111110011001100110000001100000011000x101100000x10001111110011001100110000001100000011000x1100000x10001111110011001100110000001100000011000x10000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10001111110011001100110000001100000011001x101111001100001100110000111100001100001x10001111110011001100110000001100000011001x1111001100001100110000111100001100001x10001111110011001100110000001100000011001x101100001100110000111100001100001x10001111110011001100110000001100000011001x1100001100110000111100001100001x10001111110011001100110000001100000011001x10001100110000111100001100001x10001111110011001100110000001100000011001x10110000111100001100001x10001111110011001100110000001100000011001x110000111100001100001x10001111110011001100110000001100000011001x1000111100001100001x10001111110011001100110000001100000011001x10111100001100001x10001111110011001100110000001100000011001x111100001100001x10001111110011001100110000001100000011001x1100001100001x10001111110011001100110000001100000011001x10001100001x10001111110011001100110000001100000011001x101100001x10001111110011001100110000001100000011001x1100001x10001111110011001100110000001100000011001x10001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100110x111100110011000000001100111100000000110x10111111000011000000110011000000001100110x1011000000001100111100000000110x10111111000011000000110011000000001100110x11000000001100111100000000110x10111111000011000000110011000000001100110x100000001100111100000000110x10111111000011000000110011000000001100110x1000001100111100000000110x10111111000011000000110011000000001100110x10001100111100000000110x10111111000011000000110011000000001100110x10111100000000110x10111111000011000000110011000000001100110x111100000000110x10111111000011000000110011000000001100110x1100000000110x10111111000011000000110011000000001100110x10000000110x10111111000011000000110011000000001100110x100000110x10111111000011000000110011000000001100110x1000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x10111111000011000000110011000000001100111x111100110011000000001100111100000000111x10111111000011000000110011000000001100111x1011000000001100111100000000111x10111111000011000000110011000000001100111x11000000001100111100000000111x10111111000011000000110011000000001100111x100000001100111100000000111x10111111000011000000110011000000001100111x1000001100111100000000111x10111111000011000000110011000000001100111x10001100111100000000111x10111111000011000000110011000000001100111x10111100000000111x10111111000011000000110011000000001100111x111100000000111x10111111000011000000110011000000001100111x1100000000111x10111111000011000000110011000000001100111x10000000111x10111111000011000000110011000000001100111x100000111x10111111000011000000110011000000001100111x1000111x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000000x111111000000001100110000111100000000000x11111100000000110000111111000011000000000x1111000000001100110000111100000000000x11111100000000110000111111000011000000000x11000000001100110000111100000000000x11111100000000110000111111000011000000000x100000001100110000111100000000000x11111100000000110000111111000011000000000x1000001100110000111100000000000x11111100000000110000111111000011000000000x10001100110000111100000000000x11111100000000110000111111000011000000000x10110000111100000000000x11111100000000110000111111000011000000000x110000111100000000000x11111100000000110000111111000011000000000x1000111100000000000x11111100000000110000111111000011000000000x10111100000000000x11111100000000110000111111000011000000000x111100000000000x11111100000000110000111111000011000000000x1100000000000x11111100000000110000111111000011000000000x10000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x11111100000000110000111111000011000000001x111111000000001100110000111100000000001x11111100000000110000111111000011000000001x1111000000001100110000111100000000001x11111100000000110000111111000011000000001x11000000001100110000111100000000001x11111100000000110000111111000011000000001x100000001100110000111100000000001x11111100000000110000111111000011000000001x1000001100110000111100000000001x11111100000000110000111111000011000000001x10001100110000111100000000001x11111100000000110000111111000011000000001x10110000111100000000001x11111100000000110000111111000011000000001x110000111100000000001x11111100000000110000111111000011000000001x1000111100000000001x11111100000000110000111111000011000000001x10111100000000001x11111100000000110000111111000011000000001x111100000000001x11111100000000110000111111000011000000001x1100000000001x11111100000000110000111111000011000000001x10000000001x1100001100111111000011111100001100001100110x1111001100111100000011110011001111000000110x1100001100111111000011111100001100001100110x10111100000011110011001111000000110x1100001100111111000011111100001100001100110x111100000011110011001111000000110x1100001100111111000011111100001100001100110x1100000011110011001111000000110x1100001100111111000011111100001100001100110x10000011110011001111000000110x1100001100111111000011111100001100001100110x100011110011001111000000110x1100001100111111000011111100001100001100110x1011110011001111000000110x1100001100111111000011111100001100001100110x11110011001111000000110x1100001100111111000011111100001100001100110x101111000000110x1100001100111111000011111100001100001100110x1111000000110x1100001100111111000011111100001100001100110x11000000110x1100001100111111000011111100001100001100110x100000110x1100001100111111000011111100001100001100110x1000110x1100001100111111000011111100001100001100111x1111001100111100000011110011001111000000111x1100001100111111000011111100001100001100111x10111100000011110011001111000000111x1100001100111111000011111100001100001100111x111100000011110011001111000000111x1100001100111111000011111100001100001100111x1100000011110011001111000000111x1100001100111111000011111100001100001100111x10000011110011001111000000111x1100001100111111000011111100001100001100111x100011110011001111000000111x1100001100111111000011111100001100001100111x1011110011001111000000111x1100001100111111000011111100001100001100111x11110011001111000000111x1100001100111111000011111100001100001100111x101111000000111x1100001100111111000011111100001100001100111x1111000000111x1100001100111111000011111100001100001100111x11000000111x1100001100111111000011111100001100001100111x100000111x1100001100111111000011111100001100001100111x1000111x110011100111011111101111111110111111111101110001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x10111111000011000000110011000000001100111x10111100110011000000001100111100000000111x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x11111100000000110000111111000011000000001x11111111000000001100110000111100000000001x10001111001111110000000011110000001100001x10001111000000000011111100111100110000001x10001111001111110000000011110000001100000x10001111000000000011111100111100110000000x10001111110011001100110000001100000011000x10001111001100001100110000111100001100000x10001111110011001100110000001100000011001x10001111001100001100110000111100001100001x1true10014101121111441101321001310111111000011000000110011000000001100111x10111100110011000000001100111100000000111x10111111000011000000110011000000001100110x10111100110011000000001100111100000000110x1true1011111111110111001101101111100000000110000111111000011000000001x11111111000000001100110000111100000000001x11111100000000110000111111000011000000000x11111111000000001100110000111100000000000x1true1111211111411012410014101121AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (15 real / 0 unknown / 0 assumptions / 15 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe