P
Initializing...
Directional doubled-denominator budget $\sup R_1+\sup R_2\le1$ · Prove2Me