import Control.Applicative ((<$>)) solve :: Integral a => a -> a -> a solve n 1 = 2 ^ (n - 1) - n solve n k = 2 ^ (n - k) main :: IO () main = do [n, k] <- fmap read . words <$> getLine :: IO [Int] print $ solve n k