#include<stdio.h>

int main()
{
  int k, i, j, a, b, c, max_d;
  int d[] = {1, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 
             41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97};
  long sum = 0;
  
  scanf("%d", &k);
  
  for(a = 1; a <= k; a++)
  {
    for(b = 1; b <= k; b++)
    {
      for(c = 1; c <= k; c++)
      {
        for(j = 0; j < 26; j++)
        {
          if(a == b && b == c)    
            max_d = a;
          
          else if(a % d[j] == 0 && b % d[j] == 0 && c % d[j] == 0)
            max_d *= d[j];
        }
        sum += max_d;
        max_d = 1;
      }
    }
  }
  
  printf("%ld", sum);
  
  return 0;
}