Prime Coins

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

GT王国では 円硬貨が流通しています。ここで は小さい方から数えて 番目の素数を表します。
また であることが分かっています。この硬貨は素数硬貨と呼ばれています。

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

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

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

7

Yes

例えば 円硬貨、 円硬貨を払うことで 円ちょうどを払うことができます。
もちろん 円硬貨 枚で払っても大丈夫です。

1

No

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

998244355

Yes

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