#include using namespace std; #include using namespace atcoder; using ll = long long; int a,b,c,d; int dp[14][14][14][14]; int dfs(int q,int w,int e,int r){ if(dp[q][w][e][r]!=-1)return dp[q][w][e][r]; set st; for(int i = q-1;i>=max(0,q-3);i--){ st.insert(dfs(i,w,e,r)); } for(int i = w-1;i>=max(0,w-3);i--){ st.insert(dfs(q,i,e,r)); } for(int i = e-1;i>=max(0,e-3);i--){ st.insert(dfs(q,w,i,r)); } for(int i = r-1;i>=max(0,r-3);i--){ st.insert(dfs(q,w,e,i)); } int res = -1; for(int i = 0;;i++){ if(st.count(i)==0){ res = i; break; } } return dp[q][w][e][r] = res; } void solve(){ for(int i = 0;i<14;i++){ for(int j = 0;j<14;j++){ for(int k = 0;k<14;k++){ for(int l = 0;l<14;l++){ dp[i][j][k][l] = -1; } } } } if(dfs(a,b,c,d)==0)cout<<"Jiro"<> a >> b >> c >> d; solve(); }