567
ページ

# バシク行列の解析

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

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

## (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)))))))))$$

UNOCF UNOCF