User blog comment:Cloudy176/Yet another blog post of Turing machines/@comment-5150073-20130410092542

Your bound is actually larger than X^^374676377 & 3, using BEAF.