Trao Huy Hiệu

Có $n$ huy hiệu, huy hiệu thứ $i$ có độ ngầu $a_i$. Ta muốn trao mỗi huy hiệu cho một người lính sao cho không có hai người lính nào nhận huy hiệu có cùng độ ngầu, tức là tất cả $n$ giá trị độ ngầu phải đôi một khác nhau.

Mỗi lần tăng độ ngầu của một huy hiệu lên $1$ tốn $1$ đồng. Ta chỉ được tăng (không được giảm) độ ngầu.

Hãy tính số tiền nhỏ nhất cần chi để tất cả các huy hiệu có độ ngầu đôi một khác nhau.

Dữ liệu vào

• Dòng đầu chứa một số nguyên $n$.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$ là độ ngầu ban đầu của từng huy hiệu.

Dữ liệu ra

• In ra một số nguyên: số tiền nhỏ nhất cần chi.

Ràng buộc

• $1\le n\le 3000$
• $1\le a_i\le n$

Ví dụ