Đội võ sĩ

Có $n$ võ sĩ, võ sĩ thứ $i$ có cân nặng $a_i$.

Trước khi thi đấu, mỗi võ sĩ được phép thay đổi cân nặng của mình thêm nhiều nhất $1$ đơn vị, tức là cân nặng mới có thể là $a_i-1$, $a_i$ hoặc $a_i+1$. Cân nặng luôn là số nguyên và phải luôn dương, nên võ sĩ có cân nặng $1$ không được giảm xuống $0$. Ngược lại, cân nặng sau khi thay đổi được phép lên tới $150001$.

Ban huấn luyện muốn chọn ra một đội tuyển có nhiều võ sĩ nhất sao cho cân nặng của mọi võ sĩ trong đội đôi một khác nhau. Những võ sĩ không được chọn vào đội thì không cần quan tâm tới cân nặng của họ.

Hãy tính số võ sĩ nhiều nhất có thể có trong đội.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ là số võ sĩ.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$ là cân nặng của các võ sĩ.

Dữ liệu ra

Một số nguyên duy nhất là số võ sĩ nhiều nhất có thể chọn vào đội.

Ràng buộc

• $1\le n\le 150000$
• $1\le a_i\le 150000$

Ví dụ