#include using namespace std; #if __has_include() #include using namespace atcoder; typedef modint998244353 mint; #endif typedef long long ll; typedef pair pii; typedef pair pll; const int INF = 1e9; const long long LINF = 1e18; const int MOD = 998244353; const int MOD1 = 1e9+7; #define rep(i,n) for(int i=0;i<(int)(n);i++) #define all(x) x.begin(), x.end() template bool chmin(T& a, T b){if(a > b){a = b; return true;} return false;} template bool chmax(T& a, T b){if(a < b){a = b; return true;} return false;} void yorn(bool ans){cout << (ans?"Yes":"No") << endl; return;} // しばらくはsize_tをキャストに任せてみようかな int main(){ int n; cin >> n; vector p(n,true); // probably int nex; int x = -1,y = -1; for(int i=0;i=0&&p.at(i)==true){y = i; break;} } cout << "? " << x << ' ' << y << endl; int z; cin >> z; if(z==x){ cout << "! " << y << endl; return 0; } if(z==y){cout << "! " << y << endl; return 0;} p.at(x) = false; p.at(y) = false; nex = z; while(1){ int w; for(int i=0;i> z; if(z==nex){ cout << "! " << w << endl; return 0; } if(z==w){ cout << "! " << nex << endl; return 0; } p.at(nex) = false; p.at(w) = false; if(p.at(z)==true) nex = z; else{ rep(i,n) if(p.at(i)==true){nex = i; break;} } } }