appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsykplussxyplusxysumpluscons0xconsylpredsumconssxconsylsumpluscons0xconsylsumconssxconsyltruesumapplconsxconsyksumapplsumconsxconsyktrue123456781sum111app21112cons2112sum11plus211112nil00000s11sumconsxconsylsumconsplusxylappnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumapplconsxconsyksumconsxconsykfalse234567sumpluscons0xconsylsumconssxconsylfalse123456sumconsxconsylsumconsplusxyltrue123451sum111cons2112plus20000s10sumapplconsxconsykapplsumconsxconsykfalse2appconsxlkapplktrue2app21sumconsxconsylplusxyfalseplussxyplusxytrueplus21sumpluscons0xconsylpredsumconssxconsylfalse