B'In the easy version, the a_i are in the range [0, n] ; in the hard version, the a_i are in the range [-1, n] and the definition of good permutation is slightly different. You can make hacks only if all versions of the problem are solved. You are given an integer n and an array a_1, a_2 ... , a_n of integers in the range [0, n] . A permutation p_1, p_2, ... , p_n of [1, 2, ... , n] is good if, for each i , the following condition is true: Count the good permutations of [1, 2, ... , n] , modulo 998 ,244 ,353 . Each test contains multiple test cases. The first line contains the number of test cases t ( 1 <= t <= 10^4 ). The description of the test cases follows. The first line of each test case contains a single integer n ( 1 <= q n <= q 2 cdot 10^5 ) -- the length of the array a . The second line of each test case contains n integers a_1, a_2, ldots, a_n ( 0 <= a_i <= n ), which describe the conditions for a good permutation. It is guaranteed that the sum of n over all test cases does not exceed 2 cdot 10^5 . For each test case, output a single line containing the number of good permutations, modulo 998 ,244 ,353 . In the first test case, the only good permutation is [1, 2, 3, 4, 5] . In the second test case, there are 4 good permutations: [2, 1, 5, 6, 3, 4] , [2, 1, 5, 6, 4, 3] , [2, 1, 6, 5, 3, 4] , [2, 1, 6, 5, 4, 3] . For example, [2, 1, 5, 6, 3, 4] is good because: In the third test case, there are no good permutations, because there are no permutations with a_6 = 5 values <= q 6 in [p_1, p_2, p_3, p_4, p_5, p_6] . '...