appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxyappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxyplusxytruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1211s1012000plus281020sum1014cons201124app2611211nil00sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app251020cons2011211sumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1813s1818000plus211221cons201123sumconsxconsylplusxyfalseplussxyplusxytrue1plus2810212s1113