P
Initializing...
$(0,1,x,3)$ is tree-safe for every odd $x\notin\{1,3\}$ · Prove2Me