#include <cstdio>
using namespace std;

inline int gcd(int a, int b) {while(b ^= a ^= b ^= a %= b); return a;}

int main(int argc, char** argv)
{
	int k, s = 0;
	scanf("%d", &k);
	k ++;
	for(int a=1; a<k; a++)
		for(int b=1; b<k; b++)
			for(int c=1; c<k; c++)
				s += gcd(gcd(a, b), c);
	printf("%d\n", s);
	return 0;
}