P
Initializing...
Algorithm 97, comment — no path leaves the final entry at infinity · Prove2Me