eolymp
bolt
Спробуйте наш новий інтерфейс для відправки розв'язків
Задачі

Таблицы Бобби

Таблицы Бобби

Ліміт часу 1 секунда
Ліміт використання пам'яті 128 MiB

Маленький Бобби хранит свои любимые большие числа в своей базе данных. Эти числа занимают много памяти, поэтому он пытается найти способ их более эффективного хранения. Он заметил, что в базе данных есть число X, которое не имеет больших простых делителей, и подозревает, что оно имеет вид Ck_n для некоторых относительно небольших чисел n, k.

Помогите Бобби и проверьте, так ли это на самом деле. По целому числу m и факторизации X определите, существуют ли такие целые числа n, k, что 0knm и X = Ck_n.

prb4008-01

Биномиальным коэффициентом Ck_n является число

Вхідні дані

Первая строка содержит количество тестов z (1z10 000). Далее следует описание тестов.

Первая строка каждого теста содержит два целых числа t, m (1t, m150 000) - количество простых чисел в разложении на множители числа X и верхнюю границу для выводимых чисел. Вторая строка содержит t простых чисел p[i] (2p[i]m) таких что их произведение равно X.

Сумма всех значений t во всех тестах не превосходит 200 000. Сумма чисел m во всех тестах не превосходит 2 000 000.

Вихідні дані

Для каждого теста если существуют соответствующие значения n и k, то в первой строке выведите "YES", а во второй строке - числа n и k. Иначе в отдеьной строке выведите "NO".

Приклад

Вхідні дані #1
2
2 5
3 2
3 7
2 2 2
Вихідні дані #1
YES
4 2
NO
Джерело 2018 Петрозаводськ, Зима, Jagiellonian U, Січень 30, Задача A