#include <bits/stdc++.h>
using namespace std;
int main(void){
    int n;
    cin>>n;
    stack<array<int,5>>st;
    vector<array<int,2>>ans;
    for(int i=0;i<n-1;i+=2){
        st.push({i,i,i+1,i+1,0});
        if(i+2<=n-1)st.push({i,i+1,i+2,n-1,0});
    }
    int q=0;
    while(!st.empty()){
        array<int,5>tmp=st.top();
        st.pop();
        if(q>4500)return 1;
        q++;
        cout<<"? "<<tmp[1]-tmp[0]+1<<" "<<tmp[3]-tmp[2]+1<<" ";
        for(int i=tmp[0];i<=tmp[1];i++){
            cout<<i+1<<" ";
        }
        for(int i=tmp[2];i<=tmp[3];i++){
            cout<<i+1<<(i!=tmp[3]?" ":"");
        }
        cout<<endl;
        int a;
        cin>>a;
        if(a==-1)return 1;
        if(a){
            if(tmp[0]==tmp[1]&&tmp[2]==tmp[3]){
                ans.push_back({tmp[0],tmp[2]});
            }else if(tmp[2]==tmp[3]){
                st.push({tmp[0],tmp[0],tmp[2],tmp[2],0});
                st.push({tmp[1],tmp[1],tmp[2],tmp[2],1});
            }else{
                st.push({tmp[0],tmp[1],tmp[2],(tmp[2]+tmp[3])/2,0});
                st.push({tmp[0],tmp[1],(tmp[2]+tmp[3])/2+1,tmp[3],1});
            }
        }else if(tmp[4]==1){
            tmp=st.top();
            st.pop();
            if(tmp[0]==tmp[1]&&tmp[2]==tmp[3]){
                ans.push_back({tmp[0],tmp[2]});
            }else if(tmp[2]==tmp[3]){
                st.push({tmp[0],tmp[0],tmp[2],tmp[2],0});
                st.push({tmp[1],tmp[1],tmp[2],tmp[2],1});
            }else{
                st.push({tmp[0],tmp[1],tmp[2],(tmp[2]+tmp[3])/2,0});
                st.push({tmp[0],tmp[1],(tmp[2]+tmp[3])/2+1,tmp[3],1});
            }
        }
    }
    cout<<"! "<<ans.size()<<endl;
    for(int i=0;i<ans.size();i++){
        cout<<ans[i][0]+1<<" "<<ans[i][1]+1<<endl;
    }
    return 0;
}