#include<stdio.h>
int gcd(int a,int b){
  if(b==0)return a;
  return gcd(b,a%b);
}
int main(){
  int K;
  scanf("%d",&K);
  long long int ans=0;
  for(int i=1;i<K+1;i++)
	  for(int j=1;j<K+1;j++){
        int x=gcd(i,j);
		  for(int k=1;k<K+1;k++)ans+=gcd(x,k);
      }
  printf("%d",ans);
}
