Chia hết

Với một tập hợp các số nguyên dương $S$, định nghĩa $f(S)$ là số cặp $(a,b)$ thỏa mãn đồng thời:

• $a$ và $b$ đều thuộc $S$;
• $a<b$;
• $a$ là ước của $b$ (tức $b$ chia hết cho $a$).

Cho hai số nguyên $n$ và $k$. Hãy tìm một tập hợp $S$ là tập con của $\{1,2,\dots ,n\}$ sao cho $f(S)=k$.

Dữ liệu vào

Một dòng duy nhất chứa hai số nguyên $n$ và $k$.

Dữ liệu ra

Nếu không tồn tại tập $S$ thỏa mãn, in ra một dòng chứa từ No.

Ngược lại, in ra:

• Dòng đầu tiên chứa từ Yes;
• Dòng thứ hai chứa số nguyên $m$ là số phần tử của tập $S$ tìm được;
• Dòng thứ ba chứa $m$ số nguyên là các phần tử của $S$ (theo thứ tự bất kỳ).

Nếu có nhiều đáp án, in ra một đáp án bất kỳ.

Ràng buộc

• $1\le n\le 3·{10}^5$
• $1\le k\le 2·{10}^9$

Ví dụ