User blog comment:LittlePeng9/Random Turing machines/@comment-5529393-20130407170351/@comment-5529393-20130407173458

Yeah, I managed to figure it out. Sorry to bother you. :)

Do you think the Kirby-Paris hydra is more efficient for TM coding then worms? It would be great to prove Sigma(100) > f_epsilon_0 (n) for significant n.