timesx00timesxsyplustimesxyxplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxytimesxsytimesxytimesxsyplustimesxyxplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruetimesxsytimesxytruetimes22timesxsyplustimesxyxfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrue1plus20102false01true03zero02id121not1313if312203gt201120s161plusidxsyplusxifgtsyyysyplussxxplusifgtxxidxidxsxgtsxzerotruegtsxsygtxygtzeroyfalseiftruexyxiffalsexyyidxxnotxifxfalsetrueplus21false00true03zero04id12if30gt24s13s11gt22if323id11zero0true0false0plus21iftruexyxiffalsexyyidxxplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22