P

Initializing...

$P^*=(0,1,-1,-5)$ and $(0,1,-1,-5,3)$ are tree-safe · Prove2Me