P
Initializing...
Target-last absorption of $2$ after $(0,1,-1)$ forces a released word · Prove2Me