minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyplussxyplusxyminusminusxyzplusyzminusminusxyzminusxplusyzappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruequotsxsyquotminusxysytruequot25false00true01zero00id13not12if30gt22plus23s11minus2400000minus21s11plus212gt2if33not11id11zero0true0false0quot21minusx0xminussxsyminusxyminusminusxyzminusxplusyzquotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrueminus21minusminusxyzplusyzfalsesumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1215false05true04zero06id1112not1010if30112433gt201420sum1013cons201122app241220nil01plus201127s1010000sumconsxconsylsumconsplusxylsumconsxnilconsxnilplus0yyplussxysplusxyplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyyappnilkkapplnillappconsxlkconsxapplksumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltruesum14false01true00zero01id15not12if31gt22cons25plus24s1300000s11plus22cons22gt22if33not11id11zero0true0false0sum11sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalseplussxyplusxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxplusidxsyplusxifgtsyyysytrue1plus201-122false01true02zero07id131not1114if3111203gt2-6102s1614plussxyplusxyplussxsyplusifgtxyxyifnotgtxyidxidyplusidxsyplusxifgtsyyysyidxxnotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyiftruexyxiffalsexyy1plus201020false00true00zero00id1010not1010if30102030gt21020s1111plussxyplusxyplusidxsyplusxifgtsyyysyidxxnotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyiftruexyxiffalsexyyplus21plusidxsyifgtsyyysyfalseplusidxsygtsyyfalseplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22