P23853 [AtCoder] 756
普及+
题目描述

Problem Statement

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.

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!.

Constraints

  • $1 \leq N \leq 100$
  • N is an integer.

Sample Input 1

9

Sample Output 1

0

There are no Shichi-Go numbers among the divisors of 9! $= 1 \times 2 \times ... \times 9 = 362880$.

Sample Input 2

10

Sample Output 2

1

There is one Shichi-Go number among the divisors of 10! = 3628800: 32400.

Sample Input 3

100

Sample Output 3

543

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
9
样例输出
0