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

int main(){
    int N;
    cin >> N;
    int M = 1;
    int result = 0;
    vector<int> bit(14);
    for(int k=0;k<13;k++){
        M *= 2;//M = 2^{k+1}
        //kueriはっこう
        cout << M << " " << M/2 << endl;
        for(int d=0;d<M/2;d++){
            cout << M/2 + d;
            if(d != M/2 -1){
                cout << " ";
            } else {
                cout << endl;
            }
        }
        cin >> bit[k];
        result += bit[k]*M/2;
    }
    cout << "0 1" << endl;
    cout << result << endl;
}