#include <iostream>
using namespace std;

int N, sz, ans, C;

int main() {
    cin >> N;
    sz = 2; ans = 0;
    while (sz <= N)
        sz *= 2;
    while (sz >= 2) {
        cout << sz << " " << sz / 2 << "\n";
        for (int i = 0; i < sz / 2; i++)
            cout << i << ((i == sz / 2 - 1) ? "\n" : " ");
        cout.flush();
        cin >> C;
        sz /= 2;
        ans += (5 - C) * sz;
    }
    cout << 0 << " " << 1 << "\n";
    cout << ans << "\n";
    cout.flush();
    return 0;
}