#include <stdio.h>
typedef long long int lld;

int gcd(int a, int b) {
  int r;
  while (1) {
    if (b == 0) {
      return a;
    }
    r = a % b;
    a = b;
    b = r;
  }
}

int main(void) {
  lld s = 0;
  int k, t;
  scanf("%d", &k);
  for (int a = 1; a <= k; a++) {
    if (a == 1) {
      s += k * k;
      continue;
    }
    for (int b = 1; b <= k; b++) {
      if (b == 1) {
        s += k;
        continue;
      }
      t = gcd(a, b);
      if (t == 1) {
        s += k;
        continue;
      }
      for (int c = 1; c <= k; c++) {
        if (c == 1) {
          s++;
          continue;
        }
        s += gcd(t, c);
      }
    }
  }
  printf("%lld\n", s);
}