#include <bits/stdc++.h>
using namespace std;
using ll = long long;

template<class T> istream& operator >> (istream& is, vector<T>& vec) {
    for(T& x : vec) is >> x;
    return is;
}

template<class T> ostream& operator << (ostream& os, const vector<T>& vec) {
    if(vec.empty()) return os;
    os << vec[0];
    for(auto it = vec.begin(); ++it != vec.end(); ) os << ' ' << *it;
    return os;
}

array<array<int,400>,400> T;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n;
    cin >> n;
    for(int i = 0; i < n; i++) T[i].fill(-1);

    vector<pair<int,int>> ans;
    const int th = 20;
    for(int i = 0; i < n; i++){
        for(int l = i + 1; l < n; l += th){
            int r = min(n, l + th);
            cout << "? 1 " << r - l << " " << i + 1;
            for(int j = l; j < r; j++){
                cout << ' ' << j + 1;
            }
            cout << endl;
            int res;
            cin >> res;
            if(res == 1){
                for(int j = l; j < r; j++){
                    cout << "? 1 1 " << i + 1 << ' ' << j + 1 << endl;
                    cin >> res;
                    if(res == 1) ans.emplace_back(i + 1, j + 1);
                }
            }
        }
    }
    cout << "! " << ans.size() << endl;
    for(auto &&[u, v] : ans) cout << u << ' ' << v << '\n';
    cout << endl;
}