cmakarzga lujvo

z1=k3 peeks at z2=k2 using z3 under conditions z4