Restart reduction: Erdős 261 for $n$ is greedy termination or a restart at a branch state

Initializing...

Restart reduction: Erdős 261 for $n$ is greedy termination or a restart at a branch state · Prove2Me