#include <bits/stdc++.h>
using namespace std;
long long minCnt[1001];
int main() {
  int n;
  cin >> n;
  for (int i = 1; i <= n; i++) {
    minCnt[i] = 1000000001;
  }
  for (int j = 0; j < 10; j++) {
    vector<int> A;
    for (int i = 1; i <= n; i++) {
      if ((i >> j) & 1) A.push_back(i);
    }
    if (A.size() == 0 || A.size() == n) continue;
    cout << A.size() << endl;
    for (auto i : A) cout << i << " ";
    cout << endl;
    fflush(stdout);
    for (int i = 1; i <= n; i++) {
      long long tmp;
      cin >> tmp;
      if (!((i >> j) & 1)) minCnt[i] = min(minCnt[i], tmp);
    }
    cout << n - A.size() << endl;
    for (int i = 1; i <= n; i++) {
      if (!((i >> j) & 1)) cout << i << " ";
    }
    cout << endl;
    fflush(stdout);
    for (int i = 1; i <= n; i++) {
      long long tmp;
      cin >> tmp;
      if ((i >> j) & 1) minCnt[i] = min(minCnt[i], tmp);
    }
  }
  cout << -1 << endl;
  for (int i = 1; i <= n; i++) {
    cout << minCnt[i] << " ";
  }
  fflush(stdout);
}
