#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, s, t) for (ll i = s; i < (ll)(t); i++)

template<typename T>
bool chmin(T &x, T y) { return x > y ? (x = y, true) : false; }
template<typename T>
bool chmax(T &x, T y) { return x < y ? (x = y, true) : false; }

struct io_setup {
	io_setup() {
		ios::sync_with_stdio(false);
		std::cin.tie(nullptr);
		cout << fixed << setprecision(15);
	}
} io_setup;

int main(){
	int n;
	cin>>n;
	ll ans=0;
	rep(i,1,13){
		int m=(1<<i);
		vector<int> v;
		rep(bit,0,1<<(i-1)) v.push_back(bit|(1<<(i-1)));
		cout<<m<<" "<<v.size()<<"\n";
		for(auto r:v) cout<<r<<" ";
		cout<<endl;
		int c;
		cin>>c;
		ans+=c*(1<<(i-1));
	}
	cout<<"0 1\n";
	cout<<ans<<endl;
}