minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykminussxsyminusxyquotsxsyquotminusxysyquotsxsyminusxyplussxyplusxyminusminusxyzminusxplusyzminusminusxyzplusyzappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsyktruequotsxsyquotminusxysytrue24691quot211s1111minus211000plus20minusx0xminusminusxyzminusxplusyzminussxsyminusxyquotsxsyminusxyfalse246789minusminusxyzminusxplusyzminussxsyminusxytrue2471minus211minus211112plus20s1111000minusminusxyzplusyzfalse24567sumapplconsxconsyksumapplsumconsxconsyktrue251sum111app21112cons2112sum11plus211112nil00000s11sumconsxconsylsumconsplusxylappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumapplconsxconsyksumconsxconsykfalse2345sumconsxconsylsumconsplusxyltrue31sum111cons2112plus20000s10sumconsxconsylplusxyfalse2plussxyplusxytrue21plus211s1111sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app211cons2112