def factorization(n):

    arr = []

    temp = n

    for i in range(2, int(-(-n**0.5//1))+1):

        if temp%i == 0:

            cnt = 0

            while temp%i == 0:

                cnt += 1

                temp //= i

            arr.append([i, cnt])

    if temp != 1:

        arr.append([temp, 1])

    if arr == []:

        arr.append([n, 1])

    return arr



n = int(eval(input()))

exponent = [[0]*(n+1) for i in range(n+1)]



for i in range(2,n+1):

  for j in range(n+1):

    exponent[i][j] += exponent[i-1][j]

  Fi = factorization(i)

  for f in Fi:

    exponent[i][f[0]] += f[1]



c75,c25,c15,c5,c3 = 0,0,0,0,0

for e in exponent[n]:

  if e >= 74:

    c75 += 1

  if e >= 24:

    c25 += 1

  if e >= 14:

    c15 += 1

  if e >= 4:

    c5 += 1

  if e >= 2:

    c3 += 1

print((

  c75 + c25*(c3-c25)+c25*(c25-1) + c15*(c5-c15)+c15*(c15-1) + (c5*(c5-1))//2*(c5-2)+(c5*(c5-1))//2*(c3-c5)

    ))
from collections import defaultdict



def factorization(n):

    if n == 1: return []

    res = []

    x = n

    y = 2

    while y * y <= x:

        while x % y == 0:

            res.append(y)

            x //= y

        y += 1

    if x > 1: res.append(x)

    return res



N = int(eval(input()))



D = defaultdict(int)



for i in range(1, N + 1):

    F = factorization(i)

    for f in F:

        D[f] += 1



cnt_75 = 0

cnt_25 = 0

cnt_15 = 0

cnt_5 = 0

cnt_3 = 0



for v in list(D.values()):

    if v + 1 >= 75:

        cnt_75 += 1

    if v + 1 >= 25:

        cnt_25 += 1

    if v + 1 >= 15:

        cnt_15 += 1

    if v + 1 >= 5:

        cnt_5 += 1

    if v + 1 >= 3:

        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)
def factorization(n):
    arr = []
    temp = n
    for i in range(2, int(-(-(n**0.5) // 1)) + 1):
        if temp % i == 0:
            cnt = 0
            while temp % i == 0:
                cnt += 1
                temp //= i
            arr.append([i, cnt])
    if temp != 1:
        arr.append([temp, 1])
    if arr == []:
        arr.append([n, 1])
    return arr


n = int(eval(input()))
exponent = [[0] * (n + 1) for i in range(n + 1)]
for i in range(2, n + 1):
    for j in range(n + 1):
        exponent[i][j] += exponent[i - 1][j]
    Fi = factorization(i)
    for f in Fi:
        exponent[i][f[0]] += f[1]
c75, c25, c15, c5, c3 = 0, 0, 0, 0, 0
for e in exponent[n]:
    if e >= 74:
        c75 += 1
    if e >= 24:
        c25 += 1
    if e >= 14:
        c15 += 1
    if e >= 4:
        c5 += 1
    if e >= 2:
        c3 += 1
print(
    (
        c75
        + c25 * (c3 - c25)
        + c25 * (c25 - 1)
        + c15 * (c5 - c15)
        + c15 * (c15 - 1)
        + (c5 * (c5 - 1)) // 2 * (c5 - 2)
        + (c5 * (c5 - 1)) // 2 * (c3 - c5)
    )
)

from collections import defaultdict


def factorization(n):
    if n == 1:
        return []
    res = []
    x = n
    y = 2
    while y * y <= x:
        while x % y == 0:
            res.append(y)
            x //= y
        y += 1
    if x > 1:
        res.append(x)
    return res


N = int(eval(input()))
D = defaultdict(int)
for i in range(1, N + 1):
    F = factorization(i)
    for f in F:
        D[f] += 1
cnt_75 = 0
cnt_25 = 0
cnt_15 = 0
cnt_5 = 0
cnt_3 = 0
for v in list(D.values()):
    if v + 1 >= 75:
        cnt_75 += 1
    if v + 1 >= 25:
        cnt_25 += 1
    if v + 1 >= 15:
        cnt_15 += 1
    if v + 1 >= 5:
        cnt_5 += 1
    if v + 1 >= 3:
        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)

-def factorization(n): -    arr = [] -    temp = n -    for i in range(2, int(-(-(n**0.5) // 1)) + 1): -        if temp % i == 0: -            cnt = 0 -            while temp % i == 0: -                cnt += 1 -                temp //= i -            arr.append([i, cnt]) -    if temp != 1: -        arr.append([temp, 1]) -    if arr == []: -        arr.append([n, 1]) -    return arr +from collections import defaultdict -n = int(eval(input())) -exponent = [[0] * (n + 1) for i in range(n + 1)] -for i in range(2, n + 1): -    for j in range(n + 1): -        exponent[i][j] += exponent[i - 1][j] -    Fi = factorization(i) -    for f in Fi: -        exponent[i][f[0]] += f[1] -c75, c25, c15, c5, c3 = 0, 0, 0, 0, 0 -for e in exponent[n]: -    if e >= 74: -        c75 += 1 -    if e >= 24: -        c25 += 1 -    if e >= 14: -        c15 += 1 -    if e >= 4: -        c5 += 1 -    if e >= 2: -        c3 += 1 -print( -    ( -        c75 -        + c25 * (c3 - c25) -        + c25 * (c25 - 1) -        + c15 * (c5 - c15) -        + c15 * (c15 - 1) -        + (c5 * (c5 - 1)) // 2 * (c5 - 2) -        + (c5 * (c5 - 1)) // 2 * (c3 - c5) -    ) -) +def factorization(n): +    if n == 1: +        return [] +    res = [] +    x = n +    y = 2 +    while y * y <= x: +        while x % y == 0: +            res.append(y) +            x //= y +        y += 1 +    if x > 1: +        res.append(x) +    return res + + +N = int(eval(input())) +D = defaultdict(int) +for i in range(1, N + 1): +    F = factorization(i) +    for f in F: +        D[f] += 1 +cnt_75 = 0 +cnt_25 = 0 +cnt_15 = 0 +cnt_5 = 0 +cnt_3 = 0 +for v in list(D.values()): +    if v + 1 >= 75: +        cnt_75 += 1 +    if v + 1 >= 25: +        cnt_25 += 1 +    if v + 1 >= 15: +        cnt_15 += 1 +    if v + 1 >= 5: +        cnt_5 += 1 +    if v + 1 >= 3: +        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)