#include <bits/stdc++.h>

namespace nono {

struct Init {};

void solve([[maybe_unused]] const Init& init) {
    int n;
    std::cin >> n;

    auto request = [](int i, int x, int j, int y) {
        std::cout << "? " << i << ' ' << x << ' ' << j << ' ' << y << std::endl;
    };

    auto response = []() {
        std::string s;
        std::cin >> s;
        return s;
    };

    std::vector<int> index(3);
    std::iota(index.begin(), index.end(), 1);
    request(index[0], 2 * n, index[1], 2 * n);
    if (response() == "No") {
        std::swap(index[0], index[1]);
    }
    request(index[1], 2 * n, index[2], 2 * n);
    if (response() == "No") {
        std::swap(index[1], index[2]);
    }

    request(index[0], n, index[1], n);
    if (response() == "Yes") {
        std::swap(index[0], index[1]);
    }

    std::cout << "! ";
    for (int i = 0; i < n; i++) {
        std::cout << index[0] << ' ' << index[2] << ' ';
    }
    for (int i = 0; i < n; i++) {
        std::cout << index[1] << ' ' << index[2] << ' ';
    }
    for (int i = 0; i < n; i++) {
        std::cout << index[0] << ' ' << index[1] << (i + 1 == n ? '\n' : ' ');
    }
}

}  //  namespace nono

int main() {
    std::cin.tie(0)->sync_with_stdio(0);

    int t = 1;
    nono::Init init;

    while (t--) nono::solve(init);
}