#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef double db;
int n,mx,m,col[2005];
bool del[2005],vis[2005];
vector <int> nt[2005];
vector <int> v[2005];
int main() {
	cin>>n;
	nt[1].push_back(1);
	mx=1;
	for(int nw=2;nw<=n;nw++) {
		for(int i=1;i<=mx;i++) {
			if(!nt[i].size()) continue;
			int sz=nt[i].size();
			while(sz) {
				cout<<"? "<<sz+1<<' ';
				for(int k:nt[i]) {
					if(!del[k]) cout<<k<<' ';
				}
				cout<<nw<<endl;
				int x,y;
				cin>>x>>y;
				if(x==-1||y==-1) break;
				if(x==nw) swap(x,y);
				v[y].push_back(x);
				v[x].push_back(y);
				m++;
				del[x]=true;
				sz--;
			}
			nt[i].clear();
		}
		mx=n+1;
		for(int i=1;i<=nw;i++) {
			del[i]=false;
			col[i]=0;
//			cout<<i<<' '<<v[i].size()<<'\n';
			mx=min(mx,int(v[i].size())+1);
		}
//		cout<<mx<<'\n';
//		if(n==2000) assert(mx<=3);
		for(int i=1;i<=nw;i++) {
//			cout<<i<<' '<<col[i]<<'\n';
			if(!col[i]) {
				for(int j:v[i]) {
					if(col[j]) vis[col[j]]=true;
				}
				for(int j=1;j<=mx;j++) {
					if(!vis[j]) {
						col[i]=j;
						nt[j].push_back(i);
//						cout<<i<<' '<<col[i]<<'\n';
						break;
					}
				}
				for(int j:v[i]) {
					if(col[j]) vis[col[j]]=false;
				}
			}
		}
		if(n==2000) {
			for(int i=1;i<=n;i++) {
				for(int to:v[i]) {
					assert(col[i]!=col[to]);
				}
			}
		}
	}
	cout<<'!'<<' '<<m<<'\n';
	for(int i=1;i<=n;i++) {
		for(int j:v[i]) {
			if(j<i) continue;
			cout<<i<<' '<<j<<'\n';
		}
	}
	return 0;
}