配点 :

問題文


mts くんは mojacoder 国のギルドに所属する勇者です。

ギルドではクエストを受注することができ、クエストをクリアすると報酬が貰えます。クエストの詳細は下記の通りです。

  • ギルドには 個のクエストがあり、 から までの番号がついています。ゲームの世界ではよくあるように、あるクエストを受注してクリアしても、そのクエストは再び受注できます。
  • 番目のクエストをクリアすると、正の整数 の素因数を一つ選んで報酬として貰うことができます。同じクエストを再び受注してクリアすれば同様にして報酬が貰えます。異なるクエストに同じ正の整数が割り当てられている可能性があります(サンプル を確認してください)。

mts くんはコンプリート欲があるため、クエストを繰り返しクリアすることで全埋めをしようとしています。全埋めとは、下記の二つの条件を達成することです(前述した通り、同じクエストは何度でも受注できます)。

  • 個のクエストを全てクリアする
  • 個のクエストの報酬として入手可能な全ての種類の素因数を集める

mts くんは凄腕の勇者なので受注したクエストは必ずクリアできます。このとき、mts くんが全埋めするために受注するクエストの個数の最小値を求めてください。

制約


  • 入力は全て整数である

入力


入力は以下の形式で標準入力から与えられます。


出力


全埋めするために受注するクエストの個数の最小値を出力してください。

サンプル 1


入力1
2
4 6
出力1
2

の素因数は の素因数は です。
例えば、下記のように 個のクエストを受注することで全埋めできます。
個未満のクエストで全埋めすることはできません。

  • クエスト を受注、クリアして素因数 を貰う
  • クエスト を受注、クリアして素因数 を貰う

サンプル 2


入力2
3
5 5 6
出力2
4

の素因数は の素因数は です。
例えば、下記のように 個のクエストを受注することで全埋めできます。
個未満のクエストで全埋めすることはできません。

  • クエスト を受注、クリアして素因数 を貰う
  • クエスト を受注、クリアして素因数 を貰う
  • クエスト を受注、クリアして素因数 を貰う
  • クエスト を受注、クリアして素因数 を貰う

サンプル 3


入力3
4
42 55 17017 17
出力3
7

サンプル 4


入力4
6
2 6 385 33 3 65
出力4
7

Submit


Go (1.14)