admitxnilniladmitx.u.v.wzcond=sumxuvw.u.v.wadmitcarryxuvzcondtrueyyadmitx.u.v.wzcond=sumxuvw.u.v.wadmitcarryxuvzadmitx.u.v.wzadmitcarryxuvztrueadmitx.u.v.wzadmitcarryxuvztrue11admit21112.2112w00carry3111admitx.u.v.wzcond=sumxuvw.u.v.wadmitcarryxuvzfalse