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

n = int(input())

factor_list = defaultdict(int)
for i in range(1, n+1):
    p = 2
    t = i
    while p <= n**0.5+5:
        if t%p == 0:
            factor_list[p] += 1
            t //= p
        else:
            p += 1
    if t > 1:
        factor_list[t] += 1

nums = [0 for _ in range(1000)]

for k, v in factor_list.items():
    nums[v] += 1

for i in range(998, -1, -1):
    nums[i] += nums[i+1]

print(nums[74]+nums[24]*(nums[2]-1)+nums[14]*(nums[4]-1)+ \
    nums[4]*(nums[4]-1)*(nums[2]-2)//2)
