appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruesumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsyksumapplsumconsxconsyktruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1418false01true04zero00id1310not1515if30112130gt2010210s1010plus201820sum1011cons201121app211220nil00sumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1414false00true00zero00id1610not1410if32152530gt201022s1010plus201224sum1011cons201121app211820nil00sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrueapp21sumconsxconsylplusxyfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrueplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytruegt22