P
Initializing...
The full common-face presentation is a subpresentation of size n · Prove2Me