Chef received a permutation $P_1, P_2, \ldots, P_N$ and also an integer $D$ from his good friend Grux, because Grux was afraid he would forget them somewhere. However, since Grux was just playing with the permutation, it was all shuffled, and Chef only likes sorted permutations, so he decided to sort it by performing some swaps.
Chef wants to use the integer $D$ he just received, so he is only willing to swap two elements of the permutation whenever their absolute difference is exactly $D$. He has limited time, so you should determine the minimum number of swaps he needs to perform to sort the permutation, or tell him that it is impossible to sort it his way.

-----Input-----
- The first line of the input contains a single integer $T$ denoting the number of test cases. The description of $T$ test cases follows.
- The first line of each test case contains two space-separated integers $N$ and $D$.
- The second line contains $N$ space-separated integers $P_1, P_2, \ldots, P_N$.

-----Output-----
For each test case, print a single line containing one integer ― the minimum number of swaps, or $-1$ if it is impossible to sort the permutation.

-----Constraints-----
- $1 \le T \le 20$
- $1 \le N \le 200,000$
- $1 \le D \le N$
- $1 \le P_i \le N$ for each valid $i$
- $P_1, P_2, \ldots, P_N$ are pairwise distinct
- the sum of $N$ over all test cases does not exceed $10^6$

-----Subtasks-----
Subtask #1 (20 points): $D = 1$
Subtask #2 (30 points):
- $N \le 1,000$
- the sum of $N$ over all test cases does not exceed $10,000$
Subtask #3 (50 points): original constraints

-----Example Input-----
2
5 2   
3 4 5 2 1
5 2    
4 3 2 1 5  

-----Example Output-----
3
-1

-----Explanation-----
Example case 1: Chef can perform the following swaps in this order:
- swap the first and fifth element
- swap the third and fifth element
- swap the second and fourth element

```python

USER_FILENAME = "<user_code>"
import sys, json, builtins
import math, heapq, bisect, itertools, functools, collections, statistics, fractions, decimal, operator, array, random, re, string, os, pathlib
try:
    import resource as _res
except Exception:
    _res = None
from collections import Counter, defaultdict, deque, OrderedDict
from functools import lru_cache, reduce
from itertools import accumulate, permutations, combinations, product
from math import gcd, ceil, floor, sqrt
from decimal import Decimal
try:
    from typing import *
except Exception:
    pass
try:
    sys.setrecursionlimit(1_000_000)
except Exception:
    pass
try:
    import site as _site
    try:
        _sys_sites = _site.getsitepackages() if hasattr(_site, "getsitepackages") else []
        for _p in _sys_sites:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
    try:
        _usp = _site.getusersitepackages()
        if isinstance(_usp, str):
            _usp = [_usp]
        for _p in _usp:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
except Exception:
    pass

ns = {"__name__": "__main__"}
for _k, _v in list(globals().items()):
    if not _k.startswith("_"):
        ns[_k] = _v
_CODE = "# Python3 program to count inversions using \n# Binary Indexed Tree \n\n# Returns sum of arr[0..index]. This function \n# assumes that the array is preprocessed and \n# partial sums of array elements are stored \n# in BITree[]. \ndef getSum( BITree, index): \n sum = 0 # Initialize result \n \n # Traverse ancestors of BITree[index] \n while (index > 0): \n\n  # Add current element of BITree to sum \n  sum += BITree[index] \n\n  # Move index to parent node in getSum View \n  index -= index & (-index) \n\n return sum\n\n# Updates a node in Binary Index Tree (BITree) \n# at given index in BITree. The given value \n# 'val' is added to BITree[i] and all of its \n# ancestors in tree. \ndef updateBIT(BITree, n, index, val): \n\n # Traverse all ancestors and add 'val' \n while (index <= n): \n\n  # Add 'val' to current node of BI Tree \n  BITree[index] += val \n\n  # Update index to that of parent \n  # in update View \n  index += index & (-index) \n\n# Returns count of inversions of size three \ndef getInvCount(arr, n): \n\n invcount = 0 # Initialize result \n\n # Find maximum element in arrays \n maxElement = max(arr) \n\n # Create a BIT with size equal to \n # maxElement+1 (Extra one is used \n # so that elements can be directly \n # be used as index) \n BIT = [0] * (maxElement + 1) \n for i in range(1, maxElement + 1): \n  BIT[i] = 0\n for i in range(n - 1, -1, -1): \n\n  invcount += getSum(BIT, arr[i] - 1) \n  updateBIT(BIT, maxElement, arr[i], 1) \n return invcount \n \n\n \n# This code is contributed by \n# Shubham Singh(SHUBHAMSINGH10) \n\nfor _ in range(int(input())):\n n,k=map(int,input().split())\n l=[int(i) for i in input().split()]\n if k==1:\n  print(getInvCount(l,n))\n  continue \n mat=l[:]\n f=1 \n sm=0\n from collections import Counter\n for x in range(k):\n  mat=[]\n  li=[]\n  le=0 \n  for y in range(x,n,k):\n   mat.append(l[y])\n   li.append(y+1)\n   le+=1 \n  # print(mat,li)\n  if Counter(mat)!=Counter(li):\n   f=0\n   break \n  else:\n   li=[]\n   le=len(mat)\n   for i in range(le):\n    curr=[mat[i],i]\n    li.append(curr)\n   li.sort() \n   vis=[0]*le \n   for i in range(le):\n    if vis[i] or li[i][1]==i:\n     continue \n    c=0 \n    j=i \n    while not vis[j]:\n     vis[j]=1 \n     j=li[j][1]\n     c+=1 \n    if c:\n     sm+=(c-1)\n    \n if f==0:\n  print(-1)\n else: \n  print(sm)"
_co = compile(_CODE, USER_FILENAME, "exec")
exec(_co, ns, ns)

```

Measured memory_bytes: 14187