P
Initializing...
No polynomial ranking function proves termination of the Erdős 261 greedy carry · Prove2Me