#include<iostream>
#include<stdio.h>
FILE *f,*g;
unsigned long n,nr=1;unsigned long st[100000];
int valid(int p)
{
	unsigned short ok=1;
	if(st[p-1]==st[p])
		ok=0;
	if(st[p-1]!=0)
		if((!(st[p-1]%st[p])||!(st[p]%st[p-1]))&&st[p]!=1&&st[p-1]!=1)
			ok=0;
	return ok;
}
void back(int p)
{
	for(unsigned long pval=1;pval<=n;pval++)
	{
		st[p]=pval;
		if(valid(p))
			if(p==2)
				nr++;
			else
				back(p+1);
	}
}
int main()
{
	f=fopen("fractii.in","r");
	g=fopen("fractii.out","w");
	fscanf(f,"%d",&n);
	st[0]=0;
	back(1);
	fprintf(g,"%ld",nr);
	return 0;
}