바보 나라에서 유일한 천재이자 국왕인 은규가 나라를 다스리고 있다. 바보 나라에서 은규를 제외한 $N$명의 바보가 일렬로 서 있다. 은규는 바보들을 불쌍히 여겨 모든 바보를 자신과 같은 천재로 만드는 정책을 펼치고자 한다. 은규는 각 바보에게 "너는 바보다"라고 알려줄 수 있다.
바보가 은규로 인해 자신이 바보임을 깨닫게 되면, 천재가 되기 위해 수련을 시작한다. 나라에서는 특별조사국을 꾸려 오랜 시간 동안 조사한 결과, 바보들의 수련 패턴은 다음과 같다.
수련 시작 조건
수련 완료 시간
수련 시간 단축
은규는 각 바보에게 언제 바보라고 알려줄지 자유롭게 결정할 수 있다. 정책에 필요한 비용을 마련하기 위해, 모든 바보가 천재가 될 때까지 필요한 최소 시간을 구하고자 하였다. 은규가 구한 최소 시간을 구해보자.
첫 번째 줄에 정수 $N$이 주어진다.
두 번째 줄에 $T_1, T_2, \cdots, T_N$이 공백으로 구분되어 주어진다.
첫 번째 줄에 모든 바보가 천재가 될 때까지 걸리는 최소 시간을 출력한다.