P
Initializing...
Variable ancestor prefix of length k plus 2 · Prove2Me