题目描述

当小 S 上网查资料时，她发现了一种叫做真闰年的年份。她发现，如果一个年份：

• 不是 $4$ 的倍数，则不是真闰年；
• 是 $4$ 的倍数，但不是 $100$ 的倍数，则是真闰年；
• 是 $100$ 的倍数，但不是 $400$ 的倍数，则不是真闰年；
• 是 $400$ 的倍数，但不是 $3200$ 的倍数，则是真闰年；
• 是 $3200$ 的倍数，但不是 $172800$ 的倍数，则不是真闰年；
• 是 $172800$ 的倍数，则是真闰年。

小 S 很好奇一些年份是否是真闰年。现在，她将给你一个年份 $y$，请你告诉她这一年是否为真闰年。

输入格式

一行，一个正整数 $y$，表示询问的年份。

输出格式

一行，一个字符串。若 $y$ 是真闰年，输出 Yes，否则输出 No。

2024

Yes

2100

No

2400

Yes

6400

No

518400

Yes

提示

样例解释

$2024$ 满足第 $1$ 条规则，所以是真闰年。
$2100$ 满足第 $2$ 条规则，所以不是真闰年。
$2400$ 满足第 $3$ 条规则，所以是真闰年。
$6400$ 满足第 $4$ 条规则，所以不是真闰年。
$518400$ 满足第 $5$ 条规则，所以是真闰年。

数据范围

对于前 $30 \%$ 的数据，保证 $y < 3200$；
对于另 $30 \%$ 的数据，保证 $y < 172800$；
对于 $100 \%$ 的数据，保证 $1 \leq y \leq 10^9$。