闰年判断

题目描述

在公历纪年法中，闰年的判定遵循如下规则：

• 普通闰年：公历年份是 $4$ 的倍数，且不是 $100$ 的倍数时，为普通闰年。例如 $2004$ 年、$2020$ 年都是普通闰年。
• 世纪闰年：公历年份是整百数时，必须是 $400$ 的倍数才是世纪闰年。例如 $1900$ 年不是世纪闰年，$2000$ 年是世纪闰年。

闰年的统一逻辑判断条件可表示为：

$$(y \bmod 4 = 0 \land y \bmod 100 \neq 0) \lor (y \bmod 400 = 0)$$

请编写程序，判断给定的整数年份是否为闰年。

输入格式

输入仅一行，包含一个正整数 $y$，代表待判断的年份。

输出格式

输出仅一行。若输入年份是闰年，输出 Yes；否则输出 No。

样例 #1

样例输入 #1

2020

样例输出 #1

Yes

样例 #2

样例输入 #2

1900

样例输出 #2

No

样例 #3

样例输入 #3

2000

样例输出 #3

Yes

提示

• 数据范围：$1 \leq y \leq 10^5$
• 可通过取模运算与逻辑运算符组合实现核心判断逻辑。