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

见题面

见题面