P
Initializing...
Open paths close from the sink backwards: closing one pair forces the whole tail, fourth terms first · Prove2Me