#include #include #include using namespace atcoder; using mint = modint1000000007; using namespace std; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf 1000000001 int main(){ int K; cin>>K; vector dp(1<<16,vector(500,0)); int center = 250; vector B(17,vector()); rep(i,1<<16){ int c = 0; rep(j,16){ if((i>>j)&1)c++; } B[c].push_back(i); } dp[0][center] = 1LL; vector dx = {1,-1,0,0},dy = {0,0,1,-1}; rep(i,16){ rep(j,B[i].size()){ int b = B[i][j]; rep(k,500){ if(dp[b][k]==0)continue; rep(l,16){ if((b>>l)&1)continue; int nb = b | (1<=4||xx<0||xx>=4)continue; int t = yy + xx*4; if((b>>t)&1){ nk += i; } else{ nk -= i; } } dp[nb][nk] += dp[b][k]; } } } } cout<