#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef double db;
int n,mx,m,col[2005],d[2005],dd[2005];
bool del[2005],vis[2005];
vector <int> nt[2005];
vector <int> v[2005];
queue <int> q;
bool check(int x,int nw) {
	for(int i=1;i<=nw;i++) dd[i]=v[i].size(),del[i]=false,vis[i]=0;
	while(!q.empty()) q.pop();
	for(int i=1;i<=nw;i++) {
		if(dd[i]<=x-1) {
			q.push(i);
			del[i]=true;
		}
	}
	int cnt=0;
	while(!q.empty()) {
		cnt++;
		int s=q.front();
//		cout<<"S"<<s<<'\n';
		vis[s]=true;
		q.pop();
		for(int to:v[s]) {
			if(vis[to]) continue;
			dd[to]--;
			if(dd[to]<=x-1&&!del[to]) {
				q.push(to);
				del[to]=true;
			}
		}
	}
//	cout<<"WYY"<<x<<' '<<cnt<<'\n';
	if(cnt==nw) return 1;
	return 0;
}
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);
		    d[i]=v[i].size();
		}
//		cout<<mx<<'\n';
//		if(n==2000) assert(mx<=3);
        int l=1,r=nw,ans=-1;
        while(l<=r) {
        	int mid=(l+r)/2;
        	if(check(mid,nw)) r=mid-1,ans=mid;
        	else l=mid+1;
		}
		mx=ans;
//		cout<<mx<<'\n';
		for(int i=1;i<=nw;i++) {
			if(d[i]<=mx-1) {
				q.push(i);
//				break;
			}
		}
//		cout<<q.front()<<'\n';
		vector <int> tmp;
		while(!q.empty()) {
			int s=q.front();
			q.pop();
			tmp.clear();
			del[s]=true;
//			cout<<s<<col[s]<<'\n';
		    if(!col[s]) {
		    	for(int to:v[s]) {
		    		if(col[to]) tmp.push_back(col[to]);
				}
				sort(tmp.begin(),tmp.end());
				int nww=1;
				for(int i:tmp) {
					if(nww!=i) break;
					nww++;
				}
//				cout<<"S"<<nww<<'\n';
				col[s]=nww;
				for(int to:v[s]) {
					d[to]--;
//					if(!del[to]) q.push(to); 
					if(d[to]<=mx-1&&!del[to]) q.push(to);
				}
				nt[col[s]].push_back(s);
			}
		}
//		for(int i=1;i<=nw;i++) {
//			cout<<i<<':';
//			for(int to:v[i]) {
//				cout<<to<<' ';
//			}
//			cout<<'\n';
//		}
		for(int i=1;i<=nw;i++) {
			del[i]=false;
//			assert(col[i]);
//			cout<<col[i]<<' ';
		}
//		cout<<'\n';
	}
	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;
}