#include <iostream>
#include <vector>
#include <string>

using namespace std;

int main () {
    int N; cin >> N;

    // 2進数のbitごとに特定していけばよさそう。

    int S = 0;

    int M = 2;
    for (int i = 0; i < 10; i++) {
        { // ibit目が0
            cout << M << " " << M / 2 << "\n";
            for (int v = 0; v < M / 2; v++) {
                cout << v << (v == M / 2 - 1 ? "\n" : " ");
            }
            cout << flush;
            int C; cin >> C;
        }

        { // ibit目が1
            cout << M << " " << M / 2 << "\n";
            for (int v = M / 2; v < M; v++) {
                cout << v << (v == M - 1 ? "\n" : " ");
            }
            cout << flush;
            int C; cin >> C;

            S += C * (1 << i);
        }

        M *= 2;
    }

    cout << 0 << " " << 1 << "\n";
    cout << S << "\n";
    cout << flush;
}