非递归BMS分析
来自Googology Wiki
更多操作
本条目展示非递归 BMS 和投影序数的列表分析。以下分析来自YourCpper
| 非递归BMS | 投影序数 |
| (1) | 1 |
| (1)(2) | ω |
| (1)(2,1) | e0 |
| (1)(2,1,1) | ψ(Ω_ω) |
| (1,1) | Ω |
| (1,1)(1,1) | Ω*2 |
| (1,1)(2) | Ω*ω |
| (1,1)(2)(3,1) | Ω*e0 |
| (1,1)(2,1) | Ω^2 |
| (1,1)(2,1)(3) | Ω^ω |
| (1,1)(2,1)(3,1) | Ω^Ω |
| (1,1)(2,2) | e(Ω+1) |
| (1,1)(2,2,1) | ψ_Ω_2(Ω_ω) |
| (1,1,1) | Ω_2 |
| (1,1,1)(1,1) | Ω_2+Ω |
| (1,1,1)(1,1,1) | Ω_2*2 |
| (1,1,1)(2) | Ω_2*ω |
| (1,1,1)(2,1,1) | Ω_2^2 |
| (1,1,1)(2,2) | e(Ω_2+1) |
| (1,1,1)(2,2)(3,3,1) | ψ_Ω_3(Ω_ω) |
| (1,1,1)(2,2,1) | Ω_3 |
| (1,1,1)(2,2,1)(2,2,1) | Ω_4 |
| (1,1,1)(2,2,1)(3) | Ω_ω |
| (1,1,1)(2,2,1)(3,1) | Ω_Ω |
| (1,1,1)(2,2,1)(3,1,1) | Ω_Ω_2 |
| (1,1,1)(2,2,1)(3,1,1)(4,2,1)(5) | Ω_Ω_ω |
| (1,1,1)(2,2,1)(3,2) | ψα(Ω(α+1)*α) |
| (1,1,1)(2,2,1)(3,2)(2,2,1) | ψα(Ω(α+1)*(α+1)) |
| (1,1,1)(2,2,1)(3,2)(3,2) | ψα(Ω(α+1)*α^2) |
| (1,1,1)(2,2,1)(3,2)(4,3) | ψα(Ω(α+1)*ψ_Ω(α+1)(Ω(α+1))) |
| (1,1,1)(2,2,1)(3,2,1) | ψα(Ω(α+1)^2) |
| (1,1,1)(2,2,1)(3,2,1)(2,2,1) | ψα(Ω(α+1)^2+Ω(α+1)) |
| (1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2) | ψα(Ω(α+1)^2+Ω(α+1)*α) |
| (1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1) | ψα(Ω(α+1)^2*2) |
| (1,1,1)(2,2,1)(3,2,1)(3) | ψα(Ω(α+1)^2*ω) |
| (1,1,1)(2,2,1)(3,2,1)(3,2) | ψα(Ω(α+1)^2*α) |
| (1,1,1)(2,2,1)(3,2,1)(3,2,1) | ψα(Ω(α+1)^3) |
| (1,1,1)(2,2,1)(3,2,1)(4) | ψα(Ω(α+1)^ω) |
| (1,1,1)(2,2,1)(3,2,1)(4,2) | ψα(Ω(α+1)^α) |
| (1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1) | ψα(Ω(α+1)^(α+1)) |
| (1,1,1)(2,2,1)(3,2,1)(4,2)(4,2) | ψα(Ω(α+1)^α^2) |
| (1,1,1)(2,2,1)(3,2,1)(4,2)(5,3) | ψα(Ω(α+1)^ψ_Ω(α+1)(Ω(α+1))) |
| (1,1,1)(2,2,1)(3,2,1)(4,2,1) | ψα(Ω(α+1)^Ω(α+1)) |
| (1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1) | ψα(Ω(α+1)^Ω(α+1)^Ω(α+1)) |
| (1,1,1)(2,2,1)(3,3) | ψα(α_2) |
| (1,1,1)(2,2,1)(3,3)(2,2,1) | ψα(α_2+Ω(α+1)) |
| (1,1,1)(2,2,1)(3,3)(2,2,1)(3,3) | ψα(α_2+ψα_2(α_2)) |
| (1,1,1)(2,2,1)(3,3)(3,2) | ψα(α_2+ψα_2(α_2+α)) |
| (1,1,1)(2,2,1)(3,3)(3,2,1) | ψα(α_2+ψα_2(α_2+Ω(α+1))) |
| (1,1,1)(2,2,1)(3,3)(3,2,1)(4,3) | ψα(α_2+ψα_2(α_2+ψα_2(α_2))) |
| (1,1,1)(2,2,1)(3,3)(3,3) | ψα(α_2*2) |
| (1,1,1)(2,2,1)(3,3)(4) | ψα(α_2*ω) |
| (1,1,1)(2,2,1)(3,3)(4,2) | ψα(α_2*α) |
| (1,1,1)(2,2,1)(3,3)(4,2,1) | ψα(α_2*Ω(α+1)) |
| (1,1,1)(2,2,1)(3,3)(4,2,1)(5,3) | ψα(α_2*ψα2(α_2)) |
| (1,1,1)(2,2,1)(3,3)(4,3) | ψα(α_2^2) |
| (1,1,1)(2,2,1)(3,3)(4,3)(5) | ψα(α_2^ω) |
| (1,1,1)(2,2,1)(3,3)(4,3)(5,3) | ψα(α_2^α_2) |
| (1,1,1)(2,2,1)(3,3)(4,4) | ψα(ψ_Ω(α_2+1)(Ω(α_2+1))) |
| (1,1,1)(2,2,1)(3,3,1) | ψα(Ω(α_2+1)) |
| (1,1,1)(2,2,1)(3,3,1)(2,2,1)(3,3,1) | ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1))) |
| (1,1,1)(2,2,1)(3,3,1)(3) | ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+1)) |
| (1,1,1)(2,2,1)(3,3,1)(3,2) | ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+α)) |
| (1,1,1)(2,2,1)(3,3,1)(3,2,1) | ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+Ω(α+1))) |
| (1,1,1)(2,2,1)(3,3,1)(3,2,1)(4,3,1) | ψα(Ω(α_2+1)+ψα_2(Ω(α_2+1)+ψα_2(Ω(α_2+1)))) |
| (1,1,1)(2,2,1)(3,3,1)(3,3) | ψα(Ω(α_2+1)+α_2) |
| (1,1,1)(2,2,1)(3,3,1)(3,3,1) | ψα(Ω(α_2+1)*2) |
| (1,1,1)(2,2,1)(3,3,1)(4) | ψα(Ω(α_2+1)*ω) |
| (1,1,1)(2,2,1)(3,3,1)(4,2) | ψα(Ω(α_2+1)*α) |
| (1,1,1)(2,2,1)(3,3,1)(4,3) | ψα(Ω(α_2+1)*α_2) |
| (1,1,1)(2,2,1)(3,3,1)(4,3,1) | ψα(Ω(α_2+1)^2) |
| (1,1,1)(2,2,1)(3,3,1)(4,3,1)(5) | ψα(Ω(α_2+1)^ω) |
| (1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1) | ψα(Ω(α_2+1)^Ω(α_2+1)) |
| (1,1,1)(2,2,1)(3,3,1)(4,4) | ψα(α_3) |
| (1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5) | ψα(α_4) |
| (1,1,1)(2,2,2) | ψα(α_ω) |
| (1,1,1)(2,2,2)(2,2,1) | ψα(α_ω+Ω(α+1)) |
| (1,1,1)(2,2,2)(2,2,1)(3,3) | ψα(α_ω+ψα_2(α_2)) |
| (1,1,1)(2,2,2)(2,2,1)(3,3,1) | ψα(α_ω+ψα_2(Ω(α_2+1))) |
| (1,1,1)(2,2,2)(2,2,1)(3,3,2) | ψα(α_ω+ψα_2(α_ω)) |
| (1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3) | ψα(α_ω+α_2) |
| (1,1,1)(2,2,2)(2,2,2) | ψα(α_ω*2) |
| (1,1,1)(2,2,2)(3,2) | ψα(α_ω*α) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2) | ψα(α_ω*α+ψα(α_ω*α)) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3) | ψα(α_ω*α+α) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2) | ψα(α_ω*α+α_ω) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4) | ψα(α_ω*α*ω) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(5,3) | ψα(α_ω*ψ_Ω(α+1)(Ω(α+1))) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1) | ψα(α_ω*Ω(α+1)) |
| (1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3) | ψα(α_ω*α_2) |
| (1,1,1)(2,2,2)(3,2)(2,2,2) | ψα(α_ω^2) |
| (1,1,1)(2,2,2)(3,2)(3) | ψα(α_ω^2*ω) |
| (1,1,1)(2,2,2)(3,2)(3,2)(2,2,1) | ψα(α_ω^3) |
| (1,1,1)(2,2,2)(3,2)(4) | ψα(α_ω^ω) |
| (1,1,1)(2,2,2)(3,2)(4,2)(2,2,2) | ψα(α_ω^α_ω) |
| (1,1,1)(2,2,2)(3,2)(4,3) | ψα(ψΩ(α_ω+1)(Ω(α_ω+1))) |
| (1,1,1)(2,2,2)(3,2,1) | ψα(Ω(α_ω+1)) |
| (1,1,1)(2,2,2)(3,2,1)(3) | ψα(Ω(α_ω+1)*ω) |
| (1,1,1)(2,2,2)(3,2,1)(3,2,1) | ψα(Ω(α_ω+1)^2) |
| (1,1,1)(2,2,2)(3,2,1)(4,2,1) | ψα(Ω(α_ω+1)^Ω(α_ω+1)) |
| (1,1,1)(2,2,2)(3,2,1)(4,3) | ψα(α_(ω+1)) |
| (1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,4) | ψα(α_(ω+2)) |
| (1,1,1)(2,2,2)(3,2,1)(4,3,2) | ψα(α_(ω2)) |
| (1,1,1)(2,2,2)(3,2,2) | ψα(α_(ω^2)) |
| (1,1,1)(2,2,2)(3,2,2)(4,2) | ψα(α_α) |
| (1,1,1)(2,2,2)(3,2,2)(4,2)(3) | ψα(ψβ(α(β+1)*β)) |
| (1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2) | ψα(ψβ(α(β+1)*β*ω)) |
| (1,1,1)(2,2,2)(3,2,2)(4,2,1) | ψα(ψβ(α(β+1)*Ω(β+1))) |
| (1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2) | ψα(ψβ(α(β+1)*ψα(β+1)(α(β+ω)))) |
| (1,1,1)(2,2,2)(3,2,2)(4,2,2) | ψα(ψβ(α(β+1)^2)) |
| (1,1,1)(2,2,2)(3,2,2)(4,2,2)(5) | ψα(ψβ(α(β+1)^ω)) |
| (1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2) | ψα(ψβ(α(β+1)^α(β+1))) |
| (1,1,1)(2,2,2)(3,3) | ψα(ψβ(ψ_Ω(α(β+1)+1)(Ω(α(β+1)+1)))) |
| (1,1,1)(2,2,2)(3,3,1) | ψα(ψβ(Ω(α(β+1)+1))) |
| (1,1,1)(2,2,2)(3,3,2) | ψα(ψβ(α(β+2)*ω)) |
| (1,1,1)(2,2,2)(3,3,2)(4,4,2) | ψα(ψβ(α(β_2+2)+ψβ_2(α(β_2+2)+1))) |
| (1,1,1)(2,2,2)(3,3,3) | ψα(ψβ(β_ω)) |
| (1,1,1)(2,2,2)(3,3,3)(4,4,4) | ψα(ψβ(ψγ(γ_ω))) |
| (1,1,1)(2,2,2,1) | ψα(P(ω,0)) |
| (1,1,1,1) | α |
| (1,1,1,1)(2) | α*ω |
| (1,1,1,1)(2,1,1,1) | α^2 |
| (1,1,1,1)(2,2) | ψ_Ω(α+1)(Ω(α+1)) |
| (1,1,1,1)(2,2,1) | Ω(α+1) |
| (1,1,1,1)(2,2,1)(3) | Ω(α+ω) |
| (1,1,1,1)(2,2,1)(3,2,1) | ψα_2(Ω(α_2+1)^2) |
| (1,1,1,1)(2,2,1)(3,3) | ψα_2(α_3) |
| (1,1,1,1)(2,2,1)(3,3,2) | ψα_2(α_ω) |
| (1,1,1,1)(2,2,1)(3,3,2,1) | ψα_2(P(ω,0)) |
| (1,1,1,1)(2,2,1,1) | α_2 |
| (1,1,1,1)(2,2,1,1)(3) | α_ω |
| (1,1,1,1)(2,2,1,1)(3,2) | ψβ(α(β+1)*β) |
| (1,1,1,1)(2,2,1,1)(3,2,1) | ψβ(α(β+1)*Ω(β+1)) |
| (1,1,1,1)(2,2,1,1)(3,2,1)(4,3,2,1) | ψβ(α(β+1)*ψα(β+1)(P(ω,0))) |
| (1,1,1,1)(2,2,1,1)(3,2,1,1) | ψβ(α(β+1)^2) |
| (1,1,1,1)(2,2,1,1)(3,2,1,1)(4,2,1,1) | ψβ(α(β+1)^α(β+1)) |
| (1,1,1,1)(2,2,1,1)(3,3) | ψβ(ψ_Ω(α(β+1)+1)(Ω(α(β+1)+1))) |
| (1,1,1,1)(2,2,1,1)(3,3,1) | ψβ(Ω(α(β+1)+1)) |
| (1,1,1,1)(2,2,1,1)(3,3,1)(4,4,2,1) | ψβ(ψα(β+2)(P(ω,0))) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1) | ψβ(α(β+2)) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1)(4) | ψβ(α(β+ω)) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1)(4,3) | ψβ(α(β_2+1)*β_2) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1)(4,3,1,1) | ψβ(α(β_2+1)^2) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1)(4,4) | ψβ(ψ_Ω(α(β_2+1)+1)(Ω(α(β_2+1)+1))) |
| (1,1,1,1)(2,2,1,1)(3,3,1,1)(4,4,1,1) | ψβ(α(β_2+2)) |
| (1,1,1,1)(2,2,2) | ψβ(β_ω) |
| (1,1,1,1)(2,2,2)(3,3,3,1) | ψβ(P(ω,0)) |
| (1,1,1,1)(2,2,2,1) | β |
| (1,1,1,1)(2,2,2,1)(2,2,1,1) | α_(β+1) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,1,1) | ψβ_2(α_(β_3+1)) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2) | ψβ_2(β_ω) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2)(4,4,3,1) | ψβ_2(P(ω,0)) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1) | β_2 |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3) | β_ω |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,2,1,1) | ψγ(β(γ+1)*α(γ+1)) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,2,1,1)(4,3,2,1) | ψγ(β(γ+1)^2) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,3,1,1) | ψγ(α(γ_2+1)) |
| (1,1,1,1)(2,2,2,1)(2,2,1,1)(3,3,2,1)(3,3,1,1)(4,4,2,1) | ψγ(β(γ_2+1)) |
| (1,1,1,1)(2,2,2,1)(2,2,2) | ψγ(γ_ω) |
| (1,1,1,1)(2,2,2,1)(2,2,2)(3,3,3,1) | ψγ(P(ω,0)) |
| (1,1,1,1)(2,2,2,1)(2,2,2,1) | γ |
| (1,1,1,1)(2,2,2,1)(3) | P(ω,0) |
| (1,1,1,1)(2,2,2,1)(3,1,1,1) | P(α,0) |
| (1,1,1,1)(2,2,2,1)(3,1,1,1)(4,2,2,1)(5) | P(P(ω,0),0) |
| (1,1,1,1)(2,2,2,1)(3,2) | ψS(σS*S) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1) | ψS(σS*S+ψS2(σS*2)) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2) | ψS(σS*S+ψS2(σS*S)) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,2,1,1)(4,3,2,1)(5,2) | ψS(σS*S+ψS2(σS*S+ψS2(σS*S))) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3) | ψS(σS*S+S_2) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,1,1)(4,4,2,1)(5,2) | ψS(σS*S+ψS3(σS*S)) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2) | ψS(σS*S+S_ω) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2,1) | ψS(σS*S+σS) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)(3,3,2,1)(4,2) | ψS(σS*S*2) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2,1,1) | ψS(σS*ψS_2(σS*2)) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2,1,1)(5,3,2,1)(6,2,1,1) | ψS(σS*ψS_2(σS*ψS_2(σS*2))) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,3) | ψS(σS*S_3) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,3)(3,3,1,1)(4,4,2,1)(5,4) | ψS(σS*S_4) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,2) | ψS(σS*S_ω) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1) | ψS(σS^2) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(2,2,2,1) | ψS(σS^2+σS) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2) | ψS(σS^2+σS*S) |
| (1,1,1,1)(2,2,2,1)(3,2)(2,2,2,1)(3,2)(2,2,2,1) | ψS(σS^2*2) |
| (1,1,1,1)(2,2,2,1)(3,2)(3) | ψS(σS^2*ω) |
| (1,1,1,1)(2,2,2,1)(3,2)(3,2)(2,2,2,1) | ψS(σS^3) |
| (1,1,1,1)(2,2,2,1)(3,2)(4,3) | ψS(S_(σS+1)) |
| (1,1,1,1)(2,2,2,1)(3,2)(4,3,1) | ψS(S_(σS+ω)) |
| (1,1,1,1)(2,2,2,1)(3,2)(4,3,1,1) | ψS(ψ_σS_2(σ^ωS)) |
| (1,1,1,1)(2,2,2,1)(3,2,1) | ψS(σS_2) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2) | ψS(σS_2+σS*S) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2)(4,3) | ψS(σS_2+ψS_(σS+1)(S_(σS+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(2,2,2,1)(3,2,1) | ψS(σS_2+ψS_(σS+1)(σS_2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(3,2,1) | ψS(σS_2+ψS_(σS+1)(σS_2+ψ_S_(σS+1)(σS_2))) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(4,3) | ψS(σS_2+S_(σS+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(4,3,2) | ψS(σS_2+ψσS_2(σσS_ω))) |
| (1,1,1,1)(2,2,2,1)(3,2,1)(4,3,2,1) | ψS(σS_2+ψσS_2(σ^ωS))) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1) | ψS(σS_2*2) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5) | ψS(σS_2*ω) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1) | ψS(σS_2*σS) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1) | ψS(σS_2*ψS_(σS+1)(σS_2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1,1) | ψS(σS_2*ψS_(σS+1)(σS_2*2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,2,1,1)(6,3,2,1)(7,2)(2,2,2,1) | ψS(σS_2*ψS_(σS+1)(σS_2*σS)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3) | ψS(σS_2*S_(σS+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3)(5,4,2,1) | ψS(σS_2*(S_(σS+1)+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3,1) | ψS(σS_2*ψS_(σS+2)(σS_2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,3,1,1) | ψS(σS_2*ψS_(σS+2)(σS_2*2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,1,1)(5,4,2,1)(6,4) | ψS(σS_2*S_(σS+2)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2) | ψS(σS_2*S_(σS+ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2,1) | ψS(σS_2^2) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3)(6,4) | ψS(S_(σS_2+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1) | ψS(σS_3) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1) | ψS(σS_3*2) |
| (1,1,1,1)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,4,1,1) | ψS(σS_4*2) |
| (1,1,1,1)(2,2,2,1)(3,2,2) | ψS(σS_ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1) | ψS(σS_ω+σS) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1) | ψS(σS_ω+ψS_(σS+1)(σS_2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1) | ψS(σS_ω+ψS_(σS+1)(σS_2*2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5) | ψS(σS_ω+ψS_(σS+1)(σS_2*ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3) | ψS(σS_ω+S_(σS+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1) | ψS(σS_ω+ψσS_2(σS_(σσS+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1)(6,4,2,1)(7,5,3,1)(8) | ψS(σS_ω+ψσS_2(σ^ωS)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1) | ψS(σS_ω+σS_2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,4,1,1) | ψS(σS_ω+σS_3) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(2,2,2,1)(3,2,2) | ψS(σS_ω*2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3) | ψS(σS_ω*ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(2,2,2,1) | ψS(σS_ω*σS) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(2,2,2,1)(3,2,2) | ψS(σS_ω^2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(3,2)(2,2,2,1) | ψS(σS_ω^2*σS) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(4) | ψS(σS_ω^ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2)(4,3) | ψS(S_(σS_ω+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1) | ψS(σS_(ω+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2,2,2,1)(3,2,2) | ψS(σS_(ω+1)+σS_ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(2,2,2,1)(3,2,2)(3,2,1) | ψS(σS_(ω+1)+ψS_(σS_ω+1)(σS_(ω+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2)(2,2,2,1) | ψS(σS_(ω+1)+ψS_(σS_ω+1)(σS_(ω+1)+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2)(4,3) | ψS(σS_(ω+1)+S_(σS_ω+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(3,2,1) | ψS(σS_(ω+1)+ψσS_(ω+1)(σS(σσS+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1)(4,3,2,1) | ψS(σS_(ω+1)+ψσS_(ω+1)(σ^ωS)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1) | ψS(σS_(ω+1)*2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5) | ψS(σS_(ω+1)*ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1) | ψS(σS_(ω+1)*σS) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(2,2,2,1)(3,2,2) | ψS(σS_(ω+1)*σS_ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(4,3,2,1) | ψS(σS_(ω+1)*(σS_ω+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2)(6,3) | ψS(σS_(ω+1)*(ψS(σS_ω+1)(S_(σS_ω+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2,1) | ψS(σS_(ω+1)*(ψS(σS_ω+1)(σS_(ω+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,2,1,1) | ψS(σS_(ω+1)*(ψS(σS_ω+1)(σS_(ω+1)*2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3) | ψS(σS_(ω+1)*S_(σS_ω+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3)(4,3,2,1) | ψS(σS_(ω+1)^2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3)(6,4) | ψS(S_(σS_(ω+1)+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1) | ψS(σS_(ω+2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1) | ψS(σS_(ω+2)*2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7) | ψS(σS_(ω+2)*ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,1,1)(6,4,2,1)(7,3,1) | ψS(σS_(ω+3)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,2) | ψS(σS_(ω2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,1,1)(4,3,2,1)(5,3,2,1)(6,3,1,1)(7,4,2) | ψS(σS_(ω3)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(3,2,2) | ψS(σS_(ω^2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4) | ψS(σS_(ω^ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1) | ψS(σS_σS) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(2,2,2,1)(3,2,2) | ψS(σS_σS_ω) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3) | ψS(ψσσS(σS(σσS+1)*σσS)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3,2,2) | ψS(ψσσS(σS(σσS+1)*σσS*ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(5,3) | ψS(ψσσS(σS(σσS+1)*ψS_(σσS+1)(S_(σσS+1)))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1))*2) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+1)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,2,1,1) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+ψσσS(σS(σσS+1)*S_(σσS+1)))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)+σσS)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,1,1) | ψS(ψσσS(σS(σσS+1)*(S_(σσS+1)+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,1,1)(5,3,2,1)(6,3,1,1)(7,4,2,1)(8) | ψS(ψσσS(σS(σσS+1)*(S_(σσS+1)+ω))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(4,2,1) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)^2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,2,2)(5) | ψS(ψσσS(σS(σσS+1)*S_(σσS+1)^ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3) | ψS(ψσσS(σS(σσS+1)*ψS_(σσS+2)(S_(σσS+2)))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,1) | ψS(ψσσS(σS(σσS+1)*S_(σσS+2))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2) | ψS(ψσσS(σS(σσS+1)*S_(σσS+2)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5) | ψS(ψσσS(σS(σσS+1)*S_(σσS+ω))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5,3) | ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+1)*σσS))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,2)(5,4,2) | ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+2)+1))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3) | ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σS_(σσS+ω)))) |
| (1,1,1,1)(2,2,2,1)(3,2,2)(4,3,3,1) | ψS(ψσσS(σS(σσS+1)*ψσS_(σσS+1)(σ^ωS))) |
| (1,1,1,1)(2,2,2,1)(3,2,2,1) | ψS(ψσσS(σS(σσS+1)^2)) |
| (1,1,1,1)(2,2,2,1)(3,2,2,1)(3,2,2) | ψS(ψσσS(σS(σσS+1)^2*ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2,1)(4) | ψS(ψσσS(σS(σσS+1)^ω)) |
| (1,1,1,1)(2,2,2,1)(3,2,2,1)(4,2,2,1) | ψS(ψσσS(σS(σσS+1)^σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3) | ψS(ψσσS(σσS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,1) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,1)(3,3) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1))+σσS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,1)(4) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1)+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,1)(4,4) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(S_(σσS_2+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,1)(4,4,2) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(σσS_ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,1)(4,4,2,1) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))+ψσσS(σ^ωS)) |
| (1,1,1,1)(2,2,2,1)(3,3,1,1) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1))*2) |
| (1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+1)) |
| (1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,3) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+ψσσS(ψS_(σσS_2+1)(σS_(σσS_2+1))+σσS_2))) |
| (1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,4) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)+σσS)) |
| (1,1,1,1)(2,2,2,1)(3,3,1,1)(4,4,2,1)(5,4,1,1) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*2)*2) |
| (1,1,1,1)(2,2,2,1)(3,3,2) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω^2)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2,1) | ψS(ψσσS(S_(σσS_2+1)+σS(σσS+1)^2)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(3,2,2,1)(4,3) | ψS(ψσσS(S_(σσS_2+1)+ψS_(σS(σσS+1)+1)(S_(σS(σσS+1)+1)))) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(3,3) | ψS(ψσσS(S_(σσS_2+1)+σS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(3,3,2) | ψS(ψσσS(S_(σσS_2+1)*2+σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4) | ψS(ψσσS(S_(σσS_2+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4,4) | ψS(ψσσS(ψ_S_(σσS_2+2)(S_(σσS_2+2)))) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4,4,1) | ψS(ψσσS(S_(σσS_2+2)+σS(σσS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4,4,2) | ψS(ψσσS(S_(σσS_2+2)+σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4,4,3) | ψS(ψσσS(ψσS_(σσS_2+1)(σS_(σσS_2+ω)))) |
| (1,1,1,1)(2,2,2,1)(3,3,2)(4,4,3,1) | ψS(ψσσS(ψσS_(σσS_2+1)(σ^ωS))) |
| (1,1,1,1)(2,2,2,1)(3,3,2,1) | ψS(ψσσS(σS_(σσS_2+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,2,1)(4) | ψS(ψσσS(σS_(σσS_2+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4) | ψS(ψσσS(ψS_(σS_(σσS_2+1)+1)(S_(σS_(σσS_2+1)+1)))) |
| (1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2) | ψS(ψσσS(S_(σσS_3+1)+σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,2,1)(4,4,2,1) | ψS(ψσσS(σS_(σσS_3+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3) | ψS(ψσσS(σσS_ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3)(4,4,4) | ψS(ψσσS(σσσS_ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3)(4,4,4,1) | ψS(ψσσS(σ^ωS)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1) | ψS(σσS) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1) | ψS(σσS+σS) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3) | ψS(σσS+ψσσS(σσS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,2) | ψS(σσS+ψσσS(S_(σσS_2+1)+σS(σσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,2,1) | ψS(σσS+ψσσS(σS_(σσS_2+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3) | ψS(σσS+ψσσS(σσS_ω))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(2,2,2,1)(3,3,3,1) | ψS(σσS*2) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(2,2,2,1) | ψS(σσS*σS) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(2,2,2,1)(3,3,3,1) | ψS(σσS^2) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2)(4,3) | ψS(S_(σσS+1)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1) | ψS(σS_(σσS+1)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1) | ψS(σS_(σσS+1)*2) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1)(4,3,2,1)(5) | ψS(σS_(σσS+1)*ω) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,1,1)(4,3,2,1)(5,4,3,1) | ψS(σσS_2) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2) | ψS(σσS_ω) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2)(4,2)(3) | ψS(ψσσσS(σσS(σσσS+1)*σσσS)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1) | ψS(ψσσσS(σσS(σσσS+1)*σS(σσσS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,2,2,1)(4,3,3,1) | ψS(ψσσσS(σσS(σσσS+1)^2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3) | ψS(ψσσσS(ψS_(σσS(σσσS+1)+1)(S_(σσS(σσσS+1)+1)))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2) | ψS(ψσσσS(S_(σσσS_2+1)+σσS(σσσS+1)*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1) | ψS(ψσσσS(σS_(σσσS_2+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,2,1)(4,4,3,1) | ψS(ψσσσS(σσS_(σσσS_2+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3) | ψS(ψσσσS(σσσS_ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3,1) | ψS(σσσS) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(3,3,3,1)(3,3,3,1) | ψS(σσσσS) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4) | ψS(ψθS(σθS*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2)(3) | ψS(ψθS(σθS*θS)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,1) | ψS(ψθS(σθS*S(θS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,1,1) | ψS(ψθS(σθS*S(θS+1)+σS(θS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2) | ψS(ψθS(σθS*S(θS+1)+ψθS_2(σθS*σ(θS+1)+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,2)(3) | ψS(ψθS(σθS*S(θS+1)+ψθS_2(σθS*σ(θS+1)+θS))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3) | ψS(ψθS(σθS*S(θS+1)+θS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3,3,1) | ψS(ψθS(σθS*(S(θS+1)+ω))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2)(5,3,3,1)(6,4,4,1)(7,5,5,1) | ψS(ψθS(σθS*S(θS+1)^2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1) | ψS(ψθS(σθS*ψθS_2(σθS))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1)(5,3,3,1)(6) | ψS(ψθS(σθS*ψθS_2(σθS*ω))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,2,2,1)(5,3,3,1)(6,4,4,1)(7) | ψS(ψθS(σθS*ψθS_2(σ^ωθS))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3) | ψS(ψθS(σθS*θσ_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(3,3,3,1) | ψS(ψθS(σθS^2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3)(5,4) | ψS(ψθS(S_(σθS+1))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,1) | ψS(ψθS(σθS_2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,1,1) | ψS(ψθS(σθS_2+ψσθS_2(σθS(σσθS+1)))*2) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2) | ψS(ψθS(σθS_2+ψσθS_2(σθS(σσθS+1)))*ω) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2,1) | ψS(ψθS(σθS_2*2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,2,1)(5,4,3,1)(6) | ψS(ψθS(σθS_2*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3) | ψS(ψθS(σθS_ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,3,3,1) | ψS(ψθS(ψσσθS(σθS(σσθS+1)^2))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4) | ψS(ψθS(ψσσθS(σσθS_2))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,1) | ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1)))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,2,1) | ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1))*2)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,3) | ψS(ψθS(ψσσθS(S_(σσθS_2+1)+σθS(σσθS+1))*ω)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,3,1) | ψS(ψθS(ψσσθS(σθS_(σσθS_2+1)))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4) | ψS(ψθS(ψσσθS(σσθS_ω))) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4,1) | ψS(ψθS(σσθS)) |
| (1,1,1,1)(2,2,2,1)(3,3,3,1)(4,4,4,1)(5) | ψS(ψθS(ψθθS(σθθS*ω))) |
| (1,1,1,1)(2,2,2,2) | ψS(ψX(θX*ω)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2) | ψS(ψX(θX*ω^2)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3) | ψS(ψX(θX*X)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3,2,2,2) | ψS(ψX(θX*X+ψX_2(θX+1))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(3,2,2,2)(4,2)(3) | ψS(ψX(θX*X+ψX_2(θX+X))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2)(5,3) | ψS(ψX(θX*X+ψX_2(θX+ψX_2(X_2)))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,1) | ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX)))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2) | ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX*ω)))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(3) | ψS(ψX(θX*X+ψX_2(θX+ψX_2(θX*X)))) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(5,3) | ψS(ψX(θX*X+X_2)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(5,3,3) | ψS(ψX(θX*X+X_ω)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,1) | ψS(ψX(θX*X+θX)) |
| (1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2,2) | ψS(ψX(θX*X*ω)) |
| (1,1,1,1)(2,2,2,2)(3,3) | ψS(ψX(θX*X*ω+X_2)) |
| (1,1,1,1)(2,2,2,2)(3,3,3) | ψS(ψX(θX*X*ω+X_ω)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,1) | ψS(ψX(θX*(X*ω+1))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2) | ψS(ψX(θX*X*ω^2)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,1) | ψS(ψX(θX^2)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3)(3,3,3,2) | ψS(ψX(θX^2*ω)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,1) | ψS(ψX(X(θX+1))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,1,1) | ψS(ψX(σX(θX+1))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,2) | ψS(ψX(ψθX_2(θX(σθX+1)*ω))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,2,1) | ψS(ψX(θX_2)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3) | ψS(ψX(θX_ω)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3)(5,3)(4) | ψS(ψX(ψθθX(θX(θθX+1)*θθX))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3)(5,4) | ψS(ψX(ψθθX(θX(θθX+1)*ψX_(θθX+2)(X_(θθX+2))))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3,1) | ψS(ψX(ψθθX(θX(θθX+1)^2))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,3,3,2) | ψS(ψX(ψθθX(θX(θθX+1)^2*ω))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4) | ψS(ψX(ψθθX(θθX_2))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4) | ψS(ψX(ψθθX(θθX_ω))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4,1) | ψS(ψX(θθX)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,2)(4,4,4,2) | ψS(ψX(θθX*ω)) |
| (1,1,1,1)(2,2,2,2)(3,3,3,3) | ψS(ψH(H^(H^2+Hω))) |
| (1,1,1,1)(2,2,2,2)(3,3,3,3)(4,4,4,4) | ψS(ψH(H^(H^3+Hω))) |
| (1,1,1,1)(2,2,2,2,1) | ψS(ψH(H^(H^ω))) |
| (1,1,1,1,1) | S |
| (1,1,1,1,1)(2,2) | ψ_Ω(S+1)(Ω(S+1)) |
| (1,1,1,1,1)(2,2,1) | Ω(S+1) |
| (1,1,1,1,1)(2,2,1,1) | α(S+1) |
| (1,1,1,1,1)(2,2,1,1,1) | S_2 |
| (1,1,1,1,1)(2,2,1,1,1)(3) | S_ω |
| (1,1,1,1,1)(2,2,1,1,1)(3,3) | ψθS(σθS+θS_2) |
| (1,1,1,1,1)(2,2,1,1,1)(3,3,1,1,1) | ψθS(σθS+ψθS_3(σθS)) |
| (1,1,1,1,1)(2,2,2) | ψθS(σθS+θS_ω) |
| (1,1,1,1,1)(2,2,2,1) | ψθS(σθS2) |
| (1,1,1,1,1)(2,2,2,1,1) | θS |
| (1,1,1,1,1)(2,2,2,2) | ψX(θX*ω) |
| (1,1,1,1,1)(2,2,2,2,1) | X |
| (1,1,1,1,1)(2,2,2,2,1)(3) | ψH(H^H^ω) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2) | ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^H*ω)))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2,2) | ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^(H^H*ω))))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2)(2,2,2,2,1) | ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^(H+1))))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2)(4,3) | ψ_ψH(H^H^H)(ψH(H^H^(H+1)+ψH(H^H^(H+1))))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2,2) | ψ_ψH(H^H^H)(ψH(H^H^(H+1)*ω))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,2,2,2) | ψ_ψH(H^H^H)(ψH(H^(H^(H+1)*ω)))) |
| (1,1,1,1,1)(2,2,2,2,1)(3,3,3,3,1) | ψ_ψH(H^H^H)(ψH(H^H^(H2))) |
| (1,1,1,1,1)(2,2,2,2,2) | ψ_ψH(H^H^H)(ψH(H^H^(Hω))) |
| (1,1,1,1,1)(2,2,2,2,2,1) | ψ_ψH(H^H^H)(ψH(H^H^H^ω)) |
| (1,1,1,1,1,1) | ψH(H^H^H) |
| (1,1,1,1,1,1,1) | ψH(H^^4) |
| (1^(2)) | ψH(e(H+1)) |