#include<iostream>
#include<vector>
using namespace std;
int N;
main()
{
	cin>>N;
	vector<int>s;
	for(int i=1;i<=N;i++)
	{
		cout<<"? "<<N-1<<endl;
		int f=0;
		for(int j=1;j<=N;j++)if(i!=j)cout<<(f++?" ":"")<<j;
		cout<<endl;
		cin>>f;if(!f)s.push_back(i);
	}
	cout<<"! "<<s.size()<<endl;
	int f=0;
	for(int v:s)cout<<(f++?" ":"")<<v;
	cout<<endl;
}