哥德巴赫猜想是近代三大数学难题之一，即任何一个大于的偶数，都可表示成两个素数之和。如，，，。
请定义一个判断素数的函数，利用它验证之间的偶数都能够分解为两个素数之和，其中 。
一行一个整数，为。
输出若干行，每行输出一个等式，表示之间的偶数被分解为两个素数之和，若偶数不符合该整式，则输出“验证失败！”。
样例输入
10
样例输出
4=2+2 6=3+3 8=3+5 10=3+7