#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

int main()
{
  int n;
  cin >> n;
  int ans = 0;
  for (int i = 1024; i > 1; i >>= 1)
  {
    cout << i << ' ' << i / 2 << endl;
    for (int j = i / 2; j < i; ++j) cout << j << ' ';
    cout << endl;
    int c;
    cin >> c;
    ans += c * (i / 2);
  }
  cout << "0 1" << endl;
  cout << ans << endl;
}