minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyplussxyplusxyminusminusxyzplusyzminusminusxyzminusxplusyzappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruequotsxsyquotminusxysytrue1quot2413211plus281624s1314minus221021000minusx0xminussxsyminusxyminusminusxyzminusxplusyzquotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrue1minus211020plus201020s1810minus281123000minussxsyminusxy1minus281120s1411minusminusxyzplusyzfalsesumapplconsxconsyksumapplsumconsxconsyktrue1sum12114sum1014cons201124app281121nil00plus281021s1110000sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app251020cons2011211sumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1114cons291627plus211421s1112000plus0yyplussxysplusxysumconsxconsylplusxyfalseplussxyplusxytrue1plus2810212s1113