#include<bits/extc++.h>
using namespace std;
using ll=long long;

int main(){
	ll K;cin>>K;
	const int N=16;
	const int MK=217;
	vector aja(N,vector(N,false));
	for(int i=0;i<4;i++) for(int j=0;j<3;j++){
		aja[i*4+j][i*4+j+1]=1;
		aja[i*4+j+1][i*4+j]=1;
	}
	for(int i=0;i<3;i++) for(int j=0;j<4;j++){
		aja[i*4+j][i*4+j+4]=1;
		aja[i*4+j+4][i*4+j]=1;
	}

	vector<ll> br(1<<N);
	for(ll msk=0;msk<(1<<N);msk++){
		ll cnt=0;
		for(int x=0;x<N;x++) if(msk>>x&1){
			for(int y=0;y<N;y++) if(!(msk>>y&1)){
				if(aja[x][y])cnt++;
			}
		}		
		br[msk]=cnt;
	}


	vector dp(1<<N,vector(MK,0LL));
	dp[0][0]=1;
	for(ll msk=0;msk<(1<<N)-1;msk++){
		for(ll k=0;k<MK;k++){
			if(dp[msk][k]==0) continue;

			ll m=popcount(unsigned(msk))+1;
			for(int i=0;i<N;i++) if(!(msk>>i&1)){
				ll nmsk=msk|(1LL<<i);
				dp[nmsk][k+br[nmsk]]+=dp[msk][k];
			}
		}
	}

	cout<<dp[(1<<N)-1][K]<<endl;

}