appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxyplusxysumpluscons0xconsylsumconssxconsylsumpluscons0xconsylpredsumconssxconsyltruesumpluscons0xconsylsumconssxconsylsumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1814pred1014s1012000plus201125sum1014cons201123app2141120nil00sumapplconsxconsyksumconsxconsykfalsesumpluscons0xconsylsumconssxconsylfalsesumconsxconsylsumconsplusxyltrue1sum14112pred1110s1116005plus211121sum1110cons211124app231128nil012sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalsesumpluscons0xconsylpredsumconssxconsylfalseplussxyplusxytrueplus21