It seems like the year of 2013 came only yesterday. Do you know a curious fact? The year of 2013 is the first year after the old 1987 with only distinct digits.

Now you are suggested to solve the following problem: given a year number, find the minimum year number which is strictly larger than the given one and has only distinct digits.
The single line contains integer *y* (1000 ≤ *y* ≤ 9000) — the year number.
def pairsum(a,n,k):
        s=set()
        for i in a:
               if k-1 in s:
                        return True
               s.add(i)
        return False
t=int(input())
for _  in range(t):
         n,k=map(int,input().split())
         arr=list(map(int,input().split()))
         print(pairsum(arr,n,k))#hjk
			   			 		 		   		 	 	  		 	