appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsyksumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsyksumpluscons0xconsylsumconssxconsylsumpluscons0xconsylpredsumconssxconsylplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruesumpluscons0xconsylsumconssxconsylsumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1110false00true00zero00id1214not1011if30112430gt211020s1114plus201023sum1012cons201122app241225nil00sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsyksumconsxconsykfalsesumpluscons0xconsylsumconssxconsylfalsesumconsxconsylsumconsplusxyltruesum13false01true00zero01id15not12if31gt22s14plus23cons24cons22plus22s11gt22if33not11id11zero0true0false0sum11sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalsesumpluscons0xconsylpredsumconssxconsylfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrue1plus20102false01true03zero02id121not1313if312203gt201120s161plusidxsyplusxifgtsyyysyplussxxplusifgtxxidxidxsxgtsxzerotruegtsxsygtxygtzeroyfalseiftruexyxiffalsexyyidxxnotxifxfalsetrueplus21false00true03zero04id12if30gt24s13s11gt22if323id11zero0true0false0plus21iftruexyxiffalsexyyidxxplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22