P
Initializing...
The finite-size brute-force solver has polynomial resource needs · Prove2Me