Story

茶屋を営むmatcharate君が住んでいる国では、不思議な硬貨が流通しています。
その国に住んでいるprimerate君は、今日もコンビニで素数パンや素数コーヒー、素数アイスティーなどを買いました。
primerate君は裕福なので、全種類の硬貨を持っていました。

問題

GT王国では $p_1,p_2,...p_n$ 円硬貨が流通しています。ここで $p_i$ は小さい方から数えて $i$ 番目の素数を表します。
また $2\le p_1\lt p_2\lt …\lt p_n\lt 10^{100}$ であることが分かっています。この硬貨は素数硬貨と呼ばれています。

primerate君はそのような素数硬貨をそれぞれ $1$ 枚ずつ持っていました。この硬貨のみを使って、ちょうど $N$ 円を支払うことができますか？

入力

入力は以下の形式で与えられる。

制約

• $1\le N\le 10^{18}$

出力

ちょうど $N$ 円払うことができるなら Yes 、できないなら No を出力せよ。

入出力例

7

Yes

例えば $p_1=2$ 円硬貨、$p_3=5$ 円硬貨を払うことで $2+5=7(=N)$ 円ちょうどを払うことができます。
もちろん $p_4=7$ 円硬貨 $1$ 枚で払っても大丈夫です。

1

No

$1$ 円硬貨があれば支払うことは可能ですが、$1$ は素数ではありません。すなわち $1$ 円硬貨は存在しないので、$1$ 円ちょうどを支払うことはできません。

998244355

Yes

例えば $998244353$ 円硬貨と $2$ 円硬貨で払えば良いです。