appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsykplussxyplusxysumpluscons0xconsylpredsumconssxconsylsumpluscons0xconsylsumconssxconsyltruesumapplconsxconsyksumapplsumconsxconsyktrue123456781sum111app21112cons2112sum11nil00plus212000s10pred11sumapplconsxconsyksumconsxconsykfalse234567sumpluscons0xconsylsumconssxconsylfalse123456sumconsxconsylsumconsplusxyltrue123451sum111cons2112plus212app211112nil00sum11000s10pred111sumapplconsxconsykapplsumconsxconsykfalse2appconsxlkapplktrue2app21sumconsxconsylplusxyfalseplussxyplusxytrueplus21sumpluscons0xconsylpredsumconssxconsylfalse