User blog comment:Ikosarakt1/My Turing machine programs/@comment-25418284-20130330212946

By the way, I'm totally working on \(f_{\omega_1^\text{CK}}(n)\) guys :P