main :: IO ()
main = do
    a <- readLn
    b <- readLn
    c <- readLn
    x <- readLn :: IO Int
    let combinations = [i * 500 + j * 100 + k * 50 | i <- [0..a], j <- [0..b], k <- [0..c]]
    print . length $ filter (== x) combinations