carconsxlxcddrnilnilcddrconsxnilnilcddrconsxconsyllcadrconsxconsylyisZero0trueisZerosxfalseplusxyifplusisZeroxxyifplustruexyyifplusfalsexyspluspxytimesxyiftimesisZeroxxyiftimestruexy0iftimesfalsexyplusytimespxypsxxp00shorternilytrueshorterconsxl0falseshorterconsxlsyshorterlyprodlifshorterl0shorterls0liftruebls0iffalseblif2blif2truelcarlif2falselprodconstimescarlcadrlcddrlplusxyisZeroxplusxyifplusisZeroxxyifplusfalsexypxifplusfalsexypluspxytimesxyisZeroxtimesxyiftimesisZeroxxyiftimesfalsexypxiftimesfalsexytimespxyiftimesfalsexyplusytimespxyshorterconsxlsyshorterlyprodlshorterls0prodlshorterl0prodlifshorterl0shorterls0liffalseblif2blif2truelcarlif2falselcddrlif2falselcadrlif2falselcarlif2falseltimescarlcadrlif2falselprodconstimescarlcadrlcddrltrueif2falselprodconstimescarlcadrlcddrlprodlifshorterl0shorterls0liffalseblif2bltrueif2falseltimescarlcadrlfalsetimesxyiftimesisZeroxxyiftimesfalsexytimespxytrueiftimesfalsexyplusytimespxyfalseplusxyifplusisZeroxxyifplusfalsexypluspxytrueifplusfalsexypxfalseplusxyisZeroxfalseiftimesfalsexypxfalsetimesxyisZeroxfalseif2falselcarlfalseif2falselcadrlfalseif2falselcddrlfalseif2truelcarlfalseprodlshorterl0falseprodlshorterls0falseshorterconsxlsyshorterlytrueshorter22