#include <bits/stdc++.h>
using namespace std;
void getint(int &v) {
  char ch, fu = 0;
  for (ch = '*'; (ch < '0' || ch > '9') && ch != '-'; ch = getchar())
    ;
  if (ch == '-') fu = 1, ch = getchar();
  for (v = 0; ch >= '0' && ch <= '9'; ch = getchar()) v = v * 10 + ch - '0';
  if (fu) v = -v;
}
bool f[22], g[22];
int n, a[100][2222], ans, b[100][2222];
vector<int> v;
int main() {
  cin >> n;
  for (int i = 0; i <= 9; ++i) {
    v.clear();
    for (int j = 1; j <= n; ++j)
      if ((j >> i) & 1) v.push_back(j);
    if (v.size() == 0) {
      f[i] = 1;
      continue;
    }
    cout << v.size() << endl;
    for (int j = 0; j < v.size(); ++j) cout << v[j] << ' ';
    cout << endl;
    fflush(stdout);
    for (int j = 1; j <= n; ++j) cin >> a[i][j];
  }
  for (int i = 0; i <= 9; ++i) {
    v.clear();
    for (int j = 1; j <= n; ++j)
      if (!((j >> i) & 1)) v.push_back(j);
    if (v.size() == 0) {
      g[i] = 1;
      continue;
    }
    cout << v.size() << endl;
    for (int j = 0; j < v.size(); ++j) cout << v[j] << ' ';
    cout << endl;
    fflush(stdout);
    for (int j = 1; j <= n; ++j) cin >> b[i][j];
  }
  puts("-1");
  for (int i = 1; i <= n; ++i) {
    ans = 1000000010;
    for (int j = 0; j <= 9; ++j) {
      if (f[j]) continue;
      if ((i >> j) & 1) continue;
      ans = min(ans, a[j][i]);
    }
    for (int j = 0; j <= 9; ++j) {
      if (g[j]) continue;
      if (!((i >> j) & 1)) continue;
      ans = min(ans, b[j][i]);
    }
    cout << ans << ' ';
  }
  cout << endl;
  return 0;
}
