timesxplusyszplustimesxplusytimessz0timesxsztimesx00timesxsyplustimesxyxplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxy2.0timesxplusysztimesxsztimesxplusysztimessz0timesxplusyszplusytimessz0timesxplusysztimesxplusytimessz0timesxplusyszplustimesxplusytimessz0timesxsztimesxsytimesxytimesxsyplustimesxyxplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruetimesxplusysztimessz0timesxplusysztimesxsztimesxplusysztimesxplusytimessz0timesxsytimesxytruetimesxplusysztimesxplusytimessz0timesxsytimesxytimesxplusysztimesxsztruetimesxplusysztimessz0falsetimesxsyplustimesxyxfalsetimesxplusyszplusytimessz0falsetimesxplusyszplustimesxplusytimessz0timesxszfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrue1plus211020false03true02zero01id111not115if3112030gt21220s1214plusidxsyplusxifgtsyyysyplussxxplusifgtxxidxidxsxiftruexyxiffalsexyyidxxplus20false00true00zero00id10if30gt20s11s11gt2if323id11zero0true0false0plus21plusidxsyplusxifgtsyyysyiftruexyxiffalsexyyidxxplus21plussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22