Problem:
Score : 200 points

Problem Statement

You have A 500-yen coins, B 100-yen coins and C 50-yen coins (yen is the currency of Japan).
In how many ways can we select some of these coins so that they are X yen in total?

Coins of the same kind cannot be distinguished. Two ways to select coins are distinguished when, for some kind of coin, the numbers of that coin are different.

Constraints

0 \leq A, B, C \leq 50

A + B + C \geq 1

50 \leq X \leq 20 000

A, B and C are integers.

X is a multiple of 50.

Input

Input is given from Standard Input in the following format:

A
B
C
X

Output

Print the number of ways to select coins.

Sample Input 1

2
2
2
100

Sample Output 1

2

There are two ways to satisfy the condition:

Select zero 500-yen coins, one 100-yen coin and zero 50-yen coins.

Select zero 500-yen coins, zero 100-yen coins and two 50-yen coins.

Sample Input 2

5
1
0
150

Sample Output 2

0

Note that the total must be exactly X yen.

Sample Input 3

30
40
50
6000

Sample Output 3

213

Solution in Common Lisp (SBCL 1.1.14) (judge verdict: Accepted)

(let ((A (read))
      (B (read))
      (C (read))
      (X (read)))
  (format t "~A~%"
          (loop for k upto A with totalA = 0
             do
               (setf totalA (* k 500))
             when (> totalA X) return ans1
             sum (loop for m upto B with totalB
                    do
                      (setf totalB (+ totalA (* 100 m)))
                    when (> totalB X) return ans2
                    sum (loop for n upto C with totalC
                           do
                             (setf totalC (+ totalB (* 50 n)))
                           when (> totalC X) return ans3
                           count (= totalC X) into ans3
                           finally (return ans3))
                    into ans2
                    finally (return ans2))
             into ans1
             finally (return ans1))))