User blog comment:Wythagoras/A good bound for S(7)?/@comment-1605058-20140311182849/@comment-10429372-20140311194509

Thanks. (Actually I can prove the machine doesn't halt within 4,23*10^47 steps)