P9796 [NERC 2018] Fractions

翻译自 [NERC 2018](https://neerc.ifmo.ru/archive/2018/neerc-2018-statement.pdf) F 题。

给你一个整数 $n$，你需要构造出若干个形如 $\dfrac{a_i}{b_i}$ 的真分数，使得 $\sum^k_{i=1} \frac{a_i}{b_i} = 1 - \frac{1}{n}$，且 $b_i$ 可以整除 $n$。

一个正整数 $n (2 \leq n \leq 10^9)$。

如果不能构造，输出一行 `NO`。 否则的话就构造出其中一种的合法方案，输出 `YES`，然后让 $\sum^k_{i=1} \frac{a_i}{b_i} = 1 - \frac{1}{n}$，按第二行第一个整数 $k$，接下来 $k$ 行一行两个整数 $a_i$ 和 $b_i(b_i \neq n)$。 注意你输出的 $k$ 的范围是 $2 \leq k \leq 10^5$。

对于所有的数据，保证 $1 \leq n \leq 10^9$。 对于第一个样例，不存在一种方案使得答案总和为 $\frac{1}{2}$。 对于第二个样例，$\frac{1}{2} + \frac{1}{3} = \frac{5}{6}$。