#include<bits/stdc++.h>
using namespace std;
using ll=long long;
using pii=pair<int,int>;

#define all(a) a.begin(),a.end()
#define pb push_back
#define sz(a) ((int)a.size())

signed main(){
    ios_base::sync_with_stdio(0),cin.tie(0);
    int n; cin >> n;
    int id=1,id2,id3;
    for(int i: {2,3}){
        cout << "? " << id << ' ' << 2*n << ' ' << i << ' ' << 2*n << endl;
        string s; cin >> s;
        if(s=="Yes") id=i;
    }
    id2=id+1;
    if(id2>3) id2-=3;
    id3=id2+1;
    if(id3>3) id3-=3;
    cout << "? " << id2 << ' ' << n << ' ' << id3 << ' ' << n << endl;
    string s; cin >> s;
    if(s=="No") swap(id2,id3);
    cout << "! ";
    for(int i=0; i<n; ++i) cout << id << ' ' << id3 << ' ';
    for(int i=0; i<n; ++i) cout << id << ' ' << id2 << ' ';
    for(int i=0; i<n; ++i) cout << id2 << ' ' << id3 << ' ';
    cout << endl;
}