#include <bits/stdc++.h>

#ifndef M_PI
#define M_PI 3.14159265358979
#endif
#define deg_to_rad(deg) (((deg) / 360) * 2 * M_PI)
#define rad_to_deg(rad) (((rad) / 2 / M_PI) * 360)

using namespace std;

typedef long long ll;
typedef vector<ll> vll;
typedef vector<int> vi;
typedef pair<ll, ll> pll;
typedef pair<int, int> pi;
typedef long double ld;
typedef pair<long double, long double> pld;

const ll INF = 1e18;
const ll MOD = 1e9 + 7;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    ll i, j;

    ll L;
    cin >> L;
    ll ans;
    ans = L - 1;
    ans = ans * (L - 2);
    ans = ans * (L - 3);
    ans = ans * (L - 4) / 8 / 3;
    ans = ans * (L - 5) / 5;
    ans = ans * (L - 6) / 6;
    ans = ans * (L - 7) / 7;
    ans = ans * (L - 8) / 4;
    ans = ans * (L - 9) / 9;
    ans = ans * (L - 10) / 10;
    ans = ans * (L - 11) / 11;
    ans /= 2;

    cout << ans << endl;

    return 0;
}

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=10000;
int pcnt;
int primes[N];
bool st[N];
ll ans[2550];
void init()
{
	for(int i=2;i<=N;i++)
	{
		if(!st[i]) primes[pcnt++]=i;
		for(int j=0;i*primes[j]<=N;j++)
		{
			st[i*primes[j]]=true;
			if(i%primes[j]==0) break;
		}
	}
}
int main()
{

	int n;
	cin>>n;
	ans[1]=6;
	ans[2]=15;
	ans[3]=10;
	int i=4;
	for(int j=12;j<=10000;j+=6)
	{
		ans[i++]=j;
		if(i>n) break;
	}
	
	for(int j=30;j<=10000;j+=15)
	{
		if(j%6==0) continue;
		ans[i++]=j;
		if(i>n) break;
	}

for(int j=20;j<=10000;j+=10)
	{
		if(j%6==0||j%15==0) continue;
		ans[i++]=j;
		if(i>n) break;
	}


	for(int i=1;i<=n;i++) 
	cout<<ans[i]<<" ";

}