打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁BMS分析Part6”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
BMS分析Part6
因为以下原因，您没有权限编辑该页面：
您请求的操作仅限属于这些用户组的用户执行：
用户
、
评审员
您可以查看和复制此页面的源代码。
本词条是[[BMS]]强度分析的第六部分，也是最后一个部分 {| class="wikitable" |BMS |Standard（[[序数坍缩函数#BOCF|BOCF]]/[[投影序数]]） |- |(0)(1,1,1,1) |ψ(ψS(σS*ω)) = Trio Sequence System Ordinαl |- |(0)(1,1,1,1)(1,1) |ψ(ψS(σS*ω)+Ω) |- |(0)(1,1,1,1)(1,1)(2,2) |ψ(ψS(σS*ω)+ψ_1(Ω_2)) |- |(0)(1,1,1,1)(1,1)(2,2,1) |ψ(ψS(σS*ω)+ψ_1(Ω_ω)) |- |(0)(1,1,1,1)(1,1)(2,2,1,1) |ψ(ψS(σS*ω)+ψ_1(ψS(σS*ω))) |- |(0)(1,1,1,1)(1,1)(2,2,1,1)(2,2) |ψ(ψS(σS*ω)+Ω_2) |- |(0)(1,1,1,1)(1,1,1) |ψ(ψS(σS*ω)+Ω_ω) |- |(0)(1,1,1,1)(1,1,1)(2,2) |ψ(ψS(σS*ω)+ψα(α_2)) |- |(0)(1,1,1,1)(1,1,1)(2,2,2) |ψ(ψS(σS*ω)+ψα(α_ω)) |- |(0)(1,1,1,1)(1,1,1)(2,2,2,1) |ψ(ψS(σS*ω)+ψα(ψS(σS*ω))) |- |(0)(1,1,1,1)(1,1,1)(2,2,2,1)(2,2) |ψ(ψS(σS*ω)+ψα(ψS(σS*ω)+α_2)) |- |(0)(1,1,1,1)(1,1,1)(2,2,2,1)(2,2,1) |ψ(ψS(σS*ω)+ψα(ψS(σS*ω)+Ω(α_2+1)+ψα_2(ψS(σS*ω)+Ω(α_2+1)+1))) |- |(0)(1,1,1,1)(1,1,1)(2,2,2,1)(2,2,2) |ψ(ψS(σS*ω)+α_ω)=ψ(ψS(σS*ω)+ψα(ψS(σS*ω)+α_ω)) |- |(0)(1,1,1,1)(1,1,1)(2,2,2,1)(2,2,2)(3,3,3,1)(3,3,3) |ψ(ψS(σS*ω)+β_ω) |- |(0)(1,1,1,1)(1,1,1,1) |ψ(ψS(σS*ω)*2) |- |(0)(1,1,1,1)(1,1,1,1)(1,1,1,1) |ψ(ψS(σS*ω)*3) |- |(0)(1,1,1,1)(2) |ψ(ψS(σS*ω+1)) |- |(0)(1,1,1,1)(2,1) |ψ(ψS(σS*ω+Ω)) |- |(0)(1,1,1,1)(2,1)(1,1) |ψ(ψS(σS*ω+Ω)+Ω) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1) |ψ(ψS(σS*ω+Ω)+ψ_1(ψS(σS*ω+Ω))) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2) |ψ(ψS(σS*ω+Ω)+Ω_2) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1) |ψ(ψS(σS*ω+Ω)+Ω_ω) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2) |ψ(ψS(σS*ω+Ω)+ψα(α_ω)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1) |ψ(ψS(σS*ω+Ω)+ψα(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,2)(4,3) |ψ(ψS(σS*ω+Ω)+α) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,2,1) |ψ(ψS(σS*ω+Ω)+ψα_2(ψS(σS*ω+Ω)+1)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,2,1)(4,3,2) |ψ(ψS(σS*ω+Ω)+ψα_2(ψS(σS*ω+Ω)+ψα_2(α_ω))) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,3) |ψ(ψS(σS*ω+Ω)+α_2) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,3,1) |ψ(ψS(σS*ω+Ω)+Ω(α_2+1)+ψα_2(ψS(σS*ω+Ω)+Ω(α_2+1)+1)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,3,1)(4,4,2,1)(5,1)(4,4) |ψ(ψS(σS*ω+Ω)+α_3) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,3,2) |ψ(ψS(σS*ω+Ω)+α_ω) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1)(3,3,2,1)(4,1)(3,3,2)(4,4,3,1)(5,1)(4,4,3) |ψ(ψS(σS*ω+Ω)+β_ω) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1,1) |ψ(ψS(σS*ω+Ω)+ψS(σS*ω)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1,1)(3) |ψ(ψS(σS*ω+Ω)+ψS(σS*ω+1)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(2,2,1,1)(3,1) |ψ(ψS(σS*ω+Ω)*2) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(3) |ψ(ψS(σS*ω+Ω+1)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(4,2) |ψ(ψS(σS*ω+ψ_1(Ω_2))) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,1)(4,2,1,1) |ψ(ψS(σS*ω+ψ_1(ψS(σS*ω)))) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,2) |ψ(ψS(σS*ω+Ω_2)) |- |(0)(1,1,1,1)(2,1)(1,1)(2,2,1,1)(3,2)(2,2)(3,3,1,1)(4,3) |ψ(ψS(σS*ω+Ω_3)) |- |(0)(1,1,1,1)(2,1)(1,1,1) |ψ(ψS(σS*ω+Ω_ω)) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1) |ψ(ψS(σS*ω+ψα(ψS(σS*ω)))) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,1) |ψ(ψS(σS*ω+ψα(ψS(σS*ω+Ω)))) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,1)(2) |ψ(ψS(σS*ω+α)) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,1,1) |ψ(ψS(σS*ω+Ω(α+1))+ψα_2(ψS(σS*ω+Ω(α+1))+1)) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,2) |ψ(ψS(σS*ω+α_2)) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,2)(2,2,2) |ψ(ψS(σS*ω+α_ω)) |- |(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,3,3,1)(4,3)(3,3,3) |ψ(ψS(σS*ω+β_ω)) |- |(0)(1,1,1,1)(2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1)(1,1,1,1)(2) |ψ(ψS(σS*ω+ψS(σS*ω))+ψS(σS*ω)) |- |(0)(1,1,1,1)(2,1)(1,1,1,1)(2,1) |ψ(ψS(σS*ω+ψS(σS*ω))+ψS(σS*ω+Ω)) |- |(0)(1,1,1,1)(2,1)(1,1,1,1)(2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS(σS*ω))*2) |- |(0)(1,1,1,1)(2,1)(2) |ψ(ψS(σS*ω+ψS(σS*ω)+1)) |- |(0)(1,1,1,1)(2,1)(2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS(σS*ω)*2)) |- |(0)(1,1,1,1)(2,1)(3) |ψ(ψS(σS*ω+ψS(σS*ω+1))) |- |(0)(1,1,1,1)(2,1)(3,2) |ψ(ψS(σS*ω+S)) |- |(0)(1,1,1,1)(2,1)(3,2,1,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψα_2(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψα_2(ψS(σS*ω+ψS_2(σS))+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψα_2(ψS(σS*ω+ψS_2(σS))+1)+ψα(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψα_2(ψS(σS*ω+ψS_2(σS))+1)+ψα(ψS(σS*ω+ψS_2(σS))+ψα_2(ψS(σS*ω+ψS_2(σS))+1))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(2,2) |ψ(ψS(σS*ω+ψS_2(σS))+α_2) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(2,2,2) |ψ(ψS(σS*ω+ψS_2(σS))+α_ω) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(2,2,2)(3,3,3,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψβ(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1) |ψ(ψS(σS*ω+ψS_2(σS))+ψS(σS*ω)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(3) |ψ(ψS(σS*ω+ψS_2(σS)+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(3,2)(2,2,2,1) |ψ(ψS(σS*ω+ψS_2(σS)+ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(3,2,1) |ψ(ψS(σS*ω+ψS_2(σS)+ψS(σS*ω+ψS_2(σS)))+ψα_2(ψS(σS*ω+ψS_2(σS)+ψS(σS*ω+ψS_2(σS)))+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4) |ψ(ψS(σS*ω+ψS_2(σS)+ψS(σS*ω+ψS_2(σS)+1))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3) |ψ(ψS(σS*ω+ψS_2(σS)+S)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,1) |ψ(ψS(σS*ω+ψS_2(σS)*2)+ψα_2(ψS(σS*ω+ψS_2(σS)*2)+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,1)(4,3) |ψ(ψS(σS*ω+ψS_2(σS)*2+S)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,1)(4,3)(5,4) |ψ(ψS(σS*ω+ψS_2(σS)*3)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,1)(5) |ψ(ψS(σS*ω+ψS_2(σS+1))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,1)(5,4) |ψ(ψS(σS*ω+ψS_2(σS+S_2))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,2) |ψ(ψS(σS*ω+ψS_2(σS+S_ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,1)(4,3,2,1) |ψ(ψS(σS*ω+ψS_2(σS*2))+ψβ_2(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2) |ψ(ψS(σS*ω+ψS_2(σS*2))+ψβ_2(ψS(σS*ω+ψS_2(σS*2))+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(3,3) |ψ(ψS(σS*ω+ψS_2(σS*2))+β_2) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(3,3,3,1) |ψ(ψS(σS*ω+ψS_2(σS*2))+ψS(σS*ω)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4) |ψ(ψS(σS*ω+ψS_2(σS*2)+S)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4,2) |ψ(ψS(σS*ω+ψS_2(σS*2)*2)+ψβ_2(ψS(σS*ω+ψS_2(σS*2)*2)+1)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4,2)(6) |ψ(ψS(σS*ω+ψS_2(σS*2+1))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4,2)(6,4) |ψ(ψS(σS*ω+ψS_2(σS*2+S))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4,2)(6,5) |ψ(ψS(σS*ω+ψS_2(σS*2+S_2))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1)(2,2,2,1)(3,2,2)(2,2,2)(3,3,3,1)(4,3,2)(5,4,3,1) |ψ(ψS(σS*ω+ψS_2(σS*3))+ψγ_2(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1,1)(2,1) |ψ(ψS(σS*ω+ψS_2(σS*ω))+ψS(σS*ω+Ω)) |- |(0)(1,1,1,1)(2,1,1)(1,1,1,1)(2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω))+ψS(σS*ω+ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(1,1,1,1)(2,1,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω))*2) |- |(0)(1,1,1,1)(2,1,1)(2) |ψ(ψS(σS*ω+ψS_2(σS*ω)+1)) |- |(0)(1,1,1,1)(2,1,1)(2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(2,1)(3,2) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+S))) |- |(0)(1,1,1,1)(2,1,1)(2,1)(3,2,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS)))+ψα_2(ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1)(2,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS)))+ψα_2(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS)))+1)) |- |(0)(1,1,1,1)(2,1,1)(2,1,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω)))) |- |(0)(1,1,1,1)(2,1,1)(3) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω)+1))) |- |(0)(1,1,1,1)(2,1,1)(3,1,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω))))) |- |(0)(1,1,1,1)(2,1,1)(3,1,1)(4) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω)+ψS(σS*ω+ψS_2(σS*ω)+1)))) |- |(0)(1,1,1,1)(2,1,1)(3,2) |ψ(ψS(σS*ω+ψS_2(σS*ω)+S)) |- |(0)(1,1,1,1)(2,1,1)(3,2,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)+ψS_2(σS))+ψα_2(ψS(σS*ω+ψS_2(σS*ω)+ψS_2(σS))+1)) |- |(0)(1,1,1,1)(2,1,1)(3,2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω)*2)) |- |(0)(1,1,1,1)(2,1,1)(3,2,1)(4) |ψ(ψS(σS*ω+ψS_2(σS*ω+1))) |- |(0)(1,1,1,1)(2,1,1)(3,2,1)(4,2) |ψ(ψS(σS*ω+ψS_2(σS*ω+S))) |- |(0)(1,1,1,1)(2,1,1)(3,2,1)(4,2,1)(1,1,1,1) |ψ(ψS(σS*ω+ψS_2(σS*ω+ψS_2(σS*ω)))) |- |(0)(1,1,1,1)(2,1,1)(3,2,1)(4,3) |ψ(ψS(σS*ω+S_2)) |- |(0)(1,1,1,1)(2,1,1)(3,2,2) |ψ(ψS(σS*ω+S_ω)) |- |(0)(1,1,1,1)(2,1,1)(3,2,2)(4,3,3) |ψ(ψS(σS*(ω+1)+S_ω)) |- |(0)(1,1,1,1)(2,1,1)(3,2,2,1) |ψ(ψS(σS*(ω2))) |- |(0)(1,1,1,1)(2,1,1)(3,2,2,1)(4,2,2)(5,3,2)(6,4) |ψ(ψS(σS*(ω2)+S_2)) |- |(0)(1,1,1,1)(2,1,1)(3,2,2,1)(4,2,2)(5,3,3) |ψ(ψS(σS*(ω2+1)+ψS_2(σS*(ω2+1)+1))) |- |(0)(1,1,1,1)(2,1,1)(3,2,2,1)(4,2,2)(5,3,3,1) |ψ(ψS(σS*(ω3))) |- |(0)(1,1,1,1)(2,1,1,1) |ψ(ψS(σS*(ω^2))) |- |(0)(1,1,1,1)(2,1,1,1)(2,1,1,1) |ψ(ψS(σS*(ω^3))) |- |(0)(1,1,1,1)(2,1,1,1)(3) |ψ(ψS(σS*(ω^ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1) |ψ(ψS(σS*Ω)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(1,1,1) |ψ(ψS(σS*Ω_ω)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(1,1,1,1) |ψ(ψS(σS*ψS(σS*ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S)) = Large Simple Projection Ordinal |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1) |ψ(ψS(σS*S+Ω)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS(σS*S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1)(3) |ψ(ψS(σS*S+ψS(σS*S+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1)(3,2) |ψ(ψS(σS*S+S)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1) |ψ(ψS(σS*S+ψS_2(σS))+ψα_2(ψS(σS*S+ψS_2(σS))+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(1,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S))+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(2,1)(3,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S))+ψS(σS*S+S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S))+ψS(σS*S+ψS_2(σS*ψS(σS*S))+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S))+S)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,1)(4) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,1)(4,3) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)+S_2))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)+S_ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1) |ψ(ψS(σS*S+ψS_2(σS*(ψS(σS*S)+ω)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(1,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*(ψS(σS*S)+ψS(σS*ω))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2)(5,3) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+S)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+ψS_2(σS*ψS(σS*S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,1)(5,3,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+ψS_2(σS*ψS(σS*S)+S_ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+ψS_2(σS*(ψS(σS*S)+1)))+ψ_{ψS(σS*S+ψS_2(σS*(ψS(σS*S)+1))*2)}(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+ψS_2(σS*(ψS(σS*S)+1)))+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2)(3,2,2,1) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2)+ψS_2(σS*(ψS(σS*S)+ω)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2)(3,2,2,1)(4,2,2,1)(5,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S))*2)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2)(5,3,2)(6) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2)(5,3,3) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S)*2+S_ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(4,2,2,1) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S+1)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,1)(6,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S+S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,2) |ψ(ψS(σS*S+ψS_2(σS*ψS(σS*S+ψS_2(σS*(ψS(σS*S)+1)))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,2)(4) |ψ(ψS(σS*S+ψS_2(σS*S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*S+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*S+S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(2,1,1,1)(3,1)(2,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*S+S+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*S+S*ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1)(4,2) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS)))+ψα_2(ψS(σS*S+ψS_2(σS*S+ψS_2(σS)))+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(1,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS*ω)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(2) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS*S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(2,1,1,1) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS*S)+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(3,1)(2) |ψ(ψS(σS*S+ψS_2(σS*S+ψS_2(σS*S+S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(4,2) |ψ(ψS(σS*S+S_2)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(4,2,2) |ψ(ψS(σS*S+S_ω)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(4,2,2,1) |ψ(ψS(σS*(S+ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1)(4,2,2,1)(5,2,2,1)(6,2,2)(5) |ψ(ψS(σS*S*2)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1)(3,2) |ψ(ψS(σS*S*ω+S)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS))+ψα_2(ψS(σS*S*ω+ψS_2(σS)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(1,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(1,1,1,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))+1)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(2,1)(1,1,1,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))+ψS(σS*S*ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(2,1)(3,2) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))+ψS(σS*S*ω+S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(2,1,1)(1,1,1,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))+ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(3,2) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω))+S)) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(3,2,2) |ψ(ψS(σS*S*ω+ψS_2(σS*ψS(σS*S*ω)+S_ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,2)(4) |ψ(ψS(σS*S*ω+ψS_2(σS*S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,2,2)(6,3,3) |ψ(ψS(σS*S*ω+ψS_2(σS*S+S_ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1)(3,2,2,1)(4,2,2,1)(5,2,2,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+S))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1)(2,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+S+1))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1)(4,2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1)(4,2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S+S_2)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1)(4,2,2,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψ_{ψS_2(σS*(S+1))}(ψθS_2(σS*(θS+ω)))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1)(4,2,2,1)(5,2,2,1)(6,2,2,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψ_{ψS_2(σS*(S+1))}(ψθS_2(σθS*θS*ω))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω+1)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω+S)))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1)(4,2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1,1)(2) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S))))) |- |(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω+ψS_2(σS*S*ω))))) |- |(0)(1,1,1,1)(2,2) |ψ(ψS(σS*S*ω+S_2)) |- |(0)(1,1,1,1)(2,2,1) |ψ(ψS(σS*S*ω+ψS_3(σS))+ψα_2(ψS(σS*S*ω+ψS_3(σS))+1)) |- |(0)(1,1,1,1)(2,2,1)(1,1,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*ω))) |- |(0)(1,1,1,1)(2,2,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S))) |- |(0)(1,1,1,1)(2,2,1)(2,1)(3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+S)) |- |(0)(1,1,1,1)(2,2,1)(2,1,1)(1,1,1,1)(2,2,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*ψS(σS*S*ω+ψS_3(σS*S))))) |- |(0)(1,1,1,1)(2,2,1)(2,1,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*S*ω))) |- |(0)(1,1,1,1)(2,2,1)(2,1,1,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*S*ω+S))) |- |(0)(1,1,1,1)(2,2,1)(2,1,1,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*S*ω+ψS_2(σS*S*ω)))) |- |(0)(1,1,1,1)(2,2,1)(2,1,1,1)(3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*S*ω+S_2))) |- |(0)(1,1,1,1)(2,2,1)(2,1,1,1)(3,2,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_2(σS*S*ω+ψS_3(σS*S)))) |- |(0)(1,1,1,1)(2,2,1)(2,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+S_2)) |- |(0)(1,1,1,1)(2,2,1)(2,2,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_3(σS))+ψα_2(ψS(σS*S*ω+ψS_3(σS*S)+ψS_3(σS))+1)) |- |(0)(1,1,1,1)(2,2,1)(2,2,1)(1,1,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S)+ψS_3(σS*ω))) |- |(0)(1,1,1,1)(2,2,1)(2,2,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S)*2)) |- |(0)(1,1,1,1)(2,2,1)(3) |ψ(ψS(σS*S*ω+ψS_3(σS*S+1))) |- |(0)(1,1,1,1)(2,2,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S+S))) |- |(0)(1,1,1,1)(2,2,1)(3,1,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S+ψS_2(σS*S)))) |- |(0)(1,1,1,1)(2,2,1)(3,1,1)(4,2,2,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S+ψ_{ψS(σS*(S+1))}(ψθS(σθS*ω))))) |- |(0)(1,1,1,1)(2,2,1)(3,1,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S+ψS_2(σS*S*ω)))) |- |(0)(1,1,1,1)(2,2,1)(3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S+S_2))) |- |(0)(1,1,1,1)(2,2,1)(3,3) |ψ(ψS(σS*S*ω+ψS_3(σS*S+S_3))) |- |(0)(1,1,1,1)(2,2,1)(3,3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S+S_ω))) |- |(0)(1,1,1,1)(2,2,1)(3,3,2,1) |ψ(ψS(σS*S*ω+ψ_{ψS_3(σS*(S+1))}(ψθS(σθS*(θS+ω))))) |- |(0)(1,1,1,1)(2,2,1)(3,3,2,1)(4,4,2) |ψ(ψS(σS*S*ω+ψS_3(σS*(S+1)))+ψ_{ψS(σS*(S+2)+ψS_2(σS*(S+2)))}(ψS(σS*S*ω+ψS_3(σS*(S+1)))+1)) |- |(0)(1,1,1,1)(2,2,1)(3,3,2,1)(4,4,2)(3,3,2,1) |ψ(ψS(σS*S*ω+ψS_3(σS*(S+ω)))) |- |(0)(1,1,1,1)(2,2,1)(3,3,2,1)(4,4,2)(4) |ψ(ψS(σS*S*ω+ψS_3(σS*S*2))) |- |(0)(1,1,1,1)(2,2,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω))) |- |(0)(1,1,1,1)(2,2,1,1)(2,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω)+S_2)) |- |(0)(1,1,1,1)(2,2,1,1)(2,2,1)(3,3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω)+ψS_3(σS*S+S_ω))) |- |(0)(1,1,1,1)(2,2,1,1)(2,2,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω)*2)) |- |(0)(1,1,1,1)(2,2,1,1)(3) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+1))) |- |(0)(1,1,1,1)(2,2,1,1)(3,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+S))) |- |(0)(1,1,1,1)(2,2,1,1)(3,1,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψS_2(σS*S)))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+S_2))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2,1)(2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψS_3(σS*S)))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2,1)(4,3) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψS_3(σS*S+S_3)))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2,1)(4,3,2) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψS_3(σS*S+S_ω)))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2,1)(4,3,2,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψ_{ψS_3(σS*(S+1))}(ψθS(σθS*(θS+ω)))))) |- |(0)(1,1,1,1)(2,2,1,1)(3,2,1,1) |ψ(ψS(σS*S*ω+ψS_3(σS*S*ω+ψS_3(σS*S*ω)))) |- |(0)(1,1,1,1)(2,2,1,1)(3,3) |ψ(ψS(σS*S*ω+S_3)) |- |(0)(1,1,1,1)(2,2,1,1)(3,3,1)(2) |ψ(ψS(σS*S*ω+ψS_4(σS*S))) |- |(0)(1,1,1,1)(2,2,1,1)(3,3,1,1) |ψ(ψS(σS*S*ω+ψS_4(σS*S*ω))) |- |(0)(1,1,1,1)(2,2,2) |ψ(ψS(σS*S*ω+S_ω)) |- |(0)(1,1,1,1)(2,2,2)(3,2,2) |ψ(ψS(σS*S*ω+S_{ω^2})) |- |(0)(1,1,1,1)(2,2,2)(3,2,2)(4,1)(2) |ψ(ψS(σS*S*ω+S_S)) |- |(0)(1,1,1,1)(2,2,2)(3,2,2)(4,2)(3) |ψ(ψS(σS*(S*ω+1)+ψS_2(σS*(S*ω+1)+S))) |- |(0)(1,1,1,1)(2,2,2)(3,3) |ψ(ψS(σS*(S*ω+1)+S_2)) |- |(0)(1,1,1,1)(2,2,2)(3,3,3) |ψ(ψS(σS*(S*ω+1)+S_ω)) |- |(0)(1,1,1,1)(2,2,2)(3,3,3,1) |ψ(ψS(σS*(S*ω+ω))) |- |(0)(1,1,1,1)(2,2,2)(3,3,3,1)(4,3,3,1) |ψ(ψS(σS*(S*ω+ω^2))) |- |(0)(1,1,1,1)(2,2,2)(3,3,3,1)(4,3,3,1)(5,3)(4) |ψ(ψS(σS*(S*ω+S))) |- |(0)(1,1,1,1)(2,2,2)(3,3,3,1)(4,3,3,1)(5,3,3,1) |ψ(ψS(σS*(S*ω*2))) |- |(0)(1,1,1,1)(2,2,2)(3,3,3,1)(4,4) |ψ(ψS(σS*(S*ω*2)+S_2)) |- |(0)(1,1,1,1)(2,2,2,1) |ψ(ψS(σS*(S*ω^2))) |- |(0)(1,1,1,1)(2,2,2,1)(2,2,2,1) |ψ(ψS(σS*(S*ω^3))) |- |(0)(1,1,1,1)(2,2,2,1)(3) |ψ(ψS(σS*(S*ω^ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1)(2) |ψ(ψS(σS*(S^2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1)(4,2) |ψ(ψS(σS*ψS_2(σS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1) |ψ(ψS(σS*ψS_2(σS))+ψα_2(ψS(σS*ψS_2(σS))+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1)(2) |ψ(ψS(σS*ψS_2(σS*S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1)(4,2) |ψ(ψS(σS*ψS_2(σS*S+S_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1)(4,2,2,1) |ψ(ψS(σS*ψ_{ψS_2(σS*(S+1))}(ψθS(σθS*ω)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1,1) |ψ(ψS(σS*ψS_2(σS*S*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1,1)(4,2,2,1)(5,1)(2) |ψ(ψS(σS*ψS_2(σS*(S^2)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,1,1,1)(4,2,2,1)(5,1,1)(2) |ψ(ψS(σS*ψS_2(σS*ψS_2(σS*S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2) |ψ(ψS(σS*S_2)) |- |(0)(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_2+S_3)) |- |(0)(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_2+S_ω)) |- |(0)(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_2*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(5,3) |ψ(ψS(σS*ψS_3(S_3))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2,1)(2) |ψ(ψS(σS*ψS_3(σS*S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,3) |ψ(ψS(σS*S_3)) |- |(0)(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)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2) |ψ(ψS(σS*S_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,2,2) |ψ(ψS(σS*S_{ω^2})) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,2,2)(4,2)(3) |ψ(ψS(σS^2+ψS_2(σS^2+S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,2,2)(4,2)(3,2,2) |ψ(ψS(σS^2+ψS_2(σS^2+S+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,2,2)(4,2)(5,3) |ψ(ψS(σS^2+ψS_2(σS^2+ε(S+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,2,2)(4,2,2) |ψ(ψS(σS^2+ψS_2(σS^2+ψS_2(σS^2)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,3) |ψ(ψS(σS^2+S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2)(3,3,3) |ψ(ψS(σS^2+S_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1) |ψ(ψS(σS^2*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2) |ψ(ψS(σS^2*S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2)(2,2,2,1) |ψ(ψS(σS^3*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(3) |ψ(ψS(σS^ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(3,2)(2,2,2,1) |ψ(ψS(σS^σS*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(4,3) |ψ(ψS(S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2)(4,3,1) |ψ(ψS(σS_2)+Ω(α+1)*ω) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1) |ψ(ψS(σS_2)+ψα_2(ψS(σS_2)+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(1,1,1,1) |ψ(ψS(σS_2*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(2) |ψ(ψS(σS_2*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2,1) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2)))+ψα_2(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2)))+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2,1)(2) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2,1)(2,2,2,1) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(3) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(3,2)(2,2,2,1) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S+σS)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(3,2,1)(2) |ψ(ψS(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S+ψS(σS+1)(σS_2*S))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(4,3) |ψ(ψS(σS_2*S+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1)(4,3,2) |ψ(ψS(σS_2*S+S(σS+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1) |ψ(ψS(σS_2*(S+1)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(2,2,2,1) |ψ(ψS(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(2,2,2,1)(3,2,1)(2) |ψ(ψS(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ψS(σS+1)(σS_2*S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(3) |ψ(ψS(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(3,2)(4,3) |ψ(ψS(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ε(σS+1))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(3,2,1)(2) |ψ(ψS(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ψS(σS+1)(σS_2*(S+1)+ψS(σS+1)(σS_2*S))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3) |ψ(ψS(σS_2*(S+1)+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,1)(2) |ψ(ψS(σS_2*(S+1)+ψS(σS+2)(σS_2*S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,1,1) |ψ(ψS(σS_2*(S+1)+ψS(σS+2)(σS_2*(S+1))+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,1,1)(5,4) |ψ(ψS(σS_2*(S+1)+S(σS+2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2) |ψ(ψS(σS_2*(S+1)+S(σS+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2)(5,4) |ψ(ψS(σS_2*(S+2)+S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2)(5,4,3,1) |ψ(ψS(σS_2*(S+2)+σS*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1) |ψ(ψS(σS_2*(S+2)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(3) |ψ(ψS(σS_2*(S+2)+ψS(σS+1)(σS_2*(S+2)+ψS(σS+1)(σS_2*(S+2)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(4,3) |ψ(ψS(σS_2*(S+2)+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(4,3,2) |ψ(ψS(σS_2*(S+2)+S(σS+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(4,3,2,1) |ψ(ψS(σS_2*(S+3)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,1)(2) |ψ(ψS(σS_2*S*2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,1)(4,3) |ψ(ψS(σS_2*S*2+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,1,1) |ψ(ψS(σS_2*ψS_2(σS))+ψα_2(ψS(σS_2*ψS_2(σS))+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2) |ψ(ψS(σS_2*S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2) |ψ(ψS(σS_2*S_ω)) |- |(0)(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+ψS(σS+1)(σS_2*σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(4,3) |ψ(ψS(σS_2*σS+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(4,3,2,1)(5,2) |ψ(ψS(σS_2*(σS+S_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(6,3) |ψ(ψS(σS_2*ε(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1)(2) |ψ(ψS(σS_2*ψS(σS+1)(σS_2*S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3) |ψ(ψS(σS_2*S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3) |ψ(ψS(σS_2*S(σS+1)+S(σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1)(2) |ψ(ψS(σS_2*S(σS+1)+ψS(σS+2)(σS_2*S))) |- |(0)(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) |ψ(ψS(σS_2*S(σS+1)+S(σS+2))) |- |(0)(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) |ψ(ψS(σS_2*S(σS+1)+S(σS+ω))) |- |(0)(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)(6,3) |ψ(ψS(σS_2*S(σS+1)*2)) |- |(0)(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))) |- |(0)(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+ω))) |- |(0)(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+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(5) |ψ(ψS(σS_2^2*ω)) |- |(0)(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))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1)(2) |ψ(ψS(σS_3*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2) |ψ(ψS(σS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2)(2,2,2) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+S_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2)(2,2,2,1) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2)(4,3) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ε(σS+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1)(2) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ψS(σS+1)(σS_2*S)))) |- |(0)(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_ω+ψS(σS+1)(σS_2*(S+1)))+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(2,2,2,1) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ψS(σS+1)(σS_2*(S+1))+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(3) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ψS(σS+1)(σS_2*(S+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ψS(σS+1)(σS_2*(S+1)+S(σS+1))))) |- |(0)(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_ω+ψS(σS+1)(σS_2*(S+ω))))) |- |(0)(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,2) |ψ(ψS(σS_ω+ψS(σS+1)(σS_ω+ψS(σS+1)(σS_ω)))) |- |(0)(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,2)(4,3) |ψ(ψS(σS_ω+S(σS+1))) |- |(0)(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,2)(4,3,2) |ψ(ψS(σS_ω+S(σS+ω))) |- |(0)(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,2)(4,3,2)(5,4,3,1) |ψ(ψS(σS_ω+σS_2+σS*ω)) |- |(0)(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,2)(4,3,2,1)(5) |ψ(ψS(σS_ω+σS_2*ω)) |- |(0)(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,2)(4,3,2,1)(5,3)(6,4) |ψ(ψS(σS_ω+ε(σS_2+1))) |- |(0)(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,2)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,4,2) |ψ(ψS(σS_ω+ψS(σS_2+1)(σS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,2) |ψ(ψS(σS_ω*2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,1)(2) |ψ(ψS(σS_ω*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(2,2,2,1) |ψ(ψS(σS_ω*σS+ψS(σS+1)(σS_ω*σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(3,2) |ψ(ψS(σS_ω^2*S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(3,2)(2,2,2,1) |ψ(ψS(σS_ω^2*σS+ψS(σS+1)(σS_ω^2*σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(3,2)(2,2,2,1)(3,2,2) |ψ(ψS(σS_ω^3)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(4,3) |ψ(ψS(S(σS_ω+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1) |ψ(ψS(σS_{ω+1})+ψα_2(ψS(σS_{ω+1})+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(1,1,1,1) |ψ(ψS(σS_{ω+1}*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2) |ψ(ψS(σS_{ω+1}*S)) |- |(0)(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+σS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2,2,2,1)(3,2,2)(3,2)(4,3) |ψ(ψS(σS_{ω+1}*S+ε(σS_ω+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3) |ψ(ψS(σS_{ω+1}*S+ψS(σS_ω+1)(σS_{ω+1}*S+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2)(4,3) |ψ(ψS(σS_{ω+1}*S+ψS(σS_ω+1)(σS_{ω+1}*S+ε(σS_ω+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2,1)(2) |ψ(ψS(σS_{ω+1}*S+ψS(σS_ω+1)(σS_{ω+1}*S+ψS(σS_ω+1)(σS_{ω+1}*S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(4,3) |ψ(ψS(σS_{ω+1}*S+S(σS_ω+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(4,3,2) |ψ(ψS(σS_{ω+1}*S+S(σS_ω+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1) |ψ(ψS(σS_{ω+1}*(S+1)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5) |ψ(ψS(σS_{ω+1}*(S+ω))) |- |(0)(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})) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(3,2,2) |ψ(ψS(σS_{ω^2})) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,1)(2) |ψ(ψS(σS_S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2) |ψ(ψS(σS_S_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1) |ψ(ψS(σS_σS+ψS(σS+1)(σS_σS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1)(3,2,2) |ψ(ψS(σS_σS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*σσS*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*σσS^2))) |- |(0)(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)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1)))+ψα_2(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1)))+1)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(2,2,2,1)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(2,2,2,1)(3,2,2)(4,2)(5,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*ε(σσS+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(2,2,2,1)(3,2,2)(4,2,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2)(2,2,2,1)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)*σS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2)(4,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+S(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1)*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1)(3,2)(4,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1)*S+ψS(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+1)(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+S(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1)(4,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1)*S+S(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1)(4,3,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1)*S+S(ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1,1) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1)*(S+1)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1,1)(4,3,2,1)(5,3,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1,1)(4,3,2,1)(5,3,2)(6,3)(5) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,1,1)(4,3,2,1)(5,3,2)(6,3,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2)(4,2)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1))+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2)(4,2)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1))*2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2)(4,2)(5,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1)+σσS)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(3,2,2)(4,2,1)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψ_{ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1))}(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S)))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(5,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1)(5,3,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*S+ψσσS(σS(σσS+1)*S(σσS+1)+S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1))*(S+1)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)+σS(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,2)(7,3)(6) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)*2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)*ω^2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)*σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)*σσS*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2)(4,2)(5,3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^2+σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^2+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(3,2,2)(4,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^2*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(4) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(4,2,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+1)^S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3) |ψ(ψS(ψσσS(σS(σσS+1)*ε(S(σσS+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+2)+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+2)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5) |ψ(ψS(ψσσS(σS(σσS+1)*S(σσS+ω)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3) |ψ(ψS(ψσσS(σS(σσS+1)*ψσS(σσS+1)(σS(σσS+ω))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3,1) |ψ(ψS(ψσσS(σS(σσS+1)^2)+σS*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1) |ψ(ψS(ψσσS(σS(σσS+1)^2)*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3) |ψ(ψS(ψσσS(σS(σσS+1)^2)*ω^2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2)(2,2,2) |ψ(ψS(ψσσS(σS(σσS+1)^2)*S_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2)(4,3) |ψ(ψS(ψσσS(σS(σσS+1)^2+σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,1)(2) |ψ(ψS(ψσσS(σS(σσS+1)^2+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(6,4) |ψ(ψS(ψσσS(σS(σσS+1)^2+σS(σσS+1)+σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,2,1) |ψ(ψS(ψσσS(σS(σσS+1)^2*2)*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,2) |ψ(ψS(ψσσS(σS(σσS+1)^2*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,2)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)^2*σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,2,1) |ψ(ψS(ψσσS(σS(σσS+1)^3)*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(4) |ψ(ψS(ψσσS(σS(σσS+1)^ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(4,2)(3) |ψ(ψS(ψσσS(σS(σσS+1)^σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(4,2,2) |ψ(ψS(ψσσS(σS(σσS+1)^S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,2,2,1)(4,2,2,1) |ψ(ψS(ψσσS(σS(σσS+1)^σS(σσS+1))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3) |ψ(ψS(ψσσS(σσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1)(2) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*S)) |- |(0)(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(S(σσS_2+1)+S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1,1) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*(S+1)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1,1)(3,3) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*(S+1)+ψσσS(S(σσS_2+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*(S+1)+ψσσS(S(σσS_2+1)+S(σσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*(S+2)+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,1)(2) |ψ(ψS(ψσσS(S(σσS_2+1)+σS(σσS+1))*S*2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2) |ψ(ψS(ψσσS(S(σσS_2+1)+ψσσS_2(S(σσS_2+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(3,3) |ψ(ψS(ψσσS(S(σσS_2+1)+σσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(3,3,1)(2) |ψ(ψS(ψσσS(S(σσS_2+1)*2+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(3,3,2) |ψ(ψS(ψσσS(S(σσS_2+1)*2+ψσσS_2(S(σσS_2+1)*2+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(4) |ψ(ψS(ψσσS(S(σσS_2+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(4,2)(3) |ψ(ψS(ψσσS(S(σσS_2+1)*σσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(4,3) |ψ(ψS(ψσσS(S(σσS_2+1)*σσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(4,3,2) |ψ(ψS(ψσσS(S(σσS_2+1)^2+ψσσS_2(S(σσS_2+1)^2+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2)(4,4) |ψ(ψS(ψσσS(S(σσS_2+2)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1) |ψ(ψS(ψσσS(σS(σσS_2+1)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4) |ψ(ψS(ψσσS(σS(σσS_2+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,3,2,1) |ψ(ψS(ψσσS(σS(σσS_2+1)^2)*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,3,2,1)(5) |ψ(ψS(ψσσS(σS(σσS_2+1)^ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4) |ψ(ψS(ψσσS(S(σS(σσS_2+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2,1) |ψ(ψS(ψσσS(σS(σσS_2+2))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2,1)(5) |ψ(ψS(ψσσS(σS(σσS_2+ω)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3) |ψ(ψS(ψσσS(σσS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3)(4,3,3) |ψ(ψS(ψσσS(σσS_{ω^2}))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3)(4,3,3)(5,3)(4) |ψ(ψS(σσS+ψS_2(σσS+S)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3)(4,4) |ψ(ψS(σσS+S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1) |ψ(ψS(σσS*ω)) = Extented Simple Projection Ordinal |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2) |ψ(ψS(σσS*ω+S_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2)(3,3,3,1) |ψ(ψS(σσS*ω+σS*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1) |ψ(ψS(σσS*ω+σS*S*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3) |ψ(ψS(σσS*ω+ψσσS(σσS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3,1) |ψ(ψS(σσS*ω^2)) |- |(0)(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)*ω) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(4,3) |ψ(ψS(S(σσS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1)(2) |ψ(ψS(σS(σσS+1)*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1)(4,3,2,1)(5,4,3) |ψ(ψS(ψσσS_2(σσS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2) |ψ(ψS(σσS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2)(4,2)(3) |ψ(ψS(ψσσσS(σσS(σσσS+1)*σσσS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2)(4,2,2) |ψ(ψS(ψσσσS(σσS(σσσS+1)*S(σσσS+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1) |ψ(ψS(ψσσσS(σσS(σσσS+1)*σS(σσσS+1))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3) |ψ(ψS(ψσσσS(σσS(σσσS+1)*ψσσS(σσσS+1)(σσS(σσσS+ω))))) |- |(0)(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*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3,1)(5) |ψ(ψS(ψσσσS(σσS(σσσS+1)^ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3) |ψ(ψS(ψσσσS(σσσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,1)(2) |ψ(ψS(ψσσσS(S(σσσS_2+1)+σS(σσS+1))*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2) |ψ(ψS(ψσσσS(S(σσσS_2+1)+ψσσσS_2(S(σσσS_2+1)+1)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(3,2,2) |ψ(ψS(ψσσσS(S(σσσS_2+1)+ψσσσS_2(S(σσσS_2+1)+2)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(3,2,2,1) |ψ(ψS(ψσσσS(S(σσσS_2+1)+ψσσσS_2(S(σσσS_2+1)+σS(σσσS+1)))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(3,2,2,1)(4,3,3,1) |ψ(ψS(ψσσσS(S(σσσS_2+1)+ψσσσS(S(σσσS_2+1)+σσS(σσσS+1))*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(3,3) |ψ(ψS(ψσσσS(S(σσσS_2+1)+σσσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(4) |ψ(ψS(ψσσσS(S(σσσS_2+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2)(4,4) |ψ(ψS(ψσσσS(S(σσσS_2+2)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1) |ψ(ψS(ψσσσS(σS(σσσS_2+1))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1)(3,3) |ψ(ψS(ψσσσS(σS(σσσS_2+1)+σσσS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3) |ψ(ψS(ψσσσS(ψσσS(σσσS_2+1)(σσS(σσσS_2+ω))))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3,1) |ψ(ψS(ψσσσS(σσS(σσσS_2+1))*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1)(4,3,3,1)(4) |ψ(ψS(ψσσσS(σσS(σσσS_2+1)*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3) |ψ(ψS(ψσσσS(σσσS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3)(4,3,3) |ψ(ψS(ψσσσS(σσσS_{ω^2})))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3)(4,4) |ψ(ψS(σσσσS+S_2)))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3,1) |ψ(ψS(σσσσS*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4) |ψ(ψS(σθS*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,1)(2) |ψ(ψS(σθS*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2)(3) |ψ(ψS(σθS*θS)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2)(5,3) |ψ(ψS(σθS*S(θS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2) |ψ(ψS(σθS*S(θS+1)+ψθS_2(σθS*S(θS+1)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1) |ψ(ψS(σθS*ψθS_2(σθS)+ψθS(σθS*ψθS_2(σθS)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1)(5,3,3,1)(6) |ψ(ψS(σθS*ψθS_2(σθS*ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3) |ψ(ψS(σθS*θS_2)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(3,3,3) |ψ(ψS(σθS*θS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(3,3,3,1) |ψ(ψS(σθS^2+ψθS(σθS^2+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(5,4) |ψ(ψS(S(σθS+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,1)(2) |ψ(ψS(σθS_2+ψθS(σθS_2)*S)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2,1)(5,4,3,1)(6) |ψ(ψS(σθS_2*ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3) |ψ(ψS(σθS_ω)) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3)(4,3,3) |ψ(ψS(σθS_{ω^2})) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3)(5,3)(4) |ψ(ψS(ψσσθS(σθS(σσθS+1)*σσθS))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3)(5,3,3) |ψ(ψS(ψσσθS(σθS(σσθS+1)*θS(σσθS+1))+ψθS(ψσσθS(σθS(σσθS+1)*θS(σσθS+1))+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3,1) |ψ(ψS(ψσσθS(σθS(σσθS+1)^2)+ψθS(ψσσθS(σθS(σσθS+1)^2)+1))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4) |ψ(ψS(ψσσθS(σσθS_2))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4) |ψ(ψS(ψσσθS(σσθS_ω))) |- |(0)(1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4,1) |ψ(ψS(σσθS+ψθS(σσθS+1))) |- |(0)(1,1,1,1)(2,2,2,2) |ψ(ψX(θX*ω)) = Big Omega Back Ordinal |- |(0)(1,1,1,1)(2,2,2,2)(2,2,2,2) |ψ(ψX(θX*ω)*2) |- |(0)(1,1,1,1)(2,2,2,2)(3,1)(2) |ψ(ψX(θX*ω+S)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2) |ψ(ψX(θX*ω+S_2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2)(2,2,2) |ψ(ψX(θX*ω+S_ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2)(2,2,2,1) |ψ(ψX(θX*ω+σS)+ψθS_2(ψX(θX*ω+σS)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2)(2,2,2,2) |ψ(ψX(θX*ω+ψX(θX*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2)(4,3) |ψ(ψX(θX*ω+X)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,1) |ψ(ψX(θX*ω+ψX_2(σX))+ψα_2(ψX(θX*ω+ψX_2(σX))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,1)(2) |ψ(ψX(θX*ω+ψX_2(σX))+ψθS(ψX(θX*ω+ψX_2(σX))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,1)(4,3) |ψ(ψX(θX*ω+ψX_2(σX)+X)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,1,1) |ψ(ψX(θX*ω+ψX_2(σX*2))+σS*S*ω) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,1,1)(4,3,2,2) |ψ(ψX(θX*ω+ψX_2(θX))+ψθS_2(ψX(θX*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2) |ψ(ψX(θX*ω+ψX_2(θX))+ψθS_2(ψX(θX*ω+ψX_2(θX))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(2,2,2,2) |ψ(ψX(θX*ω+ψX_2(θX*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(3) |ψ(ψX(θX*ω+ψX_2(θX*ω)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(3,2,2) |ψ(ψX(θX*ω+ψX_2(θX*ω)+ψX_2(θX))+ψθS_2(ψX(θX*ω+ψX_2(θX*ω)+ψX_2(θX))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(4) |ψ(ψX(θX*ω+ψX_2(θX*ω+1))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(4,3) |ψ(ψX(θX*ω+X_2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(4,3,2)(2,2,2,2) |ψ(ψX(θX*ω+ψX_3(θX*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2)(4,3,3) |ψ(ψX(θX*ω+X_ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1) |ψ(ψX(θX*ω+σX)+ψθS(ψX(θX*ω+σX)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(3) |ψ(ψX(θX*ω+σX+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(3,2,2) |ψ(ψX(θX*ω+σX+ψX_2(θX))+ψθS_2(ψX(θX*ω+σX+ψX_2(θX))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(3,2,2)(2,2,2,2) |ψ(ψX(θX*ω+σX+ψX_2(θX*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(4) |ψ(ψX(θX*ω+σX*ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(4,3) |ψ(ψX(θX*ω+ε(σX+1))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,1)(4,3,3,2) |ψ(ψX(θX*ω*2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2) |ψ(ψX(θX*ω^2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,1)(2) |ψ(ψX(θX*S)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3) |ψ(ψX(θX*X)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3,2,2,2) |ψ(ψX(θX*X+ψX_2(θX*X+1))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(3) |ψ(ψX(θX*X+ψX_2(θX*X+ψX_2(θX*X)))) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(5,3) |ψ(ψX(θX*X+X_2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,1) |ψ(ψX(θX*X+σX)+ψθS(ψX(θX*X+σX)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,2) |ψ(ψX(θX*X*ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3) |ψ(ψX(θX*X*ω+X_2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3) |ψ(ψX(θX*X*ω+X_ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,1) |ψ(ψX(θX*X*ω+σX)+ψθS(ψX(θX*X*ω+σX)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2) |ψ(ψX(θX*X*ω^2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,2)(3) |ψ(ψX(θX*X^2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3) |ψ(ψX(θX*X_2)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3) |ψ(ψX(θX*X_ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,1) |ψ(ψX(θX*σX)+ψθS(ψX(θX*σX)+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,2) |ψ(ψX(θX^2*ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,1)(2) |ψ(ψX(σX(θX+1))+ψθS(ψX(σX(θX+1))+1)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3) |ψ(ψX(θX_ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3)(5,3)(4) |ψ(ψX(ψθθX(θX(θθX+1)*θθX))) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3,2) |ψ(ψX(ψθθX(θX(θθX+1)^2*ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4) |ψ(ψX(ψθθX(θθX_2))) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4) |ψ(ψX(ψθθX(θθX_ω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4,2) |ψ(ψX(θθX*ω)) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,3) |ψ(ψH(H^(H^2+Hω))) |- |(0)(1,1,1,1)(2,2,2,2)(3,3,3,3)(4,4,4,4) |ψ(ψH(H^(H^3+Hω))) |- |(0)(1,1,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1))) = Quadro Sequence System Ordimal |- |(0)(1,1,1,1,1)(2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+1)) |- |(0)(1,1,1,1,1)(2,1)(3,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψH(H^H^H))) |- |(0)(1,1,1,1,1)(2,1,1)(1,1,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψ_ψH(H^H^H*2)(ψH(H^H^(H+1)+1)))) |- |(0)(1,1,1,1,1)(2,1,1)(3,2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψH(H^H^H*ω))) |- |(0)(1,1,1,1,1)(2,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψ_ψH(H^(H^H*2))(ψH(H^H^(H+1))))+ψθS(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψ_ψH(H^(H^H*2))(ψH(H^H^(H+1)))+1)) |- |(0)(1,1,1,1,1)(2,1,1,1)(1,1,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+1)+ψ_ψH(H^(H^H*2))(ψH(H^H^(H+1)+1)))) |- |(0)(1,1,1,1,1)(2,1,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ω))) |- |(0)(1,1,1,1,1)(2,1,1,1,1)(3,1)(2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H)))) |- |(0)(1,1,1,1,1)(2,1,1,1,1)(3,1,1,1,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H+1)))) |- |(0)(1,1,1,1,1)(2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H+1))+ψH(H^H^H*2))) |- |(0)(1,1,1,1,1)(2,2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H+1))+ψH(H^H^H*ω)) |- |(0)(1,1,1,1,1)(2,2,2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H+1))+ψH(H^(H^H*ω))) |- |(0)(1,1,1,1,1)(2,2,2,2,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H+ω))) |- |(0)(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*ω))) |- |(0)(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*ω)))) |- |(0)(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)) |- |(0)(1,1,1,1,1)(2,2,2,2,1)(3,2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+1)*ω)) |- |(0)(1,1,1,1,1)(2,2,2,2,1)(3,2,2,2) |ψ(ψ_ψH(H^H^H)(ψH(H^(H^(H+1)*ω))) |- |(0)(1,1,1,1,1)(2,2,2,2,1)(3,3,3,3,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+2)+1)) |- |(0)(1,1,1,1,1)(2,2,2,2,1)(3,3,3,3,1)(4) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H+ω))) |- |(0)(1,1,1,1,1)(2,2,2,2,1)(3,3,3,3,1)(4,4,4,4,1) |ψ(ψ_ψH(H^H^H)(ψH(H^H^(H*2+2)+1)) |- |(0)(1,1,1,1,1)(2,2,2,2,2) |ψ(H^H^(H*ω)) |- |(0)(1,1,1,1,1)(2,2,2,2,2)(3,3,3,3,3) |ψ(H^H^(H^2*ω)) |- |(0)(1,1,1,1,1,1) |ψ(H^H^H^ω) |- |Limit |ψ(ψH(ε(H+1))) = Small Hydra Ordinal |} [[分类:分析]]
返回
BMS分析Part6
。
查看“︁BMS分析Part6”︁的源代码
来自Googology Wiki
