AT_past202306_d.レコーダー

高桥打算用录像机录制某个电视节目（以下简称“节目”）。在时刻 $0$，该节目计划从时刻 $A$ 播放到时刻 $A+R$。然而，节目实际的播放时间可能因节目安排变化而更改。因此，高桥决定采取如下措施以完整录制该节目：

• 在所有时刻为 $D$ 的倍数的时点（包括时刻 $0$）进行以下操作（该操作不消耗时间）：
  • 设当前时刻为 $t$，当时节目预计的开始和结束时间分别为 $p$ 和 $q$。如果 $t < q$，则高桥会预约录制区间 $[\max(p, t), q]$。

注意，高桥的录像机可以同时处理多条录制预约，也就是说，即使已有一条或多条预约，高桥仍可以新增录制预约，且之前的预约不会被取消，所有的预约都会执行。

如前所述，时刻 $0$ 时节目原定于 $[A, A+R]$ 播放。但在时刻 $B$，节目的播放计划更改为 $[C, C+R]$。（满足 $B<A$，$B<C$，$A\neq C$，且 $A, B, C$ 均不是 $D$ 的倍数。）

请判断高桥是否能够完整录制节目。更准确地说，请判断下述命题是否成立：

• 对于所有时刻 $t$，满足 $C \leq t \leq C+R$，至少存在一个预约区间 $[p, q]$ 使得 $p \leq t \leq q$。

输入为一行，格式如下：

$A$ $B$ $C$ $D$ $R$

如果题目中的命题成立，输出 Yes；否则输出 No。

样例解释

样例解释 1

高桥的操作如下：

• 时刻 $0$ 时，节目原预计于 $[5, 25]$ 播放。
• 高桥在时刻 $0$ 预约录制 $[5, 25]$。
• 时刻 $3$，节目的播放时间更改为 $[15, 35]$。
• 高桥在时刻 $20$ 预约录制 $[20, 35]$。
• 时刻 $40$ 之后，高桥不会再进行任何预约，因为已过节目计划结束时间。

区间 $15 \leq t \leq 20$ 由首次预约覆盖，区间 $20 \leq t \leq 35$ 由第二次预约覆盖。因此答案为 Yes。

数据范围

• $1 \leq A, B, C, D, R \leq 1000$
• $A$、$B$、$C$、$D$、$R$ 均为整数
• $B < \min(A, C)$
• $A \neq C$
• $A, B, C$ 均不是 $D$ 的倍数

由 ChatGPT 5 翻译