Masala #0894

Azimjon 1 dan 6 gacha nuqtalar bilan belgilangan va qarama-qarshi tomonlaridagi nuqtalar soni yig'indisi 7 ga teng bo'lgan zarik toshlaridan qiziqarli o'yin o'ylab topdi.

Unda xozirda n ta zarik toshi mavjud bo'lib, bu zarik toshlarini ustma-ust joylashtirib chiqmoqchi(o'ng tarafdagi rasimga qarang). Joylashtirish tartibi doim ketma-ket ikkita zarik toshining nuqtalar soni aynan bir xil tomonlari ustma-ust qo'yilishi kerak(chap tomondagi rasimga qarang).

Azimjonda zarik toshlari judaham ko'p bo'lganligi uchun yuqoridagi qonuniyat asosida hosil qilishda adashib ketgan bo'lishiham mumkun. Sizning vazifangiz Azimjon hosil qilish kerak bo'lgan shakil to'g'ri hosil qilinganmi yo'qmi aniqlashdan iborat.

Birinchi satrda \(n(1\leq n\leq 1000)\) natural son Azimjondagi zariklar soni. Ikkinchi satrda \(x(1\leq x\leq 6)\) hosil qilingan shaklning eng yuqorisidagi nuqtalar soni. Kiyingi \(n\) ta satrda ikkita \(u,v(1\leq u,v\leq 6)\) sonlar o'ng tarafdagi rasimda kuringanidek ikkita qo'shni tomonlardagi nuqtalar soni(yuqoridan boshlab) beriladi. 

Agar Azimjon hosil qilgan shakl to'g'ri qonuniyat asosida hosil qilingan bo'lsa \('yes'\) so'zini, aks holda \('no'\) so'zini chop eting.