Problem: Yeah, we failed to make up a New Year legend for this problem.

A permutation of length n is an array of n integers such that every integer from 1 to n appears in it exactly once. 

An element y of permutation p is reachable from element x if x = y, or p_x = y, or p_{p_x} = y, and so on. 

The decomposition of a permutation p is defined as follows: firstly, we have a permutation p, all elements of which are not marked, and an empty list l. Then we do the following: while there is at least one not marked element in p, we find the leftmost such element, list all elements that are reachable from it in the order they appear in p, mark all of these elements, then cyclically shift the list of those elements so that the maximum appears at the first position, and add this list as an element of l. After all elements are marked, l is the result of this decomposition.

For example, if we want to build a decomposition of p = [5, 4, 2, 3, 1, 7, 8, 6], we do the following:

  1. initially p = [5, 4, 2, 3, 1, 7, 8, 6] (bold elements are marked), l = []; 
  2. the leftmost unmarked element is 5; 5 and 1 are reachable from it, so the list we want to shift is [5, 1]; there is no need to shift it, since maximum is already the first element; 
  3. p = [5, 4, 2, 3, 1, 7, 8, 6], l = [[5, 1]]; 
  4. the leftmost unmarked element is 4, the list of reachable elements is [4, 2, 3]; the maximum is already the first element, so there's no need to shift it; 
  5. p = [5, 4, 2, 3, 1, 7, 8, 6], l = [[5, 1], [4, 2, 3]]; 
  6. the leftmost unmarked element is 7, the list of reachable elements is [7, 8, 6]; we have to shift it, so it becomes [8, 6, 7]; 
  7. p = [5, 4, 2, 3, 1, 7, 8, 6], l = [[5, 1], [4, 2, 3], [8, 6, 7]]; 
  8. all elements are marked, so [[5, 1], [4, 2, 3], [8, 6, 7]] is the result. 



The New Year transformation of a permutation is defined as follows: we build the decomposition of this permutation; then we sort all lists in decomposition in ascending order of the first elements (we don't swap the elements in these lists, only the lists themselves); then we concatenate the lists into one list which becomes a new permutation. For example, the New Year transformation of p = [5, 4, 2, 3, 1, 7, 8, 6] is built as follows:

  1. the decomposition is [[5, 1], [4, 2, 3], [8, 6, 7]]; 
  2. after sorting the decomposition, it becomes [[4, 2, 3], [5, 1], [8, 6, 7]]; 
  3. [4, 2, 3, 5, 1, 8, 6, 7] is the result of the transformation. 



We call a permutation good if the result of its transformation is the same as the permutation itself. For example, [4, 3, 1, 2, 8, 5, 6, 7] is a good permutation; and [5, 4, 2, 3, 1, 7, 8, 6] is bad, since the result of transformation is [4, 2, 3, 5, 1, 8, 6, 7].

Your task is the following: given n and k, find the k-th (lexicographically) good permutation of length n.

Input

The first line contains one integer t (1 ≤ t ≤ 1000) — the number of test cases.

Then the test cases follow. Each test case is represented by one line containing two integers n and k (1 ≤ n ≤ 50, 1 ≤ k ≤ 10^{18}).

Output

For each test case, print the answer to it as follows: if the number of good permutations of length n is less than k, print one integer -1; otherwise, print the k-th good permutation on n elements (in lexicographical order).

Example

Input


5
3 3
5 15
4 13
6 8
4 2


Output


2 1 3 
3 1 2 5 4 
-1
1 2 6 3 4 5 
1 2 4 3 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
using namespace std;
int n;
long long int k;
int p[50];
long long int fact[51];
long long int add(long long int x, long long int y) {
  if (x > LLONG_MAX - y) return LLONG_MAX;
  return x + y;
}
long long int mul(long long int x, long long int y) {
  if (x > LLONG_MAX / y) return LLONG_MAX;
  return x * y;
}
long long int memo[51];
long long int dp(int n) {
  long long int& ans = memo[n];
  if (ans != -1) return ans;
  if (n == 0) return ans = 1;
  ans = 0;
  for (int s = 1; s < n + 1; ++s) {
    ans = add(ans, mul(s - 2 >= 0 ? fact[s - 2] : 1LL, dp(n - s)));
  }
  return ans;
}
bool valid(int i, int x, int s) {
  static vector<bool> vis;
  assert(p[i] == -1);
  vis.assign(n, 0);
  vis[i] = true;
  p[i] = x;
  int u = i;
  int count = 0;
  while (p[u] != -1) {
    count++;
    u = p[u] - 1;
    if (vis[u]) {
      p[i] = -1;
      return (u == i and count == s);
    }
    vis[u] = true;
  }
  p[i] = -1;
  assert(count < s);
  return true;
}
void fill_block(int offset, int s, long long int k) {
  assert((s - 2 >= 0 ? fact[s - 2] : 1) > k);
  p[offset] = s + offset;
  vector<bool> used(s, 0);
  used[s - 1] = true;
  for (int i = 1; i < s; ++i) {
    for (int j = 0; j < s; ++j) {
      if (not used[j] and valid(offset + i, offset + j + 1, s)) {
        assert(i != j);
        long long int w = s - i - 2 >= 0 ? fact[s - i - 2] : 1;
        if (w > k) {
          p[offset + i] = offset + j + 1;
          used[j] = true;
          break;
        } else {
          k -= w;
        }
      }
    }
  }
}
bool search(int i, long long int k) {
  if (i == n) return true;
  for (int s = 1; s < n - i + 1; ++s) {
    long long int ways = mul((s >= 2 ? fact[s - 2] : 1LL), dp(n - i - s));
    if (ways < k)
      k -= ways;
    else {
      long long int w = dp(n - i - s);
      assert(k >= 1);
      fill_block(i, s, (k - 1) / w);
      k -= mul((k - 1) / w, w);
      return search(i + s, k);
    }
  }
  return false;
}
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int t;
  cin >> t;
  memset(memo, -1, sizeof memo);
  fact[0] = 1;
  for (int i = 1; i < 51; ++i) fact[i] = mul(fact[i - 1], i);
  while (t--) {
    cin >> n >> k;
    memset(p, -1, sizeof p);
    if (search(0, k)) {
      for (int i = 0; i < n; ++i) {
        if (i) cout << ' ';
        cout << p[i];
      }
      cout << '\n';
    } else {
      cout << "-1\n";
    }
  }
  return 0;
}