#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	int N;
	cin>>N;
	int ans=0;
	for(int k=0;k<10;k++)
	{
		vector<int>r;
		for(int i=1<<k;i<1<<k+1;i++)r.push_back(i);
		cout<<(1<<k+1)<<" "<<r.size()<<"\n";
		for(int i=0;i<r.size();i++)cout<<r[i]<<(i+1==r.size()?"":" ");
		cout<<endl;
		int c;cin>>c;
		ans+=c<<k;
	}
	cout<<"0 1\n"<<ans<<endl;
}