#include <iostream>
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
ll n,rans,mp2[100];
map<ll,ll>mp;
int main(void){
    cin>>n;
    for(int i=2;i<=n;i++){
        ll L=i;
        for(int j=2;j<=L;j++){
            if(L==1)break;
            while(L%j==0&&L!=1){
                //cout<<L<<j<<endl;
                mp[j]++;
                L/=j;
            }
        }
    }
    for(auto x:mp){
        //cout<<x.first<<x.second<<endl;
        mp2[x.second]++;
    }
    for(int i=99;i>0;i--){
        mp2[i-1]+=mp2[i];
    }
    rans+=mp2[74]+mp2[24]*max(0LL,mp2[2]-1)+mp2[14]*(max(0LL,mp2[4]-1))+mp2[4]*max(0LL,(mp2[4]-1))*max(0LL,(mp2[2]-2))/2;
    cout<<rans<<endl;
}
