小松鼠为过冬准备了有 $n$ 箱松果，箱子的编号为 $1∼n$,第 $i$ 箱有 $a_i$ 个。它今天有点饿，想吃一些松果，但为了过冬，还是要少吃一点，最好每个箱子里都别吃完。所有它希望 $n$ 箱松果吃完之后数量上满足以下的规律：

• 每个箱子都不能空。
• 箱子里的松果数量从第 1 箱到第 $n$ 箱，应该是递增的。

小松鼠想通过吃尽量少的松果，使得数量上满足以上两个要求。请你编程输出小松鼠吃掉的最少的松果数量。如果他无法完成心愿就输出 -1。