User blog comment:Cloudy176/Yet another blog post of Turing machines/@comment-1605058-20130410113829

I haven't thought my machine could give such strong bound