查看“︁BHM分析Part2：FSO~ψ(Ω 2^Ω)”︁的源代码

本条目展示[[BHM]]分析的第二部分。使用<math>veblen</math>函数和<math>MOCF</math>。

<nowiki>\begin{align} s\\& (0,0)(1,1)(0,0)=\varphi(1,0,0)+1\\&(0,0)(1,1)(0,0)(0,0)(1,1)=\varphi(1,0,0)\times2\\&(0,0)(1,1)(0,0)(1,0)=\omega^{\varphi(1,0,0)+1}\\&(0,0)(1,1)(0,0)(1,0)(1,0)=\omega^{\omega^{\varphi(1,0,0)+1}}\\&(0,0)(1,1)(0,0)(1,0)(2,0)=\varphi(1,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(0,0)(1,1)=\varphi(1,\varphi(1,0,0)\times2)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(1,0)(1,0)(2,0)=\varphi(1,\varphi(1,\varphi(1,0,0)+1))\\&(0,0)(1,1)(0,0)(1,0)(2,0)(1,0)(2,0)=\varphi(2,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(2,0)=\varphi(\omega,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(2,0)(1,0)(2,0)=\varphi(\omega+1,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(2,0)(1,0)(2,0)(2,0)=\varphi(\omega^2,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(2,0)(2,0)=\varphi(\omega^\omega,\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(3,0)=\varphi(\varphi(1,0),\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(3,0)(4,0)=\varphi(\varphi(\varphi(1,0),0),\varphi(1,0,0)+1)\\&(0,0)(1,1)(0,0)(1,0)(2,0)(3,0)(4,0)(5,0)=\varphi(\varphi(\varphi(\varphi(1,0),0),0),\varphi(1,0,0)+1)\\&\Large\color{#746542}{(0,0)(1,1)(0,0)(1,1)=\varphi(\varphi(1,0,0),1)}\\&(0,0)(1,1)(0,0)(1,1)(0,0)(1,1)=\varphi(\varphi(1,0,0),2)\\&(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega)\\&(0,0)(1,1)(1,0)(0,0)(1,1)=\varphi(\varphi(1,0,0),\omega+1)\\&(0,0)(1,1)(1,0)(0,0)(1,1)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega\times2)\\&(0,0)(1,1)(1,0)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega^2)\\&(0,0)(1,1)(1,0)(1,0)=\varphi(\varphi(1,0,0),\omega^\omega)\\&(0,0)(1,1)(1,0)(1,0)(1,0)=\varphi(\varphi(1,0,0),\omega^{\omega^\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(2,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\omega,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,0)(4,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(\varphi(1,0),0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(1,0,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)=\varphi(\varphi(1,0,0),\varphi(1,0,0)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(0,0)(1,1)=\varphi(\varphi(1,0,0),\varphi(1,0,0)+2)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\varphi(1,0,0)+\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(1,0,0)\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega^{\varphi(1,0,0)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(1,\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(2,\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\omega,\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0),\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega^\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\omega,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),1)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0)+1,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0)+1,0)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0)+1,0)\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega^{\varphi(\varphi(1,0,0)+1,0)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(1,\varphi(\varphi(1,0,0)+1,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0)+1,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0)+1,0)\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,\varphi(\varphi(1,0,0)+1,0)+1)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0)+1,0)+1)))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0)+1,1)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)=\varphi(\varphi(1,0,0)+1,\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,0)+1,\varphi(1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0)+1,\varphi(1,0,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0)+1,\varphi(\varphi(1,0,0)+1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)=\varphi(\varphi(1,0,0)+2,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(2,0)=\varphi(\varphi(1,0,0)+\omega,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,0)=\varphi(\varphi(1,0,0)+\varphi(1,0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0)\times2,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0)\times3,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)=\varphi(\omega^{\varphi(1,0,0)+1},0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,0)=\varphi(\varphi(1,\varphi(1,0,0)+1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(\varphi(1,0,0),1)+1,0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)=\varphi(\omega^{\varphi(\varphi(1,0,0),1)+1},0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)(1,0)(2,0)(3,0)=\varphi(\varphi(1,\varphi(\varphi(1,0,0),1)+1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),2),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)=\varphi(\varphi(\varphi(1,0,0),\omega),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(1,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),\omega+1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)(2,0)=\varphi(\varphi(\varphi(1,0,0),\omega\times2),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)=\varphi(\varphi(\varphi(1,0,0),\omega^\omega),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,0)=\varphi(\varphi(\varphi(1,0,0),\varphi(1,0)),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),\varphi(1,0,0)),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),\varphi(1,0,0)+1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(1,0)(2,0)(3,1)(2,0)=\varphi(\varphi(\varphi(1,0,0),\omega^{\varphi(1,0,0)+1}),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(1,0)(2,0)(3,1)(2,0)(2,0)(3,0)=\varphi(\varphi(\varphi(1,0,0),\varphi(1,\varphi(1,0,0)+1)),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),1)),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(2,0)=\varphi(\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega)),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(2,0)(3,1)(2,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,0))),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,0)=\varphi(\varphi(\varphi(1,0,0)+1,0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,0)(2,0)(3,0)=\varphi(\varphi(\varphi(1,0,0)+2,0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0)\times2,0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,0)(3,0)=\varphi(\varphi(\omega^{\varphi(1,0,0)+1},0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,0)(4,0)=\varphi(\varphi(\varphi(1,\varphi(1,0,0)+1),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,1)=\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)=\varphi(\varphi(\varphi(\varphi(1,0,0),\omega),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)=\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(1,0)),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)=\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(1,0,0)),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(2,0)(3,1)=\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(1,0,0)+1),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)=\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),1)),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)=\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega)),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)(4,0)=\varphi(\varphi(\varphi(\varphi(1,0,0)+1,0),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)(4,0)(5,0)=\varphi(\varphi(\varphi(\varphi(1,\varphi(1,0,0)+1),0),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)(4,0)(5,1)=\varphi(\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(4,0)(5,1)=\varphi(\varphi(\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),0),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,1)=\varphi(1,0,1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)=\varphi(\varphi(1,0,0),\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)=\varphi(\varphi(1,0,0),\omega^{\varphi(1,0,1)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,1)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,1)+2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,1)+\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,1)\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega^{\varphi(1,0,1)+1}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,1)(3,1)=\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,1)+1)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,0)+1,\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,0)\times2,\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(\varphi(\varphi(1,0,0),1),\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,1)=\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(0,0)(1,1)(1,0)(1,0)(2,1)=\varphi(\varphi(1,0,1),1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)=\varphi(\varphi(1,0,1),\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,1),\varphi(1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(1,0,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,0),1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(1,0)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,0),\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,0),\varphi(1,0,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,0)+1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,0)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,\varphi(1,0,0)+1),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(\varphi(1,0,0),1),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)=\varphi(\varphi(1,0,1),\varphi(\varphi(\varphi(\varphi(1,0,0),\omega),0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(\varphi(\varphi(1,0,0),\varphi(1,0,0)),0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)(4,0)(5,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(\varphi(\varphi(\varphi(1,0,0),1),0),0),0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)=\varphi(\varphi(1,0,1),\varphi(1,0,1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(0,0)(1,1)(1,0)(1,0)(2,1)=\varphi(\varphi(1,0,1),\varphi(1,0,1)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)=\varphi(\varphi(1,0,1),\varphi(1,\varphi(1,0,1)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,0),\varphi(1,0,1)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1))(3,0)(3,0)(4,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,1),1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(1,0)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,1),\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)=\varphi(\varphi(1,0,1),\varphi(\varphi(1,0,1),\varphi(1,0,1)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(1,0)(2,0)=\varphi(\varphi(1,0,1)+1,0)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)=\varphi(\varphi(\varphi(1,0,1),1),0)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(2,0)(3,1)(3,0)(3,0)(4,1)=\varphi(\varphi(\varphi(\varphi(1,0,1),1),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(3,0)(4,0)(5,1)(5,0)(5,0)(6,1)(3,0)(4,0)(5,1)(5,0)(5,0)(6,1)=\varphi(\varphi(\varphi(\varphi(\varphi(1,0,1),1),0),0),0)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,1)=\varphi(1,0,2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(1,0)(2,1)=\varphi(1,0,3)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)=\varphi(1,0,\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(1,0)(2,1)=\varphi(1,0,\omega+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)=\varphi(1,0,\omega\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)=\varphi(1,0,\omega^2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(1,0)(2,0)=\varphi(1,0,\omega^3)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(2,0)=\varphi(1,0,\omega^\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,0)=\varphi(1,0,\varphi(1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\varphi(1,0,\varphi(1,0,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)=\varphi(1,0,\omega^{\varphi(1,0,0)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\varphi(1,0,\omega^{\varphi(1,0,0)\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)=\varphi(1,0,\omega^{\omega^{\varphi(1,0,0)+1}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)=\varphi(1,0,\omega^{\omega^{\varphi(1,0,0)+1}\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)(1,0)(2,0)(2,0)=\varphi(1,0,\omega^{\omega^{\varphi(1,0,0)+2}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(2,0)(1,0)(2,0)(3,1)=\varphi(1,0,\omega^{\omega^{\varphi(1,0,0)\times2}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,0)=\varphi(1,0,\varphi(1,\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,0)(2,0)(3,1)=\varphi(1,0,\varphi(2,\varphi(1,0,0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(1,0)(2,0)(3,1)=\varphi(1,0,\varphi(\varphi(1,0,0),1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(2,0)=\varphi(1,0,\varphi(\varphi(1,0,0),\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(2,0)(3,0)=\varphi(1,0,\varphi(\varphi(1,0,0),\varphi(1,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(2,0)(3,1)=\varphi(1,0,\varphi(\varphi(1,0,0),\varphi(1,0,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(2,0)(3,1)(2,0)(3,1)=\varphi(1,0,\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),1)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)=\varphi(1,0,\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)=\varphi(1,0,\varphi(\varphi(1,0,0),\varphi(\varphi(1,0,0),\varphi(1,0,0))))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,0)(5,1)(3,0)(4,0)=\varphi(1,0,\varphi(\varphi(1,0,0)+1,0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)=\varphi(1,0,\varphi(1,0,1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(3,0)(4,1)=\varphi(1,0,\varphi(1,0,2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)=\varphi(1,0,\varphi(1,0,\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(3,0)(4,0)(5,1)=\varphi(1,0,\varphi(1,0,\varphi(1,0,0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\varphi(1,1,0)\\&OCF，启动！\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(2,0)(3,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega}+\Omega^{\psi(\Omega^\Omega)}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega}\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(3,0)(4,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega+1}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(3,0)(4,1)(3,0)(3,0)(4,1)=\psi(\Omega^{\Omega+1}+\Omega^\Omega\times\psi(\Omega^{\Omega+1}+\Omega^\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+1}\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+1}\times3)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)=\psi(\Omega^{\Omega+1}\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+1}\times\omega+\Omega^{\Omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)=\psi(\Omega^{\Omega+1}\times\omega\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)=\psi(\Omega^{\Omega+1}\times\omega^2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,0)=\psi(\Omega^{\Omega+1}\times\psi(0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)=\psi(\Omega^{\Omega+1}\times\psi(\Omega^\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(3,0)(4,1)=\psi(\Omega^{\Omega+1}\times\psi(\Omega^{\Omega+1}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)=\psi(\Omega^{\Omega+2}+\Omega^\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+2}+\Omega^{\Omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+2}\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+3})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega+\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(1,0)(2,1)=\psi(\Omega^{\Omega+\omega}+\Omega^\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+\omega}+\Omega^{\Omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega+\omega}\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)=\psi(\Omega^{\Omega+\omega}\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega+\omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega+\omega\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega+\omega^2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(3,0)=\psi(\Omega^{\Omega+\psi(0)})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(3,1)=\psi(\Omega^{\Omega+\psi(\Omega^\Omega)})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(4,0)=\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega\times2}\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)=\psi(\Omega^{\Omega\times2}\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega\times2+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega\times2+\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega\times3})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega\times\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega\times\omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega\times\omega+\Omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega\times\omega\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega\times\omega^2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^2+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^2+\Omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^2\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)=\psi(\Omega^{\Omega^2\times\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^3})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)=\psi(\Omega^{\Omega^\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^\Omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^{\Omega^2}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(2,0)=\psi(\Omega^{\Omega^{\Omega^\omega}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^{\Omega^\Omega}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\psi_1(0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(0,0)=\psi(\psi_1(0))+1\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(0,0)(1,0)(2,0)=\psi(\psi_1(0)+1)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(0,0)(1,0)(2,0)(1,0)(2,0)=\psi(\psi_1(0)+\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(0,0)(1,0)(2,0)(2,0)=\psi(\psi_1(0)+\Omega^\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(0,0)(1,1)=\psi(\psi_1(0)+\Omega^{\psi(\psi_1(0))})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)=\psi(\psi_1(0)+\Omega^\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(1,0)(2,1)=\psi(\psi_1(0)+\Omega^\Omega\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)=\psi(\psi_1(0)+\Omega^\Omega\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\psi_1(0)+\Omega^{\Omega+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\psi_1(0)+\Omega^{\Omega\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\psi_1(0)+\Omega^{\Omega^\Omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\psi_1(0)\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\psi_1(0)\times3)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)=\psi(\psi_1(0)\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)=\psi(\psi_1(0)\times\omega\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,0)=\psi(\psi_1(0)\times\omega^2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\psi_1(0)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\psi_1(0)+2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\psi_1(0)+\Omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\Omega^{\psi_1(0)\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(2,0)=\psi(\Omega^{\psi_1(0)\times\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^{\psi_1(0)+1}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega^{\Omega^{\Omega^{\psi_1(0)+1}}})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)=\psi(\psi_1(1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)=\psi(\psi_1(2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(1,0)(2,0)(3,0)=\psi(\psi_1(\omega+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\omega\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(1,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\omega^2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(2,0)=\psi(\psi_1(\omega^\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\psi_1(\psi(0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\psi_1(\psi(\Omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,1)=\psi(\psi_1(\psi(\Omega^\Omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(5,0)=\psi(\psi_1(\psi(\psi_1(0))))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)=\psi(\psi_1(\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\psi_1(\Omega+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\Omega+\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)=\psi(\psi_1(\Omega\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\Omega\times\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\Omega^2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\Omega^3))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)=\psi(\psi_1(\Omega^\omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\Omega^\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\Omega^{\Omega^\Omega}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\psi_1(\psi_1(0)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(1,0)(2,0)(3,0)=\psi(\psi_1(\psi_1(0)+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(1,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\psi_1(\psi_1(0)\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\psi_1(\psi_1(1)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)=\psi(\psi_1(\psi_1(\omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\psi_1(\Omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\psi_1(\Omega^\Omega)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\psi_1(\psi_1(\psi_1(0))))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\psi_1(\psi_1(\psi_1(\Omega))))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(1,0)(2,1)=\psi(\Omega_2+\Omega^\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\Omega_2+\psi_1(0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2+\psi_1(\Omega_2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)=\psi(\Omega_2+\psi_1(\Omega_2)\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)=\psi(\Omega_2+\Omega^{\psi_1(\Omega_2)+1})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2+\Omega^{\psi_1(\Omega_2)\times2})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)=\psi(\Omega_2+\psi_1(\Omega_2+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(1,0)(2,1)=\psi(\Omega_2+\psi_1(\Omega_2+\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(1,0)(2,1)(1,0)(2,0)(3,0)(1,0)(2,1)=\psi(\Omega_2+\psi_1(\Omega_2+\Omega\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\Omega_2+\psi_1(\Omega_2+\Omega^{\psi_1(\Omega_2)+1}))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+1)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)=\psi(\Omega_2\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\Omega_2\times\Omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)=\psi(\Omega_2\times\Omega+\psi_1(\Omega_2\times\Omega))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(2,0)=\psi(\Omega_2\times\Omega+\psi_1(\Omega_2\times\Omega)\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)=\psi(\Omega_2\times\Omega+\psi_1(\Omega_2\times\Omega+1))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2\times\Omega+\Omega_2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,1)=\psi(\Omega_2\times\Omega\times2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)=\psi(\Omega_2\times\Omega\times\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(1,0)(2,1)=\psi(\Omega_2\times\Omega^2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)=\psi(\Omega_2\times\psi_1(0))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2\times\psi_1(\Omega_2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(3,0)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2\times\psi_1(\Omega_2\times2))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(3,0)(2,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2\times\psi_1(\Omega_2\times\psi_1(\Omega_2)))\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2^2)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(2,0)(3,0)(2,0)(3,0)(2,0)(3,0)=\psi(\Omega_2^3)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(3,0)=\psi(\Omega_2^\omega)\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(3,0)(3,0)=\psi(\Omega_2^{\omega^\omega})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,0)(4,0)=\psi(\Omega_2^{\psi(0)})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,1)=\psi(\Omega_2^{\psi(\Omega^\Omega)})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(5,0)=\psi(\Omega_2^{\psi(\psi_1(0))})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(5,0)(4,0)(5,0)=\psi(\Omega_2^{\psi(\Omega_2)})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,0)(3,1)(3,0)(3,0)(4,1)(3,0)(4,0)(5,1)(5,0)(5,0)(6,1)(5,0)(6,0)(7,0)(6,0)(7,0)=\psi(\Omega_2^{\psi(\Omega_2^{\psi(\Omega_2)})})\\&(0,0)(1,1)(1,0)(1,0)(2,1)(1,0)(2,1)=\psi(\Omega_2^\Omega)\end{align}</nowiki>
[[分类:分析]]