题目描述

小阳很喜欢去主题乐园玩，他最钟爱的是园里的碰碰车。每次乘坐碰碰车，都要花费 $8$ 元。每去一趟乐园，他可能会乘坐好几次碰碰车。

爷爷每天会给小阳 $1$ 元零花钱。第 $0$ 天时，小阳手里一分钱也没有。当小阳攒下的零花钱达到 $50$ 元后，爷爷就不再给他零花钱了。

爷爷计划带小阳去 $n$ 趟乐园，分别在第 $a_1,a_2,\cdots,a_n$ 天。一天可以去多趟乐园，因此 $a_i$ 可能相同。每去一趟乐园，小阳都会把手里的零花钱全部拿去坐碰碰车，直到剩下的钱不够 $8$ 元为止。

请问，小阳去完 $n$ 趟乐园后，一共乘坐了多少次碰碰车？

输入格式

第一行包含一个整数 $n$，表示计划去乐园的次数。

第二行包含 $n$ 个整数 $a_1, a_2, \cdots, a_n$，表示小阳去乐园的日期。

数据保证 $a_1 \le a_2\le \cdots \le a_n$。

输出格式

输出一行一个整数，表示小阳乘坐碰碰车的总次数。

样例

5
1 17 70 75 79

9

提示

样例解释

• 最开始时（第 $0$ 天），小阳手里没有钱。
• 第 $1$ 天时，小阳手里有 $1$ 元。他去了一趟乐园，但钱不够坐碰碰车。
• 第 $17$ 天时，小阳手里有 $17$ 元。这一趟可以坐 $2$ 次碰碰车，还剩 $1$ 元。
• 第 $70$ 天时，小阳手里有 $50$ 元（其实到第 $66$ 天他就攒够 $50$ 元了，之后爷爷不再给钱）。这一趟可以坐 $6$ 次碰碰车，还剩 $2$ 元。
• 第 $75$ 天时，小阳手里有 $7$ 元。他去了一趟乐园，但钱不够坐碰碰车。
• 第 $79$ 天时，小阳手里有 $11$ 元。这一趟可以坐 $1$ 次碰碰车，还剩 $3$ 元。

他一共坐了 $9$ 次碰碰车。

数据规模与约定

• 对于 $40\%$ 的测试数据，$n\le 10$，$a_i\le 50$；
• 对于 $70\%$ 的测试数据，$n\le 100$，$a_i\le 500$；
• 对于 $100\%$ 的测试数据，$1 \le n\le 10^5$，$1 \le a_i\le 10^9$。