#include <stdio.h>
long gcd(int n,int m){
    if(n%m==0) return m;
    else return gcd(m,n%m);
}
int main(void){
    int x,i,j,k;
    long ans=0;
    scanf("%d",&x);
    for(i=1;i<=x;i++){
        for(j=1;j<=x;j++){
            long tmp = gcd(i,j);
            for(k=1;k<=x;k++){
                ans += gcd(tmp,k);
            }
        }
    }
    printf("%ld",ans);
    return 0;
}
