[zaarn]

The tape under the turing machine is infinite, so it's certainly not limited to 47M states. The conjecture states that all machines that halt will do so within 47M states.

[schoen]

Steps rather than states.