Макес решает задачи на Decoforces и множестве других онлайн платформ. Каждая задача характеризуется своей сложностью — целым положительным числом. Сложности измеряются одинаково на всех платформах (т.е. задача со сложностью d на Decoforces такая же трудная, как и задача со сложностью d на любой другой платформе).

Макес выбрал для решения n задач на Decoforces со сложностями a₁, a₂, ..., a_n. Он может решать задачи в произвольном порядке. Однако, чтобы решить задачу i со сложностью a_i, надо заранее решить хотя бы одну задачу со сложностью (не имеет значения, на какой платформе).

Перед решением выбранного списка задач Макес уже решал задачи с максимальной сложностью k.

С заданными условиями легко заметить, что Макес не всегда может решить все выбранные задачи, какой бы порядок он не использовал. Поэтому он хочет решить некоторые задачи на других платформах так, чтобы завершить решение задач из своего списка.

Для каждого целого положительного y хотя бы на одной платформе помимо Decoforces существует задача со сложностью y.

Макес может решать задачи на любой платформе в любое время, не обязательно решать задачи из списка подряд одну за другой.

У Макеса не очень много свободного времени, поэтому он просит вас посчитать минимальное количество задач, которые ему потребуется решить на других платформах, чтобы решить все выбранные задачи на Decoforces.