P
Initializing...
Building the guarded wanted-pair list with a balanced shift · Prove2Me