#include<iostream>
#include<vector>
#include<algorithm>
#include<cassert>
using namespace std;
int N;
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N;
	int mxi=1;
	for(int i=2;i<=3;i++)
	{
		cout<<"? "<<mxi<<" "<<2*N<<" "<<i<<" "<<2*N<<endl;
		string s;cin>>s;
		if(s=="Yes")mxi=i;
	}
	int A,B;
	if(mxi==1)A=2,B=3;
	else if(mxi==2)A=1,B=3;
	else A=1,B=2;
	cout<<"? "<<A<<" "<<N<<" "<<B<<" "<<N<<endl;
	string s;cin>>s;
	if(s=="Yes");
	else swap(A,B);
	cout<<"!";
	for(int i=0;i<N;i++)cout<<" "<<B<<" "<<mxi;
	for(int i=0;i<N;i++)cout<<" "<<A<<" "<<mxi;
	for(int i=0;i<N;i++)cout<<" "<<A<<" "<<B;
	cout<<endl;
}