打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁非递归BMS分析”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
非递归BMS分析
因为以下原因，您没有权限编辑该页面：
您请求的操作仅限属于这些用户组的用户执行：
用户
、
评审员
您可以查看和复制此页面的源代码。
本条目展示[[非递归BMS|非递归 BMS]] 和[[投影序数]]的列表分析。以下分析来自YourCpper {| class="wikitable" |非递归BMS |投影序数 |- |(1) |1 |- |(1)(2) |ω |- |(1)(2,1) |e0 |- |(1)(2,1,1) |ψ(Ω_ω) |- |(1,1) |Ω |- |(1,1)(1,1) |Ω*2 |- |(1,1)(2) |Ω*ω |- |(1,1)(2)(3,1) |Ω*e0 |- |(1,1)(2,1) |Ω^2 |- |(1,1)(2,1)(3) |Ω^ω |- |(1,1)(2,1)(3,1) |Ω^Ω |- |(1,1)(2,2) |e(Ω+1) |- |(1,1)(2,2,1) |ψ_Ω_2(Ω_ω) |- |(1,1,1) |Ω_2 |- |(1,1,1)(1,1) |Ω_2+Ω |- |(1,1,1)(1,1,1) |Ω_2*2 |- |(1,1,1)(2) |Ω_2*ω |- |(1,1,1)(2,1,1) |Ω_2^2 |- |(1,1,1)(2,2) |e(Ω_2+1) |- |(1,1,1)(2,2)(3,3,1) |ψ_Ω_3(Ω_ω) |- |(1,1,1)(2,2,1) |Ω_3 |- |(1,1,1)(2,2,1)(2,2,1) |Ω_4 |- |(1,1,1)(2,2,1)(3) |Ω_ω |- |(1,1,1)(2,2,1)(3,1) |Ω_Ω |- |(1,1,1)(2,2,1)(3,1,1) |Ω_Ω_2 |- |(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5) |Ω_Ω_ω |- |(1,1,1)(2,2,1)(3,2) |ψα(Ω(α+1)*α) |- |(1,1,1)(2,2,1)(3,2)(2,2,1) |ψα(Ω(α+1)*(α+1)) |- |(1,1,1)(2,2,1)(3,2)(3,2) |ψα(Ω(α+1)*α^2) |- |(1,1,1)(2,2,1)(3,2)(4,3) |ψα(Ω(α+1)*ψ_Ω(α+1)(Ω(α+1))) |- |(1,1,1)(2,2,1)(3,2,1) |ψα(Ω(α+1)^2) |- |(1,1,1)(2,2,1)(3,2,1)(2,2,1) |ψα(Ω(α+1)^2+Ω(α+1)) |- |(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2) |ψα(Ω(α+1)^2+Ω(α+1)*α) |- |(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) |ψα(Ω(α+1)^2*2) |- |(1,1,1)(2,2,1)(3,2,1)(3) |ψα(Ω(α+1)^2*ω) |- |(1,1,1)(2,2,1)(3,2,1)(3,2) |ψα(Ω(α+1)^2*α) |- |(1,1,1)(2,2,1)(3,2,1)(3,2,1) |ψα(Ω(α+1)^3) |- |(1,1,1)(2,2,1)(3,2,1)(4) |ψα(Ω(α+1)^ω) |- |(1,1,1)(2,2,1)(3,2,1)(4,2) |ψα(Ω(α+1)^α) |- |(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1) |ψα(Ω(α+1)^(α+1)) |- |(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2) |ψα(Ω(α+1)^α^2) |- |(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3) |ψα(Ω(α+1)^ψ_Ω(α+1)(Ω(α+1))) |- |(1,1,1)(2,2,1)(3,2,1)(4,2,1) |ψα(Ω(α+1)^Ω(α+1)) |- |(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1) |ψα(Ω(α+1)^Ω(α+1)^Ω(α+1)) |- |(1,1,1)(2,2,1)(3,3) |ψα(α_2) |- |(1,1,1)(2,2,1)(3,3)(2,2,1) |ψα(α_2+Ω(α+1)) |- |(1,1,1)(2,2,1)(3,3)(2,2,1)(3,3) |ψα(α_2+ψα_2(α_2)) |- |(1,1,1)(2,2,1)(3,3)(3,2) |ψα(α_2+ψα_2(α_2+α)) |- |(1,1,1)(2,2,1)(3,3)(3,2,1) |ψα(α_2+ψα_2(α_2+Ω(α+1))) |- |(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3) |ψα(α_2+ψα_2(α_2+ψα_2(α_2))) |- |(1,1,1)(2,2,1)(3,3)(3,3) |ψα(α_2*2) |- |(1,1,1)(2,2,1)(3,3)(4) |ψα(α_2*ω) |- |(1,1,1)(2,2,1)(3,3)(4,2) |ψα(α_2*α) |- |(1,1,1)(2,2,1)(3,3)(4,2,1) |ψα(α_2*Ω(α+1)) |- |(1,1,1)(2,2,1)(3,3)(4,2,1)(5,3) |ψα(α_2*ψα2(α_2)) |- |(1,1,1)(2,2,1)(3,3)(4,3) |ψα(α_2^2) |- |(1,1,1)(2,2,1)(3,3)(4,3)(5) |ψα(α_2^ω) |- |(1,1,1)(2,2,1)(3,3)(4,3)(5,3) |ψα(α_2^α_2) |- |(1,1,1)(2,2,1)(3,3)(4,4) |ψα(ψ_Ω(α_2+1)(Ω(α_2+1))) |- |(1,1,1)(2,2,1)(3,3,1) |ψα(Ω(α_2+1)) |- |(1,1,1)(2,2,1)(3,3,1)(2,2,1)(3,3,1) |ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1))) |- |(1,1,1)(2,2,1)(3,3,1)(3) |ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+1)) |- |(1,1,1)(2,2,1)(3,3,1)(3,2) |ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+α)) |- |(1,1,1)(2,2,1)(3,3,1)(3,2,1) |ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+Ω(α+1))) |- |(1,1,1)(2,2,1)(3,3,1)(3,2,1)(4,3,1) |ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+ψα_2(Ω(α_2+1)))) |- |(1,1,1)(2,2,1)(3,3,1)(3,3) |ψα(Ω(α_2+1)+α_2) |- |(1,1,1)(2,2,1)(3,3,1)(3,3,1) |ψα(Ω(α_2+1)*2) |- |(1,1,1)(2,2,1)(3,3,1)(4) |ψα(Ω(α_2+1)*ω) |- |(1,1,1)(2,2,1)(3,3,1)(4,2) |ψα(Ω(α_2+1)*α) |- |(1,1,1)(2,2,1)(3,3,1)(4,3) |ψα(Ω(α_2+1)*α_2) |- |(1,1,1)(2,2,1)(3,3,1)(4,3,1) |ψα(Ω(α_2+1)^2) |- |(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5) |ψα(Ω(α_2+1)^ω) |- |(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1) |ψα(Ω(α_2+1)^Ω(α_2+1)) |- |(1,1,1)(2,2,1)(3,3,1)(4,4) |ψα(α_3) |- |(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5) |ψα(α_4) |- |(1,1,1)(2,2,2) |ψα(α_ω) |- |(1,1,1)(2,2,2)(2,2,1) |ψα(α_ω+Ω(α+1)) |- |(1,1,1)(2,2,2)(2,2,1)(3,3) |ψα(α_ω+ψα_2(α_2)) |- |(1,1,1)(2,2,2)(2,2,1)(3,3,1) |ψα(α_ω+ψα_2(Ω(α_2+1))) |- |(1,1,1)(2,2,2)(2,2,1)(3,3,2) |ψα(α_ω+ψα_2(α_ω)) |- |(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3) |ψα(α_ω+α_2) |- |(1,1,1)(2,2,2)(2,2,2) |ψα(α_ω*2) |- |(1,1,1)(2,2,2)(3,2) |ψα(α_ω*α) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2) |ψα(α_ω*α+ψα(α_ω*α)) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3) |ψα(α_ω*α+α) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2) |ψα(α_ω*α+α_ω) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4) |ψα(α_ω*α*ω) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(5,3) |ψα(α_ω*ψ_Ω(α+1)(Ω(α+1))) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1) |ψα(α_ω*Ω(α+1)) |- |(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3) |ψα(α_ω*α_2) |- |(1,1,1)(2,2,2)(3,2)(2,2,2) |ψα(α_ω^2) |- |(1,1,1)(2,2,2)(3,2)(3) |ψα(α_ω^2*ω) |- |(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1) |ψα(α_ω^3) |- |(1,1,1)(2,2,2)(3,2)(4) |ψα(α_ω^ω) |- |(1,1,1)(2,2,2)(3,2)(4,2)(2,2,2) |ψα(α_ω^α_ω) |- |(1,1,1)(2,2,2)(3,2)(4,3) |ψα(ψΩ(α_ω+1)(Ω(α_ω+1))) |- |(1,1,1)(2,2,2)(3,2,1) |ψα(Ω(α_ω+1)) |- |(1,1,1)(2,2,2)(3,2,1)(3) |ψα(Ω(α_ω+1)*ω) |- |(1,1,1)(2,2,2)(3,2,1)(3,2,1) |ψα(Ω(α_ω+1)^2) |- |(1,1,1)(2,2,2)(3,2,1)(4,2,1) |ψα(Ω(α_ω+1)^Ω(α_ω+1)) |- |(1,1,1)(2,2,2)(3,2,1)(4,3) |ψα(α_(ω+1)) |- |(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,4) |ψα(α_(ω+2)) |- |(1,1,1)(2,2,2)(3,2,1)(4,3,2) |ψα(α_(ω2)) |- |(1,1,1)(2,2,2)(3,2,2) |ψα(α_(ω^2)) |- |(1,1,1)(2,2,2)(3,2,2)(4,2) |ψα(α_α) |- |(1,1,1)(2,2,2)(3,2,2)(4,2)(3) |ψα(ψβ(α(β+1)*β)) |- |(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2) |ψα(ψβ(α(β+1)*β*ω)) |- |(1,1,1)(2,2,2)(3,2,2)(4,2,1) |ψα(ψβ(α(β+1)*Ω(β+1))) |- |(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2) |ψα(ψβ(α(β+1)*ψα(β+1)(α(β+ω)))) |- |(1,1,1)(2,2,2)(3,2,2)(4,2,2) |ψα(ψβ(α(β+1)^2)) |- |(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5) |ψα(ψβ(α(β+1)^ω)) |- |(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2) |ψα(ψβ(α(β+1)^α(β+1))) |- |(1,1,1)(2,2,2)(3,3) |ψα(ψβ(ψ_Ω(α(β+1)+1)(Ω(α(β+1)+1)))) |- |(1,1,1)(2,2,2)(3,3,1) |ψα(ψβ(Ω(α(β+1)+1))) |- |(1,1,1)(2,2,2)(3,3,2) |ψα(ψβ(α(β+2)*ω)) |- |(1,1,1)(2,2,2)(3,3,2)(4,4,2) |ψα(ψβ(α(β_2+2)+ψβ_2(α(β_2+2)+1))) |- |(1,1,1)(2,2,2)(3,3,3) |ψα(ψβ(β_ω)) |- |(1,1,1)(2,2,2)(3,3,3)(4,4,4) |ψα(ψβ(ψγ(γ_ω))) |- |(1,1,1)(2,2,2,1) |ψα(P(ω,0)) |- |(1,1,1,1) |α |- |(1,1,1,1)(2) |α*ω |- |(1,1,1,1)(2,1,1,1) |α^2 |- |(1,1,1,1)(2,2) |ψ_Ω(α+1)(Ω(α+1)) |- |(1,1,1,1)(2,2,1) |Ω(α+1) |- |(1,1,1,1)(2,2,1)(3) |Ω(α+ω) |- |(1,1,1,1)(2,2,1)(3,2,1) |ψα_2(Ω(α_2+1)^2) |- |(1,1,1,1)(2,2,1)(3,3) |ψα_2(α_3) |- |(1,1,1,1)(2,2,1)(3,3,2) |ψα_2(α_ω) |- |(1,1,1,1)(2,2,1)(3,3,2,1) |ψα_2(P(ω,0)) |- |(1,1,1,1)(2,2,1,1) |α_2 |- |(1,1,1,1)(2,2,1,1)(3) |α_ω |- |(1,1,1,1)(2,2,1,1)(3,2) |ψβ(α(β+1)*β) |- |(1,1,1,1)(2,2,1,1)(3,2,1) |ψβ(α(β+1)*Ω(β+1)) |- |(1,1,1,1)(2,2,1,1)(3,2,1)(4,3,2,1) |ψβ(α(β+1)*ψα(β+1)(P(ω,0))) |- |(1,1,1,1)(2,2,1,1)(3,2,1,1) |ψβ(α(β+1)^2) |- |(1,1,1,1)(2,2,1,1)(3,2,1,1)(4,2,1,1) |ψβ(α(β+1)^α(β+1)) |- |(1,1,1,1)(2,2,1,1)(3,3) |ψβ(ψ_Ω(α(β+1)+1)(Ω(α(β+1)+1))) |- |(1,1,1,1)(2,2,1,1)(3,3,1) |ψβ(Ω(α(β+1)+1)) |- |(1,1,1,1)(2,2,1,1)(3,3,1)(4,4,2,1) |ψβ(ψα(β+2)(P(ω,0))) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1) |ψβ(α(β+2)) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1)(4) |ψβ(α(β+ω)) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1)(4,3) |ψβ(α(β_2+1)*β_2) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1)(4,3,1,1) |ψβ(α(β_2+1)^2) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1)(4,4) |ψβ(ψ_Ω(α(β_2+1)+1)(Ω(α(β_2+1)+1))) |- |(1,1,1,1)(2,2,1,1)(3,3,1,1)(4,4,1,1) |ψβ(α(β_2+2)) |- |(1,1,1,1)(2,2,2) |ψβ(β_ω) |- |(1,1,1,1)(2,2,2)(3,3,3,1) |ψβ(P(ω,0)) |- |(1,1,1,1)(2,2,2,1) |β |- |(1,1,1,1)(2,2,2,1)(2,2,1,1) |α_(β+1) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,1,1) |ψβ_2(α_(β_3+1)) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2) |ψβ_2(β_ω) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2)(4,4,3,1) |ψβ_2(P(ω,0)) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1) |β_2 |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3) |β_ω |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,2,1,1) |ψγ(β(γ+1)*α(γ+1)) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,2,1,1)(4,3,2,1) |ψγ(β(γ+1)^2) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,3,1,1) |ψγ(α(γ_2+1)) |- |(1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,3,1,1)(4,4,2,1) |ψγ(β(γ_2+1)) |- |(1,1,1,1)(2,2,2,1)(2,2,2) |ψγ(γ_ω) |- |(1,1,1,1)(2,2,2,1)(2,2,2)(3,3,3,1) |ψγ(P(ω,0)) |- |(1,1,1,1)(2,2,2,1)(2,2,2,1) |γ |- |(1,1,1,1)(2,2,2,1)(3) |P(ω,0) |- |(1,1,1,1)(2,2,2,1)(3,1,1,1) |P(α,0) |- |(1,1,1,1)(2,2,2,1)(3,1,1,1)(4,2,2,1)(5) |P(P(ω,0),0) |- |(1,1,1,1)(2,2,2,1)(3,2) |ψS(σS*S) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1) |ψS(σS*S+ψS2(σS*2)) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2) |ψS(σS*S+ψS2(σS*S)) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,2,1,1)(4,3,2,1)(5,2) |ψS(σS*S+ψS2(σS*S+ψS2(σS*S))) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3) |ψS(σS*S+S_2) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,1,1)(4,4,2,1)(5,2) |ψS(σS*S+ψS3(σS*S)) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2) |ψS(σS*S+S_ω) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2,1) |ψS(σS*S+σS) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2,1)(4,2) |ψS(σS*S*2) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2,1,1) |ψS(σS*ψS_2(σS*2)) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2,1,1)(5,3,2,1)(6,2,1,1) |ψS(σS*ψS_2(σS*ψS_2(σS*2))) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,3) |ψS(σS*S_3) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,3)(3,3,1,1)(4,4,2,1)(5,4) |ψS(σS*S_4) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,2) |ψS(σS*S_ω) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1) |ψS(σS^2) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(2,2,2,1) |ψS(σS^2+σS) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2) |ψS(σS^2+σS*S) |- |(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2)(2,2,2,1) |ψS(σS^2*2) |- |(1,1,1,1)(2,2,2,1)(3,2)(3) |ψS(σS^2*ω) |- |(1,1,1,1)(2,2,2,1)(3,2)(3,2)(2,2,2,1) |ψS(σS^3) |- |(1,1,1,1)(2,2,2,1)(3,2)(4,3) |ψS(S_(σS+1)) |- |(1,1,1,1)(2,2,2,1)(3,2)(4,3,1) |ψS(S_(σS+ω)) |- |(1,1,1,1)(2,2,2,1)(3,2)(4,3,1,1) |ψS(ψ_σS_2(σ^ωS)) |- |(1,1,1,1)(2,2,2,1)(3,2,1) |ψS(σS_2) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2) |ψS(σS_2+σS*S) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2)(4,3) |ψS(σS_2+ψS_(σS+1)(S_(σS+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2,1) |ψS(σS_2+ψS_(σS+1)(σS_2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(3,2,1) |ψS(σS_2+ψS_(σS+1)(σS_2+ψ_S_(σS+1)(σS_2))) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(4,3) |ψS(σS_2+S_(σS+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(4,3,2) |ψS(σS_2+ψσS_2(σσS_ω))) |- |(1,1,1,1)(2,2,2,1)(3,2,1)(4,3,2,1) |ψS(σS_2+ψσS_2(σ^ωS))) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1) |ψS(σS_2*2) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5) |ψS(σS_2*ω) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1) |ψS(σS_2*σS) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1) |ψS(σS_2*ψS_(σS+1)(σS_2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1,1) |ψS(σS_2*ψS_(σS+1)(σS_2*2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1,1)(6,3,2,1)(7,2)(2,2,2,1) |ψS(σS_2*ψS_(σS+1)(σS_2*σS)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3) |ψS(σS_2*S_(σS+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3)(5,4,2,1) |ψS(σS_2*(S_(σS+1)+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3,1) |ψS(σS_2*ψS_(σS+2)(σS_2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3,1,1) |ψS(σS_2*ψS_(σS+2)(σS_2*2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,4) |ψS(σS_2*S_(σS+2)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2) |ψS(σS_2*S_(σS+ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2,1) |ψS(σS_2^2) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(6,4) |ψS(S_(σS_2+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1) |ψS(σS_3) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1) |ψS(σS_3*2) |- |(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,4,1,1) |ψS(σS_4*2) |- |(1,1,1,1)(2,2,2,1)(3,2,2) |ψS(σS_ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1) |ψS(σS_ω+σS) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1) |ψS(σS_ω+ψS_(σS+1)(σS_2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1) |ψS(σS_ω+ψS_(σS+1)(σS_2*2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5) |ψS(σS_ω+ψS_(σS+1)(σS_2*ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3) |ψS(σS_ω+S_(σS+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1) |ψS(σS_ω+ψσS_2(σS_(σσS+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1)(6,4,2,1)(7,5,3,1)(8) |ψS(σS_ω+ψσS_2(σ^ωS)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1) |ψS(σS_ω+σS_2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,4,1,1) |ψS(σS_ω+σS_3) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,2) |ψS(σS_ω*2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3) |ψS(σS_ω*ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(2,2,2,1) |ψS(σS_ω*σS) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(2,2,2,1)(3,2,2) |ψS(σS_ω^2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(3,2)(2,2,2,1) |ψS(σS_ω^2*σS) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(4) |ψS(σS_ω^ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(4,3) |ψS(S_(σS_ω+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1) |ψS(σS_(ω+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2,2,2,1)(3,2,2) |ψS(σS_(ω+1)+σS_ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2,2,2,1)(3,2,2)(3,2,1) |ψS(σS_(ω+1)+ψS_(σS_ω+1)(σS_(ω+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2)(2,2,2,1) |ψS(σS_(ω+1)+ψS_(σS_ω+1)(σS_(ω+1)+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2)(4,3) |ψS(σS_(ω+1)+S_(σS_ω+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2,1) |ψS(σS_(ω+1)+ψσS_(ω+1)(σS(σσS+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(4,3,2,1) |ψS(σS_(ω+1)+ψσS_(ω+1)(σ^ωS)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1) |ψS(σS_(ω+1)*2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5) |ψS(σS_(ω+1)*ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1) |ψS(σS_(ω+1)*σS) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1)(3,2,2) |ψS(σS_(ω+1)*σS_ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(4,3,2,1) |ψS(σS_(ω+1)*(σS_ω+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(6,3) |ψS(σS_(ω+1)*(ψS(σS_ω+1)(S_(σS_ω+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2,1) |ψS(σS_(ω+1)*(ψS(σS_ω+1)(σS_(ω+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2,1,1) |ψS(σS_(ω+1)*(ψS(σS_ω+1)(σS_(ω+1)*2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3) |ψS(σS_(ω+1)*S_(σS_ω+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2,1) |ψS(σS_(ω+1)^2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3)(6,4) |ψS(S_(σS_(ω+1)+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1) |ψS(σS_(ω+2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1) |ψS(σS_(ω+2)*2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7) |ψS(σS_(ω+2)*ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,3,1) |ψS(σS_(ω+3)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,2) |ψS(σS_(ω2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,2,1)(6,3,1,1)(7,4,2) |ψS(σS_(ω3)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,2) |ψS(σS_(ω^2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4) |ψS(σS_(ω^ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1) |ψS(σS_σS) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1)(3,2,2) |ψS(σS_σS_ω) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3) |ψS(ψσσS(σS(σσS+1)*σσS)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3,2,2) |ψS(ψσσS(σS(σσS+1)*σσS*ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(5,3) |ψS(ψσσS(σS(σσS+1)*ψS_(σσS+1)(S_(σσS+1)))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1))*2) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+1)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,2,1,1) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+ψσσS(σS(σσS+1)*S_(σσS+1)))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+σσS)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,1,1) |ψS(ψσσS(σS(σσS+1)*(S_(σσS+1)+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,1,1)(7,4,2,1)(8) |ψS(ψσσS(σS(σσS+1)*(S_(σσS+1)+ω))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(4,2,1) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)^2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(5) |ψS(ψσσS(σS(σσS+1)*S_(σσS+1)^ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3) |ψS(ψσσS(σS(σσS+1)*ψS_(σσS+2)(S_(σσS+2)))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,1) |ψS(ψσσS(σS(σσS+1)*S_(σσS+2))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2) |ψS(ψσσS(σS(σσS+1)*S_(σσS+2)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5) |ψS(ψσσS(σS(σσS+1)*S_(σσS+ω))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5,3) |ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+1)*σσS))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5,4,2) |ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+2)+1))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3) |ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+ω)))) |- |(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3,1) |ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σ^ωS))) |- |(1,1,1,1)(2,2,2,1)(3,2,2,1) |ψS(ψσσS(σS(σσS+1)^2)) |- |(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,2) |ψS(ψσσS(σS(σσS+1)^2*ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2,1)(4) |ψS(ψσσS(σS(σσS+1)^ω)) |- |(1,1,1,1)(2,2,2,1)(3,2,2,1)(4,2,2,1) |ψS(ψσσS(σS(σσS+1)^σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3) |ψS(ψσσS(σσS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,1) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,1)(3,3) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1))+σσS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,1)(4) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1)+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,1)(4,4) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(S_(σσS_2+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,1)(4,4,2) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(σσS_ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,1)(4,4,2,1) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(σ^ωS)) |- |(1,1,1,1)(2,2,2,1)(3,3,1,1) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))*2) |- |(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+1)) |- |(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,3) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1))+σσS_2))) |- |(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,4) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+σσS)) |- |(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,4,1,1) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*2)*2) |- |(1,1,1,1)(2,2,2,1)(3,3,2) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω^2)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2,1) |ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)^2)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2,1)(4,3) |ψS(ψσσS(S_(σσS_2+1)+ψS_(σS(σσS+1)+1)(S_(σS(σσS+1)+1)))) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(3,3) |ψS(ψσσS(S_(σσS_2+1)+σS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(3,3,2) |ψS(ψσσS(S_(σσS_2+1)*2+σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4) |ψS(ψσσS(S_(σσS_2+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4,4) |ψS(ψσσS(ψ_S_(σσS_2+2)(S_(σσS_2+2)))) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4,4,1) |ψS(ψσσS(S_(σσS_2+2)+σS(σσS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4,4,2) |ψS(ψσσS(S_(σσS_2+2)+σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4,4,3) |ψS(ψσσS(ψσS_(σσS_2+1)(σS_(σσS_2+ω)))) |- |(1,1,1,1)(2,2,2,1)(3,3,2)(4,4,3,1) |ψS(ψσσS(ψσS_(σσS_2+1)(σ^ωS))) |- |(1,1,1,1)(2,2,2,1)(3,3,2,1) |ψS(ψσσS(σS_(σσS_2+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,2,1)(4) |ψS(ψσσS(σS_(σσS_2+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4) |ψS(ψσσS(ψS_(σS_(σσS_2+1)+1)(S_(σS_(σσS_2+1)+1)))) |- |(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2) |ψS(ψσσS(S_(σσS_3+1)+σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2,1) |ψS(ψσσS(σS_(σσS_3+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3) |ψS(ψσσS(σσS_ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3)(4,4,4) |ψS(ψσσS(σσσS_ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3)(4,4,4,1) |ψS(ψσσS(σ^ωS)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1) |ψS(σσS) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1) |ψS(σσS+σS) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3) |ψS(σσS+ψσσS(σσS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,2) |ψS(σσS+ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,2,1) |ψS(σσS+ψσσS(σS_(σσS_2+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3) |ψS(σσS+ψσσS(σσS_ω))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3,1) |ψS(σσS*2) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(2,2,2,1) |ψS(σσS*σS) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(2,2,2,1)(3,3,3,1) |ψS(σσS^2) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(4,3) |ψS(S_(σσS+1)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1) |ψS(σS_(σσS+1)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1) |ψS(σS_(σσS+1)*2) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1)(4,3,2,1)(5) |ψS(σS_(σσS+1)*ω) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1)(4,3,2,1)(5,4,3,1) |ψS(σσS_2) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2) |ψS(σσS_ω) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2)(4,2)(3) |ψS(ψσσσS(σσS(σσσS+1)*σσσS)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1) |ψS(ψσσσS(σσS(σσσS+1)*σS(σσσS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3,1) |ψS(ψσσσS(σσS(σσσS+1)^2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3) |ψS(ψσσσS(ψS_(σσS(σσσS+1)+1)(S_(σσS(σσσS+1)+1)))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2) |ψS(ψσσσS(S_(σσσS_2+1)+σσS(σσσS+1)*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1) |ψS(ψσσσS(σS_(σσσS_2+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1)(4,4,3,1) |ψS(ψσσσS(σσS_(σσσS_2+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3) |ψS(ψσσσS(σσσS_ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3,1) |ψS(σσσS) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3,1)(3,3,3,1) |ψS(σσσσS) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4) |ψS(ψθS(σθS*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2)(3) |ψS(ψθS(σθS*θS)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,1) |ψS(ψθS(σθS*S(θS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,1,1) |ψS(ψθS(σθS*S(θS+1)+σS(θS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2) |ψS(ψθS(σθS*S(θS+1)+ψθS_2(σθS*σ(θS+1)+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,2)(3) |ψS(ψθS(σθS*S(θS+1)+ψθS_2(σθS*σ(θS+1)+θS))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3) |ψS(ψθS(σθS*S(θS+1)+θS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3,3,1) |ψS(ψθS(σθS*(S(θS+1)+ω))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3,3,1)(6,4,4,1)(7,5,5,1) |ψS(ψθS(σθS*S(θS+1)^2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1) |ψS(ψθS(σθS*ψθS_2(σθS))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1)(5,3,3,1)(6) |ψS(ψθS(σθS*ψθS_2(σθS*ω))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1)(5,3,3,1)(6,4,4,1)(7) |ψS(ψθS(σθS*ψθS_2(σ^ωθS))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3) |ψS(ψθS(σθS*θσ_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(3,3,3,1) |ψS(ψθS(σθS^2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(5,4) |ψS(ψθS(S_(σθS+1))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,1) |ψS(ψθS(σθS_2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,1,1) |ψS(ψθS(σθS_2+ψσθS_2(σθS(σσθS+1)))*2) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2) |ψS(ψθS(σθS_2+ψσθS_2(σθS(σσθS+1)))*ω) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2,1) |ψS(ψθS(σθS_2*2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2,1)(5,4,3,1)(6) |ψS(ψθS(σθS_2*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3) |ψS(ψθS(σθS_ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3,1) |ψS(ψθS(ψσσθS(σθS(σσθS+1)^2))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4) |ψS(ψθS(ψσσθS(σσθS_2))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,1) |ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1)))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,2,1) |ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1))*2)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,3) |ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1))*ω)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,3,1) |ψS(ψθS(ψσσθS(σθS_(σσθS_2+1)))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4) |ψS(ψθS(ψσσθS(σσθS_ω))) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4,1) |ψS(ψθS(σσθS)) |- |(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4,1)(5) |ψS(ψθS(ψθθS(σθθS*ω))) |- |(1,1,1,1)(2,2,2,2) |ψS(ψX(θX*ω)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2) |ψS(ψX(θX*ω^2)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3) |ψS(ψX(θX*X)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3,2,2,2) |ψS(ψX(θX*X+ψX_2(θX+1))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3,2,2,2)(4,2)(3) |ψS(ψX(θX*X+ψX_2(θX+X))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(5,3) |ψS(ψX(θX*X+ψX_2(θX+ψX_2(X_2)))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,1) |ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX)))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2) |ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX*ω)))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(3) |ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX*X)))) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(5,3) |ψS(ψX(θX*X+X_2)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(5,3,3) |ψS(ψX(θX*X+X_ω)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,1) |ψS(ψX(θX*X+θX)) |- |(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,2) |ψS(ψX(θX*X*ω)) |- |(1,1,1,1)(2,2,2,2)(3,3) |ψS(ψX(θX*X*ω+X_2)) |- |(1,1,1,1)(2,2,2,2)(3,3,3) |ψS(ψX(θX*X*ω+X_ω)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,1) |ψS(ψX(θX*(X*ω+1))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2) |ψS(ψX(θX*X*ω^2)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,1) |ψS(ψX(θX^2)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,2) |ψS(ψX(θX^2*ω)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,1) |ψS(ψX(X(θX+1))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,1,1) |ψS(ψX(σX(θX+1))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,2) |ψS(ψX(ψθX_2(θX(σθX+1)*ω))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,2,1) |ψS(ψX(θX_2)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3) |ψS(ψX(θX_ω)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3)(5,3)(4) |ψS(ψX(ψθθX(θX(θθX+1)*θθX))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3)(5,4) |ψS(ψX(ψθθX(θX(θθX+1)*ψX_(θθX+2)(X_(θθX+2))))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3,1) |ψS(ψX(ψθθX(θX(θθX+1)^2))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3,2) |ψS(ψX(ψθθX(θX(θθX+1)^2*ω))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4) |ψS(ψX(ψθθX(θθX_2))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4) |ψS(ψX(ψθθX(θθX_ω))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4,1) |ψS(ψX(θθX)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4,2) |ψS(ψX(θθX*ω)) |- |(1,1,1,1)(2,2,2,2)(3,3,3,3) |ψS(ψH(H^(H^2+Hω))) |- |(1,1,1,1)(2,2,2,2)(3,3,3,3)(4,4,4,4) |ψS(ψH(H^(H^3+Hω))) |- |(1,1,1,1)(2,2,2,2,1) |ψS(ψH(H^(H^ω))) |- |(1,1,1,1,1) |S |- |(1,1,1,1,1)(2,2) |ψ_Ω(S+1)(Ω(S+1)) |- |(1,1,1,1,1)(2,2,1) |Ω(S+1) |- |(1,1,1,1,1)(2,2,1,1) |α(S+1) |- |(1,1,1,1,1)(2,2,1,1,1) |S_2 |- |(1,1,1,1,1)(2,2,1,1,1)(3) |S_ω |- |(1,1,1,1,1)(2,2,1,1,1)(3,3) |ψθS(σθS+θS_2) |- |(1,1,1,1,1)(2,2,1,1,1)(3,3,1,1,1) |ψθS(σθS+ψθS_3(σθS)) |- |(1,1,1,1,1)(2,2,2) |ψθS(σθS+θS_ω) |- |(1,1,1,1,1)(2,2,2,1) |ψθS(σθS2) |- |(1,1,1,1,1)(2,2,2,1,1) |θS |- |(1,1,1,1,1)(2,2,2,2) |ψX(θX*ω) |- |(1,1,1,1,1)(2,2,2,2,1) |X |- |(1,1,1,1,1)(2,2,2,2,1)(3) |ψH(H^H^ω) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2) |ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H*ω)))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2,2) |ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^(H^H*ω))))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2,2,1) |ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^(H+1))))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2)(4,3) |ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^(H+1))))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2,2) |ψ_ψH(H^H^H)(ψH(H^H^(H+1)*ω))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,2,2,2) |ψ_ψH(H^H^H)(ψH(H^(H^(H+1)*ω)))) |- |(1,1,1,1,1)(2,2,2,2,1)(3,3,3,3,1) |ψ_ψH(H^H^H)(ψH(H^H^(H2))) |- |(1,1,1,1,1)(2,2,2,2,2) |ψ_ψH(H^H^H)(ψH(H^H^(Hω))) |- |(1,1,1,1,1)(2,2,2,2,2,1) |ψ_ψH(H^H^H)(ψH(H^H^H^ω)) |- |(1,1,1,1,1,1) |ψH(H^H^H) |- |(1,1,1,1,1,1,1) |ψH(H^^4) |- |(1^(2)) |ψH(e(H+1)) |} [[分类:分析]]
返回
非递归BMS分析
。
查看“︁非递归BMS分析”︁的源代码
来自Googology Wiki
