非递归BMS分析：修订间差异

2025年8月24日 (日) 11:55的最新版本

本条目展示非递归 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(σSS+ψS2(σS2))
(1,1,1,1)(2,2,2,1)(3,2)(2,2,1,1)(3,3,2,1)(4,2)	ψS(σSS+ψS2(σSS))
(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(σSS+ψS2(σSS+ψ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(σSS+ψS3(σSS))
(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(σSS2)
(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(σS2))
(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_22))
(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_22))
(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(σθSS(θ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(σθSS(θ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(θXX+ψX_2(θX+ψX_2(θXω))))
(1,1,1,1)(2,2,2,2)(3,2,2,2)(4,2,2)(3)	ψS(ψX(θXX+ψX_2(θX+ψX_2(θXX))))
(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(θXXω))
(1,1,1,1)(2,2,2,2)(3,3)	ψS(ψX(θXXω+X_2))
(1,1,1,1)(2,2,2,2)(3,3,3)	ψS(ψX(θXXω+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(θXXω^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))

@@ 第1行： / 第1行： @@
-本条目展示[[非递归BMS]]和其他非递归记号的列表分析
+本条目展示[[非递归BMS|非递归 BMS]] 和[[投影序数]]的列表分析。以下分析来自YourCpper
 {| class="wikitable"
-|+
+|非递归BMS
-!非递归BMS
+|投影序数
-!其他记号
 |-
-|<math>\varnothing</math>
+|(1)
-|<math>0</math>
+|1
 |-
-|<math>(1)</math>
+|(1)(2)
-|<math>1</math>
+|ω
 |-
-|<math>(1)(1)</math>
+|(1)(2,1)
-|<math>2</math>
+|e0
 |-
-|<math>(1)(2)</math>
+|(1)(2,1,1)
-|<math>\omega</math>
+|ψ(Ω_ω)
 |-
-|<math>(1)(2)(1)</math>
+|(1,1)
-|<math>\omega+1</math>
+|Ω
 |-
-|<math>(1)(2)(2)</math>
+|(1,1)(1,1)
-|<math>\omega^2</math>
+|Ω*2
 |-
-|<math>(1)(2)(3)</math>
+|(1,1)(2)
-|<math>\omega^\omega</math>
+|Ω*ω
 |-
-|<math>(1)(2,1)</math>
+|(1,1)(2)(3,1)
-|<math>\varepsilon_0</math>
+|Ω*e0
 |-
-|<math>(1)(2,1,1)</math>
+|(1,1)(2,1)
-|<math>\psi(\Omega_\omega)</math>
+|Ω^2
 |-
-|<math>(1,1)</math>
+|(1,1)(2,1)(3)
-|<math>\Omega</math>
+|Ω^ω
 |-
-|<math>(1,1)(1)</math>
+|(1,1)(2,1)(3,1)
-|<math>\Omega+1</math>
+|Ω^Ω
 |-
-|<math>(1,1)(1)(2)</math>
+|(1,1)(2,2)
-|<math>\Omega+\omega</math>
+|e(Ω+1)
 |-
-|<math>(1,1)(1)(2,1)</math>
+|(1,1)(2,2,1)
-|<math>\Omega+\varepsilon_0</math>
+|ψ_Ω_2(Ω_ω)
 |-
-|<math>(1,1)(1)(2,1,1)</math>
+|(1,1,1)
-|<math>\Omega+\psi(\Omega_\omega)</math>
+|Ω_2
 |-
-|<math>(1,1)(1,1)</math>
+|(1,1,1)(1,1)
-|<math>\Omega\times2</math>
+|Ω_2+Ω
 |-
-|<math>(1,1)(1,1)(1,1)</math>
+|(1,1,1)(1,1,1)
-|<math>\Omega\times3</math>
+|Ω_2*2
 |-
-|<math>(1,1)(2)</math>
+|(1,1,1)(2)
-|<math>\Omega\times\omega</math>
+|Ω_2*ω
 |-
-|<math>(1,1)(2)(1,1)</math>
+|(1,1,1)(2,1,1)
-|<math>\Omega\times\omega+\Omega</math>
+|Ω_2^2
 |-
-|<math>(1,1)(2)(2)</math>
+|(1,1,1)(2,2)
-|<math>\Omega\times\omega^2</math>
+|e(Ω_2+1)
 |-
-|<math>(1,1)(2)(3,1,1)</math>
+|(1,1,1)(2,2)(3,3,1)
-|<math>\Omega\times\psi(\Omega_\omega)</math>
+|ψ_Ω_3(Ω_ω)
 |-
-|<math>(1,1)(2,1)</math>
+|(1,1,1)(2,2,1)
-|<math>\Omega^2</math>
+|Ω_3
 |-
-|<math>(1,1)(2,1)(1,1)(2,1)</math>
+|(1,1,1)(2,2,1)(2,2,1)
-|<math>\Omega^2\times2</math>
+|Ω_4
 |-
-|<math>(1,1)(2,1)(2)</math>
+|(1,1,1)(2,2,1)(3)
-|<math>\Omega^2\times\omega</math>
+|Ω_ω
 |-
-|<math>(1,1)(2,1)(2)(3,1,1)</math>
+|(1,1,1)(2,2,1)(3,1)
-|<math>\Omega^2\times\psi(\Omega_\omega)</math>
+|Ω_Ω
 |-
-|<math>(1,1)(2,1)(2,1)</math>
+|(1,1,1)(2,2,1)(3,1,1)
-|<math>\Omega^3</math>
+|Ω_Ω_2
 |-
-|<math>(1,1)(2,1)(2,1)(2,1)</math>
+|(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5)
-|<math>\Omega^4</math>
+|Ω_Ω_ω
 |-
-|<math>(1,1)(2,1)(3)</math>
+|(1,1,1)(2,2,1)(3,2)
-|<math>\Omega^\omega</math>
+|ψα(Ω(α+1)*α)
 |-
-|<math>(1,1)(2,1)(3)(4,1,1)</math>
+|(1,1,1)(2,2,1)(3,2)(2,2,1)
-|<math>\Omega^{\psi(\Omega_\omega)}</math>
+|ψα(Ω(α+1)*(α+1))
 |-
-|<math>(1,1)(2,1)(3,1)</math>
+|(1,1,1)(2,2,1)(3,2)(3,2)
-|<math>\Omega^\Omega</math>
+|ψα(Ω(α+1)*α^2)
 |-
-|<math>(1,1)(2,1)(3,1)(4,1)</math>
+|(1,1,1)(2,2,1)(3,2)(4,3)
-|<math>\Omega^{\Omega^\Omega}</math>
+|ψα(Ω(α+1)*ψ_Ω(α+1)(Ω(α+1)))
 |-
-|<math>(1,1)(2,2)</math>
+|(1,1,1)(2,2,1)(3,2,1)
-|<math>\psi_1(\Omega_2)</math>
+|ψα(Ω(α+1)^2)
 |-
-|<math>(1,1)(2,2)(2,1)</math>
+|(1,1,1)(2,2,1)(3,2,1)(2,2,1)
-|<math>\psi_1(\Omega_2+\Omega)</math>
+|ψα(Ω(α+1)^2+Ω(α+1))
 |-
-|<math>(1,1)(2,2)(2,1)(2,1)</math>
+|(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)
-|<math>\psi_1(\Omega_2+\Omega\times2)</math>
+|ψα(Ω(α+1)^2+Ω(α+1)*α)
 |-
-|<math>(1,1)(2,2)(2,1)(3)</math>
+|(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)
-|<math>\psi_1(\Omega_2+\Omega\times\omega)</math>
+|ψα(Ω(α+1)^2*2)
 |-
-|<math>(1,1)(2,2)(2,1)(3,1)</math>
+|(1,1,1)(2,2,1)(3,2,1)(3)
-|<math>\psi_1(\Omega_2+\Omega^2)</math>
+|ψα(Ω(α+1)^2*ω)
 |-
-|<math>(1,1)(2,2)(2,1)(3,2)</math>
+|(1,1,1)(2,2,1)(3,2,1)(3,2)
-|<math>\psi_1(\Omega_2+\psi_1(\Omega_2))</math>
+|ψα(Ω(α+1)^2*α)
 |-
-|<math>(1,1)(2,2)(2,1)(3,2)(2,1)(3,2)</math>
+|(1,1,1)(2,2,1)(3,2,1)(3,2,1)
-|<math>\psi_1(\Omega_2+\psi_1(\Omega_2)\times2)</math>
+|ψα(Ω(α+1)^3)
 |-
-|<math>(1,1)(2,2)(2,1)(3,2)(3)</math>
+|(1,1,1)(2,2,1)(3,2,1)(4)
-|<math>\psi_1(\Omega_2+\psi_1(\Omega_2+1))</math>
+|ψα(Ω(α+1)^ω)
 |-
-|<math>(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)</math>
+|(1,1,1)(2,2,1)(3,2,1)(4,2)
-|<math>\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))</math>
+|ψα(Ω(α+1)^α)
 |-
-|<math>(1,1)(2,2)(2,2)</math>
+|(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)
-|<math>\psi_1(\Omega_2\times2)</math>
+|ψα(Ω(α+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))
 |}
 [[分类:分析]]