Detodaination

Detodaination refers to the function \(\{a,b,1,4,1,2\}\), using BEAF.

Detodainational growth rate is equivalent to \(f_{\omega^3+\omega3+1}(n)\) in the fast-growing hierarchy.