You are given an integer N. Among the divisors of N! (= 1 \times 2 \times ... \times N), how many Shichi-Go numbers (literally "Seven-Five numbers") are there?

Here, a Shichi-Go number is a positive integer that has exactly 75 divisors.

Constraints

* 1 \leq N \leq 100
* N is an integer.

Input

Input is given from Standard Input in the following format:


N


Output

Print the number of the Shichi-Go numbers that are divisors of N!.

Examples

Input

9


Output

0


Input

10


Output

1


Input

100


Output

543
from collections import defaultdict
d = defaultdict(int)

N = int(input())


for i in range(2, N+1):
    for j in range(2, i+1):
        while i % j == 0:
            d[j] += 1
            i = i//j
        if i == 1:
            break
# print(d)

c74, c24, c14, c4, c2 = 0, 0, 0, 0, 0
for v in d.values():
    if v >= 74:
        c74 += 1
    if v >= 24:
        c24 += 1
    if v >= 14:
        c14 += 1
    if v >= 4:
        c4 += 1
    if v >= 2:
        c2 += 1


ans = 0
ans += c74
ans += c24*(c2-1)
ans += c14*(c4-1)
ans += c4*(c4-1)//2*(c2-2)
print(ans)
