BMS分析Part6
来自Googology Wiki
更多操作
本词条是BMS强度分析的第六部分，也是最后一个部分
| BMS | Standard（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 |