#include <stdio.h>

int main()
{
  int k;
  scanf("%d",&k);
  int gcdsum=0;
  for(int i=1;i<=k;i++){
    for(int j=1;j<=k;j++){
      for(int m=1;m<=k;m++){
        for(int n=k;n>0;n--){
          if(i%n==0&&j%n==0&&m%n==0){
            gcdsum+=n;
          	break;
          }
        }
      }
    }
  }
  printf("%d",gcdsum);
  return 0;
}