#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<>2), y=(j&3), t=0; for(int k=0; k<4; k++){ int x1=x+dx[k], y1=y+dy[k]; if(x1<0 || x1>=d || y1<0 || y1>=d) continue; int j1=((x1<<2)^y1); if(i&(1<=0 && k1<=2*K){ dp[k1][i^(1<