carconsxlxcddrnilnilcddrconsxnilnilcddrconsxconsyllcadrconsxconsylyisZero0trueisZerosxfalseplusxyifplusisZeroxxyifplustruexyyifplusfalsexyspluspxytimesxyiftimesisZeroxxyiftimestruexy0iftimesfalsexyplusytimespxypsxxp00shorternilytrueshorterconsxl0falseshorterconsxlsyshorterlyprodlifshorterl0shorterls0liftruebls0iffalseblif2blif2truelcarlif2falselprodconstimescarlcadrlcddrl