시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 1024 MB66230426544.915%

문제

창하 앞에 서로 다른 $N$개의 정수 $A_1, A_2, \cdots, A_N$이 놓여 있다.

창하는 3년째 소수 공포증에 시달리고 있기 때문에 이 중 적어도 $2$개의 정수들을 중복 없이 골라서 그 최소공배수가 소수가 아니도록 만들고 싶어한다. 창하를 도와주는 프로그램을 작성하시오.

입력

첫 번째 줄에 정수 $N$이 주어진다.

두 번째 줄에 $N$개의 정수 $A_1, A_2, \cdots, A_N$이 공백으로 구분되어 주어진다.

출력

첫 번째 줄에 최소공배수가 소수가 아니도록 정수들을 고를 수 있다면 YES, 아니라면 NO를 출력한다.

만약 그러한 방법이 존재한다면, 두 번째 줄에 고른 정수의 개수 $K$를 출력하고, 세 번째 줄에 해당 $K$개의 정수들을 공백으로 구분하여 출력한다. 이때 정수를 출력하는 순서는 중요하지 않다.

정답이 여러 개 존재한다면 그중 아무거나 출력해도 상관없다.

제한

  • $2 \le N \le 1000$
  • $1 \le A_i \le 1000$
  • $i \ne j$이면 $A_i \ne A_j$

서브태스크

번호배점제한
120

$N = 2$

280

추가 제약 조건 없음

예제 입력 1

4
2 5 6 4

예제 출력 1

YES
2
4 5

$4$와 $5$의 최소공배수가 $20$이므로 $4$와 $5$를 고르면 된다. $2$, $4$, $6$의 최소공배수는 $12$이므로 $2$, $4$, $6$을 고르는 것도 가능하다.

예제 입력 2

2
3 1

예제 출력 2

NO
W3sicHJvYmxlbV9pZCI6IjM1Mjk1IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjMThjXHVjMjE4XHVhYzAwIFx1YzU0NFx1YjJjYyBcdWMyMTggNCIsImRlc2NyaXB0aW9uIjoiPHA+XHVjYzNkXHVkNTU4IFx1YzU1ZVx1YzVkMCBcdWMxMWNcdWI4NWMgXHViMmU0XHViOTc4ICROJFx1YWMxY1x1Yzc1OCBcdWM4MTVcdWMyMTggJEFfMSwgQV8yLCBcXGNkb3RzLCBBX04kXHVjNzc0IFx1YjE5M1x1YzVlYyBcdWM3ODhcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1Y2MzZFx1ZDU1OFx1YjI5NCAzXHViMTQ0XHVjOWY4IFx1YzE4Y1x1YzIxOCBcdWFjZjVcdWQzZWNcdWM5OWRcdWM1ZDAgXHVjMmRjXHViMmVjXHViOWFjXHVhY2UwIFx1Yzc4OFx1YWUzMCBcdWI1NGNcdWJiMzhcdWM1ZDAgXHVjNzc0IFx1YzkxMSBcdWM4MDFcdWM1YjRcdWIzYzQgJDIkXHVhYzFjXHVjNzU4IFx1YzgxNVx1YzIxOFx1YjRlNFx1Yzc0NCBcdWM5MTFcdWJjZjUgXHVjNWM2XHVjNzc0IFx1YWNlOFx1Yjc3Y1x1YzExYyBcdWFkZjggXHVjZDVjXHVjMThjXHVhY2Y1XHViYzMwXHVjMjE4XHVhYzAwIFx1YzE4Y1x1YzIxOFx1YWMwMCBcdWM1NDRcdWIyYzhcdWIzYzRcdWI4NWQgXHViOWNjXHViNGU0XHVhY2UwIFx1YzJmNlx1YzViNFx1ZDU1Y1x1YjJlNC4gXHVjYzNkXHVkNTU4XHViOTdjIFx1YjNjNFx1YzY0MFx1YzhmY1x1YjI5NCBcdWQ1MDRcdWI4NWNcdWFkZjhcdWI3YThcdWM3NDQgXHVjNzkxXHVjMTMxXHVkNTU4XHVjMmRjXHVjNjI0LjxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHVjODE1XHVjMjE4ICROJFx1Yzc3NCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YjQ1MCBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwICROJFx1YWMxY1x1Yzc1OCBcdWM4MTVcdWMyMTggJEFfMSwgQV8yLCBcXGNkb3RzLCBBX04kXHVjNzc0IFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlx1Y2NhYiBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1Y2Q1Y1x1YzE4Y1x1YWNmNVx1YmMzMFx1YzIxOFx1YWMwMCBcdWMxOGNcdWMyMThcdWFjMDAgXHVjNTQ0XHViMmM4XHViM2M0XHViODVkIFx1YzgxNVx1YzIxOFx1YjRlNFx1Yzc0NCBcdWFjZTBcdWI5N2MgXHVjMjE4IFx1Yzc4OFx1YjJlNFx1YmE3NCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+WUVTPFwvY29kZT48XC9zcGFuPiwgXHVjNTQ0XHViMmM4XHViNzdjXHViYTc0IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5OTzxcL2NvZGU+PFwvc3Bhbj5cdWI5N2MgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWI5Y2NcdWM1N2QgXHVhZGY4XHViN2VjXHVkNTVjIFx1YmMyOVx1YmM5NVx1Yzc3NCBcdWM4NzRcdWM3YWNcdWQ1NWNcdWIyZTRcdWJhNzQsIFx1YjQ1MCBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YWNlMFx1Yjk3OCBcdWM4MTVcdWMyMThcdWM3NTggXHVhYzFjXHVjMjE4ICRLJFx1Yjk3YyBcdWNkOWNcdWI4MjVcdWQ1NThcdWFjZTAsIFx1YzEzOCBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1ZDU3NFx1YjJmOSAkSyRcdWFjMWNcdWM3NTggXHVjODE1XHVjMjE4XHViNGU0XHVjNzQ0IFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWQ1NThcdWM1ZWMgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LiBcdWM3NzRcdWI1NGMgXHVjODE1XHVjMjE4XHViOTdjIFx1Y2Q5Y1x1YjgyNVx1ZDU1OFx1YjI5NCBcdWMyMWNcdWMxMWNcdWIyOTQgXHVjOTExXHVjNjk0XHVkNTU4XHVjOWMwIFx1YzU0YVx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVjODE1XHViMmY1XHVjNzc0IFx1YzVlY1x1YjdlYyBcdWFjMWMgXHVjODc0XHVjN2FjXHVkNTVjXHViMmU0XHViYTc0IFx1YWRmOFx1YzkxMSBcdWM1NDRcdWJiMzRcdWFjNzBcdWIwOTggXHVjZDljXHViODI1XHVkNTc0XHViM2M0IFx1YzBjMVx1YWQwMFx1YzVjNlx1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4iLCJsaW1pdCI6Ijx1bD5cclxuPGxpPiQyIFxcbGUgTiBcXGxlIDEwMDAkPFwvbGk+XHJcbjxsaT4kMSBcXGxlIEFfaSBcXGxlIDEwMDAkPFwvbGk+XHJcbjxsaT4kaSBcXG5lIGokXHVjNzc0XHViYTc0ICRBX2kgXFxuZSBBX2okPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzdWJ0YXNrMSI6IjxwPiROID0gMiQ8XC9wPlxyXG4iLCJzdWJ0YXNrMiI6IjxwPlx1Y2Q5NFx1YWMwMCBcdWM4MWNcdWM1N2QgXHVjODcwXHVhYzc0IFx1YzVjNlx1Yzc0YzxcL3A+XHJcbiIsInNhbXBsZV9leHBsYWluXzEiOiI8cD4kNCRcdWM2NDAgJDUkXHVjNzU4IFx1Y2Q1Y1x1YzE4Y1x1YWNmNVx1YmMzMFx1YzIxOFx1YWMwMCAkMjAkXHVjNzc0XHViYmMwXHViODVjICQ0JFx1YzY0MCAkNSRcdWI5N2MgXHVhY2UwXHViOTc0XHViYTc0IFx1YjQxY1x1YjJlNC4gJDIkLCAkNCQsICQ2JFx1Yzc1OCBcdWNkNWNcdWMxOGNcdWFjZjVcdWJjMzBcdWMyMThcdWIyOTQgJDEyJFx1Yzc3NFx1YmJjMFx1Yjg1YyAkMiQsICQ0JCwgJDYkXHVjNzQ0IFx1YWNlMFx1Yjk3NFx1YjI5NCBcdWFjODNcdWIzYzQgXHVhYzAwXHViMmE1XHVkNTU4XHViMmU0LjxcL3A+XHJcbiJ9LHsicHJvYmxlbV9pZCI6IjM1Mjk1IiwicHJvYmxlbV9sYW5nIjoiMSIsInRpdGxlIjoiTm90IFByaW1lIDIiLCJkZXNjcmlwdGlvbiI6IjxwPiROJCBkaXN0aW5jdCBpbnRlZ2VycyAkQV8xLCBBXzIsIFxcY2RvdHMsIEFfTiQgYXJlIHBsYWNlZCBpbiBmcm9udCBvZiBDaGFuZ2hhLjxcL3A+XHJcblxyXG48cD5TaW5jZSBDaGFuZ2hhIGhhcyBiZWVuIHN1ZmZlcmluZyBmcm9tIHByaW1lLW51bWJlciBwaG9iaWEgZm9yIHRocmVlIHllYXJzLCBoZSB3YW50cyB0byBzZWxlY3QgYXQgbGVhc3QgdHdvIGludGVnZXJzIGZyb20gdGhlbSB3aXRob3V0IHJlcGV0aXRpb24gc28gdGhhdCB0aGVpciBsZWFzdCBjb21tb24gbXVsdGlwbGUgaXMgbm90IGEgcHJpbWUgbnVtYmVyLiBXcml0ZSBhIHByb2dyYW0gdG8gaGVscCBDaGFuZ2hhIG91dC48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZSBmaXJzdCBsaW5lIGNvbnRhaW5zIGEgc2luZ2xlIGludGVnZXIgJE4kLjxcL3A+XHJcblxyXG48cD5UaGUgc2Vjb25kIGxpbmUgY29udGFpbnMgJE4kIHNwYWNlLXNlcGFyYXRlZCBpbnRlZ2VycyAkQV8xLCBBXzIsIFxcY2RvdHMsIEFfTiQuPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+T24gdGhlIGZpcnN0IGxpbmUsIHByaW50IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5ZRVM8XC9jb2RlPjxcL3NwYW4+IGlmIGl0IGlzIHBvc3NpYmxlIHRvIHNlbGVjdCBpbnRlZ2VycyBzbyB0aGF0IHRoZWlyIGxlYXN0IGNvbW1vbiBtdWx0aXBsZSBpcyBub3QgYSBwcmltZSBudW1iZXIsIGFuZCBwcmludCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+Tk88XC9jb2RlPjxcL3NwYW4+IG90aGVyd2lzZS48XC9wPlxyXG5cclxuPHA+SWYgdGhlcmUgaXMgc3VjaCBhIHdheSwgcHJpbnQgdGhlIG51bWJlciBvZiBzZWxlY3RlZCBpbnRlZ2VycyAkSyQgb24gdGhlIHNlY29uZCBsaW5lLCBhbmQgdGhlIGNvcnJlc3BvbmRpbmcgJEskIHNwYWNlLXNlcGFyYXRlZCBpbnRlZ2VycyBvbiB0aGUgdGhpcmQgbGluZS4gVGhlIG9yZGVyIGluIHdoaWNoIHRoZSBpbnRlZ2VycyBhcmUgcHJpbnRlZCBkb2VzIG5vdCBtYXR0ZXIuPFwvcD5cclxuXHJcbjxwPklmIHRoZXJlIGFyZSBtdWx0aXBsZSBzb2x1dGlvbnMsIHByaW50IGFueSBvZiB0aGVtLjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjAiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IkVuZ2xpc2giLCJsaW1pdCI6Ijx1bD5cclxuXHQ8bGk+JDIgXFxsZSBOIFxcbGUgMTAwMCQ8XC9saT5cclxuXHQ8bGk+JDEgXFxsZSBBX2kgXFxsZSAxMDAwJDxcL2xpPlxyXG5cdDxsaT5JZiAkaSBcXG5lIGokLCB0aGVuICRBX2kgXFxuZSBBX2okPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzdWJ0YXNrMSI6IjxwPiROID0gMiQ8XC9wPlxyXG4iLCJzdWJ0YXNrMiI6IjxwPk5vIGFkZGl0aW9uYWwgY29uc3RyYWludHM8XC9wPlxyXG4iLCJzYW1wbGVfZXhwbGFpbl8xIjoiPHA+VGhlIGxlYXN0IGNvbW1vbiBtdWx0aXBsZSBvZiAkNCQgYW5kICQ1JCBpcyAkMjAkLCBzbyBjaG9vc2UgJDQkIGFuZCAkNSQuIFRoZSBsZWFzdCBjb21tb24gbXVsdGlwbGUgb2YgJDIkLCAkNCQsIGFuZCAkNiQgaXMgJDEyJCwgc28gaXQgaXMgYWxzbyBwb3NzaWJsZSB0byBjaG9vc2UgJDIkLCAkNCQsIGFuZCAkNiQuPFwvcD5cclxuIn1d

채점 및 기타 정보

  • 예제는 채점하지 않는다.
  • 이 문제의 채점 우선 순위는 2이다.