(ns Atcoder.ABC087-B)

(require '[clojure.string :as str])

(def A (read))
(def B (read))
(def C (read))
(def X (read))
;(println A B C X)

(defn calc [x y z]
  (+ (* x 500) (* y 100) (* z 50))
  )

(def solve
  (count
    (for
      [x (range 0 (+ A 1))
       y (range 0 (+ B 1))
       z (range 0 (+ C 1))
       :when (= (calc x y z) X)                             ;計算結果がXと一致した時
       ] 1
      )
    )
  )

(println solve)