minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyplus0yyplussxysplusxyminusminusxyzminusxplusyzappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykminussxsyminusxyquotsxsyquotminusxysyquotsxsyminusxyplussxyplusxyminusminusxyzminusxplusyzminusminusxyzplusyzappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsyktruequotsxsyquotminusxysytrue24691quot211s1111minus211000plus20minusx0xminusminusxyzminusxplusyzminussxsyminusxyquotsxsyminusxyfalse246789minusminusxyzminusxplusyzminussxsyminusxytrue247minus21minusminusxyzplusyzfalse24567sumapplconsxconsyksumapplsumconsxconsyktrue251sum111app21112cons2112sum11plus211112nil00000s11sumconsxconsylsumconsplusxylappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumapplconsxconsyksumconsxconsykfalse2345sumconsxconsylsumconsplusxyltrue31sum111cons2112plus20000s10sumconsxconsylplusxyfalse2plussxyplusxytrue2plus21sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21