Analysis of TON


 * \(C(0,0)=1\)
 * \(C(0,C(0,0))=2\)
 * \(C(0,C(0,C(0,0)))=3\)
 * \(C(0,C(0,C(0,C(0,0))))=4\)
 * \(C(1,0)=\omega\)
 * \(C(0,C(1,0))=\omega+1\)
 * \(C(0,C(0,C(1,0)))=\omega+2\)
 * \(C(0,C(0,C(0,C(1,0))))=\omega+3\)
 * \(C(0,C(0,C(0,C(0,C(1,0)))))=\omega+4\)
 * \(C(1,C(1,0))=\omega 2\)
 * \(C(0,C(1,C(1,0)))=\omega 2+1\)
 * \(C(0,C(0,C(1,C(1,0))))=\omega 2+2\)
 * \(C(0,C(0,C(0,C(1,C(1,0)))))=\omega 2+3\)
 * \(C(0,C(0,C(0,C(0,C(1,C(1,0))))))=\omega 2+4\)
 * \(C(1,C(1,C(1,0)))=\omega 3\)
 * \(C(0,C(1,C(1,C(1,0))))=\omega 3+1\)
 * \(C(0,C(0,C(1,C(1,C(1,0)))))=\omega 3+2\)
 * \(C(0,C(0,C(0,C(1,C(1,C(1,0))))))=\omega 3+3\)
 * \(C(0,C(0,C(0,C(0,C(1,C(1,C(1,0)))))))=\omega 3+4\)
 * \(C(1,C(1,C(1,C(1,0))))=\omega 4\)
 * \(C(2,0)=\omega^2\)
 * \(C(1,C(2,0))=\omega^2+\omega\)
 * \(C(1,C(1,C(2,0)))=\omega^2+\omega 2\)
 * \(C(1,C(1,C(1,C(2,0))))=\omega^2+\omega 3\)
 * \(C(1,C(1,C(1,C(1,C(2,0)))))=\omega^2+\omega 4\)
 * \(C(2,C(2,0))=\omega^22\)
 * \(C(2,C(2,C(2,0)))=\omega^23\)
 * \(C(2,C(2,C(2,C(2,0))))=\omega^24\)
 * \(C(3,0)=\omega^3\)
 * \(C(3,C(3,0))=\omega^32\)
 * \(C(3,C(3,C(3,0)))=\omega^33\)
 * \(C(3,C(3,C(3,C(3,0))))=\omega^34\)
 * \(C(4,0)=\omega^4\)
 * \(\color{#0000FF}{C(\beta,C(\gamma,0))=\omega^{\gamma}+\omega^{\beta}}\) if \(\color{#0000FF}{\beta\leq\gamma}\)
 * \(\color{#0000FF}{C(\gamma,0)=\omega^{\gamma}}\) if \(\gamma<\varepsilon_0\)
 * \(C(\Omega,0)=\varepsilon_0\)
 * \(C(C(\Omega,0),C(\Omega,0))=\varepsilon_02\)
 * \(C(C(\Omega,0),C(C(\Omega,0),C(\Omega,0)))=\varepsilon_03\)
 * \(C(C(\Omega,0),C(C(\Omega,0),C(C(\Omega,0),C(\Omega,0))))=\varepsilon_04\)
 * \(C(C(0,C(\Omega,0)),C(\Omega,0))=\omega^{\varepsilon_0+1}\)
 * \(C(C(0,C(0,C(\Omega,0))),C(\Omega,0))=\omega^{\varepsilon_0+2}\)
 * \(C(C(0,C(0,C(0,C(\Omega,0)))),C(\Omega,0))=\omega^{\varepsilon_0+3}\)
 * \(C(C(0,C(0,C(0,C(0,C(\Omega,0))))),C(\Omega,0))=\omega^{\varepsilon_0+4}\)
 * \(C(C(1,C(\Omega,0)),C(\Omega,0))=\omega^{\varepsilon_0+\omega}\)
 * \(\color{#0000FF}{C(C(\gamma,C(\Omega,0)),C(\Omega,0))=\omega^{\varepsilon_0+\omega^{\gamma}}}\)
 * \(C(C(C(\Omega,0),C(\Omega,0)),C(\Omega,0))=\omega^{\varepsilon_02}\)
 * \(\color{#0000FF}{C(\gamma,C(\Omega,0))=\omega^{\gamma}}\) if \(\color{#0000ff}{\gamma >\varepsilon_0}\)
 * \(C(C(C(0,C(\Omega,0)),C(\Omega,0)),C(\Omega,0))=\omega^{\omega^{\varepsilon_0+1}}\)