문제
$N$개의 양의 정수 $A_1, \cdots, A_N$이 주어집니다. 당신의 목적은 모든 1ドル \le i < j \le N$에 대해서 $A_i + A_j$가 소수가 아니도록 만드는 것입니다.
이를 위해 당신은 다음 조작을 정확히 1ドル$번 할 수 있습니다.
- 1ドル$ 이상 $N$ 이하의 서로 다른 $K$개의 정수 $i_1, i_2, \cdots, i_K$를 고릅니다. $A_{i_1}, A_{i_2}, \cdots, A_{i_K}$에 각각 1ドル$을 더합니다. $(0 \le K \le N)$
모든 1ドル \le i < j \le N$에 대해서 $A_i + A_j$가 소수가 아니도록 하는 조작에서 $K$의 최솟값을 출력하세요.
출력
모든 1ドル \le i < j \le N$에 대해서 $A_i + A_j$가 소수가 아니도록 하는 조작의 $K$의 최솟값을 출력하세요.
$K \ne 0$인 경우, 둘째 줄에 고른 $i_1, i_2, \cdots, i_K$를 공백으로 구분하여 출력하세요. 정답이 여럿인 경우 아무거나 출력해도 좋습니다.
W3sicHJvYmxlbV9pZCI6IjI4NzA4IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjMThjXHVjMjE4IFx1ZDUzY1x1ZDU1OFx1YWUzMCIsImRlc2NyaXB0aW9uIjoiPHA+JE4kXHVhYzFjXHVjNzU4IFx1YzU5MVx1Yzc1OCBcdWM4MTVcdWMyMTggJEFfMSwgXFxjZG90cywgQV9OJFx1Yzc3NCBcdWM4ZmNcdWM1YjRcdWM5ZDFcdWIyYzhcdWIyZTQuIFx1YjJmOVx1YzJlMFx1Yzc1OCBcdWJhYTlcdWM4MDFcdWM3NDAgXHViYWE4XHViNGUwICQxIFxcbGUgaSAmbHQ7IGogXFxsZSBOJFx1YzVkMCBcdWIzMDBcdWQ1NzRcdWMxMWMgJEFfaSArIEFfaiRcdWFjMDAgXHVjMThjXHVjMjE4XHVhYzAwIFx1YzU0NFx1YjJjOFx1YjNjNFx1Yjg1ZCBcdWI5Y2NcdWI0ZGNcdWIyOTQgXHVhYzgzXHVjNzg1XHViMmM4XHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWM3NzRcdWI5N2MgXHVjNzA0XHVkNTc0IFx1YjJmOVx1YzJlMFx1Yzc0MCBcdWIyZTRcdWM3NGMgXHVjODcwXHVjNzkxXHVjNzQ0IFx1YzgxNVx1ZDY1NVx1ZDc4OCAkMSRcdWJjODggXHVkNTYwIFx1YzIxOCBcdWM3ODhcdWMyYjVcdWIyYzhcdWIyZTQuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+JDEkIFx1Yzc3NFx1YzBjMSAkTiQgXHVjNzc0XHVkNTU4XHVjNzU4IFx1YzExY1x1Yjg1YyBcdWIyZTRcdWI5NzggJEskXHVhYzFjXHVjNzU4IFx1YzgxNVx1YzIxOCAkaV8xLCBpXzIsIFxcY2RvdHMsIGlfSyRcdWI5N2MgXHVhY2UwXHViOTg1XHViMmM4XHViMmU0LiAkQV97aV8xfSwgQV97aV8yfSwgXFxjZG90cywgQV97aV9LfSRcdWM1ZDAgXHVhYzAxXHVhYzAxICQxJFx1Yzc0NCBcdWIzNTRcdWQ1NjlcdWIyYzhcdWIyZTQuICQoMCBcXGxlIEsgXFxsZSBOKSQ8XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5cdWJhYThcdWI0ZTAgJDEgXFxsZSBpICZsdDsgaiBcXGxlIE4kXHVjNWQwIFx1YjMwMFx1ZDU3NFx1YzExYyAkQV9pICsgQV9qJFx1YWMwMCBcdWMxOGNcdWMyMThcdWFjMDAgXHVjNTQ0XHViMmM4XHViM2M0XHViODVkIFx1ZDU1OFx1YjI5NCBcdWM4NzBcdWM3OTFcdWM1ZDBcdWMxMWMgJEskXHVjNzU4IFx1Y2Q1Y1x1YzE5Zlx1YWMxMlx1Yzc0NCBcdWNkOWNcdWI4MjVcdWQ1NThcdWMxMzhcdWM2OTQuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5cdWNjYWIgXHVjOTA0XHVjNWQwIFx1YzIxOFx1Yzc1OCBcdWFjMWNcdWMyMTggJE4kXHVjNzc0IFx1YzhmY1x1YzViNFx1YzlkMVx1YjJjOFx1YjJlNC4gJCgyIFxcbGUgTiBcXGxlIDIwMCkkPFwvcD5cclxuXHJcbjxwPlx1YjQ1OFx1YzlmOCBcdWM5MDRcdWM1ZDAgJEFfMSwgXFxjZG90cywgQV9OJFx1Yzc3NCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzlkMVx1YjJjOFx1YjJlNC4gJCgxIFxcbGUgQV9pIFxcbGUgMVxcLDAwMFxcLDAwMCkkPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+XHViYWE4XHViNGUwICQxIFxcbGUgaSAmbHQ7IGogXFxsZSBOJFx1YzVkMCBcdWIzMDBcdWQ1NzRcdWMxMWMgJEFfaSArIEFfaiRcdWFjMDAgXHVjMThjXHVjMjE4XHVhYzAwIFx1YzU0NFx1YjJjOFx1YjNjNFx1Yjg1ZCBcdWQ1NThcdWIyOTQgXHVjODcwXHVjNzkxXHVjNzU4ICRLJFx1Yzc1OCBcdWNkNWNcdWMxOWZcdWFjMTJcdWM3NDQgXHVjZDljXHViODI1XHVkNTU4XHVjMTM4XHVjNjk0LjxcL3A+XHJcblxyXG48cD4kSyBcXG5lIDAkXHVjNzc4IFx1YWNiZFx1YzZiMCwgXHViNDU4XHVjOWY4IFx1YzkwNFx1YzVkMCBcdWFjZTBcdWI5NzggJGlfMSwgaV8yLCBcXGNkb3RzLCBpX0skXHViOTdjIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWQ1NThcdWM1ZWMgXHVjZDljXHViODI1XHVkNTU4XHVjMTM4XHVjNjk0LiBcdWM4MTVcdWIyZjVcdWM3NzQgXHVjNWVjXHViN2ZmXHVjNzc4IFx1YWNiZFx1YzZiMCBcdWM1NDRcdWJiMzRcdWFjNzBcdWIwOTggXHVjZDljXHViODI1XHVkNTc0XHViM2M0IFx1Yzg4Ylx1YzJiNVx1YjJjOFx1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiIyODcwOCIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6IkF2b2lkaW5nIFByaW1lcyIsImRlc2NyaXB0aW9uIjoiPHA+WW91IGFyZSBnaXZlbiAkTiQgcG9zaXRpdmUgaW50ZWdlcnMgJEFfMSwgXFxjZG90cywgQV9OJC4gWW91IGFpbSB0byBlbnN1cmUgdGhhdCBmb3IgYWxsICQxIFxcbGUgaSAmbHQ7IGogXFxsZSBOJCwgJEFfaSArIEFfaiQgaXMgbm90IGEgcHJpbWUgbnVtYmVyLjxcL3A+XHJcblxyXG48cD5UbyBhY2hpZXZlIHRoaXMsIHlvdSBjYW4gcGVyZm9ybSB0aGUgZm9sbG93aW5nIG9wZXJhdGlvbiBleGFjdGx5IG9uY2U6PFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+Q2hvb3NlICRLJCBkaWZmZXJlbnQgaW50ZWdlcnMgJGlfMSwgaV8yLCBcXGNkb3RzLCBpX0skIGJldHdlZW4gJDEkIGFuZCAkTiQgaW5jbHVzaXZlLiBBZGQgJDEkIHRvIGVhY2ggJEFfe2lfMX0sIEFfe2lfMn0sIFxcY2RvdHMsIEFfe2lfS30kLiAkKDAgXFxsZSBLIFxcbGUgTikkPFwvbGk+XHJcbjxcL3VsPlxyXG5cclxuPHA+UHJpbnQgdGhlIG1pbmltdW0gJEskIHBvc3NpYmxlIGluIHRoZSBvcGVyYXRpb24gdGhhdCBtYWtlcyAkQV9pICsgQV9qJCBub3QgYSBwcmltZSBudW1iZXIgZm9yIGFsbCAkMSBcXGxlIGkgJmx0OyBqIFxcbGUgTiQuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5UaGUgZmlyc3QgbGluZSBjb250YWlucyB0aGUgbnVtYmVyIG9mIG51bWJlcnMsICROJC4gJCgyIFxcbGUgTiBcXGxlIDIwMCkkPFwvcD5cclxuXHJcbjxwPlRoZSBzZWNvbmQgbGluZSBjb250YWlucyAkQV8xLCBcXGNkb3RzLCBBX04kIHNlcGFyYXRlZCBieSBzcGFjZXMuICQoMSBcXGxlIEFfaSBcXGxlIDFcXCwwMDBcXCwwMDApJDxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlByaW50IHRoZSBtaW5pbXVtIHZhbHVlIG9mICRLJCBpbiB0aGUgb3BlcmF0aW9uIHRoYXQgbWFrZXMgJEFfaSArIEFfaiQgbm90IGEgcHJpbWUgbnVtYmVyIGZvciBhbGwgJDEgXFxsZSBpICZsdDsgaiBcXGxlIE4kLjxcL3A+XHJcblxyXG48cD5JZiAkSyBcXG5lIDAkLCBwcmludCB0aGUgY2hvc2VuICRpXzEsIGlfMiwgXFxjZG90cywgaV9LJCBvbiB0aGUgc2Vjb25kIGxpbmUsIHNlcGFyYXRlZCBieSBzcGFjZXMuIElmIHRoZXJlIGFyZSBtdWx0aXBsZSBjb3JyZWN0IGFuc3dlcnMsIHlvdSBtYXkgcHJpbnQgYW55IG9mIHRoZW0uPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCJ9XQ==