#include<bits/stdc++.h>
using namespace std;
#define rep(i,x,y) for(int i=x;i<y;i++)
#define range(a) (a).begin(),(a).end()
#define print(A,n) rep(i,0,n){cout<<(i ? " ":"")<<A[i];}cout<<endl;
#define pprint(A,m,n) rep(j,0,m){print(A[j],n);}
const int mod=1e5;
const int size=1e5;
const long inf=1e9;
int main(){
	int N;cin>>N;
	vector<int> ans;int K=0;
	int query[N-1];int a;
	rep(i,0,N-1) query[i]=i+2;
	rep(i,1,N+1){
		cout<<"? "<<N-1<<endl;
		print(query,N-1);
        query[i-1]--;
		cin>>a;
		if(a==0){ ans.push_back(i); K++; }
	}
	cout<<"! "<<K<<endl;
	print(ans,ans.size());
}