Add 9 Zeros
时间限制：C/C++/Rust/Pascal 2秒，其他语言4秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

                                         

众所周知一个程序的时间复杂度十分重要，评测机 大概能做 次简单运算，所以根据题目所提供的数据范围你就应该精心的策划好你所写程序应该具有的时间复杂度，而在数据范围变大时，想要在时限内完成同样的一个题目，你就不得不设计出一个更快更巧妙的程序，在本题中我们认定数据范围不一样的题目不是同样的题。

现在卡夫卡有一个包含 个不同题目的题集A ，其中第 个题的数据范围为 ，也就是说第 个题有 a_i 个 ，数据保证 a_i 两两不同。

现在他想从题集A里面选出一些题目，然后把选出的题目后面加 个 ，然后加入到一个新题集B里面，但是不能有原题，即这个题数据范围加 个 后的题不能在题集A里面有同样的题，请问卡夫卡所创造的新题集B里面最多能有多少个题。

输入描述:

第一行包含一个整数  --- 表示题集A中的题目个数。

第二行包含 n 个整数  --- 表示每个题数据范围中 0 的个数，保证 n 个数互不相同。

输出描述:

输出一行一个整数 --- 表示题集 B 中最多能有多少个题。
示例1

输入

复制 
9
11 4 5 14 1 9 19 8 10

输出

复制 
6