#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main() {
  int n;
  cin >> n;
  
  ll ans=0;
  for(int i=1; i<n-1; i++){
   for(int j=i+1; j<n; j++){
     for(int k=j+1; k<n+1; k++){
       int I=i,J=j,K=k;
       int x=1;
       for(int l=I; l>1; l--){
         if(I%l==0 && J%l==0 && K%l==0){
           I/=l;
           J/=l;
           K/=l;
           x*=l;
           break;
         }
       }
       
       for(int l=I; l>1; l--){
        if(I%l==0 && J%l==0){
          I/=l;
          J/=l; 
          x*=l;
          l=I+1;
        }
         else if(I%l==0 && K%l==0){
          I/=l;
          K/=l;
          x*=l;
          l=I+1;
        }
       }
       
       for(int l=J; l>1; l--){
        if(I%l==0 && J%l==0){
          J/=l;
          K/=l; 
          x*=l;
          break;
        }
       }
       
       ans+=I*J*K*x*6;
     }
   }
  }
  
  for(int i=1; i<n; i++){
   for(int j=1; j<n+1; j++){
     if(i==j) continue;
       int I=i,J=i,K=j;
       int x=1;
       for(int l=I; l>1; l--){
         if(I%l==0 && J%l==0 && K%l==0){
           I/=l;
           J/=l;
           K/=l;
           x*=l;
           break;
         }
       } 
      ans+=I*J*K*x*3;
   }
  }
  

  
    for(int i=1; i<n+1; i++){
       ans+=i;
   }
  cout << ans << endl;
}
