Card màn hình

Một cửa hàng bán $n$ card màn hình, card thứ $i$ có công suất là số nguyên $a_i$.

Người mua có thể mua một tập con bất kỳ các card, rồi chọn một card trong tập đó làm card chủ đạo; mọi card còn lại là card phụ. Để hệ thống hoạt động, công suất của mỗi card phụ phải chia hết cho công suất của card chủ đạo. Để đạt được điều đó, công suất của một card phụ có thể bị giảm xuống một số nguyên bất kỳ nhỏ hơn hoặc bằng công suất hiện tại của nó. Công suất của card chủ đạo không được phép giảm.

Hãy tính tổng công suất lớn nhất có thể đạt được của hệ thống, tức là tổng công suất của card chủ đạo và tất cả các card phụ sau khi giảm.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ là số card màn hình trong cửa hàng.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$ là công suất của các card.

Dữ liệu ra

Một số nguyên duy nhất là tổng công suất lớn nhất có thể đạt được.

Ràng buộc

• $1\le n\le 200000$
• $1\le a_i\le 200000$

Ví dụ