AT_agc073_a [AGC073A] Chords and Checkered

Description

You are given integers $ L, K $ and a length- $ N $ non-negative integer sequence $ A = (A_1, A_2, \ldots, A_N) $ . Here, $ 2K < L $ and $ 0 \leq A_1 < A_2 < \cdots < A_N < L $ are guaranteed. Consider a circle with circumference $ L $ . Take an arbitrary point on this circle as the reference point, and call the point reached by traveling clockwise distance $ x $ along the circumference from there the point with coordinate $ x $ . Also, for each $ i $ ( $ 1 \leq i \leq N $ ), consider the chord connecting the point with coordinate $ A_i $ and the point with coordinate $ A_i + K $ , and call this chord $ i $ . For a set of chords $ s $ , the **score** is determined by the following procedure: - Draw all chords contained in $ s $ . The drawn chords divide the circle into several regions; color them with white and black. First, color the region containing the center of the circle white, and color the remaining regions so that adjacent regions (connected by a line segment of positive length) have different colors. It can be proved that such a coloring method always exists uniquely. The score is the number of regions colored black. There are $ 2^N $ possible sets for $ s $ . Find the sum, modulo $ 998244353 $ , of scores for all of these.

Input Format

The input is given from Standard Input in the following format: > $ L $ $ K $ $ N $ $ A_1 $ $ A_2 $ $ \ldots $ $ A_N $

Output Format

Output the answer.

Explanation/Hint

### Sample Explanation 1 - When no chords are chosen, the score is $ 0 $ . - When chord $ 1 $ is chosen, the score is $ 1 $ . - When chord $ 2 $ is chosen, the score is $ 1 $ . - When chords $ 1, 2 $ are chosen, the score is $ 2 $ . Therefore, the answer is $ 4 $ , which is the sum of these. ### Constraints - $ 1 \leq K $ - $ 2K < L \leq 10^9 $ - $ 1 \leq N \leq 250000 $ - $ 0 \leq A_1 < A_2 < \cdots < A_N < L $ - All input values are integers.