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
