appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxysumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxyplusxysumpluscons0xconsylsumconssxconsylsumpluscons0xconsylpredsumconssxconsyltruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1814pred1014s1012000plus201125sum1014cons201123app2141120nil00sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app2410210pred1018s1010000plus201420sum1110cons201122app291820nil00sumapplconsxconsyksumconsxconsykfalsesumpluscons0xconsylsumconssxconsylfalsesumconsxconsylsumconsplusxyltrue1sum14112pred1110s1116005plus211121sum1110cons211124app231128nil012sumconsxconsylplusxyfalsesumpluscons0xconsylpredsumconssxconsylfalseplussxyplusxytrue1plus221022pred1010s1112000plus241220sum1010cons201020app221220nil00