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

int main() {
    int n;
    cin >> n;
    int ans = 0;
    for (int i = 0; i < 10; i++) {
        int m = (1 << (i + 1)), k = (1 << i);
        cout << m << " " << k << endl;
        vector<int> r;
        for (int bit = 0; bit < (1 << i); bit++) {
            r.emplace_back((1 << i) | bit);
        }
        for (int i = 0; i < k; i++) {
            if (i < k - 1) {
                cout << r[i] << " ";
            } else {
                cout << r[i] << endl;
            }
        }
        
        int c;
        cin >> c;
        ans += k * c;
    }
    cout << "0 1" << endl << ans << endl;
    return 0;
}