#include <bits/stdc++.h>
using namespace std;
int n, res[1005], inp[1005], r;
vector<int> v;
int main() {
  scanf("%d", &n);
  for (int i = (1); i <= (n); i++) res[i] = 1E9 + 7;
  r = n;
  for (int i = (0); i <= (19); i++) {
    int a = i / 2, b = i % 2;
    v.clear();
    for (int j = (1); j <= (n); j++)
      if (((j & (1 << a)) >> a) == b) {
        v.push_back(j);
      }
    int sz = v.size();
    if (sz) {
      printf("%d\n", sz);
      for (int j = (0); j <= (sz - 1); j++)
        printf("%d%c", v[j], j == sz - 1 ? '\n' : ' ');
      fflush(stdout);
      for (int j = (1); j <= (n); j++) {
        scanf("%d", &inp[j]);
        if (((j & (1 << a)) >> a) != b) res[j] = min(res[j], inp[j]);
      }
    }
  }
  printf("-1\n");
  for (int i = (1); i <= (n); i++) printf("%d%c", res[i], i == n ? '\n' : ' ');
  fflush(stdout);
  return 0;
}
