#agc003b. [agc003_b]Simplified mahjong

[agc003_b]Simplified mahjong

問題文

高橋君は 11 から NN までの整数のうちのどれかが書かれたカードをたくさん持っています。 高橋君は整数 ii が書かれたカードを AiA_i 枚持っています。

22 枚のカードについて、それらに書かれた整数の差の絶対値が 11 以下のとき、これらをペアにすることができます。

高橋君は、同じカードが複数のペアに使われないように、できるだけ多くのペアを作りたいです。高橋君が作れるペアの個数の最大値を求めてください。

制約

  • 1N1051 ≦ N ≦ 10^5
  • 0Ai109(1iN)0 ≦ A_i ≦ 10^9 (1 ≦ i ≦ N)
  • 入力はすべて整数である。

入力

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

NN A1A_1 : ANA_N

出力

高橋君が作れるペアの個数の最大値を出力せよ。


入力例 1

4
4
0
3
2

出力例 1

4

一例として、(1,1),(1,1),(3,4),(3,4)(1,1),(1,1),(3,4),(3,4)44 つのペアをつくることができます。


入力例 2

8
2
0
1
6
0
8
2
1

出力例 2

9