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

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
template <class T> using V=vector<T>;
template <class T> using VV=V<V<T>>;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int n;
  cin>>n;
  ll ans=0;
  for(int i=9;i>=0;i--){
    V<int> A;
    for(int j=1;j<=1000;j++){
      if((j&(1<<i))>0) A.push_back(j);
    }
    int k=A.size();
    cout<<10000<<" "<<k<<endl;
    rep(j,k){
      if(j) cout<<" ";
      cout<<A[j];
    }
    cout<<endl;
    int c;
    cin>>c;
    ans+=c*(1<<i);
  }
  cout<<0<<" "<<1<<endl;
  cout<<ans<<endl;
    
  return 0;
}