#include <stdio.h>
#include <time.h>
int main(){
  int i,j,k,t=1;
  int N;
int ans=0;
  scanf("%d",&N);
  clock_t start,end;
  start = clock();
  for(i=1;i<=N;i++){
    t=i;
    for(j=1;j<=N;j++){
      for(k=1;k<=N;k++){
        if(k%t == 0 && j%t == 0 && i%t == 0){
          ans+=t;
        }else{
          t--;
        }
      }
    }
  }
  end = clock();
  printf("%f秒かかりました\n",(double)(end-start)/CLOCKS_PER_SEC);

  printf("%d\n",ans);
  return 0;
}