P
Initializing...
Is D1Tuple — rational cutoff forced P window · Prove2Me