题目描述

小丁为了鼓励自己坚持运动，制定了一个积分奖励规则。他每天记录自己的运动步数，如果当日步数不低于8000步则视为达标。积分规则如下：

• 连续达标$3$天，可获得$1$分；
• 连续达标$5$天（比$3$天多$2$天），可获得$2$分；
• 连续达标$7$天（比$5$天多$2$天），可获得$3$分；
• 连续达标$9$天，可获得$4$分；
• 连续达标$11$天及以上，可获得$5$分（最高积分）。

注意：连续天数若未达到3天则不得分；若连续天数超过$11$天（如$15$天），仍按$5$分计算。若连续达标过程中某一天未达标，则连续天数重新计算。

现在，给定小丁最近$n$天的步数记录，请计算他能获得的最高积分。

输入格式

第一行包含一个整数$n（1≤n≤1e5）$，表示记录的天数。
第二行包含$n$个整数，用空格分隔，表示每天的步数$（0≤步数≤20000）$。

输出格式

输出一个整数，表示小丁能获得的最高积分。

样例输入1

10  
8000 8500 9000 7900 8000 8500 9000 9500 8000 8500  

样例输出1

2  

样例解释1

第$1-3$天连续达标（$3$天），得$1$分；
第$5-9$天连续达标（$5$天），得$2$分；
其他连续天数均不足$3$天，因此最高积分为$2$分。

样例输入2

15  
8000 8000 8000 8000 8000 8000 8000 8000 8000 8000 8000 8000 8000 8000 8000  

样例输出2

5  

样例解释2

连续达标$15$天，最高积分为$5$分。

样例输入3

5  
7000 8000 8500 9000 9500  

样例输出3

2  

样例解释3

第$2-5$天连续达标$5$天，得$2$分。

提示

• 连续天数需从某一天达标后开始计数，若某一天未达标则中断。
• 积分只与最长连续达标天数有关，但可能存在多个连续段，需取所有连续段中的最高积分。