CF997B.Roman Digits

Let's introduce a number system which is based on a roman digits. There are digits I, V, X, L which correspond to the numbers $1$, $5$, $10$ and $50$ respectively. The use of other roman digits is not allowed.

Numbers in this system are written as a sequence of one or more digits. We define the value of the sequence simply as the sum of digits in it.

For example, the number XXXV evaluates to $35$ and the number IXI — to $12$.

Pay attention to the difference to the traditional roman system — in our system any sequence of digits is valid, moreover the order of digits doesn't matter, for example IX means $11$, not $9$.

One can notice that this system is ambiguous, and some numbers can be written in many different ways. Your goal is to determine how many distinct integers can be represented by exactly $n$ roman digits I, V, X, L.

我们来介绍一种基于罗马数字的数制系统。该系统包含数字 I、V、X、L，分别对应数值 $1$、$5$、$10$ 和 $50$。不允许使用其他罗马数字。

该系统中的数由一个或多个数字组成的序列表示。我们定义该序列的值为其所含所有数字对应数值的和。

例如，数 XXXV 的值为 $35$，而数 IXI 的值为 $12$。

请注意，这与传统的罗马数字系统不同：在本系统中，任意数字序列均合法；此外，数字的顺序无关紧要，例如 IX 表示 $11$，而非 $9$。

可以注意到，该系统是有歧义的，某些整数可以用多种不同的方式表示。你的任务是：确定恰好使用 $n$ 个罗马数字（I、V、X、L 中的若干个，总数为 $n$） 能表示出多少个互不相同的整数。

The only line of the input file contains a single integer $n$ ($1 \le n \le 10^9$) — the number of roman digits to use.

输入文件的唯一一行包含一个整数 $n$（$1 \le n \le 10^9$）——表示要使用的罗马数字个数。

Output a single integer — the number of distinct integers which can be represented using $n$ roman digits exactly.

输出一个整数——恰好使用 $n$ 个罗马数字所能表示的不同整数的个数。

In the first sample there are exactly $4$ integers which can be represented — I, V, X and L.

In the second sample it is possible to represent integers $2$ (II), $6$ (VI), $10$ (VV), $11$ (XI), $15$ (XV), $20$ (XX), $51$ (IL), $55$ (VL), $60$ (XL) and $100$ (LL).

在第一个样例中，恰好有 $4$ 个整数可以被表示——即 I、V、X 和 L。

在第二个样例中，可以表示的整数有 $2$（II）、$6$（VI）、$10$（VV）、$11$（XI）、$15$（XV）、$20$（XX）、$51$（IL）、$55$（VL）、$60$（XL）和 $100$（LL）。