Problem: Vasya has written some permutation p_1, p_2, …, p_n of integers from 1 to n, so for all 1 ≤ i ≤ n it is true that 1 ≤ p_i ≤ n and all p_1, p_2, …, p_n are different. After that he wrote n numbers next_1, next_2, …, next_n. The number next_i is equal to the minimal index i < j ≤ n, such that p_j > p_i. If there is no such j let's let's define as next_i = n + 1.

In the evening Vasya went home from school and due to rain, his notebook got wet. Now it is impossible to read some written numbers. Permutation and some values next_i are completely lost! If for some i the value next_i is lost, let's say that next_i = -1.

You are given numbers next_1, next_2, …, next_n (maybe some of them are equal to -1). Help Vasya to find such permutation p_1, p_2, …, p_n of integers from 1 to n, that he can write it to the notebook and all numbers next_i, which are not equal to -1, will be correct. 

Input

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

Next 2 ⋅ t lines contains the description of test cases,two lines for each. The first line contains one integer n — the length of the permutation, written by Vasya (1 ≤ n ≤ 500 000). The second line contains n integers next_1, next_2, …, next_n, separated by spaces (next_i = -1 or i < next_i ≤ n + 1).

It is guaranteed, that the sum of n in all test cases doesn't exceed 500 000.

In hacks you can only use one test case, so T = 1.

Output

Print T lines, in i-th of them answer to the i-th test case.

If there is no such permutations p_1, p_2, …, p_n of integers from 1 to n, that Vasya could write, print the only number -1.

In the other case print n different integers p_1, p_2, …, p_n, separated by spaces (1 ≤ p_i ≤ n). All defined values of next_i which are not equal to -1 should be computed correctly p_1, p_2, …, p_n using defenition given in the statement of the problem. If there exists more than one solution you can find any of them.

Example

Input


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


Output


1 2 3
2 1
2 1 3
-1
1
3 2 1 4

Note

In the first test case for permutation p = [1, 2, 3] Vasya should write next = [2, 3, 4], because each number in permutation is less than next. It's easy to see, that it is the only satisfying permutation.

In the third test case, any permutation can be the answer because all numbers next_i are lost.

In the fourth test case, there is no satisfying permutation, so the answer is -1.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
long long int dxk[] = {0, 0, 1, -1, 1, 1, -1, -1};
long long int dyk[] = {1, -1, 0, 0, 1, -1, 1, -1};
long long int ll_max(long long int a, long long int b, long long int c) {
  return max(a, max(b, c));
}
int int_max(int a, int b, int c) { return max(a, max(b, c)); }
long long int ll_min(long long int a, long long int b, long long int c) {
  return min(a, min(b, c));
}
int int_min(int a, int b, int c) { return min(a, min(b, c)); }
long long int max(int a, long long int b) { return max((long long int)a, b); }
long long int min(int a, long long int b) { return min((long long int)a, b); }
long long int min(long long int a, int b) { return min(a, (long long int)b); }
long long int max(long long int a, int b) { return max(a, (long long int)b); }
long long int dx[] = {0, 0, 1, -1};
long long int dy[] = {1, -1, 0, 0};
long long int power(long long int a, long long int b) {
  if (a == 1) return 1;
  if (b == 0) return 1;
  long long int c = power(a, b / 2);
  long long int res = 1;
  if (b % 2) {
    res = (c * c) % 1000000007;
    res *= a;
    res %= 1000000007;
  } else
    res = ((c * c) % 1000000007);
  return res;
}
long long int modInv(long long int a) {
  return power(a, 1000000007 - 2) % 1000000007;
}
long long int fact[1], inv[1];
void factorial(long long int n) {
  fact[0] = 1;
  for (long long int i = 1; i <= n; i++) {
    fact[i] = fact[i - 1] * i;
    fact[i] %= 1000000007;
  }
}
void InvFactorial(long long int n) {
  inv[0] = 1;
  for (long long int i = 1; i <= n; i++) inv[i] = modInv(fact[i]);
}
long long int ncr(long long int n, long long int r) {
  if (n < r || n < 0 || r < 0) return 0;
  long long int b = inv[n - r];
  long long int c = inv[r];
  long long int a = fact[n] * b;
  a %= 1000000007;
  a *= c;
  a %= 1000000007;
  return a;
}
long long int Tree[2000001];
void update_max(int node, int start, int end, int i, long long int val) {
  if (start == end) {
    Tree[node] = val;
    return;
  }
  int mid = ((start + end) >> 1);
  if (i <= mid)
    update_max(2 * node + 1, start, mid, i, val);
  else
    update_max(2 * node + 2, mid + 1, end, i, val);
  Tree[node] = max(Tree[2 * node + 1], Tree[2 * node + 2]);
}
long long int query_max(int node, int start, int end, int l, int r) {
  if (start > end || end < l || start > r) return 0;
  if (start >= l && end <= r) return (Tree[node]);
  int mid = (start + end) / 2;
  long long int p1 = query_max(node * 2 + 1, start, mid, l, r);
  long long int p2 = query_max(node * 2 + 2, mid + 1, end, l, r);
  return max(p1, p2);
}
void solve(int countu) {
  int n;
  cin >> n;
  vector<int> v[n + 2];
  set<int> s;
  s.insert(n + 1);
  int a[n];
  for (long long int i = 0; i < n; i++) {
    scanf("%d", &a[i]);
    if (a[i] != -1) {
      s.insert(a[i]);
      v[a[i]].push_back(i + 1);
      continue;
    }
    set<int>::iterator it = s.upper_bound(i + 1);
    v[(*it)].push_back(i + 1);
  }
  vector<int> v1(n + 2);
  int ans = n;
  for (int i = n + 1; i >= 2; i--) {
    sort(v[i].begin(), v[i].end());
    for (long long int j = 0; j < v[i].size(); j++) {
      v1[v[i][j]] = ans;
      update_max(1, 1, n, v[i][j], ans);
      ans--;
    }
  }
  for (long long int i = 1; i < n + 1; i++) {
    int j = query_max(1, 1, n, i + 1, a[i - 1] - 1);
    if (j > v1[i]) {
      cout << "-1" << '\n';
      return;
    }
  }
  for (long long int i = 1; i < n + 1; i++) printf("%d ", v1[i]);
  cout << '\n';
}
int main() {
  int t = 1;
  scanf("%d", &t);
  int countu = 1;
  while (t--) {
    solve(countu);
    countu++;
  }
}