打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁BMS分析Part4：SSO~pLRO”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
BMS分析Part4：SSO~pLRO
因为以下原因，您没有权限编辑该页面：
您请求的操作仅限属于这些用户组的用户执行：
用户
、
评审员
您可以查看和复制此页面的源代码。
本词条展示[[BMS]]分析的第四部分 {| class="wikitable" |BMS |[[向上投影]]递归化 |- |(0)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1)))=ψ(Π_ω) |- |(0)(1,1,1)(2,2)(1,1,1) |ψ(ψα(ε(Ω(α+1)+1))+Ω_ω) |- |(0)(1,1,1)(2,2)(1,1,1)(2,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1))+l_ω) |- |(0)(1,1,1)(2,2)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))*2) |- |(0)(1,1,1)(2,2)(2) |ψ(ψα(ε(Ω(α+1)+1))*ω) |- |(0)(1,1,1)(2,2)(2,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1)(2,2,1)(3,3)(3,1)(3) |ψ(ψα(ε(Ω(α+1)+1))*Ω*ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1)(2,2,1)(3,3)(3,2) |ψ(ψα(ε(Ω(α+1)+1))*Ω_2) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω+Ω_ω*ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω+ψ_ω(Ω_{ω+1})) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(1,1,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω+ψ_ω(ψα(ε(Ω(α+1)+1))*Ω_ω)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω+Ω_{ω+1}) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1))*(Ω_ω+1)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(3,2,1)(4,3)(4,1)(1,1,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω*2) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(4) |ψ(ψα(ε(Ω(α+1)+1))*Ω_ω*ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(4,1)(1,1,1) |ψ(ψα(ε(Ω(α+1)+1))*(Ω_ω^2)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,1)(5,2) |ψ(ψα(ε(Ω(α+1)+1))*ψ_ω(Ω_{ω+1})) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,2) |ψ(ψα(ε(Ω(α+1)+1))*Ω_{ω+1}) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1)(3,2,1)(4,3)(4,2)(3,2,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω_{ω*2}) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1))*Ω_{ω^2}) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1))*ψ_l(l)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,3)(5,1)(2) |ψ(ψα(ε(Ω(α+1)+1))*l) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,3)(5,2) |ψ(ψα(ε(Ω(α+1)+1)*Ω(l+1)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1))*l_ω) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,1,1)(3,1,1)(4,1,1) |ψ(ψα(ε(Ω(α+1)+1))*ψα(Ω(α+1)^Ω(α+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))^2) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))^2+ψα(ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2)(2,1)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))^2*2) |- |(0)(1,1,1)(2,2)(2,1)(2,1)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))^3) |- |(0)(1,1,1)(2,2)(2,1)(3) |ψ(ψα(ε(Ω(α+1)+1))^ω) |- |(0)(1,1,1)(2,2)(2,1)(3,1)(1,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)+1))^ψα(ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1)(3,2)(3,2) |ψ(ψα(ε(Ω(α+1)+1)+Ω(α+1))*2) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1) |ψ(ψα(ε(Ω(α+1)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,2,1)(5,2,1) |ψ(ψα(ε(Ω(α+1)+1)+Ω(α+1)^2*ω)) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1)*2)) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(2) |ψ(ψα(ε(Ω(α+1)+1)*2)+ψ_{ψα(ε(Ω(α+1)+1)+Ω(α+1))}(ψα(ε(Ω(α+1)+1)*2)+1)) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(3,2) |ψ(ψα(ε(Ω(α+1)+1)*2)+ψα(ε(Ω(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1)*2)*2) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(4) |ψ(ψα(ε(Ω(α+1)+1)*2)*ω) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(4,2) |ψ(ψα(ε(Ω(α+1)+1)*2)*ψα(ε(Ω(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(4,2)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1)*2)^2) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(4,2)(5,3) |ψ(ψα(ε(Ω(α+1)+1)*2+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)(4,2)(5,3,1)(6,4) |ψ(ψα(ε(Ω(α+1)+1)*3)) |- |(0)(1,1,1)(2,2)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(1,1,1)(2,2)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)*ω)*2) |- |(0)(1,1,1)(2,2)(2,1,1)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(2,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1)*(ω+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)*(ω^2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1) |ψ(ψα(ε(Ω(α+1)+1)*Ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)*α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(2,1)(3,2,1)(4,3)(4,2,1)(5,2)(4) |ψ(ψα(ε(Ω(α+1)+1)*α*2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)*α*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)*ε(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(4,2,1) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(4,2,1)(5,3) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(4,2,1)(5,3)(5,2,1)(6,2)(5) |ψ(ψα(ε(Ω(α+1)+1)*(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1)(4,2,1)(5,3)(5,2,1)(6,2)(7,3) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)*2+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)*(ω^2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)*α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(2,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)*(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(3) |ψ(ψα(ε(Ω(α+1)+1)*(Ω(α+1)^ω))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)*(Ω(α+1)^α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)^ε(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(4) |ψ(ψα(ε(Ω(α+1)+1)*Ω(α+1)^Ω(α+1)^ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^2+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1)(3,2,1)(4,3)(4,2,1)(5,3) |ψ(ψα(ε(Ω(α+1)+1)^2*2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)^2*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^2*α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^2*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^3)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2)(2) |ψ(ψα(ε(Ω(α+1)+1)^α)*ω) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^α+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α+1)+1)^α+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1)(3,2,1)(4,3)(4,2,1)(5,3)(5,1)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^α+ε(Ω(α+1)+1)^ψα(ε(Ω(α+1)+1)^α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1)(3,2,1)(4,3)(4,2,1)(5,3)(5,2) |ψ(ψα(ε(Ω(α+1)+1)^α+ε(Ω(α+1)+1)^ψα(ε(Ω(α+1)+1)^α+Ω(α+1)))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1)(3,2,1)(4,3)(4,2,1)(5,3)(5,2)(4) |ψ(ψα(ε(Ω(α+1)+1)^α*2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)^α*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2,1,1)(3,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^(α*2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^α^2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)^ε(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(4,2,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)*(ω^2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(2,1,1)(3,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(2,1,1)(3,2)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)*ω))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)*α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)*ε(α+1)))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^2*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1,1)(2,1,1)(3,2)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)^2*2)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^(Ω(α+1)^2*α))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^3*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(3,1,1)(4,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^(α*2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(5,2) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^ε(α+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1,1) |ψ(ψα(ε(Ω(α+1)+1)^Ω(α+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)^ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)+1)^(ε(Ω(α+1)+1)+1))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(2,1,1)(3,2)(3,1,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)^(ε(Ω(α+1)+1)*2))) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(3,1,1) |ψ(ψα(ε(Ω(α+1)+1)^(ε(Ω(α+1)+1)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(3,1,1)(4,2) |ψ(ψα(ε(Ω(α+1)+1)^ε(Ω(α+1)+1)^2)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1)(2) |ψ(ψα(ε(Ω(α+1)+1)^ε(Ω(α+1)+1)^α)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1,1) |ψ(ψα(ε(Ω(α+1)+1)^ε(Ω(α+1)+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1,1)(5,2) |ψ(ψα(ε(Ω(α+1)+1)^^3)) |- |(0)(1,1,1)(2,2)(2,2) |ψ(ψα(ε(Ω(α+1)+2))) |- |(0)(1,1,1)(2,2)(2,2)(2,1)(3,2) |ψ(ψα(ε(Ω(α+1)+2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1) |ψ(ψα(ε(Ω(α+1)+2)*ω)) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)+2)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2) |ψ(ψα(ε(Ω(α+1)+2)^2)) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+2)^α)) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1,1)(4,2) |ψ(ψα(ε(Ω(α+1)+2)^ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1,1)(4,2)(4,2) |ψ(ψα(ε(Ω(α+1)+2)^^2)) |- |(0)(1,1,1)(2,2)(2,2)(2,2) |ψ(ψα(ε(Ω(α+1)+3))) |- |(0)(1,1,1)(2,2)(3) |ψ(ψα(ε(Ω(α+1)+ω))) |- |(0)(1,1,1)(2,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2)(3,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)+α)*ω)) |- |(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(2) |ψ(ψα(ε(Ω(α+1)+α)^2)) |- |(0)(1,1,1)(2,2)(3,1)(2,2) |ψ(ψα(ε(Ω(α+1)+α+1))) |- |(0)(1,1,1)(2,2)(3,1)(2,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+α*2))) |- |(0)(1,1,1)(2,2)(3,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)+α^2))) |- |(0)(1,1,1)(2,2)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)*2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3) |ψ(ψα(ε(Ω(α+1)*2)+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6) |ψ(ψα(ε(Ω(α+1)*2)+ε(Ω(α+1)+ω))) |- |(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)(5) |ψ(ψα(ε(Ω(α+1)*2)+ε(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2)(3,1,1) |ψ(ψα(ε(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(2,1,1) |ψ(ψα(ε(Ω(α+1)*2)*(ω^2))) |- |(0)(1,1,1)(2,2)(3,1,1)(2,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)*2)*α)) |- |(0)(1,1,1)(2,2)(3,1,1)(2,1,1)(3,2) |ψ(ψα(ε(Ω(α+1)*2)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,1,1)(2,1,1)(3,2)(4,1,1) |ψ(ψα(ε(Ω(α+1)*2)^2*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(2,2) |ψ(ψα(ε(Ω(α+1)*2+1))) |- |(0)(1,1,1)(2,2)(3,1,1)(2,2)(3,1)(2) |ψ(ψα(ε(Ω(α+1)*2+α))) |- |(0)(1,1,1)(2,2)(3,1,1)(2,2)(3,1,1) |ψ(ψα(ε(Ω(α+1)*3)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(3,1)(2) |ψ(ψα(ε(Ω(α+1)*α))) |- |(0)(1,1,1)(2,2)(3,1,1)(3,1)(4,2) |ψ(ψα(ε(Ω(α+1)^2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(3,1,1)(2,2)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)^2*2)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(3,1,1)(3,1,1) |ψ(ψα(ε(Ω(α+1)^3)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(4,1)(2) |ψ(ψα(ε(Ω(α+1)^α))) |- |(0)(1,1,1)(2,2)(3,1,1)(4,1,1) |ψ(ψα(ε(Ω(α+1)^^2)*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(4,2) |ψ(ψα(ε(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)(4,2) |ψ(ψα(ε(ε(Ω(α+1)+1)*2))) |- |(0)(1,1,1)(2,2)(3,1,1)(4,2)(4,2) |ψ(ψα(ε(ε(Ω(α+1)+2)))) |- |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1) |ψ(ψα(ε(ε(Ω(α+1)*2))*ω)) |- |(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2) |ψ(ψα(ε(ε(ε(Ω(α+1)+1))))) |- |(0)(1,1,1)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(2,1)(3,2) |ψ(ψα(ζ(Ω(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,2)(2,1)(3,2,1)(4,3)(5,3) |ψ(ψα(ζ(Ω(α+1)+1)*2)) |- |(0)(1,1,1)(2,2)(3,2)(2,1,1) |ψ(ψα(ζ(Ω(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2)(3,2)(2,1,1)(3,2) |ψ(ψα(ζ(Ω(α+1)+1)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(2,1,1)(3,2)(4,2) |ψ(ψα(ζ(Ω(α+1)+1)^2)) |- |(0)(1,1,1)(2,2)(3,2)(2,2) |ψ(ψα(ε(ζ(Ω(α+1)+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1)(2) |ψ(ψα(ε(ζ(Ω(α+1)+1)+α))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2) |ψ(ψα(ε(ζ(Ω(α+1)+1)*2))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2)(3,1)(2) |ψ(ψα(ε(ζ(Ω(α+1)+1)*α))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2)(3,1,1) |ψ(ψα(ε(ζ(Ω(α+1)+1)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2)(3,1,1)(4,2)(5,2) |ψ(ψα(ε(ζ(Ω(α+1)+1)^2))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2)(4,2) |ψ(ψα(ε(ε(ζ(Ω(α+1)+1)+1)))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+1)+2))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,2)(2,2) |ψ(ψα(ε(ζ(Ω(α+1)+2)+1))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,2)(2,2)(3,1,1)(4,2)(5,2)(4,2)(5,2) |ψ(ψα(ε(ζ(Ω(α+1)+2)*2))) |- |(0)(1,1,1)(2,2)(3,2)(2,2)(3,2)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+1)+3))) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(2) |ψ(ψα(ζ(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(2,1,1) |ψ(ψα(ζ(Ω(α+1)+α)*ω)) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(2,2) |ψ(ψα(ε(ζ(Ω(α+1)+α)+1))) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+1)+α+1))) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(2,2)(3,2)(3,1) |ψ(ψα(ζ(Ω(α+1)+α*2))) |- |(0)(1,1,1)(2,2)(3,2)(3,1)(4,2) |ψ(ψα(ζ(Ω(α+1)*2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,2)(3,1,1) |ψ(ψα(ζ(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2)(3,2)(3,1,1)(3) |ψ(ψα(ζ(Ω(α+1)*ω))) |- |(0)(1,1,1)(2,2)(3,2)(3,1,1)(3,1,1) |ψ(ψα(ζ(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2) |ψ(ψα(ζ(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,2) |ψ(ψα(ζ(ζ(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2)(3,2)(3,2) |ψ(ψα(η(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(4) |ψ(ψα(φ(ω,Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(4,1)(2) |ψ(ψα(φ(α,Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(4,1)(2,2)(3,2)(4,1)(2) |ψ(ψα(φ(α,Ω(α+1)+2))) |- |(0)(1,1,1)(2,2)(3,2)(4,1)(3,2) |ψ(ψα(φ(α+1,Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,2)(4,1)(5,2) |ψ(ψα(φ(Ω(α+1),1)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,2)(4,1,1) |ψ(ψα(φ(Ω(α+1),1)*ω)) |- |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2) |ψ(ψα(φ(ε(Ω(α+1)+1),0))) |- |(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7) |ψ(ψα(φ(φ(ω,Ω(α+1)+1),0))) |- |(0)(1,1,1)(2,2)(3,2)(4,2) |ψ(ψα(Γ(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2)(3,3) |ψ(ψα(Ω(α+2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,3,1) |ψ(ψα(Ω(α+2)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2)(3,3,1)(2,2) |ψ(ψα(Ω(α+2)+Ω(α+1)*ω)+ψα(Ω(α+2)+Ω(α+1))) |- |(0)(1,1,1)(2,2)(3,3,1)(3,3,1) |ψ(ψα(Ω(α+2)+Ω(α+1)*ω)*2) |- |(0)(1,1,1)(2,2)(3,3,1)(4,4) |ψ(ψα(Ω(α+2)+ε(Ω(α+1)+1)))=ψ(ψα(Ω(α+2)*2+Ω(α+1))) |- |(0)(1,1,1)(2,2,1) |ψ(ψα(Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2) |ψ(ψα(Ω(α+2)*ω)+ψα(ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2)(3,3,1)(4,4) |ψ(ψα(Ω(α+2)*ω)+ψ_{ψα(Ω(α+2))}(ψα(Ω(α+2)*2+Ω(α+1)))) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2)(3,3,1)(4,4,1) |ψ(ψα(Ω(α+2)*ω)+ψ_{ψα(Ω(α+2))}(ψα(Ω(α+2)*ω))) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2)(3,3,1)(4,4,1)(2,2) |ψ(ψα(Ω(α+2)*ω)+ψα(Ω(α+2))) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2)(3,3,1)(4,4,1)(3,3,1) |ψ(ψα(Ω(α+2)*ω)+ψα(Ω(α+2)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(1,1,1)(2,2,1) |ψ(ψα(Ω(α+2)*ω)*2) |- |(0)(1,1,1)(2,2,1)(2,1)(1,1,1)(2,2,1) |ψ(ψα(Ω(α+2)*ω)^2) |- |(0)(1,1,1)(2,2,1)(2,1)(3,2) |ψ(ψα(Ω(α+2)*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,1)(3,2,1)(4,3) |ψ(ψα(Ω(α+2)*(ω+1)))=ψ(ψα(Ω(α+2)*ω+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(2,1)(3,2,1)(4,3,1) |ψ(ψα(Ω(α+2)*ω*2)) |- |(0)(1,1,1)(2,2,1)(2,1,1) |ψ(ψα(Ω(α+2)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,1)(2) |ψ(ψα(Ω(α+2)*α)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,1)(4,2) |ψ(ψα(Ω(α+2)*Ω(α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,1)(4,2,1)(5,3,1) |ψ(ψα(Ω(α+2)*(Ω(α+1)+ω))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,1,1) |ψ(ψα(Ω(α+2)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2) |ψ(ψα(Ω(α+2)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2)(4,3,1)(5,4,1) |ψ(ψα(Ω(α+2)^2+Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2)(4,3,1)(5,4,1)(5,3,1) |ψ(ψα(Ω(α+2)^2+Ω(α+2)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2)(4,3,1)(5,4,1)(5,3,1)(6,4) |ψ(ψα(Ω(α+2)^2*2+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1) |ψ(ψα(Ω(α+2)^2*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(2,1)(3,2) |ψ(ψα(Ω(α+2)^2*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(2,1,1) |ψ(ψα(Ω(α+2)^2*(ω^2))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(2,1,1)(3,2) |ψ(ψα(Ω(α+2)^2*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(2,1,1)(3,2,1) |ψ(ψα(Ω(α+2)^3*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3) |ψ(ψα(Ω(α+2)^ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1)(2) |ψ(ψα(Ω(α+2)^α)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1)(4,2) |ψ(ψα(Ω(α+2)^Ω(α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1) |ψ(ψα(Ω(α+2)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1) |ψ(ψα(Ω(α+2)^Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,1,1)(3,2,1)(3,1,1)(4,2,1)(4,1,1)(5,2,1) |ψ(ψα(Ω(α+2)^^3*ω)) |- |(0)(1,1,1)(2,2,1)(2,2) |ψ(ψα(ε(Ω(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(2,1,1) |ψ(ψα(ε(Ω(α+2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(2,1,1)(3,2,1) |ψ(ψα(ε(Ω(α+2)+1)*Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(2,1,1)(3,2,1)(3,2) |ψ(ψα(ε(Ω(α+2)+1)^2)) |- |(0)(1,1,1)(2,2,1)(2,2)(2,1,1)(3,2,1)(3,2)(3) |ψ(ψα(ε(Ω(α+2)+1)^ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(2,1,1)(3,2,1)(3,2)(3,1,1)(4,2,1)(4,2) |ψ(ψα(ε(Ω(α+2)+1)^^2)) |- |(0)(1,1,1)(2,2,1)(2,2)(2,2) |ψ(ψα(ε(Ω(α+2)+2))) |- |(0)(1,1,1)(2,2,1)(2,2)(3) |ψ(ψα(ε(Ω(α+2)+ω))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1)(2) |ψ(ψα(ε(Ω(α+2)+α))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1)(4,2) |ψ(ψα(ε(Ω(α+2)+Ω(α+1))+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1) |ψ(ψα(ε(Ω(α+2)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1)(4,2) |ψ(ψα(ε(Ω(α+2)*2))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1)(4,2,1) |ψ(ψα(ε(Ω(α+2)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1)(4,2,1)(2,2)(3,1,1)(4,2,1) |ψ(ψα(ε(Ω(α+2)*3)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1)(4,2,1)(3,1,1) |ψ(ψα(ε(Ω(α+2)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,1,1)(4,2,1)(4,2) |ψ(ψα(ε(ε(Ω(α+2)+1)))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(2,2) |ψ(ψα(ε(ζ(Ω(α+2)+1)+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(2,2)(3,1,1)(4,2,1)(4,2)(5,2)(4,2) |ψ(ψα(ε(ε(ζ(Ω(α+2)+1))))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+2)+2))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(3,1)(2) |ψ(ψα(ζ(Ω(α+2)+α))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(3,1,1) |ψ(ψα(ζ(Ω(α+2)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(3,1,1)(4,2,1)(4,2)(5,2) |ψ(ψα(ζ(ζ(Ω(α+2)+1)))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,2)(3,2) |ψ(ψα(η(Ω(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,3) |ψ(ψα(Ω(α+3)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4,1) |ψ(ψα(Ω(α+3)+Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4,1)(4,4) |ψ(ψα(Ω(α+3)+ε(Ω(α+2)+1)))=ψ(ψα(Ω(α+3)*2)) |- |(0)(1,1,1)(2,2,1)(2,2,1) |ψ(ψα(Ω(α+3)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,1,1) |ψ(ψα(Ω(α+3)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,1,1)(3,2,1) |ψ(ψα(Ω(α+3)*Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,1,1)(3,2,1)(3,2,1) |ψ(ψα(Ω(α+3)^2*ω)) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,2) |ψ(ψα(ε(Ω(α+3)+1))) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,2)(3,3,1)(4,4,1)(4,4,1)(4,4) |ψ(ψα(Ω(α+4)*2)) |- |(0)(1,1,1)(2,2,1)(2,2,1)(2,2,1) |ψ(ψα(Ω(α+4)*ω)) |- |(0)(1,1,1)(2,2,1)(3) |ψ(ψα(Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3)(2) |ψ(ψα(Ω(α+ω))*ω) |- |(0)(1,1,1)(2,2,1)(3)(2,1)(3,2) |ψ(ψα(Ω(α+ω)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,1)(3,2,1)(4,3) |ψ(ψα(Ω(α+ω)+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,1)(3,2,1)(4,3,1) |ψ(ψα(Ω(α+ω)+Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,1)(3,2,1)(4,3,1)(5) |ψ(ψα(Ω(α+ω)*2)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1) |ψ(ψα(Ω(α+ω)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,1)(2) |ψ(ψα(Ω(α+ω)*α)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,1)(2,1,1) |ψ(ψα(Ω(α+ω)*α*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,1)(4,2) |ψ(ψα(Ω(α+ω)*ε(α+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,1,1) |ψ(ψα(Ω(α+ω)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,2,1) |ψ(ψα(Ω(α+ω)*Ω(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,1,1)(3,2,1)(4) |ψ(ψα(Ω(α+ω)^2)) |- |(0)(1,1,1)(2,2,1)(3)(2,2) |ψ(ψα(ε(Ω(α+ω)+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,2)(3,2) |ψ(ψα(ζ(Ω(α+ω)+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,2)(3,3) |ψ(ψα(Ω(α+ω+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,2)(3,3,1) |ψ(ψα(Ω(α+ω+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,2)(3,3,1)(4,4,1)(5) |ψ(ψα(Ω(α+ω+1)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3)(2,2,1) |ψ(ψα(Ω(α+ω+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,2,1)(2,2) |ψ(ψα(ε(Ω(α+ω+1)+1))) |- |(0)(1,1,1)(2,2,1)(3)(2,2,1)(2,2,1) |ψ(ψα(Ω(α+ω+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3)(2,2,1)(3) |ψ(ψα(Ω(α+ω*2))) |- |(0)(1,1,1)(2,2,1)(3)(3) |ψ(ψα(Ω(α+ω^2))) |- |(0)(1,1,1)(2,2,1)(3,1) |ψ(ψα(Ω(α+Ω))) |- |(0)(1,1,1)(2,2,1)(3,1)(1,1,1)(2,2,1)(3) |ψ(ψα(Ω(α+ψα(Ω(α+ω))))) |- |(0)(1,1,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(α*2))) |- |(0)(1,1,1)(2,2,1)(3,1)(2,2,1) |ψ(ψα(Ω(α*2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(α*3))) |- |(0)(1,1,1)(2,2,1)(3,1)(3) |ψ(ψα(Ω(α*ω))) |- |(0)(1,1,1)(2,2,1)(3,1)(3,1)(2) |ψ(ψα(Ω(α^2))) |- |(0)(1,1,1)(2,2,1)(3,1)(4,2) |ψ(ψα(Ω(ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,1)(4,2,1) |ψ(ψα(Ω(Ω(α+1))+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1)(4,2,1)(5,3,1)(6) |ψ(ψα(Ω(Ω(α+1))+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,1,1) |ψ(ψα(Ω(Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(2,2) |ψ(ψα(ε(Ω(Ω(α+1))+1))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(2,2,1) |ψ(ψα(Ω(Ω(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(2,2,1)(3,1)(4,2) |ψ(ψα(Ω(Ω(α+1)+ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(2,2,1)(3,1,1) |ψ(ψα(Ω(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(3,1)(2) |ψ(ψα(Ω(Ω(α+1)*α))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(3,1)(4,2) |ψ(ψα(Ω(Ω(α+1)^2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(3,1,1) |ψ(ψα(Ω(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,1)(2) |ψ(ψα(Ω(Ω(α+1)^α))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2) |ψ(ψα(Ω(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2)(5,3,1)(6,4,1)(7) |ψ(ψα(Ω(Ω(α+2))+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1) |ψ(ψα(Ω(Ω(α+2))*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1) |ψ(ψα(Ω(Ω(α+2)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(3) |ψ(ψα(Ω(Ω(α+2)*ω))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(3,1,1)(4,2,1) |ψ(ψα(Ω(Ω(α+2)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(4,2) |ψ(ψα(Ω(Ω(α+3)))) |- |(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2) |ψ(ψα(OFP(α+1)))=ψ(ψα(l(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(2) |ψ(ψα(OFP(α+1))*ω) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1)(3,2) |ψ(ψα(OFP(α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1)(3,2,1)(4,3,1)(5) |ψ(ψα(OFP(α+1)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1,1) |ψ(ψα(OFP(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1,1)(2,1,1) |ψ(ψα(OFP(α+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1,1)(3,1)(2) |ψ(ψα(OFP(α+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1,1)(3,2,1)(4) |ψ(ψα(OFP(α+1)*Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,1,1)(3,2,1)(4,2) |ψ(ψα(OFP(α+1)^2)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2) |ψ(ψα(ε(OFP(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2)(3,3,1) |ψ(ψα(Ω(OFP(α+1)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,4,1)(5) |ψ(ψα(Ω(OFP(α+1)+1)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(OFP(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1)(2) |ψ(ψα(Ω(OFP(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1)(4,2,1) |ψ(ψα(Ω(OFP(α+1)+Ω(α+1))+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1) |ψ(ψα(Ω(OFP(α+1)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2) |ψ(ψα(Ω(OFP(α+1)+ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(OFP(α+1)+Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,1,1) |ψ(ψα(Ω(OFP(α+1)+Ω(Ω(α+1)))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(α+1)*2))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(2,2,1)(3,1,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(α+1)*3))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(3) |ψ(ψα(Ω(OFP(α+1)*ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(3,1,1) |ψ(ψα(Ω(OFP(α+1)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(OFP(α+1)*Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(3,1,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(α+1)^2))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,1,1)(5,2,1)(6,2) |ψ(ψα(Ω(OFP(α+1)^OFP(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,2) |ψ(ψα(Ω(ε(OFP(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,2,1) |ψ(ψα(Ω(Ω(OFP(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,2,1)(5) |ψ(ψα(Ω(Ω(OFP(α+1)+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(α+2))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(OFP(α+2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(α+2)+OFP(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(α+2)*2))) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)(4,2,1)(5,2)(4,2,1) |ψ(ψα(Ω(Ω(OFP(α+2)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(α+3))) |- |(0)(1,1,1)(2,2,1)(3,2)(3) |ψ(ψα(OFP(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1)(2) |ψ(ψα(OFP(α*2))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1)(2,2,1)(3,2)(3,1)(2) |ψ(ψα(OFP(α*3))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1)(4,2) |ψ(ψα(OFP(ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1)(4,2,1) |ψ(ψα(OFP(Ω(α+1))+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1) |ψ(ψα(OFP(Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(2,2,1)(3,2)(3) |ψ(ψα(OFP(Ω(α+1)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(2,2,1)(3,2)(3,1,1) |ψ(ψα(OFP(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(3) |ψ(ψα(OFP(Ω(α+1)*ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(3,1,1) |ψ(ψα(OFP(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2) |ψ(ψα(OFP(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5) |ψ(ψα(OFP(Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2) |ψ(ψα(OFP(OFP(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2) |ψ(ψα(l(α+1))^2)=ψ(ψα(ψ_l(α+1)(l(α+1)^2))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2) |ψ(ψα(ε(Φ(2,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2,1) |ψ(ψα(Ω(Φ(2,α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(Φ(2,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2,1)(3,2)(3,1,1) |ψ(ψα(OFP(Φ(2,α+1)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2)(5,2) |ψ(ψα(OFP(Φ(2,α+1)*2))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(2,2,1)(3,2)(3,2) |ψ(ψα(Φ(2,α+2))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3) |ψ(ψα(Φ(2,α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3,1)(2) |ψ(ψα(Φ(2,α*2))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3,1)(4,2) |ψ(ψα(Φ(2,Ω(α+1))+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3,1,1) |ψ(ψα(Φ(2,Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3,1,1)(4,2,1)(5,2)(5,2) |ψ(ψα(Φ(2,Φ(2,α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2)(3,2)(3,2) |ψ(ψα(Φ(3,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(4) |ψ(ψα(Φ(ω,α+1)))=ψ(ψα(l(α+1))^ω) |- |(0)(1,1,1)(2,2,1)(3,2)(4,1,1) |ψ(ψα(ψl(α+1)(l(α+1)^Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(4,1,1)(5,2,1)(6,2)(7) |ψ(ψα(ψl(α+1)(l(α+1)^ψl(α+1)(l(α+1)^ω)))) |- |(0)(1,1,1)(2,2,1)(3,2)(4,2) |ψ(ψα(l(α+1))^^2) |- |(0)(1,1,1)(2,2,1)(3,2)(4,3) |ψ(ψα(l(α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2)(4,3,1) |ψ(ψα(l(α+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6) |ψ(ψα(l(α+1)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6,4)(7,5) |ψ(ψα(l(α+1)*2+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1) |ψ(ψα(l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2) |ψ(ψα(l(α+1)*ω)*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1)(3,2) |ψ(ψα(l(α+1)*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1) |ψ(ψα(l(α+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,1)(2) |ψ(ψα(l(α+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,1,1) |ψ(ψα(l(α+1)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2) |ψ(ψα(l(α+1)*Ω(α+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4) |ψ(ψα(l(α+1)*Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2) |ψ(ψα(l(α+1)*OFP(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2)(5) |ψ(ψα(l(α+1)^2)^ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2)(5,3) |ψ(ψα(l(α+1)^2+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2)(5,3,1)(6,4,1)(7,4,1) |ψ(ψα(l(α+1)^2+l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1) |ψ(ψα(l(α+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(2,1,1)(3,1)(2) |ψ(ψα(l(α+1)^2*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(2,1,1)(3,2,1)(4,2)(5,3) |ψ(ψα(l(α+1)^3+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(2,1,1)(3,2,1)(4,2)(5,3,1)(6,4,1)(7,4,1)(6,3,1)(7,4,1)(8,4,1) |ψ(ψα(l(α+1)^3+l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(2,1,1)(3,2,1)(4,2,1) |ψ(ψα(l(α+1)^3*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(3) |ψ(ψα(l(α+1)^ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(3,1,1) |ψ(ψα(l(α+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(l(α+1)^l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2) |ψ(ψα(ε(l(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)(3,1)(2) |ψ(ψα(ε(l(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)(3,1,1)(4,2,1)(5,2,1)(4,2) |ψ(ψα(ε(ε(l(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)(3,2) |ψ(ψα(ζ(l(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)(3,3) |ψ(ψα(Ω(l(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2)(3,3,1)(4,4,1)(5,4,1) |ψ(ψα(Ω(l(α+1)+1)+l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3) |ψ(ψα(Ω(l(α+1)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(l(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1)(4,2) |ψ(ψα(Ω(l(α+1)+Ω(α+1))+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1) |ψ(ψα(Ω(l(α+1)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(l(α+1)+Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2) |ψ(ψα(Ω(l(α+1)+OFP(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2)(6,3) |ψ(ψα(Ω(l(α+1)*2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(l(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2) |ψ(ψα(Ω(l(α+1)*2)*ω)*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,1,1) |ψ(ψα(Ω(l(α+1)*2)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,1,1)(3,2,1)(4,2,1) |ψ(ψα(Ω(l(α+1)*2)*l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,1,1)(3,2,1)(4,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1) |ψ(ψα(Ω(l(α+1)*2)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,2) |ψ(ψα(ε(Ω(l(α+1)*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,2,1) |ψ(ψα(Ω(l(α+1)*2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(l(α+1)*2+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(l(α+1)*3)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(3,1)(2) |ψ(ψα(Ω(l(α+1)*α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(3,1,1) |ψ(ψα(Ω(l(α+1)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(l(α+1)*Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(l(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4) |ψ(ψα(Ω(l(α+1)^ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,1,1)(5,2,1)(6,2,1) |ψ(ψα(Ω(l(α+1)^l(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2) |ψ(ψα(Ω(ε(l(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2)(5,3) |ψ(ψα(Ω(Ω(l(α+1)+1))+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1) |ψ(ψα(Ω(Ω(l(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(Ω(l(α+1)+1)+l(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1) |ψ(ψα(Ω(Ω(l(α+1)+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(4,2) |ψ(ψα(Ω(ε(Ω(l(α+1)+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(4,2,1) |ψ(ψα(Ω(Ω(l(α+1)+2))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,1,1)(6,2,1)(7,2,1) |ψ(ψα(Ω(Ω(l(α+1)*2))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,1,1)(6,2,1)(7,2,1)(6,2,1) |ψ(ψα(Ω(Ω(Ω(l(α+1)+1))))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2) |ψ(ψα(l(α+2)))=ψ(ψα(OFP(l(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,1,1) |ψ(ψα(OFP(l(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2) |ψ(ψα(ε(OFP(l(α+1)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(OFP(l(α+1)+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1)(3,1)(2) |ψ(ψα(Ω(OFP(l(α+1)+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(l(α+1)+1)*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(4,2,1) |ψ(ψα(Ω(Ω(OFP(l(α+1)+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(l(α+1)+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1)(2) |ψ(ψα(OFP(l(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1) |ψ(ψα(OFP(l(α+1)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(OFP(l(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(OFP(l(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(4,2) |ψ(ψα(OFP(ε(l(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(4,2,1) |ψ(ψα(OFP(Ω(l(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,1,1)(6,2,1)(7,2,1) |ψ(ψα(OFP(Ω(Ω(l(α+1)+1)))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2) |ψ(ψα(OFP(OFP(l(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,2) |ψ(ψα(Φ(2,l(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4) |ψ(ψα(l(α+2))^ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4,3) |ψ(ψα(l(α+2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4,3,1) |ψ(ψα(l(α+2)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6) |ψ(ψα(l(α+2)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1) |ψ(ψα(l(α+2)+l(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1)(5,4,1)(6,4) |ψ(ψα(l(α+2)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) |ψ(ψα(l(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1) |ψ(ψα(l(α+2)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2) |ψ(ψα(ε(l(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(α+2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3) |ψ(ψα(Ω(l(α+2)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(l(α+2)+l(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1) |ψ(ψα(Ω(l(α+2)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1)(4,2) |ψ(ψα(Ω(ε(l(α+2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1)(4,2,1) |ψ(ψα(Ω(Ω(l(α+2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,2) |ψ(ψα(OFP(l(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(l(α+2)+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2) |ψ(ψα(OFP(OFP(l(α+2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,2)(3,2) |ψ(ψα(l(α+3))^2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) |ψ(ψα(l(α+3)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3) |ψ(ψα(l(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2)(2) |ψ(ψα(l(α*2))*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(1,1,1)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(α*2))^2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2) |ψ(ψα(l(α*2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,1)(1,1,1)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(α*2)+l(α+ψα(l(α*2)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,1)(2) |ψ(ψα(l(α*2)+l(α+ψα(l(α*2)))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,2) |ψ(ψα(l(α*2)+l(α+ψα(l(α*2)+Ω(α+1))))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,2)(3,2,1) |ψ(ψα(l(α*2)+l(α+ψα(l(α+1)+Ω(α+1)*ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,2)(4) |ψ(ψα(l(α*2)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1) |ψ(ψα(l(α*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,1)(2) |ψ(ψα(l(α*2)*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,1)(4,2) |ψ(ψα(l(α*2)*ε(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,1,1) |ψ(ψα(l(α*2)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2) |ψ(ψα(l(α*2)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2,1)(4) |ψ(ψα(l(α*2)*Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2,1)(4,2,1)(5) |ψ(ψα(l(α*2)*l(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2,1)(4,2,1)(5,1)(2) |ψ(ψα(l(α*2)^2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2,1)(4,2,1)(5,1)(3) |ψ(ψα(l(α*2)^ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,1,1)(3,2,1)(4,2,1)(5,1)(3,1,1)(4,2,1)(5,2,1)(6,1)(2) |ψ(ψα(l(α*2)^l(α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2) |ψ(ψα(ε(l(α*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2)(2,2) |ψ(ψα(ε(l(α*2)+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2)(3,3,1) |ψ(ψα(Ω(l(α*2)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2)(3,3,1)(4,4,1)(5,4,1)(5) |ψ(ψα(Ω(l(α*2)+1)+l(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1) |ψ(ψα(Ω(l(α*2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(2,1,1) |ψ(ψα(Ω(l(α*2)+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(2,1,1)(3,2,1)(4,2,1)(5,1)(3,2,1) |ψ(ψα(Ω(l(α*2)+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(2,2) |ψ(ψα(ε(Ω(l(α*2)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(2,2,1) |ψ(ψα(Ω(l(α*2)+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(l(α*2)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1) |ψ(ψα(Ω(l(α*2)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(l(α*2)+Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(2) |ψ(ψα(Ω(l(α*2)*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(2,2,1)(3) |ψ(ψα(Ω(l(α*2)*2+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(3) |ψ(ψα(Ω(l(α*2)*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(3,1,1) |ψ(ψα(Ω(l(α*2)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(2) |ψ(ψα(Ω(l(α*2)^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2) |ψ(ψα(Ω(ε(l(α*2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2,1) |ψ(ψα(Ω(Ω(l(α*2)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2) |ψ(ψα(OFP(l(α*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(2,2) |ψ(ψα(ε(OFP(l(α*2)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(OFP(l(α*2)+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2) |ψ(ψα(Ω(OFP(l(α*2)+1)*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2)(4,2,1) |ψ(ψα(Ω(Ω(OFP(l(α*2)+1)))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(2,2,1)(3,2) |ψ(ψα(OFP(l(α*2)+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3) |ψ(ψα(OFP(l(α*2)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,1,1) |ψ(ψα(OFP(l(α*2)+Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,1)(2) |ψ(ψα(OFP(l(α*2)*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,1)(2) |ψ(ψα(OFP(l(α*2)*3))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2) |ψ(ψα(OFP(ε(l(α*2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2) |ψ(ψα(OFP(OFP(l(α*2)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(3,2) |ψ(ψα(l(α*2+1))^2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(4,3) |ψ(ψα(l(α*2+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1)(6,3)(5) |ψ(ψα(l(α*2+1)+l(α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1) |ψ(ψα(l(α*2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(2,2) |ψ(ψα(ε(l(α*2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(α*2+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(2,2,1)(3,2) |ψ(ψα(OFP(l(α*2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) |ψ(ψα(l(α*2+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(3) |ψ(ψα(l(α*2+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(α*3))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(3) |ψ(ψα(l(α*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(3,1)(2) |ψ(ψα(l(α^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(4,2) |ψ(ψα(l(ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(4,2,1) |ψ(ψα(l(Ω(α+1))+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1) |ψ(ψα(l(Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(2,2,1)(3,2,1) |ψ(ψα(l(Ω(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(Ω(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(2,2,1)(3,2,1)(3,1,1) |ψ(ψα(l(Ω(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(3) |ψ(ψα(l(Ω(α+1)*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(3,1,1) |ψ(ψα(l(Ω(α+1)^2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2) |ψ(ψα(l(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1) |ψ(ψα(l(Ω(α+2))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(l(Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5) |ψ(ψα(l(l(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2) |ψ(ψα(ψ_l(1,α+1)(l(1,α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(lFP(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1) |ψ(ψα(l(lFP(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(lFP(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5) |ψ(ψα(l(lFP(α+1)+l(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2) |ψ(ψα(l(lFP(α+1)*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2)(4,2,1) |ψ(ψα(l(Ω(lFP(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2)(4,2,1)(5,2,1) |ψ(ψα(l(l(lFP(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2) |ψ(ψα(lFP(α+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3) |ψ(ψα(lFP(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,2) |ψ(ψα(lFP(lFP(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,2) |ψ(ψα(ψ_l(1,α+1)(l(1,α+1)^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,2)(2,2,1)(3,2,1)(3,2)(3,2) |ψ(ψα(l(1,α+1))^2*2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,2)(3) |ψ(ψα(l(1,α+1))^2*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,2)(3,1,1)(4,2,1)(5,2,1)(5,2)(5,2) |ψ(ψα(l(1,α+1))^2*ψ_{ψα(l(1,α+1))}(ψα(l(1,α+1))^2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(3,2)(3,2) |ψ(ψα(l(1,α+1))^3) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(4,3) |ψ(ψα(l(1,α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1)(6,4) |ψ(ψα(l(1,α+1)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(1,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1)(3,2) |ψ(ψα(l(1,α+1)*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(5,3,1) |ψ(ψα(l(1,α+1)*ω*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1) |ψ(ψα(l(1,α+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1)(3,1)(2) |ψ(ψα(l(1,α+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1)(3,1,1) |ψ(ψα(l(1,α+1)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1)(3,2) |ψ(ψα(l(1,α+1)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(4,2) |ψ(ψα(l(1,α+1)^2))=ψ(ψα(l(1,α+1)*lFP(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(4,2,1) |ψ(ψα(l(1,α+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2) |ψ(ψα(ε(l(1,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2)(3,3,1) |ψ(ψα(Ω(l(1,α+1)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(1,α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2,1) |ψ(ψα(Ω(l(1,α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1)(3,2) |ψ(ψα(OFP(l(1,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1)(3,2,1) |ψ(ψα(l_{l(1,α+1)+1}*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1)(3,2,1)(3,2) |ψ(ψα(lFP(l(1,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(2,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(1,α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3) |ψ(ψα(l(1,α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,1)(2) |ψ(ψα(l(1,α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,1)(4,2) |ψ(ψα(l(1,ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,1,1) |ψ(ψα(l(1,Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2,1) |ψ(ψα(l(1,l(1,α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2) |ψ(ψα(l(2,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(1,ψ_l(2,α+1)(l(2,α+1))+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2,1)(5,2)(3) |ψ(ψα(l(1,ψ_l(2,α+1)(l(2,α+1))*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2,1)(5,2)(3,1,1)(4,2,1)(5,2,1)(5,2,1)(5,2) |ψ(ψα(l(1,ψ_l(2,α+1)(l(2,α+1))^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(5,2,1)(5,2)(4,2,1)(5,2,1)(5,2,1) |ψ(ψα(l(1,l(1,ψ_l(2,α+1)(l(2,α+1))+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(3,2,1)(3,2) |ψ(ψα(l(2,α+1))*2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(3,1)(2) |ψ(ψα(ψ_l(2,α+1)(l(2,α+1)*α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(3,2) |ψ(ψα(l(2,α+1))^2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2)(4,3) |ψ(ψα(l(2,α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(2,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2,1)(2,2,1)(3,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(2,α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2,1)(3,2) |ψ(ψα(l(3,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(3,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4) |ψ(ψα(l(ω,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2) |ψ(ψα(l(α,1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,1)(3,2) |ψ(ψα(l(α,1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(6,2)(4) |ψ(ψα(l(α,1)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,1,1) |ψ(ψα(l(α,1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,2) |ψ(ψα(ε(l(α,1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,2,1) |ψ(ψα(Ω(l(α,1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)(4,1)(2) |ψ(ψα(l(α,2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3) |ψ(ψα(l(α,ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3,1)(2) |ψ(ψα(l(α,α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3,1,1)(4,2,1)(5,2,1)(6,1)(2) |ψ(ψα(l(α,l(α,1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3,2) |ψ(ψα(l(α+1,0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3,2,1) |ψ(ψα(l(α+1,0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)(4,1)(2) |ψ(ψα(l(α*2,0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(4,1)(2) |ψ(ψα(l(α^2,0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1)(5,2) |ψ(ψα(l(ε(α+1),0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1) |ψ(ψα(l(Ω(α+1),0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,1)(2) |ψ(ψα(l(l(α,1),0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(2,2,1)(3,2,1)(4) |ψ(ψα(l(ω,ψ_l(1,0,α+1)(l(1,0,α+1))+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2) |ψ(ψα(l(ψ_l(1,0,α+1)(l(1,0,α+1)),1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,α+1))*2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,1,1) |ψ(ψα(ψ_l(1,0,α+1)(l(1,0,α+1)*Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,1,1)(4,2,1)(5,2,1)(6,2) |ψ(ψα(ψ_l(1,0,α+1)(l(1,0,α+1)*ψ_l(1,0,α+1)(l(1,0,α+1))))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2) |ψ(ψα(l(1,0,α+1))^2) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2)(4,3) |ψ(ψα(l(1,0,α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1) |ψ(ψα(l(1,0,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,1,1) |ψ(ψα(l(1,0,α+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(5,2) |ψ(ψα(l(1,0,α+1)*ψ_l(1,0,α+1)(l(1,0,α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,1,1)(3,2,1)(4,2,1)(5,2)(4,2,1) |ψ(ψα(l(1,0,α+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2) |ψ(ψα(ε(l(1,0,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(1,0,α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4) |ψ(ψα(l(ω,l(1,0,α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2) |ψ(ψα(l(l(1,0,α+1),1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2)(6,2,1)(5,2) |ψ(ψα(l(ε(l(1,0,α+1)+1),0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,α+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1) |ψ(ψα(l(1,0,α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3) |ψ(ψα(l(1,0,α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,1)(2) |ψ(ψα(l(1,0,α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,1,1) |ψ(ψα(l(1,0,Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2) |ψ(ψα(l(1,0,l(1,0,α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,2) |ψ(ψα(l(1,1,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,2)(4,3) |ψ(ψα(l(1,1,α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,2,1) |ψ(ψα(l(1,1,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4) |ψ(ψα(l(1,ω,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,1)(2) |ψ(ψα(l(1,α,1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,1)(5,2) |ψ(ψα(l(1,ε(α+1),0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,1,1) |ψ(ψα(l(1,Ω(α+1),0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2) |ψ(ψα(l(2,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2)(2,2) |ψ(ψα(ε(ψ_l(2,0,α+1)(l(2,0,α+1))+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2)(3,2,1) |ψ(ψα(l(2,0,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2)(3,2,1)(3,2,1) |ψ(ψα(l(2,1,α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2)(3,2,1)(4,2) |ψ(ψα(l(3,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4) |ψ(ψα(l(ω,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,1)(2) |ψ(ψα(l(α,0,1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,1)(5,2) |ψ(ψα(l(ε(α+1),0,0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,1,1) |ψ(ψα(l(Ω(α+1),0,0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,1,1)(5,2,1)(6,2,1)(7,2)(7) |ψ(ψα(l(l(ω,0,α+1),0,0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2) |ψ(ψα(l(1,0,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2)(3,2,1)(4,2)(4,2) |ψ(ψα(l(2,0,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(4,2)(4,2) |ψ(ψα(l(1,0,0,0,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5) |ψ(ψα(l(1@ω,α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(2) |ψ(ψα(l(1@α,1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(2,2,1)(3,2,1)(4,2)(5,1)(2) |ψ(ψα(l(1@α,2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(3,2,1) |ψ(ψα(l(1@α,1,0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(3,2,1)(4,2)(5,1)(2) |ψ(ψα(l(2@α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(4) |ψ(ψα(l(ω@α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(4,2) |ψ(ψα(l(1@(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(4,2)(5,1)(2) |ψ(ψα(l(1@(α*2)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(5,1)(2) |ψ(ψα(l(1@(α^2)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1)(6,2) |ψ(ψα(l(1@ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,1,1) |ψ(ψα(l(1@Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,2) |ψ(ψα(M(α+1))^^3) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3) |ψ(ψα(M(α+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3,1) |ψ(ψα(M(α+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3,1)(6,3,1)(6,3,1) |ψ(ψα(ψM(α+1)(M(α+ω))))=ψ(ψα(M(α+1)+Ω(α+1)^Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3,1)(6,4) |ψ(ψα(M(α+1)+ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3,1)(6,4,1)(7) |ψ(ψα(M(α+1)+Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(5,3,1)(6,4,1)(7,4,1)(8,4)(9,5,1) |ψ(ψα(M(α+1)*2+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(M(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1)(3,2) |ψ(ψα(M(α+1)*ω+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1,1) |ψ(ψα(M(α+1)*(ω^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1,1)(3,1)(2) |ψ(ψα(M(α+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1,1)(3,2) |ψ(ψα(M(α+1)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1,1)(3,2,1)(4) |ψ(ψα(M(α+1)*Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,1,1)(3,2,1)(4,2,1)(5,2,1) |ψ(ψα(M(α+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2) |ψ(ψα(ε(M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2)(3,3,1) |ψ(ψα(Ω(M(α+1)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1) |ψ(ψα(Ω(M(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3) |ψ(ψα(Ω(M(α+1)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,1)(2) |ψ(ψα(Ω(M(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2) |ψ(ψα(Ω(M(α+1)+ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1) |ψ(ψα(Ω(M(α+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(4,2) |ψ(ψα(Ω(ε(M(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1) |ψ(ψα(Ω(Ω(M(α+1)+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2) |ψ(ψα(OFP(M(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2)(4,3,1) |ψ(ψα(l(M(α+1)+1)+Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1) |ψ(ψα(l(M(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(3,2) |ψ(ψα(lFP(M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(3,2,1) |ψ(ψα(l(1,M(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4) |ψ(ψα(l(ω,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,1)(2) |ψ(ψα(l(α,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2,1) |ψ(ψα(l(M(α+1),1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2,1)(3,2,1) |ψ(ψα(l(M(α+1)+1,0)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2,1)(5,2,1)(6) |ψ(ψα(l(Ω(M(α+1)+ω),0))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3) |ψ(ψα(l(1,0,M(α+1)+1))*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2)(4,3) |ψ(ψα(l(1,0,M(α+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1) |ψ(ψα(l(1,0,M(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2) |ψ(ψα(ε(l(1,0,M(α+1)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1) |ψ(ψα(Ω(l(1,0,M(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2,1)(5,2,1)(6,2,1)(7,2) |ψ(ψα(l(l(1,0,M(α+1)+1),1) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,M(α+1)+2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1) |ψ(ψα(l(1,0,M(α+1)+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,1)(2) |ψ(ψα(l(1,0,M(α+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2) |ψ(ψα(l(1,0,l(1,0,M(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(3,2) |ψ(ψα(l(1,1,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(3,2,1)(4,2) |ψ(ψα(l(2,0,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(4,2) |ψ(ψα(l(1,0,0,M(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(5,3) |ψ(ψα(M(α+2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(M(α+2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1) |ψ(ψα(Ω(M(α+2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4) |ψ(ψα(l(ω,M(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,M(α+2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2)(5,3) |ψ(ψα(M(α+3)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(M(α+3)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3) |ψ(ψα(M(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2) |ψ(ψα(M(α*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2)(2) |ψ(ψα(M(α*2))*ω) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,1)(3,2) |ψ(ψα(M(α*2)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,1)(3,2,1)(4,3,1)(5,3,1)(6,3,1)(5,2)(4) |ψ(ψα(M(α*2)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,1,1) |ψ(ψα(M(α*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,1,1)(3,2) |ψ(ψα(M(α*2)*ε(Ω(α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,1,1)(3,2,1)(4,2,1)(5,2,1)(4,1)(2) |ψ(ψα(M(α*2)^2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,2) |ψ(ψα(ε(M(α*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,2,1) |ψ(ψα(Ω(M(α*2)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,2,1)(3,2,1)(4,2) |ψ(ψα(l(1,0,M(α*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(M(α*2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(2) |ψ(ψα(M(α*3))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(3,1) |ψ(ψα(M(α^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1)(4,2) |ψ(ψα(M(ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1) |ψ(ψα(M(Ω(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(M(Ω(α+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(3) |ψ(ψα(M(Ω(α+1)*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(4,2) |ψ(ψα(M(ε(Ω(α+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(M(Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1) |ψ(ψα(M(M(α+1))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(5,1,1) |ψ(ψα(M(M(Ω(α+1)))*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2) |ψ(ψα(MFP(α+1)))=ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,1,1) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+ψα_2(Ω(α_2+1)^Ω(α_2+1)*α_2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2)(3,3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+ε(α_2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+Ω(α_2+1)+ψα_2(Ω(α_2+1)^Ω(α_2+1)*α_2+Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+Ω(α_2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+Ω(α_2+1)^ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2+Ω(α_2+1)^α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*(α_2+1)+ψα_2(Ω(α_2+1)^Ω(α_2+1)*(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*(α_2+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,1)(2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*(α_2+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(5,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*(α_2+ψα_2(Ω(α_2+1)^Ω(α_2+1)*α_2)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(3,1)(2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(3,1,1)(4,2,1)(5,2,1)(6,2,1)(5,2)(5) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*α_2*ψα_2(Ω(α_2+1)^Ω(α_2+1)*α_2*ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(3,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*(α_2^2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(4,3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)*ε(α_2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1)(7,4,1)(6,4) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+ψα_2(Ω(α_2+1)^Ω(α_2+1)*α_2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(2,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(2,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+Ω(α_2+1)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+1)+Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(2,2,1)(3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+Ω(α_2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(2,2,1)(3,2,1)(4,2,1)(3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)+Ω(α_2+1)^Ω(α_2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*2+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+1)*2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1)(2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1)(2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*α*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*ε(α+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*Ω(α+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*Ω(α+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(2,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*α_2+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+1)*α_2+Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1)(2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*(α_2+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,1,1)(4,2,1)(5) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*(α_2+Ω(α+ω)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*α_2*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(4,3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+1)*ε(α_2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2)(4,3,1)(5,4,1)(6,4,1)(7,4,1)(6,4,1)(6,4) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+2)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+1)*α_2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(3,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+2)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,1)(2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,1)(3,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α+1)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+α+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,1)(5,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+ε(α+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,1,1)(5,2,1)(6,2,1)(7,2,1)(6,2,1)(7) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+ω))))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(2,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2)+α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2)+Ω(α_2+1)^(Ω(α_2+1)+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(3,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(3,2)(4,3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2)*ε(α_2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(3,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2+1)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)+α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(3,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+α_2*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2)(5,3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)+ε(α_2+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*2)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1)(3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*2)*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1)(3,2,1)(4) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*2+ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*α))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*α_2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)(2,2,1)(3,2,1)(4,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*α_2)*2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)(3,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*α_2)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)(3,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*(α_2+1))+ψα_2(Ω(α_2+1)^(Ω(α_2+1)*(α_2+1))+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)(3,2,1)(4,2,1)(4,2) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*α_2*2))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)(5,3) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)*ε(α_2+1)))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^2+ψα_2(Ω(α_2+1)^Ω(α_2+1)^2+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1)(3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1)(3,2,1)(4,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^(Ω(α_2+1)^2*2)+ψα_2(Ω(α_2+1)^(Ω(α_2+1)^2*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1)(4,2,1) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^3+ψα_2(Ω(α_2+1)^Ω(α_2+1)^3+1))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1)(2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^α)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,1,1)(6,2,1)(7,2,1)(8,2,1)(9) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^ψα_2(Ω(α_2+1)^Ω(α_2+1)^ω))) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^α_2)) |- |(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)(3) |ψ(ψα(Ω(α_2+1)^Ω(α_2+1)^Ω(α_2+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,3) |ψ(ψα(ε(Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(2,1)(3,2) |ψ(ψα(ε(Ω(α_2+1)+1)+Ω(α+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(2,1,1) |ψ(ψα(ε(Ω(α_2+1)+1)+ψα_2(ε(Ω(α_2+1)+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(2,1,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α_2+1)+1)+ψα_2(ε(Ω(α_2+1)+1)+ψα_2(ε(Ω(α_2+1)+1))))) |- |(0)(1,1,1)(2,2,1)(3,3)(2,2) |ψ(ψα(ε(Ω(α_2+1)+1)+α_2)) |- |(0)(1,1,1)(2,2,1)(3,3)(2,2,1) |ψ(ψα(ε(Ω(α_2+1)+1)+Ω(α_2+1)+ψα_2(ε(Ω(α_2+1)+1)+Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(2,2,1)(3,3) |ψ(ψα(ε(Ω(α_2+1)+1)*2)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,1)(2) |ψ(ψα(ε(Ω(α_2+1)+1)*α)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,1,1)(4,2,1)(5,3) |ψ(ψα(ε(Ω(α_2+1)+1)*ψα_2(ε(Ω(α_2+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2) |ψ(ψα(ε(Ω(α_2+1)+1)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1) |ψ(ψα(ε(Ω(α_2+1)+1)*Ω(α_2+1)+ψα_2(ε(Ω(α_2+1)+1)*Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α_2+1)+1)^2)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3)(2,2,1)(3,3)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α_2+1)+1)^2*2)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3)(3,2,1) |ψ(ψα(ε(Ω(α_2+1)+1)^2*Ω(α_2+1)+ψα_2(ε(Ω(α_2+1)+1)^2*Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3)(4) |ψ(ψα(ε(Ω(α_2+1)+1)^ω)) |- |(0)(1,1,1)(2,2,1)(3,3)(3,2,1)(4,3)(4,2,1)(5,3) |ψ(ψα(ε(Ω(α_2+1)+1)^ε(Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(3,3) |ψ(ψα(ε(Ω(α_2+1)+2))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,1)(2) |ψ(ψα(ε(Ω(α_2+1)+α))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2) |ψ(ψα(ε(Ω(α_2+1)+α_2))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1) |ψ(ψα(ε(Ω(α_2+1)*2)+ψα_2(ε(Ω(α_2+1)*2)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(2,1,1) |ψ(ψα(ε(Ω(α_2+1)*2)+ψα_2(ε(Ω(α_2+1)*2)+ω))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(2,1,1)(3,2,1)(4,3) |ψ(ψα(ε(Ω(α_2+1)*2)+ψα_2(ε(Ω(α_2+1)*2)+ψα_2(ε(Ω(α+1)+1))))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(2,2) |ψ(ψα(ε(Ω(α_2+1)*2)+α_2)) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(2,2,1)(3,3) |ψ(ψα(ε(Ω(α_2+1)*2)+ε(Ω(α_2+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(3,3) |ψ(ψα(ε(Ω(α_2+1)*2+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(4) |ψ(ψα(ε(Ω(α_2+1)*ω))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(5,3) |ψ(ψα(ε(ε(Ω(α_2+1)+1)))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,3) |ψ(ψα(α_3^2)) |- |(0)(1,1,1)(2,2,1)(3,3)(4,4) |ψ(ψα(ε(α_3+1))) |- |(0)(1,1,1)(2,2,1)(3,3)(4,4,1)(5,5,1)(6,6) |ψ(ψα(Ω(α_3+1)+ψα_2(α_3))) |- |(0)(1,1,1)(2,2,1)(3,3,1) |ψ(ψα(Ω(α_3+1)+ψα_2(Ω(α_3+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(2,2) |ψ(ψα(Ω(α_3+1)+α_2)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(2,2,1)(3,3,1) |ψ(ψα(Ω(α_3+1)+ψα_3(Ω(α_3+1))+ψα_2(Ω(α_3+1)+ψα_3(Ω(α_3+1))+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3) |ψ(ψα(Ω(α_3+1)+ψα_3(Ω(α_3+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3,2) |ψ(ψα(Ω(α_3+1)+ψα_3(Ω(α_3+1)+α_2))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3,2,1)(4,3) |ψ(ψα(Ω(α_3+1)+ψα_3(Ω(α_3+1)+ψα_3(α_3)))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3,3) |ψ(ψα(Ω(α_3+1)+α_3)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3,3)(4,4) |ψ(ψα(Ω(α_3+1)+ε(α_3+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(3,3,1) |ψ(ψα(Ω(α_3+1)*2+ψα_2(Ω(α_3+1)*2+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4) |ψ(ψα(Ω(α_3+1)*ω)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,2) |ψ(ψα(Ω(α_3+1)*α_2)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,2,1)(5,3) |ψ(ψα(Ω(α_3+1)*ψα_3(α_3))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3) |ψ(ψα(Ω(α_3+1)*α_3)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1) |ψ(ψα(Ω(α_3+1)^2+ψα_2(Ω(α_3+1)^2+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(2,2) |ψ(ψα(Ω(α_3+1)^2+α_2)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(3) |ψ(ψα(Ω(α_3+1)^2+ψα_3(Ω(α_3+1)^2+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(3,3) |ψ(ψα(Ω(α_3+1)^2+α_3)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(3,3,1)(4,3,1) |ψ(ψα(Ω(α_3+1)^2*2+ψα_2(Ω(α_3+1)^2*2+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(4) |ψ(ψα(Ω(α_3+1)^2*ω)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(4,3,1) |ψ(ψα(Ω(α_3+1)^3+ψα_2(Ω(α_3+1)^3+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5) |ψ(ψα(Ω(α_3+1)^ω)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,4) |ψ(ψα(α_4)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,4)(3,3,1)(4,4) |ψ(ψα(α_4+ψα_4(α_4))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,4)(4,4) |ψ(ψα(α_4*2)) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1) |ψ(ψα(Ω(α_4+1)+ψα_2(Ω(α_4+1)+1))) |- |(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5) |ψ(ψα(α_5)) |- |(0)(1,1,1)(2,2,2) |ψ(ψα(α_ω)) |} [[分类:分析]]
返回
BMS分析Part4：SSO~pLRO
。
查看“︁BMS分析Part4：SSO~pLRO”︁的源代码
来自Googology Wiki
