당신은 디미고의 텃밭을 가꾸는 농부이다.
당신의 역할은 묘목 개를 일렬로 적절하게 배치하여 생산량을 극대화하는 것이다.
번 묘목의 높이는 이며, 모든 묘목의 높이는 서로 다르다.
묘목은 잎이 무성하기 때문에 자신보다 높이가 낮은 양옆의 묘목의 햇빛을 가린다.
한 묘목은 최대 개의 묘목에게 가려질 수 있으며 (오른쪽, 왼쪽), 이때마다 가려진 묘목은 자신의 높이 마다 열리는 열매의 수가 씩 감소한다.
모든 묘목의 종류가 같으므로 높이 마다 열리는 열매의 수는 모두 동일하다.
각 묘목의 높이 마다 열리는 열매 수는 보다 작아지지 않는다. 이때, 묘목을 적절히 배열하여 총 생산량 의 최댓값을 구하시오.
첫 번째 줄에 묘목의 수 과 높이 마다 열리는 열매의 수 가 공백으로 구분되어 주어진다.
두 번째 줄에 각 묘목의 높이 이 공백으로 구분되어 주어진다.
(단, 입력에서 주어지는 묘목의 높이는 서로 모두 다르다.)
첫 번째 줄에 최대 생산량 를 출력한다.
