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.