AT_abc379_c.[ABC379C] Sowing Stones

给你两个数 $n$，$m$。

表示现在有 $n$ 个格子，再给你 $m$ 组数据，表示在第 $X_i$ 个格子上有 $A_i$ 个石头。

有以下操作（可以不移动）。

• 对于第 $i$ 个格子，如果这个格子上有石头 ，可以将这个格子的一个石头移动到第 $i+1$ 个格子上。

求使得每个格子上恰好有一个石头的最小移动次数，如果无法满足条件输出 $-1$。

• 第一行：$N$ $M$

• 第二行：$X_1$ $X_2$ $\ldots$ $X_M$

• 第三行：$A_1$ $A_2$ $\ldots$ $A_M$

第一行一个数，表示移动的最少次数或报告 $-1$。

样例 #1

样例输入 #1

5 2
1 4
3 2

样例输出 #1

4

样例 #2

样例输入 #2

10 3
1 4 8
4 2 4

样例输出 #2

-1

数据范围

• $ 2\ \leq\ N\ \leq\ 2\ \times\ 10^{9} $
• $ 1\ \leq\ M\ \leq\ 2\ \times\ 10^{5} $
• $ M\ \leq\ N $
• $ 1\ \leq\ X_i\ \leq\ N $ $ (1\ \leq\ i\ \leq\ M) $
• $ X_i\ \neq\ X_j $ $ (1\ \leq\ i\ <\ j\ \leq\ M) $
• $ 1\ \leq\ A_i\ \leq\ 2\ \times\ 10^{9} $ $ (1\ \leq\ i\ \leq\ M) $
• 输入为整数

Sample Explanation 1

可以通过如下 $4$ 次操作使条件满足，且没有比 $4$ 次更小的次数。

初始条件：第一个格子上有 $3$ 个石头，第四个格子上有 $2$ 个石头。

• 移动一个石头从格子 $1$ 到格子 $2$。

• 再移动一个石头从格子 $1$ 到格子 $2$。

• 移动一个石头从格子 $2$ 到格子 $3$。

• 移动一个石头从格子 $4$ 到格子 $5$。

操作完成后每个格子上都有一个石头。

Sample Explanation 2

这个数据中无论如何移动一定无法使每个格子上有一个石头。