#include <stdio.h>
#include <stdlib.h>

int gcd( int a, int b )
{
    if( b == 0 ) return( a );

    return( gcd( b, a % b ) );
}

int main( int argc, char *argv[] )
{
    int n;
    long long tot = 0;

    scanf( "%d", &n );

    for( int i=1; i<=n; i++ )
    for( int j=1; j<=n; j++ )
    for( int k=1; k<=n; k++ ) {

        int g = gcd( gcd( i, j ), k );

        tot += g;
    }

    printf( "%lld\n", tot );
}
