SAT
0011000011001011000001110010000001000001111011101011101010001011010110001001100001000101111010000111000011001010010000101101001001001000101010011011111010110111011011100010001101110001010111011101100110110100110100001010000010101110101101111101101111011010000001010100101001101110010001011111011011000100110001111010111100000100110110100110111100101011101010111101001000000010100000000100101110001111100110100000101110110000100010100001001001110101011000010100000101011011110111100111111101111000101000001011111000111010001101101000000111001111111110110011101100100111110011100011001101011001011111000001101101111001011111101110010111010011101111010111101011100110011100100001110111100110000011001111011111001110010001011011111011111001000110001010011100010011110110001011101100100100111011100010110100010001000110100101000011101011001000110101010001100110101001001111110110111111010011100011110011101100100110111100111110111110001100010111100001110011000100010110000010100010101100000100100111011110010011101011000010001111010000011100000100110111101111011111111001100101100011100111110010000110001101011001001011100001000001001110110000100000100001100111000111001111101100100100100000000101100010101111000000011000111101111101101111000000110100011101111001001101011001110110010110101011111000111001010111101110100001110101110100000111100000010010110010101100010000110110101101000100111110011011001001101001101000011110011110111100110111010000010111010111110010011001010111111010111101011101011001101010011101100010001100101001011110110100011000000010110101101010110001111011000010011011001101000111100011111000010011100111011010001010101110111111111100000110011110100111111011100111110011111000011101000001101010110111001011011101011010010010101101001100011111011101100011000110101010011010110110111010111011001111110010001010010111001101010101010101101001100111100111010111010000110100110010000000001110010000110110101000101111111101101111001011011110000101111001110011110010111110111011100000011001100111001110001100010000010011111110100011111111111011000111101100110111011001100100100111101000101101100001001111101000111111100011000011111100001001110010100100100111001111101101001100110111101110110000000101001100110101011011011110111011110011111011111100001111110011101111101010110000101000110001000010100000110101111011101101001000011101111001000000100011111111101011001101010111101110011111111010101011010001110011011001111011110001000011000001110110000111011101100010111111101100011001010111001010111001000110111011011000110010001000000011011100100000011001111000010010110110100110010001100011011110010010010011110101000000000001011111110001111100001011111111001110010010101101000100100111010011111110110101101010010001000001010110011111111101110100000011000100101010011000111100100100001111100011110010101101111110101100011010000011000100110100100000010100000000110110011000010000100101101100101001100010010000110100011010011010000001010010000110100101010010010010100011011000100101110111101101001000110001001100010010100111001100011001100110111010011001101100100010010001100100101101101110000110011000110000000110010010100000001000011000111110011110111111001101001111011010011010101110111011001000100001011100110111001110110011101111111011010000111000001110001100011110101111001111000011110000011010001010110000010011101100111111101000000101100100100001110001110000110100010011111111000101011001110100101011100111101010110000111010001000100110110011011111111011010111001001000111000010111000010001111001010001011110100011111110000110111010011100011100011000001000101001001101011001000001001111001110010011111010100100011000001101011010101101111110101101100000010100010100010001001111111111000111010111110101011010100010010011111001111101011110010000111001000100000001100000111101011011111101010010011101110101000111111010011111000100101110011011001101100000100001000000011111111010100000001101010110111011110100100110011110111101011100000110101111011111100110011101111110000000011101111101010010000111011000100100011111111100000001100010001011110010001111110011110011001011100110111110010011000001010011100001001110011000001011011010001001111010010010010000110001001100011101100100010011101010000010010110011111001110101110110111110000011101111001111010000011110011001010101010001100100000111111000000011000010110001011111011111011010110110111010011010110000000101001010001010010111000011111100000000011010111111011111110101111101111010101100000011010000111100001101100010101110010110010001000001110101011100111101010000101010101110111001101111000000101110110110100110100110100100001110000001010001110111101011111010111111101101010000100010001101110111001001000001101100101111011000011000001010100110101010100101101000100000000010011100000010001001001100100000000100110111111110010000000100001100011100100101101100001001100100111010101111101001100110110110111101110101000001111010001101110110100001001111001110011111101100011011100010111100000111010100001001001000101011110100111111010000100000010001110111101000101011000100100000101000010101100100100110111000000000101011111101001001111010000001111010011101100111001111011101011101001110110101100001100011001111011111000000010000110000000010011011011010001001101101001011000011110101100101001111110001110010101111001110000111101100000101110010001010010101110100000110100101110011010010001001110001111110100101001010000111100101011010110010011011011110001111010111111000011011100111010101011100101001110011111000101110101010010010101011100010010010100000001100101110011010001100110000001110001111100100101001011011100011011001101011100100110011001111010011100011000000010011001011100001010001101001010010100101010010110110111011101100001001001000000000111011011111011010010111011000001101000110111001000011111100101000100101101111001101001010100110100010111100010001111011010101001011110001000111000001110010100110001000111000110110110110001011111100101000001011100100101111000111101111011011110000010011011110011110101001001001111110100011110010010011011110111011001100010010000100000011011000110001000100110011001001010111110010100011100100010011110010101101001110000001001011101111000101000110111011110011100001001101000001110010111010111110000110011011001011111001110000000001101110111010101100001100100111011100011111010100110000111100011100001000101100011000111001110011010100011001011011000100110010010000101100101000000101011110010110101001011110001010010111011000001001111100101010110111111011101000011101100011101000101001010100100011011000011001011011111100000011111011101001011111010010011000011111011010111110000001110010101011001000011101000000111110100010010110010110010011100000110000001011110111100001100100100001001111000111010111010101100110010011110101110100001100011110011110111100101001001100001110100000111010100100010000010100110010000110111111101001000110111011110011000100100000100000011010000110011101111101110010001110001000110000110100111111111010111011101001100110000001110111100111101011100011110110001111011000000101101101101111101001100011101111100000010100011001111101111000011001000100100000011111011001001101110100000110101000011110010010001001011011000011011110010011011010111010001100000001000000011111100110111011000110101000000111010101011110101011111111011000010011101001000001110011110101101101111011111110000111011101111011100000010111110001011101001000100011010011011111011111111010010110101011010101101000011110100011011000100100111010111111001111110010100100110011001100100000101000011101010001000101111001101110111100110010101001101000100111110111100101000100000011001011101010110110110101111010110100000100101011000100010011001011001110010011110110010111111001111100101110100011010000111111010100111100011011010001000000110100000110110101001010100001010010010001011101101001000101011011010000111000110001010110111110010011010010011110010010100001001000010111000101111000010001001110101110100101101001011011110001101010101101010100111001110101011101111000011000101001101110111010011010001000110101110010001001000101001100100010100101111111001000101111100101110111001000100100110011001000000111001100110000001000001111011000100100111110001011110000000100001011100000110011010011101100000111001110101101110100000010100111010100110111000101110010100111101011111000101010101101111011111011010110000100110111011110011010111110111011001110001110001101010100001000001001000100000010011110100011000001100101001001110101110000100100111111010110001110001101110100110011010010010010000011100101011100000101110011011010111011110001011001100000100111011110000100011010010111110101100001010000110010111101100111011001000101010000011010100011011101100001110011000010000001111110010010101111110011110001010101101011011010101000101001000101010001101010010110100111011101001001111000001101101010110000001110001001010000100110001010000000000001111001010101101100111110110011110110101111110000111011000100011111111001010100111100001111100100001110111001100110100010100001011010010101111101011100110001111010110101000011011101100001110011101100011111010110010110001011110001100011111011010100000110101111000000101000111000110010000001110001001111000000000111110010110100001100101101111100000010110110100110101011101111101011001000110100000100101010011010011101011011111000000101000101001110011000011110100100100100101010010010000110111110100011101010011011111111000011011110001100010111101011001011010111010000001001111000100111111010001001000000101001000111000100000101000000010110110101110001001111000001000001101110101100001010111111000111000011010101110111001111011110011010011000011111111000110101100000100011100001111001101110100111000010001110001011100100111110010011110001010111111110001100101010000011010001100100111011100011110101000001010011001111001100000010010000100101111000111100110101001001000110000010110101110110100010000011110101000000111110101101011010110101100101100111000011110001111111000011101000000000101101110000010011010100101110110100000110111100100110000111110101111010000000110111100