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>
using namespace std;
tuple<bool, long long int> _comb_cycle[(50 + 1)][(50 + 1)];
long long int mul(long long int a, long long int b) {
  if (a == 0 || b == 0) {
    return 0;
  } else {
    long long int c = a * b;
    if (a == c / b) {
      return c;
    } else {
      return 1000000000000000001LL;
    }
  }
}
long long int add(long long int a, long long int b) {
  if (a >= 1000000000000000001LL || b >= 1000000000000000001LL) {
    return 1000000000000000001LL;
  } else {
    if (a + b >= 1000000000000000001LL) {
      return 1000000000000000001LL;
    } else {
      return a + b;
    }
  }
}
long long int comb_cycle(int n, int chain_n) {
  auto& [solved, result] = _comb_cycle[n][chain_n];
  if (solved) {
    return result;
  } else {
    solved = true;
    if (chain_n == 0) {
      if (n <= 1) {
        result = 1;
      } else {
        result = comb_cycle(n - 1, 1);
      }
    } else if (n <= 1) {
      result = 1;
    } else {
      int free_n = n - chain_n;
      if (free_n == 0) {
        result = mul(chain_n - 1, comb_cycle(n - 1, chain_n - 1));
      } else if (free_n == 1) {
        result = mul(chain_n, comb_cycle(n - 1, chain_n));
      } else if (free_n > 1) {
        result = add(mul(chain_n, comb_cycle(n - 1, chain_n)),
                     mul(free_n - 1, comb_cycle(n - 1, chain_n + 1)));
      }
    }
    return result;
  }
}
tuple<bool, long long int> _comb_perm[(50 + 1)];
long long int comb_perm(int n) {
  auto& [solved, result] = _comb_perm[n];
  if (solved) {
    return result;
  } else {
    solved = true;
    if (n <= 1) {
      result = 1;
    } else {
      result = 0;
      for (int i = 1; i <= n; i++) {
        result = add(result, mul(comb_cycle(i, 0), comb_perm(n - i)));
      }
    }
    return result;
  }
}
int set_cycle_size(int n, long long int& k) {
  int cycle_n;
  for (cycle_n = 1; cycle_n <= n; cycle_n++) {
    long long int d = mul(comb_cycle(cycle_n, 0), comb_perm(n - cycle_n));
    if (d >= k) {
      break;
    } else {
      k -= d;
    }
  }
  return cycle_n;
}
void it_cand_at(int cycle_i, int cycle_n, const vector<int>& cycle_map,
                set<int>& cand, function<bool(int)> proc) {
  for (auto e : cand) {
    int p;
    bool qual;
    if (cycle_i == cycle_n) {
      qual = true;
    } else {
      for (p = e; cycle_map[p] != p; p = cycle_map[p])
        ;
      qual = p != cycle_i;
    }
    if (qual) {
      if (proc(e) == false) {
        break;
      }
    }
  }
  return;
}
int set_cycle(int cycle_n, long long int comb_remain, long long int& k,
              vector<int>& cycle) {
  vector<bool> chain_endp;
  set<int> cand;
  vector<int> cycle_map;
  for (int i = 0; i <= cycle_n; i++) {
    cycle_map.push_back(i);
    chain_endp.push_back(false);
  }
  for (int i = 1; i <= cycle_n; i++) {
    cand.insert(i);
  }
  int chain_n = 0;
  cycle_map[1] = cycle_n;
  cand.erase(cycle_n);
  chain_endp[cycle_n] = true;
  chain_n = 1;
  for (int i = 2; i <= cycle_n; i++) {
    it_cand_at(i, cycle_n, cycle_map, cand, [&](int e) {
      int update_chain_n;
      if (chain_endp[i]) {
        if (e < i) {
          update_chain_n = chain_n - 1;
        } else {
          update_chain_n = chain_n;
        }
      } else {
        if (e < i) {
          update_chain_n = chain_n;
        } else {
          update_chain_n = chain_n + 1;
        }
      }
      long long int d =
          mul(comb_cycle(cycle_n - i, update_chain_n), comb_remain);
      if (d >= k) {
        cand.erase(e);
        cycle_map[i] = e;
        chain_endp[e] = true;
        chain_n = update_chain_n;
        return false;
      } else {
        k -= d;
        return true;
      }
    });
  }
  for (int i = 1; i <= cycle_n; i++) {
    cycle.push_back(cycle_map[i]);
  }
  return 0;
}
int main() {
  int t;
  cin >> t;
  while (t-- > 0) {
    int n;
    long long int k;
    cin >> n >> k;
    if (comb_perm(n) < k) {
      cout << "-1" << endl;
    } else {
      vector<int> good_perm;
      int perm_i = 0;
      while (perm_i < n) {
        vector<int> cycle;
        int cycle_n = set_cycle_size(n - perm_i, k);
        set_cycle(cycle_n, comb_perm(n - perm_i - cycle_n), k, cycle);
        for (auto e : cycle) {
          good_perm.push_back(e + perm_i);
        }
        perm_i += cycle_n;
      }
      bool begin_flag = true;
      for (auto e : good_perm) {
        if (begin_flag) {
          begin_flag = false;
        } else {
          cout << " ";
        }
        cout << e;
      }
      cout << endl;
    }
  }
  return 0;
}