题目描述

核桃编程北京总部的门禁系统总是不好用，面条老师 被闸门夹了无数次。

在旧系统中，每次刷门禁卡，只会将闸门打开 $3$ 秒，期间即使下一个人刷了门禁卡，也不会影响闸门打开的时间。

面条老师 决定修改门禁系统：只要有人刷了门禁卡，闸门就会打开，且重新计时，让闸门打开 $3$ 秒。

例如在第 $1$ 秒和第 $3$ 秒都刷了门禁卡，闸门的打开时间就为第 $1 \sim 5$ 秒。

特别的，闸门开关可认为瞬间完成，不计入时间，若在第 $t$ 秒刷卡，可认为闸门的打开时间为第 $t, t + 1, t + 2$秒。

下面给出 $n$ 个人的刷卡时间，请你计算闸门一共要打开多少秒。

输入格式

输入包括两行。

第一行包含一个整数 $n$，代表有 $n$ 个人将要刷卡。

第二行包含 $n$ 个整数，第 $i$ 个整数为 $t[i]$，代表第 $i$ 个人在 $t[i]$ 秒时刷卡。

输出格式

输出包括一行，包含一个整数，代表闸门一共打开的时间。

5
1 3 5 6 7

9

2
1 9

6

样例解释

样例解释 1

闸门打开时间为 $1 \sim 9$，共计 $9$ 秒。

样例解释 2

闸门打开时间为 $1 \sim 3, 9 \sim 11$，共计 $6$ 秒。

数据规模与约定

对于 $30\%$ 的数据，满足所有人都在别人闸门关闭之后，再刷卡。

对于 $100\%$ 的数据，满足 $1 \le n, t[i] \le 10^4$，不保证按顺序给出闸门打开的时间。