#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for(int i=0; i<n; i++)
#define debug 0
#define YES cout << "Yes" << endl;
#define NO cout << "No" << endl;
using ll = long long;
using ld = long double;
const int mod = 998244353;
const int MOD = 1000000007;
const double pi = atan2(0, -1);
#include <time.h>
#include <chrono>

int main() {
	int n;
	cin >> n;
	vector<int> list(n + 1);
	rep(i, n + 1) {
		list[i] = i + 1;
	}
	vector<int> ans;
	set<int> res;
	rep(i, n) {
		res.insert(i + 1);
	}

	rep(i, n) {
		int l = i, r = n;
		while (r > l + 1) {

			//Query
			int mid = (l + r) / 2;
			cout << "? ";
			for (int x : ans) {
				cout << x << " ";
			}
			cout << list[mid] << " ";
			for (int x : res) {
				if (x != list[mid]) {
					cout << x << " ";
				}
			}
			cout << endl;

			int ret;
			cin >> ret;
			if (ret == 0) {
				r = mid;
			}
			if (ret == 1) {
				l = mid;
			}
		}

		ans.push_back(list[l]);
		res.erase(list[l]);
		list[l] = -1;
		sort(list.begin(), list.end());
	}

	cout << "! ";
	for (int x : ans) {
		cout << x << " ";
	}
	cout << endl;
}