P
Initializing...
Astra's word $H$ extended by $(109,-3)$ is SAFE · Prove2Me