喜欢巧克力和数字游戏的 Coco 将“巧克力数”定义如下:
- 当一个正整数 $n > 1$ 只能被 $1$ 和它自身整除时,称 $n$ 为巧克力数。
不久后,Coco 发现了“Coco 定理”:
- 如果 $p$ 是巧克力数,则对于所有与 $p$ 互质的整数 $a$,都有 $a^{p-1} \operatorname{mod} p = 1$。
Coco 想利用这一点来判断一个数是否为巧克力数。具体方法如下:
- 如果对于所有与 $p$ 互质的整数 $a$,都有 $a^{p-1} \operatorname{mod} p = 1$,则 $p$ 是巧克力数。
然而,没过多久 Coco 就发现 $561$ 满足该判别法的条件,但它并不是巧克力数。Coco 决定将这种数称为“伪巧克力数”,并开始研究寻找伪巧克力数的方法。
甚至忘记了运转巧克力工厂,一味沉浸在研究中的 Coco 成功找到了由 $3$ 个、$4$ 个、……、$10$ 个巧克力数相乘得到的伪巧克力数,但未能找到由 $11$ 个巧克力数相乘得到的伪巧克力数。让我们帮 Coco 寻找这样的伪巧克力数吧。由于随便找一个并不困难,我们来寻找一个满足以下条件的数 $N$:
- 当写成 $N = a_1 \times a_2 \times \cdots \times a_{11}$ 时,$N$ 是一个伪巧克力数,且对于 $1 \le i \le 11$,$a_i$ 是满足 $10^7 \le a_i < 10^8$ 的巧克力数。
输入格式
没有输入。
输出格式
将满足问题条件的数表示为 $11$ 个巧克力数的乘积,在第一行按升序输出这 $11$ 个巧克力数。
样例
输入 1
0
输出 1
2 3 5 7 11 13 17 19 23 29 31