appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxyplusxysumpluscons0xconsylsumconssxconsylsumpluscons0xconsylpredsumconssxconsyltruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1211s1012000plus281020sum1014cons201124app2611211nil00sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app251020cons2011211sumapplconsxconsyksumconsxconsykfalsesumpluscons0xconsylsumconssxconsylfalsesumconsxconsylsumconsplusxyltrue1sum1813s1818000plus211221cons201123sumconsxconsylplusxyfalsesumpluscons0xconsylpredsumconssxconsylfalseplussxyplusxytrue1plus2810212s1113