#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include using namespace std; typedef long long ll; typedef long long ull; constexpr int dx[]={1,0,0,-1},dy[]={0,1,-1,0}; constexpr int Dx[]={1,1,0,-1,-1,-1,0,1},Dy[]={0,1,1,1,0,-1,-1,-1}; constexpr int mod=998244353,Mod=1e9+7,inf=Mod; constexpr ll linf=(ll)inf*inf; //* #include using namespace atcoder; //*/ int sum[1001],ans[1001]; int main(){ int n,S; cin>>n; sum[n]=(n+1)*n/2; for(int i=n-1;i>=2;i--){ cout<<"? "<<1<<' '<>sum[i]; ans[i]=sum[i+1]-sum[i]; } cout<<"? "<<2<<' '<<3<>S; ans[0]=sum[3]-S; ans[1]=sum[2]-ans[0]; cout<<'!'; for(int i=0;i