题目背景

小 R 在翻阅天文学资料时，发现了一种叫做真闰年的特殊年份分类方式。这种分类方式与常见的闰年规则有所不同，小 R 决定写个程序来帮忙判断。

题目描述

如果一个年份满足以下任意一条规则，则它是真闰年；否则不是。

1. 是 $4$ 的倍数，但不是 $100$ 的倍数；
2. 是 $400$ 的倍数，但不是 $3200$ 的倍数；
3. 是 $172800$ 的倍数。

小 R 想知道给定的年份 $y$ 是否是真闰年。

输入格式

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

输出格式

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

样例

2024

Yes

2100

No

2400

Yes

6400

No

518400

Yes

提示

样例解释

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

数据范围

对于前 $30\%$ 的数据，保证 $y \lt 3200$；
对于另 $30\%$ 的数据，保证 $y \lt 172800$；
对于 $100\%$ 的数据，保证 $1 \le y \le 10^{18}$。