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

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int N, ans = 0;
    cin >> N;
    for(int i = 0; i < 10; i++){
        int r = 1 << i, res;
        cout << 2 * r << ' ' << r << '\n';
        for(int j = 0; j < r; j++){
            if(j) cout << ' ';
            cout << j;
        }
        cout << endl;
        cin >> res;
        ans += (5 - res) << i;
    }
    cout << "0 1\n" << ans << endl;
}