minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyplussxyplusxyminusminusxyzplusyzminusminusxyzminusxplusyzappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruequotsxsyquotminusxysytrue1quot2110212false00true04zero08id1512not1016if341028310gt211025plus201020s1411minus211020000minusx0xminussxsyminusxyminusminusxyzminusxplusyzquotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrueminus21minusminusxyzplusyzfalsesumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1410false00true00zero00id1011not1812if30142732gt231421sum1014cons201123app211120nil01plus2010215s1012000sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1213false00true04zero012id1014not1014if33102130gt231120cons201426plus241024s1011000sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalseplussxyplusxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxplusidxsyplusxifgtsyyysytrueplusidxsyifgtsyyysyfalseplusidxsygtsyyfalseplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22