BMS分析Part6

本词条是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