P
Initializing...
EF5 with Q = 0: certificate (F = 0) iff β = 0 · Prove2Me