P
Initializing...
Full multiplication bound at κ = 0.000051016920170078 · Prove2Me