巨大数研究 Wiki
Advertisement
巨大数研究 Wiki

バシク行列の解析

p進大好きbotさんのブログ記事を参考に BM4 と Rathjen's OCF などの OCF を比較します。

以下、断りなく "Rathjen's OCF" と書いた場合、"Rathjen's OCF Based on a Weakly Mahlo Cardinal" セクションに書かれているものを指します。

なお、以下の表は証明のない比較期待表です。解析ではありません。

(0,0)(1,1) まで

Rathjen's OCF について、以下の略記を使用します。

略記 表記
\(1\) \(\varphi_0(0)\)
\(2\) \(\varphi_0(0)+\varphi_0(0)\)
\(3\) \(\varphi_0(0)+\varphi_0(0)+\varphi_0(0)\)
\(4\) \(\varphi_0(0)+\varphi_0(0)+\varphi_0(0)+\varphi_0(0)\)
\(\omega\) \(\varphi_0(\varphi_0(0))\)
BM4 Buchholz's OCF Ordinal Rathjen's OCF Rathjen's OCF (Full)
\(0\) \(0\) \(0\) \(0\) \(0\) \(0\)
(0) \(\psi_0(0)\) \(1\) \(1\) \(1\) \(\phi_0(0)\) \(\psi_\Omega(0)\)
(0)(0) \(\psi_0(0)+\psi_0(0)\) \(2\) \(2\) \(2\) \(\phi_0(0)+\phi_0(0)\) \(\psi_\Omega(0)+\psi_\Omega(0)\)
(0)(0)(0) \(\psi_0(0)+\psi_0(0)+\psi_0(0)\) \(3\) \(3\) \(3\) \(\phi_0(0)+\phi_0(0)+\phi_0(0)\) \(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)\)
(0)(0)(0)(0) \(\psi_0(0)+\psi_0(0)+\psi_0(0)+\psi_0(0)\) \(4\) \(4\) \(4\) \(\phi_0(0)+\phi_0(0)+\phi_0(0)+\phi_0(0)\) \(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)\)
(0)(1) \(\psi_0(\psi_0(0))\) \(\omega\) \(\omega\) \(\psi(1)\) \(\phi_0(\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0))\)
(0)(1)(0) \(\psi_0(\psi_0(0))+\psi_0(0)\) \(\omega+1\) \(\omega+1\) \(\psi(1)+1\) \(\phi_0(\phi_0(0))+\phi_0(0)\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)\)
(0)(1)(0)(0) \(\psi_0(\psi_0(0))+\psi_0(0)+\psi_0(0)\) \(\omega+2\) \(\omega+2\) \(\psi(1)+2\) \(\phi_0(\phi_0(0))+\phi_0(0)+\phi_0(0)\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)+\psi_\Omega(0)\)
(0)(1)(0)(1) \(\psi_0(\psi_0(0))+\psi_0(\psi_0(0))\) \(\omega\times2\) \(\omega+\omega\) \(\psi(1)\times2\) \(\phi_0(\phi_0(0))+\phi_0(\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))\)
(0)(1)(0)(1)(0) \(\psi_0(\psi_0(0))+\psi_0(\psi_0(0))+\psi_0(0)\) \(\omega\times2+1\) \(\omega+\omega+1\) \(\psi(1)\times2+1\) \(\phi_0(\phi_0(0))+\phi_0(\phi_0(0))+\phi_0(0)\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)\)
(0)(1)(0)(1)(0)(1) \(\psi_0(\psi_0(0))+\psi_0(\psi_0(0))+\psi_0(\psi_0(0))\) \(\omega\times3\) \(\omega+\omega+\omega\) \(\psi(1)\times3\) \(\phi_0(\phi_0(0))+\phi_0(\phi_0(0))+\phi_0(\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))\)
(0)(1)(1) \(\psi_0(\psi_0(0)+\psi_0(0))\) \(\omega^2\) \(\phi_0(2)\) \(\psi(2)\) \(\phi_0(\phi_0(0)+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\)
(0)(1)(1)(0) \(\psi_0(\psi_0(0)+\psi_0(0))+\psi_0(0)\) \(\omega^2+1\) \(\phi_0(2)+1\) \(\psi(2)+1\) \(\phi_0(\phi_0(0)+\phi_0(0))+\phi_0(0)\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(0)\)
(0)(1)(1)(0)(1) \(\psi_0(\psi_0(0)+\psi_0(0))+\psi_0(\psi_0(0))\) \(\omega^2+\omega\) \(\phi_0(2)+\omega\) \(\psi(2)+\psi(1)\) \(\phi_0(\phi_0(0)+\phi_0(0))+\phi_0(\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))\)
(0)(1)(1)(0)(1)(1) \(\psi_0(\psi_0(0)+\psi_0(0))+\psi_0(\psi_0(0)+\psi_0(0))\) \(\omega^2\times2\) \(\phi_0(2)+\phi_0(2)\) \(\psi(2)+\psi(2)\) \(\phi_0(\phi_0(0)+\phi_0(0))+\phi_0(\phi_0(0)+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\)
(0)(1)(1)(1) \(\psi_0(\psi_0(0)+\psi_0(0)+\psi_0(0))\) \(\omega^3\) \(\phi_0(3)\) \(\psi(3)\) \(\phi_0(\phi_0(0)+\phi_0(0)+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0))\)
(0)(1)(2) \(\psi_0(\psi_0(\psi_0(0)))\) \(\omega^\omega\) \(\phi_0(\omega)\) \(\psi(\psi(1))\) \(\phi_0(\phi_0(\phi_0(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))\)
(0)(1)(2)(0) \(\psi_0(\psi_0(\psi_0(0)))+\psi_0(0)\) \(\omega^\omega+1\) \(\phi_0(\omega)+1\) \(\psi(\psi(1))+1\) \(\phi_0(\phi_0(\phi_0(0)))+\phi_0(0)\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(0)\)
(0)(1)(2)(0)(1) \(\psi_0(\psi_0(\psi_0(0)))+\psi_0(\psi_0(0))\) \(\omega^\omega+\omega\) \(\phi_0(\omega)+\omega\) \(\psi(\psi(1))+\psi(1)\) \(\phi_0(\phi_0(\phi_0(0)))+\phi_0(\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(0))\)
(0)(1)(2)(0)(1)(1) \(\psi_0(\psi_0(\psi_0(0)))+\psi_0(\psi_0(0)+\psi_0(0))\) \(\omega^\omega+\omega^2\) \(\phi_0(\omega)+\phi_0(2)\) \(\psi(\psi(1))+\psi(2)\) \(\phi_0(\phi_0(\phi_0(0)))+\phi_0(\phi_0(0)+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\)
(0)(1)(2)(1) \(\psi_0(\psi_0(\psi_0(0))+\psi_0(0))\) \(\omega^{\omega+1}\) \(\phi_0(\omega+1)\) \(\psi(\psi(1)+1)\) \(\phi_0(\phi_0(\phi_0(0))+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0))\)
(0)(1)(2)(1)(1) \(\psi_0(\psi_0(\psi_0(0))+\psi_0(0)+\psi_0(0))\) \(\omega^{\omega+2}\) \(\phi_0(\omega+2)\) \(\psi(\psi(1)+2)\) \(\phi_0(\phi_0(\phi_0(0))+\phi_0(0)+\phi_0(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)+\psi_\Omega(0))\)
(0)(1)(2)(1)(2) \(\psi_0(\psi_0(\psi_0(0))+\psi_0(\psi_0(0)))\) \(\omega^{\omega\times2}\) \(\phi_0(\omega+\omega)\) \(\psi(\psi(1)\times2)\) \(\phi_0(\phi_0(\phi_0(0))+\phi_0(\phi_0(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)))\)
(0)(1)(2)(2) \(\psi_0(\psi_0(\psi_0(0)+\psi_0(0)))\) \(\omega^{\omega^2}\) \(\phi_0(\phi_0(2))\) \(\psi(\psi(2))\) \(\phi_0(\phi_0(\phi_0(0)+\phi_0(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)))\)
(0)(1)(2)(3) \(\psi_0(\psi_0(\psi_0(\psi_0(0))))\) \(\omega^{\omega^\omega}\) \(\phi_0(\phi_0(\omega))\) \(\psi(\psi(\psi(1)))\) \(\phi_0(\phi_0(\phi_0(\phi_0(0))))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))))\)
(0)(1)(2)(3)(4) \(\psi_0(\psi_0(\psi_0(\psi_0(\psi_0(0)))))\) \(\omega^{\omega^{\omega^\omega}}\) \(\phi_0(\phi_0(\phi_0(\omega)))\) \(\psi(\psi(\psi(\psi(1))))\) \(\phi_0(\phi_0(\phi_0(\phi_0(\phi_0(0)))))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))))\)

(0,0)(1,1)(2,1)(3,1) まで

BM4 Buchholz's OCF Ordinal Rathjen's OCF Extended Buchholz's OCF (Full) Rathjen's OCF (Full)
(0,0)(1,1) \(\psi_0(\psi_1(0))\) \(\varepsilon_0\) \(\varphi_1(0)\) \(\psi(\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\)
(0,0)(1,1)(0,0) \(\psi_0(\psi_1(0))+\psi_0(0)\) \(\varepsilon_0+1\) \(\varphi_1(0)+1\) \(\psi(\Omega)+1\) \(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(0)\) \(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)\)
(0,0)(1,1)(0,0)(1,0) \(\psi_0(\psi_1(0))+\psi_0(\psi_0(0))\) \(\varepsilon_0+\omega\) \(\varphi_1(0)+\omega\) \(\psi(\Omega)+\psi(1)\) \(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_0(0))\) \(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(0,0)(1,0)(2,0) \(\psi_0(\psi_1(0))+\psi_0(\psi_0(\psi_0(0)))\) \(\varepsilon_0+\omega^\omega\) \(\varphi_1(0)+\varphi_0(\omega)\) \(\psi(\Omega)+\psi(\psi(1))\) \(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_0(\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(0,0)(1,1) \(\psi_0(\psi_1(0))+\psi_0(\psi_1(0))\) \(\varepsilon_0\times2\) \(\varphi_1(0)+\varphi_1(0)\) \(\psi(\Omega)\times2\) \(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\)
(0,0)(1,1)(0,0)(1,1)(0,0)(1,1) \(\psi_0(\psi_1(0))+\psi_0(\psi_1(0))+\psi_0(\psi_1(0))\) \(\varepsilon_0\times3\) \(\varphi_1(0)+\varphi_1(0)+\varphi_1(0)\) \(\psi(\Omega)\times3\) \(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\)
(0,0)(1,1)(1,0) \(\psi_0(\psi_1(0)+\psi_0(0))\) \(\varepsilon_0\times\omega\) \(\varphi_0(\varphi_1(0)+1)\) \(\psi(\Omega+1)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,0)(0,0)(1,1) \(\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(\psi_1(0))\) \(\varepsilon_0\times\omega+\varepsilon_0\) \(\varphi_0(\varphi_1(0)+1)+\varphi_1(0)\) \(\psi(\Omega+1)+\psi(\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_{\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\)
(0,0)(1,1)(1,0)(0,0)(1,1)(1,0) \(\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(\psi_1(0)+\psi_0(0))\) \(\varepsilon_0\times\omega\times2\) \(\varphi_0(\varphi_1(0)+1)+\varphi_0(\varphi_1(0)+1)\) \(\psi(\Omega+1)\times2\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,0)(1,0) \(\psi_0(\psi_1(0)+\psi_0(0)+\psi_0(0))\) \(\varepsilon_0\times\omega^2\) \(\varphi_0(\varphi_1(0)+2)\) \(\psi(\Omega+2)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0)+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,0)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_0(0)))\) \(\varepsilon_0\times\omega^\omega\) \(\varphi_0(\varphi_1(0)+\omega)\) \(\psi(\Omega+\omega)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_0(0)))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)))\) \(\varepsilon_0^2\) \(\varphi_0(\varphi_1(0)+\varphi_1(0))\) \(\psi(\Omega+\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(1,0)(2,1)(1,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(0))\) \(\varepsilon_0^2\times\omega\) \(\varphi_0(\varphi_1(0)+\varphi_1(0)+1)\) \(\psi(\Omega+\psi(\Omega)+1)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,0)(2,1)(1,0)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(\psi_0(0)))\) \(\varepsilon_0^2\times\omega^\omega\) \(\varphi_0(\varphi_1(0)+\varphi_1(0)+\omega)\) \(\psi(\Omega+\psi(\Omega)+\omega)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_0(0)))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(1,0)(2,1) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(\psi_1(0)))\) \(\varepsilon_0^3\) \(\varphi_0(\varphi_1(0)+\varphi_1(0)+\varphi_1(0))\) \(\psi(\Omega+\psi(\Omega)\times2)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0)))\) \(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0)))\) \(\varepsilon_0^\omega\) \(\varphi_0(\varphi_0(\varphi_1(0)+1))\) \(\psi(\Omega+\psi(\Omega+1))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(1,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(0))\) \(\varepsilon_0^\omega\times\omega\) \(\varphi_0(\varphi_0(\varphi_1(0)+1)+1)\) \(\psi(\Omega+\psi(\Omega+1)+1)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(0))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(\psi_0(0)))\) \(\varepsilon_0^\omega\times\omega^\omega\) \(\varphi_0(\varphi_0(\varphi_1(0)+1)+\omega)\) \(\psi(\Omega+\psi(\Omega+1)+\omega)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(\psi_1(0)))\) \(\varepsilon_0^{\omega+1}\) \(\varphi_0(\varphi_0(\varphi_1(0)+1)+\varphi_1(0))\) \(\psi(\Omega+\psi(\Omega+1)+\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0))+\psi_0(\psi_1(0)+\psi_0(0)))\) \(\varepsilon_0^{\omega\times2}\) \(\varphi_0(\varphi_0(\varphi_1(0)+1)+\varphi_0(\varphi_1(0)+1)))\) \(\psi(\Omega+\psi(\Omega+1)\times2)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))+\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0)+\psi_0(0)))\) \(\varepsilon_0^{\omega^2}\) \(\varphi_0(\varphi_0(\varphi_1(0)+2))\) \(\psi(\Omega+\psi(\Omega+2))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0)+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_0(0))))\) \(\varepsilon_0^{\omega^\omega}\) \(\varphi_0(\varphi_0(\varphi_1(0)+\omega))\) \(\psi(\Omega+\psi(\Omega+\omega))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_0(0))))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,1) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_1(0))))\) \(\varepsilon_0^{\varepsilon_0}\) \(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)))\) \(\psi(\Omega+\psi(\Omega+\psi(\Omega)))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)(2,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(0)))\) \(\varepsilon_0^{\varepsilon_0\times\omega}\) \(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)+1))\) \(\psi(\Omega+\psi(\Omega+\psi(\Omega)+1))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)(2,0)(3,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(\psi_0(0))))\) \(\varepsilon_0^{\varepsilon_0\times\omega^\omega}\) \(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)+\omega))\) \(\psi(\Omega+\psi(\Omega+\psi(\Omega)+\omega))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_0(0))))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)(2,0)(3,1) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_1(0))+\psi_0(\psi_1(0))))\) \(\varepsilon_0^{\varepsilon_0^2}\) \(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)+\varphi_1(0)))\) \(\psi(\Omega+\psi(\Omega+\psi(\Omega)\times2))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0) \(\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(\psi_1(0)+\psi_0(0))))\) \(\varepsilon_0^{\varepsilon_0^\omega}\) \(\varphi_0(\varphi_0(\varphi_0(\varphi_1(0)+1)))\) \(\psi(\Omega+\psi(\Omega+\psi(\Omega+1)))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))))\) \(\varphi_0(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(1,1) \(\psi_0(\psi_1(0)+\psi_1(0))\) \(\varepsilon_1\) \(\varphi_1(1)\) \(\psi(\Omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(1,1)(0,0) \(\psi_0(\psi_1(0)+\psi_1(0))+\psi_0(0)\) \(\varepsilon_1+1\) \(\varphi_1(1)+1\) \(\psi(\Omega\times2)+1\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_0(0)\) \(\varphi_{\varphi_0(0)}(\varphi_0(0))+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)\)
(0,0)(1,1)(1,1)(0,0)(1,1)(1,1) \(\psi_0(\psi_1(0)+\psi_1(0))+\psi_0(\psi_1(0)+\psi_1(0))\) \(\varepsilon_1\times2\) \(\varphi_1(1)+\varphi_1(1)\) \(\psi(\Omega\times2)\times2\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_0(0))+\varphi_{\varphi_0(0)}(\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(1,1)(1,0) \(\psi_0(\psi_1(0)+\psi_1(0)+\psi_0(0))\) \(\varepsilon_1\times\omega\) \(\varphi_0(\varphi_1(1)+1)\) \(\psi(\Omega\times2+1)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(0))+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(1,1)(1,0)(2,1)(2,1) \(\psi_0(\psi_1(0)+\psi_1(0)+\psi_0(\psi_1(0)+\psi_1(0)))\) \(\varepsilon_1^2\) \(\varphi_0(\varphi_1(1)+\varphi_1(1))\) \(\psi(\Omega\times2+\psi(\Omega\times2))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(0))+\varphi_{\varphi_0(0)}(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0) \(\psi_0(\psi_1(0)+\psi_1(0)+\psi_0(\psi_1(0)+\psi_1(0)+\psi_0(0)))\) \(\varepsilon_1^\omega\) \(\varphi_0(\varphi_0(\varphi_1(1)+1))\) \(\psi(\Omega\times2+\psi(\Omega\times2+1))\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(0))+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(1,1)(1,1) \(\psi_0(\psi_1(0)+\psi_1(0)+\psi_1(0))\) \(\varepsilon_2\) \(\varphi_1(2)\) \(\psi(\Omega\times3)\) \(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_0(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,0) \(\psi_0(\psi_1(\psi_0(0)))\) \(\varepsilon_\omega\) \(\varphi_1(\omega)\) \(\psi(\Omega\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(0,0) \(\psi_0(\psi_1(\psi_0(0)))+\psi_0(0)\) \(\varepsilon_\omega+1\) \(\varphi_1(\omega)+1\) \(\psi(\Omega\times\omega)+1\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_0(0)\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\psi_{\Omega_2}(0)}(0)\)
(0,0)(1,1)(2,0)(0,0)(1,1)(2,0) \(\psi_0(\psi_1(\psi_0(0)))+\psi_0(\psi_1(\psi_0(0)))\) \(\varepsilon_\omega\times2\) \(\varphi_1(\omega)+\varphi_1(\omega)\) \(\psi(\Omega\times\omega)\times2\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))+\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(1,0) \(\psi_0(\psi_1(\psi_0(0))+\psi_0(0))\) \(\varepsilon_\omega\times\omega\) \(\varphi_0(\varphi_1(\omega)+1)\) \(\psi(\Omega\times\omega+1)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(2,0)(1,0)(2,1)(3,0) \(\psi_0(\psi_1(\psi_0(0))+\psi_0(\psi_1(\psi_0(0))))\) \(\varepsilon_\omega^2\) \(\varphi_0(\varphi_1(\omega)+\varphi_1(\omega))\) \(\psi(\Omega\times\omega+\psi(\Omega\times\omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(\psi_0(0))))\) \(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))+\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,0)(1,0)(2,1)(3,0)(2,0) \(\psi_0(\psi_1(\psi_0(0))+\psi_0(\psi_1(\psi_0(0))+\psi_0(0)))\) \(\varepsilon_\omega^\omega\) \(\varphi_0(\varphi_0(\varphi_1(\omega)+1))\) \(\psi(\Omega\times\omega+\psi(\Omega\times\omega+1))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)))+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(1,1) \(\psi_0(\psi_1(\psi_0(0))+\psi_1(0))\) \(\varepsilon_{\omega+1}\) \(\varphi_1(\omega+1)\) \(\psi(\Omega\times\omega+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,0)(1,1)(1,1) \(\psi_0(\psi_1(\psi_0(0))+\psi_1(0)+\psi_1(0))\) \(\varepsilon_{\omega+2}\) \(\varphi_1(\omega+2)\) \(\psi(\Omega\times\omega+\Omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))+\varphi_0(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,0)(1,1)(2,0) \(\psi_0(\psi_1(\psi_0(0))+\psi_1(\psi_0(0)))\) \(\varepsilon_{\omega\times2}\) \(\varphi_1(\omega+\omega)\) \(\psi(\Omega\times\omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))+\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(2,0) \(\psi_0(\psi_1(\psi_0(0)+\psi_0(0)))\) \(\varepsilon_{\omega^2}\) \(\varphi_1(\varphi_0(2))\) \(\psi(\Omega\times\psi(2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(0)+\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(3,0) \(\psi_0(\psi_1(\psi_0(\psi_0(0))))\) \(\varepsilon_{\omega^\omega}\) \(\varphi_1(\varphi_0(\omega))\) \(\psi(\Omega\times\psi(\omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_0(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_0(\psi_1(0))))\) \(\varepsilon_{\varepsilon_0}\) \(\varphi_1(\varphi_1(0))\) \(\psi(\Omega\times\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,0)(3,1)(1,1) \(\psi_0(\psi_1(\psi_0(\psi_1(0)))+\psi_1(0))\) \(\varepsilon_{\varepsilon_0+1}\) \(\varphi_1(\varphi_1(0)+1)\) \(\psi(\Omega\times\psi(\Omega)+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,0)(3,1)(1,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_0(\psi_1(0)))+\psi_1(\psi_0(\psi_1(0))))\) \(\varepsilon_{\varepsilon_0\times2}\) \(\varphi_1(\varphi_1(0)+\varphi_1(0))\) \(\psi(\Omega\times\psi(\Omega)\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,0)(3,1)(2,0) \(\psi_0(\psi_1(\psi_0(\psi_1(0))+\psi_0(0)))\) \(\varepsilon_{\varepsilon_0\times\omega}\) \(\varphi_1(\varphi_0(\varphi_1(0)+1))\) \(\psi(\Omega\times\psi(\Omega+1))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,0)(3,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_0(\psi_1(0))+\psi_0(\psi_1(0))))\) \(\varepsilon_{\varepsilon_0^2}\) \(\varphi_1(\varphi_0(\varphi_1(0)+\varphi_1(0)))\) \(\psi(\Omega\times\psi(\Omega+\psi(\Omega)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,0)(3,1)(3,0) \(\psi_0(\psi_1(\psi_0(\psi_1(0)+\psi_0(0))))\) \(\varepsilon_{\varepsilon_0^\omega}\) \(\varphi_1(\varphi_0(\varphi_0(\varphi_1(0)+1)))\) \(\psi(\Omega\times\psi(\Omega+\psi(\Omega+1)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)+\psi_0(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)}(0)+\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,0)(3,1)(3,1) \(\psi_0(\psi_1(\psi_0(\psi_1(0)+\psi_1(0))))\) \(\varepsilon_{\varepsilon_1}\) \(\varphi_1(\varphi_1(1))\) \(\psi(\Omega\times\psi(\Omega\times2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,0)(3,1)(4,0) \(\psi_0(\psi_1(\psi_0(\psi_1(\psi_0(0)))))\) \(\varepsilon_{\varepsilon_\omega}\) \(\varphi_1(\varphi_1(\omega))\) \(\psi(\Omega\times\psi(\Omega\times\omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,0)(3,1)(4,0)(5,1) \(\psi_0(\psi_1(\psi_0(\psi_1(\psi_0(\psi_1(0))))))\) \(\varepsilon_{\varepsilon_{\varepsilon_0}}\) \(\varphi_1(\varphi_1(\varphi_1(0)))\) \(\psi(\Omega\times\psi(\Omega\times\psi(\Omega)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)))\) \(\zeta_0\) \(\varphi_2(0)\) \(\psi(\Omega^2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(0,0) \(\psi_0(\psi_1(\psi_1(0)))+\psi_0(0)\) \(\zeta_0+1\) \(\varphi_2(0)+1\) \(\psi(\Omega^2)+1\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(0)\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(0)\)
(0,0)(1,1)(2,1)(0,0)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)))+\psi_0(\psi_1(\psi_1(0)))\) \(\zeta_0\times2\) \(\varphi_2(0)+\varphi_2(0)\) \(\psi(\Omega^2)\times2\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_{\varphi_0(0)+\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(1,0) \(\psi_0(\psi_1(\psi_1(0))+\psi_0(0))\) \(\zeta_0\times\omega\) \(\varphi_0(\varphi_2(0)+1)\) \(\psi(\Omega^2+1)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(2,1)(1,0)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_0(\psi_1(\psi_1(0))))\) \(\zeta_0^2\) \(\varphi_0(\varphi_2(0)+\varphi_2(0))\) \(\psi(\Omega^2+\psi(\Omega^2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_{\varphi_0(0)+\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(1,0)(2,1)(3,1)(2,0) \(\psi_0(\psi_1(\psi_1(0))+\psi_0(\psi_1(\psi_1(0))+\psi_0(0)))\) \(\zeta_0^\omega\) \(\varphi_0(\varphi_0(\varphi_2(0)+1))\) \(\psi(\Omega^2+\psi(\Omega^2+1))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(1,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(0))\) \(\varepsilon_{\zeta_0+1}\) \(\varphi_1(\varphi_2(0)+1)\) \(\psi(\Omega^2+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,1)(1,1)(1,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(0)+\psi_1(0))\) \(\varepsilon_{\zeta_0+2}\) \(\varphi_1(\varphi_2(0)+2)\) \(\psi(\Omega^2+\Omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,1)(1,1)(2,0) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(0)))\) \(\varepsilon_{\zeta_0+\omega}\) \(\varphi_1(\varphi_2(0)+\omega)\) \(\psi(\Omega^2+\Omega\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(0))))\) \(\varepsilon_{\zeta_0+\varepsilon_0}\) \(\varphi_1(\varphi_2(0)+\varphi_1(0))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(\psi_1(0)))))\) \(\varepsilon_{\zeta_0\times2}\) \(\varphi_1(\varphi_2(0)+\varphi_2(0))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega^2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_{\varphi_0(0)+\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(2,0) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(\psi_1(0)))+\psi_0(0)))\) \(\varepsilon_{\zeta_0\times\omega}\) \(\varphi_1(\varphi_0(\varphi_2(0)+1))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega^2+1))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(0)))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(2,0)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(\psi_1(0)))+\psi_0(\psi_1(\psi_1(0)))))\) \(\varepsilon_{\zeta_0^2}\) \(\varphi_1(\varphi_0(\varphi_2(0)+\varphi_2(0)))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega^2+\psi(\Omega^2)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_{\varphi_0(0)+\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,0) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(\psi_1(0))+\psi_0(0))))\) \(\varepsilon_{\zeta_0^\omega}\) \(\varphi_1(\varphi_0(\varphi_0(\varphi_2(0)+1)))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega^2+\psi(\Omega^2+1)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(\psi_1(0))+\psi_1(0))))\) \(\varepsilon_{\varepsilon_{\zeta_0+1}}\) \(\varphi_1(\varphi_1(\varphi_2(0)+1))\) \(\psi(\Omega^2+\Omega\times\psi(\Omega^2+\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_1(0)))\) \(\zeta_1\) \(\varphi_2(1)\) \(\psi(\Omega^2\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))+\psi_1(\psi_1(0)))\) \(\zeta_2\) \(\varphi_2(2)\) \(\psi(\Omega^2\times3)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_0(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(2,0) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(0)))\) \(\zeta_\omega\) \(\varphi_2(\omega)\) \(\psi(\Omega^2\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(\psi_1(0))))\) \(\zeta_{\varepsilon_0}\) \(\varphi_2(\varphi_1(0))\) \(\psi(\Omega^2\times\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(2,0)(3,1)(3,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(\psi_1(0)+\psi_1(0))))\) \(\zeta_{\varepsilon_1}\) \(\varphi_2(\varphi_1(1))\) \(\psi(\Omega^2\times\psi(\Omega\times2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(2,0)(3,1)(4,0) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(\psi_1(\psi_0(0)))))\) \(\zeta_{\varepsilon_\omega}\) \(\varphi_2(\varphi_1(\omega))\) \(\psi(\Omega^2\times\psi(\Omega\times\omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_0(0)))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_0(\varphi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(2,0)(3,1)(4,0)(5,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(\psi_1(\psi_0(\psi_1(0))))))\) \(\zeta_{\varepsilon_{\varepsilon_0}}\) \(\varphi_2(\varphi_1(\varphi_1(0)))\) \(\psi(\Omega^2\times\psi(\Omega\times\psi(\Omega)))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(2,0)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_0(\psi_1(\psi_1(0)))))\) \(\zeta_{\zeta_0}\) \(\varphi_2(\varphi_2(0))\) \(\psi(\Omega^2\times\psi(\Omega^2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)))\) \(\eta_0\) \(\varphi_3(0)\) \(\psi(\Omega^3)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(2,1)(1,0) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0))+\psi_0(0))\) \(\eta_0\times\omega\) \(\varphi_0(\varphi_3(0)+1)\) \(\psi(\Omega^3+1)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(2,1)(2,1)(1,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(0))\) \(\varepsilon_{\eta_0+1}\) \(\varphi_1(\varphi_3(0)+1)\) \(\psi(\Omega^3+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,1)(2,1)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(\psi_1(0)))\) \(\zeta_{\eta_0+1}\) \(\varphi_2(\varphi_3(0)+1)\) \(\psi(\Omega^3+\Omega^2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(\psi_1(0)+\psi_1(0)))\) \(\eta_1\) \(\varphi_3(1)\) \(\psi(\Omega^3\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(2,1)(2,0) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)+\psi_0(0)))\) \(\eta_\omega\) \(\varphi_3(\omega)\) \(\psi(\Omega^3\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(2,1)(2,0)(3,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)+\psi_0(\psi_1(0))))\) \(\eta_{\varepsilon_0}\) \(\varphi_3(\varphi_1(0))\) \(\psi(\Omega^3\times\psi(\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(2,1)(2,0)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)+\psi_0(\psi_1(\psi_1(0)))))\) \(\eta_{\zeta_0}\) \(\varphi_3(\varphi_2(0))\) \(\psi(\Omega^3\times\psi(\Omega^2))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(2,1)(2,0)(3,1)(4,1)(4,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)+\psi_0(\psi_1(\psi_1(0)+\psi_1(0)))))\) \(\eta_{\eta_0}\) \(\varphi_3(\varphi_3(0))\) \(\psi(\Omega^3\times\psi(\Omega^3))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(0)+\psi_1(0)+\psi_1(0)))\) \(\varphi(4,0)\) \(\varphi_4(0)\) \(\psi(\Omega^4)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0))))\) \(\varphi(\omega,0)\) \(\varphi_\omega(0)\) \(\psi(\Omega^\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))))\) \(\varphi_{\varphi_0(\varphi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,0)(1,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0)))+\psi_0(0))\) \(\varphi(\omega,0)\times\omega\) \(\varphi_0(\varphi_\omega(0)+1)\) \(\psi(\Omega^\omega+1)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_0(0))\) \(\varphi_0(\varphi_{\varphi_0(\varphi_0(0))}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(2,1)(3,0)(1,1) \(\psi_0(\psi_1(\psi_1(\psi_0(0)))+\psi_1(0))\) \(\varepsilon_{\varphi(\omega,0)+1}\) \(\varphi_1(\varphi_\omega(0)+1)\) \(\psi(\Omega^\omega+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_{\psi_0(0)}(0))\) \(\varphi_{\varphi_0(0)}(\varphi_{\varphi_0(\varphi_0(0))}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,1)(3,0)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_0(0)))+\psi_1(\psi_1(0)))\) \(\zeta_{\varphi(\omega,0)+1}\) \(\varphi_2(\varphi_\omega(0)+1)\) \(\psi(\Omega^\omega+\Omega^2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(\varphi_0(0))}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,0)(1,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_0(0)))+\psi_1(\psi_1(0)+\psi_1(0)))\) \(\eta_{\varphi(\omega,0)+1}\) \(\varphi_3(\varphi_\omega(0)+1)\) \(\psi(\Omega^\omega+\Omega^3)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(0)+\varphi_0(0)+\varphi_0(0)}(\varphi_{\varphi_0(\varphi_0(0))}(0)+\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0)))+\psi_1(\psi_1(\psi_0(0))))\) \(\varphi(\omega,1)\) \(\varphi_\omega(1)\) \(\psi(\Omega^\omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))))\) \(\varphi_{\varphi_0(\varphi_0(0))}(\varphi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,0)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0))+\psi_0(0)))\) \(\varphi(\omega,\omega)\) \(\varphi_\omega(\omega)\) \(\psi(\Omega^\omega\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(0)))\) \(\varphi_{\varphi_0(\varphi_0(0))}(\varphi_0(\varphi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,0)(2,0)(3,1)(4,1)(5,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0))+\psi_0(\psi_1(\psi_1(\psi_0(0))))))\) \(\varphi(\omega,\varphi(\omega,0))\) \(\varphi_\omega(\varphi_\omega(0))\) \(\psi(\Omega^\omega\times\psi(\Omega^\omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))))))\) \(\varphi_{\varphi_0(\varphi_0(0))}(\varphi_{\varphi_0(\varphi_0(0))}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))))\)
(0,0)(1,1)(2,1)(3,0)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_0(0))+\psi_1(0)))\) \(\varphi(\omega+1,0)\) \(\varphi_{\omega+1}(0)\) \(\psi(\Omega^{\omega+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(0)))\) \(\varphi_{\varphi_0(\varphi_0(0))+\varphi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,0)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0))+\psi_1(\psi_0(0))))\) \(\varphi(\omega\times2,0)\) \(\varphi_{\omega+\omega}(0)\) \(\psi(\Omega^{\omega\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(\psi_0(0))))\) \(\varphi_{\varphi_0(\varphi_0(0))+\varphi_0(\varphi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,0)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_0(0)+\psi_0(0))))\) \(\varphi(\omega^2,0)\) \(\varphi_{\varphi_0(2)}(0)\) \(\psi(\Omega^{\omega^2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)+\psi_0(0))))\) \(\varphi_{\varphi_0(\varphi_0(0)+\varphi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,0)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_0(\psi_0(0)))))\) \(\varphi(\omega^\omega,0)\) \(\varphi_{\varphi_0(\omega)}(0)\) \(\psi(\Omega^{\omega^\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_0(0)))))\) \(\varphi_{\varphi_0(\varphi_0(\varphi_0(0)))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,0)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_0(\psi_1(0)))))\) \(\varphi(\varepsilon_0,0)\) \(\varphi_{\varphi_1(0)}(0)\) \(\psi(\Omega^{\psi(\Omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)))))\) \(\varphi_{\varphi_{\varphi_0(0)}(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,0)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(0))))))\) \(\varphi(\zeta_0,0)\) \(\varphi_{\varphi_2(0)}(0)\) \(\psi(\Omega^{\psi(\Omega^2)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\varphi_{\varphi_{\varphi_0(0)+\varphi_0(0)}(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0) \(\psi_0(\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_0(0)))))))\) \(\varphi(\varphi(\omega,0),0)\) \(\varphi_{\varphi_\omega(0)}(0)\) \(\psi(\Omega^{\psi(\Omega^\omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))))))\) \(\varphi_{\varphi_{\varphi_0(\varphi_0(0))}(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))))\)
(0,0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)(7,1) \(\psi_0(\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_0(\psi_1(0))))))))\) \(\varphi(\varphi(\varepsilon_0,0),0)\) \(\varphi_{\varphi_{\varphi_1(0)}(0)}(0)\) \(\psi(\Omega^{\psi(\Omega^{\psi(\Omega)})})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))))))\) \(\varphi_{\varphi_{\varphi_{\varphi_0(0)}(0)}(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))))))\)

(0,0)(1,1)(2,2) まで

BM4 Buchholz's OCF Ordinal Rathjen's OCF Extended Buchholz's OCF (Full) Rathjen's OCF (Full)
(0,0)(1,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))))\) \(\Gamma_0\) \(\psi_\Omega(0)\) \(\psi(\Omega^\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(0,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))))+\psi_0(0)\) \(\Gamma_0+1\) \(\psi_\Omega(0)+1\) \(\psi(\Omega^\Omega)+1\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))+\psi_0(0)\) \(\psi_{\chi_0(0)}(0)+\phi_0(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))+\psi_{\psi_{\Omega_2}(0)}(0)\)
(0,0)(1,1)(2,1)(3,1)(0,0)(1,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))))+\psi_0(\psi_1(\psi_1(\psi_1(0))))\) \(\Gamma_0\times2\) \(\psi_\Omega(0)+\psi_\Omega(0)\) \(\psi(\Omega^\Omega)\times2\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(0)+\psi_{\chi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(1,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_0(0))\) \(\Gamma_0\times\omega\) \(\varphi_0(\psi_\Omega(0)+1)\) \(\psi(\Omega^\Omega+1)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(0))\) \(\phi_0(\psi_{\chi_0(0)}(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(0))\)
(0,0)(1,1)(2,1)(3,1)(1,0)(2,1)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_0(\psi_1(\psi_1(\psi_1(0)))))\) \(\Gamma_0^2\) \(\varphi_0(\psi_\Omega(0)+\psi_\Omega(0)))\) \(\psi(\Omega^\Omega+\psi(\Omega^\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\phi_0(\psi_{\chi_0(0)}(0)+\psi_{\chi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(1,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(0))\) \(\varepsilon_{\Gamma_0+1}\) \(\varphi_1(\psi_\Omega(0)+1)\) \(\psi(\Omega^\Omega+\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(0))\) \(\phi_{\phi_0(0)}(\psi_{\chi_0(0)}(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(0))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(0)))\) \(\zeta_{\Gamma_0+1}\) \(\varphi_2(\psi_\Omega(0)+1)\) \(\psi(\Omega^\Omega+\Omega^2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))\) \(\phi_{\phi_0(0)+\phi_0(0)}(\psi_{\chi_0(0)}(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(0))))\) \(\varphi(\omega,\Gamma_0+1)\) \(\varphi_\omega(\psi_\Omega(0)+1)\) \(\psi(\Omega^\Omega+\Omega^\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))))\) \(\phi_{\phi_0(\phi_0(0))}(\psi_{\chi_0(0)}(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))))\) \(\varphi(\Gamma_0,1)\) \(\varphi_{\psi_\Omega(0)}(1)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))))\) \(\phi_{\psi_{\chi_0(0)}(0)}(\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0))))))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))))\) \(\varphi(\Gamma_0,2)\) \(\varphi_{\psi_\Omega(0)}(2)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))))\) \(\phi_{\psi_{\chi_0(0)}(0)}(\phi_0(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))+\psi_0(0)))\) \(\varphi(\Gamma_0,\omega)\) \(\varphi_{\psi_\Omega(0)}(\omega)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))+\psi_0(0)))\) \(\phi_{\psi_{\chi_0(0)}(0)}(\phi_0(\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(2,0)(3,1)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))+\psi_0(\psi_1(\psi_1(\psi_1(0))))))\) \(\varphi(\Gamma_0,\Gamma_0)\) \(\varphi_{\psi_\Omega(0)}(\psi_\Omega(0))\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)}\times\psi(\Omega^\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\phi_{\psi_{\chi_0(0)}(0)}(\psi_{\chi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))+\psi_1(0)))\) \(\varphi(\Gamma_0+1,0)\) \(\varphi_{\psi_\Omega(0)+1}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))+\psi_{\psi_0(0)}(0)))\) \(\phi_{\psi_{\chi_0(0)}(0)+\phi_0(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))+\psi_1(\psi_0(0))))\) \(\varphi(\Gamma_0+\omega,0)\) \(\varphi_{\psi_\Omega(0)+\omega}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)+\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))+\psi_{\psi_0(0)}(\psi_0(0))))\) \(\phi_{\psi_{\chi_0(0)}(0)+\phi_0(\phi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(2,1)(3,0)(4,1)(5,1)(6,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))+\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))))))\) \(\varphi(\Gamma_0\times2,0)\) \(\varphi_{\psi_\Omega(0)+\psi_\Omega(0)}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))))\) \(\phi_{\psi_{\chi_0(0)}(0)+\psi_{\chi_0(0)}(0)}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0))))+\psi_0(0))))\) \(\varphi(\Gamma_0\times\omega,0)\) \(\varphi_{\varphi_0(\psi_\Omega(0)+1)}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+1)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))+\psi_0(0))))\) \(\phi_{\phi_0(\psi_{\chi_0(0)}(0)+\phi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(3,0)(4,1)(5,1)(6,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0))))+\psi_0(\psi_1(\psi_1(\psi_1(0)))))))\) \(\varphi(\Gamma_0^2,0)\) \(\varphi_{\varphi_0(\psi_\Omega(0)+\psi_\Omega(0))}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\psi(\Omega^\Omega))})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))))\) \(\phi_{\phi_0(\psi_{\chi_0(0)}(0)+\psi_{\chi_0(0)}(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_0(0)))))\) \(\varphi(\Gamma_0^\omega,0)\) \(\varphi_{\varphi_0(\varphi_0(\psi_\Omega(0)+1))}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\psi(\Omega^\Omega+1))})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_0(0)))))\) \(\phi_{\phi_0(\phi_0(\psi_{\chi_0(0)}(0)+\phi_0(0)))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(0)))))\) \(\varphi(\varepsilon_{\Gamma_0+1},0)\) \(\varphi_{\varphi_1(\psi_\Omega(0)+1))}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(0)))))\) \(\phi_{\phi_{\phi_0(0)}(\psi_{\chi_0(0)}(0)+\phi_0(0)))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(0))))))\) \(\varphi(\zeta_{\Gamma_0+1},0)\) \(\varphi_{\varphi_2(\psi_\Omega(0)+1))}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^2)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\phi_{\phi_{\phi_0(0)+\phi_0(0)}(\psi_{\chi_0(0)}(0)+\phi_0(0)))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(4,1)(5,1)(6,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(0)))))))\) \(\varphi(\varphi(\omega,\Gamma_0+1),0)\) \(\varphi_{\varphi_\omega(\psi_\Omega(0)+1))}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^\omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))))))\) \(\phi_{\phi_{\phi_0(\phi_0(0))}(\psi_{\chi_0(0)}(0)+\phi_0(0)))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,0)(4,1)(5,1)(6,1)(4,1)(5,1)(6,0)(7,1)(8,1)(9,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_0(\psi_1(\psi_1(\psi_1(0))))))))))\) \(\varphi(\varphi(\Gamma_0,1),0)\) \(\varphi_{\varphi_{\psi_\Omega(0)}(1)}(0)\) \(\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega+\Omega^{\psi(\Omega^\Omega)})})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))))))\) \(\phi_{\phi_{\psi_{\chi_0(0)}(0)}(\phi_0(0))}(0)\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_1(0))))\) \(\Gamma_1\) \(\psi_\Omega(1)\) \(\psi(\Omega^\Omega\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_1(0)))+\psi_1(\psi_1(\psi_1(0))))\) \(\Gamma_2\) \(\psi_\Omega(2)\) \(\psi(\Omega^\Omega\times3)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_0(0)))\) \(\Gamma_\omega\) \(\psi_\Omega(\omega)\) \(\psi(\Omega^\Omega\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_0(\psi_1(\psi_1(\psi_1(0))))))\) \(\Gamma_\Gamma_0\) \(\psi_\Omega(\psi_\Omega(0))\) \(\psi(\Omega^\Omega\times\psi(\Omega^\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\psi_{\chi_0(0)}(\psi_{\chi_0(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)))\) \(\varphi(1,1,0)\) \(\psi_\Omega(\Omega)\) \(\psi(\Omega^{\Omega+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\chi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0))+\psi_1(\psi_1(\psi_1(0))))\) \(\Gamma_{\varphi(1,1,0)+1}\) \(\psi_\Omega(\Omega+1)\) \(\psi(\Omega^{\Omega+1}+\Omega^\Omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\chi_0(0)+\phi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0))+\psi_1(\psi_1(\psi_1(0))+\psi_0(0)))\) \(\Gamma_{\varphi(1,1,0)+\omega}\) \(\psi_\Omega(\Omega+\omega)\) \(\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\chi_0(0)+\phi_0(\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0))+\psi_1(\psi_1(\psi_1(0))+\psi_1(0)))\) \(\varphi(1,1,1)\) \(\psi_\Omega(\Omega+\Omega)\) \(\psi(\Omega^{\Omega+1}\times2)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\chi_0(0)+\chi_0(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)+\psi_0(0)))\) \(\varphi(1,1,\omega)\) \(\psi_\Omega(\varphi_0(\Omega+1))\) \(\psi(\Omega^{\Omega+1}\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\chi_0(0)+\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(2,0)(3,1)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)+\psi_0(\psi_1(\psi_1(\psi_1(0))))))\) \(\varphi(1,1,\Gamma_0)\) \(\psi_\Omega(\varphi_0(\Omega+\psi_\Omega(0)))\) \(\psi(\Omega^{\Omega+1}\times\psi(\Omega^\Omega))\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\psi_{\chi_0(0)}(\phi_0(\chi_0(0)+\psi_{\chi_0(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)+\psi_1(0)))\) \(\varphi(1,2,0)\) \(\psi_\Omega(\varphi_0(\Omega+\Omega))\) \(\psi(\Omega^{\Omega+2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\chi_0(0)+\chi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(2,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)+\psi_1(0)+\psi_0(0)))\) \(\varphi(1,2,\omega)\) \(\psi_\Omega(\varphi_0(\Omega+\Omega+1))\) \(\psi(\Omega^{\Omega+2}\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(2,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(0)+\psi_1(0)+\psi_1(0)))\) \(\varphi(1,3,0)\) \(\psi_\Omega(\varphi_0(\Omega+\Omega+\Omega))\) \(\psi(\Omega^{\Omega+3})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(0))))\) \(\varphi(1,\omega,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+1)))\) \(\psi(\Omega^{\Omega+\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(0))+\psi_0(0)))\) \(\varphi(1,\omega,\omega)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+1)+1))\) \(\psi(\Omega^{\Omega+\omega}\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0))+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))+\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(0))+\psi_1(0)))\) \(\varphi(1,\omega+1,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+1)+\Omega))\) \(\psi(\Omega^{\Omega+\omega+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))+\chi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(0))+\psi_1(\psi_0(0))))\) \(\varphi(1,\omega×2,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+1)+\varphi_0(\Omega+1)))\) \(\psi(\Omega^{\Omega+\omega\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))+\phi_0(\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(0)+\psi_0(0))))\) \(\varphi(1,\omega^2,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+2)))\) \(\psi(\Omega^{\Omega+\omega^2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0)+\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_0(0)))))\) \(\varphi(1,\omega^\omega,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\omega)))\) \(\psi(\Omega^{\Omega+\omega^\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_0(\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_0(\psi_1(0)))))\) \(\varphi(1,\varepsilon_0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\varphi_1(0))))\) \(\psi(\Omega^{\Omega+\psi(\Omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\phi_{\phi_0(0)}(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))))\) \(\varphi(2,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega)))\) \(\psi(\Omega^{\Omega\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))+\psi_0(0)))\) \(\varphi(2,0,\omega)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega)+1))\) \(\psi(\Omega^{\Omega\times2}\times\omega)\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_0(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))+\phi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))+\psi_1(0)))\) \(\varphi(2,1,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega)+\Omega))\) \(\psi(\Omega^{\Omega\times2+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))+\chi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))+\psi_1(\psi_0(0))))\) \(\varphi(2,\omega,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega)+\varphi_0(\Omega+1)))\) \(\psi(\Omega^{\Omega\times2+\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))+\phi_0(\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0))+\psi_1(\psi_1(0))+\psi_1(\psi_1(0))))\) \(\varphi(3,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega)+\varphi_0(\Omega+\Omega)))\) \(\psi(\Omega^{\Omega\times3})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))+\phi_0(\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(0))))\) \(\varphi(\omega,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+1)))\) \(\psi(\Omega^{\Omega\times\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,0)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(0))+\psi_1(\psi_1(0))))\) \(\varphi(\omega+1,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+1)+\varphi_0(\Omega+\Omega)))\) \(\psi(\Omega^{\Omega\times\omega+\Omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0))+\phi_0(\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,0)(2,1)(3,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(0))+\psi_1(\psi_1(0)+\psi_0(0))))\) \(\varphi(\omega×2,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+1)+\varphi_0(\Omega+\Omega+1)))\) \(\psi(\Omega^{\Omega\times\omega\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0))+\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,0)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(0)+\psi_0(0))))\) \(\varphi(\omega^2,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+2)))\) \(\psi(\Omega^{\Omega\times\omega^2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0)+\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,0)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(\psi_0(0)))))\) \(\varphi(\omega^\omega,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\omega)))\) \(\psi(\Omega^{\Omega\times\omega^\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(3,0)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_0(\psi_1(0)))))\) \(\varphi(\varepsilon_0,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\varphi_1(0))))\) \(\psi(\Omega^{\Omega\times\psi(\Omega)})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(\psi_{\psi_0(0)}(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_{\phi_0(0)}(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0))))\) \(\varphi(1,0,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega)))\) \(\psi(\Omega^{\Omega^2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,1)(2,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(0)))\) \(\varphi(1,0,1,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega)+\Omega))\) \(\psi(\Omega^{\Omega^2+1})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(0)))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0))+\chi_0(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0)))\)
(0,0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(\psi_1(0))))\) \(\varphi(1,1,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega)+\varphi_0(\Omega+\Omega)))\) \(\psi(\Omega^{\Omega^2+\Omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0))+\phi_0(\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0))+\psi_1(\psi_1(0)+\psi_1(0))))\) \(\varphi(2,0,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega)+\varphi_0(\Omega+\Omega+ \Omega)))\) \(\psi(\Omega^{\Omega^2\times2})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))+\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0))+\phi_0(\chi_0(0)+\chi_0(0)+ \chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,1)(3,0) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0)+\psi_0(0))))\) \(\varphi(\omega,0,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega+1)))\) \(\psi(\Omega^{\Omega^2\times\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_0(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0)+\phi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))))\)
(0,0)(1,1)(2,1)(3,1)(3,1)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(0)+\psi_1(0)+\psi_1(0))))\) \(\varphi(1,0,0,0,0)\) \(\psi_\Omega(\varphi_0(\varphi_0(\Omega+\Omega+\Omega+\Omega)))\) \(\psi(\Omega^{\Omega^3})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0)+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+1))))\) \(\psi(\Omega^{\Omega^\omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,0)(3,1) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(0))+\psi_1(0))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+1)+\Omega)))\) \(\psi(\Omega^{\Omega^{\omega+1}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(0))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))+\chi_0(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(0))))\)
(0,0)(1,1)(2,1)(3,1)(4,0)(3,1)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(0))+\psi_1(\psi_0(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+1)+\varphi_0(\Omega+1))))\) \(\psi(\Omega^{\Omega^{\omega\times2}}\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))+\psi_{\psi_0(0)}(\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))+\phi_0(\chi_0(0)+\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,0)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(0)+\psi_0(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+2))))\) \(\psi(\Omega^{\Omega^{\omega^2}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0)+\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(0)+\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,0)(5,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(\psi_0(0))))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+\omega))))\) \(\psi(\Omega^{\Omega^{\omega^\omega}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_0(0))))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(\phi_0(0))))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(4,0)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_0(\psi_1(0))))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+\varphi_1(0)))))\) \(\psi(\Omega^{\Omega^{\psi(\Omega)}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(\psi_{\psi_0(0)}(0))))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_{\phi_0(0)}(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_1(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+\Omega))))\) \(\psi(\Omega^{\Omega^\Omega})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,1)(4,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_1(0)+\psi_0(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+\Omega+1))))\) \(\psi(\Omega^{\Omega^{\Omega\times\omega}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_0(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\phi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,1)(4,1) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_1(0)+\psi_1(0)))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\Omega+\Omega+\Omega))))\) \(\psi(\Omega^{\Omega^{\Omega^2}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0)+\psi_{\psi_0(0)}(0)))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\chi_0(0)+\chi_0(0)+\chi_0(0)))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))))\)
(0,0)(1,1)(2,1)(3,1)(4,1)(5,0) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_1(\psi_0(0))))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\varphi_0(\Omega+1)))))\) \(\psi(\Omega^{\Omega^{\Omega^\omega}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_0(0))))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\phi_0(\chi_0(0)+\phi_0(0))))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))))\)
(0,0)(1,1)(2,1)(3,1)(4,1)(5,1) \(\psi_0(\psi_1(\psi_1(\psi_1(\psi_1(\psi_1(0))))))\) \(\psi_\Omega(\varphi_0(\varphi_0(\varphi_0(\varphi_0(\Omega+\Omega)))))\) \(\psi(\Omega^{\Omega^{\Omega^\Omega}})\) \(\psi_0(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(\psi_{\psi_0(0)}(0))))))\) \(\psi_{\chi_0(0)}(\phi_0(\phi_0(\phi_0(\phi_0(\chi_0(0)+\chi_0(0))))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))))\)

UNOCF の展開例を書き並べるだけ

UNOCF の展開例を書きます。

\(\Omega\)

UNOCF UNOCF
\(\psi_\Omega(\psi_\Omega(0))\) \(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots\)
\(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots\)
\(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\cdots\)
\(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots\)
\(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\cdots\)
\(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))+\cdots\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots)\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots)\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))+\cdots\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots)\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\cdots)\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(\psi_\Omega(0))))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots))\)

\(\Omega_2\)

UNOCF UNOCF
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\cdots\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0))+\cdots\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\psi_{\psi_{\Omega_2}(0)}(0)+\cdots)\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\cdots)))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\cdots)))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))+\cdots\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\cdots))))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\cdots)))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\cdots)))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\cdots)\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\cdots)))))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\cdots))))))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(0))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\cdots)))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\cdots))))))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\psi_{\Omega_2}(\psi_{\Omega_2}(0))+\cdots)\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\cdots))))))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\cdots))\)
\(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\) \(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\psi_{\Omega_2}(0)}(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\psi_{\Omega_2}(0)}(\cdots))))))))))))\)

\(\Omega_n\)

UNOCF UNOCF
\(\psi_\Omega(\psi_\Omega(0))\) \(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots\)
\(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\psi_\Omega(\psi_\Omega(0))+\cdots\)
\(\psi_\Omega(\psi_\Omega(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_\Omega(0)+\psi_\Omega(0)+\psi_\Omega(0)+\cdots)\)
\(\psi_\Omega(\psi_{\Omega_2}(0))\) \(\psi_\Omega(\psi_\Omega(\psi_\Omega(\cdots)))\)
\(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_{\Omega_2}(0))+\psi_\Omega(\psi_{\Omega_2}(0))+\psi_\Omega(\psi_{\Omega_2}(0))+\cdots\)
\(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_{\Omega_2}(0)))\) \(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_\Omega(\psi_\Omega(\cdots))))\)
\(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0))\) \(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_{\Omega_2}(0)+\cdots)))\)
\(\psi_\Omega(\psi_{\Omega_2}(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)+\cdots)\)
\(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(0)))\) \(\psi_\Omega(\psi_{\Omega_2}(\psi_\Omega(\psi_{\Omega_2}(\psi_\Omega(\psi_{\Omega_2}(\cdots))))))\)
\(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_{\Omega_2}(0)))\) \(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(0)+\cdots))))))\)
\(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(0))))\) \(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\cdots)))))))))\)
\(\psi_\Omega(\psi_{\Omega_3}(0))\) \(\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\cdots))))\)
\(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_\Omega(0))\) \(\psi_\Omega(\psi_{\Omega_3}(0))+\psi_\Omega(\psi_{\Omega_3}(0))+\psi_\Omega(\psi_{\Omega_3}(0))+\cdots\)
\(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_\Omega(\psi_{\Omega_3}(0)))\) \(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_\Omega(\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\cdots)))))\)
\(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_2}(0))\) \(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_\Omega(\psi_{\Omega_3}(0)+\psi_\Omega(\psi_{\Omega_3}(0)+\cdots)))\)
\(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_2}(\psi_{\Omega_3}(0)))\) \(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_2}(\psi_{\Omega_2}(\psi_{\Omega_2}(\cdots))))\)
\(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_3}(0))\) \(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_2}(\psi_{\Omega_3}(0)+\psi_{\Omega_2}(\psi_{\Omega_3}(0)+\cdots)))\)
\(\psi_\Omega(\psi_{\Omega_3}(\psi_\Omega(0)))\) \(\psi_\Omega(\psi_{\Omega_3}(0)+\psi_{\Omega_3}(0)+\psi_{\Omega_3}(0)+\cdots)\)
\(\psi_\Omega(\psi_{\Omega_3}(\psi_{\Omega_2}(0)))\) \(\psi_\Omega(\psi_{\Omega_3}(\psi_\Omega(\psi_{\Omega_3}(\psi_\Omega(\psi_{\Omega_3}(\cdots))))))\)
\(\psi_\Omega(\psi_{\Omega_3}(\psi_{\Omega_3}(0)))\) \(\psi_\Omega(\psi_{\Omega_3}(\psi_{\Omega_2}(\psi_{\Omega_3}(\psi_{\Omega_2}(\psi_{\Omega_3}(\cdots))))))\)
\(\psi_\Omega(\psi_{\Omega_4}(0))\) \(\psi_\Omega(\psi_{\Omega_3}(\psi_{\Omega_3}(\psi_{\Omega_3}(0))))\)

\(I\)

UNOCF UNOCF
\(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))\) \(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)+\cdots\)
\(\psi_{\psi_I(0)}(\psi_I(0))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(\cdots)))\)
\(\psi_{\psi_I(0)}(\psi_I(0)+\psi_I(0))\) \(\psi_{\psi_I(0)}(\psi_I(0)+\psi_{\psi_I(0)}(\psi_I(0)+\psi_{\psi_I(0)}(\psi_I(0)+\cdots)))\)
\(\psi_{\psi_I(0)}(\psi_I(0)+\psi_I(0))\) \(\psi_{\psi_I(0)}(\psi_I(0)+\psi_{\psi_I(0)}(\psi_I(0)+\psi_{\psi_I(0)}(\psi_I(0)+\cdots)))\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_I(0)+\psi_I(0)+\psi_I(0)+\cdots)\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(0)))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\cdots))))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\cdots))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_I(0))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\cdots)))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_I(\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_I(\psi_{\psi_I(0)}(0))+\cdots)))\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0))+\psi_I(\psi_{\psi_I(0)}(0))+\psi_I(\psi_{\psi_I(0)}(0))+\cdots)\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_I(0)))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\cdots))))))\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_I(\psi_{\psi_I(0)}(0))))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))}(\cdots))))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0))}(\cdots))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)+\psi_{\psi_I(0)}(0)+\cdots))\)
\(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0)))+\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0)))+\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0)))+\cdots)\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(0)))\) \(\psi_{\psi_I(0)}(\psi_{\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(0))}(\psi_{\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(0))+\psi_{\psi_I(0)}(0))}(\cdots))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_I(0))))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(\psi_{\psi_I(0)}(\cdots)))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_I(0)))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(0)}(\psi_I(\cdots))))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_I(\psi_{\psi_I(0)}(0))))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_I(\psi_{\psi_I(\psi_{\psi_I(0)}(0))}(\psi_I(\cdots))))))\)
\(\psi_{\psi_I(0)}(\psi_I(\psi_I(\psi_I(0))))\) \(\psi_{\psi_I(0)}(\psi_I(\psi_I(\psi_{\psi_I(0)}(\psi_I(\psi_I(\psi_{\psi_I(0)}(\psi_I(\psi_I(\cdots)))))))))\)

\(\Omega_{I+1}\)

UNOCF UNOCF
Advertisement