#include "stdio.h"

int main(void)
{
    int K;
    int a,b,c;
    int i;
    long int kei=0;
    int flag;
    scanf("%d",&K);

    for(a=1;a<=K;a++)
    {
        for(b=1;b<=K;b++)
        {
            for(c=1;c<=K;c++)
            {
                for(i=1;i<=200;i++)
                {
                    if(a%i==0)
                    {
                        if(b%i==0)
                        {
                            if(c%i==0)
                            {
                                flag = i;
                            }
                        }
                    }
                }
                kei=kei+flag;
                flag=1;
            }
        }
    }
    printf("%ld",kei);
}