#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
#define rep(i, n) for(ll i = 0; i < n; i++)
#define all(x) (x).begin(),(x).end()
template<class T>bool chmin(T&a, const T&b){if(a>b){a=b;return 1;}return 0;}
template<class T>bool chmax(T&a, const T&b){if(a<b){a=b;return 1;}return 0;}

int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    ll n, res = 1, pre, now = 2, out, ans = 1;
    cin >> n;
    vector<bool> pn(n+100,true);
    while(res>=0){
        out = pre = 1;
        while(!pn[now]) now++;
        if(now>n) break;
        for(int i=now;i<=n;i+=now) pn[i] = false;
        while(1){
            out *= now;
            if(out*ans>n) break;
            cout << "? " << out << '\n' << flush;
            cin >> res;
            if(res==pre || res<0) break;
            pre = res;
        }
        ans *= pre;
    }
    cout << "! " << ans << '\n' << flush;
    return 0;
}