Kral Kendrik, Kotlin Krallığının suveren hökmdarıdır və növbəti hökumət iclasına hazırlaşır. Kotlin Krallığı şəhərdən ibarətdir və bu şəhərlər bir neçə ikitərəfli yollarla birləşdirilməlidir. Krallığın sakinlərinin təhlükəsizliyi və rahatlığı üçün məsul olan nazirliklər aşağıdakı tələbləri irəli sürüblər:
"Bütün şəhərlər yeni yollarla birləşdirilməlidir" - Nəqliyyat və Rəqəmsal İnfrastruktur Nazirliyi.
"Dairəvi yol ola bilməz — şəhəri öz-özünə birləşdirən yol" — Ekologiya Nazirliyi.
"Şəhərlər cütü arasında bir yoldan çox olmamalıdır" — Maliyyə Nazirliyi.
"Əgər a_i — -ci şəhərə gedən yolların sayı olsa, onda \{a_1, ..., a_n\} çoxluğu dəqiq fərqli rəqəmdən ibarət olmalıdır" — ICPC Nazirliyi.
Kral Kendrik ICPC Nazirliyinin tələbləri ilə bağlı çətinlik çəkir və sizdən kömək istəyir. Yuxarıda göstərilən bütün tələblərə cavab verən bir yol dəsti tapın və ya bunun mümkün olmadığını bildirin.
İki tam ədəd və k~(1 \le k \le n \le 500).
Əgər bütün tələbləri yerinə yetirmək mümkün deyilsə, "NO" yazın.
Əks halda, birinci sətirdə "YES" yazın.
İkinci sətirdə m~(0 \le m \le n \cdot (n - 1) / 2) — yolların sayını yazın.
Növbəti sətirdə hər biri və b~(1 \le a, b \le n) tam ədədlərindən ibarət olmalıdır — yolla birləşdirilən şəhərlər.
Nümunə 1
Nümunə 2