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