問題文

うさぎは、$2$～$N$の数字が書かれたカードを$1$枚ずつ、合計$N-1$枚用意しました。
うなぎは、その中からカードを好きなだけ選びます。
うなぎがカードを選び終えると、うさぎは、うなぎが選んだカードの組み合わせに応じてお金を渡します。

具体的には、
うなぎが選んだカードに書かれた値の集合を$U$としたとき、$U$のどの異なる$2$つの値も互いに素であれば、
うさぎは「うなぎが選んだカードに書かれた値の合計」[円]のお金を（うなぎに）渡します。

うなぎがもらえる金額を$X$[円]としたとき、$X$の最大値を求めてください。

入力

N

$2\le N\le 1262$

出力

$X$の最大値を$1$行で出力してください。 最後に改行してください。

サンプル

6

12

2

2

18

79