open System

let readInt () = stdin.ReadLine() |> int
let readIntArray () = stdin.ReadLine().Split(' ') |> Array.map int64
let readString () = stdin.ReadLine()

let A = readInt ()
let B = readInt ()
let C = readInt ()
let X = readInt ()

let solve () : unit = 
    [| for a in 0..A do 
            for b in 0..B do 
                for c in 0..C do
                    yield a * 500 + b * 100 + c * 50 |]
    |> Array.filter (fun a -> a = X)
    |> Array.length
    |> printfn "%d"

[<EntryPoint>]
let main argv = 
    solve()
    0
