minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykminussxsyminusxyquotsxsyminusxyquotsxsyquotminusxysyplussxyplusxyminusminusxyzplusyzminusminusxyzminusxplusyzappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruequotsxsyquotminusxysytrue1quot2810212sum1014cons201021app251123nil00plus251820quot211022s1114minus211020000quotsxsyminusxyfalseminussxsyminusxyminusminusxyzminusxplusyztrue1minus2410211sum1014cons201120app221820nil02plus251420quot2010210s1110minus221022000minussxsyminusxy1minus241220sum1012cons201122app211820nil00plus2131420quot2115212s1114minus211020008minusminusxyzplusyzfalsesumapplconsxconsyksumapplsumconsxconsyktrue1sum1214sum1015cons201125app2101224nil00plus211120quot2121121s1113minus211020004sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app291020sum1018cons201122app291122nil04plus281423quot201020s1110minus221020000sumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1818sum1110cons211122app2411212nil02plus211121quot241021s1112minus211020000sumconsxconsylplusxyfalseplussxyplusxytrue1plus211024sum10113cons201128app241221nil05plus211220quot2814212s1114minus211020000