U264732 划分数列

给定一个正整数 $n$，请你考虑下面这个长度为 $n$ 的数列： $$\varphi(1),\varphi(2),\varphi(3),\dots\varphi(n)$$ 其中 $\varphi(x)$ 为欧拉函数，定义为小于或等于 $x$ 且与 $x$ 互质的正整数的个数。 判断是否可以把这个数列分成和相等的两组，如果可以，输出任意一种划分方案。

一行一个整数 $n$。

**本题开启自定义校验器（Special Judge）。** 如果不存在方案，输出一行 `NO`。 否则，输出一行 `YES`，接着输出你的方案。 方案的第 $1$ 行，输出两个整数 $a,b$，表示第一组的大小和第二组的大小。 方案的第 $2$ 行，输出 $a$ 个整数，表示你分的第一组内的数字。 方案的第 $3$ 行，输出 $b$ 个整数，表示你分的第二组内的数字。

**样例解释** 数列为 $[1,1,2,2,4]$，划分为 $[1,2,2]$ 和 $[1,4]$ 两组即可。 **数据范围** 对于 $10\%$ 的数据， $1\le n\le 200$。 对于 $30\%$ 的数据， $1\le n\le 10^3$。 对于 $60\%$ 的数据， $1\le n\le 10^5$。 对于 $100\%$ 的数据， $1\le n\le 5\times 10^6$。 **提示** 本题输入输出量较大，推荐使用较快的输入输出方式。