Z[ew](ew) = (0)(1^(2))
Z[ew,ew*w](ew*w) = (0)(1^(2))(2)
Z[ew](ew*w) = (0)(1^(2))(2,1)
Z[ew](ew*e0) = (0)(1^(2))(2,1,1)
Z[ew](ew^2) = (0)(1^(2))(2,1^(3))
Z[ew,e(w+1)](e(w+1)) = (0)(1^(2))(2,2)
Z[ew,e(w+1)](SHO) = (0)(1^(2))(2^(3))
Z[ew](e(w+1)) = (0)(1^(2),1)
Z[ew](e(w^2)) = (0)(1^(2)(2))
Z[ew](e(e0)) = (0)(1^(2)(3,1))
Z[ew](SHO) = (0)(1^(2)(3,1^(4)))
Z(ew) = (0)(1^(2,1)) = Y(1,3,4,2,5,8,10)
Z(ew*w) = (0)(1^(2,1))(2,1)
Z(ew^2) = (0)(1^(2,1))(2,1^(3,1))
Z[e(w+1)](e(w+1)) = (0)(1^(2,1))(2,2)
Z[e(w+1)](SHO) = (0)(1^(2,1))(2^(3))
Z[e(w+1),Z(ew)](Z(ew)) = (0)(1^(2,1))(2^(3,1))
Z[e(w+1),Z(ew)](SHO) = (0)(1^(2,1))(2^(3,1^(4))) = Y(1,3,4,2,5,8,10,5)
Z[e(w+1)](Z(ew)) = (0)(1^(2,1))(2^(3,2)) = Y(1,3,4,2,5,8,10,6)
Z(e(w+1)) = (0)(1^(2,1),1) = Y(1,3,4,2,5,8,10,14)
Z[e(w^2)](e(w^2)) = (0)(1^(2,1)(2)) = Y(1,3,4,2,5,8,11)
Z[ee0](ee0) = (0)(1^(2,1)(3,2)) = Y(1,3,4,2,5,9)
Z(ee0) = (0)(1^(2,1,1)) = Y(1,3,4,2,5,9,4,9,16)
Z[eew](eew) = (0)(1^(2,1^(3))) = Y(1,3,4,3)
Z[z0](z0) = (0)(1^(2,2)) = Y(1,3,4,4)
Z[z0](SHO) = (0)(1^(2^(3))) = Y(1,3,4,5)
Z(z0) = Y(1,3,4,6)