appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplus0yyplussxysplusxyappconsxlkapplksumconsxconsylsumconsplusxylsumconsxconsylplusxysumapplconsxconsyksumapplsumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumconsxconsykplussxyplusxytruesumapplconsxconsyksumapplsumconsxconsyktrue1234561sum111app21112cons2112sum11nil00plus212000s10sumapplconsxconsyksumconsxconsykfalse12345sumconsxconsylsumconsplusxyltrue12341sum111cons2112plus211112app21112nil00sum11000s11sumapplconsxconsykapplsumconsxconsykfalse2appconsxlkapplktrue2app21sumconsxconsylplusxyfalseplussxyplusxytrueplus21