Problem: This is an interactive problem!

Nastia has a hidden permutation p of length n consisting of integers from 1 to n. You, for some reason, want to figure out the permutation. To do that, you can give her an integer t (1 ≤ t ≤ 2), two different indices i and j (1 ≤ i, j ≤ n, i ≠ j), and an integer x (1 ≤ x ≤ n - 1). 

Depending on t, she will answer: 

  * t = 1: max{(min{(x, p_i)}, min{(x + 1, p_j)})}; 
  * t = 2: min{(max{(x, p_i)}, max{(x + 1, p_j)})}. 



You can ask Nastia at most ⌊ \frac {3 ⋅ n} { 2} ⌋ + 30 times. It is guaranteed that she will not change her permutation depending on your queries. Can you guess the permutation?

Input

The input consists of several test cases. In the beginning, you receive the integer T (1 ≤ T ≤ 10 000) — the number of test cases.

At the beginning of each test case, you receive an integer n (3 ≤ n ≤ 10^4) — the length of the permutation p.

It's guaranteed that the permutation is fixed beforehand and that the sum of n in one test doesn't exceed 2 ⋅ 10^4.

Interaction

To ask a question, print "? t i j x" (t = 1 or t = 2, 1 ≤ i, j ≤ n, i ≠ j, 1 ≤ x ≤ n - 1) Then, you should read the answer.

If we answer with −1 instead of a valid answer, that means you exceeded the number of queries or made an invalid query. Exit immediately after receiving −1 and you will see the Wrong Answer verdict. Otherwise, you can get an arbitrary verdict because your solution will continue to read from a closed stream.

To print the answer, print "! p_1 p_2 … p_{n} (without quotes). Note that answering doesn't count as one of the ⌊ \frac {3 ⋅ n} {2} ⌋ + 30 queries.

After printing a query or printing the answer, do not forget to output end of line and flush the output. Otherwise, you will get Idleness limit exceeded. To do this, use:

  * fflush(stdout) or cout.flush() in C++; 
  * System.out.flush() in Java; 
  * flush(output) in Pascal; 
  * stdout.flush() in Python; 
  * See the documentation for other languages. 



Hacks

To hack the solution, use the following test format.

The first line should contain a single integer T (1 ≤ T ≤ 10 000) — the number of test cases.

For each test case in the first line print a single integer n (3 ≤ n ≤ 10^4) — the length of the hidden permutation p.

In the second line print n space-separated integers p_1, p_2, …, p_n (1 ≤ p_i ≤ n), where p is permutation.

Note that the sum of n over all test cases should not exceed 2 ⋅ 10^4.

Example

Input


2
4

3

2

5

3

Output


? 2 4 1 3

? 1 2 4 2

! 3 1 4 2

? 2 3 4 2

! 2 5 3 4 1

Note

Consider the first test case.

The hidden permutation is [3, 1, 4, 2].

We print: "? 2 4 1 3" and get back min{(max{(3, p_4}), max{(4, p_1)})} = 3.

We print: "? 1 2 4 2" and get back max{(min{(2, p_2)}, min{(3, p_4)})} = 2.

Consider the second test case.

The hidden permutation is [2, 5, 3, 4, 1].

We print: "? 2 3 4 2" and get back min{(max{(2, p_3}), max{(3, p_4)})} = 3.

Solution (in CPP):

Solution:
/*
	Coded by Apojacsleam
*/
#include<bits/stdc++.h>
using namespace std;
int T,n,a[10010][3],b[10010][3],ans[10010];
int query(int type,int i,int j,int x)
{
	int cnt;
	printf("? %d %d %d %d\n",type,i,j,x);
	fflush(stdout);
	scanf("%d",&cnt);
	return cnt;
}
int main()
{
	int cnt,tot;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%d",&n);
		if(n==3)
		{
			a[1][1]=a[2][1]=max(query(1,1,2,2),query(1,2,1,2));
			a[1][2]=a[2][2]=min(query(2,1,2,1),query(2,2,1,1));
			a[3][1]=max(query(1,2,3,2),query(1,3,2,2));
			a[3][2]=min(query(2,3,2,1),query(2,2,3,1)); 
			for(int j=1;j<=2;j++)
			  for(int k=1;k<=2;k++)
				if(a[2][j]==a[3][k])
				{
				    ans[2]=a[2][j];
				}
			ans[3]=a[3][1]^a[3][2]^ans[2];
			ans[1]=a[1][1]^a[1][2]^ans[2];
		}
		else
		{
			for(int i=1;i+1<=n;i+=2)
			{
				cnt=query(1,i,i+1,n-1);tot=0;
				if(cnt>=n-1)
				{
					printf("? 1 %d %d %d\n",i+1,i,n-1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				a[i][1]=max(cnt,tot);
				a[i+1][1]=max(cnt,tot);
				printf("? 2 %d %d %d\n",i,i+1,1);
				fflush(stdout);
				scanf("%d",&cnt);tot=n+1;
				if(cnt<=2)
				{
					printf("? 2 %d %d %d\n",i+1,i,1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				a[i][2]=min(cnt,tot);
				a[i+1][2]=min(cnt,tot);
			}
			for(int i=2;i+1<=n;i+=4)
			{
				printf("? 1 %d %d %d\n",i,i+1,n-1);
				fflush(stdout);
				scanf("%d",&cnt);tot=0;
				if(cnt>=n-1)
				{
					printf("? 1 %d %d %d\n",i+1,i,n-1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				b[i][1]=max(cnt,tot);
				b[i+1][1]=max(cnt,tot);
				printf("? 2 %d %d %d\n",i,i+1,1);
				fflush(stdout);
				scanf("%d",&cnt);tot=n+1;
				if(cnt<=2)
				{
					printf("? 2 %d %d %d\n",i+1,i,1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				b[i][2]=min(cnt,tot);
				b[i+1][2]=min(cnt,tot);
			}
			for(int i=1;i<=n;i+=4)
			{
				for(int j=1;j<=2;j++)
				  for(int k=1;k<=2;k++)
				    if(a[i+1][j]==b[i+1][k])
				    {
				    	ans[i+1]=a[i+1][j];
					}
				ans[i]=a[i][1]^a[i][2]^ans[i+1];
				ans[i+2]=b[i+2][1]^b[i+2][2]^ans[i+1];
				ans[i+3]=a[i+3][1]^a[i+3][2]^ans[i+2];
			}
			for(int i=n-3;i+1<=n;i+=2)
			{
				printf("? 1 %d %d %d\n",i,i+1,n-1);
				fflush(stdout);
				scanf("%d",&cnt);tot=0;
				if(cnt>=n-1)
				{
					printf("? 1 %d %d %d\n",i+1,i,n-1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				a[i][1]=max(cnt,tot);
				a[i+1][1]=max(cnt,tot);
				printf("? 2 %d %d %d\n",i,i+1,1);
				fflush(stdout);
				scanf("%d",&cnt);tot=n+1;
				if(cnt<=2)
				{
					printf("? 2 %d %d %d\n",i+1,i,1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				a[i][2]=min(cnt,tot);
				a[i+1][2]=min(cnt,tot);
			}
			for(int i=n-2;i+1<=n;i+=4)
			{
				printf("? 1 %d %d %d\n",i,i+1,n-1);
				fflush(stdout);
				scanf("%d",&cnt);tot=0;
				if(cnt>=n-1)
				{
					printf("? 1 %d %d %d\n",i+1,i,n-1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				b[i][1]=max(cnt,tot);
				b[i+1][1]=max(cnt,tot);
				printf("? 2 %d %d %d\n",i,i+1,1);
				fflush(stdout);
				scanf("%d",&cnt);tot=n+1;
				if(cnt<=2)
				{
					printf("? 2 %d %d %d\n",i+1,i,1);
					fflush(stdout);
					scanf("%d",&tot);
				}
				b[i][2]=min(cnt,tot);
				b[i+1][2]=min(cnt,tot);
			}
			for(int i=n-3;i<=n;i+=4)
			{
				for(int j=1;j<=2;j++)
				  for(int k=1;k<=2;k++)
				    if(a[i+1][j]==b[i+1][k])
				    {
				    	ans[i+1]=a[i+1][j];
					}
				ans[i]=a[i][1]^a[i][2]^ans[i+1];
				ans[i+2]=b[i+2][1]^b[i+2][2]^ans[i+1];
				ans[i+3]=a[i+3][1]^a[i+3][2]^ans[i+2];
			}
		}
		printf("! ");
		for(int i=1;i<=n;i++)
		  printf("%d ",ans[i]);
		printf("\n");
		fflush(stdout);
	}
	return 0;
}