P
Initializing...
bapP0 computes b0L · Prove2Me