题目描述

原题来自：Ulm Local，题面详见：POJ 2262

哥德巴赫猜想：任何大于 $4$ 的偶数都可以拆成两个奇素数之和。 比如：

$$\begin{aligned} 8 &= 3 + 5\\ 20&= 3 + 17 = 7 + 13\\ 42&= 5 + 37 = 11 + 31 = 13 + 29 = 19 + 23 \end{aligned} $$

你的任务是：验证一个小于 $10^6$ 的整数是否满足哥德巴赫猜想。

输入格式

多组数据，每组数据一个 $n$。

读入以 $0$ 结束。

输出格式

对于每组数据，输出形如 $n = a + b$，其中 $a,b$ 是奇素数。若有多组满足条件的 $a,b$，输出 $b-a$ 最大的一组。

若无解，输出 Goldbach's conjecture is wrong。

8
20
42
0

8 = 3 + 5
20 = 3 + 17
42 = 5 + 37

数据范围

对于全部数据，$6 \le n\le 10^6$ 且 $n$ 为偶数。

数据组数不超过 $15$。