Stadium

Sân vận động Lạch Tray tổ chức trận chung kết Champion League giữa MU và Barce. Hiện tại còn M hàng ghế trống (đánh số từ 1 đến M), hàng ghế thứ i còn trống x_i ghế.

Hiện tại, xếp hàng ngoài cổng sân vận động Lạch Tray có n người mua vé. Mỗi người đến lượt mình được mua đúng 1 vé do ban tổ chức đưa, không có sự lựa chọn.

Giá vé được quy định như sau: tại thời điểm mua vé, nếu nhận được vé ở hàng i thì giá vé bằng số ghế còn trống của hàng i.

Yêu cầu

Hãy giúp ban tổ chức bán được nhiều tiền nhất.

Dữ liệu

Vào từ file văn bản STADIUM.INP:

• Dòng 1: Hai số nguyên dương m, n (1 ≤ m, n ≤ 10^6)
• Dòng tiếp theo: chứa dãy số x_1, x_2, ..., x_m (0 ≤ x_i ≤ 10^6, x_1 + x_2 + ... + x_m ≥ n)

Kết quả

Ghi ra file văn bản STADIUM.OUT một số nguyên duy nhất là số tiền lớn nhất thu được.

Ví dụ

STADIUM.INP

3 4
1 2 4

STADIUM.OUT

11