#include <atcoder/all>
#include <bits/stdc++.h>
using ll = long long;
using ull = unsigned long long;
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#define REP(i, m, n) for(int i = (int)(m); i < (int)(n); i++)
using namespace std;
using namespace atcoder;
using mint = modint998244353;
const int inf = 1000000007;
const ll longinf = 1ll << 60;

int main() {
    int n;
    cin >> n;
    cout << '!';
    rep(i, n) cout << " " << i + 1;
    rep(i, n) cout << " " << i + 1;
    cout << endl;
    return 0;
}