Bobbinin Cədvəlləri
Kiçik Bobbi sevimli böyük ədədlərini öz məlumat bazasında saxlayır. Bu ədədlər çox yaddaş tutur, buna görə də onları daha səmərəli saxlamağın yolunu axtarır. O, məlumat bazasında böyük sadə bölənləri olmayan X ədədinin olduğunu gördü və onun bəzi nisbətən kiçik n, k ədədləri üçün Ck_n şəklində olduğunu düşünür.
Bobbi'ə kömək edin və bunun həqiqətən belə olub-olmadığını yoxlayın. Tam ədəd m və X ədədinin faktorizasiyasına görə, elə tam ədədlərin n, k olub-olmadığını müəyyən edin ki, 0 ≤ k ≤ n ≤ m və X = Ck_n.
Binominal əmsal Ck_n belə bir ədəddir
Giriş məlumatları
Birinci sətir testlərin sayı z (1 ≤ z ≤ 10 000) verir. Sonra testlərin təsviri gəlir.
Hər testin birinci sətiri t, m tam ədədlərini (1 ≤ t, m ≤ 150 000) - X ədədinin sadə bölənlərinin sayı və çıxarılan ədədlərin yuxarı həddini ehtiva edir. İkinci sətir t sadə ədəd p[i] (2 ≤ p[i] ≤ m) ehtiva edir ki, onların hasilatı X-ə bərabərdir.
Bütün testlərdəki t ədədlərinin cəmi 200 000-i keçmir. Bütün testlərdəki m ədədlərinin cəmi 2 000 000-i keçmir.
Çıxış məlumatları
Hər test üçün uyğun n və k dəyərləri varsa, birinci sətirdə "YES", ikinci sətirdə isə n və k ədədlərini çıxarın. Əks halda, ayrıca bir sətirdə "NO" çıxarın.