Farmer John сдаёт ежегодный экзамен на фермерскую лицензию. В нём $N$ вопросов верно/неверно ($1 \le N \le 1,000,000$). После плохого результата FJ в прошлом году Bessie хочет помочь.

Bessie знает изнутри: число ответов «верно» равно одному из $t_{1}$, $t_{2}$, $t_{3}$, ..., $t_{K}$ ($0 \le t_i \le N; 0 \le K \le 10,000$), но не знает ответа ни на один конкретный вопрос. Она хочет узнать лучший гарантированный результат FJ при разумном использовании сведений, даже без знания реальных ответов.

Например, для $N=6$ вопросов число истинных ответов0 или3. FJ гарантирует хотя бы3 правильных: отвечая везде «неверно», получит6 правильных, если истинных0, и3, если истинных3. Так, не зная ответов, он гарантирует хотя бы3, отмечая всё неверным.

Рассмотрим худшую стратегию: угадать3 ответа верными и3 неверными. Если верных нет, правильны3 отмеченных неверными. Если верных3, правильных может быть0: все3 отмеченных верными на самом деле неверны, остальные3 верны. Отметив всё неверным, он мог бы получить3, но выбирая3 верных, не гарантирует даже1 правильного. Стратегия не гарантирует ни одного. Следует использовать стратегию предыдущего абзаца.

По сведениям Bessie определите гарантированное число правильных ответов при оптимальном их использовании.

Входные данные

• Строка1: два целых через пробел $N$ и $K$.
• Строки $2..K+1$: строка $i+1$ содержит одно целое $t_{i}$.

Выходные данные

• Строка1: одно целое, лучший гарантированный результат FJ.

Примеры

Входные данные 1

6 2
0
3

Выходные данные 1

3

Автор задачи: Tom Conerly, 2010