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:
#include <bits/stdc++.h>

using namespace std;

typedef unsigned long long ull;
typedef long long ll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vl;
typedef vector<vl> vvl;

#define all(v) v.begin(), v.end()

void __print(int x)
{
    cerr << x;
}
void __print(long x) { cerr << x; }
void __print(long long x) { cerr << x; }
void __print(unsigned x) { cerr << x; }
void __print(unsigned long x) { cerr << x; }
void __print(unsigned long long x) { cerr << x; }
void __print(float x) { cerr << x; }
void __print(double x) { cerr << x; }
void __print(long double x) { cerr << x; }
void __print(char x) { cerr << '\'' << x << '\''; }
void __print(const char *x) { cerr << '\"' << x << '\"'; }
void __print(const string &x) { cerr << '\"' << x << '\"'; }
void __print(bool x) { cerr << (x ? "true" : "false"); }

template <typename T, typename V>
void __print(const pair<T, V> &x)
{
    cerr << '{';
    __print(x.first);
    cerr << ',';
    __print(x.second);
    cerr << '}';
}
template <typename T>
void __print(const T &x)
{
    int f = 0;
    cerr << '{';
    for (auto &i : x)
        cerr << (f++ ? "," : ""), __print(i);
    cerr << "}";
}
void _print() { cerr << "]\n"; }
template <typename T, typename... V>
void _print(T t, V... v)
{
    __print(t);
    if (sizeof...(v))
        cerr << ", ";
    _print(v...);
}
#ifndef ONLINE_JUDGE
#define debug(x...)               \
    cerr << "[" << #x << "] = ["; \
    _print(x)
#else
#define debug(x...)
#endif

long long queryCount = 0;

int query(int t, int x, int i, int j)
{
    queryCount++;
    cout << "? " << t << ' ' << (i + 1) << ' ' << (j + 1) << ' ' << x << '\n';
    cout.flush();

    int sm;

    cin >> sm;

    assert(sm != -1);

    return sm;
}

void solve(int cc)
{

    int n;
    cin >> n;

    assert(n != -1);

    vector<int> a(n);

    bool hseen = false;
    bool lseen = false;

    /*
            t1 = max(min(pi,x),min(pj,x+1))
            t2 = min(max(pi,x),max(pj,x+1))
     
            max(min(n-1,pi),min(n,pj))
            max(min(n-1,pi),pj)
            output is n, then pj == n
            if pj == n:
                min(pi,pj) = pi
     
     
            min(max(pi,1),max(pj,2))
            if pi == 1 then output is 1

            t1 = n-1 t2 = 2

            max(min(pi,n-1),min(pj,n)) = n-1

            pi == n and pj == 1
            min(max(1,pi),max(2,pj)) = 2
     
        */

    for (int i = 1; i < n; i += 2)
    {
        debug(a);
        int t1 = query(1, n - 1, i, i - 1);
        int t2 = query(2, 1, i, i - 1);

        if (t1 == n)
        {
            a[i - 1] = n;
            a[i] = t2;
        }
        if (t2 == 1)
        {
            a[i] = 1;
            a[i - 1] = t1;
        }

        /*
                min(max(1,pi),max(2,pj))
                if pj == 1 and pi>=2
                output is 2
                max(min(pi,n-1),min(pj,n)) = max(pi,pj) = pi
            */
        if (a[i] == 0 && t2 == 2)
        {
            int t3 = query(2, 1, i - 1, i);
            if (t3 == 1)
            {
                a[i - 1] = 1;
                int t4 = query(1, n - 1, i - 1, i);
                if (t4 == n)
                {
                    a[i] = n;
                }
                else
                {
                    a[i] = t1;
                }
            }
        }
        if (a[i] == 0 && t1 == n - 1)
        {
            int t3 = query(1, n - 1, i - 1, i);
            if (t3 == n)
            {
                a[i] = n;
                int t4 = query(2, 1, i - 1, i);
                if (t4 == 1)
                {
                    a[i - 1] = 1;
                }
                else
                {
                    a[i - 1] = t2;
                }
            }
        }

        if (a[i] == 0 && a[i - 1] == 0)
        {
            int t3 = query(1, t2, i - 1, i);
            /*
                    t1 = max(pi,pj)
                    t2 = min(pi,pj)
                    t3 = max(min(pj,t2),min(t2+1,pi))
                    if pi>pj
                        max(t2,t2+1) = t2+1
                    else
                        max(pi,pi) = pi = t2
                */

            if (t2 == t3)
            {
                a[i] = t2;
                a[i - 1] = t1;
            }
            else
            {
                a[i] = t1;
                a[i - 1] = t2;
            }
        }
    }

    unordered_map<int, int> seen;

    for (int i = 0; i < n; i++)
    {
        seen[a[i]]++;
    }

    for (int i = 1; i <= n; i++)
    {
        if (seen[i] == 0)
        {
            a[n - 1] = i;
            break;
        }
    }

    cout << "! ";

    for (int i : a)
        cout << i << ' ';

    cout << '\n';

    cout.flush();
}

int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    int T;

    cin >> T;

    for (int i = 0; i < T; i++)
    {
        solve(i + 1);
    }

    return 0;
}

/*
        1 6 2 5 4 3
     
        max(min(6,5),min(1,6)) = 5
     
    */