#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include using namespace std; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int n; cin>>n; int sum=n*(n+1)/2; vector ANS(n+1); vector A(n+1,1); A[0]=0; int tmp=sum; for(int i=n-1;i>=2;i--){ cout<<"? "<<1<<" "<>a; ANS[i+1]=tmp-a; A[tmp-a]=0; tmp-=ANS[i+1]; } cout<<"? "<<2<<" "<>a; ANS[1]=sum-a; A[sum-a]=0; rep(i,n+1){ if(A[i]) ANS[2]=i; } cout<<'!'; for(int i=1;i<=n;i++) cout<<" "<