#include<stdio.h>

int main(){
  int k, i=0,gcd=1;
  long long int sum=0;
  scanf("%d",&k);
  
  for(int a = k; a>=2; a--){
    for(int b = a-1; b>= 1; b--){
      for(int c = b; c >=1;c--){
        for(i = 1; i<=c;i++){
          if(a % i == 0 && b % i == 0 && c % i == 0) gcd = i*6;
        }
        sum += gcd;
      }
    }
  }
  for(i = 1; i<=k; i++) sum += i;
  printf("%lld",sum);
}