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