AT_iroha2019_day1_e 放課後

※「きたむー」是负责该题目的一位出题助理的名字，并且他的女朋友并不是「いろはちゃん」。 「きたむー」是高中里竞技编程部的成员，一直以来他都在放学后认真地投入编程。然而，最近他有了女朋友。 他很想和女朋友约会！ 由于约会逐渐侵占了他的编程学习时间，你担心这样下去他的排名会下降，于是决定帮助他管理放学后的日程安排。 你需要为接下来的 $N$ 天做出以下规划： 1. 每天放学后，「きたむー」只能进行「约会」或「编程」其中之一。 2. 如果连续 $A$ 天没有约会，「きたむー」就会因为缺乏爱而萎靡不振，因此每 $A$ 天内必须至少有一天安排约会。 3. 从明天开始的 $N$ 天内有 $B$ 个特别纪念日，分别在第 $D_1, D_2, \cdots, D_B$ 天。在这些日子里，「きたむー」必须进行约会。这里的 $D_i$ 互不相同。 4. 假设今天他已经和女朋友约会过，而且他的学校是没有假期的。你需要在其中让「きたむー」尽可能多地能进行编程学习。

输入通过标准输入给出，格式如下所示： > $N$ $A$ $B$ $D_1$ $D_2$ $\cdots$ $D_B$

输出一个数字，代表「きたむー」可以编程学习的最大天数。

- 所有输入值均为整数 - $1 \leq N \leq 10^{18}$ - $1 \leq A \leq N$ - $0 \leq B \leq \min(N, 2 \times 10^5)$ - $1 \leq D_i \leq N$ $(1 \leq i \leq B)$ - $D_i \neq D_j$ $(1 \leq i, j \leq B)$ 且 $i \neq j$ ### 样例解释 1. 在接下来 $10$ 天内的规划中，如要求每 $4$ 天内至少有一天是约会，并在第 $4$ 天和第 $6$ 天固定进行约会，那么一种安排可为 `PPPDPDPPPD`，其中编程学习天数为 $7$ 天。 2. 太孤单了。 3. 纪念日过多。 **本翻译由 AI 自动生成**