시간 제한메모리 제한제출정답맞힌 사람정답 비율
0.5 초 256 MB85938165091115022.058%

문제

1742년, 독일의 아마추어 수학가 크리스티안 골드바흐는 레온하르트 오일러에게 다음과 같은 추측을 제안하는 편지를 보냈다.

4보다 큰 모든 짝수는 두 홀수 소수의 합으로 나타낼 수 있다.

예를 들어 8은 3 + 5로 나타낼 수 있고, 3과 5는 모두 홀수인 소수이다. 또, 20 = 3 + 17 = 7 + 13, 42 = 5 + 37 = 11 + 31 = 13 + 29 = 19 + 23 이다.

이 추측은 아직도 해결되지 않은 문제이다.

백만 이하의 모든 짝수에 대해서, 이 추측을 검증하는 프로그램을 작성하시오.

입력

입력은 하나 또는 그 이상의 테스트 케이스로 이루어져 있다. 테스트 케이스의 개수는 100,000개를 넘지 않는다.

각 테스트 케이스는 짝수 정수 n 하나로 이루어져 있다. (6 ≤ n ≤ 1000000)

입력의 마지막 줄에는 0이 하나 주어진다.

출력

각 테스트 케이스에 대해서, n = a + b 형태로 출력한다. 이때, a와 b는 홀수 소수이다. 숫자와 연산자는 공백 하나로 구분되어져 있다. 만약, n을 만들 수 있는 방법이 여러 가지라면, b-a가 가장 큰 것을 출력한다. 또, 두 홀수 소수의 합으로 n을 나타낼 수 없는 경우에는 "Goldbach's conjecture is wrong."을 출력한다.

예제 입력 1

8
20
42
0

예제 출력 1

8 = 3 + 5
20 = 3 + 17
42 = 5 + 37
W3sicHJvYmxlbV9pZCI6IjY1ODgiLCJwcm9ibGVtX2xhbmciOiIwIiwidGl0bGUiOiJcdWFjZThcdWI0ZGNcdWJjMTRcdWQ3NTBcdWM3NTggXHVjZDk0XHVjZTIxIiwiZGVzY3JpcHRpb24iOiI8cD4xNzQyXHViMTQ0LCBcdWIzYzVcdWM3N2NcdWM3NTggXHVjNTQ0XHViOWM4XHVjZDk0XHVjNWI0IFx1YzIxOFx1ZDU1OVx1YWMwMCBcdWQwNmNcdWI5YWNcdWMyYTRcdWQyZjBcdWM1NDggXHVhY2U4XHViNGRjXHViYzE0XHVkNzUwXHViMjk0IFx1YjgwOFx1YzYyOFx1ZDU1OFx1Yjk3NFx1ZDJiOCBcdWM2MjRcdWM3N2NcdWI3ZWNcdWM1ZDBcdWFjOGMgXHViMmU0XHVjNzRjXHVhY2ZjIFx1YWMxOVx1Yzc0MCBcdWNkOTRcdWNlMjFcdWM3NDQgXHVjODFjXHVjNTQ4XHVkNTU4XHViMjk0IFx1ZDNiOFx1YzljMFx1Yjk3YyBcdWJjZjRcdWIwYzhcdWIyZTQuPFwvcD5cclxuXHJcbjxibG9ja3F1b3RlPjRcdWJjZjRcdWIyZTQgXHVkMDcwIFx1YmFhOFx1YjRlMCBcdWM5ZGRcdWMyMThcdWIyOTQgXHViNDUwIFx1ZDY0MFx1YzIxOCBcdWMxOGNcdWMyMThcdWM3NTggXHVkNTY5XHVjNzNjXHViODVjIFx1YjA5OFx1ZDBjMFx1YjBiYyBcdWMyMTggXHVjNzg4XHViMmU0LjxcL2Jsb2NrcXVvdGU+XHJcblxyXG48cD5cdWM2MDhcdWI5N2MgXHViNGU0XHVjNWI0IDhcdWM3NDAgMyArIDVcdWI4NWMgXHViMDk4XHVkMGMwXHViMGJjIFx1YzIxOCBcdWM3ODhcdWFjZTAsIDNcdWFjZmMgNVx1YjI5NCBcdWJhYThcdWI0NTAgXHVkNjQwXHVjMjE4XHVjNzc4IFx1YzE4Y1x1YzIxOFx1Yzc3NFx1YjJlNC4gXHViNjEwLCAyMCA9IDMgKyAxNyA9IDcgKyAxMywgNDIgPSA1ICsgMzcgPSAxMSArIDMxID0gMTMgKyAyOSA9IDE5ICsgMjMgXHVjNzc0XHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWM3NzQgXHVjZDk0XHVjZTIxXHVjNzQwIFx1YzU0NFx1YzljMVx1YjNjNCBcdWQ1NzRcdWFjYjBcdWI0MThcdWM5YzAgXHVjNTRhXHVjNzQwIFx1YmIzOFx1YzgxY1x1Yzc3NFx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHViYzMxXHViOWNjIFx1Yzc3NFx1ZDU1OFx1Yzc1OCBcdWJhYThcdWI0ZTAgXHVjOWRkXHVjMjE4XHVjNWQwIFx1YjMwMFx1ZDU3NFx1YzExYywgXHVjNzc0IFx1Y2Q5NFx1Y2UyMVx1Yzc0NCBcdWFjODBcdWM5OWRcdWQ1NThcdWIyOTQgXHVkNTA0XHViODVjXHVhZGY4XHViN2E4XHVjNzQ0IFx1Yzc5MVx1YzEzMVx1ZDU1OFx1YzJkY1x1YzYyNC48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlx1Yzc4NVx1YjgyNVx1Yzc0MCBcdWQ1NThcdWIwOTggXHViNjEwXHViMjk0IFx1YWRmOCBcdWM3NzRcdWMwYzFcdWM3NTggXHVkMTRjXHVjMmE0XHVkMmI4IFx1Y2YwMFx1Yzc3NFx1YzJhNFx1Yjg1YyBcdWM3NzRcdWI4ZThcdWM1YjRcdWM4MzggXHVjNzg4XHViMmU0LiBcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHVjNzU4IFx1YWMxY1x1YzIxOFx1YjI5NCAxMDAsMDAwXHVhYzFjXHViOTdjIFx1YjExOFx1YzljMCBcdWM1NGFcdWIyOTRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YWMwMSBcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHViMjk0IFx1YzlkZFx1YzIxOCBcdWM4MTVcdWMyMTggbiBcdWQ1NThcdWIwOThcdWI4NWMgXHVjNzc0XHViOGU4XHVjNWI0XHVjODM4IFx1Yzc4OFx1YjJlNC4gKDYgJmxlOyBuICZsZTsgMTAwMDAwMCk8XC9wPlxyXG5cclxuPHA+XHVjNzg1XHViODI1XHVjNzU4IFx1YjljOFx1YzljMFx1YjljOSBcdWM5MDRcdWM1ZDBcdWIyOTQgMFx1Yzc3NCBcdWQ1NThcdWIwOTggXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlx1YWMwMSBcdWQxNGNcdWMyYTRcdWQyYjggXHVjZjAwXHVjNzc0XHVjMmE0XHVjNWQwIFx1YjMwMFx1ZDU3NFx1YzExYywgbiA9IGEgKyBiIFx1ZDYxNVx1ZDBkY1x1Yjg1YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuIFx1Yzc3NFx1YjU0YywgYVx1YzY0MCBiXHViMjk0IFx1ZDY0MFx1YzIxOCBcdWMxOGNcdWMyMThcdWM3NzRcdWIyZTQuIFx1YzIyYlx1Yzc5MFx1YzY0MCBcdWM1ZjBcdWMwYjBcdWM3OTBcdWIyOTQgXHVhY2Y1XHViYzMxIFx1ZDU1OFx1YjA5OFx1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjRcdWM4MzggXHVjNzg4XHViMmU0LiBcdWI5Y2NcdWM1N2QsIG5cdWM3NDQgXHViOWNjXHViNGU0IFx1YzIxOCBcdWM3ODhcdWIyOTQgXHViYzI5XHViYzk1XHVjNzc0IFx1YzVlY1x1YjdlYyBcdWFjMDBcdWM5YzBcdWI3N2NcdWJhNzQsIGItYVx1YWMwMCBcdWFjMDBcdWM3YTUgXHVkMDcwIFx1YWM4M1x1Yzc0NCBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuIFx1YjYxMCwgXHViNDUwIFx1ZDY0MFx1YzIxOCBcdWMxOGNcdWMyMThcdWM3NTggXHVkNTY5XHVjNzNjXHViODVjIG5cdWM3NDQgXHViMDk4XHVkMGMwXHViMGJjIFx1YzIxOCBcdWM1YzZcdWIyOTQgXHVhY2JkXHVjNmIwXHVjNWQwXHViMjk0ICZxdW90O0dvbGRiYWNoJiMzOTtzIGNvbmplY3R1cmUgaXMgd3JvbmcuJnF1b3Q7XHVjNzQ0IFx1Y2Q5Y1x1YjgyNVx1ZDU1Y1x1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIwIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiI2NTg4IiwicHJvYmxlbV9sYW5nIjoiMSIsInRpdGxlIjoiR29sZGJhY2gncyBDb25qZWN0dXJlIiwiZGVzY3JpcHRpb24iOiI8cD5JbiAxNzQyLCBDaHJpc3RpYW4gR29sZGJhY2gsIGEgR2VybWFuIGFtYXRldXIgbWF0aGVtYXRpY2lhbiwgc2VudCBhIGxldHRlciB0byBMZW9uaGFyZCBFdWxlciBpbiB3aGljaCBoZSBtYWRlIHRoZSBmb2xsb3dpbmcgY29uamVjdHVyZTo8XC9wPlxyXG5cclxuPGJsb2NrcXVvdGU+XHJcbjxwPkV2ZXJ5IGV2ZW4gbnVtYmVyIGdyZWF0ZXIgdGhhbiA0IGNhbiBiZSB3cml0dGVuIGFzIHRoZSBzdW0gb2YgdHdvIG9kZCBwcmltZSBudW1iZXJzLjxcL3A+XHJcbjxcL2Jsb2NrcXVvdGU+XHJcblxyXG48cD5Gb3IgZXhhbXBsZTo8XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT44ID0gMyArIDUuIEJvdGggMyBhbmQgNSBhcmUgb2RkIHByaW1lIG51bWJlcnMuPFwvbGk+XHJcblx0PGxpPjIwID0gMyArIDE3ID0gNyArIDEzLjxcL2xpPlxyXG5cdDxsaT40MiA9IDUgKyAzNyA9IDExICsgMzEgPSAxMyArIDI5ID0gMTkgKyAyMy48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5Ub2RheSBpdCBpcyBzdGlsbCB1bnByb3ZlbiB3aGV0aGVyIHRoZSBjb25qZWN0dXJlIGlzIHJpZ2h0LiAoT2ggd2FpdCwgSSBoYXZlIHRoZSBwcm9vZiBvZiBjb3Vyc2UsIGJ1dCBpdCBpcyB0b28gbG9uZyB0byB3cml0ZSBpdCBvbiB0aGUgbWFyZ2luIG9mIHRoaXMgcGFnZS4pPFwvcD5cclxuXHJcbjxwPkFueXdheSwgeW91ciB0YXNrIGlzIG5vdyB0byB2ZXJpZnkgR29sZGJhY2gmIzM5O3MgY29uamVjdHVyZSBmb3IgYWxsIGV2ZW4gbnVtYmVycyBsZXNzIHRoYW4gYSBtaWxsaW9uLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+VGhlIGlucHV0IGZpbGUgd2lsbCBjb250YWluIG9uZSBvciBtb3JlIHRlc3QgY2FzZXMuJm5ic3A7PFwvcD5cclxuXHJcbjxwPkVhY2ggdGVzdCBjYXNlIGNvbnNpc3RzIG9mIG9uZSBldmVuIGludGVnZXIgbiB3aXRoIDYgJmx0Oz0gbiAmbHQ7IDEwMDAwMDAuJm5ic3A7PFwvcD5cclxuXHJcbjxwPklucHV0IHdpbGwgYmUgdGVybWluYXRlZCBieSBhIHZhbHVlIG9mIDAgZm9yIG48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5Gb3IgZWFjaCB0ZXN0IGNhc2UsIHByaW50IG9uZSBsaW5lIG9mIHRoZSBmb3JtIG4gPSBhICsgYiwgd2hlcmUgYSBhbmQgYiBhcmUgb2RkIHByaW1lcy4gTnVtYmVycyBhbmQgb3BlcmF0b3JzIHNob3VsZCBiZSBzZXBhcmF0ZWQgYnkgZXhhY3RseSBvbmUgYmxhbmsgbGlrZSBpbiB0aGUgc2FtcGxlIG91dHB1dCBiZWxvdy4gSWYgdGhlcmUgaXMgbW9yZSB0aGFuIG9uZSBwYWlyIG9mIG9kZCBwcmltZXMgYWRkaW5nIHVwIHRvIG4sIGNob29zZSB0aGUgcGFpciB3aGVyZSB0aGUgZGlmZmVyZW5jZSBiIC0gYSBpcyBtYXhpbWl6ZWQuIElmIHRoZXJlIGlzIG5vIHN1Y2ggcGFpciwgcHJpbnQgYSBsaW5lIHNheWluZyAmcXVvdDtHb2xkYmFjaCYjMzk7cyBjb25qZWN0dXJlIGlzIHdyb25nLjxcL3A+XHJcblxyXG48cD4mbmJzcDs8XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJFbmdsaXNoIn1d

출처

Contest > University of Ulm Local Contest > University of Ulm Local Contest 1998 G번