問題文

kk 種類の手を使って、「じゃんけん的なゲーム」を作ることは出来ますか。

ただし、「じゃんけん的なゲーム」とは、 kk 種類の手から 22 人が同時にそれぞれ一つを選択し、

  • kk 種類のうち異なる 22 種類が選ばれた場合、必ず勝敗が定まる。
  • 上記の場合について、どちらの手を選んだ側が勝利するかは他の一切の条件に依存せず、一意に定まっている。
  • 双方が同じ手を選んだ場合は必ず引き分けとなる。
  • 相手がランダムに手を選ぶと仮定すると、どの手を出しても期待される勝率は同じである。

44 つの条件を全て満たすゲームのことを言います。

制約

  • 2k50002 \leq k \leq 5000
  • 入力は全て整数である

入力

k

出力

与えられた条件を満たすゲームが構築可能であれば Yes を、不可能であれば No を出力してください。

サンプル

入力1
3
出力1
Yes

通常のじゃんけんが、構築の一例です。

入力2
1210
出力2
No

可能だったとしても勝敗判定を覚えられるとは思いませんが、実は構築不可能なようです。

提出


Go (1.21)