import Control.Monad
import Text.Printf
import Control.Applicative
import Data.List

main :: IO()
main = do
    ia <- getLine
    ib <- getLine
    ic <- getLine
    ix <- getLine
    printf "%d" $ length $ filter (== (read ix :: Integer)) [500*a+100*b+50*c|a <-[0..(read ia :: Integer)], b <-[0..(read ib :: Integer)], c <-[0..(read ic :: Integer)]]