#include <bits/stdc++.h>
#include <atcoder/all>

using namespace std;
using namespace atcoder;

struct Fast {
  Fast() {
    std::cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cout << setprecision(10);
  }
} fast;

#define rep(i, a, b) for (int(i) = (a); (i) < (int)(b); (i)++)

int main() {
  int n;
  cin >> n;

  vector<int> a(n), b(n);
  rep(i, 0, n) a[i] = i + 1, b[i] = i + 1;

  cout << "? 1 1" << endl;
  int g;
  cin >> g;
  if (g != 1) {
    swap(a[0], a[g - 1]);
    swap(b[0], b[g - 1]);
  }

  cout << "!";
  rep(i, 0, n) cout << " " << a[i];
  rep(i, 0, n) cout << " " << b[i];
  cout << endl;
}