appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsykplussxyplusxysumpluscons0xconsylpredsumconssxconsylsumpluscons0xconsylsumconssxconsyltruesumapplconsxconsyksumapplsumconsxconsyktrue123456781sum111app21112cons2112sum11nil00plus212000s10pred11sumapplconsxconsyksumconsxconsykfalse234567sumpluscons0xconsylsumconssxconsylfalse123456sumconsxconsylsumconsplusxyltrue123451sum111cons2112plus212app211112nil00sum11000s10pred111sumapplconsxconsykapplsumconsxconsykfalse2appconsxlkapplktrue21app211cons2112app21112nil00sum11plus211112000s11pred11sumconsxconsylplusxyfalseplussxyplusxytrue1plus211s1111app21112nil00cons212sum111plus21112000pred10sumpluscons0xconsylpredsumconssxconsylfalse