#include <stdio.h>

int main(void){
    int k,i=0;
    int ak,bk,ck,num=0;
    scanf("%d",&k);
    for(int a=1;a<=k;a++){
        for(int b=1;b<=k;b++){
            for(int c=1;c<=k;c++){
                for(i=a;i>1;i--){
                    ak=a%i;
                    bk=b%i;
                    ck=c%i;
                    if(ak==0&&bk==0&&ck==0){
                        break;
                    }
                }
                num=num+i;
            }
        }
    }
    printf("%d",num);
    return 0;
}