#include "bits/stdc++.h"
#include <unordered_map>
#include <unordered_set>

#include <stdio.h>
#include <math.h>
#include <cassert>

#include "atcoder/all"
#include <float.h>

//#include <boost/multiprecision/cpp_int.hpp>
//using namespace boost::multiprecision;
// std::fixed << std::setprecision(10) <<

using namespace std;
using namespace atcoder;

using ll = long long;
using ull = unsigned long long;
using mint = modint998244353;
using mint2 = modint1000000007;

const double eps = 1e-9;

#define REP(i, n) for (ll i = 0; i < ll(n); ++i)
#define REPI(i, init, n) for (ll i = init; i < ll(n); ++i)
#define REPD(i, init) for (ll i = init; i >=0; --i)
#define REPDI(i, init, n) for (ll i = init; i >=n; --i)
#define REPE(i, c) for (const auto& i : c)
#define TCASE() ll t; cin >> t; REP(i, t)

using vl = vector<ll>;
#define VL(a, n) vector<ll> a; a.assign(n, 0);
#define VLI(a, n) vector<ll> a; a.assign(n, 0); for(auto& x : a) cin >> x;
#define VSI(a, n) vector<string> a; a.assign(n, ""); for(auto& x : a) cin >> x;
using vvl = vector<vector<ll>>;
#define VVLI(a, n, m, init) vector<vector<ll>> a(n); for(auto& x : a) x.assign(m, init);
using vd = vector<double>;
using pl = pair<ll, ll>;

struct uv { ll u; ll v; ll c; };
#define VUVI(a, n) vector<uv> a; a.assign(n, {0, 0, 1}); for(auto& x : a) {cin >> x.u >> x.v; x.u--; x.v--;}
#define VUVCI(a, n) vector<uv> a; a.assign(n, {0, 0, 0}); for(auto& x : a) {cin >> x.u >> x.v >> x.c; x.u--; x.v--;}
vvl to_edge(const ll n, const vector<uv>& v) { vvl ret(n); for (auto& x : v) ret[x.u].push_back(x.v); return ret; }
vvl to_edge_d(const ll n, const vector<uv>& v) { vvl ret(n); for (auto& x : v) { ret[x.u].push_back(x.v); ret[x.v].push_back(x.u); } return ret; }

template <class T = long long> using pql = priority_queue<T>;
template <class T = long long> using pqg = priority_queue<T, vector<T>, greater<T>>;
using vm = vector<mint>;
using vvm = vector<vm>;

void yn(bool f) { std::cout << (f ? "Yes" : "No") << endl; };
template<class T> void ov(const T& v) { for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) cout << " "; cout << *it; } };
template<> void ov(const vm& v) { for (auto it = v.begin(); it != v.end(); it++) { if (it != v.begin()) cout << " "; cout << it->val(); } };

const ll llhuge = 1LL << 60; //十分でかいが多少足しても溢れない数値
auto gmax(const auto& a, const auto& b) { return a > b ? a : b; };
auto gmin(const auto& a, const auto& b) { return a < b ? a : b; };
template<class T, class U> bool chmin(T& a, const U& b) { const T olda = a; a = gmin(a, b); return olda != a; }
template<class T, class U> bool chmax(T& a, const U& b) { const T olda = a; a = gmax(a, b); return olda != a; }
template<class T> void mysort(T& v) { std::sort(begin(v), end(v)); };
template<class T, class U> void mysort(T& v, U pr) { std::sort(begin(v), end(v), pr); };
template<class T> void myrev(T& v) { std::reverse(begin(v), end(v)); };

vector<bool> pr;
void Eratosthenes(int n) {
	pr.assign(n, false);
	for (int i = 0; i < n; i++) {
		pr[i] = true;
	}
	pr[0] = pr[1] = false;
	for (int i = 2; i < n; i++) {
		if (pr[i]) {
			for (int j = 0; i * (j + 2) < n; j++) {
				pr[i * (j + 2)] = false;
			}
		}
	}
}

ll question(ll a, ll b) {
	cout << "? " << a + 1 << " " << b + 1 << endl;
	ll ret;
	cin >> ret;
	return ret;
}	

int main() {
	cin.tie(nullptr);
	ios::sync_with_stdio(false);

	ll n;
	cin >> n;

	if (n == 1) {
		cout << "! 1 1" << endl;
		return 0;
	}

	Eratosthenes(n + 1);

	//n以下の最大の素数を求める
	ll mpr = 0;
	REPD(i, n) {
		if (pr[i]) {
			mpr = i;
			break;
		}
	}

	vl ansa(n, -1);
	vl ansb(n, -1);

	//a[0]と全てのbについて確認する
	map<ll, vl> mp;
	ll dib = 0;
	REP(i, n) {
		ll ans = question(0, i);
		mp[ans].push_back(i);
		if (ans % mpr == 0) dib = i;
	}

	if (mp.begin()->second.size() == 1) {
		//a[0]は1
		ansa[0] = 1;

		ll b1i = 0;
		REP(i, n) {
			ll ans = question(0, i);
			ansb[i] = ans;
			if (ans == 1) b1i = i;
		}
		REP(i, n) {
			if (i == 0) continue;
			ll ans = question(i, b1i);
			ansa[i] = ans;
		}
	}
	else if (mp.begin()->second.size() == 2) {
		//a[0]は素数
		ansa[0] = mp.begin()->first;
		//どちらかが1
		ll b0 = mp.begin()->second[0];
		ll b1 = mp.begin()->second[1];

		ll a1b0 = question(1, b0);
		ll a1b1 = question(1, b1);

		ll b1t = -1;
		if (a1b0 < a1b1) {
			ansb[b0] = 1;
			ansb[b1] = ansa[0];
			b1t = b0;
		}
		else {
			ansb[b1] = 1;
			ansb[b0] = ansa[0];
			b1t = b1;
		}

		ll a1i = 0;
		REP(i, n) {
			if (ansa[i] != -1) continue;
			ll ans = question(i, b1t);
			ansa[i] = ans;
			if (ans == 1) a1i = i;
		}
		REP(i, n) {
			if (ansb[i] != -1) continue;
			ll ans = question(a1i, i);
			ansb[i] = ans;
		}
	}
	else {
		//a[0]は合成数
		ansb[dib] = mpr;

		vl unk; //確定しない要素が2個あるはず
		REP(i, n) {
			if (ansa[i] != -1) continue;
			ll ans = question(i, dib);
			if (ans == mpr) {
				unk.push_back(i);
			}
			else {
				ansa[i] = ans / mpr;
			}
		}

		ll tb = 0; //このbで確認する
		if (dib == 0) tb++;

		ll a0b0 = question(unk[0], tb);
		ll a1b0 = question(unk[1], tb);

		ll a1t = -1;
		if (a0b0 < a1b0) {
			ansa[unk[0]] = 1;
			ansa[unk[1]] = mpr;
			ansb[tb] = a0b0;
			a1t = unk[0];
		}
		else {
			ansa[unk[1]] = 1;
			ansa[unk[0]] = mpr;
			ansb[tb] = a1b0;
			a1t = unk[1];
		}

		REP(i, n) {
			if (ansb[i] != -1) continue;
			ll ans = question(a1t, i);
			ansb[i] = ans;
		}
	}
	cout << "?";
	REP(i, n) {
		cout << " " << ansa[i];
	}
	REP(i, n) {
		cout << " " << ansb[i];
	}
	cout << endl;
}