题目描述

小珅非常迷恋收集各种干脆面里的英雄卡，为此他曾经连续一个月只吃干脆面这一种零食，但有些稀有英雄卡实在太难收集。后来某商场搞了一次英雄卡兑换活动，只要你有三张编号连续的英雄卡，就可以换任意编号的英雄卡。

小珅想知道他最多可以换到几张英雄卡（新换来的英雄卡不可以再次兑换）。

输入格式

第一行一个整数 $n$。第二行 $n$ 个整数 $a_i$，表示卡片编号。

输出格式

一行一个整数，表示最多的兑换次数。

样例 1

输入

6
3 1 2 4 4 5

输出

1

说明

样例中可用编号 1、2、3 兑换一次；剩下 4、4、5，无法再兑换。

输入样例 #2

3
2 3 3

输出样例 #2

0

输入样例 #3

4
2 1 4 2

输出样例 #3

0

数据范围

70% 的数据：$n\le1000$。全部数据：$n\le10000$，$a_i\le100000$。