#include using namespace std; #include using namespace atcoder; using ll = long long; using vll = vector; using vvll = vector; using vvvll = vector; using vvvvll = vector; using vvvvvll = vector; using vvvvvvll = vector; using vb = vector; using vvb = vector; using vvvb = vector; using vvvvb = vector; using vd = vector; using vvd = vector; using vvvd = vector; using vvvvd = vector; using vvvvvd = vector; #define all(A) A.begin(),A.end() #define ALL(A) A.begin(),A.end() #define rep(i, n) for (ll i = 0; i < (ll) (n); i++) using pqr = priority_queue, vector>, greater>>; template bool chmax(T& p, T q, bool C = 1) { if (C == 0 && p == q) { return 1; } if (p < q) { p = q; return 1; } else { return 0; } } template bool chmin(T& p, T q, bool C = 1) { if (C == 0 && p == q) { return 1; } if (p > q) { p = q; return 1; } else { return 0; } } ll gcd(ll(a), ll(b)) { if (b == 0)return a; ll c = a; while (a % b != 0) { c = a % b; a = b; b = c; } return b; } ll sqrtz(ll N) { ll L = 0; ll R = sqrt(N) + 10000; while (abs(R - L) > 1) { ll mid = (R + L) / 2; if (mid * mid <= N)L = mid; else R = mid; } return L; } using mint = modint1000000007; vector fact, factinv, inv; const ll mod = 1000000007; void prenCkModp(ll n) { fact.resize(n + 5); factinv.resize(n + 5); inv.resize(n + 5); fact[0] = fact[1] = 1; factinv[0] = factinv[1] = 1; inv[1] = 1; for (ll i = 2; i < n + 5; i++) { fact[i] = (fact[i - 1] * i); inv[i] = (mod - (inv[mod % i] * (mod / i))); factinv[i] = (factinv[i - 1] * inv[i]); } } mint nCk(ll n, ll k) { if (n < k || k < 0) return 0; return (fact[n] * ((factinv[k] * factinv[n - k]))); } ; template struct Trie { struct Node { vector next; vector accept; int c; int common; int depth; Node(int c_) : c(c_), common(0) { next.assign(char_size, -1); depth = 0; } }; vector nodes; int root; Trie() : root(0) { nodes.push_back(Node(root)); } void insert(const string& word, int word_id) { int node_id = 0; for (int i = 0; i < (int)word.size(); i++) { int c = (int)(word[i] - base); int& next_id = nodes[node_id].next[c]; if (next_id == -1) { next_id = (int)nodes.size(); nodes.push_back(Node(c)); nodes.back().depth = nodes[node_id].depth + 1; } ++nodes[node_id].common; node_id = next_id; } ++nodes[node_id].common; nodes[node_id].accept.push_back(word_id); } void insert(const string& word) { insert(word, nodes[0].common); } bool search(const string& word, bool prefix = false) { int node_id = 0; for (int i = 0; i < (int)word.size(); i++) { int c = (int)(word[i] - base); int& next_id = nodes[node_id].next[c]; if (next_id == -1) { return false; } node_id = next_id; } return (prefix) ? true : nodes[node_id].accept.size() > 0; } bool start_with(const string& prefix) { return search(prefix, true); } int count() const { return (nodes[0].common); } int size() const { return ((int)nodes.size()); } }; int main() { ll N; cin>>N; ll S=N*(N+1)/2; vll P(N); cout<<"? "<<2<<" "<>T; P[0]=S-T; ll num=P[0]; for(ll i=1;i>p; P[i]=p-P[i-1]; num+=P[i]; } P[N-1]=S-num; cout<<"!"; rep(i,N)cout<<" "<