P
Initializing...
ng_exists (KFY 19: the cost of the two passes for `n` (natural-number part)) · Prove2Me