minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyminusminusxyzminusxplusyzplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyminusminusxyzplusyzminusminusxyzminusxplusyzplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruequotsxsyquotminusxysytruequot20false00true01zero00id13not12if30gt22plus23s11minus2400000minus21s11plus212gt2if33not11id11zero0true0false0quot21minusx0xminussxsyminusxyminusminusxyzminusxplusyzquotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrueminus21minusminusxyzplusyzfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrue1plus20102false01true03zero02id121not1313if312203gt201120s161plusidxsyplusxifgtsyyysyplussxxplusifgtxxidxidxsxgtsxzerotruegtsxsygtxygtzeroyfalseiftruexyxiffalsexyyidxxnotxifxfalsetrueplus21false00true03zero04id12if30gt24s13s11gt22if323id11zero0true0false0plus21iftruexyxiffalsexyyidxxplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22