appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsykplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsykplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1110false00true08zero04id1812not1210if36102430gt211220s1410plus201021sum1011cons201121app2114211nil00sumconsxconsylsumconsplusxylsumconsxnilconsxnilappnilkkapplnillappconsxlkconsxapplksumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app251020cons2011211sumapplconsxconsyksumconsxconsykfalsesumconsxconsylsumconsplusxyltrue1sum1213false00true05zero00id1010not1013if3511228312gt211728s1110plus201120cons201524sumconsxconsylplusxyfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrueplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytrue1gt281120s1411