Valiant–Vazirani_theorem loading ...