说明

哥德巴赫猜想是近代三大数学难题之一，即任何一个大于$2$的偶数，都可表示成两个素数之和。如$4=2+2$，$6=3+3$，$8=3+5$，$10=3+7$。
请定义一个判断素数的函数，利用它验证$4\sim n$之间的偶数都能够分解为两个素数之和，其中$n≥4$ 。

输入格式

一行一个整数，为$n$。

输出格式

输出若干行，每行输出一个等式，表示$4\sim n$之间的偶数被分解为两个素数之和（如果有多组素数和满足要求，则输出字典序较小的那一组），若偶数不符合该整式，则输出“验证失败！”。

样例

10

4=2+2
6=3+3
8=3+5
10=3+7