#include<stdio.h>

int main()
{
  int k, i, a, b, c, max_d;
  int tmp_a, tmp_b, tmp_c;
  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++)
      {
        tmp_a = a;
        tmp_b = b;
        tmp_c = c;
        for(i = 0; i < 26; i++)
        {  
          if(a == b && b == c)    
            max_d = a;
          
          else if(tmp_a % d[i] == 0 && tmp_b % d[i] == 0 && tmp_c % d[i] == 0)
          {
            tmp_a /= d[i];
            tmp_b /= d[i];
            tmp_c /= d[i];
            max_d *= d[i];
            i = 0;
          }
        }
        sum += max_d;
        max_d = 1;
      }
    }
  }
  
  printf("%ld", sum);
  
  return 0;
}