Таблиці Боббі#9108
Маленький Боббі зберігає свої улюблені великі числа у своїй базі даних. Ці числа займають багато пам'яті, тому він намагається знайти спосіб їх більш ефективного зберігання. Він помітив, що в базі даних є число , яке не має великих простих дільників, і підозрює, що воно має вигляд C^k_n для деяких відносно невеликих чисел , .
Допоможіть Боббі і перевірте, чи це дійсно так. За заданим цілим числом і факторизацією визначте, чи існують такі цілі числа , , що 0 \le k \le n \le m і X = C^k_n.
Біноміальний коефіцієнт C^k_n визначається як
Перший рядок містить кількість тестів (1 \le z \le 10000). Далі йде опис тестів.
Перший рядок кожного тесту містить два цілі числа , (1 \le t, m \le 150000) - кількість простих чисел у розкладі на множники числа і верхню межу для виведених чисел. Другий рядок містить простих чисел p_i (2 \le p_i \le m) таких, що їх добуток дорівнює .
Сума всіх значень у всіх тестах не перевищує . Сума чисел у всіх тестах не перевищує .
Для кожного тесту, якщо існують відповідні значення і , виведіть у першому рядку "YES", а в другому рядку - числа і . Інакше в окремому рядку виведіть "NO".
Приклад 1