#include<stdio.h>
FILE*f=fopen("12perm.in","r");
FILE*g=fopen("12perm.out","w");
int t(int n)
	{
	if(n==1)  return 1;
	else if(n==2) return 2;
	else if (n==3) return 6;
	else if (n==4) return 12;
	else return t(n-1)+t(n-3)+2*(n-1);
	}
int main()
{
long n;
long long unsigned x;
fscanf(f,"%ld",&n);
x=t(n);
fprintf(g,"%llu",x);
return 0;
}