#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
int solve(int L,int R,int cnt)
{
	if(cnt==0)return 0;
	if(L+1==R)return L*cnt;
	int mid=(L+R)/2;
	vector<int>r;
	for(int k=L;k<mid;k++)r.push_back(k);
	cout<<R<<" "<<r.size()<<"\n";
	for(int i=0;i<r.size();i++)cout<<r[i]<<(i+1==r.size()?"":" ");
	cout<<endl;
	int c;cin>>c;
	return solve(L,mid,c)+solve(mid,R,cnt-c);
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	int N;
	cin>>N;
	int ans=solve(1,N+1,5);
	cout<<"0 1\n"<<ans<<endl;
}