output_description: Print the number of the Shichi-Go numbers that are divisors of N!.
  
  * * *
input_description: Input is given from Standard Input in the following format:
  
      
      
      N
attempt: def fac(n):  # nは2以上
      a = []
      t = n
      if t % 2 == 0:
          count = 0
          while t % 2 == 0:
              count += 1
              t //= 2
          a.append([2, count])
  
      for i in range(3, n + 1, 2):
          if i * i > n:
              break
          if t % i == 0:
              count = 0
              while t % i == 0:
                  count += 1
                  t //= i
              a.append([i, count])
  
      if t != 1:
          a.append([t, 1])
  
      return a
  
  
  from sys import stdin
  
  
  def main():
      # 入力
      readline = stdin.readline
      n = int(readline())
  
      d = dict()
      for i in range(1, n + 1):
          li = fac(i)
          for p in li:
              if p[0] not in d:
                  d[p[0]] = p[1]
              else:
                  d[p[0]] += p[1]
  
      cnt_75 = 0
      cnt_25 = 0
      cnt_15 = 0
      cnt_5 = 0
      cnt_3 = 0
      for v in d.values():
          if v >= 74:
              cnt_75 += 1
              cnt_25 += 1
              cnt_15 += 1
              cnt_5 += 1
              cnt_3 += 1
          elif v >= 24:
              cnt_25 += 1
              cnt_15 += 1
              cnt_5 += 1
              cnt_3 += 1
          elif v >= 14:
              cnt_15 += 1
              cnt_5 += 1
              cnt_3 += 1
          elif v >= 4:
              cnt_5 += 1
              cnt_3 += 1
          elif v >= 2:
              cnt_3 += 1
  
      ans = 0
      ans += cnt_75
      ans += cnt_25 * (cnt_3 - 1)
      ans += cnt_15 * (cnt_5 - 1)
      ans += cnt_5 * (cnt_5 - 1) // 2 * (cnt_3 - 2)
      print(ans)
  
  
  if __name__ == "__main__":
      main()
  
problem_description: 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.
samples: [{"input": "9", "output": "0\n    \n\nThere are no Shichi-Go numbers among the divisors of 9! = 1 \\times 2 \\times\n... \\times 9 = 362880.\n\n* * *"}, {"input": "10", "output": "1\n    \n\nThere is one Shichi-Go number among the divisors of 10! = 3628800: 32400.\n\n* * *"}, {"input": "100", "output": "543"}]