Prover9 loading ...