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

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    int N; cin >> N;
    int answer = 0;
    vector<int> C(N+1,-1);
    for(int i=1; i<=5; i++){
        int low = 0,high = N;
        while(high-low > 1){
            int mid = (low+high)/2;
            int &c = C.at(mid);
            if(c == -1){
                cout << N+1 << " " << mid << endl;
                for(int k=1; k<=mid; k++){
                    if(k > 1) cout << " ";
                    cout << k;
                }
                cout << endl;
                cin >> c;
            }
            if(c < i) low = mid;
            else high = mid;
        }
        answer += high;
    }

    cout << "0 1" << endl;
    cout << answer << endl;
}