//interactive

vector<pair<ll,ll>>z;
ll qn;

void f(ll a0,ll a1,ll b0,ll b1){
	wtN("? ",a1-a0," ",b1-b0);
	rep(i,a0,a1){
		wtN(" ",i);
	}
	rep(i,b0,b1){
		wtN(" ",i);
	}
	if(++qn>4500){
		exit(0);
	}
	wt("");
	ll a2=a0+a1>>1;
	ll b2=b0+b1>>1;
	ll@r;
	if(r<0){
		exit(3);
	}
	if(r){
		if(a0+1==a1&&b0+1==b1){
			z.push_back({a0,b0});
		}else{
			if(b0<b2){
				if(a0<a2){
					f(a0,a2,b0,b2);
				}
				if(a2<a1){
					f(a2,a1,b0,b2);
				}
			}
			if(b2<b1){
				if(a0<a2){
					f(a0,a2,b2,b1);
				}
				if(a2<a1){
					f(a2,a1,b2,b1);
				}
			}
		}
	}
	if(a0<a2<a1){
		f(a0,a2,a2,a1);
	}
	if(b0<b2<b1){
		f(b0,b2,b2,b1);
	}
}

{
	ll@n;
	f(1,n/2+1,n/2+1,n+1);
	ll m=z.size();
	wt("!",m);
	for(auto p:z){
		wt(p.first,p.second);
	}
}