CF2255F Who Will Witness the End?
Description
Before her final sortie, Chtholly asks Willem three questions.
The third is this: when the end finally comes, who will remain to witness it?
Willem cannot answer her directly. Instead, he draws a circle on the board, calling it the ring of all things, and writes down $ n $ labeled integers $ a_1,a_2,\ldots,a_n $ . Every possible order around the ring describes a different way in which the world might reach its end.
Consider a permutation $ p_1,p_2,\ldots,p_n $ of the integers from $ 1 $ to $ n $ . Place the corresponding numbers on a circle in this order. The weight of the resulting circular arrangement is
$$$
\prod_{i=1}^{n}(a_{p_i}+a_{p_{i+1}}),
$$$
where $ p_{n+1}=p_1 $ .
Two permutations describe the same circular arrangement if one can be obtained from the other by a cyclic shift. Reversing an arrangement does not make it the same arrangement; in other words, reflected arrangements are considered different unless they also coincide after a cyclic shift.
Find the sum of the weights of all distinct circular arrangements. Since the answer may be large, output it modulo $ 998\,244\,353 $ .
Input Format
Each test contains multiple test cases. The first line contains the number of test cases $ t $ ( $ 1 \le t \le 10^4 $ ). The description of the test cases follows.
The first line of each test case contains one integer $ n $ ( $ 3 \le n \le 2\cdot 10^5 $ ) — the number of labeled integers.
The second line contains $ n $ integers $ a_1,a_2,\ldots,a_n $ ( $ 0 \le a_i \lt 998\,244\,353 $ ).
It is guaranteed that the sum of $ n $ over all test cases does not exceed $ 2\cdot 10^5 $ .
Output Format
For each test case, output one integer — the sum of the weights of all distinct circular arrangements, modulo $ 998\,244\,353 $ .
Explanation/Hint
In the first test case, there are two distinct circular arrangements. They can be represented by the permutations $ [1,2,3] $ and $ [1,3,2] $ . Both have weight
$$$
(1+2)(2+3)(3+1)=60,
$$$
so the answer is $ 120 $ .
In the second test case, an arrangement has nonzero weight only if zeros and ones alternate around the circle. There are
$$$
\frac{2\cdot3!\cdot3!}{6}=12
$$$
such circular arrangements: the factor $ 2 $ chooses whether a linear representative starts with a zero or a one, and division by $ 6 $ identifies cyclic shifts. Each arrangement has weight $ 1 $ . All other arrangements have weight $ 0 $ , so the answer is $ 12 $ .