P
Initializing...
With one track, $\mathrm{TrackBad}(n,m,0)\iff H(n)>m$ (Erdős 624) · Prove2Me