User blog comment:Wythagoras/A good bound for S(7)?/@comment-3427444-20140312073310

I was going to post the proof that the machine indeed runs for over 10^10^10^10^10^7 steps on the comments, but it become quite long, so I posted as a blog post. Here it is.