timesxplusyszplustimesxplusytimessz0timesxsztimesx00timesxsyplustimesxyxplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxytimesxplusysztimesxsztimesxplusysztimessz0timesxplusyszplusytimessz0timesxplusysztimesxplusytimessz0timesxplusyszplustimesxplusytimessz0timesxsztimesxsytimesxytimesxsyplustimesxyxplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruetimesxplusysztimessz0timesxplusysztimesxsztimesxplusysztimesxplusytimessz0timesxsytimesxytruetimesxplusysztimesxplusytimessz0timesxsytimesxytimesxplusysztimesxsztruetimesxplusysztimessz0falsetimesxsyplustimesxyxfalsetimesxplusyszplusytimessz0falsetimesxplusyszplustimesxplusytimessz0timesxszfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrueplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22