SAT
1101000111011000111001100000001011101010110010001001101101111111001000001001011110000000111100011111111000101100100100100110111000010110110000011101111100001101000000011001100010111100100100001101100000111110111000010000110000110111000110101101110111000000111110010101111001110110010011000101100110000100110111110001100100110110010011000011111111101111101100101000100110101000110001010100100000110101110010001011010000010010001000011001001110011011010110110110110010110101100101010101110100011001010001001010011001010011010010110110010001001101001010111010001000100100100010111000011111101001110110101100110000001001111001011000010100011001000100011101100000001001001101101110101011001001100000000100010101111111011000110111111101100100111001110110101101010011101001011011110101010100011110001101110011100010111110111100100001110111101100000111110001011101010011100010010010101011110000000001011010000101101000110110011001101000000011101101110111011111001101001011101010111100101010100010111000110100111011100001111111000100100110101000010000111100000011101100110000100100011101000011100010001001111111111001100111101110110000010101110010101100010101111111010010101100110010011111000100001000010100110001000011100010000100011001100100001000000000000010011100010000100001001101101100100110111101111111010100011101000011001111000111000011100011111110110001101110000000110011111000010010101010010101110110001101001000011110000010101011011110010111010110110111111110011100101000100111100101010101100100111111101100010010010010001011110000110010010001100101100011100000010011110110000011011010110010011010101011011101000101010011100000100000101111011011111010100011001001001011110111000100000001101000110111000011001010010100010000011000101110010110101111111111010111001110111011001100111011110100000010011010111001010111000101101101110111100000100011100010100011110101011001111110010011001101000010101001111000011110000011111110100001010111110101111010101010000100001010110100111010100001111100000100001011000010000101010010010000000100010111111100011010011010100111100011100111100001110011001101011010110101011010101110111001100000011011010101110011100001101100111010110110101110000001111101100000101110101010110100011101111100110101110011001001000101110000001011000010110000101001110110000101100101100000001101010001101100110101001001101001100111001011000011111001011111100111011010111000110000101010000001100000001101011011001100101101011010000010111010110000111001101010010010011111110111000101011100000011010010101100001111011111011010100001011101111000000111010111011011110001010100000011111100001000111001101111111110001111000100010110100011101010001110010010110101110111000101001111100001010001010000110101101011111011111001101101110011101001100001010110000100110111001011101111011000101101010000110011100111010110000100001000011110000011100111110000000010011100110110010001101101100101100011000111110111011101101110010010100110101111010110000010011010010101111010110111011010011100001010001110000001100000011101100111110001101101011010011001100111100100011101101010010110110101011000001100110011001010101110111010000010001001011110101100110011001101101100001110111001110111001011101010010100001101010001111110001000010000000111010011010101001101100111011011110000101111011100000111011100011111101011110001011100000110101111001001110111000110010011001110000000111101011000001000001100000000111010111001000010011101001010101000000100110111110011111110100011111111100111101110001010001110001110000111000101101001111000000111011001011001100000111111111010110110011110100110100111011010001010110011000011101111000101101011100101011010101110000010111010100010101101101011111110001101101101111101001100011110010101011001110001101101101100101011100000111110000110111001011110000000011110111010001101001110011011111000101000000000100001100001110001011011011111110010100000100000111010111001000001010010010011000101110111011011110110001000110100001110010111001000000101100110100011110101000100010000100110010011000010000010011000010111110110010000000001001001000011100010011011011011001101000001010011011000100111011001101101101110010110010001100100000011101010100111110110111101001001101101111100110111000110011001111000101010101100000110111011001111101111101011111100100101000101111000110101011001001010010010100000100110111011101100100101011001011000010111111000110101000100011010001011000110101011110100001101111110011010000101010010110001100011111010010001100111100101001000011110111111001110000101001111111000010101010101000010110001010110111100101101001001000101000110111100110000110011101011110101100111100101010011111010000010110001111101000010001110010011000100011010110001000111110111001110111110110110110101011000100011011000011000011001000100111000101001110011100001001010111011000010101001111101000001010111100101111111001101001001001000010000110001100010100001001111110010000000011000010001101110001100110110010110111001111000111001110110011001010110100010101001111010011111010100110101011110101000001100001010011101000001010110011101001101110100001101000001100010110010101111000110011001111110100101101111011000101001110001011000100111011101110010000000000110100111111001110101001001001000111110100000110110010110011101010101111111001010011000001101000111000000100000001100100100000111000000010100100000010100111000100100110100110110100010001101001010111101100111011010011011111111100010100100001000001100101011101101011001001101110100110101011111010010101111010001110100100001000001101011110000111100010000101101011010110110101011011111101011001100011000010110001111001111111001000000001110100011100111000100011011010101111001111100001011110011111101101001110011111001110010101000010110011010100100001000010000001011010111010000000100110110010111010001000000000111100101100111000000001001110101010010100101001010110011100100101110101101001010001001111111100111101011110111111101010111101110010111111100010100001000011100001011000110111100100110111001101011111101110111101110011110100011100100010001111111110101110101111101001011101010111101111101010111111010101000001111100011110111000001011100000101110111001110000100001001000010101100100011001011010110110111110000010010110111010010001011000000000001011000110011001100000000100110011100011010110011011000010001001101100000111110010010011011011101001001010011010011010101000011111111001100001111010110010111010100000110100111011000111101100110110110100011110001010000110111100101110111011111000000010001111101101110001111011011110110001111101011001010101000111100100001110111011111101001011101110110011000001111001100101010101111110000000011101011001000000111010010000000110011100000000010101000010110111111011011101100100001100111000110001100010111001011101111111111111011111110010111011001110011101010001110101111100000110011111010010000010011101101100100011000000100110111001011101001001101111100011000100001101101000110001001000100111111001111101110101101001111100011011101111000100010110001101100001100011110000001110111101011110010011010011011101100011110100111110011010110100000001101011000110111111110101001001001100000111100010111001101011111101101010101010001100010111010000111110111010110001000110011111110000111000011011101010011101000000011111110000110011010001101111111010000010001011110011101010100011111110101000101001111011101110001111001101101001110111000111011110010100110010011001001011110011010010001101100110010111001100001100100111011000001010100010010000001110011111011111001010111110000111110101000001101000010111111100011000110110000001000011010100010110111000010110010000001011110110101101110001001101101010100011001110011111011101010111011010110000001110001110101111010111100110110010010011001111010000110101101000011010110101010010011100000100101100111000101010011000010000000010001000000101101101100101111110110011011101001110100111000111100000111000100001011100010001101101110110101101010100101100010100001110100010111101011101100111111000000001100010011111101100011100100110000000001100011101110100101110100000011101010100001010100011001000001101000011111010000001001100110000010011100010010001101110111111010000010001001111001110101001000000000110010101000101010100000100111100101000100100100110100110101001010010010000110100110101101101011010011110101010001010110000001110111101101001001001010010010001001011101001111111010010011010000101011011110101000101101000000010101001010000010000010110101000000000100110111111110100100000100101011000011001110001001001011110011110011110011110010110010101100101100010001010011000001010110100010110100001000100100011000100101011001001101111101110011101101101001100010100010101001111011101001011010000001111010101100000000101100110010100111100010100101011100001000111100010000110100001000000100111000011111100101101001001010011010001110101111001000110110101000000111001100000101100011001101111001101111110010100101001010111111000111111110100011111111110001101111100011011010101111000000100011100101000111100111010010000010100101101100111100000001100101101011100000111000000011001010110011000000011111101000100000011000000000000111011110000001010110110110010000101100100100011101100010011110110000010001010000110110101111100100001001100100010011001010100100100000101011011000000100010000110111011110010100100011010001110100001110001011011011110010101100100000000001100101000000110000001101111111001111011101110111001111000111010101011001110001101010110001101111100000111110000000001100010110100100011101101000010100101000010000001101010010011011000100001001100000001001000001100100101001010000000101001100000010110011110110110010111001011111100001101110010011100001110101010010100000101100010010111101101100111001011101101100101111001111011111010100010100010100110000001110011001010000001100111111110001001101000001011001010100001000010101011110001101100110110101100110011001001101011000001111001010000000101011110010010101101001111111101000111110011000010101010101011101110011010010010010111111010110000011110111011000011110010011111100010011111011010001001000111101