#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const int N = 1010;
int n, a[N], ans[N], i, j;
int main() {
  scanf("%d", &n);
  memset(ans, 0x3f, sizeof(ans));
  for (i = 0; (1 << i) <= n; i++) {
    int tot = 0;
    for (int j = 1; j <= n; j++)
      if (!(j & (1 << i))) tot++;
    printf("%d\n", tot);
    fflush(stdout);
    for (int j = 1; j <= n; j++)
      if (!(j & (1 << i))) {
        printf("%d ", j);
        fflush(stdout);
      }
    puts("");
    fflush(stdout);
    for (int j = 1; j <= n; j++) scanf("%d", &a[j]);
    for (int j = 1; j <= n; j++)
      if (j & (1 << i)) ans[j] = min(ans[j], a[j]);
  }
  for (i = 0; (1 << i) <= n; i++) {
    int tot = 0;
    for (int j = 1; j <= n; j++)
      if (j & (1 << i)) tot++;
    printf("%d\n", tot);
    fflush(stdout);
    for (int j = 1; j <= n; j++)
      if (j & (1 << i)) {
        printf("%d ", j);
        fflush(stdout);
      }
    puts("");
    fflush(stdout);
    for (int j = 1; j <= n; j++) scanf("%d", &a[j]);
    for (int j = 1; j <= n; j++)
      if (!(j & (1 << i))) ans[j] = min(ans[j], a[j]);
  }
  puts("-1");
  fflush(stdout);
  for (int j = 1; j <= n; j++) {
    printf("%d ", ans[j]);
    fflush(stdout);
  }
  puts("");
  fflush(stdout);
  return 0;
}
