Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The defined turing machine has 5 states and runs for 47176870 steps before halting (see image below). As of today, the conjecture that BB(5) = 47176870 is a proven fact, making this turing machine an example of that bound.
This TM is the one defined on page 10 of this paper
Announcement of the proof
https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237
Screenshot of the steps of this tm
![image](https://private-user-images.githubusercontent.com/760018/345242888-11f5f3eb-a47f-4afe-9779-6bb16f0705ab.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjExOTE0MjcsIm5iZiI6MTcyMTE5MTEyNywicGF0aCI6Ii83NjAwMTgvMzQ1MjQyODg4LTExZjVmM2ViLWE0N2YtNGFmZS05Nzc5LTZiYjE2ZjA3MDVhYi5wbmc_WC1BbXotQWxnb3JpdGhtPUFXUzQtSE1BQy1TSEEyNTYmWC1BbXotQ3JlZGVudGlhbD1BS0lBVkNPRFlMU0E1M1BRSzRaQSUyRjIwMjQwNzE3JTJGdXMtZWFzdC0xJTJGczMlMkZhd3M0X3JlcXVlc3QmWC1BbXotRGF0ZT0yMDI0MDcxN1QwNDM4NDdaJlgtQW16LUV4cGlyZXM9MzAwJlgtQW16LVNpZ25hdHVyZT1lZjY5Y2I3ZTVjZWY4Mzk1MjZmNjAzN2YxYjQ4ZjBmNDY5ZTI1MWZjMTE0NjkzNTIzZjdhNTg1NDA0MzBkNWRlJlgtQW16LVNpZ25lZEhlYWRlcnM9aG9zdCZhY3Rvcl9pZD0wJmtleV9pZD0wJnJlcG9faWQ9MCJ9.y685Mf7P_7GiahfM2kZ9yGzNBpK2WqbyvH7ZKUyp3hc)