#include<stdio.h>
FILE*f=fopen("fractii.in","r");
FILE*g=fopen("fractii.out","w");
int v[1000002],j,i,nr,n,a,b,r;
int main () {
	fscanf(f,"%d",&n);
	nr=n;
	for(i=2;i<=n;i++){
		nr+=n;
		for(j=2;j<=n;j++){
			if(i%j==0||j&i==0)
				nr--;
			else{
				if(i>j){
					a=i;
					b=j;
				}
				else{
					b=i;
					a=j;
				}
				while(b!=0){
					r=a%b;
					a=b;
					b=r;
				}
				if(a!=1)
					nr--;
			}
		}
	}
	fprintf(g,"%d",nr);
	
	fclose(f);
	fclose(g);
	return 0;
}