coNP

1. REDIRECT Co-NP

{{R from modification}}