Mixed NE and PPAD-Completeness

Prev: pure-ne-and-pls-completeness

Prev: pure-ne-and-pls-completeness