#include <stdio.h>
 
int main(void)
{
  int k,a,b,c,sum=0;
  scanf("%d",&k);
  int max[k][k][k]={{{0,0},{0,0}},{{0,0},{0,0}}};
  for(a=1;a<=k;a++)
    for(b=1;b<=k;b++)
      for(c=1;c<=k;c++)
        if((a%c==0) && (b%c==0))
          max[a][b][c]=c;
  for(a=1;a<=k;a++)
    for(b=1;b<=k;b++)
      for(c=1;c<=k;c++)
        sum+=max[a][b][c];
  printf("%d",sum);
  
  return 0;
}