timesxplusyszplustimesxplusytimessz0timesxsztimesx00timesxsyplustimesxyxplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxytimesxplusysztimesxsztimesxplusysztimessz0timesxplusyszplusytimessz0timesxplusysztimesxplusytimessz0timesxplusyszplustimesxplusytimessz0timesxsztimesxsytimesxytimesxsyplustimesxyxplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruetimesxplusysztimessz0timesxplusysztimesxsztimesxplusysztimesxplusytimessz0timesxsytimesxytruetimesxplusysztimesxplusytimessz0timesxsytimesxytimesxplusysztimesxsztruetimesxplusysztimessz0falsetimesxsyplustimesxyxfalsetimesxplusyszplusytimessz0falsetimesxplusyszplustimesxplusytimessz0timesxszfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrue1plus20102false01true03zero02id121not1313if312203gt201120s161plusidxsyplusxifgtsyyysyplussxxplusifgtxxidxidxsxgtsxzerotruegtsxsygtxygtzeroyfalseiftruexyxiffalsexyyidxxnotxifxfalsetrueplus21false00true03zero04id12if30gt24s13s11gt22if323id11zero0true0false0plus21iftruexyxiffalsexyyidxxplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22