#include<stdio.h>
int gcd(int,int,int);
int main(void){
  int N=0;
  long count=0;
  scanf("%d",&N);
  for(int i=0;i<=N;i++){
    for(int j=0;j<=N;j++){
      for(int k=0;k<=N;k++){
        count=count+gcd(i,j,k);
      }
    }
  }
  printf("%ld",count);
  return 0;
}
int gcd(int a,int b,int c){
  int count=0,ans=0;
  int max=a;
  if(b>max)max=b;
  if(c>max)max=c;
  for(int i=0,count=0;i<=max;i++){
    if(a%i==0)count++;
    if(b%i==0)count++;
    if(c%i==0)count++;
    if(count==3)ans=i;
  }
  return ans;
}