Description

小猿有一家火腿小店专卖火腿，这天晚上，小猿准备把今天出售火腿的情况统计到记账本里，这样方便以后查账
而小猿记账时非常规范：小店里一共有 30 种火腿
首先小猿会按照火腿的分类进行记账，同一页纸上只会记录同类火腿的售卖情况
小猿又规定一页纸最多记录 n 只火腿的售卖情况，而如果某一种类的火腿在最后一页无法写满，则小猿会把剩下的空白部分直接空着，从新的一页开始记录下一个种类火腿的售卖情况
现在小猿已经初步统计好了今天这 30 种火腿各卖出了几只，他想要知道需要今天需要准备几张纸来记账？
P.S. 一张纸有两页

Input Format

输入第一行一个正整数表示 ，含义如题   
第二行 30 个数分别表示每种火腿出售的数量 a_i
对于 20% 的数据，a_i=0。   
对于 60% 的数据，0 <=a_i <=10^5。   
对于 100% 的数据，1<=n <=10^9, 0 <= a_i <=2 * 10^9。 

Output Format

输出一个整数表示小猿需要提前准备多少张纸来记账
样例解释   
其中第 8,10,11,21,23 种火腿都需要 2 页记账本  第 13,26 种火腿不需要记账本  其余所有种类的火腿需要 1 页记账本 共需要 33 页，即 17 张纸 

5
1 1 4 5 1 4 1 9 1 9 8 1 0 1 1 4 5 1 4 1 9 1 9 5 1 0 2 2 2 2

17

Source

月赛甲组