P
Initializing...
The reflected batch word $(0,1,6,3,-2,-8,-1)$ is not tree-safe · Prove2Me