import Control.Applicative ((<$>), (<*>)) import Data.ByteString.Char8 (ByteString) import qualified Data.ByteString.Char8 as B main :: IO () main = do solve <$> getl (readi B.readInt) <*> getl (readi B.readInt) >>= print solve :: Int -> Int -> Int solve l n = 2 ^ (l - 3) * n getl :: (ByteString -> a) -> IO a getl f = f <$> B.getLine readi :: Integral a => (ByteString -> Maybe (a, ByteString)) -> ByteString -> a readi f s = let Just (n, _) = f s in n