module Main where

import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM

import Data.Maybe (fromJust)
import qualified Data.ByteString.Char8 as BS
bytestr2Int = fst . fromJust . BS.readInt
getInt = bytestr2Int <$> BS.getLine
getIntL_H = map bytestr2Int. BS.words <$> BS.getLine
getIntL_V n = replicate n $ getInt
getInt2D n = replicate n $ getIntL_H

data Curr = Zero
          | One Int
          | Two Int Int
          | Filled Int Int Int
          deriving (Show)

main :: IO ()
main = do
    [k,s] <- getIntL_H
    putStrLn $ show . length $ check k s 0 Zero

check k s a c =
    if k<a then
        []
    else case c of
        Zero -> next c (One a)
        (One x) -> next c (Two x a)
        (Two x y) -> if a==s
            then
                next c (Filled x y a)
            else
                check k s (a+1) c
        _ -> [c]
    where
        next rm ad = check k s (a+1) rm ++ check k (s-a) 0 ad