P
Initializing...
Observation 1: abort factorization · Prove2Me