ψZ(0)=1
ψZ[1](1)=2
ψZ[1](ψZ[1](1))=3
ψZ(1)=ω
ψZ[2](2)=ω+1
ψZ[2](ψZ(1))=ω×2
ψZ[2](ψZ[2](2))=ω×2+1
ψZ(2)=ω2
ψZ[ω](ω)=ωω
ψZ[ω](ω+1)=ωω+1
ψZ[ω](ω2)=ωω2
ψZ[ω](ψZ[ω](ω))=ωωω
ψZ(ω)=(0)(1,1)
ψZ(ω+1)=(0)(1,1)(1)
ψZ[ω×2](ω×2)=(0)(1,1)(1)(2)
ψZ[ω×2](ωω)=(0)(1,1)(1)(2)(3)
ψZ[ω×2](ψZ(ω))=(0)(1,1)(1)(2,1)
ψZ[ω×2](ψZ[ω×2](ω×2))=(0)(1,1)(1)(2,1)(2)(3)
ψZ(ω×2)=(0)(1,1)(1,1)
ψZ[ω2](ω2)=(0)(1,1)(2)
ψZ[ω2,ω2+ω](ω2+ω)=(0)(1,1)(2)(1)(2)
ψZ[ω2](ω2+ω)=(0)(1,1)(2)(1,1)
ψZ[ω2](ω2×2)=(0)(1,1)(2)(1,1)(2)
ψZ[ω2](ω3)=(0)(1,1)(2)(2)
ψZ[ω2,ωω](ωω)=(0)(1,1)(2)(3)
ψZ[ω2,ωω](ψZ(ω))=(0)(1,1)(2)(3,1)
ψZ[ω2,ωω](ψZ[ω2,ωω](ωω))=(0)(1,1)(2)(3,1)(4)(5)
ψZ[ω2](ωω)=(0)(1,1)(2,1)
ψZ[ω2](ωω+ω)=(0)(1,1)(2,1)(1,1)
ψZ[ω2,ωω×2](ωω×2)=(0)(1,1)(2,1)(1,1)(2)(3)
ψZ[ω2](ωω×2)=(0)(1,1)(2,1)(1,1)(2,1)
ψZ[ω2](ωω+1)=(0)(1,1)(2,1)(2)
ψZ[ω2](ωω+1+ωω)=(0)(1,1)(2,1)(2)(1,1)(2,1)
ψZ[ω2](ωω+2)=(0)(1,1)(2,1)(2)(2)
ψZ[ω2,ωω×2](ωω×2)=(0)(1,1)(2,1)(2)(3)
ψZ[ω2,ωω×2](ψZ(ω))=(0)(1,1)(2,1)(2)(3,1)
ψZ[ω2,ωω×2](ψZ[ω2,ωω×2](ωω×2))=(0)(1,1)(2,1)(2)(3,1)(4,1)(4)(5)
ψZ[ω2](ωω×2)=(0)(1,1)(2,1)(2,1)
ψZ[ω2](ωω2)=(0)(1,1)(2,1)(3)
ψZ[ω2](ωω2+ω)=(0)(1,1)(2,1)(3)(2,1)
ψZ[ω2](ωω3)=(0)(1,1)(2,1)(3)(3)
ψZ[ω2,ωωω](ωωω)=(0)(1,1)(2,1)(3)(4)
ψZ[ω2,ωωω](ψZ(ω))=(0)(1,1)(2,1)(3)(4,1)
ψZ[ω2,ωωω](ψZ[ω2,ωωω](ωωω))=(0)(1,1)(2,1)(3)(4,1)(5,1)(6)(7)
ψZ[ω2](ωωω)=(0)(1,1)(2,1)(3,1)
ψZ[ω2](ωωω+ω)=(0)(1,1)(2,1)(3,1)(2,1)
ψZ[ω2](ωωω+1)=(0)(1,1)(2,1)(3,1)(3)
ψZ[ω2](ωωω×2)=(0)(1,1)(2,1)(3,1)(3,1)
ψZ[ω2](ωωω2)=(0)(1,1)(2,1)(3,1)(4)
ψZ[ω2,ωωωω](ωωωω)=(0)(1,1)(2,1)(3,1)(4)(5)
ψZ[ω2](ωωωω)=(0)(1,1)(2,1)(3,1)(4,1)
ψZ[ω2](ψZ(ω))=(0)(1,1)(2,2)
ψZ[ω2](ψZ(ω)+ω)=(0)(1,1)(2,2)(1,1)
ψZ[ω2](ψZ(ω)×2)=(0)(1,1)(2,2)(1,1)(2,2)
ψZ[ω2](ψZ(ω+1))=(0)(1,1)(2,2)(2)
ψZ[ω2](ψZ(ω+1)+ψZ(ω))=(0)(1,1)(2,2)(2)(1,1)(2,2)
ψZ[ω2](ψZ(ω+2))=(0)(1,1)(2,2)(2)(2)
ψZ[ω2,ψZ[ω×2](ω×2)](ψZ[ω×2](ω×2))=(0)(1,1)(2,2)(2)(3)
ψZ[ω2,ψZ[ω×2](ω×2)](ψZ(ω×2))=(0)(1,1)(2,2)(2)(3,1)
ψZ[ω2,ψZ[ω×2](ω×2)](ψZ[ω2,ψZ[ω×2](ω×2)](ψZ[ω×2](ω×2)))=(0)(1,1)(2,2)(2)(3,1)(4,2)(4)(5)
ψZ[ω2](ψZ[ω×2](ω×2))=(0)(1,1)(2,2)(2,1)
ψZ[ω2](ψZ[ω×2](ω×2+1))=(0)(1,1)(2,2)(2,1)(2)
ψZ[ω2,ψZ[ω×2](ω×3)](ψZ[ω×2](ω×3))=(0)(1,1)(2,2)(2,1)(2)(3)
ψZ[ω2](ψZ[ω×2](ω×3))=(0)(1,1)(2,2)(2,1)(2,1)
ψZ[ω2](ψZ[ω×2](ω2))=(0)(1,1)(2,2)(2,1)(3)
ψZ[ω2,ψZ[ω×2](ωω)](ψZ[ω×2](ωω))=(0)(1,1)(2,2)(2,1)(3)(4)
ψZ[ω2](ψZ[ω×2](ωω))=(0)(1,1)(2,2)(2,1)(3,1)
ψZ[ω2](ψZ[ω×2](ωωω))=(0)(1,1)(2,2)(2,1)(3,1)(4,1)
ψZ[ω2](ψZ[ω×2](ψZ(ω)))=(0)(1,1)(2,2)(2,1)(3,2)
ψZ[ω2](ψZ[ω×2](ψZ(ω)+ω))=(0)(1,1)(2,2)(2,1)(3,2)(2,1)
ψZ[ω2](ψZ[ω×2](ψZ(ω+1)))=(0)(1,1)(2,2)(2,1)(3,2)(3)
ψZ[ω2,ψZ[ω×2](ψZ[ω×2](ω×2))](ψZ[ω×2](ψZ[ω×2](ω×2)))=(0)(1,1)(2,2)(2,1)(3,2)(3)(4)
ψZ[ω2](ψZ[ω×2](ψZ[ω×2](ω×2)))=(0)(1,1)(2,2)(2,1)(3,2)(3,1)
ψZ[ω2](ψZ[ω×2](ψZ[ω×2](ω2)))=(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4)
ψZ[ω2](ψZ[ω×2](ψZ[ω×2](ωω)))=(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,1)
ψZ[ω2](ψZ[ω×2](ψZ[ω×2](ψZ(ω)))=(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)
ψZ[ω2](ψZ(ω×2))=(0)(1,1)(2,2)(2,2)
ψZ[ω2](ψZ[ω2](ω2))=(0)(1,1)(2,2)(3)
ψZ[ω2](ψZ[ω2](ω2+ω))=(0)(1,1)(2,2)(3)(2,2)
ψZ[ω2](ψZ[ω2](ω3))=(0)(1,1)(2,2)(3)(3)
ψZ[ω2,ψZ[ω2,ωω](ωω)](ψZ[ω2,ωω](ωω))=(0)(1,1)(2,2)(3)(4)
ψZ[ω2](ψZ[ω2,ωω](ωω))=(0)(1,1)(2,2)(3,1)
ψZ[ω2](ψZ[ω2,ωω](ωω+1))=(0)(1,1)(2,2)(3,1)(3)
ψZ[ω2](ψZ[ω2,ωω](ωω×2))=(0)(1,1)(2,2)(3,1)(3,1)
ψZ[ω2](ψZ[ω2,ωω](ωω2))=(0)(1,1)(2,2)(3,1)(4)
ψZ[ω2](ψZ[ω2,ωω](ωωω))=(0)(1,1)(2,2)(3,1)(4,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ(ω)))=(0)(1,1)(2,2)(3,1)(4,2)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ω×2)))=(0)(1,1)(2,2)(3,1)(4,2)(3,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ω2)))=(0)(1,1)(2,2)(3,1)(4,2)(3,1)(4)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ωω)))=(0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ψZ(ω))))=(0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,2)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ψZ(ω)+ω)))=(0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,2)(3,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ψZ(ω+1))))=(0)(1,1)(2,2)(3,1)(4,2)(4)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ψZ[ω×2](ω×2))))=(0)(1,1)(2,2)(3,1)(4,2)(4,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω×2](ψZ[ω×2](ψZ(ω)))))=(0)(1,1)(2,2)(3,1)(4,2)(4,1)(5,2)
ψZ[ω2](ψZ[ω2,ωω](ψZ(ω×2)))=(0)(1,1)(2,2)(3,1)(4,2)(4,2)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω2](ω2)))=(0)(1,1)(2,2)(3,1)(4,2)(5)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω2,ωω](ωω)))=(0)(1,1)(2,2)(3,1)(4,2)(5,1)
ψZ[ω2](ψZ[ω2,ωω](ψZ[ω2,ωω](ψZ(ω))))=(0)(1,1)(2,2)(3,1)(4,2)(5,1)(6,2)
ψZ[ω2](ψZ[ω2](ωω))=(0)(1,1)(2,2)(3,2)