#include <bits/stdc++.h>
using namespace std;
const int desll[4][2] = {{0, 1}, {0, -1}, {1, 0}, {-1, 0}};
const long long mod = 1e9 + 7;
const int maxn = 2e4 + 7;
const int maxm = 1e9 + 7;
const double eps = 1e-4;
int m, n, k;
long long ar[maxn];
long long maxx = 10004205361450474;
int x;
void print() {
  printf("%d ", n);
  for (int i = 1; i <= n; i++) {
    printf("%I64d%c", ar[i], i == n ? '\n' : ' ');
  }
  fflush(stdout);
}
long long dp[maxn][6];
void init() {
  memset(dp, 0, sizeof(dp));
  for (int i = 1; i < maxn; i++) {
    dp[i][1] = i - 1;
  }
  for (int j = 2; j <= 5; j++) {
    for (int i = 1; i <= 10000; i++) {
      long long ins = i;
      for (int k = 0; k <= i; k++) {
        if (ins >= 10000) {
          ins += (dp[10000][j - 1] + 2) * (i - k + 1);
          break;
        }
        ins += dp[min(ins, 10000LL)][j - 1] + 2;
      }
      dp[i][j] = ins - i - 2;
    }
  }
}
void func(long long be, int num) {
  n = 0;
  long long mid = be;
  if (num == 1) {
    for (int i = 1; i <= min(be, 10000LL); i++) {
      ar[++n] = be + i - 1;
    }
    print();
    scanf("%d", &x);
    exit(0);
  }
  for (int i = 0; i < min(be, 10000LL); i++) {
    ar[++n] = mid + dp[min(mid, 10000LL)][num - 1] + 1;
    mid = ar[n] + 1;
  }
  print();
  scanf("%d", &x);
  if (x == -1) exit(0);
  if (x == 0) func(be, num - 1);
  if (x == n)
    func(ar[n] + 1, num - 1);
  else {
    func(ar[x] + 1, num - 1);
  }
}
int main() {
  init();
  func(1, 5);
  return 0;
}
