$\frac{y}{10}$ $z\mathrm{lambdaPlus}$ $z\mathrm{lambdaMinus}$ $\mathrm{mu}(M-(z+\mathrm{zmut})y)$ $\mathrm{zmut}(\frac{ky}{10}-0.5)$ $\mathrm{time}=10$ $0$ $1$