Farmer John צריך לעבור את בחינת רישיון החקלאות השנתית, הכוללת $N$ שאלות נכון/לא נכון ($1 \le N \le 1,000,000$). אחרי התוצאה הגרועה בשנה שעברה 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 תשובות נכונות: עונה לא נכון לכולן, ואם יש0 נכונות פוגע בכל6; אם יש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