#include <bits/stdc++.h>
#include <atcoder/all>
using mint = atcoder::static_modint<998244353>;
//using mint = atcoder::static_modint<1000000007>;
using namespace std;
using namespace atcoder;
using ld = long double;
using ll = long long;
#define mp(a,b) make_pair(a,b)
#define rep(i,s,n) for(int i=s; i<n; i++)
const vector<int> dx{1,0,-1,0},dy{0,1,0,-1};


int main(){
    int n;
    cin >> n;
    int ans=0;
    rep(i,0,10){
        int k=1<<i;
        set<int> S;
        rep(j,1,n+1)if(j&k)S.insert(j);
        cout << 1024 << " " << S.size() << "\n";
        for(auto x:S)cout << x << " ";
        cout << "\n";
        int c;
        cin >> c;
        ans+=c*k;
    }
    cout << "0 1\n" << ans;
}