ψ(Ω^ω+1)(0)(1,1)(2,1)(3)(1)
ψ(Ω^ω+ω)(0)(1,1)(2,1)(3)(1)(2)
ψ(Ω^ω+SCO)(0)(1,1)(2,1)(3)(1)(2,1)
ψ(Ω^ω+CO)(0)(1,1)(2,1)(3)(1)(2,1)(3,1)
ψ(Ω^ω+HCO)(0)(1,1)(2,1)(3)(1)(2,1)(3,1)(4)
ψ(Ω^ω+Ω)(0)(1,1)(2,1)(3)(1,1)
ψ(Ω^ω+Ω*2)(0)(1,1)(2,1)(3)(1,1)(1,1)
ψ(Ω^ω+Ω*ω)(0)(1,1)(2,1)(3)(1,1)(2)
ψ(Ω^ω+Ω*SCO)(0)(1,1)(2,1)(3)(1,1)(2)(3,1)
ψ(Ω^ω+Ω^2)(0)(1,1)(2,1)(3)(1,1)(2,1)
ψ(Ω^ω*2)(0)(1,1)(2,1)(3)(1,1)(2,1)(3)
ψ(Ω^ω*ω)(0)(1,1)(2,1)(3)(2)
ψ(Ω^ω*SCO)(0)(1,1)(2,1)(3)(2)(3,1)
ψ(Ω^(ω+1))(0)(1,1)(2,1)(3)(2,1)
ψ(Ω^(ω+1)*ω)(0)(1,1)(2,1)(3)(2,1)(2)
ψ(Ω^(ω+2))(0)(1,1)(2,1)(3)(2,1)(2,1)
ψ(Ω^(ω2))(0)(1,1)(2,1)(3)(2,1)(3)
ψ(Ω^(ω2+1))(0)(1,1)(2,1)(3)(2,1)(3)(2,1)
ψ(Ω^(ω3))(0)(1,1)(2,1)(3)(3)
ψ(Ω^ω^2)(0)(1,1)(2,1)(3)(4)
ψ(Ω^SCO)(0)(1,1)(2,1)(3)(4,1)
ψ(Ω^CO)(0)(1,1)(2,1)(3)(4,1)(5,1)
ψ(Ω^HCO)(0)(1,1)(2,1)(3)(4,1)(5,1)(6)
ψ(Ω^ψ(Ω^HCO))(0)(1,1)(2,1)(3)(4,1)(5,1)(6)(7,1)(8,1)
ψ(Ω^Ω) = FSO(0)(1,1)(2,1)(3,1)
ψ(Ω^Ω+1)(0)(1,1)(2,1)(3,1)(1)
ψ(Ω^Ω+ω)(0)(1,1)(2,1)(3,1)(1)(2)
ψ(Ω^Ω+SCO)(0)(1,1)(2,1)(3,1)(1)(2,1)
ψ(Ω^Ω+CO)(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)
ψ(Ω^Ω+HCO)(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4)
ψ(Ω^Ω+FSO)(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)
ψ(Ω^Ω+ψ(Ω^Ω+1))(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)
ψ(Ω^Ω+ψ(Ω^Ω+SCO))(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)
ψ(Ω^Ω+ψ(Ω^Ω+CO))(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)
ψ(Ω^Ω+ψ(Ω^Ω+HCO))(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5)
ψ(Ω^Ω+ψ(Ω^Ω+FSO))(0)(1,1)(2,1)(3,1)(1)(2,1)(3,1)(4,1)(2)(3,1)(4,1)(5,1)
ψ(Ω^Ω+Ω)(0)(1,1)(2,1)(3,1)(1,1)
ψ(Ω^Ω+Ω+1)(0)(1,1)(2,1)(3,1)(1,1)(1)
ψ(Ω^Ω+Ω+SCO)(0)(1,1)(2,1)(3,1)(1,1)(1)(2,1)
ψ(Ω^Ω+Ω+FSO)(0)(1,1)(2,1)(3,1)(1,1)(1)(2,1)(3,1)(4,1)
ψ(Ω^Ω+Ω*2)(0)(1,1)(2,1)(3,1)(1,1)(1,1)
ψ(Ω^Ω+Ω*ω)(0)(1,1)(2,1)(3,1)(1,1)(2)
ψ(Ω^Ω+Ω*SCO)(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)
ψ(Ω^Ω+Ω*FSO)(0)(1,1)(2,1)(3,1)(1,1)(2)(3,1)(4,1)(5,1)
ψ(Ω^Ω+Ω^2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)
ψ(Ω^Ω+Ω^2+SCO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1)(2,1)
ψ(Ω^Ω+Ω^2+FSO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1)(2,1)(3,1)(4,1)
ψ(Ω^Ω+Ω^2+Ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)
ψ(Ω^Ω+Ω^2+Ω*2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(1,1)
ψ(Ω^Ω+Ω^2*2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(2,1)
ψ(Ω^Ω+Ω^2*3)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)
ψ(Ω^Ω+Ω^2*ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)
ψ(Ω^Ω+Ω^2*SCO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)
ψ(Ω^Ω+Ω^2*FSO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2)(3,1)(4,1)(5,1)
ψ(Ω^Ω+Ω^3)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)
ψ(Ω^Ω+Ω^3+Ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(1,1)
ψ(Ω^Ω+Ω^3*2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)
ψ(Ω^Ω+Ω^3*ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(2)
ψ(Ω^Ω+Ω^4)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)(2,1)
ψ(Ω^Ω+Ω^ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)
ψ(Ω^Ω+Ω^ω*2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(1,1)(2,1)(3)
ψ(Ω^Ω+Ω^ω*ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2)
ψ(Ω^Ω+Ω^(ω+1))(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2,1)
ψ(Ω^Ω+Ω^(ω2))(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(2,1)(3)
ψ(Ω^Ω+Ω^ω^2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(3)
ψ(Ω^Ω+Ω^SCO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)
ψ(Ω^Ω+Ω^FSO)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3)(4,1)(5,1)(6,1)
ψ(Ω^Ω*2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
ψ(Ω^Ω*2+Ω)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)
ψ(Ω^Ω*2+Ω^2)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)
ψ(Ω^Ω*2+Ω^3)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(2,1)
ψ(Ω^Ω*3)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
ψ(Ω^Ω*4)(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
ψ(Ω^Ω*ω)(0)(1,1)(2,1)(3,1)(2)
ψ(Ω^Ω*SCO)(0)(1,1)(2,1)(3,1)(2)(3,1)
ψ(Ω^Ω*CO)(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)
ψ(Ω^Ω*FSO)(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)
ψ(Ω^Ω*ψ(Ω^Ω*FSO))(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(4)(5,1)(6,1)(7,1)
ψ(Ω^(Ω+1))(0)(1,1)(2,1)(3,1)(2,1)
ψ(Ω^(Ω+1)+Ω)(0)(1,1)(2,1)(3,1)(2,1)(1,1)
ψ(Ω^(Ω+1)+Ω^Ω)(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)
ψ(Ω^(Ω+1)*2)(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)
ψ(Ω^(Ω+1)*ω)(0)(1,1)(2,1)(3,1)(2,1)(2)
ψ(Ω^(Ω+1)*SCO)(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)
ψ(Ω^(Ω+1)*FSO)(0)(1,1)(2,1)(3,1)(2,1)(2)(3,1)(4,1)(5,1)
ψ(Ω^(Ω+2))(0)(1,1)(2,1)(3,1)(2,1)(2,1)
ψ(Ω^(Ω+ω))(0)(1,1)(2,1)(3,1)(2,1)(3)
ψ(Ω^(Ω+SCO))(0)(1,1)(2,1)(3,1)(2,1)(3)(4,1)
ψ(Ω^(Ω*2))(0)(1,1)(2,1)(3,1)(2,1)(3,1)
ψ(Ω^(Ω*3))(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1)
ψ(Ω^(Ω*ω))(0)(1,1)(2,1)(3,1)(3)
ψ(Ω^(Ω*SCO))(0)(1,1)(2,1)(3,1)(3)(4,1)
ψ(Ω^Ω^2) = ACO(0)(1,1)(2,1)(3,1)(3,1)
ψ(Ω^(Ω^2+1))(0)(1,1)(2,1)(3,1)(3,1)(2,1)
ψ(Ω^(Ω^2*2))(0)(1,1)(2,1)(3,1)(3,1)(2,1)(3,1)(3,1)
ψ(Ω^(Ω^2*ω))(0)(1,1)(2,1)(3,1)(3,1)(3)
ψ(Ω^Ω^3)(0)(1,1)(2,1)(3,1)(3,1)(3,1)
ψ(Ω^Ω^4)(0)(1,1)(2,1)(3,1)(3,1)(3,1)(3,1)
ψ(Ω^Ω^ω) = SVO(0)(1,1)(2,1)(3,1)(4)
ψ(Ω^Ω^ω+Ω)(0)(1,1)(2,1)(3,1)(4)(1,1)
ψ(Ω^Ω^ω+Ω^2)(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)
ψ(Ω^Ω^ω+Ω^2)(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(2,1)
ψ(Ω^Ω^ω+Ω^ω)(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3)
ψ(Ω^Ω^ω+Ω^Ω)(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)
ψ(Ω^Ω^ω*2)(0)(1,1)(2,1)(3,1)(4)(1,1)(2,1)(3,1)(4)
ψ(Ω^Ω^ω*ω)(0)(1,1)(2,1)(3,1)(4)(2)
ψ(Ω^(Ω^ω+1))(0)(1,1)(2,1)(3,1)(4)(2,1)
ψ(Ω^(Ω^ω+ω))(0)(1,1)(2,1)(3,1)(4)(2,1)(3)
ψ(Ω^(Ω^ω+Ω))(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)
ψ(Ω^(Ω^ω*2))(0)(1,1)(2,1)(3,1)(4)(2,1)(3,1)(4)
ψ(Ω^(Ω^ω*ω))(0)(1,1)(2,1)(3,1)(4)(3)
ψ(Ω^Ω^(ω+1))(0)(1,1)(2,1)(3,1)(4)(3,1)
ψ(Ω^Ω^(ω+2))(0)(1,1)(2,1)(3,1)(4)(3,1)(3,1)
ψ(Ω^Ω^(ω2))(0)(1,1)(2,1)(3,1)(4)(3,1)(4)
ψ(Ω^Ω^ω^2)(0)(1,1)(2,1)(3,1)(4)(4)
ψ(Ω^Ω^ω^ω)(0)(1,1)(2,1)(3,1)(4)(5)
ψ(Ω^Ω^SCO)(0)(1,1)(2,1)(3,1)(4)(5,1)
ψ(Ω^Ω^FSO)(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)
ψ(Ω^Ω^SVO)(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8)
ψ(Ω^Ω^ψ(Ω^Ω^SVO))(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)(8)(9,1)(10,1)(11,1)(12)
ψ(Ω^Ω^Ω) = 坦克(0)(1,1)(2,1)(3,1)(4,1)

ψ(Ω^Ω^Ω*ω)(0)(1,1)(2,1)(3,1)(4,1)(2)
ψ(Ω^(Ω^Ω+1))(0)(1,1)(2,1)(3,1)(4,1)(2,1)
ψ(Ω^(Ω^Ω*2))(0)(1,1)(2,1)(3,1)(4,1)(2,1)(3,1)(4,1)
ψ(Ω^(Ω^Ω*ω))(0)(1,1)(2,1)(3,1)(4,1)(3)
ψ(Ω^Ω^(Ω+1))(0)(1,1)(2,1)(3,1)(4,1)(3,1)
ψ(Ω^Ω^(Ω+ω))(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4)
ψ(Ω^Ω^(Ω*2))(0)(1,1)(2,1)(3,1)(4,1)(3,1)(4,1)
ψ(Ω^Ω^(Ω*ω))(0)(1,1)(2,1)(3,1)(4,1)(4)
ψ(Ω^Ω^Ω^2)(0)(1,1)(2,1)(3,1)(4,1)(4,1)
ψ(Ω^Ω^Ω^3)(0)(1,1)(2,1)(3,1)(4,1)(4,1)(4,1)
ψ(Ω^Ω^Ω^ω)(0)(1,1)(2,1)(3,1)(4,1)(5)
ψ(Ω^Ω^Ω^SCO)(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)
ψ(Ω^Ω^Ω^FSO)(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)(7,1)
ψ(Ω^Ω^Ω^λVO)(0)(1,1)(2,1)(3,1)(4,1)(5)(6,1)(7,1)(8,1)
ψ(Ω^Ω^Ω^Ω)(0)(1,1)(2,1)(3,1)(4,1)(5,1)
ψ(Ω^Ω^Ω^Ω^ω)(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6)
ψ(Ω^Ω^Ω^Ω^Ω)(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1)
ψ(Ω^^6)(0)(1,1)(2,1)(3,1)(4,1)(5,1)(6,1)(7,1)
ψ(Ω_2) = BHO(0)(1,1)(2,2)
ψ(Ω_2+1)(0)(1,1)(2,2)(1)
ψ(Ω_2+SCO)(0)(1,1)(2,2)(1)(2,1)
ψ(Ω_2+CO)(0)(1,1)(2,2)(1)(2,1)(3,1)
ψ(Ω_2+BHO)(0)(1,1)(2,2)(1)(2,1)(3,2)
ψ(Ω_2+ψ(Ω_2+BHO))(0)(1,1)(2,2)(1)(2,1)(3,2)(2)(3,1)(4,2)
ψ(Ω_2+Ω)(0)(1,1)(2,2)(1,1)
ψ(Ω_2+Ω^2)(0)(1,1)(2,2)(1,1)(2,1)
ψ(Ω_2+Ω^Ω)(0)(1,1)(2,2)(1,1)(2,1)(3,1)
ψ(Ω_2*ψ₁(Ω_2))(0)(1,1)(2,2)(1,1)(2,2)
ψ(Ω_2+ψ₁(Ω_2)+Ω)(0)(1,1)(2,2)(1,1)(2,2)(1,1)
ψ(Ω_2+ψ₁(Ω_2)*2)(0)(1,1)(2,2)(1,1)(2,2)(1,1)(2,2)
ψ(Ω_2+ψ₁(Ω_2+1))(0)(1,1)(2,2)(2)
ψ(Ω_2+ψ₁(Ω_2+SCO))(0)(1,1)(2,2)(2)(3,1)
ψ(Ω_2+ψ₁(Ω_2+BHO))(0)(1,1)(2,2)(2)(3,1)(4,2)
ψ(Ω_2+ψ₁(Ω_2+Ω))(0)(1,1)(2,2)(2,1)
ψ(Ω_2+ψ₁(Ω_2+Ω^Ω))(0)(1,1)(2,2)(2,1)(3,1)
ψ(Ω_2+ψ₁(Ω_2+ψ₁(Ω_2)))(0)(1,1)(2,2)(2,1)(3,2)
ψ(Ω_2*2)(0)(1,1)(2,2)(2,2)
ψ(Ω_2*2+ψ₁(Ω_2*2+1))(0)(1,1)(2,2)(2,2)(2)
ψ(Ω_2*2+ψ₁(Ω_2*2+Ω))(0)(1,1)(2,2)(2,2)(2,1)
ψ(Ω_2*3)(0)(1,1)(2,2)(2,2)(2,2)
ψ(Ω_2*ω)(0)(1,1)(2,2)(3)
ψ(Ω_2*Ω)(0)(1,1)(2,2)(3,1)
ψ(Ω_2*ψ₁(Ω_2))(0)(1,1)(2,2)(3,1)(4,2)
ψ(Ω_2^2)(0)(1,1)(2,2)(3,2)
ψ(Ω_2^2+Ω_2)(0)(1,1)(2,2)(3,2)(2,2)
ψ(Ω_2^2+Ω_2*Ω)(0)(1,1)(2,2)(3,2)(2,2)(3,1)
ψ(Ω_2^2*2)(0)(1,1)(2,2)(3,2)(2,2)(3,2)
ψ(Ω_2^2*ω)(0)(1,1)(2,2)(3,2)(3)
ψ(Ω_2^2*Ω)(0)(1,1)(2,2)(3,2)(3,1)
ψ(Ω_2^3)(0)(1,1)(2,2)(3,2)(3,2)
ψ(Ω_2^ω)(0)(1,1)(2,2)(3,2)(4)
ψ(Ω_2^Ω)(0)(1,1)(2,2)(3,2)(4,1)
ψ(Ω_2^Ω_2)(0)(1,1)(2,2)(3,2)(4,2)
ψ(Ω_2^Ω_2+Ω_2)(0)(1,1)(2,2)(3,2)(4,2)(2,2)
ψ(Ω_2^Ω_2+Ω_2^2)(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)
ψ(Ω_2^Ω_2*2)(0)(1,1)(2,2)(3,2)(4,2)(2,2)(3,2)(4,2)
ψ(Ω_2^Ω_2*ω)(0)(1,1)(2,2)(3,2)(4,2)(3)
ψ(Ω_2^Ω_2*Ω)(0)(1,1)(2,2)(3,2)(4,2)(3,1)
ψ(Ω_2^(Ω_2+1))(0)(1,1)(2,2)(3,2)(4,2)(3,2)
ψ(Ω_2^(Ω_2*2))(0)(1,1)(2,2)(3,2)(4,2)(3,2)(4,2)
ψ(Ω_2^(Ω_2*ω))(0)(1,1)(2,2)(3,2)(4,2)(4)
ψ(Ω_2^(Ω_2*Ω))(0)(1,1)(2,2)(3,2)(4,2)(4,1)
ψ(Ω_2^Ω_2^2)(0)(1,1)(2,2)(3,2)(4,2)(4,2)
ψ(Ω_2^Ω_2^3)(0)(1,1)(2,2)(3,2)(4,2)(4,2)(4,2)
ψ(Ω_2^Ω_2^ω)(0)(1,1)(2,2)(3,2)(4,2)(5)
ψ(Ω_2^Ω_2^Ω)(0)(1,1)(2,2)(3,2)(4,2)(5,1)
ψ(Ω_2^^3)(0)(1,1)(2,2)(3,2)(4,2)(5,2)
ψ(Ω_2^^4)(0)(1,1)(2,2)(3,2)(4,2)(5,2)(6,2)
ψ(Ω_3)(0)(1,1)(2,2)(3,3)
ψ(Ω_3+Ω)(0)(1,1)(2,2)(3,3)(1,1)
ψ(Ω_3+Ω_2)(0)(1,1)(2,2)(3,3)(2,2)
ψ(Ω_3+Ω_2^2)(0)(1,1)(2,2)(3,3)(2,2)(3,2)
ψ(Ω_3+ψ_2(Ω_3))(0)(1,1)(2,2)(3,3)(2,2)(3,3)
ψ(Ω_3+ψ_2(Ω_3+1))(0)(1,1)(2,2)(3,3)(3)
ψ(Ω_3+ψ_2(Ω_3+Ω))(0)(1,1)(2,2)(3,3)(3,1)
ψ(Ω_3+ψ_2(Ω_3+Ω_2))(0)(1,1)(2,2)(3,3)(3,2)
ψ(Ω_3+ψ_2(Ω_3+ψ_2(Ω_3)))(0)(1,1)(2,2)(3,3)(3,2)(4,3)
ψ(Ω_3*2)(0)(1,1)(2,2)(3,3)(3,3)
ψ(Ω_3*ω)(0)(1,1)(2,2)(3,3)(4)
ψ(Ω_3^2)(0)(1,1)(2,2)(3,3)(4,3)
ψ(Ω_3^3)(0)(1,1)(2,2)(3,3)(4,3)(4,3)
ψ(Ω_3^ω)(0)(1,1)(2,2)(3,3)(4,3)(5)
ψ(Ω_3^Ω_3)(0)(1,1)(2,2)(3,3)(4,3)(5,3)
ψ(Ω_4)(0)(1,1)(2,2)(3,3)(4,4)
ψ(Ω_5)(0)(1,1)(2,2)(3,3)(4,4)(5,5)
ψ(Ω_6)(0)(1,1)(2,2)(3,3)(4,4)(5,5)(6,6)
ψ(Ω_ω) = BO(0)(1,1,1)

ψ(Ω_ω)+1(0)(1,1,1)(0)
ψ(Ω_ω+1）(0)(1,1,1)(1)
ψ(Ω_ω+SCO)(0)(1,1,1)(1)(2,1)
ψ(Ω_ω+BHO)(0)(1,1,1)(1)(2,1)(3,2)
ψ(Ω_ω+BO)(0)(1,1,1)(1)(2,1,1)
ψ(Ω_ω+ψ(Ω_ω+1))(0)(1,1,1)(1)(2,1,1)(2)
ψ(Ω_ω+ψ(Ω_ω+BO)(0)(1,1,1)(1)(2,1,1)(2)(3,1,1)
ψ(Ω_ω+Ω)(0)(1,1,1)(1,1)
ψ(Ω_ω+Ω*2)(0)(1,1,1)(1,1)(1,1)
ψ(Ω_ω+Ω*ω)(0)(1,1,1)(1,1)(2)
ψ(Ω_ω+Ω*BO)(0)(1,1,1)(1,1)(2)(3,1,1)
ψ(Ω_ω+Ω^2)(0)(1,1,1)(1,1)(2,1)
ψ(Ω_ω+ψ₁(Ω_2))(0)(1,1,1)(1,1)(2,2)
ψ(Ω_ω+ψ₁(Ω_3))(0)(1,1,1)(1,1)(2,2)(3,3)
ψ(Ω_ω+ψ₁(Ω_ω))(0)(1,1,1)(1,1)(2,2,1)
ψ(Ω_ω+ψ₁(Ω_ω)+1)(0)(1,1,1)(1,1)(2,2,1)(1)
ψ(Ω_ω+ψ₁(Ω_ω)+Ω)(0)(1,1,1)(1,1)(2,2,1)(1,1)
ψ(Ω_ω+ψ₁(Ω_ω)+ψ₁(Ω_2))(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2)
ψ(Ω_ω+ψ₁(Ω_ω)*2)(0)(1,1,1)(1,1)(2,2,1)(1,1)(2,2,1)
ψ(Ω_ω+ψ₁(Ω_ω+1))(0)(1,1,1)(1,1)(2,2,1)(2)
ψ(Ω_ω+ψ₁(Ω_ω+BO))(0)(1,1,1)(1,1)(2,2,1)(2)(3,1,1)
ψ(Ω_ω+ψ₁(Ω_ω+Ω))(0)(1,1,1)(1,1)(2,2,1)(2,1)
ψ(Ω_ω+ψ₁(Ω_ω+ψ_2(Ω_3)))(0)(1,1,1)(1,1)(2,2,1)(2,2)
ψ(Ω_ω+ψ₁(Ω_ω+ψ_2(Ω_ω)))(0)(1,1,1)(1,1)(2,2,1)(2,2)(3,3,1)
ψ(Ω_ω*2)(0)(1,1,1)(1,1,1)
ψ(Ω_ω*2+Ω)(0)(1,1,1)(1,1,1)(1,1)
ψ(Ω_ω*2+ψ₁(Ω_ω*2))(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1)
ψ(Ω_ω*2+ψ₁(Ω_ω*2+ψ_2(Ω_ω*2)))(0)(1,1,1)(1,1,1)(1,1)(2,2,1)(2,2,1)(2,2)(3,3,1)(3,3,1)
ψ(Ω_ω*3)(0)(1,1,1)(1,1,1)(1,1,1)
ψ(Ω_ω*4)(0)(1,1,1)(1,1,1)(1,1,1)(1,1,1)
ψ(Ω_ω*ω)(0)(1,1,1)(2)
ψ(Ω_ω*ω+Ω)(0)(1,1,1)(2)(1,1)
ψ(Ω_ω*ω+ψ₁(Ω_ω))(0)(1,1,1)(2)(1,1)(2,2,1)
ψ(Ω_ω*ω+ψ₁(Ω_ω*ω))(0)(1,1,1)(2)(1,1)(2,2,1)(3)
ψ(Ω_ω*ω+ψ₁(Ω_ω*ω+ψ_2(Ω_3)))(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2)
ψ(Ω_ω*ω+ψ₁(Ω_ω*ω+ψ_2(Ω_ω)))(0)(1,1,1)(2)(1,1)(2,2,1)(3)(2,2)(3,3,1)
ψ(Ω_ω*(ω+1))(0)(1,1,1)(2)(1,1,1)
ψ(Ω_ω*(ω+2))(0)(1,1,1)(2)(1,1,1)(1,1,1)
ψ(Ω_ω*(ω2))(0)(1,1,1)(2)(1,1,1)(2)
ψ(Ω_ω*ω^2)(0)(1,1,1)(2)(2)
ψ(Ω_ω*SCO)(0)(1,1,1)(2)(3,1)
ψ(Ω_ω*BO)(0)(1,1,1)(2)(3,1,1)
ψ(Ω_ω*Ω)(0)(1,1,1)(2,1)
ψ(Ω_ω*Ω+1)(0)(1,1,1)(2,1)(1)
ψ(Ω_ω*Ω+Ω)(0)(1,1,1)(2,1)(1,1)
ψ(Ω_ω*Ω+Ω*2)(0)(1,1,1)(2,1)(1,1)(1,1)
ψ(Ω_ω*Ω+Ω^2)(0)(1,1,1)(2,1)(1,1)(2,1)
ψ(Ω_ω*Ω+ψ₁(Ω_2))(0)(1,1,1)(2,1)(1,1)(2,2)
ψ(Ω_ω*Ω+ψ₁(Ω_ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω+1))(0)(1,1,1)(2,1)(1,1)(2,2,1)(2)
ψ(Ω_ω*Ω+ψ₁(Ω_ω+Ω_2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)
ψ(Ω_ω*Ω+ψ₁(Ω_ω+ψ_2(Ω_3))(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3)
ψ(Ω_ω*Ω+ψ₁(Ω_ω+ψ_2(Ω_ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2)(3,3,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(2,2,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*Ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*Ω+1))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*Ω+Ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*Ω+ψ_2(Ω_ω)))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1)
ψ(Ω_ω*Ω+ψ₁(Ω_ω*Ω+ψ_2(Ω_ω*Ω)))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,1)(3,2,1)(4,1)
ψ(Ω_ω*Ω+Ω_2)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)
ψ(Ω_ω*Ω+ψ_2(Ω_3))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3)
ψ(Ω_ω*Ω+ψ_2(Ω_ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)
ψ(Ω_ω*Ω+ψ_2(Ω_ω+Ω_3))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3)
ψ(Ω_ω*Ω+ψ_2(Ω_ω*2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(3,3,1)
ψ(Ω_ω*Ω+ψ_2(Ω_ω*ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4)
ψ(Ω_ω*Ω+ψ_2(Ω_ω*Ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1)
ψ(Ω_ω*Ω+Ω_3)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,3,1)(4,1)(3,3)
ψ(Ω_ω*(Ω+1))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)
ψ(Ω_ω*(Ω+1)+Ω)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1)
ψ(Ω_ω*(Ω+1)+ψ₁(Ω_ω*(Ω+1)))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(1,1)(2,2,1)(3,1)(2,2,1)
ψ(Ω_ω*(Ω+1)+ψ₁(Ω_ω*(Ω+1)+1))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2)
ψ(Ω_ω*(Ω+1)+ψ₁(Ω_ω*(Ω+1)+Ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1)
ψ(Ω_ω*(Ω+1)+ψ₁(Ω_ω*(Ω+1)+ψ₁(Ω_ω*(Ω+1)))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,1)(3,2,1)(4,1)(3,2,1)
ψ(Ω_ω*(Ω+1)+Ω_2)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2)
ψ(Ω_ω*(Ω+1)+Ω_3)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2)(3,3,1)(4,1)(3,3,1)
ψ(Ω_ω*(Ω+2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1)
ψ(Ω_ω*(Ω+3))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(2,2,1)(2,2,1)
ψ(Ω_ω*(Ω+ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3)
ψ(Ω_ω*Ω*2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1)(3,1)
ψ(Ω_ω*Ω*ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3)
ψ(Ω_ω*Ω^2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(3,1)
ψ(Ω_ω*Ω^ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4)
ψ(Ω_ω*ψ₁(Ω_2))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2)
ψ(Ω_ω*ψ₁(Ω_ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)
ψ(Ω_ω*ψ₁(Ω_ω*Ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1)
ψ(Ω_ω*ψ₁(Ω_ω*ψ₁(Ω_ω)))?(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(4,2,1)(5,1)(6,2,1)
ψ(Ω_ω*Ω_2)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)
ψ(Ω_ω*Ω_2+1)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1)
ψ(Ω_ω*Ω_2+Ω)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)
ψ(Ω_ω*(Ω_2+1))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1)
ψ(Ω_ω*Ω_2*2)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(1,1)(2,2,1)(3,2)
ψ(Ω_ω*Ω_2*ω)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2)
ψ(Ω_ω*Ω_2*Ω)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,1)
ψ(Ω_ω*Ω_2^2)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)
ψ(Ω_ω*ψ_2(Ω_ω))(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)
ψ(Ω_ω*ψ_2(Ω_ω*Ω_2))?(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,2)
ψ(Ω_ω*Ω_3)(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,2)(2,2)(3,3,1)(4,3)
ψ(Ω_ω^2)(0)(1,1,1)(2,1)(1,1,1)

ψ(Ω_ω^2+Ω)(0)(1,1,1)(2,1)(1,1,1)(1,1)
ψ(Ω_ω^2+ψ₁(Ω_2))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2)
ψ(Ω_ω^2+ψ₁(Ω_ω))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)
ψ(Ω_ω^2+ψ₁(Ω_ω*Ω))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)
ψ(Ω_ω^2+ψ₁(Ω_ω^2))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)
ψ(Ω_ω^2+ψ₁(Ω_ω^2+ψ₁(Ω_ω)))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1)
ψ(Ω_ω^2+ψ₁(Ω_ω^2+ψ₁(Ω_ω^2)))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,1)(3,2,1)(4,2)(3,2,1)
ψ(Ω_ω^2+Ω_2)(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)
ψ(Ω_ω^2+ψ_2(Ω_ω))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1)
ψ(Ω_ω^2+ψ_2(Ω_ω^2))(0)(1,1,1)(2,1)(1,1,1)(1,1)(2,2,1)(3,2)(2,2,1)(2,2)(3,3,1)(4,3)(3,3,1)
ψ(Ω_ω^2+Ω_ω)(0)(1,1,1)(2,1)(1,1,1)(1,1,1)
ψ(Ω_ω^2+Ω_ω*2)(0)(1,1,1)(2,1)(1,1,1)(1,1,1)(1,1,1)
ψ(Ω_ω^2+Ω_ω*ω)(0)(1,1,1)(2,1)(1,1,1)(2)
ψ(Ω_ω^2+Ω_ω*Ω)(0)(1,1,1)(2,1)(1,1,1)(2,1)
ψ(Ω_ω^2*2)(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)
ψ(Ω_ω^2*2+Ω_ω*ω)(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2)
ψ(Ω_ω^2*2+Ω_ω*Ω)(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1)
ψ(Ω_ω^2*3)(0)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)(2,1)(1,1,1)
ψ(Ω_ω^2*ω)(0)(1,1,1)(2,1)(2)
ψ(Ω_ω^2*Ω)(0)(1,1,1)(2,1)(2,1)
ψ(Ω_ω^2*Ω_2)(0)(1,1,1)(2,1)(2,1)(1,1)(2,2,1)(3,2)(3,2)
ψ(Ω_ω^3)(0)(1,1,1)(2,1)(2,1)(1,1,1)
ψ(Ω_ω^4)(0)(1,1,1)(2,1)(2,1)(2,1)(1,1,1)
ψ(Ω_ω^ω)(0)(1,1,1)(2,1)(3)
ψ(Ω_ω^BO)(0)(1,1,1)(2,1)(3)(4,1,1)
ψ(Ω_ω^Ω)(0)(1,1,1)(2,1)(3,1)
ψ(Ω_ω^Ω_2)(0)(1,1,1)(2,1)(3,1)(1,1)(2,2,1)(3,2)(4,2)
ψ(Ω_ω^Ω_ω)(0)(1,1,1)(2,1)(3,1)(1,1,1)
ψ(Ω_ω^Ω_ω*ω)(0)(1,1,1)(2,1)(3,1)(2)
ψ(Ω_ω^Ω_ω*Ω)(0)(1,1,1)(2,1)(3,1)(2,1)
ψ(Ω_ω^(Ω_ω+1))(0)(1,1,1)(2,1)(3,1)(2,1)(1,1,1)
ψ(Ω_ω^(Ω_ω+2))(0)(1,1,1)(2,1)(3,1)(2,1)(2,1)(1,1,1)
ψ(Ω_ω^(Ω_ω+ω))(0)(1,1,1)(2,1)(3,1)(2,1)(3)
ψ(Ω_ω^(Ω_ω*2))(0)(1,1,1)(2,1)(3,1)(2,1)(3,1)(1,1,1)
ψ(Ω_ω^(Ω_ω*ω))(0)(1,1,1)(2,1)(3,1)(3)
ψ(Ω_ω^(Ω_ω*Ω))(0)(1,1,1)(2,1)(3,1)(3,1)
ψ(Ω_ω^Ω_ω^2)(0)(1,1,1)(2,1)(3,1)(3,1)(1,1,1)
ψ(Ω_ω^Ω_ω^3)(0)(1,1,1)(2,1)(3,1)(3,1)(3,1)(1,1,1)
ψ(Ω_ω^Ω_ω^ω)(0)(1,1,1)(2,1)(3,1)(4)
ψ(Ω_ω^Ω_ω^Ω_ω)(0)(1,1,1)(2,1)(3,1)(4,1)(1,1,1)
ψ(Ω_ω^^4)(0)(1,1,1)(2,1)(3,1)(4,1)(5,1)(1,1,1)
ψ(Ω_(ω+1)) = TFB(0)(1,1,1)(2,1)(3,2)
ψ(Ω_(ω+1)+1)(0)(1,1,1)(2,1)(3,2)(1)
ψ(Ω_(ω+1)+Ω)(0)(1,1,1)(2,1)(3,2)(1,1)
ψ(Ω_(ω+1)+ψ₁(Ω_2))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2)
ψ(Ω_(ω+1)+ψ₁(Ω_ω))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)
ψ(Ω_(ω+1)+ψ₁(Ω_ω+*ω))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3)
ψ(Ω_(ω+1)+ψ₁(Ω_ω*Ω))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,1)
ψ(Ω_(ω+1)+ψ₁(Ω_ω*Ω_2))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)
ψ(Ω_(ω+1)+ψ₁(Ω_ω^2))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(2,2,1)
ψ(Ω_(ω+1)+ψ₁(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)
ψ(Ω_(ω+1)+Ω_2)(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)
ψ(Ω_(ω+1)+ψ_2(Ω_2))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3)
ψ(Ω_(ω+1)+ψ_2(Ω_ω))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)
ψ(Ω_(ω+1)+ψ_2(Ω_ω+Ω_3))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)
ψ(Ω_(ω+1)+ψ_2(Ω_ω^2))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(3,3,1)
ψ(Ω_(ω+1)+ψ_2(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(5,4)
ψ(Ω_(ω+1)+Ω_3)(0)(1,1,1)(2,1)(3,2)(1,1)(2,2,1)(3,2)(4,3)(2,2)(3,3,1)(4,3)(3,3)
ψ(Ω_(ω+1)+Ω_ω)(0)(1,1,1)(2,1)(3,2)(1,1,1)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2)(1,1,1)(2,1)(3,2)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+1))(0)(1,1,1)(2,1)(3,2)(2)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)+Ω))(0)(1,1,1)(2,1)(3,2)(2,1)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*2))(0)(1,1,1)(2,1)(3,2)(2,1)(3,2)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*ω))(0)(1,1,1)(2,1)(3,2)(3)
ψ(Ω_(ω+1)+ψω(Ω_(ω+1)*Ω))(0)(1,1,1)(2,1)(3,2)(3,1)
ψ(Ω_(ω+1)*2)(0)(1,1,1)(2,1)(3,2)(3,2)
ψ(Ω_(ω+1)*ω)(0)(1,1,1)(2,1)(3,2)(4)
ψ(Ω_(ω+1)*Ω)(0)(1,1,1)(2,1)(3,2)(4,1)
ψ(Ω_(ω+1)*Ω_ω)(0)(1,1,1)(2,1)(3,2)(4,1)(1,1,1)
ψ(Ω_(ω+1)*ψω(Ω_(ω+1)*ω))(0)(1,1,1)(2,1)(3,2)(4,1)(5,2)
ψ(Ω_(ω+1)^2)(0)(1,1,1)(2,1)(3,2)(4,2)
ψ(Ω_(ω+1)^3)(0)(1,1,1)(2,1)(3,2)(4,2)(4,2)
ψ(Ω_(ω+1)^ω)(0)(1,1,1)(2,1)(3,2)(4,2)(5)
ψ(Ω_(ω+1)^Ω)(0)(1,1,1)(2,1)(3,2)(4,2)(5,1)
ψ(Ω_(ω+1)^Ω_ω)(0)(1,1,1)(2,1)(3,2)(4,2)(5,1)(1,1,1)
ψ(Ω_(ω+1)^Ω_(ω+1))(0)(1,1,1)(2,1)(3,2)(4,2)(5,2)
ψ(Ω_(ω+1)^^3)(0)(1,1,1)(2,1)(3,2)(4,2)(5,2)(6,2)
ψ(Ω_(ω+2))(0)(1,1,1)(2,1)(3,2)(4,3)
ψ(Ω_(ω+2)*2)(0)(1,1,1)(2,1)(3,2)(4,3)(4,3)
ψ(Ω_(ω+2)*ω)(0)(1,1,1)(2,1)(3,2)(4,3)(5)
ψ(Ω_(ω+2)*Ω)(0)(1,1,1)(2,1)(3,2)(4,3)(5,1)
ψ(Ω_(ω+2)*Ω_ω)(0)(1,1,1)(2,1)(3,2)(4,3)(5,1)(1,1,1)
ψ(Ω_(ω+2)*Ω_(ω+1))(0)(1,1,1)(2,1)(3,2)(4,3)(5,2)
ψ(Ω_(ω+3)^2)(0)(1,1,1)(2,1)(3,2)(4,3)(5,3)
ψ(Ω_(ω+3)^^2)(0)(1,1,1)(2,1)(3,2)(4,3)(5,3)(6,3)
ψ(Ω_(ω+4))(0)(1,1,1)(2,1)(3,2)(4,3)(5,4)
ψ(Ω_(ω2))(0)(1,1,1)(2,1)(3,2,1)
ψ(Ω_(ω2)+Ω)(0)(1,1,1)(2,1)(3,2,1)(1,1)
ψ(Ω_(ω2)+ψ₁(Ω_2))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2)
ψ(Ω_(ω2)+ψ₁(Ω_ω))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)
ψ(Ω_(ω2)+ψ₁(Ω_ω*Ω_2))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)
ψ(Ω_(ω2)+ψ₁(Ω_ω^2))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(2,2,1)
ψ(Ω_(ω2)+ψ₁(Ω_ω^3))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(3,2)(2,2,1)
ψ(Ω_(ω2)+ψ₁(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3)
ψ(Ω_(ω2)+ψ₁(Ω_(ω2)))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)
ψ(Ω_(ω2)+Ω_2)(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)
ψ(Ω_(ω2)+ψ_2(Ω_ω))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)
ψ(Ω_(ω2)+ψ_2(Ω_(ω2))(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1)
ψ(Ω_(ω2)+Ω_3)(0)(1,1,1)(2,1)(3,2,1)(1,1)(2,2,1)(3,2)(4,3,1)(2,2)(3,3,1)(4,3)(5,4,1)(3,3)
ψ(Ω_(ω2)+Ω_ω)(0)(1,1,1)(2,1)(3,2,1)(1,1,1)
ψ(Ω_(ω2)+Ω_ω*2)(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(1,1,1)
ψ(Ω_(ω2)+Ω_ω*ω)(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2)
ψ(Ω_(ω2)+Ω_ω*Ω)(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)
ψ(Ω_(ω2)+Ω_ω^2)(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(1,1,1)
ψ(Ω_(ω2)+ψω(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2)
ψ(Ω_(ω2)+ψω(Ω_(ω2)))(0)(1,1,1)(2,1)(3,2,1)(1,1,1)(2,1)(3,2,1)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+1))(0)(1,1,1)(2,1)(3,2,1)(2)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω))(0)(1,1,1)(2,1)(3,2,1)(2,1)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+Ω_ω))(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1)
ψ(Ω_(ω2)+ψω(Ω_(ω2)*2))(0)(1,1,1)(2,1)(3,2,1)(2,1)(1,1,1)(2,1)(3,2,1)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω+1)))(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2)))(0)(1,1,1)(2,1)(3,2,1)(2,1)(3,2,1)
ψ(Ω_(ω2)+ψω(Ω_(ω2)+ψω(Ω_(ω2+ψω(Ω_(ω2)))))(0)(1,1,1)(2,1)(3,2,1)(3,1)(4,2,1)
ψ(Ω_(ω2)+Ω_(ω+1))(0)(1,1,1)(2,1)(3,2,1)(3,2)
ψ(Ω_(ω2)+Ω_(ω+1)^2)(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2)
ψ(Ω_(ω2)+Ω_(ω+1)^Ω_(ω+1))(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,2)(5,2)
ψ(Ω_(ω2)+ψ(ω+1)(Ω_(ω+2)))(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3)
ψ(Ω_(ω2)+ψ(ω+1)(Ω_(ω2)))(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1)
ψ(Ω_(ω2)+Ω_(ω+2))(0)(1,1,1)(2,1)(3,2,1)(3,2)(4,3,1)(4,3)
ψ(Ω_(ω2)*2)(0)(1,1,1)(2,1)(3,2,1)(3,2,1)
ψ(Ω_(ω2)*ω)(0)(1,1,1)(2,1)(3,2,1)(4)
ψ(Ω_(ω2)*Ω)(0)(1,1,1)(2,1)(3,2,1)(4,1)
ψ(Ω_(ω2)*Ω_ω)(0)(1,1,1)(2,1)(3,2,1)(4,1)(1,1,1)
ψ(Ω_(ω2)*Ω_(ω+1))(0)(1,1,1)(2,1)(3,2,1)(4,2)
ψ(Ω_(ω2)^2)(0)(1,1,1)(2,1)(3,2,1)(4,2)(3,2,1)
ψ(Ω_(ω2)^3)(0)(1,1,1)(2,1)(3,2,1)(4,2)(4,2)(3,2,1)
ψ(Ω_(ω2)^ω)(0)(1,1,1)(2,1)(3,2,1)(4,2)(5)
ψ(Ω_(ω2)^Ω_(ω2))(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,2)(3,2,1)
ψ(Ω_(ω2+1))(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3)
ψ(Ω_(ω2+2))(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3)(6,4)
ψ(Ω_(ω3))(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1)
ψ(Ω_(ω4))(0)(1,1,1)(2,1)(3,2,1)(4,2)(5,3,1)(6,4)(7,5,1)
ψ(Ω_(ω^2)(0)(1,1,1)(2,1,1)
ψ(Ω_(ω^2+1))(0)(1,1,1)(2,1,1)(2,1)(3,2)
ψ(Ω_(ω^2+ω))(0)(1,1,1)(2,1,1)(2,1)(3,2,1)
ψ(Ω_(ω^2*2))(0)(1,1,1)(2,1,1)(2,1)(3,2,1)(4,2,1)
ψ(Ω_(ω^3))(0)(1,1,1)(2,1,1)(2,1,1)
ψ(Ω_(ω^4))(0)(1,1,1)(2,1,1)(2,1,1)(2,1,1)
ψ(Ω_(ω^ω))(0)(1,1,1)(2,1,1)(3)
ψ(Ω_BO)(0)(1,1,1)(2,1,1)(3)(4,1,1)
ψ(Ω_Ω) = BIO(0)(1,1,1)(2,1,1)(3,1)

ψ(Ω_(ω^2)(0)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)+Ω)(0)(1,1,1)(2,1,1)(1,1)
ψ(Ω_(ω^2)+ψ₁(Ω_2))(0)(1,1,1)(2,1,1)(1,1)(2,2)
ψ(Ω_(ω^2)+ψ₁(Ω_ω))(0)(1,1,1)(2,1,1)(1,1)(2,2,1)
ψ(Ω_(ω^2)+ψ₁(Ω_(ω^2)))(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)
ψ(Ω_(ω^2)+Ω_2)(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2,?)
ψ(Ω_(ω^2)+ψ_2(Ω_(ω^2))(0)(1,1,1)(2,1,1)(1,1)(2,2,1)(3,2,1)(2,2)(3,3,1)(4,3,1)
ψ(Ω_(ω^2)+Ω_ω))(0)(1,1,1)(2,1,1)(1,1,1)
ψ(Ω_(ω^2)+Ω_ω*ω)(0)(1,1,1)(2,1,1)(1,1,1)(2)
ψ(Ω_(ω^2)+Ω_ω*Ω)(0)(1,1,1)(2,1,1)(1,1,1)(2,1)
ψ(Ω_(ω^2)+Ω_ω^2)(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,1)
ψ(Ω_(ω^2)+ψω(Ω_(ω+1)))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2)
ψ(Ω_(ω^2)+ψω(Ω_(ω+2)))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2)(4,3)
ψ(Ω_(ω^2)+ψω(Ω_(ω2)))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)
ψ(Ω_(ω^2)+ψω(Ω_(ω^2)))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)
ψ(Ω_(ω^2)+Ω_(ω+1))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2)
ψ(Ω_(ω^2)+Ω_(ω2))(0)(1,1,1)(2,1,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(3,2,1)
ψ(Ω_(ω^2)*2)(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)*3)(0)(1,1,1)(2,1,1)(1,1,1)(2,1,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)*ω)(0)(1,1,1)(2,1,1)(2)
ψ(Ω_(ω^2)*(ω+1))(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)*(ω2))(0)(1,1,1)(2,1,1)(2)(1,1,1)(2,1,1)(2)
ψ(Ω_(ω^2)*ω^2)(0)(1,1,1)(2,1,1)(2)(2)
ψ(Ω_(ω^2)*ω^ω)(0)(1,1,1)(2,1,1)(2)(3)
ψ(Ω_(ω^2)*SCO)(0)(1,1,1)(2,1,1)(2)(3,1)
ψ(Ω_(ω^2)*BO)(0)(1,1,1)(2,1,1)(2)(3,1,1)
ψ(Ω_(ω^2)*ψ(Ω_(ω^2)))(0)(1,1,1)(2,1,1)(2)(3,1,1)(4,1,1)
ψ(Ω_(ω^2)*Ω)(0)(1,1,1)(2,1,1)(2,1)
ψ(Ω_(ω^2)*Ω_ω)(0)(1,1,1)(2,1,1)(2,1)(1,1,1)
ψ(Ω_(ω^2)^2)(0)(1,1,1)(2,1,1)(2,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)^2*ω)(0)(1,1,1)(2,1,1)(2,1)(2)
ψ(Ω_(ω^2)^2*Ω)(0)(1,1,1)(2,1,1)(2,1)(2,1)
ψ(Ω_(ω^2)^2*Ω_ω)(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1)
ψ(Ω_(ω^2)^3)(0)(1,1,1)(2,1,1)(2,1)(2,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)^4)(0)(1,1,1)(2,1,1)(2,1)(2,1)(2,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2)^ω)(0)(1,1,1)(2,1,1)(2,1)(3)
ψ(Ω_(ω^2)^Ω)(0)(1,1,1)(2,1,1)(2,1)(3,1)
ψ(Ω_(ω^2)^Ω_ω)(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1)
ψ(Ω_(ω^2)^Ω_(ω^2))(0)(1,1,1)(2,1,1)(2,1)(3,1)(1,1,1)(2,1,1)
ψ(Ω_(ω^2+1))(0)(1,1,1)(2,1,1)(2,1)(3,2)
ψ(Ω_(ω^2+ω))(0)(1,1,1)(2,1,1)(2,1)(3,2,1)
ψ(Ω_(ω^2*2))(0)(1,1,1)(2,1,1)(2,1)(3,2,1)(4,2,1)
ψ(Ω_(ω^3))(0)(1,1,1)(2,1,1)(2,1,1)
ψ(Ω_(ω^4))(0)(1,1,1)(2,1,1)(2,1,1)(2,1,1)
ψ(Ω_(ω^ω))(0)(1,1,1)(2,1,1)(3)
ψ(Ω_BO)(0)(1,1,1)(2,1,1)(3)(4,1,1)
ψ(Ω_Ω) = BIO(0)(1,1,1)(2,1,1)(3,1)
ψ(Ω_Ω+1)(0)(1,1,1)(2,1,1)(3,1)(1)
ψ(Ω_Ω+Ω)(0)(1,1,1)(2,1,1)(3,1)(1,1)
ψ(Ω_Ω+ψ₁(Ω_2))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2)
ψ(Ω_Ω+ψ₁(Ω_ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)
ψ(Ω_Ω+ψ₁(Ω_(ω^2)))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)
ψ(Ω_Ω+ψ₁(Ω_Ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)
ψ(Ω_Ω+Ω_2)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2)
ψ(Ω_Ω+Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1,?)
ψ(Ω_Ω+Ω_(ω^2))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)
ψ(Ω_Ω*2)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(2,2,1)(3,2,1)(4,1)
ψ(Ω_Ω*ω)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3)
ψ(Ω_Ω*Ω)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,1)
ψ(Ω_Ω*Ω_2)?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)
ψ(Ω_Ω*Ω_ω)?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1)
ψ(Ω_Ω^2)?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(2,2,1)(3,2,1)(4,1)
ψ(Ω_(Ω+1))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3)
ψ(Ω_(Ω+ω))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)
ψ(Ω_(Ω+ω^2))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1)
ψ(Ω_(Ω*2))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2)(4,3,1)(5,3,1)(6,3)
ψ(Ω_(Ω*ω))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)
ψ(Ω_(Ω^2))?(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(3,2,1)(4,2,1)(5,2)
ψ(Ω_(Ω^ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4)
ψ(Ω_(Ω^Ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(4,1)
ψ(Ω_(Ω^Ω^Ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,1)
ψ(Ω_ψ₁(Ω_2))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2)
ψ(Ω_ψ₁(Ω_ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1)
ψ(Ω_ψ₁(Ω_Ω))(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,1)(5,2,1)(6,2,1)(7,2)
ψ(Ω_Ω_2)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2)
ψ(Ω_Ω_3)(0)(1,1,1)(2,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2)(2,2)(3,3,1)(4,3,1)(5,3)
ψ(Ω_Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(1,1,1)
ψ(Ω_((Ω_ω)^2))?(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)
ψ(Ω_Ω_(ω+1))?(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2)
ψ(Ω_Ω_(ω^2))(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)
ψ(Ω_Ω_(ω^ω))(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3)
ψ(Ω_Ω_BO)(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3)(4,1,1)
ψ(Ω_Ω_Ω)(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)
ψ(Ω_Ω_Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1)
ψ(Ω_Ω_Ω_Ω)(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)
ψ(I) = EBO(0)(1,1,1)(2,1,1)(3,1)(2)
ψ(I+Ω)(0)(1,1,1)(2,1,1)(3,1)(2)(1,1)
ψ(I+Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)
ψ(I+Ω_(ω^2))(0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)
ψ(I+Ω_Ω)(0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1)
ψ(I+Λ)(0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1)(2)
ψ(I+Λ*2)(0)(1,1,1)(2,1,1)(3,1)(2)(2)
ψ(I+Λ*BO)(0)(1,1,1)(2,1,1)(3,1)(2)(3,1,1)
ψ(I+Λ*Ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)
ψ(I+Λ*Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)(1,1,1)
ψ(I+Λ^2)(0)(1,1,1)(2,1,1)(3,1)(2,1)(1,1,1)(2,1,1)(3,1)(2)
ψ(I+Λ^2*ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)(2)
ψ(I+Λ^3)(0)(1,1,1)(2,1,1)(3,1)(2,1)(2,1)(2)
ψ(I+Λ^ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)(3)
ψ(I+Λ^Ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,1)
ψ(I+Λ^Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,1)(1,1,1)
ψ(I+Λ^Λ)?(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,1)(1,1,1)(2,1,1)(3,1)(2)
ψ(I+ψI(I+1))(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2)
ψ(I+ψI(I+ω))(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)
ψ(I+ψI(I+Ω))(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,1)
ψ(I*2)(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,1)(4)
ψ(I*3)(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2)(5,3,1)(6,3,1)(7,3)(6)
ψ(I*ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)

ψ(I*ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)
ψ(I*ω^2)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(2,1,1)
ψ(I*ω^ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3)
ψ(I*Ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)
ψ(I*Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)
ψ(I*Λ)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2)
ψ(I*ψI(I*ω)))(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2,1,1)
ψ(I^2)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)
ψ(I^2*ω)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)
ψ(I^3)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)
ψ(I^4)(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)
ψ(I^ω)(0)(1,1,1)(2,1,1)(3,1)(3)
ψ(I^Ω)(0)(1,1,1)(2,1,1)(3,1)(3,1)
ψ(I^Ω_ω)(0)(1,1,1)(2,1,1)(3,1)(3,1)(1,1,1)
ψ(I^I)(0)(1,1,1)(2,1,1)(3,1)(3,1)(2)
ψ(I^I*ω)(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)
ψ(I^(I+1))(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)(3,1)(2)
ψ(I^(I*2))(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)(3,1)(3,1)
ψ(I^(I*ω))(0)(1,1,1)(2,1,1)(3,1)(3,1)(3)
ψ(I^(I*Ω))(0)(1,1,1)(2,1,1)(3,1)(3,1)(3,1)
ψ(I^(I^2))(0)(1,1,1)(2,1,1)(3,1)(3,1)(3,1)(2,1,1)
ψ(I^(I^3))(0)(1,1,1)(2,1,1)(3,1)(3,1)(3,1)(3,1)(2,1,1)
ψ(I^(I^ω))(0)(1,1,1)(2,1,1)(3,1)(4)
ψ(I^(I^Ω))(0)(1,1,1)(2,1,1)(3,1)(4,1)
ψ(I^(I^I))(0)(1,1,1)(2,1,1)(3,1)(4,1)(2)
ψ(I^(I^(I*ω)))(0)(1,1,1)(2,1,1)(3,1)(4,1)(4)
ψ(I^(I^(I^ω)))(0)(1,1,1)(2,1,1)(3,1)(4,1)(5)
ψ(I^(I^(I^I)))(0)(1,1,1)(2,1,1)(3,1)(4,1)(5,1)(2)
ψ(Ω_(I+1)) = JO(0)(1,1,1)(2,1,1)(3,1)(4,2)
ψ(Ω_(I+2))(0)(1,1,1)(2,1,1)(3,1)(4,2)(5,3)
ψ(Ω_(I+ω))(0)(1,1,1)(2,1,1)(3,1)(4,2,1)
ψ(Ω_(I+ω^2))(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)
ψ(Ω_(I+Ω))(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1)
ψ(Ω_(I^2))(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1)(2)
ψ(Ω_Ω_(I+1))(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)
ψ(I_2)(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5)
ψ(I_3)(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,3,1)(9,3)(8)
ψ(I_ω) = SIO(0)(1,1,1)(2,1,1)(3,1,1)
ψ(I_ω*ω)(0)(1,1,1)(2,1,1)(3,1,1)(2)
ψ(I_ω*Ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)
ψ(I_ω*Ω_ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(1,1,1)
ψ(I_ω^2)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(1,1,1)(2,1,1)(3,1,1)
ψ(I_ω^ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(2)
ψ(I_ω^ω^ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3)
ψ(I_ω^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,1)
ψ(Ω_(I_ω+1))(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2)
ψ(Ω_(I_ω+ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)
ψ(I_(ω+1))(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4)
ψ(I_(ω2))(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)
ψ(I_(ω3))(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2)(5,3,1)(6,3,1)(7,3,1)
ψ(I_(ω^2))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)
ψ(I_(ω^3))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(2,1,1)
ψ(I_(ω^ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3)
ψ(I_Ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)
ψ(I_Ω_ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)
ψ(I_Λ)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2)
ψ(I_I)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2)
ψ(I_I_ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)
ψ(I(1,0)) = BMSO(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)
ψ(I(1,0)*ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)
ψ(I(1,0)*I)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)
ψ(I(1,0)^2)?(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)
ψ(I(1,0)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(3)
ψ(I(1,0)^I(1,0)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4)
ψ(Ω_(I(1,0)+1))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2)
ψ(Ω_(I(1,0)+ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)
ψ(I_(I(1,0)+1))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5)
ψ(I_(I(1,0)+ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)
ψ(I_I_(I(1,0)+ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2,1)
ψ(I(1,1))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5)
ψ(I(1,2))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1)(8)
ψ(I(1,ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)
ψ(I(2,ω))(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)
ψ(I(ω,0)) = MBO(0)(1,1,1)(2,1,1)(3,1,1)(3)
ψ(I(Ω,0))(0)(1,1,1)(2,1,1)(3,1,1)(3,1)
ψ(I(Ω_ω,0))(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)
ψ(I(1,0,0)) = TBO(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2)
ψ(I(1,0,0)*ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)
ψ(M*ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)
ψ(M^ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3)
ψ(M^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)
ψ(M^Ω_ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(1,1,1)
ψ(M^M)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(2)
ψ(M^M+ψ_M(M^M+1))?(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(2,1,1)
ψ(M^M*ω)?(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(2,1,1)(3,1,1)
ψ(M^M^2ω)?(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(3,1)(2,1,1)(3,1,1)
ψ(M^M^ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4)
ψ(M^M^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)
ψ(M^M^M)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(2,1,1)(3,1,1)
ψ(M^M^M^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(5,1)
ψ(Ω_(M+1)) = SRO(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)
ψ(Ω_(M+ω))(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)
ψ(I_(M+1))(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5)
ψ(I_(M+ω))(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)
ψ(M_2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(5)
ψ(M_3)(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(6,2,1)(6,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1)(9,3)(8)
ψ(1-2-2) = SMO(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)
ψ(2 aft 1-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1)(3,2)
ψ(1-1-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1,1)
ψ((1-)^(1) 2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1,1)(3,1)(2)
ψ(2 aft 2 1-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1,1)(3,1)(4,2)
ψ(1-2 1-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1,1)(3,1,1)
ψ(1-2-2 1-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(2,1,1)(3,1,1)(3,1,1)
ψ((2-2 1-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3)
ψ((2-2 1-)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1)
ψ((2-2 1-)^(1,0))(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1)(2)
ψ(2 aft 2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1)(4,2)
ψ(2nd 2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2,1)(6,2)(5)
ψ(1-2-2-2) = SNO(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)
ψ(2-2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)(3,1)(2)
ψ(2 aft 2-2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)(3,1)(4,2)
ψ(1-2-2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)(3,1,1)
ψ(1-2-2-2-2-2)(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)(3,1,1)(3,1,1)(3,1,1)
ψ((2-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4)
ψ((2-)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)
ψ((2-)^Ω_ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(1,1,1)
ψ((2-)^(1,0))(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(2)
ψ(K^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(4)
ψ(K^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(4,1)
ψ(K^K)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(4,1)(3,1,1)
ψ(K^K^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5)
ψ(K^K^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)
ψ(K^K^I_ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)(2,1,1)(3,1,1)
ψ(K^K^K)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)(3,1,1)
ψ(K^K^(K*Ω))(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)(5,1)
ψ(K^K^K^2)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)(5,1)(3,1,1)
ψ(K^K^K^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,1)(6)
ψ(2 aft 3) = RO(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2)

ψ(1-2 aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)
ψ(2 1-2 aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2)(6)
ψ(1-2 1-2 aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)
ψ(2-2 aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)(7,2)(6)
ψ(1-2-2 aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)(7,2,1)
ψ((2-)^ω aft 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)(8)
ψ(2nd 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)(8,1)(6)
ψ(3rd 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(5,2,1)(6,2,1)(7,2,1)(8,1)(9,2,1)(A,2,1)(B,2,1)(C,2,1)(B,1)(A)
ψ(1-3) = SKO(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)
ψ(1-1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)
ψ(2 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1)(2)
ψ(1-2 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)
ψ(2-2 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(3,1)(2)
ψ(1-2-2 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(3,1,1)
ψ((2-)^ω 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4)
ψ((2-)^Ω 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1)
ψ(3 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1)(2)
ψ(1-3 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1,1)
ψ(1-3 1-3 1-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1,1)
ψ((3 1-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3)
ψ((3 1-)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1)
ψ(2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1)(2)
ψ(1-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)
ψ(2 1-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(2,1,1)(3,1)(2)
ψ(1-2 1-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(2,1,1)(3,1,1)
ψ(3 1-2-3)?(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(2,1,1)(3,1,1)(4,1,1)
ψ((3 1-2-)^ω)?(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3)
ψ((3 1-2-)^Ω)?(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1)
ψ(2-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1)(2)
ψ(1-2-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1,1)
ψ(2-2-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1,1)(3,1)(2)
ψ(1-2-2-2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1,1)(3,1,1)
ψ((2-)^ω 3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4)
ψ(3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1)(2)
ψ(1-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)
ψ(2 1-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1)(2)
ψ(1-3 1-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(2,1,1)(3,1,1)(4,1,1)
ψ((3 1-)^ω 3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3)
ψ((3 1-)^Ω 3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1)
ψ(2-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1)(2)
ψ(1-2-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1,1)
ψ(1-2-2-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1,1)(3,1,1)
ψ(3 2-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1)(2)
ψ(1-3 2-3 2-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)
ψ((3 2-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4)
ψ(3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1)(2)
ψ(2 aft 3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1)(5,2)
ψ(1-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)
ψ(2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1)(2)
ψ(1-2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)
ψ(3 2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1)(2)
ψ(1-3 2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)
ψ(1-3 2-3 2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(3,1,1)(4,1,1)
ψ(3-3 2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(4,1)(2)
ψ(1-3-3 2-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(4,1,1)
ψ((3-3 2)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4)
ψ((3-3 2)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1)
ψ(3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1)(2)
ψ(1-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)
ψ(2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1)(2)
ψ(1-2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)
ψ(3 2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1)(2)
ψ(1-3 2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)
ψ(3-3 2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(4,1)(2)
ψ(1-3-3 2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(4,1,1)
ψ(1-3-3-3 2-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)
ψ((3-3-3 2-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4)
ψ((3-3-3 2-)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1)
ψ(3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1)(2)
ψ(1-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)
ψ(2-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1)(2)
ψ(1-2-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(3,1,1)
ψ((3-3-3-3 2-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(4)
ψ(3-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1)(2)
ψ(1-3-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)
ψ(1-3-3-3-3-3-3)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)(4,1,1)
ψ((3-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5)
ψ((3-)^Ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)
ψ(Π_4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(2)
ψ(2 aft 4) = DO(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)
ψ(2nd 4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2,1)(7,2,1)(8,2,1)(9,2,1)(A,2)(7)
ψ(1-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)
ψ(1-1-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(2,1,1)
ψ(2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1)(2)
ψ(1-2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1,1)
ψ(1-2-2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1,1)(3,1,1)
ψ(1-3 2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1,1)(4,1,1)
ψ(4 2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1,1)(4,1,1)(5,1)(2)
ψ(1-4 2-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(3,1,1)(4,1,1)(5,1,1)
ψ((4 2-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(4)
ψ(1-3-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(4,1,1)
ψ(4 3-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(4,1,1)(5,1)(2)
ψ(1-4 3-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(4,1,1)(5,1,1)
ψ((3 4-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(5)
ψ(4-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(5,1)(2)
ψ(4-4-4)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(5,1,1)(5,1)(2)
ψ((4-)^ω)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(6)
ψ(1-5)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(6,1,1)
ψ(1-6)(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1,1)(6,1,1)(7,1,1)
ψ(psd.Π_ω) = SSO(0)(1,1,1)(2,2)

ψ(λα.α+1-Π0+1)(0)(1,1,1)(2,2)(1)
ψ(λα.α+1-Π0+Ω)(0)(1,1,1)(2,2)(1,1)
ψ(λα.α+1-Π0+Ω_ω)(0)(1,1,1)(2,2)(1,1,1)
ψ((λα.α+1-Π0)*2)(0)(1,1,1)(2,2)(1,1,1)(2,2)
ψ((λα.α+1-Π0)*ω)(0)(1,1,1)(2,2)(2)
ψ((λα.α+1-Π0)*Ω)(0)(1,1,1)(2,2)(2,1)
ψ((λα.α+1-Π0)*Ω_ω)(0)(1,1,1)(2,2)(2,1)(1,1,1)
ψ((λα.α+1-Π0)^2)(0)(1,1,1)(2,2)(2,1)(1,1,1)(2,2)
ψ((λα.α+1-Π0)^2*ω)(0)(1,1,1)(2,2)(2,1)(2)
ψ((λα.α+1-Π0)^2*Ω)(0)(1,1,1)(2,2)(2,1)(2,1)
ψ((λα.α+1-Π0)^ω)(0)(1,1,1)(2,2)(2,1)(3)
ψ(Π_2 aft λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1)(3,2)
ψ(1-2 aft λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1)(3,2,1)
ψ(2nd λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1)(3,2,1)(4,3)
ψ(Π_1(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)
ψ(2 1-(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)(3,1)(2)
ψ(1-2 1-(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)(3,1,1)
ψ(1-3 1-(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)(3,1,1)(4,1,1)
ψ(λα.α+1-Π0 1-(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)(3,2)
ψ(1-λα.α+1-Π0 1-(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,1,1)(3,2)(2,1,1)
ψ((λα.α+1-Π0 1-)^Ω)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)
ψ(2-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1)(2)
ψ(1-2-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)
ψ(3 2-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1)(2)
ψ(1-3 2-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,1,1)
ψ(λα.α+1-Π0 2-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)
ψ(1-3-λα.α+1-Π0)(0)(1,1,1)(2,2)(2,1,1)(3,2)(3,1,1)(4,2)(4,1,1)
ψ(λα.α+1-Π0(λα.α+1-Π0))(0)(1,1,1)(2,2)(2,2)
ψ(Π1(λα.α+1-Π0(λα.α+1-Π0)))(0)(1,1,1)(2,2)(2,2)(2,1,1)
ψ((λα.α+1-Π0)∩Π1(λα.α+1-Π0(λα.α+1-Π0)))(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)
ψ(λα.α+1-Π0(λα.α+1-Π0)∩Π1(λα.α+1-Π0(λα.α+1-Π0)))(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)
ψ(2-(λα.α+1-Π0(λα.α+1-Π0)))(0)(1,1,1)(2,2)(2,2)(2,1,1)(3,2)(3,2)(3,1,1)
ψ(λα.α+1-Π0(λα.α+1-Π0(λα.α+1-Π0)))(0)(1,1,1)(2,2)(2,2)(2,2)
ψ((λα.α+1-Π0-)^ω)(0)(1,1,1)(2,2)(3)
ψ((λα.α+1-Π0-)^Ω)(0)(1,1,1)(2,2)(3,1)
ψ((λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2)
ψ((λα.α+1-Π0-)^(1)*Ω)(0)(1,1,1)(2,2)(3,1)(2,1)
ψ(2nd (λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1)(3,2,1)(4,3)(5,2)
ψ(1-(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)
ψ(1-2 1-(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,1,1)
ψ((λα.α+1-Π0)∩Π1(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)
ψ((λα.α+1-Π0-)^Ω∩Π1(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)
ψ((λα.α+1-Π0-)^(1)∩Π1(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(2)
ψ(1-2-(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1)
ψ(1-3-(λα.α+1-Π0-)^(1))(0)(1,1,1)(2,2)(3,1)(2,1,1)(3,2)(4,1)(3,1,1)(4,2)(5,1)(4,1,1)
ψ((λα.α+1-Π0-)^(1,1))(0)(1,1,1)(2,2)(3,1)(2,2)
ψ((λα.α+1-Π0-)^(Ω))(0)(1,1,1)(2,2)(3,1)(3,1)
ψ(2 aft λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2)
ψ(λα.α+1-Π0 aft λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)
ψ(λα.α+1-Π0-^Ω aft λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1)
ψ(λα.α+1-Π0-^(1) aft λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,1)(2)
ψ(2 aft 2nd λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)
ψ(2 aft 3rd λα.α+1-Π1)(0)(1,1,1)(2,2)(3,1)(4,2,1)(5,3)(6,2)(7,3,1)(8,4)(9,3)
ψ(Π1(λα.α+1-Π1))(0)(1,1,1)(2,2)(3,1,1)
ψ(λα.α+1-Π0(λα.α+1-Π1))(0)(1,1,1)(2,2)(3,1,1)(2,2)
ψ(λα.α+1-Π1∩λα.α+1-Π0(λα.α+1-Π1))(0)(1,1,1)(2,2)(3,1,1)(2,2)(3,1,1)
ψ(λα.α+1-Π1(λα.α+1-Π1))(0)(1,1,1)(2,2)(3,1,1)(3,1)(2)
ψ(Π1(λα.α+1-Π1(λα.α+1-Π1)))(0)(1,1,1)(2,2)(3,1,1)(3,1,1)
ψ(λα.α+1-Π2)(0)(1,1,1)(2,2)(3,1,1)(4,1)(2)
ψ(1-λα.α+1-Π2)(0)(1,1,1)(2,2)(3,1,1)(4,1,1)
ψ(1-λα.α+1-Π3)(0)(1,1,1)(2,2)(3,1,1)(4,1,1)(5,1,1)
ψ(λα.α+2-Π0)(0)(1,1,1)(2,2)(3,1,1)(4,2)
ψ(λα.α+1-Π0(λα.α+2-Π0))(0)(1,1,1)(2,2)(3,1,1)(4,2)(2,2)
ψ(1-λα.α+1-Π1(λα.α+2-Π0))(0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)
ψ(1-λα.α+1-Π2(λα.α+2-Π0))(0)(1,1,1)(2,2)(3,1,1)(4,2)(3,1,1)(4,2)(4,1,1)
ψ(λα.α+2-Π0(λα.α+2-Π0))(0)(1,1,1)(2,2)(3,1,1)(4,2)(4,2)
ψ((λα.α+2-Π0-)^(1))(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1)(2)
ψ(Π1(λα.α+2-Π1))(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)
ψ(Π1(λα.α+2-Π2))(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,1,1)
ψ(λα.α+3-Π0)(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2)
ψ(λα.α+4-Π0)(0)(1,1,1)(2,2)(3,1,1)(4,2)(5,1,1)(6,2)(7,1,1)(8,2)
ψ(λα.α+ω-Π0)(0)(1,1,1)(2,2)(3,2)
ψ(λα.α+1-Π0(λα.α+ω-Π0))(0)(1,1,1)(2,2)(3,2)(2,2)
ψ(λα.α+1-Π0-^(1) (λα.α+ω-Π0))(0)(1,1,1)(2,2)(3,2)(3,1)(2)
ψ(λα.α+ω-Π1)(0)(1,1,1)(2,2)(3,2)(3,1,1)
ψ(λα.α+ω+1-Π0)(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)
ψ(Π1(λα.α+ω+1-Π0))(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,1,1)
ψ(λα.α+1-Π0(λα.α+ω+1-Π0))(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(4,2)
ψ(Π1(λα.α+1-Π0(λα.α+ω+1-Π0)))(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,1,1)
ψ(λα.α+ω2-Π0)(0)(1,1,1)(2,2)(3,2)(3,1,1)(4,2)(5,2)
ψ(λα.α+ω^2-Π0)(0)(1,1,1)(2,2)(3,2)(3,2)
ψ(λα.α+Ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)
ψ(λα.α+Ω_ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)
ψ(λα.α+(λα.α+ω-Π0)-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(1,1,1)(2,2)(3,2)
ψ(λα.α*2-Π0) = LSO(0)(1,1,1)(2,2)(3,2)(4,1)(2)
ψ(Π1(λα.α*2-Π0))(0)(1,1,1)(2,2)(3,2)(4,1)(2,1,1)
ψ(λα.α*2-Π1)(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)
ψ(λα.α*2-Π2)(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,1,1)
ψ(λα.α*2+1-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)
ψ(λα.α*2+ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)
ψ(λα.α*3-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)(6,1)(2)
ψ(λα.α*ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)
ψ(λα.α*Ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1)
ψ(λα.α^2-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(3,2)(4,1)(2)
ψ(λα.α^ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(4)
ψ(λα.α^α^ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(5)
ψ(λα.ε(α+1)-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(5,2)
ψ(λα.ψΩ_(α+1)(Ω_(α+ω))-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1)
ψ(λα.ψΩ_(α+1)(λα.α+1-Π0 aft α)-Π0)(0)(1,1,1)(2,2)(3,2)(4,1)(5,2,1)(6,3)
ψ(1-λα.Ω(α+1)-Π1) = APO(0)(1,1,1)(2,2)(3,2)(4,1,1)
ψ(1-1-α.Ω(α+1)-Π1)(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,1,1)
ψ(ω-λα.Ω(α+1)-Π1)(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2)
ψ(λα.Ω(α+1)-Π1-λα.Ω(α+1)-Π1)(0)(1,1,1)(2,2)(3,2)(4,1,1)(2,2)(3,2)(4,1,1)
ψ((λα.Ω(α+1)-Π1-)^Ω)(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1)
ψ((λα.Ω(α+1)-Π1-)^(1))(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1)(2)
ψ(1-λα.Ω(α+1)-Π2)(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)
ψ(λα.Ω(α+1)+1-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)
ψ(1-λα.Ω(α+1)2-Π1)???(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,1,1)(4,2)(5,2)(6,1,1)
ψ(λα.Ω(α+1)ω-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2)
ψ(1-λα.Ω(α+1)^2-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(3,2)(4,1,1)
ψ(λα.Ω(α+1)^α-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1)(2)
ψ(1-λα.Ω(α+1)^Ω(α+1)-Π1)?(0)(1,1,1)(2,2)(3,2)(4,1,1)(4,1,1)
ψ(λα.ε(Ω(α+1)+1)-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)
ψ(λα.ε(Ω(α+1)+α)-Π0)(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,1)(2)
ψ(λα.φ(α,Ω(α+1)+1)-Π0)?(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1)(2)
ψ(1-λα.φ(Ω(α+1),1)-Π1)?(0)(1,1,1)(2,2)(3,2)(4,1,1)(5,2)(6,2)(7,1,1)
ψ(λα.Γ(Ω_(α+1)+1)-Π0)(0)(1,1,1)(2,2)(3,2)(4,2)
ψ(λα.ψ_Ω(α+2)(2 aft W(α+1))-Π0)(0)(1,1,1)(2,2)(3,3)
ψ(λα.ψ_Ω(α+2)(1-2 aft W(α+1))-Π0)(0)(1,1,1)(2,2)(3,3,1)
ψ(λα.ψ_Ω(α+2)(Π_ω aft W(α+1))-Π0)(0)(1,1,1)(2,2)(3,3,1)(4,4)
ψ(Π1(λα.Ω(α+2)-Π1)) = BGO(0)(1,1,1)(2,2,1)

ψ(Π1(λα.Ω(α+2)-Π1)) = BGO(0)(1,1,1)(2,2,1)
ψ(Π1(λα.Ω(α+2)-Π1)+1)(0)(1,1,1)(2,2,1)(1)
ψ(Π1(λα.Ω(α+2)-Π1)+Ω)(0)(1,1,1)(2,2,1)(1,1)
ψ(Π1(λα.Ω(α+2)-Π1)+Ω_ω)(0)(1,1,1)(2,2,1)(1,1,1)
ψ(Π1(λα.Ω(α+2)-Π1)*ω)(0)(1,1,1)(2,1,1)(2)
ψ(1-1-λα.Ω(α+2)-Π1)(0)(1,1,1)(2,2,1)(2,1,1)
ψ(λα.α+1-Π0(λα.Ω(α+2)-Π1))(0)(1,1,1)(2,2,1)(2,2)
ψ(λα.α+ω-Π0(λα.Ω(α+2)-Π1))(0)(1,1,1)(2,2,1)(2,2)(3,2)
ψ(1-λα.Ω(α+1)-Π1(λα.Ω(α+2)-Π1))(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)
ψ(λα.ψ_Ω(α+2)(2 aft Ω_(α+1))-Π0(λα.Ω(α+2)-Π1))(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2)(6,3)
ψ(1-λα.Ω(α+2)-Π1(λα.Ω(α+2)-Π1))(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)
ψ(1-λα.Ω(α+2)-Π2)???(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,1,1)
ψ(λα.Ω(α+2)ω-Π0)?(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)
ψ(1-λα.Ω(α+2)*Ω_(α+1)-Π1)???(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1)
ψ(1-λα.Ω(α+2)^2-Π1)???(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(3,2)(4,1,1)(5,2,1)
ψ(1-λα.Ω(α+2)^Ω(α+2)-Π1)???(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(4,1,1)(5,2,1)
ψ(λα.ε(Ω(α+2)+1)-Π0)(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2)
ψ(λα.φ(Ω(α+2),1)-Π1)??(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,1,1)(5,2,1)(5,2)(6,2)(7,1,1)(8,2,1)
ψ(λα.Γ(Ω_(α+2)+1)-Π0)(0)(1,1,1)(2,2,1)(2,2)(3,2)(4,2)
ψ(λα.ψ_Ω(α+3)(1-2 aft W(α+2))-Π0)(0)(1,1,1)(2,2,1)(2,2)(3,3,1)
ψ(λα.ψ_Ω(α+3)(λα.α+1-Π0 aft W(α+2))-Π0)(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4)
ψ(λα.ψ_Ω(α+3)(Π1(λα.Ω(α+2)-Π1) aft W(α+2))-Π0)(0)(1,1,1)(2,2,1)(2,2)(3,3,1)(4,4,1)
ψ(Π1(λα.Ω(α+3)-Π1))(0)(1,1,1)(2,2,1)(2,2,1)
ψ(Π1(λα.Ω(α+4)-Π1))(0)(1,1,1)(2,2,1)(2,2,1)(2,2,1)
ψ(λα.Ω(α+ω)-Π0) = SDO(0)(1,1,1)(2,2,1)(3)
ψ(λα.Ω(α+Ω)-Π0))(0)(1,1,1)(2,2,1)(3,1)
ψ(λα.Ω(α+Ω_ω)-Π0)(0)(1,1,1)(2,2,1)(3,1)(1,1,1)
ψ(λα.Ω(α*2)-Π0) = LDO(0)(1,1,1)(2,2,1)(3,1)(2)
ψ(λα.Ω(α*Ω)-Π0)(0)(1,1,1)(2,2,1)(3,1)(2,1)
ψ(λα.Ω(ε(α+1))-Π0)(0)(1,1,1)(2,2,1)(3,1)(4,2)
ψ(λα.Ω(ψ_Ω(α+1)(Ω(α+ω)))-Π0)(0)(1,1,1)(2,2,1)(3,1)(4,2,1)
ψ(Π1(λα.Ω(Ω(α+1))-Π1))(0)(1,1,1)(2,2,1)(3,1,1)
ψ(λα.Ω(ε(Ω(α+1)))-Π0)(0)(1,1,1)(2,2,1)(3,1,1)(4,2)
ψ(Π1(λα.Ω(Ω(α+2))-Π1))(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)
ψ(λα.Ω(Ω(α+ω))-Π0)(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5)
ψ(λα.Ω(Ω(α*2))-Π0)(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1)(2)
ψ(Π1(λα.Ω(Ω(Ω(α+1)))-Π1))(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1)
ψ(Π1(λα.Ω(Ω(Ω(α+2)))-Π1))(0)(1,1,1)(2,2,1)(3,1,1)(4,2,1)(5,1,1)(6,2,1)
ψ(λα.ψ_I_(α+1)(I_(α+1))-Π0)(0)(1,1,1)(2,2,1)(3,2)
ψ(Π1(λα.ψ_I_(α+1)(I_(α+1)+1)-Π1))(0)(1,1,1)(2,2,1)(3,2)(2,2,1)
ψ(Π1(λα.ψ_I_(α+1)(I_(α+1)+Ω_(α+1))-Π1))(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)
ψ(Π1(λα.ψ_I_(α+1)(I_(α+1)+Ω_(α+2))-Π1))(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)
ψ(λα.ψ_I_(α+1)(I_(α+1)+ψ_I_(α+1)(I_(α+1)))-Π0)(0)(1,1,1)(2,2,1)(3,2)(2,2,1)(3,1,1)(4,2,1)(5,2)
ψ(Π1(λα.ψ_I_(α+1)(I_(α+1)Ω_(α+1))-Π1))(0)(1,1,1)(2,2,1)(3,2)(3,1,1)
ψ(λα.ψ_I_(α+1)(I_(α+1)*ψ_I_(α+1)(I_(α+1)))-Π0)(0)(1,1,1)(2,2,1)(3,2)(3,1,1)(4,2,1)(5,2)
ψ(λα.ψ_I_(α+1)(I(α+1)^ω)-Π0)(0)(1,1,1)(2,2,1)(3,2)(3,2)
ψ(2 aft λα.I(α+1)-Π1)(0)(1,1,1)(2,2,1)(3,2)(4,3)
ψ(1-2 aft λα.I(α+1)-Π1)(0)(1,1,1)(2,2,1)(3,2)(4,3,1)
ψ(Π1(λα.I(α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)
ψ(1-Π1(λα.I(α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(2,1,1)
ψ(λα.α+1-Π0(λα.I(α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(2,2)
ψ(Π1(λα.Ω(I(α+1)+1)-Π1)))(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)
ψ(Π1(λα.Ω(I(α+1)+Ω_(α+1))-Π1)))(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)
ψ(Π1(λα.Ω(I(α+1)2)-Π1)))(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)
ψ(Π1(λα.Ω_Ω(I(α+1)+1)-Π1)))(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,1,1)(4,2,1)(5,2,1)(4,2,1)
ψ(λα.ψ_I_(α+2)(I_(α+2))-Π0)(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2)
ψ(Π1(λα.I(α+2)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(2,2,1)(3,2,1)
ψ(λα.I(α2)-Π0)(0)(1,1,1)(2,2,1)(3,2,1)(3,1)(2)
ψ(Π1(λα.I(Ω(α+1))-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)
ψ(λα.I_(ψ_I_(α+1)(I_(α+1)))-Π0)(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2)
ψ(Π1(λα.I(I(α+1))-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(3,1,1)(4,2,1)(5,2,1)
ψ(2 aft λα.I(1,α+1)-Π1)(0)(1,1,1)(2,2,1)(3,2,1)(3,2)
ψ(Π1(λα.I(1,α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(3,2,1)
ψ(λα.I(ω,α+1)-Π0)(0)(1,1,1)(2,2,1)(3,2,1)(4)
ψ(Π1(λα.I(Ω(α+1),1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)
ψ(Π1(λα.I(Ω(α+2),1)-Π1))?(0)(1,1,1)(2,2,1)(3,2,1)(4,1,1)(5,2,1)
ψ(λα.ψ_I(1,α+1)(I(1,α+1))-Π0)(0)(1,1,1)(2,2,1)(3,2,1)(4,2)
ψ(Π1(λα.I(1,α+1)-Π1))?(0)(1,1,1)(2,2,1)(3,2,1)(4,2)(3,2,1)
ψ(Π1(λα.M(α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)
ψ(Π1(λα.(1-2-2 1-2-2 aft α)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1)
ψ(Π1(λα.N(α+1)-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(4,2,1)
ψ(Π1(λα.(2-)^ω aft α-Π1))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5)
ψ(Π1(λα.K(α+1)-Π2))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)
ψ(Π1(λα.4 aft α-Π3))(0)(1,1,1)(2,2,1)(3,2,1)(4,2,1)(5,2,1)(6,2,1)
ψ(psd.doubly-(+1)-stb)(0)(1,1,1)(2,2,1)(3,3)
ψ(λα.(λβ.β+1-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(2,1,1)
ψ(λα.α+1-Π0(λα.(λβ.β+1-Π0)[α+1]-Π0))(0)(1,1,1)(2,2,1)(3,3)(2,2)
ψ(Π1(λα.2 aft (λβ.β+1-Π0)[α+1]-Π1))(0)(1,1,1)(2,2,1)(3,3)(2,2,1)
ψ(λα.(λβ.β+1-Π0)[α+2]-Π0)(0)(1,1,1)(2,2,1)(3,3)(2,2,1)(3,3)
ψ(λα.2nd (1-)^α (λβ.β+1-Π0)Π0)(0)(1,1,1)(2,2,1)(3,3)(3,1)(2)
ψ(λα.(1-)^(1) (λβ.β+1-Π0)Π0)(0)(1,1,1)(2,2,1)(3,3)(3,2)
ψ(λα.2 1-(λβ.β+1-Π0)Π0)???(0)(1,1,1)(2,2,1)(3,3)(3,2,1)
ψ(λα.(λβ.β+1-Π0)-(λβ.β+1-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(3,3)
ψ(λα.(λβ.β+1-Π0)^α-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,1)(2)
ψ(Π1(λα.(λβ.β+1-Π0)^(2 aft α)-Π1))(0)(1,1,1)(2,2,1)(3,3)(4,1,1)
ψ(λα.(λβ.β+1-Π0)^(1)-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,2)
ψ(λα.1-2 aft λβ.β+1-Π1[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1)
ψ(λα.(λβ.β+1-Π0)[α+1] aft λβ.β+1-Π1[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,2)(5,3,1)(6,4,1)(7,3)
ψ(Π1(λα.λβ.β+1-Π1[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3)(4,2,1)
ψ(λα.(λβ.β+2-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,2,1)(5,3)
ψ(λα.(λβ.β+ω-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,3)
ψ(λα.(λβ.β+α-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(2)
ψ(Π1(λα.(λβ.β+α-Π1)[α+ω]-Π1))???(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1)(4,2,1)
ψ(Π1(λα.(λβ.β+Ω(α+1)-Π1)[α+ω]-Π1))???(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,1,1)
ψ(λα.(λβ.β2-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2)
ψ(Π1(λα.(λβ.Ω(β+1)-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,2,1)
ψ(λα.(λβ.Γ(Ω(β+1)+1)-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,3)(5,3)
ψ(λα.(λβ.Γ(Ω(β+1))-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3)(4,4,1)(5,5,1)
ψ(Π1(λα.(λβ.Ω(β+2)-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3,1)
ψ(λα.(λβ.Ω(β+ω)-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3,1)(4)
ψ(λα.(λβ.Ω(β+α)-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3,1)(4,1)(2)
ψ(Π1(λα.(λβ.Ω(β+Ω(α+1))-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3,1)(4,1,1)
ψ(λα.(λβ.Ω(β2)-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3,1)(4,2)
ψ(Π1(λα.(λβ.Ω(Ω(β+1))-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3,1)(4,2,1)
ψ(λα.(λβ.ψ_I_(β+1)(I_(β+1))-Π0)[α+1]-Π0)(0)(1,1,1)(2,2,1)(3,3,1)(4,3)
ψ(Π1(λα.(λβ.I(α+1)-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)
ψ(Π1(λα.(λβ.M(α+1)-Π1)[α+ω]-Π1))(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1)
ψ(Π1(λα.(λβ.K(α+1)-Π2)[α+ω]-Π2))(0)(1,1,1)(2,2,1)(3,3,1)(4,3,1)(5,3,1)(6,3,1)
ψ(psd.triply-(+1)-stb)(0)(1,1,1)(2,2,1)(3,3,1)(4,4)
ψ(psd.triply-(++)-stb)(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)
ψ(psd.qudraply-(+1)-stb)(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5)
ψ(5.π-Π0)(0)(1,1,1)(2,2,1)(3,3,1)(4,4,1)(5,5,1)(6,6)
ψ(ψa(a_ω)) = LRO(0)(1,1,1)(2,2,2)

ψ(ψa(a_ω)+1)(0)(1,1,1)(2,2,2)(1)
ψ(ψa(a_ω)+Ω)(0)(1,1,1)(2,2,2)(1,1)
ψ(ψa(a_ω)+Ω_ω)(0)(1,1,1)(2,2,2)(1,1,1)
ψ(ψa(a_ω)*2)(0)(1,1,1)(2,2,2)(1,1,1)(2,2,2)
ψ(ψa(a_ω+1))(0)(1,1,1)(2,2,2)(2)
ψ(ψa(a_ω+Ω))(0)(1,1,1)(2,2,2)(2,1)
ψ(ψa(a_ω+a))(0)(1,1,1)(2,2,2)(2,1)(2)
ψ(ψa(a_ω+Ω(a+1)))(0)(1,1,1)(2,2,2)(2,1)(3,2)
ψ(ψa(a_ω+Ω(a+ω)))(0)(1,1,1)(2,2,2)(2,1)(3,2,1)
ψ(ψa(a_ω*2))(0)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2)
ψ(ψa(a_ω*ω))(0)(1,1,1)(2,2,2)(2,1,1)
ψ(ψa(a_ω*ω^2))(0)(1,1,1)(2,2,2)(2,1,1)(2,1,1)
ψ(ψa(a_ω*a))(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(2)
ψ(ψa(a_ω*ε(a+1)))(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(4,2)
ψ(ψa(a_ω*ψ_Ω(a+1)(Ω(a+ω)))(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(4,2,1)
ψ(ψa(a_ω*ψ_Ω(a+1)(a_ω))?(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(4,2,1)(5,3,2)
ψ(ψa(a_ω*ψ_Ω(a+1)(a_ω*ω))?(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(4,2,1)(5,3,2)(5,2,1)(6,2)
ψ(ψa(a_ω*Ω(a+1)))(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)
ψ(ψa(a_ω*ψ_Ω(a+2)(Ω(a+2)))?(0)(1,1,1)(2,2,2)(2,1,1)(3,2)
ψ(ψa(a_ω*ψ_Ω(a+2)(Ω(a+ω)))?(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1)
ψ(ψa(a_ω*Ω(a+2))?(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2)
ψ(ψa(a_ω*I(a+1))?(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2)(3,1,1)
ψ(ψa(a_ω*(Πω aft a))(0)(1,1,1)(2,2,2)(2,2)
ψ(ψa(a_ω*((+) aft a))?(0)(1,1,1)(2,2,2)(2,2)(3,2)(4,1,1)(5,2,2)(3,1,1)
ψ(ψa(a_ω*((++) aft a))(0)(1,1,1)(2,2,2)(2,2,1)
ψ(ψa(a_ω*(λα.Ω(α+ω)-Π0 aft a))(0)(1,1,1)(2,2,2)(2,2,1)(3)
ψ(ψa(a_ω*(1-λα.I(α+1)-Π0 aft a))(0)(1,1,1)(2,2,2)(2,2,1)(3,2,1)
ψ(ψa(a_ω*(ψa_2((+1)-0 aft a)))?(0)(1,1,1)(2,2,2)(2,2,1)(3,3)
ψ(ψa(a_ω*(ψa_2((++) aft a)))?(0)(1,1,1)(2,2,2)(2,2,1)(3,3,1)
ψ(ψa(a_ω*(ψa_2(a_ω)))(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)
ψ(ψa(a_ω*(ψa_2(a_ω*(Πω aft a))))(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3)
ψ(ψa(a_ω*(ψa_2(a_ω*((++) aft a))))(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3,1)
ψ(ψa(a_ω^2))(0)(1,1,1)(2,2,2)(2,2,2)
ψ(ψa(a_ω^a))(0)(1,1,1)(2,2,2)(3,1)(2)
ψ(ψa(a_ω^Ω(a+1)))?(0)(1,1,1)(2,2,2)(3,1,1)
ψ(ψa(a_ω^a_2))(0)(1,1,1)(2,2,2)(3,2)
ψ(ψa(a_ω^a_2*(Πω aft a)))(0)(1,1,1)(2,2,2)(3,2)(2,2)
ψ(ψa(a_ω^a_2*((++) aft a)))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)
ψ(ψa(a_ω^a_2*ψa_2(a_ω)))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)
ψ(ψa(a_ω^a_2*ψa_2(a_ω*a)))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1)(2)
ψ(ψa(a_ω^a_2*a_2))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)
ψ(ψa(a_ω^(a_2+1)))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,1)(4,4,2)(5,2)(4,4,2)
ψ(ψa(a_ω^p_a_3(a_ω)))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)
ψ(ψa(a_ω^a_3))(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)
ψ(ψa(a_ω^a_ω))(0)(1,1,1)(2,2,2)(3,2)(2,2,2)
ψ(ψa(ε(a_ω+1)))(0)(1,1,1)(2,2,2)(3,2)(4,3)
ψ(ψa(ψ_Ω(a_ω+1)(Ω(a+ω))))(0)(1,1,1)(2,2,2)(3,2)(4,3,1)
ψ(ψa(ψ_Ω(a_ω+1)(Π_ω aft a)))(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4)
ψ(ψa(Ω(a_ω+1)*ω))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4)(6,4)(7,3,1)
ψ(ψa(Ω(a_ω+2)*ω))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,1)
ψ(ψa(Ω(a_ω+ω)))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,1)(6)
ψ(ψa(I(a_ω+1)*ω))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,1)(6,4,1)
ψ(ψa(Ω(a_(ω+1)+1)*ω))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,1)(6,5)
ψ(ψa(Ω(a_(ω+2)+1)*ω))?(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,1)(6,5,1)(7,6)
ψ(ψa(a_(ω2)))(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,2)
ψ(ψa(a_(ω3)))(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,2)(6,4)(7,5,1)(8,6,2)
ψ(ψa(a_(ω^2)))(0)(1,1,1)(2,2,2)(3,2,1)
ψ(ψa(a_(ω^3)))(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)
ψ(ψa(a_a))(0)(1,1,1)(2,2,2)(3,2,1)(4,1)(2)
ψ(ψa(a_a*ω))(0)(1,1,1)(2,2,2)(3,2,1)(4,1,1)
ψ(ψa(ψb(a(b+1)*ψb(a(b+1)*ω))))?(0)(1,1,1)(2,2,2)(3,2,1)(4,2)
ψ(ψa(ψb(a(b+1)*b)))(0)(1,1,1)(2,2,2)(3,2,1)(4,2)(3)
ψ(ψa(ψb(a(b+1)*Ω(b+1)*ω)))(0)(1,1,1)(2,2,2)(3,2,1)(4,2,1)
ψ(ψa(ψb(a(b+1)*ψb(a(b+1)*ω))))?(0)(1,1,1)(2,2,2)(3,2,1)(4,2,2)
ψ(ψa(ψb(a(b+1)^2*ω)))(0)(1,1,1)(2,2,2)(3,2,2)
ψ(ψa(ψb(a(b+1)^2*ω^2)))(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)
ψ(ψa(ψb(a(b+1)^2*a)))(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2)
ψ(ψa(ψb(a(b+1)^2*b)))(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)
ψ(ψa(ψb(a(b+1)^3*ω)))?(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(5,3,1)(6,4,2)
ψ(ψa(ψb(a(b+1)^ω)))?(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)
ψ(ψa(ψb(a(b+1)^Ω(b+1)*ω)))?(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,1)
ψ(ψa(ψb(a(b+1)^ψb(a(b+1)*ω))))?(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)
ψ(ψa(ψb(a(b+1)^ψb(a(b+1)^Ω(b+1)))))?(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)
ψ(ψa(ψb(a(b+1)^a(b+1)*ω)))(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)
ψ(ψa(ψb(a(b+1)^^3*ω)))(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2)
ψ(ψa(ψb(ε(a(b+1)+1))))(0)(1,1,1)(2,2,2)(3,3)
ψ(ψa(ψb(φ(b,a(b+1)+1))))(0)(1,1,1)(2,2,2)(3,3)(4,3)(5,2)(3)
ψ(ψa(ψb(Γ(a(b+1)+1))))(0)(1,1,1)(2,2,2)(3,3)(4,3)(5,3)
ψ(ψa(ψb(Ω(a(b+1)+1)×ω)))(0)(1,1,1)(2,2,2)(3,3,1)
ψ(ψa(ψb(pa(b+2)(pa(a_ω) aft a(b+1)))))(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)
ψ(ψa(ψb(a(b+2)×ω)))(0)(1,1,1)(2,2,2)(3,3,2)
ψ(ψa(ψb(a(b+ω))))(0)(1,1,1)(2,2,2)(3,3,2)(4)
ψ(ψa(ψb(a(b+a))))(0)(1,1,1)(2,2,2)(3,3,2)(4,1)(2)
ψ(ψa(ψb(a(b2))))(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3)
ψ(ψa(ψb(a(Ω(b+1))×ω)))(0)(1,1,1)(2,2,2)(3,3,2)(4,2,1)
ψ(ψa(ψb(a(a(b+1))×ω)))(0)(1,1,1)(2,2,2)(3,3,2)(4,2,2)
ψ(ψa(ψb(a(1,b+1))))(0)(1,1,1)(2,2,2)(3,3,2)(4,3)
ψ(ψa(ψb(a(1,,b+1)×ω)))(0)(1,1,1)(2,2,2)(3,3,2)(4,3,1)
ψ(ψa(ψb(a(1;b+1)×ω)))(0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)
ψ(ψa(ψb(ε(a(b_2+1)+1))))(0)(1,1,1)(2,2,2)(3,3,2)(4,4)
ψ(ψa(ψb(a(b_2*2))))(0)(1,1,1)(2,2,2)(3,3,2)(4,4,2)(5,3)
ψ(ψa(ψb(ε(a(b_3+1)+1))))(0)(1,1,1)(2,2,2)(3,3,2)(4,4,2)(5,5)
ψ(ψa(ψb(b_ω))) = DNAO(0)(1,1,1)(2,2,2)(3,3,3)
ψ(ψa(ψb(ψc(ε(b(c+1)+1)))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4)
ψ(ψa(ψb(ψc(Ω(b(c+1)+2)*ω))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,1)
ψ(ψa(ψb(ψc(a(b(c+1)+2)*ω))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,2)
ψ(ψa(ψb(ψc(b(c+2)*ω))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3)
ψ(ψa(ψb(ψc(ε(b(c_2+1)+1)))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3)(5,5)
ψ(ψa(ψb(ψc(c_ω))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,4)
ψ(ψa(ψb(ψc(ψd(d_ω)))))(0)(1,1,1)(2,2,2)(3,3,3)(4,4,4)(5,5,5)

ψ(psd.ω-proj) = TSSO(0)(1,1,1,1)
ψ(psd.ω-proj+1)(0)(1,1,1,1)(1)
ψ(psd.ω-proj+Ω)(0)(1,1,1,1)(1,1)
ψ(psd.ω-proj+Ω_ω)(0)(1,1,1,1)(1,1,1)
ψ(psd.ω-proj+pa(P_ω))(0)(1,1,1,1)(1,1,1)(2,2,2,1)
ψ(psd.ω-proj+a_ω)(0)(1,1,1,1)(1,1,1)(2,2,2,1)(2,2,2)
ψ(psd.ω-proj*2)(0)(1,1,1,1)(1,1,1,1)
ψ(psd.ω-proj*ω)(0)(1,1,1,1)(2)
ψ(psd.ω-proj*Ω)(0)(1,1,1,1)(2,1)
ψ(psd.ω-proj*Ω_ω)(0)(1,1,1,1)(2,1)(1,1,1)
ψ(psd.ω-proj*pa(P_ω))(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,2)
ψ(psd.ω-proj*a_ω)(0)(1,1,1,1)(2,1)(1,1,1)(2,2,2,1)(3,2)(2,2,2)
ψ(P_ω^2)(0)(1,1,1,1)(2,1)(1,1,1,1)
ψ(P_ω^3)(0)(1,1,1,1)(2,1)(2,1)(1,1,1,1)
ψ(P_ω^ω)(0)(1,1,1,1)(2,1)(3)
ψ(P_ω^P_ω)(0)(1,1,1,1)(2,1)(3,1)(1,1,1,1)
ψ(Ω(P_ω+1))(0)(1,1,1,1)(2,1)(3,2)
ψ(Ω(P_ω+ω))(0)(1,1,1,1)(2,1)(3,2,1)
ψ(a(P_ω+ω))(0)(1,1,1,1)(2,1)(3,2,1)(4,3,2)
ψ(P(ω;1))(0)(1,1,1,1)(2,1)(3,2,1,1)
ψ(P(ω;ω))(0)(1,1,1,1)(2,1,1)
ψ(P(ω+1;0))(0)(1,1,1,1)(2,1,1)(3,2,2)
ψ(P(ω2;0))(0)(1,1,1,1)(2,1,1)(3,2,2,1)
ψ(P(ω^2;0))(0)(1,1,1,1)(2,1,1,1)
ψ(ψX(P(X+1;0)*X))(0)(1,1,1,1)(2,1,1,1)(3,1)(2)
ψ(ψX(P(X+1;0)*Ω(X+1)*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1)
ψ(ψX(P(X+1;0)^2*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)
ψ(ψX(P(X+1;0)^3*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(2,1,1,1)(3,1,1,1)
ψ(ψX(P(X+1;0)^ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3)
ψ(ψX(P(X+1;0)^X))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1)(2)
ψ(ψX(P(X+1;0)^Ω(X+1)*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1,1)
ψ(ψX(P(X+1;0)^P(X+1;0)*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1,1,1)
ψ(ψX(P(X+1;0)^P(X+1;0)^2*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(3,1,1,1)(3,1,1,1)
ψ(ψX(P(X+1;0)^P(X+1;0)^ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(4)
ψ(ψX(P(X+1;0)^P(X+1;0)^X))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(4,1)(2)
ψ(ψX(P(X+1;0)^^3*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(4,1,1,1)
ψ(ψX(P(X+1;0)^^4*ω))(0)(1,1,1,1)(2,1,1,1)(3,1,1,1)(4,1,1,1)(5,1,1,1)
ψ(ψX(ε(P(X+1;0)+1)))(0)(1,1,1,1)(2,2)
ψ(ψX(Ω(P(X+1;0)+1)*ω))(0)(1,1,1,1)(2,2,1)
ψ(ψX(P(ω;P(X+1;0)+1)))(0)(1,1,1,1)(2,2,1)(1,1,1,1)
ψ(ψX(P(ω^2;P(X+1;0)+1)))(0)(1,1,1,1)(2,2,1)(1,1,1,1)(2,1,1,1)
ψ(ψX(P(X;P(X+1;0)+1)))(0)(1,1,1,1)(2,2,1)(1,1,1,1)(2,1,1,1)(3,1)(2)
ψ(ψX(P(P(X+1;0);1)^2*ω))(0)(1,1,1,1)(2,2,1)(1,1,1,1)(2,1,1,1)(3,1,1,1)
ψ(ψX(P(X+1;ω)))(0)(1,1,1,1)(2,2,1)(2)
ψ(ψX(P(X+2;0)))(0)(1,1,1,1)(2,2,1)(2,2,1)
ψ(ψX(P(X2;0)))(0)(1,1,1,1)(2,2,1)(3,1)(2)
ψ(ψX(P(Ω(X+1);0)ω))(0)(1,1,1,1)(2,2,1)(3,1,1)
ψ(ψX(P(P(X+1;0);0)ω))?(0)(1,1,1,1)(2,2,1)(3,1,1,1)
ψ(ψX(P(1;X+1)))?(0)(1,1,1,1)(2,2,1)(3,2)
ψ(ψX(P(1;1,,X+1)))?(0)(1,1,1,1)(2,2,1)(3,2,1)
ψ(ψX(P(1;1,_ω X+1)))?(0)(1,1,1,1)(2,2,1)(3,2,1)(1,1,1,1)
这是目前投影分析的极限

dd

(0,0,0)(1,1,1)(2,2,2)(3,2,0)(2,2,2)=?