minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyplussxyplusxyminusminusxyzplusyzminusminusxyzminusxplusyzappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruequotsxsyquotminusxysytrue1quot2413211plus281624s1314minus221021000minusx0xminussxsyminusxyminusminusxyzminusxplusyzquotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrueminus21minusminusxyzplusyzfalsesumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum12114sum1014cons201124app281121nil00plus281021s1110000sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1114cons291627plus211421s1112000plus0yyplussxysplusxysumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalseplussxyplusxytrueplus21