#include<stdio.h>
int main(){
long long int k,a[3],j,min,l,sum=0;
scanf("%lld", &k);
  
  for(a[0]=1;a[0]<=k;a[0]++){
    for(a[1]=1;a[1]<=k;a[1]++){
      for(a[2]=1;a[2]<=k;a[2]++){
        while(1){
            min=a[0];
            l=0;
        for(j=0;j<2;j++){
          if(a[j]>a[j+1]){
            min=a[j+1];
            l=j+1;
          }
        }
            if(a[0]%min==0&&a[1]%min==0&&a[2]%min==0){
              sum+=min;
              break;
            }
          else{
            for(j=0;j<2;j++){
              if(j!=l){
                a[j]=a[j]%min;
              }
            }
          }
        }
      }
    }
  }
  printf("%lld\n",sum);
return 0;
}
