打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

BMS分析Part5:pLRO~TSSO

来自Googology Wiki

本词条是BMS分析的第五部分

BMS 向上投影递归化
(0)(1,1,1)(2,2,2) ψ(ψα(α_ω))
(0)(1,1,1)(2,2,2)(1,1) ψ(ψα(α_ω)+Ω)
(0)(1,1,1)(2,2,2)(1,1,1) ψ(ψα(α_ω)+Ω_ω)
(0)(1,1,1)(2,2,2)(1,1,1)(2,2) ψ(ψα(α_ω)+ψα(α_2))
(0)(1,1,1)(2,2,2)(1,1,1)(2,2,1) ψ(ψα(α_ω)+ψα(Ω(α+2)*ω))
(0)(1,1,1)(2,2,2)(1,1,1)(2,2,2) ψ(ψα(α_ω)*2)
(0)(1,1,1)(2,2,2)(2,1) ψ(ψα(α_ω)*Ω)
(0)(1,1,1)(2,2,2)(2,1)(1,1)(2,2,1)(3,3,2)(3,2) ψ(ψα(α_ω)*Ω_2)
(0)(1,1,1)(2,2,2)(2,1)(1,1,1) ψ(ψα(α_ω)*Ω_ω)
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2) ψ(ψα(α_ω)*ψα(ε(Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2)(3,3,1)(4,4,2)(4,3) ψ(ψα(α_ω)*ψα(Ω(α+2)+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2,1) ψ(ψα(α_ω)*ψα(Ω(α+2)*ω))
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2,1)(3,3)(4,4,1)(5,5,2)(5,4) ψ(ψα(α_ω)*ψα(Ω(α_2+2)+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2,1)(3,3,1) ψ(ψα(α_ω)*ψα(Ω(α_2+2)+ψα_2(Ω(α_2+2)+1)))
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2,2) ψ(ψα(α_ω)^2)
(0)(1,1,1)(2,2,2)(2,1)(1,1,1)(2,2,2)(1,1,1)(2,2,2) ψ(ψα(α_ω)^2+ψα(α_ω))
(0)(1,1,1)(2,2,2)(2,1)(2) ψ(ψα(α_ω)^2*ω)
(0)(1,1,1)(2,2,2)(2,1)(3) ψ(ψα(α_ω)^ω)
(0)(1,1,1)(2,2,2)(2,1)(3,2) ψ(ψα(α_ω+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1)(3,2)(2) ψ(ψα(α_ω+Ω(α+1))+ψ_{ψα(α_ω+Ω(α+1))}(ψα(α_ω+Ω(α+1))+1))
(0)(1,1,1)(2,2,2)(2,1)(3,2)(3,2) ψ(ψα(α_ω+Ω(α+1))*2)
(0)(1,1,1)(2,2,2)(2,1)(3,2,1) ψ(ψα(α_ω+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3) ψ(ψα(α_ω+ε(Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2) ψ(ψα(α_ω+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,1,1) ψ(ψα(α_ω+ψα_2(α_ω+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(1,1,1)(2,2,2) ψ(ψα(α_ω+ψα_2(α_ω+1))+ψα(α_ω))
(0)(1,1,1)(2,2,2)(2,1,1)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2)(4,2,1) ψ(ψα(α_ω+ψα_2(α_ω+1))+ψ_{ψα(α_ω+Ω(α+1))}(ψα(α_ω+ψα_2(α_ω+1))))
(0)(1,1,1)(2,2,2)(2,1,1)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2)(4,2,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+1))+ψα(α_ω+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2)(4,2,1)(3,2,1)(4,3,2) ψ(ψα(α_ω+ψα_2(α_ω+1))+ψα(α_ω+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,1,1)(1,1,1)(2,2,2)(2,1,1) ψ(ψα(α_ω+ψα_2(α_ω+1))*2)
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(1,1,1) ψ(ψα(α_ω+ψα_2(α_ω+1))*Ω_ω)
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(1,1,1)(2,2,2) ψ(ψα(α_ω+ψα_2(α_ω+1))*ψα(α_ω))
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(1,1,1)(2,2,2)(2,1)(3,2,1)(4,3,2)(4,2,1)(4,2) ψ(ψα(α_ω+ψα_2(α_ω+1))*ψα(α_ω+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(1,1,1)(2,2,2)(2,1,1) ψ(ψα(α_ω+ψα_2(α_ω+1))^2)
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+1)+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(2,1)(3,2,1)(4,3,2)(4,2,1) ψ(ψα(α_ω+ψα_2(α_ω+1)*2))
(0)(1,1,1)(2,2,2)(2,1,1)(2,1,1) ψ(ψα(α_ω+ψα_2(α_ω+2)))
(0)(1,1,1)(2,2,2)(2,1,1)(3) ψ(ψα(α_ω+ψα_2(α_ω+ω)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(2) ψ(ψα(α_ω+ψα_2(α_ω+α)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1)(4,2) ψ(ψα(α_ω+ψα_2(α_ω+ε(α+1))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(2,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)+1)+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)+α)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(2,1,1)(3,1,1) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)*2+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(3,1)(2) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)*α)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3,1)(2) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)*α*2)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(3,1,1) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)^2+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,1,1)(4) ψ(ψα(α_ω+ψα_2(α_ω+Ω(α+1)^ω)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2)(2,1,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_2)*2)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2)(3,1,1)(4,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_2+ψα_2(α_2)))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_2*2))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2)(4,3,1) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(Ω(α_2+1)))+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(Ω(α_2+1))+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1)(2,1,1)(3,2,1) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(Ω(α_2+1))*2+1)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1)(3,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(Ω(α_2+1)+α_2))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,1)(4,3) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_3))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_ω))))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2)(2,1,1)(3,2,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_ω)*2)))
(0)(1,1,1)(2,2,2)(2,1,1)(3,2,2)(3,1,1)(4,2,2) ψ(ψα(α_ω+ψα_2(α_ω+ψα_2(α_ω+ψα_2(α_ω)))))
(0)(1,1,1)(2,2,2)(2,2) ψ(ψα(α_ω+α_2))
(0)(1,1,1)(2,2,2)(2,2)(2,1)(3,2) ψ(ψα(α_ω+α_2+Ω(α+1)))
(0)(1,1,1)(2,2,2)(2,2)(2,1)(3,2,1)(4,3,2) ψ(ψα(α_ω+α_2+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2)(2,1)(3,2,1)(4,3,2)(4,3) ψ(ψα(α_ω+α_2+ψα_2(α_ω+α_2)))
(0)(1,1,1)(2,2,2)(2,2)(2,1,1) ψ(ψα(α_ω+α_2+ψα_2(α_ω+α_2+1)))
(0)(1,1,1)(2,2,2)(2,2)(2,1,1)(3,1,1) ψ(ψα(α_ω+α_2+ψα_2(α_ω+α_2+Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,2)(2,1,1)(3,2) ψ(ψα(α_ω+α_2+ψα_2(α_ω+α_2+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(2,2)(2,1,1)(3,2,2)(3,2) ψ(ψα(α_ω+α_2+ψα_2(α_ω+α_2+ψα_2(α_ω+α_2))))
(0)(1,1,1)(2,2,2)(2,2)(2,2) ψ(ψα(α_ω+α_2*2))
(0)(1,1,1)(2,2,2)(2,2)(3,1)(2) ψ(ψα(α_ω+α_2*α))
(0)(1,1,1)(2,2,2)(2,2)(3,1)(4,2,1)(5,3,2) ψ(ψα(α_ω+α_2*Ω(α+1)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2)(3,1,1) ψ(ψα(α_ω+α_2*Ω(α+1)+ψα_2(α_ω+α_2*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,2)(3,1,1)(2,2) ψ(ψα(α_ω+α_2*(Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,2)(3,1,1)(2,2)(3,1,1) ψ(ψα(α_ω+α_2*Ω(α+1)*2+ψα_2(α_ω+α_2*Ω(α+1)*2+1)))
(0)(1,1,1)(2,2,2)(2,2)(3,1,1)(4,2) ψ(ψα(α_ω+α_2*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(2,2)(3,1,1)(4,2,2) ψ(ψα(α_ω+α_2*ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2)(3,2) ψ(ψα(α_ω+α_2^2))
(0)(1,1,1)(2,2,2)(2,2)(3,2)(2,2)(3,2) ψ(ψα(α_ω+α_2^2*2))
(0)(1,1,1)(2,2,2)(2,2)(3,3) ψ(ψα(α_ω+Ω(α_2+1)))
(0)(1,1,1)(2,2,2)(2,2)(3,3,1) ψ(ψα(α_ω+Ω(α_2+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(2,2)(3,3,1)(4,4,2) ψ(ψα(α_ω+Ω(α_2+1)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2,1) ψ(ψα(α_ω+Ω(α_2+1)+ψα_2(α_ω+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(2,2,1)(2,1,1) ψ(ψα(α_ω+Ω(α_2+1)+ψα_2(α_ω+Ω(α_2+1)+2)))
(0)(1,1,1)(2,2,2)(2,2,1)(2,1,1)(3,2,2) ψ(ψα(α_ω+Ω(α_2+1)+ψα_2(α_ω+Ω(α_2+1)+ψα_2(α_ω))))
(0)(1,1,1)(2,2,2)(2,2,1)(2,2) ψ(ψα(α_ω+Ω(α_2+1)+α_2))
(0)(1,1,1)(2,2,2)(2,2,1)(2,2)(3,3) ψ(ψα(α_ω+Ω(α_2+1)*2))
(0)(1,1,1)(2,2,2)(2,2,1)(2,2)(3,3,1)(4,4,2) ψ(ψα(α_ω+Ω(α_2+1)*2+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2,1)(2,2,1) ψ(ψα(α_ω+Ω(α_2+1)*2+ψα_2(α_ω+Ω(α_2+1)*2+1)))
(0)(1,1,1)(2,2,2)(2,2,1)(3) ψ(ψα(α_ω+Ω(α_2+1)*ω))
(0)(1,1,1)(2,2,2)(2,2,1)(3,1)(2) ψ(ψα(α_ω+Ω(α_2+1)*α))
(0)(1,1,1)(2,2,2)(2,2,1)(3,1,1) ψ(ψα(α_ω+Ω(α_2+1)*Ω(α+1)+ψα_2(α_ω+Ω(α_2+1)*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,1,1)(4,2) ψ(ψα(α_ω+Ω(α_2+1)*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,1,1)(4,2,2) ψ(ψα(α_ω+Ω(α_2+1)*ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,2) ψ(ψα(α_ω+Ω(α_2+1)*α_2))
(0)(1,1,1)(2,2,2)(2,2,1)(3,2)(4,3) ψ(ψα(α_ω+Ω(α_2+1)^2))
(0)(1,1,1)(2,2,2)(2,2,1)(3,2,1) ψ(ψα(α_ω+Ω(α_2+1)^2+ψα_2(α_ω+Ω(α_2+1)^2+1)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,3) ψ(ψα(α_ω+ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3,1) ψ(ψα(α_ω+Ω(α_3+1)+ψα_2(α_ω+Ω(α_3+1)+1)))
(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3,1)(4,3) ψ(ψα(α_ω+Ω(α_3+1)*α_3))
(0)(1,1,1)(2,2,2)(2,2,1)(3,3,2)(3,3,1)(4,4) ψ(ψα(α_ω+ψα_4(α_4)))
(0)(1,1,1)(2,2,2)(2,2,2) ψ(ψα(α_ω*2))
(0)(1,1,1)(2,2,2)(2,2,2)(2,1,1) ψ(ψα(α_ω*2+ψα_2(α_ω*2+1)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,1,1)(3,2,2)(3,2,2) ψ(ψα(α_ω+ψα_2(α_ω*2+ψα_2(α_ω*2))))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2) ψ(ψα(α_ω*2+α_2))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2)(3,3,1) ψ(ψα(α_ω*2+Ω(α_2+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1) ψ(ψα(α_ω*2+Ω(α_2+1)+ψα_2(α_ω*2+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3) ψ(ψα(α_ω*2+Ω(α_2+1)*ω))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,2) ψ(ψα(α_ω*2+Ω(α_2+1)*α_2))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3) ψ(ψα(α_ω*2+ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3,1) ψ(ψα(α_ω*2+ψα_3(Ω(α_3+1))+ψα_2(α_ω*2+ψα_3(Ω(α_3+1))+1)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3,2) ψ(ψα(α_ω*2+ψα_3(α_ω)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3,2)(3,3,2) ψ(ψα(α_ω*2+ψα_3(α_ω*2)))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3,2)(3,3,2)(3,2,1)(4,3,2)(4,3,2) ψ(ψα(α_ω*2+ψα_3(α_ω*2+ψα_3(α_ω*2))))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,1)(3,3,2)(3,3,2)(3,3) ψ(ψα(α_ω*2+α_3))
(0)(1,1,1)(2,2,2)(2,2,2)(2,2,2) ψ(ψα(α_ω*3))
(0)(1,1,1)(2,2,2)(3) ψ(ψα(α_ω*ω))
(0)(1,1,1)(2,2,2)(3,1)(2) ψ(ψα(α_ω*α))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2) ψ(ψα(α_ω*α+Ω(α+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1) ψ(ψα(α_ω*α+ψα_2(α_ω*Ω)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(1,1,1)(2,2,2)(3,1)(2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α))))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψ_{ψα(α_ω*α+Ω(α+1))}(ψα(α_ω*α+ψα_2(α_ω*Ω))))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψ_{ψα(α_ω*α+Ω(α+1))}(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+1))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(3) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψ_{ψα(α_ω*α+Ω(α+1))}(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψ_{ψα(α_ω*α+Ω(α+1))}(ψα(α_ω*α+ψα_2(α_ω*ψ_α(α_ω*α)))+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(3,2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψα(α_ω*α+Ω(α+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(3,2,1)(4,3,2)(5,1) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))+ψα(α_ω*α+ψα_2(α_ω*Ω)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(4) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))*ω)
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(4,2)(3,2,1)(4,3,2)(5,1)(1,1,1)(2,2,2)(3,1)(2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)))^2)
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(4,2)(5,3) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α))+Ω(α+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(4,3) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α)+α_2)))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,1)(4,3,2) ψ(ψα(α_ω*α+ψα_2(α_ω*(ψα(α_ω*α)+1))))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α+Ω(α+1)))))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,2)(3,2,1)(4,3,2) ψ(ψα(α_ω*α+ψα_2(α_ω*ψα(α_ω*α+ψα_2(α_ω)))))
(0)(1,1,1)(2,2,2)(3,1)(2,1)(3,2,1)(4,3,2)(5,2)(4) ψ(ψα(α_ω*α+ψα_2(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,1)(2,1,1) ψ(ψα(α_ω*α+ψα_2(α_ω*α+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,1,1)(3,2) ψ(ψα(α_ω*α+ψα_2(α_ω*α+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,1)(2,1,1)(3,2,2)(4,1)(2) ψ(ψα(α_ω*α+ψα_2(α_ω*α+ψα_2(α_ω*α))))
(0)(1,1,1)(2,2,2)(3,1)(2,2) ψ(ψα(α_ω*α+α_2))
(0)(1,1,1)(2,2,2)(3,1)(2,2)(3,3,1) ψ(ψα(α_ω*α+Ω(α_2+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,1)(2,2,1) ψ(ψα(α_ω*α+Ω(α_2+1)+ψα_2(α_ω*α+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,2,1)(3,2) ψ(ψα(α_ω*α+Ω(α_2+1)*α_2))
(0)(1,1,1)(2,2,2)(3,1)(2,2,1)(3,3) ψ(ψα(α_ω*α+ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(3,1)(2,2,1)(3,3,2)(4,2)(3) ψ(ψα(α_ω*α+ψα_3(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,1)(2,2,1)(3,3,2)(4,2)(3,3) ψ(ψα(α_ω*α+α_3))
(0)(1,1,1)(2,2,2)(3,1)(2,2,2) ψ(ψα(α_ω*(α+1)))
(0)(1,1,1)(2,2,2)(3,1)(2,2,2)(3,1)(2) ψ(ψα(α_ω*(α*2)))
(0)(1,1,1)(2,2,2)(3,1)(3) ψ(ψα(α_ω*α*ω))
(0)(1,1,1)(2,2,2)(3,1)(3,1)(2) ψ(ψα(α_ω*(α^2)))
(0)(1,1,1)(2,2,2)(3,1)(4,2) ψ(ψα(α_ω*ε(α+1)))
(0)(1,1,1)(2,2,2)(3,1)(4,2,1)(5,3,2) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,1)(4,2,1)(5,3,2)(6,2)(5) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,1,1) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1)(3,2) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+1)+Ω(α+1))))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1,1) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+2)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1,1)(3,1,1) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1,1)(3,2) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1,1)(3,2,2)(4,1)(2) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+ψα_2(α_ω*α))))
(0)(1,1,1)(2,2,2)(3,1,1)(2,1,1)(3,2,2)(4,1,1) ψ(ψα(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1)+ψα_2(α_ω*Ω(α+1))+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2) ψ(ψα(α_ω*Ω(α+1)+α_2))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2)(3,3) ψ(ψα(α_ω*Ω(α+1)+ε(α_2+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2,1) ψ(ψα(α_ω*Ω(α+1)+Ω(α_2+1)+ψα_2(α_ω*Ω(α+1)+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2,1)(3,3,2) ψ(ψα(α_ω*Ω(α+1)+ψα_3(α_ω)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2,2) ψ(ψα(α_ω*(Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2,2)(3,1)(2) ψ(ψα(α_ω*(Ω(α+1)+α)))
(0)(1,1,1)(2,2,2)(3,1,1)(2,2,2)(3,1,1) ψ(ψα(α_ω*Ω(α+1)*2+ψα_2(α_ω*Ω(α+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(3) ψ(ψα(α_ω*Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,1,1)(3,1,1) ψ(ψα(α_ω*(Ω(α+1)^2)+ψα_2(α_ω*(Ω(α+1)^2)+1)))
(0)(1,1,1)(2,2,2)(3,1,1)(4,2) ψ(ψα(α_ω*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,1,1)(4,2,2) ψ(ψα(α_ω*ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,1,1)(4,2,2)(5,1)(2) ψ(ψα(α_ω*ψα_2(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,2) ψ(ψα(α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1) ψ(ψα(α_ω*α_2+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ψα(α_ω*α_2+Ω(α+1)))))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2)(3,2)(4,3,1)(5,4,2)(6,3) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ψα(α_ω*α_2+Ω(α+1)*2))))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2)(3,2,1)(4,3,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ψα(α_ω*α_2+ψα_2(α_ω)))))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2)(4) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2)(4,3,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*(α+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2)(6,3) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ε(α+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,2,1) ψ(ψα(α_ω*α_2+ψα_2(α_ω*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,1)(3,2,1)(4,3,2)(5,3) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,1,1) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,1,1)(3,1)(2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α_2+α)))
(0)(1,1,1)(2,2,2)(3,2)(2,1,1)(3,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α_2+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,1,1)(3,2,2)(4,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*α_2+ψα_2(α_ω*α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2) ψ(ψα(α_ω*α_2+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2)(3,3,1) ψ(ψα(α_ω*α_2+Ω(α_2+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1) ψ(ψα(α_ω*α_2+Ω(α_2+1)+ψα_2(α_ω*α_2+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(2,2) ψ(ψα(α_ω*α_2+Ω(α_2+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3) ψ(ψα(α_ω*α_2+Ω(α_2+1)*ω))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3) ψ(ψα(α_ω*α_2+ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4) ψ(ψα(α_ω*α_2+ψα_3(α_ω*ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1)(2) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1)(5,2) ψ(ψα(α_ω*α_2+ψα_2(α_ω*ε(α+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1,1) ψ(ψα(α_ω*α_2+ψα_3(α_ω*Ω(α+1))+ψα_2(α_ω*α_2+ψα_3(α_ω*Ω(α+1))+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,1,1)(5,2) ψ(ψα(α_ω*α_2+ψα_3(α_ω*ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,2) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α_2+α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,2,1) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α_2+Ω(α_2+1))+ψα_2(α_ω*α_2+ψα_3(α_ω*α_2+Ω(α_2+1))+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,2,1)(4,3,2) ψ(ψα(α_ω*α_2+ψα_3(α_ω*α_2+ψα_3(α_ω))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3) ψ(ψα(α_ω*α_2+α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3)(4,4) ψ(ψα(α_ω*α_2+ε(α_3+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,1) ψ(ψα(α_ω*α_2+Ω(α_3+1)+ψα_2(α_ω*α_2+Ω(α_3+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,1)(4,4,2) ψ(ψα(α_ω*α_2+ψα_4(α_ω)))
(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) ψ(ψα(α_ω*α_2+ψα_4(α_ω*α_2)))
(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+α_4))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2) ψ(ψα(α_ω*(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(2,1,1) ψ(ψα(α_ω*(α_2+1)+ψα_2(α_ω*(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(2,1,1)(3,2,2) ψ(ψα(α_ω*(α_2+1)+ψα_2(α_ω*(α_2+1)+ψα_2(α_ω))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(2,2) ψ(ψα(α_ω*(α_2+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(2,2,1) ψ(ψα(α_ω*(α_2+1)+Ω(α_2+1)+ψα_2(α_ω*(α_2+1)+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(2,2,1)(3,3,2)(4,2)(3,3,2) ψ(ψα(α_ω*(α_2+1)+ψα_3(α_ω*(α_2+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(3,2,1)(4,3,2) ψ(ψα(α_ω*(α_2+1)+ψα_3(α_ω*(α_2+1)+ψα_3(α_ω))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(3,3) ψ(ψα(α_ω*(α_2+1)+α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(3,3,2) ψ(ψα(α_ω*(α_2+2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(2) ψ(ψα(α_ω*(α_2+α)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(2,2) ψ(ψα(α_ω*(α_2+α)+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(3,3) ψ(ψα(α_ω*(α_2+α)+α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(3,3,2) ψ(ψα(α_ω*(α_2+α+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(3,3,2)(4,1)(2) ψ(ψα(α_ω*(α_2+α*2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1)(5,2) ψ(ψα(α_ω*(α_2+ε(α+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1,1) ψ(ψα(α_ω*(α_2+Ω(α+1))+ψα_2(α_ω*(α_2+Ω(α+1))+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,1,1)(5,2) ψ(ψα(α_ω*(α_2+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(3,3,2)(4,2) ψ(ψα(α_ω*α_2*2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4,1)(2) ψ(ψα(α_ω*α_2*α))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4,1,1) ψ(ψα(α_ω*α_2*Ω(α+1)+ψα_2(α_ω*α_2*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(4,2) ψ(ψα(α_ω*(α_2^2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2)(5,3) ψ(ψα(α_ω*ε(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1) ψ(ψα(α_ω*Ω(α_2+1)+ψα_2(α_ω*Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(2,2) ψ(ψα(α_ω*Ω(α_2+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(3,3,2) ψ(ψα(α_ω*(Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(3,3,2)(4,2) ψ(ψα(α_ω*(Ω(α_2+1)+α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(3,3,2)(4,2,1) ψ(ψα(α_ω*Ω(α_2+1)*2+ψα_2(α_ω*Ω(α_2+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(5,3) ψ(ψα(α_ω*ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,2,1)(5,3,2) ψ(ψα(α_ω*ψα_3(α_ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3) ψ(ψα(α_ω*α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(2,2) ψ(ψα(α_ω*α_3+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3) ψ(ψα(α_ω*α_3+α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1) ψ(ψα(α_ω*α_3+Ω(α_3+1)+ψα_2(α_ω*α_3+Ω(α_3+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2) ψ(ψα(α_ω*α_3+ψα_4(α_ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3) ψ(ψα(α_ω*α_3+ψα_4(α_ω*α_3)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(4,4) ψ(ψα(α_ω*α_3+α_4))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(4,4,2) ψ(ψα(α_ω*(α_3+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(4,4,2)(5,2) ψ(ψα(α_ω*(α_3+α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(4,4,2)(5,3) ψ(ψα(α_ω*α_3*2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(5,3) ψ(ψα(α_ω*(α_3^2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3)(6,4) ψ(ψα(α_ω*ε(α_3+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3,1) ψ(ψα(α_ω*Ω(α_3+1)+ψα_2(α_ω*Ω(α_3+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,3,1)(6,4,2) ψ(ψα(α_ω*ψα_4(α_ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,1)(4,4,2)(5,4) ψ(ψα(α_ω*α_4))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2) ψ(ψα(α_ω^2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2) ψ(ψα(α_ω^2+Ω(α+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,2,1) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,2,1)(5,3) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2+α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,1)(5,4,2) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2+ψα_3(α_ω))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,1)(5,4,2)(6,3) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2+ψα_3(α_ω*α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,1)(5,4,2)(6,3)(5,4,2) ψ(ψα(α_ω^2+ψα_2(α_ω*(α_2+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,1)(5,4,2)(6,3)(5,4,2)(6,3) ψ(ψα(α_ω^2+ψα_2(α_ω*α_2*2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,1)(5,4,2)(6,4) ψ(ψα(α_ω^2+ψα_2(α_ω*α_3)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,2) ψ(ψα(α_ω^2+ψα_2(α_ω^2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,2)(4) ψ(ψα(α_ω^2+ψα_2(α_ω^2)+1))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,2)(4,2) ψ(ψα(α_ω^2+ψα_2(α_ω^2)+ψα(α_ω^2+Ω(α+1))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,2)(4,2)(3,2,1)(4,3,2)(5,3)(4,3,2) ψ(ψα(α_ω^2+ψα_2(α_ω^2)+ψα(α_ω^2+ψα_2(α_ω^2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1)(3,2,1)(4,3,2)(5,3)(4,3,2)(4,2)(5,3) ψ(ψα(α_ω^2+ψα_2(α_ω^2)+α))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1,1) ψ(ψα(α_ω^2+ψα_2(α_ω^2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1,1)(3,1)(2) ψ(ψα(α_ω^2+ψα_2(α_ω^2+α)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1,1)(3,1,1) ψ(ψα(α_ω^2+ψα_2(α_ω^2+Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1,1)(3,2) ψ(ψα(α_ω^2+ψα_2(α_ω^2+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,1,1)(3,2,2)(4,2)(3,2,2) ψ(ψα(α_ω^2+ψα_2(α_ω^2+ψα_2(α_ω^2))))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,2) ψ(ψα(α_ω^2+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,2)(3,3) ψ(ψα(α_ω^2+ε(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,2,1) ψ(ψα(α_ω^2+Ω(α_2+1)+ψα_2(α_ω^2+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,2,1)(3,3,2) ψ(ψα(α_ω^2+ψα_3(α_ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(2,2,2) ψ(ψα(α_ω^2+α_ω))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3) ψ(ψα(α_ω^2+α_ω*ω))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1)(2) ψ(ψα(α_ω^2+α_ω*α))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1)(2,2,2) ψ(ψα(α_ω^2+α_ω*(α+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1)(4,2) ψ(ψα(α_ω^2+α_ω*ε(α+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1)(4,2,1)(5,3,2) ψ(ψα(α_ω^2+α_ω*Ω(α+1)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1) ψ(ψα(α_ω^2+α_ω*Ω(α+1)+ψα_2(α_ω^2+α_ω*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1)(2,1,1) ψ(ψα(α_ω^2+α_ω*Ω(α+1)+ψα_2(α_ω^2+α_ω*Ω(α+1)+2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1)(2,2) ψ(ψα(α_ω^2+α_ω*Ω(α+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1)(2,2,2) ψ(ψα(α_ω^2+α_ω*(Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1)(2,2,2)(3,1,1) ψ(ψα(α_ω^2+α_ω*Ω(α+1)*2+ψα_2(α_ω^2+α_ω*Ω(α+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,1,1)(4,2) ψ(ψα(α_ω^2+α_ω*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2) ψ(ψα(α_ω^2+α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,1,1) ψ(ψα(α_ω^2+α_ω*α_2+ψα_2(α_ω^2+α_ω*α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2) ψ(ψα(α_ω^2+α_ω*α_2+α_2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2) ψ(ψα(α_ω^2+α_ω*α_2+ψα_3(α_ω^2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,2) ψ(ψα(α_ω^2+α_ω*α_2+ψα_3(α_ω^2+α_ω*α_2)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,2)(3,3) ψ(ψα(α_ω^2+α_ω*α_2+α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,2)(3,3,2) ψ(ψα(α_ω^2+α_ω*(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,2)(3,3,2)(4,2) ψ(ψα(α_ω^2+α_ω*α_2*2))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,2)(5,3) ψ(ψα(α_ω^2+α_ω*ε(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,1)(3,3,2)(4,3)(3,3,2)(4,3) ψ(ψα(α_ω^2+α_ω*α_3))
(0)(1,1,1)(2,2,2)(3,2)(2,2,2)(3,2)(2,2,2) ψ(ψα(α_ω^2*2))
(0)(1,1,1)(2,2,2)(3,2)(3,1)(2) ψ(ψα(α_ω^2*α))
(0)(1,1,1)(2,2,2)(3,2)(3,1)(2,2,2) ψ(ψα(α_ω^2*α+α_ω))
(0)(1,1,1)(2,2,2)(3,2)(3,1)(2,2,2)(3,2)(2,2,2) ψ(ψα(α_ω^2*(α+1)))
(0)(1,1,1)(2,2,2)(3,2)(3,1,1) ψ(ψα(α_ω^2*Ω(α+1)+ψα_2(α_ω^2*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(3,1,1)(4,2) ψ(ψα(α_ω^2*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2)(3,2) ψ(ψα(α_ω^2*α_2))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2) ψ(ψα(α_ω^2*α_2+α_2))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2) ψ(ψα(α_ω^2*α_2+ψα_3(α_ω^2*α_2)))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(3,3,2) ψ(ψα(α_ω^2*α_2+α_ω))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(3,3,2)(4,2) ψ(ψα(α_ω^2*α_2+α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(3,3,2)(4,3) ψ(ψα(α_ω^2*α_2+α_ω*α_3))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(3,3,2)(4,3)(3,3,2) ψ(ψα(α_ω^2*(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(3,3,2)(4,3)(4,2) ψ(ψα(α_ω^2*α_2*2))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,2)(5,3) ψ(ψα(α_ω^2*ε(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,1)(3,3,2)(4,3)(4,3) ψ(ψα(α_ω^2*α_3))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,2) ψ(ψα(α_ω^3))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,2)(2,2,2) ψ(ψα(α_ω^3+α_ω))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(2,2,2)(3,2)(2,2,2) ψ(ψα(α_ω^3+α_ω^2))
(0)(1,1,1)(2,2,2)(3,2)(3,2)(3,2)(2,2,2) ψ(ψα(α_ω^4))
(0)(1,1,1)(2,2,2)(3,2)(4,1)(2) ψ(ψα(α_ω^α))
(0)(1,1,1)(2,2,2)(3,2)(4,1)(2,2,2) ψ(ψα(α_ω^α+α_ω))
(0)(1,1,1)(2,2,2)(3,2)(4,1)(2,2,2)(3,2)(4,1)(2) ψ(ψα(α_ω^α*2))
(0)(1,1,1)(2,2,2)(3,2)(4,1,1) ψ(ψα(α_ω^Ω(α+1)+ψα_2(α_ω^Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2)(4,2) ψ(ψα(α_ω^α_2))
(0)(1,1,1)(2,2,2)(3,2)(4,2)(2,2,1)(3,3,2)(4,3)(5,2)(4,3)(3,3,2) ψ(ψα(α_ω^(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2)(4,2)(2,2,1)(3,3,2)(4,3)(5,2)(4,3)(5,2) ψ(ψα(α_ω^(α_2*2)))
(0)(1,1,1)(2,2,2)(3,2)(4,2)(2,2,1)(3,3,2)(4,3)(5,3) ψ(ψα(α_ω^α_3))
(0)(1,1,1)(2,2,2)(3,2)(4,2)(2,2,2) ψ(ψα(α_ω^α_ω))
(0)(1,1,1)(2,2,2)(3,2)(4,3) ψ(ψα(ε(α_ω+1)))=ψ(ψα(Ω(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2)(4,3)(4,3) ψ(ψα(Ω(α_ω+1))*2)
(0)(1,1,1)(2,2,2)(3,2)(4,3,1)(5,4,2) ψ(ψα(Ω(α_ω+1)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+1)+ψα_2(Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,1)(3,2,1)(4,3,2)(5,3,1) ψ(ψα(Ω(α_ω+1)+ψα_2(Ω(α_ω+1)+1)*2))
(0)(1,1,1)(2,2,2)(3,2,1)(2,1,1) ψ(ψα(Ω(α_ω+1)+ψα_2(Ω(α_ω+1)+2)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,1,1)(3,1,1) ψ(ψα(Ω(α_ω+1)+ψα_2(Ω(α_ω+1)+Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,1,1)(3,2) ψ(ψα(Ω(α_ω+1)+ψα_2(Ω(α_ω+1)+ψα_2(α_2))))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2) ψ(ψα(Ω(α_ω+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1) ψ(ψα(Ω(α_ω+1)+Ω(α_2+1)+ψα_2(Ω(α_ω+1)+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3)(3,3,2) ψ(ψα(Ω(α_ω+1)+ψα_3(α_ω^2)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,1) ψ(ψα(Ω(α_ω+1)+ψα_3(Ω(α_ω+1))+ψα_2(Ω(α_ω+1)+ψα_3(Ω(α_ω+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2) ψ(ψα(Ω(α_ω+1)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2)(3,2) ψ(ψα(Ω(α_ω+1)+α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)+α_ω^2))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2)(3,2)(4,3) ψ(ψα(Ω(α_ω+1)+ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+1)*2+ψα_2(Ω(α_ω+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1)(2) ψ(ψα(Ω(α_ω+1)*α))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1) ψ(ψα(Ω(α_ω+1)*Ω(α+1)+ψα_2(Ω(α_ω+1)*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(2,2) ψ(ψα(Ω(α_ω+1)*Ω(α+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(2,2,2) ψ(ψα(Ω(α_ω+1)*Ω(α+1)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+1)*(Ω(α+1)+1)+ψα_2(Ω(α_ω+1)*(Ω(α+1)+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(3) ψ(ψα(Ω(α_ω+1)*Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(3,1)(2) ψ(ψα(Ω(α_ω+1)*Ω(α+1)*α))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(3,1,1) ψ(ψα(Ω(α_ω+1)*(Ω(α+1)^2)+ψα_2(Ω(α_ω+1)*(Ω(α+1)^2)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(4,1)(2) ψ(ψα(Ω(α_ω+1)*(Ω(α+1)^α)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,1,1)(4,2) ψ(ψα(Ω(α_ω+1)*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2) ψ(ψα(Ω(α_ω+1)*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2) ψ(ψα(Ω(α_ω+1)*α_2+ψα_3(Ω(α_ω+1)*α_2)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3) ψ(ψα(Ω(α_ω+1)*α_2+α_3))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3,2) ψ(ψα(Ω(α_ω+1)*α_2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3)(3,3,2) ψ(ψα(Ω(α_ω+1)*α_2+α_ω^2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3)(5,4) ψ(ψα(Ω(α_ω+1)*α_2+ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3,1) ψ(ψα(Ω(α_ω+1)*(α_2+1)+ψα_2(Ω(α_ω+1)*(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3,1)(4,2) ψ(ψα(Ω(α_ω+1)*α_2*2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,3) ψ(ψα(Ω(α_ω+1)*α_3))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)*α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2)(2,2,2) ψ(ψα(Ω(α_ω+1)*α_ω+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)*α_ω+α_ω^2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+1)*(α_ω+1)+ψα_2(Ω(α_ω+1)*(α_ω+1)+1))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2,1)(3,2) ψ(ψα(Ω(α_ω+1)*(α_ω+α_2)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2,1)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)*(α_ω*2)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(3,2) ψ(ψα(Ω(α_ω+1)*α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)*(α_ω^2)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2)(4,3) ψ(ψα(Ω(α_ω+1)*ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1) ψ(ψα(Ω(α_ω+1)^2+ψα_2(Ω(α_ω+1)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+1)^2+Ω(α_ω+1)+ψα_2(Ω(α_ω+1)^2+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)(3,2) ψ(ψα(Ω(α_ω+1)^2*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,1)(4,3,1)(4,3) ψ(ψα(Ω(α_ω+1)^2*α_3))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+1)^2*α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(3,2,1)(3,2,1) ψ(ψα(Ω(α_ω+1)^3+ψα_2(Ω(α_ω+1)^3+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,1)(2) ψ(ψα(Ω(α_ω+1)^α))
(0)(1,1,1)(2,2,2)(3,2,1)(4,1,1) ψ(ψα(Ω(α_ω+1)^Ω(α+1)+ψα_2(Ω(α_ω+1)^Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,1,1)(5,2) ψ(ψα(Ω(α_ω+1)^ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,2) ψ(ψα(Ω(α_ω+1)^α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,2)(2,2,2) ψ(ψα(Ω(α_ω+1)^α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,2)(5,3) ψ(ψα(Ω(α_ω+1)^ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,2,1) ψ(ψα(Ω(α_ω+1)^Ω(α_ω+1)+ψα_2(Ω(α_ω+1)^Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3) ψ(ψα(ε(Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3)(4,3) ψ(ψα(ε(Ω(α_ω+1)+2)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3)(5,4,1) ψ(ψα(Ω(α_ω+2)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3)(5,4,1)(6,5,2) ψ(ψα(Ω(α_ω+2)+ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1) ψ(ψα(Ω(α_ω+2)+ψα_2(Ω(α_ω+2)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(2,2) ψ(ψα(Ω(α_ω+2)+α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(2,2,2) ψ(ψα(Ω(α_ω+2)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_ω+2)+Ω(α_ω+1)+ψα_2(Ω(α_ω+2)+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(2,2,2)(3,2,1)(4,3) ψ(ψα(Ω(α_ω+2)+ε(Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(2,2,2)(3,2,1)(4,3,1) ψ(ψα(Ω(α_ω+2)*2+ψα_2(Ω(α_ω+2)*2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(3,1)(2) ψ(ψα(Ω(α_ω+2)*α))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(3,2) ψ(ψα(Ω(α_ω+2)*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(3,2)(2,2,2) ψ(ψα(Ω(α_ω+2)*α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(3,2,1) ψ(ψα(Ω(α_ω+2)*Ω(α_ω+1)+ψα_2(Ω(α_ω+2)*Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(3,2,1)(4,3,1) ψ(ψα(Ω(α_ω+2)^2+ψα_2(Ω(α_ω+2)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(4,2)(2,2,2) ψ(ψα(Ω(α_ω+2)^α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(4,2,1)(5,3,1) ψ(ψα(Ω(α_ω+2)^^2+ψα_2(Ω(α_ω+2)^^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(4,3) ψ(ψα(ε(Ω(α_ω+2)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(4,3,1) ψ(ψα(Ω(α_ω+3)+ψα_2(Ω(α_ω+3)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5) ψ(ψα(Ω(α_ω+ω)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,2) ψ(ψα(Ω(α_ω+α_2)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,2)(2,2,2) ψ(ψα(Ω(α_ω*2)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,2,1) ψ(ψα(Ω(Ω(α_ω+1))+ψα_2(Ω(Ω(α_ω+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3) ψ(ψα(OFP(α_ω+1)))=ψ(ψα(Ω(α_{ω+1}+1)*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1) ψ(ψα(Ω(α_{ω+1}+1)^2+ψα_2(Ω(α_{ω+1}+1)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(2,2,2) ψ(ψα(Ω(α_{ω+1}+1)^2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(2,2,2)(3,2,1) ψ(ψα(Ω(α_{ω+1}+1)^2+Ω(α_ω+1)+ψα_2(Ω(α_{ω+1}+1)^2+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(2,2,2)(3,2,1)(4,3,1)(5) ψ(ψα(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(3) ψ(ψα(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(3,2)(2,2,2) ψ(ψα(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2+α_ω)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(3,2,1)(4,3,1)(5,3,1) ψ(ψα(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2))+ψα_2(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2+ψα_{ω+1}(Ω(α_{ω+1}+1)^2)))+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(4,3) ψ(ψα(Ω(α_{ω+1}+1)^2+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(4,3,1) ψ(ψα(Ω(α_{ω+1}+1)^2+Ω(α_{ω+1}+1)+ψα_2(Ω(α_{ω+1}+1)^2+Ω(α_{ω+1}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(4,3,1)(5,3,1) ψ(ψα(Ω(α_{ω+1}+1)^2*2+ψα_2(Ω(α_{ω+1}+1)^2*2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(5,3) ψ(ψα(Ω(α_{ω+1}+1)^2*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(6) ψ(ψα(Ω(α_{ω+1}+1)^ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(6,2)(2,2,2) ψ(ψα(Ω(α_{ω+1}+1)^α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,3,1)(6,3,1) ψ(ψα(Ω(α_{ω+1}+1)^^2+ψα_2(Ω(α_{ω+1}+1)^^2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,4) ψ(ψα(α_{ω+2}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,1)(5,4,1) ψ(ψα(Ω(α_{ω+2}+1)+ψα_2(Ω(α_{ω+2}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2) ψ(ψα(α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(2,2,2)(3,2,1)(4,3,2) ψ(ψα(α_{ω*2}+ψα_{ω+1}(α_{ω*2})))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(4,3) ψ(ψα(α_{ω*2}+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(4,3,2) ψ(ψα(α_{ω*2}*2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,2) ψ(ψα(α_{ω*2}*α_2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,2)(2,2,2) ψ(ψα(α_{ω*2}*α_ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,2)(4,3,2) ψ(ψα(α_{ω*2}*(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,2,1) ψ(ψα(α_{ω*2}*Ω(α_ω+1)+ψα_2(α_{ω*2}*Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3) ψ(ψα(α_{ω*2}*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3)(4,3,2) ψ(ψα(α_{ω*2}^2))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3)(6) ψ(ψα(α_{ω*2}^ω))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3)(6,4) ψ(ψα(ε(α_{ω*2}+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1) ψ(ψα(Ω(α_{ω*2}+1)+ψα_2(Ω(α_{ω*2}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(4,3,2) ψ(ψα(Ω(α_{ω*2}+1)+α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(4,3,2)(5,3,1) ψ(ψα(Ω(α_{ω*2}+1)*2+ψα_2(Ω(α_{ω*2}+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4) ψ(ψα(α_{ω*2+1}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4,1) ψ(ψα(Ω(α_{ω*2+1}+1)+ψα_2(Ω(α_{ω*2+1}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4,1)(7,5) ψ(ψα(α_{ω*2+2}))
(0)(1,1,1)(2,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4,2) ψ(ψα(α_{ω*3}))
(0)(1,1,1)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,1,1) ψ(ψα(α_{ω^2}+ψα_2(α_{ω^2}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,1,1)(3,2,2)(4,2,2) ψ(ψα(α_{ω^2}+ψα_2(α_{ω^2}+ψα_2(α_{ω^2}))))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2) ψ(ψα(α_{ω^2}+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,1)(3,3,2)(4,3,2) ψ(ψα(α_{ω^2}+ψα_3(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,1)(3,3,2)(4,3,2)(3,3) ψ(ψα(α_{ω^2}+α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2) ψ(ψα(α_{ω^2}+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,1)(2) ψ(ψα(α_{ω^2}+α_ω*α))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2)(2,2,2) ψ(ψα(α_{ω^2}+α_ω^2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2)(4,3,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2)(4,3,1)(5,4,2)(6,4,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_2(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,1,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)+2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,1,1)(3,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)+ψα_2(α_ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+Ω(α_2+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)+Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,1)(3,3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_3(α_3)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+ψα_3(α_{ω^2}+Ω(α_ω+1))+ψα_2(α_{ω^2}+Ω(α_ω+1)+ψα_3(α_{ω^2}+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(3,3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,2)(3,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)+α_ω*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,2)(3,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*2+ψα_2(α_{ω^2}+Ω(α_ω+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,2)(3,2,1)(2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*2+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(2,2,2)(3,2,1)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,1)(2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,1,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*Ω(α+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,1,1)(4,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,2)(3,3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_2+α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,2)(3,3,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*(α_2+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)*(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,2)(3,3,2)(4,3,1)(4,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_2*2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,2)(4,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*(α_2^2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,1)(3,3,2)(4,3,2)(3,3,2)(4,3,1)(4,3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*(α_ω+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)*(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(2,2,2)(3,2,1)(3,2)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*α_ω*2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(3,2)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*(α_ω^2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2)(4,3) ψ(ψα(α_{ω^2}+Ω(α_ω+1)*ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(3,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)^2+ψα_2(α_{ω^2}+Ω(α_ω+1)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,2)(2,2,2) ψ(ψα(α_{ω^2}+Ω(α_ω+1)^α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,2,1) ψ(ψα(α_{ω^2}+Ω(α_ω+1)^Ω(α_ω+1)+ψα_2(α_{ω^2}+Ω(α_ω+1)^Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω+1})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3)(4,3) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω+1}*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,1) ψ(ψα(α_{ω^2}+ψα_{ω+1}(Ω(α_{ω+1}+1))+ψα_2(α_{ω^2}+ψα_{ω+1}(Ω(α_{ω+1}+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω*2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(3) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω^2}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2}+ψα_{ω+1}(α_{ω^2}+ψα_{ω+1}(α_{ω^2}))))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3) ψ(ψα(α_{ω^2}+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3)(5,4,1) ψ(ψα(α_{ω^2}+Ω(α_{ω+1}+1)+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1) ψ(ψα(α_{ω^2}+Ω(α_{ω+1}+1)+ψα_2(α_{ω^2}+Ω(α_{ω+1}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1)(4,3) ψ(ψα(α_{ω^2}+Ω(α_{ω+1}+1)+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1)(5) ψ(ψα(α_{ω^2}+Ω(α_{ω+1}+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1)(5,4) ψ(ψα(α_{ω^2}+ψα_{ω+2}(α_{ω+2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1)(5,4,2)(6,4,2) ψ(ψα(α_{ω^2}+ψα_{ω+2}(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,1)(5,4,2)(6,4,2)(5,4) ψ(ψα(α_{ω^2}+α_{ω+2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2) ψ(ψα(α_{ω^2}+α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(4,3) ψ(ψα(α_{ω^2}+α_{ω*2}+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(4,3,2) ψ(ψα(α_{ω^2}+α_{ω*2}*2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,2) ψ(ψα(α_{ω^2}+α_{ω*2}*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,2)(2,2,2) ψ(ψα(α_{ω^2}+α_{ω*2}*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3) ψ(ψα(α_{ω^2}+α_{ω*2}*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3)(4,3,1)(5,4,2)(6,4,2)(5,4,2)(6,4) ψ(ψα(α_{ω^2}+α_{ω*2}*α_{ω+2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3)(4,3,2) ψ(ψα(α_{ω^2}+α_{ω*2}^2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3)(6,4) ψ(ψα(α_{ω^2}+ε(α_{ω*2}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1) ψ(ψα(α_{ω^2}+Ω(α_{ω*2}+1)+ψα_2(α_{ω^2}+Ω(α_{ω*2}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(4,3,2) ψ(ψα(α_{ω^2}+Ω(α_{ω*2}+1)+α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(5) ψ(ψα(α_{ω^2}+Ω(α_{ω*2}+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(6,4) ψ(ψα(α_{ω^2}+ψα_{ω*2+1}(α_{ω*2+1})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(6,4,2)(7,4,2) ψ(ψα(α_{ω^2}+ψα_{ω*2+1}(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(6,4,2)(7,4,2)(6,4) ψ(ψα(α_{ω^2}+α_{ω*2+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,1)(6,4,2)(7,4,2)(6,4,2) ψ(ψα(α_{ω^2}+α_{ω*3}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}*2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,1,1) ψ(ψα(α_{ω^2}*2+ψα_2(α_{ω^2}*2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2) ψ(ψα(α_{ω^2}*2+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2) ψ(ψα(α_{ω^2}*2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3) ψ(ψα(α_{ω^2}*2+ψα_{ω+1}(α_{ω+1})))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2}*2+ψα_{ω+1}(α_{ω^2}*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,2)(4,3) ψ(ψα(α_{ω^2}*2+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(4,3,2)(5,3,2)(4,3,2) ψ(ψα(α_{ω^2}*2+α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(2,2,2)(3,2,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}*3))
(0)(1,1,1)(2,2,2)(3,2,2)(3) ψ(ψα(α_{ω^2}*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,1)(2) ψ(ψα(α_{ω^2}*α))
(0)(1,1,1)(2,2,2)(3,2,2)(3,1,1) ψ(ψα(α_{ω^2}*Ω(α+1)+ψα_2(α_{ω^2}*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2) ψ(ψα(α_{ω^2}*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2) ψ(ψα(α_{ω^2}*α_2+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2) ψ(ψα(α_{ω^2}*α_2+ψα_3(α_{ω^2}*α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2)(3,3) ψ(ψα(α_{ω^2}*α_2+α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2)(3,3,2) ψ(ψα(α_{ω^2}*α_2+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2)(3,3,2)(4,3,2) ψ(ψα(α_{ω^2}*(α_2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2)(3,3,2)(4,3,2)(4,2) ψ(ψα(α_{ω^2}*α_2*2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,2,1) ψ(ψα(α_{ω^2}*Ω(α_2+1)+ψα_2(α_{ω^2}*Ω(α_2+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,1)(3,3,2)(4,3,2)(4,3) ψ(ψα(α_{ω^2}*α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2) ψ(ψα(α_{ω^2}*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(2,2,2) ψ(ψα(α_{ω^2}*α_ω+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1) ψ(ψα(α_{ω^2}*α_ω+Ω(α_ω+1)+ψα_2(α_{ω^2}*α_ω+Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2}*α_ω+ψα_{ω+1}(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(2,2,2) ψ(ψα(α_{ω^2}*α_ω+ψα_{ω+1}(α_{ω^2}*α_ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(4,3) ψ(ψα(α_{ω^2}*α_ω+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(4,3,2) ψ(ψα(α_{ω^2}*α_ω+α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2}*(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(4,3,2)(5,3,2)(5,2)(2,2,2) ψ(ψα(α_{ω^2}*α_ω*2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2)(6,3) ψ(ψα(α_{ω^2}*ε(α_ω+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2,1) ψ(ψα(α_{ω^2}*Ω(α_ω+1)+ψα_2(α_{ω^2}*Ω(α_ω+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,2,1)(6,3,2)(7,3,2) ψ(ψα(α_{ω^2}*ψα_{ω+1}(α_{ω^2})))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3) ψ(ψα(α_{ω^2}*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3)(4,3,2) ψ(ψα(α_{ω^2}*α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}^2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}^2+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2) ψ(ψα(α_{ω^2}^2+α_{ω^2}*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2)(2,2,2) ψ(ψα(α_{ω^2}^2+α_{ω^2}*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3)(4,3,2)(5,3,2)(5,3) ψ(ψα(α_{ω^2}^2+α_{ω^2}*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3)(4,3,2)(5,3,2)(5,3)(4,3,2) ψ(ψα(α_{ω^2}^2+α_{ω^2}*α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}^2*2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(3,1)(2) ψ(ψα(α_{ω^2}^2*α))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(3,2) ψ(ψα(α_{ω^2}^2*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}^3))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4) ψ(ψα(α_{ω^2}^ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4,2) ψ(ψα(α_{ω^2}^α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4,2)(2,2,2) ψ(ψα(α_{ω^2}^α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3)(6,3)(4,3,2) ψ(ψα(α_{ω^2}^α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^2}^α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2)(4,3) ψ(ψα(Ω(α_{ω^2}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1) ψ(ψα(Ω(α_{ω^2}+1)+ψα_2(Ω(α_{ω^2}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2) ψ(ψα(Ω(α_{ω^2}+1)+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2,2) ψ(ψα(Ω(α_{ω^2}+1)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)+α_{ω^2}^2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2,2)(3,2,2)(3,2)(4,3,1) ψ(ψα(Ω(α_{ω^2}+1)*2+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(2,2,2)(3,2,2)(3,2,1) ψ(ψα(Ω(α_{ω^2}+1)*2+ψα_2(Ω(α_{ω^2}+1)*2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2) ψ(ψα(Ω(α_{ω^2}+1)*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2)(2,2,2) ψ(ψα(Ω(α_{ω^2}+1)*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)*α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2)(2,2,2)(3,2,2)(3,2,1)(3,2) ψ(ψα(Ω(α_{ω^2}+1)*(α_{ω^2}+α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2)(4,3) ψ(ψα(Ω(α_{ω^2}+1)^2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2,1) ψ(ψα(Ω(α_{ω^2}+1)^2+ψα_2(Ω(α_{ω^2}+1)^2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2,1)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)^2+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2,1)(3,2) ψ(ψα(Ω(α_{ω^2}+1)^2*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(3,2,1)(3,2,1) ψ(ψα(Ω(α_{ω^2}+1)^3+ψα_2(Ω(α_{ω^2}+1)^3+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2) ψ(ψα(Ω(α_{ω^2}+1)^α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2)(2,2,2) ψ(ψα(Ω(α_{ω^2}+1)^α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,1)(6,3)(4,3,2) ψ(ψα(Ω(α_{ω^2}+1)^α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)^α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2)(3,2,1)(4,2)(2,2,2)(3,2,2) ψ(ψα(Ω(α_{ω^2}+1)^(α_{ω^2}*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2)(5,3) ψ(ψα(Ω(α_{ω^2}+1)^ε(α_{ω^2}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,2,1) ψ(ψα(Ω(α_{ω^2}+1)^Ω(α_{ω^2}+1)+ψα_2(Ω(α_{ω^2}+1)^Ω(α_{ω^2}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3) ψ(ψα(α_{ω^2+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,1) ψ(ψα(Ω(α_{ω^2+1}+1)+ψα_2(Ω(α_{ω^2+1}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2) ψ(ψα(α_{ω^2+ω}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(4,3,2) ψ(ψα(α_{ω^2+ω}*2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3) ψ(ψα(α_{ω^2+ω}*α_{ω^2+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3)(4,3,2) ψ(ψα(α_{ω^2+ω}^2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3)(6,4) ψ(ψα(ε(α_{ω^2+ω}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,1) ψ(ψα(Ω(α_{ω^2+ω}+1)+ψα_2(Ω(α_{ω^2+ω}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,1)(6,4,2) ψ(ψα(α_{ω^2+ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(α_{ω^2*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2) ψ(ψα(α_{ω^3}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^3}+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,2)(4,3,2) ψ(ψα(α_{ω^3}+α_{ω^2+ω}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,2)(4,3,2)(5,3,2) ψ(ψα(α_{ω^3}+α_{ω^2*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(2,2,2)(3,2,2)(3,2,2) ψ(ψα(α_{ω^3}*2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(α_{ω^3}*α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,2)(5,3) ψ(ψα(α_{ω^3}*α_{ω^2+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,2)(5,3)(4,3,2)(5,3,2) ψ(ψα(α_{ω^3}*α_{ω^2*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(3,2,2) ψ(ψα(α_{ω^3}^2))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2)(4,3) ψ(ψα(ε(α_{ω^3}+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2,1) ψ(ψα(Ω(α_{ω^3}+1)+ψα_2(Ω(α_{ω^3}+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(5,3,2) ψ(ψα(α_{ω^3*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(3,2,2)(3,2,2) ψ(ψα(α_{ω^4}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2) ψ(ψα(α_α))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2,1,1)(3,2,2)(4,2,2)(5,1)(2) ψ(ψα(α_α+ψα_2(α_α)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2,2) ψ(ψα(α_α+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2,2,2) ψ(ψα(α_α+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(2,2,2)(3,2,2)(4,1)(2) ψ(ψα(α_α*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(3,2,1) ψ(ψα(Ω(α_α+1)+ψα_2(Ω(α_α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(3,2,1)(4,3,2) ψ(ψα(α_{α+ω}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(3,2,1)(4,3,2)(5,3,2)(6,1)(2) ψ(ψα(α_{α*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(3,2,2) ψ(ψα(α_{α*ω}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(3,2,2)(4,1)(2) ψ(ψα(α_{α^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1)(5,2) ψ(ψα(α_ε(α+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1,1) ψ(ψα(α_Ω(α+1)+ψα_2(α_Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,1,1)(5,2,2) ψ(ψα(α_ψα_2(α_ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2) ψ(ψα(α_α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,1)(3,3,2)(4,3,2)(5,2)(4,3,2) ψ(ψα(α_{α_2*ω}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,1)(3,3,2)(4,3,2)(5,3) ψ(ψα(α_α_3))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2) ψ(ψα(α_α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(2,2,2) ψ(ψα(α_α_ω+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2) ψ(ψα(α_α_ω+ψα_{ω+1}(α_{ω*2})))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,2) ψ(ψα(α_α_ω+ψα_{ω+1}(α_α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(2,2,2) ψ(ψα(α_α_ω+ψα_{ω+1}(α_α_ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(4,3) ψ(ψα(α_α_ω+α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(4,3,2)(5,3,2)(6,2) ψ(ψα(α_α_ω+α_α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(4,3,2)(5,3,2)(6,2)(2,2,2) ψ(ψα(α_α_ω*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3) ψ(ψα(α_α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(4,3,2) ψ(ψα(α_α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,2) ψ(ψα(α_α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(2,2,2)(3,2,2)(4,2) ψ(ψα(α_α_α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(αfp))=ψ(ψα(ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)(2,2,2) ψ(ψα(ψβ(α(β+1)*β)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)(2,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β)+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β)*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3)(3) ψ(ψα(ψβ(α(β+1)*β)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,1)(2) ψ(ψα(ψβ(α(β+1)*β)*α))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,1,1) ψ(ψα(ψβ(α(β+1)*β)*Ω(α+1)+ψα_2(ψβ(α(β+1)*β)*Ω(α+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,1,1)(4,2) ψ(ψα(ψβ(α(β+1)*β)*ψα_2(α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2) ψ(ψα(ψβ(α(β+1)*β)*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(2,2,2) ψ(ψα(ψβ(α(β+1)*β)*α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β)^2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(3,2) ψ(ψα(ψβ(α(β+1)*β)^2*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(3,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β)^3))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(4,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β)^^2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)*β+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1) ψ(ψα(ψβ(α(β+1)*β+Ω(β+1))+ψα_2(ψβ(α(β+1)*β+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(2,2,2)(3,2,2)(4,2)(3,2,1) ψ(ψα(ψβ(α(β+1)*β+Ω(β+1))*2+ψα_2(ψβ(α(β+1)*β+Ω(β+1))*2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(3,2,1) ψ(ψα(ψβ(α(β+1)*β+Ω(β+1))^2+ψα_2(ψβ(α(β+1)*β+Ω(β+1))^2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3) ψ(ψα(ψβ(α(β+1)*β+Ω(β+1)+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)*(β+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(4,3,2) ψ(ψα(ψβ(α(β+1)*(β+ω))*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3)(6,4) ψ(ψα(ψβ(α(β+1)*(β+ω)+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(ψβ(α(β+1)*(β+ω^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,1)(2) ψ(ψα(ψβ(α(β+1)*(β+α))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,2) ψ(ψα(ψβ(α(β+1)*(β+α_2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(2,2,2) ψ(ψα(ψβ(α(β+1)*(β+α_ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*(β+ψβ(α(β+1)*β)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3) ψ(ψα(ψβ(α(β+1)*(β+ψβ(α(β+1)*(β+1))))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(4,3,2) ψ(ψα(ψβ(α(β+1)*(β+ψβ(α(β+1)*(β+ω))))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(α(β+1)*β*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β*ω)+ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(2,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(5,3,2)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(α(β+1)*β*ω)+ψβ(α(β+1)*β*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(2,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*ω)*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2)(2,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*ω)^2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)*β*ω+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2,1) ψ(ψα(ψβ(α(β+1)*β*ω+Ω(β+1))+ψα_2(ψβ(α(β+1)*β*ω+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)*(β*ω+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(α(β+1)*β*(ω+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*(ω^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,1)(2) ψ(ψα(ψβ(α(β+1)*β*α)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,1)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*α*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2) ψ(ψα(ψβ(α(β+1)*β*α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(2,2,2) ψ(ψα(ψβ(α(β+1)*β*α_ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*β*ψβ(α(β+1)*β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(2,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*β*ψβ(α(β+1)*β*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*(β^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)*(β^2)+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)*(β^2+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)*(β^2)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*(β^3))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*(β^β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)*Ω(β+1))+ψα_2(ψβ(α(β+1)*Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(2,2) ψ(ψα(ψβ(α(β+1)*Ω(β+1))+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(2,2,2) ψ(ψα(ψβ(α(β+1)*Ω(β+1))+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*Ω(β+1))+ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(2,2,2)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)*Ω(β+1))*2+ψα_2(ψβ(α(β+1)*Ω(β+1))*2+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)*Ω(β+1)+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,1) ψ(ψα(ψβ(α(β+1)*Ω(β+1)+Ω(β+1))+ψα_2(ψβ(α(β+1)*Ω(β+1)+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)*(Ω(β+1)+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,1)(4,3,2)(5,3,2)(6,3,1) ψ(ψα(ψβ(α(β+1)*Ω(β+1)*2)+ψα_2(ψβ(α(β+1)*Ω(β+1)*2)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,2) ψ(ψα(ψβ(α(β+1)*Ω(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)*Ω(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)*(Ω(β+1)^2))+ψα_2(ψβ(α(β+1)*(Ω(β+1)^2))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(4,2)(3) ψ(ψα(ψβ(α(β+1)*(Ω(β+1)^β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3) ψ(ψα(ψβ(α(β+1)*ε(Ω(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,1)(6) ψ(ψα(ψβ(α(β+1)*Ω(β+ω))))=ψ(ψα(ψβ(α(β+1)^2+Ω(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(5,3,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ω)*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*(ω^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2+α(β+1)*α_2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,2)(3) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ψβ(α(β+1)^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ψβ(α(β+1)^2+α(β+1)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3)(5,3,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ψβ(α(β+1)^2+α(β+1)*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3)(6) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3)(6,3,2) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*β*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3)(8,4) ψ(ψα(ψβ(α(β+1)^2+α(β+1)*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,1)(8,4,2) ψ(ψα(ψβ(α(β+1)^2*2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2) ψ(ψα(ψβ(α(β+1)^2*ω)+α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)+α_ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)*Ω(β+1))+ψα_2(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)*Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2+α(β+1)*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(3) ψ(ψα(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2*ω))*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(3,2,1)(4,3,2)(5,3,2)(6,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2*ω)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)^2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)^2)*ω))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(5,3) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)^2+α(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(5,3,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψβ(α(β+1)^2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(5,3,2)(6,3,2)(7,3,1)(8,4,2)(9,4,2)(10,4,2) ψ(ψα(ψβ(α(β+1)^2*ω)+ψ_{ψβ(α(β+1)^2*2)}(ψβ(α(β+1)^2*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2) ψ(ψα(ψβ(α(β+1)^2*ω)*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)*α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^2*ω)*ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)*ψβ(α(β+1)*β*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(6,2) ψ(ψα(ψβ(α(β+1)^2*ω)*ψ_{ψβ(α(β+1)^2)}(ψβ(α(β+1)^2*α_2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(6,2)(3) ψ(ψα(ψβ(α(β+1)^2*ω)*ψβ(α(β+1)^2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(6,3) ψ(ψα(ψβ(α(β+1)^2*ω)*ψβ(α(β+1)^2+α(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(6,3)(5,3,2) ψ(ψα(ψβ(α(β+1)^2*ω)*ψβ(α(β+1)^2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)^2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(3,2) ψ(ψα(ψβ(α(β+1)^2*ω)^2*α_2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(3,2)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^2*ω)^3))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)^2*ω+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1) ψ(ψα(ψβ(α(β+1)^2*ω+Ω(β+1))+ψα_2(ψβ(α(β+1)^2*ω+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1)(4,3) ψ(ψα(ψβ(α(β+1)^2*ω+ε(Ω(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)^2*ω+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(α(β+1)^2*ω+α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3,1)(7,4,2) ψ(ψα(ψβ(α(β+1)^2*(ω+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,1)(4,3,2)(5,3,2)(6,3,2) ψ(ψα(ψβ(α(β+1)^2*ω*2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*(ω^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2) ψ(ψα(ψβ(α(β+1)^2*α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^2*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)^2*β+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)^2*β+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2,1)(4,3,2)(5,3,2)(6,3,2) ψ(ψα(ψβ(α(β+1)^2*(β+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*β*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^2*(β^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)^2*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^2*Ω(β+1))+ψα_2(ψβ(α(β+1)^2*Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(3) ψ(ψα(ψβ(α(β+1)^2*Ω(β+1)+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)^2*Ω(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(3,2,2) ψ(ψα(ψβ(α(β+1)^2*Ω(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(3,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^2*(Ω(β+1)^2))+ψα_2(ψβ(α(β+1)^2*(Ω(β+1)^2))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(5,3) ψ(ψα(ψβ(α(β+1)^2*ε(Ω(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^3+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2) ψ(ψα(ψβ(α(β+1)^3+α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^3*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4) ψ(ψα(ψβ(α(β+1)^ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(2) ψ(ψα(ψβ(α(β+1)^α)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)^α+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2,2) ψ(ψα(ψβ(α(β+1)^α*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2,2)(4,2) ψ(ψα(ψβ(α(β+1)^α*α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^α*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(α+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(3,2,2)(4,2,2)(4,1)(2) ψ(ψα(ψβ(α(β+1)^(α*2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,1)(5,2) ψ(ψα(ψβ(α(β+1)^ε(α+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2) ψ(ψα(ψβ(α(β+1)^α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(2,2,2) ψ(ψα(ψβ(α(β+1)^α_ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^ψβ(α(β+1)*β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(2,2,2)(3,2,2)(4,2,2)(4,2) ψ(ψα(ψβ(α(β+1)^ψβ(α(β+1)^α_2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)^β+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^β*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^β*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)^β*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2)(4,1)(2) ψ(ψα(ψβ(α(β+1)^(β+α))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2)(4,2) ψ(ψα(ψβ(α(β+1)^(β+α_2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(β*2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^β^2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)^ε(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^Ω(β+1))+ψα_2(ψβ(α(β+1)^Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)^Ω(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(3,2,2) ψ(ψα(ψβ(α(β+1)^Ω(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(Ω(β+1)+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(3,2,2)(4,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^(Ω(β+1)*2))+ψα_2(ψβ(α(β+1)^(Ω(β+1)*2))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(Ω(β+1)*β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3) ψ(ψα(ψβ(α(β+1)^ε(Ω(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)^ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,2) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)^α_2)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,2)(3) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)^ψβ(α(β+1)^α(β+1)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,3) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)^ψβ(α(β+1)^α(β+1)+α(β+1)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,3)(6) ψ(ψα(ψβ(α(β+1)^α(β+1)+α(β+1)^β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,3,1)(8,4,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,2)(4) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)+ψβ(α(β+1)^ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,3,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)+ψ_{ψβ(α(β+1)^α(β+1))}(ψβ(α(β+1)^α(β+1)*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2)(6,3,2)(7,3,2)(7,3,2)(3,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)+ψβ(α(β+1)^α(β+1))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(2,2,2)(3,2,2)(4,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)*2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2)(2,2,2)(3,2,2)(4,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω)^2))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2)(4,3) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω+β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*ω+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)*(ω^2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4) ψ(ψα(ψβ(α(β+1)^(α(β+1)+ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)+β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2)(5,3) ψ(ψα(ψβ(α(β+1)^(α(β+1)+ε(β+1)))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2,1) ψ(ψα(ψβ(α(β+1)^(α(β+1)+Ω(β+1))+ψα_2(ψβ(α(β+1)^(α(β+1)+Ω(β+1)))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)*2)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(3,2,2)(4,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)*2)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4) ψ(ψα(ψβ(α(β+1)^(α(β+1)*ω))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,1)(2) ψ(ψα(ψβ(α(β+1)^(α(β+1)*α))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β)*β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β+β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3,2,2)(4,2,2)(4,2,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)*β*2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(4,2,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5) ψ(ψα(ψβ(α(β+1)^α(β+1)^ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(3) ψ(ψα(ψβ(α(β+1)^α(β+1)^β)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(3,2,2)(4,2,2)(5,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)^β*2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(4,2)(3) ψ(ψα(ψβ(α(β+1)^(α(β+1)^β*β))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(4,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)^(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2)(4,2,2)(5,2)(3) ψ(ψα(ψβ(α(β+1)^α(β+1)^(β*2))))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,1) ψ(ψα(ψβ(α(β+1)^α(β+1)^Ω(β+1)+ψα_2(ψβ(α(β+1)^α(β+1)^Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)^α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2,2)(5,2,2)(6,2,2) ψ(ψα(ψβ(α(β+1)^α(β+1)^α(β+1)^α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3) ψ(ψα(ψβ(ε(α(β+1)+1))))=ψ(ψα(ψβ(β_2)))
(0)(1,1,1)(2,2,2)(3,3)(1,1,1)(2,2,2)(3,3) ψ(ψα(ψβ(β_2))*2)
(0)(1,1,1)(2,2,2)(3,3)(2,2) ψ(ψα(ψβ(β_2)+α_2))
(0)(1,1,1)(2,2,2)(3,3)(2,2,1)(3,3,2)(4,4) ψ(ψα(ψβ(β_2)+ψα_3(ψβ(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(2,2,1)(3,3,2)(4,4)(3,3) ψ(ψα(ψβ(β_2)+α_3))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2) ψ(ψα(ψβ(β_2)+α_ω))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2) ψ(ψα(ψβ(β_2)+α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4) ψ(ψα(ψβ(β_2)+ψ_{ψβ(α(β+1)^2)}(ψβ(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(3,2,2) ψ(ψα(ψβ(β_2)+ψ_{ψβ(α(β+1)^2+α(β+1))}(ψβ(β_2)+1)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1))))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,1)(6,4,2)(7,5) ψ(ψα(ψβ(β_2)+ψ_{ψβ(α(β+1)^2+α(β+1)*2)}(ψβ(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,1)(6,4,2)(7,5)(6,4) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*2)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,2) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,2)(6,3)(7,4) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*ω+β)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,2)(6,3,1) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*ω+Ω(β+1))+ψα_2(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*ω+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,2)(6,3,1)(7,4,2) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*ω*2)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(5,3,2)(6,3,2)(7,3)(6) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2+α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(β_2)+ψβ(α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,3)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)*2))
(0)(1,1,1)(2,2,2)(3,3)(3,2) ψ(ψα(ψβ(β_2)*α_2))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2) ψ(ψα(ψβ(β_2)*α_ω))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,4)(5,3) ψ(ψα(ψβ(β_2)*α_{ω+1}))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,1)(4,3,2)(5,4)(5,3)(4,3,2) ψ(ψα(ψβ(β_2)*α_{ω*2}))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,2) ψ(ψα(ψβ(β_2)*α_{ω^2}))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(β_2)*ψβ(α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,2)(4,2,1)(5,3,2)(6,4)(6,2) ψ(ψα(ψβ(β_2)*ψ_{ψβ(α(β+1)^2)}(ψβ(β_2)*α_2)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,2,2)(4,2,2) ψ(ψα(ψβ(β_2)*ψβ(α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)^2))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,3)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)^2+ψβ(β_2)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(2,2,2)(3,3)(3,2)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)^2*2))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(3,2)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)^3))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,2)(2,2,2)(3,3) ψ(ψα(ψβ(β_2)^ψβ(β_2)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,3) ψ(ψα(ψβ(β_2+β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,3)(3,2)(2,2,2)(3,3)(3,2)(4,3) ψ(ψα(ψβ(β_2+β)^2))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,3)(3,2)(4,3) ψ(ψα(ψβ(β_2+β)^ψβ(β_2+β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,3)(4,3) ψ(ψα(ψβ(β_2+β*2)))
(0)(1,1,1)(2,2,2)(3,3)(3,2)(4,3,1) ψ(ψα(ψβ(β_2+Ω(β+1))+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1) ψ(ψα(ψβ(β_2+Ω(β+1))+ψα_2(ψβ(β_2+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2) ψ(ψα(ψβ(β_2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(4,3,2) ψ(ψα(ψβ(β_2+α(β+1)*ω)*2))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,3)(6,4) ψ(ψα(ψβ(β_2+α(β+1)*ω+β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,3,2) ψ(ψα(ψβ(β_2+α(β+1)*(ω^2))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,3,2)(6,3)(5) ψ(ψα(ψβ(β_2+α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,3,2)(6,3)(7,4) ψ(ψα(ψβ(β_2+α(β+1)*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,3,2)(6,3,2) ψ(ψα(ψβ(β_2+α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4) ψ(ψα(ψβ(β_2+ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4)(4,3,2)(5,4) ψ(ψα(ψβ(β_2+ψβ_2(β_2))*2))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4)(5,3) ψ(ψα(ψβ(β_2+ψβ_2(β_2))*ψβ(β_2+α(β+1))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4)(5,3)(4,3,2)(5,4) ψ(ψα(ψβ(β_2+ψβ_2(β_2))^2))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4)(5,3)(6,4) ψ(ψα(ψβ(β_2+ψβ_2(β_2)+β)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,1)(4,3,2)(5,4)(5,3,1)(6,4,2) ψ(ψα(ψβ(β_2+ψβ_2(β_2)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2) ψ(ψα(ψβ(β_2+ψβ_2(β_2+1))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(3,2,2) ψ(ψα(ψβ(β_2+ψβ_2(β_2+2))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(4,2)(3) ψ(ψα(ψβ(β_2+ψβ_2(β_2+β))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(4,2)(5,3) ψ(ψα(ψβ(β_2+ψβ_2(β_2+ε(β+1)))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(4,2,2) ψ(ψα(ψβ(β_2+ψβ_2(β_2+α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(4,3) ψ(ψα(ψβ(β_2+ψβ_2(β_2+ψβ_2(β_2)))))
(0)(1,1,1)(2,2,2)(3,3)(3,2,2)(4,3)(4,2,2)(5,3) ψ(ψα(ψβ(β_2+ψβ_2(β_2+ψβ_2(β_2+ψβ_2(β_2))))))
(0)(1,1,1)(2,2,2)(3,3)(3,3) ψ(ψα(ψβ(β_2*2)))
(0)(1,1,1)(2,2,2)(3,3)(4) ψ(ψα(ψβ(β_2*ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,2)(3) ψ(ψα(ψβ(β_2*β)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1) ψ(ψα(ψβ(β_2*Ω(β+1))+ψα_2(ψβ(β_2*Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1)(5,3) ψ(ψα(ψβ(β_2*α(β+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1)(5,3,2) ψ(ψα(ψβ(β_2*α(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1)(5,3,2)(6,4) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1)(5,3,2)(6,4)(6,4) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,1)(5,3,2)(6,4)(7,3,1)(8,4,2) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*α(β+1))+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,2)(4,3) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*α(β+1)+1)+β)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,2,2) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*α(β+1)+2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,2,2)(4,3) ψ(ψα(ψβ(β_2*α(β+1)+ψβ_2(β_2*α(β+1)+ψβ_2(β_2)))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3) ψ(ψα(ψβ(β_2*(α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2)(3) ψ(ψα(ψβ(β_2*(α(β+1)+β))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2)(5,3) ψ(ψα(ψβ(β_2*(α(β+1)+ε(β+1)))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2,1) ψ(ψα(ψβ(β_2*(α(β+1)+Ω(β+1)))+ψα_2(ψβ(β_2*(α(β+1)+Ω(β+1)))+1)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2,1)(5,3,2) ψ(ψα(ψβ(β_2*α(β+1)*2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2,1)(5,3,2)(6,4) ψ(ψα(ψβ(β_2*α(β+1)*2+ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2,2) ψ(ψα(ψβ(β_2*α(β+1)*2+ψβ_2(β_2*α(β+1)*2+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(3,3)(4,2,2)(3,3) ψ(ψα(ψβ(β_2*α(β+1)*2+β_2)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(4,2)(3) ψ(ψα(ψβ(β_2*α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(4,2)(3,3)(4,2,2)(4,2)(3) ψ(ψα(ψβ(β_2*α(β+1)*β*2)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(4,2)(5,3) ψ(ψα(ψβ(β_2*α(β+1)*ε(β+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(β_2*(α(β+1)^2)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(4,2,2) ψ(ψα(ψβ(β_2*(α(β+1)^2)+ψβ_2(β_2*(α(β+1)^2)+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5) ψ(ψα(ψβ(β_2*(α(β+1)^ω))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,2)(3) ψ(ψα(ψβ(β_2*(α(β+1)^β))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,2,2) ψ(ψα(ψβ(β_2*(α(β+1)^α(β+1))+ψβ_2(β_2*(α(β+1)^α(β+1))+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,3) ψ(ψα(ψβ(β_2*ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,3)(3,3)(4,2,2)(5,3) ψ(ψα(ψβ(β_2*ψβ_2(β_2)*2)))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,3)(5,3) ψ(ψα(ψβ(β_2*ψβ_2(β_2*2))))
(0)(1,1,1)(2,2,2)(3,3)(4,2,2)(5,3)(6,2)(3) ψ(ψα(ψβ(β_2*ψβ_2(β_2*β))))
(0)(1,1,1)(2,2,2)(3,3)(4,3) ψ(ψα(ψβ(β_2^2)))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(3,3) ψ(ψα(ψβ(β_2^2+β_2)))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(3,3)(4,2,2) ψ(ψα(ψβ(β_2^2+β_2*α(β+1)+ψβ_2(β_2^2+β_2*α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(3,3)(4,2,2)(5,3)(6,3) ψ(ψα(ψβ(β_2^2+β_2*ψβ_2(β_2^2))))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(3,3)(4,3) ψ(ψα(ψβ(β_2^2*2)))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(4,2,2) ψ(ψα(ψβ(β_2^2*α(β+1)+ψβ_2(β_2^2*α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(4,3) ψ(ψα(ψβ(β_2^3)))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(5) ψ(ψα(ψβ(β_2^ω)))
(0)(1,1,1)(2,2,2)(3,3)(4,3)(5,3) ψ(ψα(ψβ(β_2^β_2)))
(0)(1,1,1)(2,2,2)(3,3)(4,4) ψ(ψα(ψβ(ε(β_2+1))))
(0)(1,1,1)(2,2,2)(3,3)(4,4,1) ψ(ψα(ψβ(Ω(β_2+1))+Ω(α+1)*ω))
(0)(1,1,1)(2,2,2)(3,3,1) ψ(ψα(ψβ(Ω(β_2+1))+ψα_2(ψβ(Ω(β_2+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,1)(2,2) ψ(ψα(ψβ(Ω(β_2+1))+α_2))
(0)(1,1,1)(2,2,2)(3,3,1)(2,2,2)(3,3) ψ(ψα(ψβ(Ω(β_2+1))+ψβ(β_2)))
(0)(1,1,1)(2,2,2)(3,3,1)(2,2,2)(3,3,1) ψ(ψα(ψβ(Ω(β_2+1))*2+ψα_2(ψβ(Ω(β_2+1))*2+1)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2)(4,3) ψ(ψα(ψβ(Ω(β_2+1)+β)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,1) ψ(ψα(ψβ(Ω(β_2+1)+Ω(β+1))+ψα_2(ψβ(Ω(β_2+1)+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,1)(4,3,2) ψ(ψα(ψβ(Ω(β_2+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,1)(4,3,2)(5,4) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(3,2)(4,3) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+1)+β)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(3,2,2) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+2))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,2)(3) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+β))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,2,2) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,2,2)(4,3) ψ(ψα(ψβ(Ω(β_2+1)+ψβ_2(Ω(β_2+1)+ψβ_2(β_2)))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,3) ψ(ψα(ψβ(Ω(β_2+1)+β_2)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,3)(3,3) ψ(ψα(ψβ(Ω(β_2+1)+β_2*2)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,3)(4,3) ψ(ψα(ψβ(Ω(β_2+1)+β_2^2)))
(0)(1,1,1)(2,2,2)(3,3,1)(3,3)(4,4) ψ(ψα(ψβ(Ω(β_2+1)+ε(β_2+1))))
(0)(1,1,1)(2,2,2)(3,3,1)(3,3,1) ψ(ψα(ψβ(Ω(β_2+1)*2)+ψα_2(ψβ(Ω(β_2+1)*2)+1)))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2) ψ(ψα(ψβ(α(β_2+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,4)(4,4,2) ψ(ψα(ψβ(α(β_2+1)+α(β+1)*ω)^2))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,4,2) ψ(ψα(ψβ(α(β_2+1)+α(β+1)*(ω^2))))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,4,2)(6,4)(5) ψ(ψα(ψβ(α(β_2+1)+α(β+1)*β)))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,4,2)(6,4,2) ψ(ψα(ψβ(α(β_2+1)+α(β+1)^2*ω)))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,5) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3,1)(4,4,2)(5,5,1) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(Ω(β_2+1)))+ψα_2(ψβ(α(β_2+1)+ψβ_2(Ω(β_2+1)))+1)))
(0)(1,1,1)(2,2,2)(3,3,2) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(2,2,2)(3,3,2) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+1))*2))
(0)(1,1,1)(2,2,2)(3,3,2)(3,2)(4,3) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+1)+β)))
(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+2))))
(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+β))))
(0)(1,1,1)(2,2,2)(3,3,2)(3,2,2)(4,3) ψ(ψα(ψβ(α(β_2+1)+ψβ_2(α(β_2+1)+ψβ_2(β_2)))))
(0)(1,1,1)(2,2,2)(3,3,2)(3,3) ψ(ψα(ψβ(α(β_2+1)+β_2)))
(0)(1,1,1)(2,2,2)(3,3,2)(3,3)(4,4) ψ(ψα(ψβ(α(β_2+1)+ε(β_2+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(3,3,1) ψ(ψα(ψβ(α(β_2+1)+Ω(β_2+1))+ψα_2(ψβ(α(β_2+1)+Ω(β_2+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,2)(3,3,1)(4,4,2) ψ(ψα(ψβ(α(β_2+1)*2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(3,3,2) ψ(ψα(ψβ(α(β_2+1)*2+ψβ_2(α(β_2+1)*2+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4) ψ(ψα(ψβ(α(β_2+1)*ω)))
(0)(1,1,1)(2,2,2)(3,2,2)(4,2)(3) ψ(ψα(ψβ(α(β_2+1)*β)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2)(4,3) ψ(ψα(ψβ(α(β_2+1)*β+β)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,1) ψ(ψα(ψβ(α(β_2+1)*β+Ω(β+1))+ψα_2(ψβ(α(β_2+1)*β+Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,1)(4,3) ψ(ψα(ψβ(α(β_2+1)*β+ε(Ω(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,1)(4,3,2) ψ(ψα(ψβ(α(β_2+1)*β+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,2) ψ(ψα(ψβ(α(β_2+1)*β+ψβ_2(α(β_2+1)*β+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,2)(4,3) ψ(ψα(ψβ(α(β_2+1)*β+ψβ_2(α(β_2+1)*β+ψβ_2(β_2)))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,2)(4,3,1)(5,4,2) ψ(ψα(ψβ(α(β_2+1)*β+ψβ_2(α(β_2+1)*β+ψ_{ψβ(α(β_2+1))}(ψβ(α(β_2+1)+α(β+1)*ω))))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,2)(4,3,2) ψ(ψα(ψβ(α(β_2+1)*β+ψβ_2(α(β_2+1)*β+ψβ_2(α(β_2+1))))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,2,2)(4,3,2)(5,2)(3) ψ(ψα(ψβ(α(β_2+1)*β+ψβ_2(α(β_2+1)*β+ψβ_2(α(β_2+1)*β)))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,3) ψ(ψα(ψβ(α(β_2+1)*β+β_2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,3,1) ψ(ψα(ψβ(α(β_2+1)*β+Ω(β_2+1))+ψα_2(ψβ(α(β_2+1)*β+Ω(β_2+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,3,1)(4,4,2) ψ(ψα(ψβ(α(β_2+1)*(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,3,2) ψ(ψα(ψβ(α(β_2+1)*(β+1)+ψβ_2(α(β_2+1)*(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(3,3,2)(4,2)(3) ψ(ψα(ψβ(α(β_2+1)*β*2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2)(4,2)(3) ψ(ψα(ψβ(α(β_2+1)*(β^2))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2,1) ψ(ψα(ψβ(α(β_2+1)*Ω(β+1))+ψα_2(ψβ(α(β_2+1)*Ω(β+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2,1)(5,3,2) ψ(ψα(ψβ(α(β_2+1)*α(β+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2,2) ψ(ψα(ψβ(α(β_2+1)*α(β+1)+ψβ_2(α(β_2+1)*α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2,2)(3,3,2)(4,2,2) ψ(ψα(ψβ(α(β_2+1)*α(β+1)*2+ψβ_2(α(β_2+1)*α(β+1)*2+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,2,2)(5,3) ψ(ψα(ψβ(α(β_2+1)*ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3) ψ(ψα(ψβ(α(β_2+1)*β_2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3)(3,3,2)(4,3) ψ(ψα(ψβ(α(β_2+1)*β_2*2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3,1) ψ(ψα(ψβ(α(β_2+1)*Ω(β_2+1))+ψα_2(ψβ(α(β_2+1)*Ω(β_2+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3,1)(5,4,2) ψ(ψα(ψβ(α(β_2+1)^2+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3,2) ψ(ψα(ψβ(α(β_2+1)^2+ψβ_2(α(β_2+1)^2+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)(3,3,2)(4,3,2) ψ(ψα(ψβ(α(β_2+1)^2*2+ψβ_2(α(β_2+1)^2*2+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)(5) ψ(ψα(ψβ(α(β_2+1)^ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4) ψ(ψα(ψβ(β_3)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(3,3,2)(4,4) ψ(ψα(ψβ(β_3+ψβ_3(β_3))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(4,4) ψ(ψα(ψβ(β_3*2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,2)(3) ψ(ψα(ψβ(β_3*β)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,2,2) ψ(ψα(ψβ(β_3*α(β+1)+ψβ_2(β_3*α(β+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,2,2)(6,3) ψ(ψα(ψβ(β_3*ψβ_2(β_2))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,2,2)(6,3,2)(7,4) ψ(ψα(ψβ(β_3*ψβ_2(β_3))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,3) ψ(ψα(ψβ(β_3*β_2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,3,2) ψ(ψα(ψβ(β_3*α(β_2+1)+ψβ_2(β_3*α(β_2+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4)(5,4) ψ(ψα(ψβ(β_3^2)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4,1)(5,5,2) ψ(ψα(ψβ(α(β_3+1)+α(β+1)*ω)))
(0)(1,1,1)(2,2,2)(3,3,2)(4,4,2) ψ(ψα(ψβ(α(β_3+1)+ψβ_2(α(β_3+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,3) ψ(ψα(ψβ(β_ω)))
(0)(1,1,1)(2,2,2)(3,3,3)(3,2,1)(4,3,2)(5,4,3) ψ(ψα(ψβ(β_ω+ψβ_2(β_ω))))
(0)(1,1,1)(2,2,2)(3,3,3)(3,3) ψ(ψα(ψβ(β_ω+β_2)))
(0)(1,1,1)(2,2,2)(3,3,3)(3,3,3) ψ(ψα(ψβ(β_ω*2)))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3) ψ(ψα(ψβ(β_ω*β_2)))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3)(3,3,3) ψ(ψα(ψβ(β_ω^2)))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,1) ψ(ψα(ψβ(Ω(β_ω+1))+ψα_2(ψβ(Ω(β_ω+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,2) ψ(ψα(ψβ(α(β_ω+1)+ψβ_2(α(β_ω+1)+1))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,2)(5,4,3) ψ(ψα(ψβ(β_{ω*2})))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,3) ψ(ψα(ψβ(β_{ω^2})))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,3)(5,3)(4) ψ(ψα(ψβ(ψγ(β(γ+1)*γ))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,3)(5,3,1) ψ(ψα(ψβ(ψγ(β(γ+1)*Ω(γ+1)))+ψα_2(ψγ(β(γ+1)*Ω(γ+1))+1)))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,3)(5,3,2) ψ(ψα(ψβ(ψγ(β(γ+1)*α(γ+1))+ψβ_2(ψγ(β(γ+1)*α(γ+1))+1))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,3,3)(5,3,3) ψ(ψα(ψβ(ψγ(β(γ+1)^2*ω))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,4) ψ(ψα(ψβ(ψγ(γ_2))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3) ψ(ψα(ψβ(ψγ(β(γ_2+1)+ψγ_2(β(γ_2+1)+1)))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,4,3)(5) ψ(ψα(ψβ(ψγ(β(γ_2+1)*ω))))
(0)(1,1,1)(2,2,2)(3,3,3)(4,4,4) ψ(ψα(ψβ(ψγ(γ_ω))))
(0)(1,1,1,1) ψ(ω-P)=ψ(ψS(σS*ω))