• محدودیت زمان: ۱ ثانیه
• محدودیت حافظه: ۲۵۶ مگابایت

باقر می‌خواهد $n$ نامه برای $m$ شرکت مختلف بفرستد. نام این شرکت‌ها را با اعداد $1, 2, \dots, m ,$ نمایش می‌دهیم.

باید نامه‌ی اول به شرکت $l_1$، نامه دوم به شرکت $l_2$ و... نامه $n$ام به شرکت $l_n$ ارسال شود. به عبارت دیگر نامه $i$ام ($1 \leq i \leq n$) باید به شرکت $l_i$ ($1 \leq l_i \leq m$) ارسال شود.

باقر برای ارسال این نامه‌ها، $n$ پاکت تهیه می‌کند که روی پاکت $i$ام نشانی شرکت $l_i$ نوشته شده است.

باقر به مهدی می‌گوید که نامه $i$ام را در پاکت $i$ام قرار بده و در صندوق پست بنداز. اما مهدی می‌خواهد این فرمان را به درستی انجام ندهد و کار را اساسی خراب کند. به همین دلیل تصمیم دارد طوری نامه‌ها را در پاکت‌ها قرار دهد که در هر پاکت دقیقاً یک نامه قرار بگیرد ولی هیچ شرکتی نامه مربوط به خودش را دریافت نکند.

به مهدی کمک کنید تا بررسی کند آیا انجام چنین کاری شدنی است یا نه.

ورودی

در سطر اول ورودی دو عدد صحیح و مثبت $n$ و $m$ که با فاصله از هم جدا شده‌اند، داده می‌شود. $$1 \leq m \leq n \leq 100 , 000$$ در سطر دوم ورودی $n$ عدد صحیح و مثبت $l_1, l_2, \dots, l_n ,$ که با فاصله از هم جدا شده است آمده و شرکت مقصد نامه $i$ام را نشان می‌دهد. $$1 \leq l_i \leq m$$

تضمین می‌شود که هر کدام از اعداد $1, 2, \dots, m ,$ حداقل یکبار در این دنباله ظاهر شده‌اند.

خروجی

در تنها سطر خروجی در صورتی که می‌توان طوری نامه‌ها را در پاکت‌ها گذاشت به‌طوری که هیچ‌نامه‌ای به شرکت مربوط به خودش نرسد، YES و در غیر این صورت NO چاپ کنید.

توجه کنید سیستم داوری به بزرگ و کوچک بودن حروف حساس است.

مثال

ورودی نمونه ۱

3 1
1 1 1

خروجی نمونه ۱

NO

همه نامه‌ها به شرکت ‍‍۱ است پس همه پاکت‌ها هم آدرس شرکت ۱ را دارند پس هر جایگشتی از نامه‌ها را که در پاکت‌ها قرار دهیم، همه نامه‌ها به شرکت ۱ می‌رسد و مهدی به هدفش نمی‌رسد.

ورودی نمونه ۲

4 4
4 1 2 3

خروجی نمونه ۲

YES

چهار نامه برای شرکت‌های ۱ و ۲ و ۳ و ۴ و چهار پاکت با آدرس شرکت‌های ۱ و ۲ و ۳ و ۴ داریم. نامه شرکت ۱ را در پاکت شرکت ۲ و نامه شرکت ۲ را در پاکت شرکت ۱ قرار می‌دهیم. همچنین نامه شرکت ۳ را در پاکت شرکت ۴ و نامه شرکت ۴ را در پاکت شرکت ۳ قرار می‌دهیم. به این ترتیب هیچ‌نامه‌ای به شرکت مربوط به خود نمی‌رسد و مهدی به هدفش می‌رسد.