User blog comment:Ikosarakt1/Inverse busy beaver function/@comment-1605058-20140311152606/@comment-1605058-20140311180946

Exactly