#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; ll dp[216*2+1][1<<16]; int main() { int K; cin>>K; int n=16, d=4; dp[K][0]=1; int dx[4]={1,-1,0,0}, dy[4]={0,0,1,-1}; for(int i=0; i<(1<=d || y1<0 || y1>=d) continue; int j1=x1*d+y1; if(i&(1<=0 && k1<=2*K){ dp[k1][i^(1<