打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

SGH与FGH对照

来自Googology Wiki

本条目展示 SGHFGH 的对照,使用 Veblen 函数MOCF。本条目分析来自梅天狸。

Part 1

  • gε0×2(n)=gε0+ε0[n](n)=(nn)×2
  • gε0×ω(n)=gε0×n(n)=(nn)×n
  • gε0×ω2(n)=gε0×ω×n(n)=(nn)×n2
  • gε0×ωω(n)=gε0×ωn(n)=(nn)×nn
  • gε0×ωωω(n)=(nn)×(n3)
  • gε02(n)=gε0×ε0[n](n)=(nn)2
  • gε03(n)=(nn)3
  • gε0ω(n)=gε0n(n)=(nn)n
  • gε0ωω(n)=(nn)nn
  • gε0ε0(n)=(nn)nn=(nn)2
  • gε0ε0ε0(n)=(nn)3
  • gε1(n)=(nn)nn(n×2)
  • gε2(n)=((nn)n)nn(n×3)
  • n(n×3)ε2
  • n(n×3+1)ε2ε2
  • n(n×3+2)ε2ε2ε2
  • n(n×4)ε3
  • n(n×5)ε4
  • n(n2)εω
  • n(n2+1)εωεω
  • n(n2+n)εω+1
  • n(n2×2)εω×2
  • n(n3)εω2
  • n(nn)=nn2εωω
  • n(nn+n)εωω+1
  • n(nn+1)εωω+1
  • n(nn2)εωω2
  • nn3εωωω
  • nnn=n3εε0
  • n(nn+n)εε0+1
  • n((nn)×2)εε0×2
  • n((nn)2)nn(n+1)εε0ε0
  • nn(n×2)εε1
  • nn(n2)εεω
  • nnnn=n4εεε0
  • nnζ0
  • (nn)nεζ0+1
  • (nn)(n×2)εζ0+2
  • (nn)(nn)εζ0+ε0
  • (nn)(nn)n(n+1)εζ0×2
  • (nn)(nn)nεεζ0+1
  • (nn)(nn)(nn)εεζ0×2
  • (nn)nn(n×2)ζ1
  • (n(n×2))nεζ1+1
  • (n(n×2))(nn)εζ1+ζ0
  • (n(n×2))(n(n×2))εζ1×2
  • (n(n×2))nn(n×3)ζ2
  • n(n2)ζω
  • n(nn)ζωω
  • n(nn)ζε0
  • nnnζζ0
  • nnη0
  • (nn)nζη0+1
  • n(n×2)η1
  • n53ηη0
  • n5nφ(4,0)
  • n5(n×2)φ(4,1)
  • n6nφ(5,0)
  • nnnφ(ω,0)

Part 2

  • f3(fω(n))(nnn)nψ(Ωω+1)
  • f32(fω(n))(nnn)(n×2)ψ(Ωω+2)
  • f3n(fω(n))(nnn)(n2)ψ(Ωω+ω)
  • f3f3(n)(fω(n))(nnn)(nn)ψ(Ωω+ψ(0))
  • f4(fω(n))=f3fω(n)(fω(n))(nnn)2ψ(Ωω+ψ(Ωω))
  • f3(f4(fω(n)))((nnn)2)nψ(Ωω+ψ(Ωω)+1)
  • f3fω(n)(f4(fω(n)))((nnn)2)(nnn)ψ(Ωω+ψ(Ωω)×2)
  • f3fω(n)×2(f4(fω(n)))ψ(Ωω+ψ(Ωω)×3)
  • f3f3(fω(n))(f4(fω(n)))ψ(Ωω+ψ(Ωω+1))
  • f3f32(fω(n))(f4(fω(n)))ψ(Ωω+ψ(Ωω+2))
  • f42(fω(n))=f3f3fω(n)(fω(n))(f4(fω(n)))ψ(Ωω+ψ(Ωω+ψ(Ωω)))
  • f3(f42(fω(n)))ψ(Ωω+ψ(Ωω+ψ(Ωω))+1)
  • f3f4(fω(n))(f42(fω(n)))ψ(Ωω+ψ(Ωω+ψ(Ωω))×2)
  • f3f3(f4(fω(n)))(f42(fω(n)))ψ(Ωω+ψ(Ωω+ψ(Ωω)+1))
  • f3f3fω(n)(f4(fω(n)))(f42(fω(n)))ψ(Ωω+ψ(Ωω+ψ(Ωω)×2))
  • f43(fω(n))ψ(Ωω+ψ(Ωω+ψ(Ωω+ψ(Ωω))))
  • f4n(fω(n))(nnn)nψ(Ωω+Ω)
  • f4n+1(fω(n))ψ(Ωω+Ω+ψ(Ωω+Ω))
  • f4n+2(fω(n))ψ(Ωω+Ω+ψ(Ωω+Ω+ψ(Ωω+Ω)))
  • f4n×2(fω(n))ψ(Ωω+Ω×2)
  • f4n2(fω(n))ψ(Ωω+Ω×ω)
  • f4f3(n)(fω(n))ψ(Ωω+Ω×ψ(0))
  • f5(fω(n))=f4fω(n)(fω(n))ψ(Ωω+Ω×ψ(Ωω))
  • f3(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)+1)
  • f3fω(n)(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)+ψ(Ωω))
  • f4(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)+ψ(Ωω+Ω×ψ(Ωω)))
  • f4n(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)+Ω)
  • f4fω(n)(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)×2)
  • f4fω(n)×2(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω)×3)
  • f4f3(fω(n))(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω+1))
  • f4f4(fω(n))(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω+Ω))
  • f52(fω(n))=f4f5(fω(n))(f5(fω(n)))ψ(Ωω+Ω×ψ(Ωω+Ω×ψ(Ωω)))
  • f5n(fω(n))(nnn)nψ(Ωω+Ω2)
  • f5n×2(fω(n))ψ(Ωω+Ω2×2)
  • f6(fω(n))ψ(Ωω+Ω2×ψ(Ωω))
  • f6n(fω(n))ψ(Ωω+Ω3)
  • f7n(fω(n))ψ(Ωω+Ω4)
  • fn(fω(n))(nnn)nnnn(2n)ψ(Ωω×2)
  • fn2(fω(n))nn(3n)ψ(Ωω×3)
  • fnn(fω(n))nn(n2)ψ(Ωω×ω)
  • fnf3(n)(fω(n))nnnnψ(Ωω×ψ(0))
  • fn+1(fω(n))=fnfω(n)(fω(n))nnnnnψ(Ωω×ψ(Ωω))
  • fn(fn+1(fω(n)))ψ(Ωω×ψ(Ωω)+Ωω)
  • fnfω(n)(fn+1(fω(n)))ψ(Ωω×ψ(Ωω)×2)
  • fnf3(fω(n))(fn+1(fω(n)))ψ(Ωω×ψ(Ωω+1))
  • fnfn(fω(n))(fn+1(fω(n)))ψ(Ωω×ψ(Ωω×2))
  • fn+12(fω(n))nnnnnnnψ(Ωω×ψ(Ωω×ψ(Ωω)))
  • fn+1n(fω(n))nn+1nψ(Ωω+1)
  • fn(fn+1n(fω(n)))ψ(Ωω+1+Ωω)
  • fn+1n+1(fω(n))=fnfn+1n(fω(n))(fn+1n(fω(n)))ψ(Ωω+1+Ωω×ψ(Ωω+1))
  • fn+1n×2(fω(n))nn+1(2n)ψ(Ωω+1×2)
  • fn+2(fω(n))ψ(Ωω+1×ψ(Ωω))
  • fn(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω)+Ωω)
  • fnfn+1n(fω(n))(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω)+Ωω×ψ(Ωω+1))
  • fn+1(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω)+Ωω×ψ(Ωω+1×ψ(Ωω)))
  • fn+1n(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω)+Ωω+1)
  • fn+1fω(n)(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω)×2)
  • fn+1fn+1(fω(n))(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω×ψ(Ωω)))
  • fn+1fn+1n(fω(n))(fn+2(fω(n)))ψ(Ωω+1×ψ(Ωω+1))
  • fn+22(fω(n))ψ(Ωω+1×ψ(Ωω+1×ψ(Ωω)))
  • fn+2n(fω(n))ψ(Ωω+2)
  • fn+2n+1(fω(n))ψ(Ωω+2+Ωω+1×ψ(Ωω))
  • fn+2n×2(fω(n))ψ(Ωω+2×2)
  • fn+3(fω(n))ψ(Ωω+2×ψ(Ωω))
  • fn+32(fω(n))ψ(Ωω+2×ψ(Ωω+2×ψ(Ωω)))
  • fn+3n(fω(n))ψ(Ωω+3)
  • fn×2(fω(n))ψ(Ωω×2)
  • fn×2+1(fω(n))ψ(Ωω×2×ψ(Ωω))
  • fn×2+1n(fω(n))ψ(Ωω×2+1)
  • fn×3(fω(n))ψ(Ωω×3)
  • fn2(fω(n))ψ(Ωω2)
  • ff3(n)(fω(n))nnnnψ(Ωψ(0))
  • ff4(n)(fω(n))nnnnψ(Ωψ(Ω))
  • fω2(n)=ffω(n)(fω(n))nnnnnψ(Ωψ(Ωω))
  • fn(fω2(n))ψ(Ωψ(Ωω)+Ωω)
  • fn+1n(fω2(n))ψ(Ωψ(Ωω)+Ωω+1)
  • ffω(n)(fω2(n))ψ(Ωψ(Ωω)×2)
  • ffω(n)n(fω2(n))ψ(Ωψ(Ωω)×ω)
  • ffω(n)+1(fω2(n))ψ(Ωψ(Ωω)×ψ(Ωψ(Ωω)))
  • ffω(n)+1n(fω2(n))ψ(Ωψ(Ωω)+1)
  • ffω(n)+n(fω2(n))ψ(Ωψ(Ωω)+ω)
  • ffω(n)×2(fω2(n))ψ(Ωψ(Ωω)×2)
  • ff3(fω(n))(fω2(n))ψ(Ωψ(Ωω+1))
  • ffn+1n(fω(n))(fω2(n))ψ(Ωψ(Ωω+1))
  • fω3(n)=fffω(n)(fω(n))(fω2(n))ψ(Ωψ(Ωψ(Ωω)))
  • fω+1(n)=fωn(n)ψ(ΩΩ)=φ(1,0,0)

Part 3

  • f3(fω+1(n))ψ(ΩΩ+1)
  • f4(fω+1(n))=f3fω+1(n)(fω+1(n))ψ(ΩΩ+ψ(ΩΩ))
  • f4n(fω+1(n))ψ(ΩΩ+Ω)
  • f5n(fω+1(n))ψ(ΩΩ+Ω2)
  • fn(fω+1(n))ψ(ΩΩ+Ωω)
  • fn+1n(fω+1(n))ψ(ΩΩ+Ωω+1)
  • ff3(n)(fω+1(n))ψ(ΩΩ+Ωψ(0))
  • ffω(n)(fω+1(n))ψ(ΩΩ+Ωψ(Ωω))
  • fω(fω+1(n))=ffω+1(n)(fω+1(n))ψ(ΩΩ+Ωψ(ΩΩ))=φ(φ(1,0,0),1)
  • ffω+1(n)(fω(fω+1(n)))ψ(ΩΩ+Ωψ(ΩΩ)×2)
  • ffω+1(n)+1n(fω(fω+1(n)))ψ(ΩΩ+Ωψ(ΩΩ)+1)
  • ff3(fω+1(n))(fω(fω+1(n)))ψ(ΩΩ+Ωψ(ΩΩ+1))
  • ffn(fω+1(n))(fω(fω+1(n)))ψ(ΩΩ+Ωψ(ΩΩ+Ωω))
  • fω2(fω+1(n))=ffω(fω+1(n))(fω(fω+1(n)))ψ(ΩΩ+Ωψ(ΩΩ+Ωψ(ΩΩ)))
  • fωn(fω+1(n))ψ(ΩΩ×2)=φ(1,0,1)
  • fωn×2(fω+1(n))ψ(ΩΩ×3)
  • fω+12(n)=fωfω+1(n)(fω+1(n))ψ(ΩΩ×ψ(ΩΩ))
  • fωn(fω+12(n))ψ(ΩΩ×ψ(ΩΩ)+ΩΩ)
  • fωfω+1(n)(fω+12(n))ψ(ΩΩ×ψ(ΩΩ)×2)
  • fωfn(fω+1(n))(fω+12(n))ψ(ΩΩ×ψ(ΩΩ+Ωω))
  • fωfω(fω+1(n))(fω+12(n))ψ(ΩΩ×ψ(ΩΩ+Ωψ(ΩΩ)))
  • fωfωn(fω+1(n))(fω+12(n))ψ(ΩΩ×ψ(ΩΩ×2))
  • fω+13(n)ψ(ΩΩ×ψ(ΩΩ×ψ(ΩΩ)))
  • fω+2(n)=fω+1n(n)ψ(ΩΩ+1)=φ(1,1,0)
  • fω(fω+2(n))ψ(ΩΩ+1+Ωψ(ΩΩ+1))
  • fωn(fω+2(n))ψ(ΩΩ+1+ΩΩ)
  • fωn×2(fω+2(n))ψ(ΩΩ+1+ΩΩ×2)
  • fω+1(fω+2(n))=fωfω+2(n)(fω+2(n))ψ(ΩΩ+1+ΩΩ×ψ(ΩΩ+1))
  • fωfω+2(n)(fω+1(fω+2(n)))ψ(ΩΩ+1+ΩΩ×ψ(ΩΩ+1)×2)
  • fωfωn(fω+2(n))(fω+1(fω+2(n)))ψ(ΩΩ+1+ΩΩ×ψ(ΩΩ+1+ΩΩ))
  • fω+12(fω+2(n))ψ(ΩΩ+1+ΩΩ×ψ(ΩΩ+1+ΩΩ×ψ(ΩΩ+1)))
  • fω+1n(fω+2(n))ψ(ΩΩ+1×2)
  • fω+22(n)ψ(ΩΩ+1×ψ(ΩΩ+1))
  • fω+3(n)=fω+2n(n)ψ(ΩΩ+2)
  • fω+4(n)ψ(ΩΩ+3)
  • fω×2(n)=fω+n(n)ψ(ΩΩ+ω)
  • fω(fω×2(n))ψ(ΩΩ+ω+Ωψ(ΩΩ+ω))
  • fωn(fω×2(n))ψ(ΩΩ+ω+ΩΩ)
  • fω+1(fω×2(n))ψ(ΩΩ+ω+ΩΩ×ψ(ΩΩ+ω))
  • fω+1n(fω×2(n))ψ(ΩΩ+ω+ΩΩ+1)
  • fω+2n(fω×2(n))ψ(ΩΩ+ω+ΩΩ+2)
  • fω+n(fω×2(n))ψ(ΩΩ+ω×2)
  • fω+n+1(fω×2(n))ψ(ΩΩ+ω×ψ(ΩΩ+ω))
  • fω+n+1n(fω×2(n))ψ(ΩΩ+ω+1)
  • fω+n×2(fω×2(n))ψ(ΩΩ+ω×2)
  • fω+fω+1(n)(fω×2(n))ψ(ΩΩ+ψ(ΩΩ))
  • fω+fω+2(n)(fω×2(n))ψ(ΩΩ+ψ(ΩΩ+1))
  • fω×22(n)=fω+fω+n(n)(fω×2(n))ψ(ΩΩ+ψ(ΩΩ+ω))
  • fω×23(n)ψ(ΩΩ+ψ(ΩΩ+ψ(ΩΩ+ω)))
  • fω×2+1(n)ψ(ΩΩ×2)
  • fωn(fω×2+1(n))ψ(ΩΩ×2+ΩΩ)
  • fω×2n(fω×2+1(n))ψ(ΩΩ×2×2)
  • fω×2+12(n)ψ(ΩΩ×2×ψ(ΩΩ×2))
  • fω×2+2(n)ψ(ΩΩ×2+1)
  • fω×3(n)ψ(ΩΩ×2+ω)
  • fω×32(n)ψ(ΩΩ×2+ψ(ΩΩ×2+ω))
  • fω×3+1(n)ψ(ΩΩ×3)
  • fω×4(n)ψ(ΩΩ×3+ω)
  • fω×4+1(n)ψ(ΩΩ×4)
  • fω2(n)ψ(ΩΩ×ω)=φ(ω,0,0)
  • fωn(fω2(n))ψ(ΩΩ×ω+ΩΩ)
  • fω×2n(fω2(n))ψ(ΩΩ×ω+ΩΩ×2)
  • fω×n(fω2(n))ψ(ΩΩ×ω×2)
  • fω×n+1(fω2(n))ψ(ΩΩ×ω×ψ(ΩΩ×ω))
  • fω×n+1n(fω2(n))ψ(ΩΩ×ω+1)
  • fω×n+2n(fω2(n))ψ(ΩΩ×ω+2)
  • fω×n+n(fω2(n))ψ(ΩΩ×ω+ω)
  • fω×n+fω2(n)(fω2(n))ψ(ΩΩ×ω+ψ(ΩΩ×ω))
  • fω×n+ω(fω2(n))ψ(ΩΩ×ω+Ω)
  • fω×n+ω×2(fω2(n))ψ(ΩΩ×ω+Ω×2)
  • fω×n×2(fω2(n))ψ(ΩΩ×ω×2)
  • fω22(n)=fω×fω2(n)(fω2(n))ψ(ΩΩ×ψ(ΩΩ×ω))
  • fω23(n)ψ(ΩΩ×ψ(ΩΩ×ψ(ΩΩ×ω)))
  • fω2+1(n)ψ(ΩΩ2)=φ(1,0,0,0)
  • fωn(fω2+1(n))ψ(ΩΩ2+ΩΩ)
  • fω×2n(fω2+1(n))ψ(ΩΩ2+ΩΩ×2)
  • fω×n(fω2+1(n))ψ(ΩΩ2+ΩΩ×ω)
  • fω2(fω2+1(n))=fω×fω2+1(n)(fω2+1(n))ψ(ΩΩ2+ΩΩ×ψ(ΩΩ2))=φ(φ(1,0,0,0),0,1)
  • fω22(fω2+1(n))ψ(ΩΩ2+ΩΩ×ψ(ΩΩ2+ΩΩ×ψ(ΩΩ2)))
  • fω2n(fω2+1(n))ψ(ΩΩ2×2)
  • fω2+12(n)ψ(ΩΩ2×ψ(ΩΩ2))
  • fω2+2(n)ψ(ΩΩ2+1)
  • fω2+ω(n)ψ(ΩΩ2+ω)
  • fω2+ω+1(n)ψ(ΩΩ2+Ω)
  • fω2+ω+2(n)ψ(ΩΩ2+Ω+1)
  • fω2+ω×2+1(n)ψ(ΩΩ2+Ω×2)
  • fω2×2(n)ψ(ΩΩ2+Ω×ω)
  • fω2×2+1(n)ψ(ΩΩ2×2)
  • fω2×3+1(n)ψ(ΩΩ2×3)
  • fω3(n)ψ(ΩΩ2×ω)
  • fω2×n(fω3(n))ψ(ΩΩ2×ω×2)
  • fω2×n+1n(fω3(n))ψ(ΩΩ2×ω+1)
  • fω2×n+n(fω3(n))ψ(ΩΩ2×ω+ω)
  • fω2×n+ω(fω3(n))ψ(ΩΩ2×ω+ψ(ΩΩ2×ω))
  • fω2×n+ωn(fω3(n))ψ(ΩΩ2×ω+Ω)
  • fω2×n+ω×n(fω3(n))ψ(ΩΩ2×ω+Ω×ω)
  • fω2×n+ω2n(fω3(n))ψ(ΩΩ2×ω+Ω2)
  • fω2×n×2(fω3(n))ψ(ΩΩ2×ω×2)
  • fω32(n)ψ(ΩΩ2×ψ(ΩΩ2))
  • fω3+1(n)ψ(ΩΩ3)
  • fω3+2(n)ψ(ΩΩ3+1)
  • fω3+ω+1(n)ψ(ΩΩ3+Ω)
  • fω3+ω2+1(n)ψ(ΩΩ3+Ω2)
  • fω3×2+1(n)ψ(ΩΩ3×2)
  • fω4(n)ψ(ΩΩ3×ω)
  • fω4+1(n)ψ(ΩΩ4)
  • \(f_{\omega^\omega}(n)\sim\psi(\Omega^{\Omega^\omega})=\varphi(1@\omega)\)

Part 4

  • fωω(n)ψ(ΩΩω)
  • f3(fωω(n))ψ(ΩΩω+1)
  • f4n(fωω(n))ψ(ΩΩω+Ω)
  • f5n(fωω(n))ψ(ΩΩω+Ω2)
  • fn(fωω(n))ψ(ΩΩω+Ωω)
  • fω(fωω(n))ψ(ΩΩω+Ωψ(ΩΩω))
  • fωn(fωω(n))ψ(ΩΩω+ΩΩ)
  • fω+1n(fωω(n))ψ(ΩΩω+ΩΩ+1)
  • fω+n(fωω(n))ψ(ΩΩω+ΩΩ+ω)
  • fω×2n(fωω(n))ψ(ΩΩω+ΩΩ×2)
  • fω×n(fωω(n))ψ(ΩΩω+ΩΩ×ω)
  • fω2n(fωω(n))ψ(ΩΩω+ΩΩ2)
  • fω3n(fωω(n))ψ(ΩΩω+ΩΩ3)
  • fωn(fωω(n))ψ(ΩΩω×2)
  • fωn2(fωω(n))ψ(ΩΩω×3)
  • fωnn(fωω(n))ψ(ΩΩω×ω)
  • fωn+1(fωω(n))=fωnfωω(n)(fωω(n))ψ(ΩΩω×ψ(ΩΩω))
  • fωn+1n(fωω(n))ψ(ΩΩω+1)
  • fωn+2n(fωω(n))ψ(ΩΩω+2)
  • fωn+n(fωω(n))ψ(ΩΩω+ω)
  • fωn+ωn(fωω(n))ψ(ΩΩω+Ω)
  • fωn+ω×2n(fωω(n))ψ(ΩΩω+Ω×2)
  • fωn+ω2n(fωω(n))ψ(ΩΩω+Ω2)
  • fωn×2(fωω(n))ψ(ΩΩω×2)
  • fωn×3(fωω(n))ψ(ΩΩω×3)
  • fωn×n(fωω(n))ψ(ΩΩω×ω)
  • fωn+1(fωω(n))=fωn×fωω(n)(fωω(n))ψ(ΩΩω+1)
  • fωn(fωn+1(fωω(n)))ψ(ΩΩω+1+ΩΩω)
  • fωn+1n(fωn+1(fωω(n)))ψ(ΩΩω+1+ΩΩω+1)
  • fωn×n(fωn+1(fωω(n)))ψ(ΩΩω+1+ΩΩω×ω)
  • fωn+12(fωω(n))=fωn×fωn+1(fωω(n))(fωn+1(fωω(n)))ψ(ΩΩω+1×2)
  • fωn+1n(fωω(n))ψ(ΩΩω+1×ω)
  • fωn+1+1n(fωω(n))ψ(ΩΩω+1+1)
  • fωn+1+ωn(fωω(n))ψ(ΩΩω+1+Ωω)
  • fωn+1×2n(fωω(n))ψ(ΩΩω+1×2)
  • fωn+1×n(fωω(n))ψ(ΩΩω+1×ω)
  • fωn+2n(fωω(n))ψ(ΩΩω+2)
  • fωn×2(fωω(n))ψ(ΩΩω×2)
  • fωn2(fωω(n))ψ(ΩΩω2)
  • fωf3(n)(fωω(n))ψ(ΩΩψ(0))
  • fωω2(n)=fωfωω(n)(fωω(n))ψ(ΩΩψ(ΩΩω))
  • fωω3(n)ψ(ΩΩψ(ΩΩψ(ΩΩω)))
  • fωω+1(n)=fωωn(n)ψ(ΩΩΩ)
  • fωω+2(n)ψ(ΩΩΩ+1)
  • fωω+3(n)ψ(ΩΩΩ+2)
  • fωω+ω(n)ψ(ΩΩΩ+ω)
  • fωω+ω+1(n)ψ(ΩΩΩ+Ω)
  • fωω+ω×2(n)ψ(ΩΩΩ+Ω+ω)
  • fωω+ω×2+1(n)ψ(ΩΩΩ+Ω×2)
  • fωω+ω2(n)ψ(ΩΩΩ+Ω×ω)
  • fωω+ω2+1(n)ψ(ΩΩΩ+Ω2)
  • fωω+ω3+1(n)ψ(ΩΩΩ+Ω3)
  • fωω×2(n)ψ(ΩΩΩ+Ωω)
  • fωω×2+1(n)ψ(ΩΩΩ×2)
  • fωω×3+1(n)ψ(ΩΩΩ×3)
  • fωω+1(n)ψ(ΩΩΩ×ω)
  • fωω+1+1(n)ψ(ΩΩΩ+1)
  • fωω+1+ω+1(n)ψ(ΩΩΩ+1+Ω)
  • fωω+1+ωω+1(n)ψ(ΩΩΩ+1+ΩΩ)
  • fωω+1×2+1(n)ψ(ΩΩΩ+1×2)
  • fωω+2(n)ψ(ΩΩΩ+1×ω)
  • fωω+2+1(n)ψ(ΩΩΩ+2)
  • fωω×2(n)ψ(ΩΩΩ+ω)
  • fωω×2+1(n)ψ(ΩΩΩ×2)
  • fωω×3+1(n)ψ(ΩΩΩ×3)
  • fωω2(n)ψ(ΩΩΩ×ω)
  • fωω2+1(n)ψ(ΩΩΩ2)
  • fωω2×2+1(n)ψ(ΩΩΩ2×2)
  • fωω2+1+1(n)ψ(ΩΩΩ2+1)
  • fωω2+ω+1(n)ψ(ΩΩΩ2+Ω)
  • fωω2×2+1(n)ψ(ΩΩΩ2×2)
  • fωω3+1(n)ψ(ΩΩΩ3)
  • fωωω(n)ψ(ΩΩΩω)
  • fωωω+1(n)ψ(ΩΩΩΩ)
  • fωωωω+1(n)ψ(ΩΩΩΩΩ)
  • fψ(0)(n)ψ(ψ1(0))
  • f3(fψ(0)(n))ψ(ψ1(0)+1)
  • f4n(fψ(0)(n))ψ(ψ1(0)+Ω)
  • fn(fψ(0)(n))ψ(ψ1(0)+Ωω)
  • fω(fψ(0)(n))ψ(ψ1(0)+Ωψ(ψ1(0)))
  • fωn(fψ(0)(n))ψ(ψ1(0)+ΩΩ)
  • fω+1n(fψ(0)(n))ψ(ψ1(0)+ΩΩ+1)
  • fω×2n(fψ(0)(n))ψ(ψ1(0)+ΩΩ×2)
  • fωωn(fψ(0)(n))ψ(ψ1(0)+ΩΩΩ)
  • fωω+1n(fψ(0)(n))ψ(ψ1(0)+ΩΩΩ+1)
  • fωωωn(fψ(0)(n))ψ(ψ1(0)+ΩΩΩΩ)
  • fωωωωn(fψ(0)(n))ψ(ψ1(0)+ΩΩΩΩΩ)
  • fψ(0)[n](fψ(0)(n))ψ(ψ1(0)×2)
  • fψ(0)[n]2(fψ(0)(n))ψ(ψ1(0)×3)
  • fψ(0)[n]n(fψ(0)(n))ψ(ψ1(0)×ω)
  • fψ(0)[n]+1(fψ(0)(n))ψ(ψ1(0)×ψ(ψ1(0)))
  • fψ(0)[n]+1n(fψ(0)(n))ψ(ψ1(0)×Ω)
  • fψ(0)[n](fψ(0)[n]+1n(fψ(0)(n)))ψ(ψ1(0)×Ω+ψ1(0))
  • fψ(0)[n]+1n+1(fψ(0)(n))ψ(ψ1(0)×Ω+ψ1(0)×ψ(ψ1(0)×Ω))
  • fψ(0)[n]+1n×2(fψ(0)(n))ψ(ψ1(0)×Ω×2)
  • fψ(0)[n]+2(fψ(0)(n))ψ(ψ1(0)×Ω×ψ(ψ1(0)))
  • fψ(0)[n]+2n(fψ(0)(n))ψ(ψ1(0)×Ω2)
  • fψ(0)[n]+n(fψ(0)(n))ψ(ψ1(0)×Ωω)
  • fψ(0)[n]+ωn(fψ(0)(n))ψ(ψ1(0)×ΩΩ)
  • fψ(0)[n]×2(fψ(0)(n))ψ(ψ1(0)2)
  • fψ(0)[n]×n(fψ(0)(n))ψ(ψ1(0)ω)
  • fψ(0)[n]×ωn(fψ(0)(n))ψ(ψ1(0)Ω)
  • fψ(0)[n]×ω2n(fψ(0)(n))ψ(ψ1(0)Ω2)
  • fψ(0)[n]×ωωn(fψ(0)(n))ψ(ψ1(0)ΩΩ)
  • fψ(0)[n]2(fψ(0)(n))ψ(ψ1(0)ψ1(0))
  • fψ(0)[n]2+ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)+1)
  • fψ(0)[n]2×2(fψ(0)(n))ψ(ψ1(0)ψ1(0)×2)
  • fψ(0)[n]2×n(fψ(0)(n))ψ(ψ1(0)ψ1(0)×ω)
  • fψ(0)[n]2×ωn(fψ(0)(n))ψ(ψ1(0)ψ1(0)×Ω)
  • fψ(0)[n]3(fψ(0)(n))ψ(ψ1(0)ψ1(0)2)
  • fψ(0)[n]n(fψ(0)(n))ψ(ψ1(0)ψ1(0)ω)
  • fψ(0)[n]ωn(fψ(0)(n))ψ(ψ1(0)ψ1(0)Ω)
  • fψ(0)[n]ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0))
  • fψ(0)[n+1](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0))
  • fψ(0)[n+1]+ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)+1)
  • fψ(0)[n+1]+ψ(0)[n]2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)+ψ1(0))
  • fψ(0)[n+1]+ψ(0)[n]ωn(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)+ψ1(0)Ω)
  • fψ(0)[n+1]×2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)×2)
  • fψ(0)[n+1]×ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)+1)
  • fψ(0)[n+1]×ψ(0)[n]2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)+2)
  • fψ(0)[n+1]2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)×2)
  • fψ(0)[n+1]ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)2)
  • fψ(0)[n+1]ψ(0)[n]+1(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)2+ψ1(0))
  • fψ(0)[n+1]ψ(0)[n]×2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)2×2)
  • fψ(0)[n+1]ψ(0)[n]2(fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)3)
  • fψ(0)[n+2](fψ(0)(n))=fψ(0)[n+1]ψ(0)[n+1](fψ(0)(n))=fψ(0)[n+1]ψ(0)[n]ψ(0)[n](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)ψ1(0))
  • fψ(0)[n+3](fψ(0)(n))ψ(ψ1(0)ψ1(0)ψ1(0)ψ1(0)ψ1(0))
  • fψ(0)[n×2](fψ(0)(n))ψ(ψ1(1))
  • fψ(0)[n](fψ(0)[n×2](fψ(0)(n)))ψ(ψ1(1)+ψ1(0))
  • fψ(0)[n×2]2(fψ(0)(n))ψ(ψ1(1)×2)
  • fψ(0)[n×2]+ψ(0)[n](fψ(0)(n))ψ(ψ1(1)×ψ1(0))
  • fψ(0)[n×2]+ψ(0)[n+1](fψ(0)(n))ψ(ψ1(1)×ψ1(0)ψ1(0)ψ1(0))
  • fψ(0)[n×2]×2(fψ(0)(n))ψ(ψ1(1)2)
  • fψ(0)[n×2]×ψ(0)[n](fψ(0)(n))ψ(ψ1(1)ψ1(0))
  • fψ(0)[n×2]2(fψ(0)(n))ψ(ψ1(1)ψ1(1))
  • fψ(0)[n×2]3(fψ(0)(n))ψ(ψ1(1)ψ1(1)2)
  • fψ(0)[n×2+1](fψ(0)(n))=fψ(0)[n×2]ψ(0)[n×2](fψ(0)(n))ψ(ψ1(1)ψ1(1)ψ1(1))
  • fψ(0)[n×3](fψ(0)(n))ψ(ψ1(2))
  • fψ(0)[n2](fψ(0)(n))ψ(ψ1(ω))
  • fψ(0)[n2+n](fψ(0)(n))ψ(ψ1(ω+1))
  • fψ(0)[n3](fψ(0)(n))ψ(ψ1(ω2))
  • fψ(0)[nn](fψ(0)(n))ψ(ψ1(ωω))
  • fψ(0)[f3(n)](fψ(0)(n))ψ(ψ1(ψ(0)))
  • fψ(0)2(n)=fψ(0)[fψ(0)(n)](fψ(0)(n))ψ(ψ1(ψ(ψ1(0))))
  • fψ(0)[n](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)))×ψ1(0))
  • fψ(0)[n×2](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)))×ψ1(1))
  • fψ(0)[fψ(0)(n)](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)))2)
  • fψ(0)[fψ(0)(n)+1](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)))ψ1(ψ(ψ1(0)))ψ1(ψ(ψ1(0))))
  • fψ(0)[fψ(0)(n)+n](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0))+1))
  • fψ(0)[fψ(0)(n)×2](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0))×2))
  • fψ(0)[f3(fψ(0)(n))](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)+1)))
  • fψ(0)[fψ(0)[n](fψ(0)(n))](fψ(0)2(n))ψ(ψ1(ψ(ψ1(0)×2)))
  • fψ(0)[fψ(0)[n×2](fψ(0)(n))](fψ(0)2(n))ψ(ψ1(ψ(ψ1(1))))
  • fψ(0)[fψ(0)[n2](fψ(0)(n))](fψ(0)2(n))ψ(ψ1(ψ(ψ1(ω))))
  • fψ(0)3(n)ψ(ψ1(ψ(ψ1(ψ(ψ1(0))))))
  • fψ(0)+1(n)ψ(ψ1(Ω))
  • fψ(0)[n](fψ(0)+1(n))ψ(ψ1(Ω)+ψ1(0))
  • fψ(0)[n×2](fψ(0)+1(n))ψ(ψ1(Ω)+ψ1(1))
  • fψ(0)[fψ(0)(n)](fψ(0)+1(n))ψ(ψ1(Ω)+ψ1(ψ(ψ1(0))))
  • fψ(0)(fψ(0)+1(n))=fψ(0)[fψ(0)+1(n)](fψ(0)+1(n))ψ(ψ1(Ω)+ψ1(ψ(ψ1(Ω))))
  • fψ(0)2(fψ(0)+1(n))ψ(ψ1(Ω)+ψ1(ψ(ψ1(Ω)+ψ1(ψ(ψ1(Ω))))))
  • fψ(0)n(fψ(0)+1(n))ψ(ψ1(Ω)×2)
  • fψ(0)n2(fψ(0)+1(n))ψ(ψ1(Ω)×ω)
  • fψ(0)+12(n)ψ(ψ1(Ω)×ψ(ψ1(Ω)))
  • fψ(0)+2(n)ψ(ψ1(Ω)×Ω)
  • fψ(0)+3(n)ψ(ψ1(Ω)×Ω2)
  • fψ(0)+ω(n)ψ(ψ1(Ω)×Ωω)
  • fψ(0)+ω+1(n)ψ(ψ1(Ω)×ΩΩ)
  • fψ(0)+ωω+1(n)ψ(ψ1(Ω)×ΩΩΩ)
  • fψ(0)×2(n)ψ(ψ1(Ω)×ψ1(0))
  • fψ(0)×2+1(n)ψ(ψ1(Ω)2)
  • fψ(0)×3+1(n)ψ(ψ1(Ω)3)
  • fψ(0)×ω(n)ψ(ψ1(Ω)ω)
  • fψ(0)×ω+1(n)ψ(ψ1(Ω)Ω)
  • fψ(0)2(n)ψ(ψ1(Ω)ψ1(0))
  • fψ(0)2+1(n)ψ(ψ1(Ω)ψ1(Ω))
  • fψ(0)2+ψ(0)+1(n)ψ(ψ1(Ω)ψ1(Ω)+1)
  • fψ(0)2×2+1(n)ψ(ψ1(Ω)ψ1(Ω)×2)
  • fψ(0)3+1(n)ψ(ψ1(Ω)ψ1(Ω)2)
  • fψ(0)ω+1(n)ψ(ψ1(Ω)ψ1(Ω)Ω)
  • fψ(0)ψ(0)(n)ψ(ψ1(Ω)ψ1(Ω)ψ1(0))
  • fψ(0)ψ(0)+1(n)ψ(ψ1(Ω)ψ1(Ω)ψ1(Ω))
  • fψ(1)(n)ψ(ψ1(Ω+1))
  • fψ(0)[n](fψ(1)(n))ψ(ψ1(Ω+1)+ψ1(0))
  • fψ(0)n(fψ(1)(n))ψ(ψ1(Ω+1)+ψ1(Ω))
  • fψ(0)ψ(0)n(fψ(1)(n))ψ(ψ1(Ω+1)+ψ1(Ω)ψ1(Ω)ψ1(Ω))
  • fψ(1)[n](fψ(1)(n))ψ(ψ1(Ω+1)×2)
  • fψ(1)[n]2(fψ(1)(n))ψ(ψ1(Ω+1)×3)
  • fψ(1)[n]+1(fψ(1)(n))ψ(ψ1(Ω+1)×ψ(ψ1(Ω+1)))
  • fψ(1)[n]+1n(fψ(1)(n))ψ(ψ1(Ω+1)×Ω)
  • fψ(1)[n]+ψ(0)[n](fψ(1)(n))ψ(ψ1(Ω+1)×ψ1(0))
  • fψ(1)[n]+ψ(0)n(fψ(1)(n))ψ(ψ1(Ω+1)×ψ1(Ω))
  • fψ(1)[n]×2(fψ(1)(n))ψ(ψ1(Ω+1)2)
  • fψ(1)[n]×ψ(0)[n](fψ(1)(n))ψ(ψ1(Ω+1)ψ1(0))
  • fψ(1)[n]2(fψ(1)(n))ψ(ψ1(Ω+1)ψ1(Ω+1))
  • fψ(1)[n+1](fψ(1)(n))ψ(ψ1(Ω+1)ψ1(Ω+1)ψ1(Ω+1))
  • fψ(1)[n×2](fψ(1)(n))ψ(ψ1(Ω+2))
  • fψ(1)2(n)ψ(ψ1(Ω+ψ(ψ1(Ω))))
  • fψ(1)+1(n)ψ(ψ1(Ω×2))
  • fψ(1)+2(n)ψ(ψ1(Ω×2)×Ω)
  • fψ(1)+ψ(0)+1(n)ψ(ψ1(Ω×2)×ψ1(Ω))
  • fψ(1)×2+1(n)ψ(ψ1(Ω×2)2)
  • fψ(1)×ψ(0)+1(n)ψ(ψ1(Ω×2)ψ1(Ω))
  • fψ(1)2+1(n)ψ(ψ1(Ω×2)ψ1(Ω×2))
  • fψ(1)ψ(1)+1(n)ψ(ψ1(Ω×2)ψ1(Ω×2)ψ1(Ω×2))
  • fψ(2)(n)ψ(ψ1(Ω×2+1))
  • fψ(2)+1(n)ψ(ψ1(Ω×3))
  • fψ(3)(n)ψ(ψ1(Ω×3+1))
  • fψ(4)(n)ψ(ψ1(Ω×4+1))
  • fψ(ω)(n)ψ(ψ1(Ω×ω))
  • fψ(ω)+1(n)ψ(ψ1(Ω2))
  • fψ(ω)+2(n)ψ(ψ1(Ω2)×Ω)
  • fψ(ω)×2+1(n)ψ(ψ1(Ω2)2)
  • fψ(ω)2+1(n)ψ(ψ1(Ω2)ψ1(Ω2))
  • fψ(ω+1)(n)ψ(ψ1(Ω2+1))
  • fψ(ω+1)+1(n)ψ(ψ1(Ω2+Ω))
  • fψ(ω+2)+1(n)ψ(ψ1(Ω2+Ω×2))
  • fψ(ω×2)+1(n)ψ(ψ1(Ω2×2))
  • fψ(ω2)+1(n)ψ(ψ1(Ω3))
  • fψ(ωω)(n)ψ(ψ1(Ωω))
  • fψ(ωω)+1(n)ψ(ψ1(ΩΩ))
  • fψ(ωωω)+1(n)ψ(ψ1(ΩΩΩ))
  • fψ(ψ(0))(n)ψ(ψ1(ψ1(0)))
  • fψ(ψ(0))+1(n)ψ(ψ1(ψ1(Ω)))
  • fψ(ψ(1))+1(n)ψ(ψ1(ψ1(Ω×2)))
  • fψ(ψ(ψ(0)))+1(n)ψ(ψ1(ψ1(ψ1(Ω))))
  • fψ(Ω)(n)ψ(Ω2)
  • f3(fψ(Ω)(n))ψ(Ω2+1)
  • fωn(fψ(Ω)(n))ψ(Ω2+ΩΩ)
  • fψ(0)[n](fψ(Ω)(n))ψ(Ω2+ψ1(0))
  • fψ(0)n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω))
  • fψ(1)[n](fψ(Ω)(n))ψ(Ω2+ψ1(Ω+1))
  • fψ(1)n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω×2))
  • fψ(ω)n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2))
  • fψ(ψ(0))n(fψ(Ω)(n))ψ(Ω2+ψ1(ψ1(Ω)))
  • fψ(ψ(ψ(0)))n(fψ(Ω)(n))ψ(Ω2+ψ1(ψ1(ψ1(Ω))))
  • fψ(Ω)[n]n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)×ω)
  • fψ(Ω)[n]+1n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)×Ω)
  • fψ(Ω)[n]×2(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)2)
  • fψ(Ω)[n]×ωn(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)Ω)
  • fψ(Ω)[n]×ψ(0)+1(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)ψ1(Ω))
  • fψ(Ω)[n]2(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)ψ1(Ω2))
  • fψ(Ω)[n]ψ(Ω)[n](fψ(Ω)(n))ψ(Ω2+ψ1(Ω2)ψ1(Ω2)ψ1(Ω2))
  • fψ(ψ(Ω)[n1]+1)[n](fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+1))
  • fψ(ψ(Ω)[n1]+1)n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+Ω))
  • fψ(ψ(Ω)[n1]+n)(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+Ω×ω))
  • fψ(ψ(Ω)[n1]+ω)n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+Ω2))
  • fψ(ψ(Ω)[n1]+ψ(0))n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω)))
  • fψ(ψ(Ω)[n1]+ψ(ψ(0)))n(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(ψ1(Ω))))
  • fψ(Ω)[n+1](fψ(Ω)(n))=fψ(ψ(Ω)[n])(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2)))
  • fψ(ψ(Ω)[n]+1)(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2)+1))
  • fψ(ψ(Ω)[n]×2)(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2)×2))
  • fψ(ψ(Ω)[n]2)(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2)2))
  • fψ(ψ(ψ(Ω)[n1]+1))(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2+1)))
  • fψ(Ω)[n+2](fψ(Ω)(n))=fψ(ψ(ψ(Ω)[n]))(fψ(Ω)(n))ψ(Ω2+ψ1(Ω2+ψ1(Ω2+ψ1(Ω2))))
  • fψ(Ω)[n×2](fψ(Ω)(n))ψ(Ω2×2)
  • fψ(Ω)[n](fψ(Ω)[n×2](fψ(Ω)(n)))ψ(Ω2×2+ψ1(Ω2))
  • fψ(Ω)[n×2]2(fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2))
  • fψ(Ω)[n×2]+1n(fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2)×Ω)
  • fψ(Ω)[n×2]×2(fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2)2)
  • fψ(Ω)[n×2]2(fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2)ψ!(Ω2×2))
  • fψ(ψ(Ω)[n×21]+1)(fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2+1))
  • fψ(Ω)[n×2+1](fψ(Ω)(n))ψ(Ω2×2+ψ1(Ω2×2+ψ1(Ω2×2)))
  • fψ(Ω)[n×3](fψ(Ω)(n))ψ(Ω2×3)
  • fψ(Ω)[n2](fψ(Ω)(n))ψ(Ω2×ω)
  • fψ(Ω)[n2+1](fψ(Ω)(n))ψ(Ω2×ω+ψ1(Ω2×ω+ψ1(Ω2×ω)))
  • fψ(Ω)[n2+n](fψ(Ω)(n))ψ(Ω2×ω+Ω2)
  • fψ(Ω)[n3](fψ(Ω)(n))ψ(Ω2×ω2)
  • fψ(Ω)[f3(n)](fψ(Ω)(n))ψ(Ω2×ψ(0))
  • fψ(Ω)2(n)=fψ(Ω)[fψ(Ω)(n)](fψ(Ω)(n))ψ(Ω2×ψ(Ω2))
  • fψ(Ω)3(n)ψ(Ω2×ψ(Ω2×ψ(Ω2)))
  • fψ(Ω)+1(n)=fψ(Ω)n(n)ψ(Ω2×Ω)
  • fψ(Ω)(fψ(Ω)+1(n))ψ(Ω2×Ω+Ω2×ψ(Ω2×Ω))
  • fψ(Ω)n(fψ(Ω)+1(n))ψ(Ω2×Ω×2)
  • fψ(Ω)+12(n)ψ(Ω2×Ω×ψ(Ω2×Ω))
  • fψ(Ω)+2(n)ψ(Ω2×Ω2)
  • fψ(Ω)+ω(n)ψ(Ω2×Ωω)
  • fψ(Ω)+ω+1(n)ψ(Ω2×ΩΩ)
  • fψ(Ω)+ωω+1(n)ψ(Ω2×ΩΩΩ)
  • fψ(Ω)+ψ(0)+1(n)ψ(Ω2×ψ1(Ω))
  • fψ(Ω)+ψ(1)+1(n)ψ(Ω2×ψ1(Ω×2))
  • fψ(Ω)+ψ(ψ(0))+1(n)ψ(Ω2×ψ1(ψ1(Ω)))
  • fψ(Ω)×2(n)ψ(Ω2×ψ1(Ω2))
  • fψ(Ω)n(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)+Ω2×Ω)
  • fψ(Ω)+ψ(0)n(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)+Ω2×ψ1(Ω))
  • fψ(Ω)+ψ(Ω)[n](fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)×2)
  • fψ(Ω)+ψ(Ω)[n]2(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)×3)
  • fψ(Ω)+ψ(Ω)[n]+1(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)×ψ(Ω2×ψ1(Ω2)))
  • fψ(Ω)+ψ(Ω)[n]+1n(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)×Ω)
  • fψ(Ω)+ψ(Ω)[n]×2(fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2)2)
  • fψ(Ω)+ψ(ψ(Ω)[n1]+1)[n](fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2+1))
  • fψ(Ω)+ψ(Ω)[n+1](fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2+ψ1(Ω2)))
  • fψ(Ω)+ψ(Ω)[n×2](fψ(Ω)×2(n))ψ(Ω2×ψ1(Ω2×2))
  • fψ(Ω)×22(n)ψ(Ω2×ψ1(Ω2×ψ(Ω2×ψ1(Ω2))))
  • fψ(Ω)×2+1(n)ψ(Ω2×ψ1(Ω2×Ω))
  • fψ(Ω)×2(fψ(Ω)×2+1(n))ψ(Ω2×ψ1(Ω2×Ω)+Ω2×ψ1(Ω2×ψ(Ω2×ψ1(Ω2×Ω))))
  • fψ(Ω)×2n(fψ(Ω)×2+1(n))ψ(Ω2×ψ1(Ω2×Ω)×2)
  • fψ(Ω)×2+12(n)ψ(Ω2×ψ1(Ω2×Ω)×ψ(Ω2×ψ1(Ω2×Ω)))
  • fψ(Ω)×2+2(n)ψ(Ω2×ψ1(Ω2×Ω)×Ω)
  • fψ(Ω)×3(n)ψ(Ω2×ψ1(Ω2×Ω)×ψ1(Ω2))
  • fψ(Ω)×3+1(n)ψ(Ω2×ψ1(Ω2×Ω)2)
  • fψ(Ω)×ω+1(n)ψ(Ω2×ψ1(Ω2×Ω)Ω)
  • fψ(Ω)×ω+ψ(Ω)+1(n)ψ(Ω2×ψ1(Ω2×Ω)Ω+1)
  • fψ(Ω)×ψ(0)(n)ψ(Ω2×ψ1(Ω2×Ω)ψ1(0))
  • fψ(Ω)2(n)ψ(Ω2×ψ1(Ω2×Ω)ψ1(Ω2))
  • fψ(Ω)2+1(n)ψ(Ω2×ψ1(Ω2×Ω)ψ1(Ω2×Ω))
  • fψ(Ω)ψ(Ω)+1(n)ψ(Ω2×ψ1(Ω2×Ω)ψ1(Ω2×Ω)ψ1(Ω2×Ω))
  • fψ(Ω+1)(n)ψ(Ω2×ψ1(Ω2×Ω+1))
  • fψ(Ω+1)+1(n)ψ(Ω2×ψ1(Ω2×Ω+Ω))
  • fψ(Ω+2)(n)ψ(Ω2×ψ1(Ω2×Ω+Ω+1))
  • fψ(Ω+2)+1(n)ψ(Ω2×ψ1(Ω2×Ω+Ω×2))
  • fψ(Ω+ω)+1(n)ψ(Ω2×ψ1(Ω2×Ω+Ω2))
  • fψ(Ω+ψ(0))(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(0)))
  • fψ(Ω+ψ(0))+1(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω)))
  • fψ(Ω+ψ(Ω))(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2)))
  • fψ(Ω+ψ(Ω))[n×2](fψ(Ω+ψ(Ω))(n))ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2×2)))
  • fψ(Ω+ψ(Ω))+1(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2×Ω)))
  • fψ(Ω+ψ(Ω)+1)(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2×Ω)+1))
  • fψ(Ω+ψ(Ω+1))(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2×Ω+1)))
  • fψ(Ω+ψ(Ω+ψ(Ω)))+1(n)ψ(Ω2×ψ1(Ω2×Ω+ψ1(Ω2×Ω+ψ1(Ω2×Ω))))
  • fψ(Ω×2)(n)ψ(Ω2×ψ1(Ω2×Ω+Ω2))
  • fψ(Ω×2)+1(n)ψ(Ω2×ψ1(Ω2×Ω×2))
  • fψ(Ω×2)×2+1(n)ψ(Ω2×ψ1(Ω2×Ω×2)2)
  • fψ(Ω×2+1)(n)ψ(Ω2×ψ1(Ω2×Ω×2+1))
  • fψ(Ω×2+1)+1(n)ψ(Ω2×ψ1(Ω2×Ω×2+Ω))
  • fψ(Ω×2+ψ(Ω×2))+1(n)ψ(Ω2×ψ1(Ω2×Ω×2+ψ1(Ω2×Ω×2)))
  • fψ(Ω×3)(n)ψ(Ω2×ψ1(Ω2×Ω×2+Ω2))
  • fψ(Ω×3)+1(n)ψ(Ω2×ψ1(Ω2×Ω×3))
  • fψ(Ω×ω)(n)ψ(Ω2×ψ1(Ω2×Ω×ω))
  • fψ(Ω×ω)+1(n)ψ(Ω2×ψ1(Ω2×Ω2))
  • fψ(Ω×ω+1)(n)ψ(Ω2×ψ1(Ω2×Ω2+1))
  • fψ(Ω×ω+Ω)+1(n)ψ(Ω2×ψ1(Ω2×Ω2+Ω2×Ω))
  • fψ(Ω×ω×2)+1(n)ψ(Ω2×ψ1(Ω2×Ω2×2))
  • fψ(Ω×ω2)+1(n)ψ(Ω2×ψ1(Ω2×Ω3))
  • fψ(Ω×ωω)+1(n)ψ(Ω2×ψ1(Ω2×ΩΩ))
  • fψ(Ω×ψ(0))(n)ψ(Ω2×ψ1(Ω2×ψ1(0)))
  • fψ(Ω×ψ(0))+1(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω)))
  • fψ(Ω×ψ(1))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω+1)))
  • fψ(Ω×ψ(Ω))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2)))
  • fψ(Ω×ψ(Ω))+1(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2×Ω)))
  • fψ(Ω×ψ(Ω+1))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2×Ω+1)))
  • fψ(Ω×ψ(Ω×2))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2×Ω×2)))
  • fψ(Ω×ψ(Ω×ψ(0)))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2×ψ1(0))))
  • fψ(Ω×ψ(Ω×ψ(Ω)))(n)ψ(Ω2×ψ1(Ω2×ψ1(Ω2×ψ1(Ω2))))
  • fψ(Ω2)(n)ψ(Ω22)
  • fψ(Ω2)[n](fψ(Ω2)(n))ψ(Ω22+ψ1(Ω22))
  • fψ(Ω×ψ(Ω2)[n1]+1)(fψ(Ω2)(n))ψ(Ω22+ψ1(Ω22+1))
  • ψ(Ω2)[n]=ψ(Ω×ψ(Ω2)[n1])
  • fψ(Ω×ψ(Ω2)[n1]+Ω)[n](fψ(Ω2)(n))ψ(Ω22+Ω2)
  • fψ(Ω×ψ(Ω2)[n1]+Ω)(fψ(Ω2)(n))ψ(Ω22+Ω2×Ω)
  • fψ(Ω×ψ(Ω2)[n1]+Ω×ψ(Ω))(fψ(Ω2)(n))ψ(Ω22+Ω2×ψ1(Ω2))
  • fψ(Ω2)[n+1](fψ(Ω2)(n))ψ(Ω22+Ω2×ψ1(Ω22))
  • fψ(Ω2)[n×2](fψ(Ω2)(n))ψ(Ω22×2)
  • fψ(Ω2)+1(n)ψ(Ω22×Ω)
  • fψ(Ω2)+2(n)ψ(Ω22×Ω2)
  • fψ(Ω2)+ψ(0)(n)ψ(Ω22×ψ1(0))
  • fψ(Ω2)+ψ(Ω)(n)ψ(Ω22×ψ1(Ω2))
  • fψ(Ω2)+ψ(Ω×ψ(Ω))(n)ψ(Ω22×ψ1(Ω2×ψ1(Ω2)))
  • fψ(Ω2)×2(n)ψ(Ω22×ψ1(Ω22))
  • fψ(Ω2)×2+1(n)ψ(Ω22×ψ1(Ω22×Ω))
  • fψ(Ω2)2+1(n)ψ(Ω22×ψ1(Ω22×Ω)ψ1(Ω22×Ω))
  • fψ(Ω2+1)(n)ψ(Ω22×ψ1(Ω22×Ω+1))
  • fψ(Ω2+1)+1(n)ψ(Ω22×ψ1(Ω22×Ω+Ω))
  • fψ(Ω2+ψ(Ω2))+1(n)ψ(Ω22×ψ1(Ω22×Ω+ψ1(Ω22×Ω)))
  • fψ(Ω2+Ω)(n)ψ(Ω22×ψ1(Ω22×Ω+Ω2))
  • fψ(Ω2+Ω)+1(n)ψ(Ω22×ψ1(Ω22×Ω+Ω2×Ω))
  • fψ(Ω2+Ω×2)+1(n)ψ(Ω22×ψ1(Ω22×Ω+Ω2×Ω×2))
  • fψ(Ω2+Ω×ψ(0))+1(n)ψ(Ω22×ψ1(Ω22×Ω+Ω2×ψ1(Ω)))
  • fψ(Ω2+Ω×ψ(Ω2))+1(n)ψ(Ω22×ψ1(Ω22×Ω+Ω2×ψ1(Ω22×Ω)))
  • fψ(Ω2×2)(n)ψ(Ω22×ψ1(Ω22×Ω×2))
  • fψ(Ω2×ω)+1(n)ψ(Ω22×ψ1(Ω22×Ω2))
  • fψ(Ω2×ψ(0))+1(n)ψ(Ω22×ψ1(Ω22×ψ1(0)))
  • fψ(Ω2×ψ(Ω2))(n)ψ(Ω22×ψ1(Ω22×ψ1(Ω22)))
  • fψ(Ω2×ψ(Ω2))+1(n)ψ(Ω22×ψ1(Ω22×ψ1(Ω22×Ω)))
  • fψ(Ω3)(n)ψ(Ω23)
  • fψ(Ω4)(n)ψ(Ω24)
  • fψ(Ωω)(n)ψ(Ω2ω)
  • fψ(Ωω)+1(n)ψ(Ω2Ω)
  • fψ(Ωω)+2(n)ψ(Ω2Ω×Ω)
  • fψ(Ωω)×2(n)ψ(Ω2Ω×ψ1(Ω2ω))
  • fψ(Ωω)×2+1(n)ψ(Ω2Ω×ψ1(Ω2Ω))
  • fψ(Ωω)×2+2(n)ψ(Ω2Ω×ψ1(Ω2Ω)×Ω)
  • fψ(Ωω)2+1(n)ψ(Ω2Ω×ψ1(Ω2Ω)ψ1(Ω2Ω))
  • fψ(Ωω+1)(n)ψ(Ω2Ω×ψ1(Ω2Ω+1))
  • fψ(Ωω+ψ(Ωω))+1(n)ψ(Ω2Ω×ψ1(Ω2Ω+ψ1(Ω2Ω)))
  • fψ(Ωω+Ω)+1(n)ψ(Ω2Ω×ψ1(Ω2Ω+Ω2×Ω))
  • fψ(Ωω×2)(n)ψ(Ω2Ω×ψ1(Ω2Ω+Ω2ω))
  • fψ(Ωω×2)+1(n)ψ(Ω2Ω×ψ1(Ω2Ω×2))
  • fψ(Ωω×ψ(0))+1(n)ψ(Ω2Ω×ψ1(Ω2Ω×ψ1(Ω)))
  • fψ(Ωω×ψ(Ωω))+1(n)ψ(Ω2Ω×ψ1(Ω2Ω×ψ1(ΩΩ)))
  • fψ(Ωω+1)(n)ψ(Ω2Ω+1)
  • fψ(Ωω×2)+1(n)ψ(Ω2Ω×2)
  • fψ(Ωω2)+1(n)ψ(Ω2Ω2)
  • fψ(Ωωω)+1(n)ψ(Ω2ΩΩ)
  • fψ(Ωψ(0))(n)ψ(Ω2ψ1(0))
  • fψ(Ωψ(0))+1(n)ψ(Ω2ψ1(Ω))
  • fψ(Ωψ(Ω))(n)ψ(Ω2ψ1(Ω2))
  • fψ(Ωψ(Ω2))(n)ψ(Ω2ψ1(Ω22))
  • fψ(Ωψ(Ωψ(Ω)))(n)ψ(Ω2ψ1(Ω2ψ1(Ω2)))
  • fψ(ΩΩ)(n)ψ(Ω2Ω2)
  • fψ(ΩΩ)+1(n)ψ(Ω2Ω2×Ω)
  • fψ(ΩΩ)×2(n)ψ(Ω2Ω2×ψ1(Ω2Ω2))
  • fψ(ΩΩ+1)+1(n)ψ(Ω2Ω2×ψ1(Ω2Ω2×Ω+Ω))
  • fψ(ΩΩ+Ω)+1(n)ψ(Ω2Ω2×ψ1(Ω2Ω2×Ω+Ω2×Ω))
  • fψ(ΩΩ+Ωψ(ΩΩ))(n)ψ(Ω2Ω2×ψ1(Ω2Ω2×Ω+Ω2ψ1(Ω2Ω2)))
  • fψ(ΩΩ×2)(n)ψ(Ω2Ω2×ψ1(Ω2Ω2×Ω×2))
  • fψ(ΩΩ×ψ(0))(n)ψ(Ω2Ω2×ψ1(Ω2Ω2×ψ1(0)))
  • fψ(ΩΩ+1)(n)ψ(Ω2Ω2+1)
  • fψ(ΩΩ+2)(n)ψ(Ω2Ω2+2)
  • fψ(ΩΩ+ω)+1(n)ψ(Ω2Ω2+Ω)
  • fψ(ΩΩ+ψ(ΩΩ))(n)ψ(Ω2Ω2+ψ1(Ω2Ω2))
  • fψ(ΩΩ×2)(n)ψ(Ω2Ω2×2)
  • fψ(ΩΩ2)(n)ψ(Ω2Ω22)
  • fψ(ΩΩω)(n)ψ(Ω2Ω2ω)
  • fψ(ΩΩω)+1(n)ψ(Ω2Ω2Ω)
  • fψ(ΩΩΩ)(n)ψ(Ω2Ω2Ω2)
  • fψ(ψ1(0))(n)ψ(ψ2(0))
  • fψ(ψ1(0)×Ω)(n)ψ(ψ2(0)×Ω2)
  • fψ(ψ1(0)2)(n)ψ(ψ2(0)2)
  • fψ(ψ1(0)Ω)(n)ψ(ψ2(0)Ω2)
  • fψ(ψ1(0)ψ1(0))(n)ψ(ψ2(0)ψ2(0))
  • fψ(ψ1(1))(n)ψ(ψ2(1))
  • fψ(ψ1(ω))+1(n)ψ(ψ2(Ω))
  • fψ(ψ1(ψ(0)))(n)ψ(ψ2(ψ1(0)))
  • fψ(ψ1(ψ(Ω)))(n)ψ(ψ2(ψ1(Ω2)))
  • fψ(ψ1(ψ(ΩΩ)))(n)ψ(ψ2(ψ1(Ω2Ω2)))
  • fψ(ψ1(ψ(ψ1(0))))(n)ψ(ψ2(ψ1(ψ2(0))))
  • fψ(ψ1(Ω))(n)ψ(ψ2(Ω2))
  • fψ(ψ1(ψ1(0)))(n)ψ(ψ2(ψ2(0)))
  • fψ(Ω2)(n)ψ(Ω3)
  • fψ(Ω2)[n](fψ(Ω2)(n))ψ(Ω3+ψ2(Ω3))
  • fψ(Ω2)[n+1](fψ(Ω2)(n))ψ(Ω3+ψ2(Ω3+ψ2(Ω3)))
  • fψ(Ω2)[n×2](fψ(Ω2)(n))ψ(Ω3×2)
  • fψ(Ω2)+1(n)ψ(Ω3×Ω)
  • fψ(Ω2)+ψ(0)(n)ψ(Ω3×ψ1(0))
  • fψ(Ω2)+ψ(Ω)(n)ψ(Ω3×ψ1(Ω2))
  • fψ(Ω2)×2(n)ψ(Ω3×ψ1(Ω3))
  • fψ(Ω2)×2+1(n)ψ(Ω3×ψ1(Ω3×Ω))
  • fψ(Ω2)×3+1(n)ψ(Ω3×ψ1(Ω3×Ω)2)
  • fψ(Ω2)2+1(n)ψ(Ω3×ψ1(Ω3×Ω)ψ1(Ω3×Ω))
  • fψ(Ω2+1)(n)ψ(Ω3×ψ1(Ω3×Ω+1))
  • fψ(Ω2+Ω)(n)ψ(Ω3×ψ1(Ω3×Ω+Ω2))
  • fψ(Ω2+ψ1(Ω2))(n)ψ(Ω3×ψ1(Ω3×Ω+ψ2(Ω3)))
  • fψ(Ω2+ψ1(Ω2))+1(n)ψ(Ω3×ψ1(Ω3×Ω+ψ2(Ω3×Ω)))
  • fψ(Ω2+ψ1(Ω2+1))(n)ψ(Ω3×ψ1(Ω3×Ω+ψ2(Ω3×Ω+1)))
  • fψ(Ω2×2)(n)ψ(Ω3×ψ1(Ω3×Ω+Ω3))
  • fψ(Ω2×2)+1(n)ψ(Ω3×ψ1(Ω3×Ω×2))
  • fψ(Ω2×ψ(Ω2))(n)ψ(Ω3×ψ1(Ω3×ψ1(Ω3)))
  • fψ(Ω2×Ω)(n)ψ(Ω3×Ω2)
  • fψ(Ω2×ψ1(0))(n)ψ(Ω3×ψ2(0))
  • fψ(Ω2×ψ1(Ω2))(n)ψ(Ω3×ψ2(Ω3))
  • fψ(Ω22)(n)ψ(Ω32)
  • fψ(Ω2Ω2)(n)ψ(Ω3Ω3)
  • fψ(ψ2(0))(n)ψ(ψ3(0))
  • fψ(Ω3)(n)ψ(Ω4)
  • fψ(Ω4)(n)ψ(Ω5)
  • fψ(Ωω)ψ(Ωω)=BO