appnilkkapplnillappconsxlkconsxapplksumconsxnilconsxnilsumconsxconsylsumconsplusxylsumapplconsxconsyksumapplsumconsxconsyksumpluscons0xconsylpredsumconssxconsylpredconssxnilconsxnilplussxsyssplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxpluszeroyyplusidxsysplusxifgtsyyysyidxxiftruexyxiffalsexyynotxifxfalsetruegtsxzerotruegtzeroyfalsegtsxsygtxyappconsxlkapplksumconsxconsylplusxysumconsxconsylsumconsplusxylsumapplconsxconsyksumconsxconsyksumapplconsxconsykapplsumconsxconsyksumapplconsxconsyksumapplsumconsxconsyksumpluscons0xconsylsumconssxconsylsumpluscons0xconsylpredsumconssxconsylplussxsyidyplussxsyidxplussxsynotgtxyplussxsyifnotgtxyidxidyplussxsygtxyplussxsyifgtxyxyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxidxplussxxgtxxplussxxifgtxxidxidxplussxxplusifgtxxidxidxsxplusidxsygtsyyplusidxsyifgtsyyysyplusidxsyplusxifgtsyyysynotxifxfalsetruegtsxsygtxytruesumapplconsxconsyksumapplsumconsxconsyktrue1sum1811false02true01zero00id1811not10112if30112231gt201028pred1011s1010000plus201123sum1011cons201121app211220nil00sumapplconsxconsykapplsumconsxconsykfalseappconsxlkapplktrue1app221024false00true00zero00id1811not1014if30122230gt201021pred1018s1010000plus201220sum10112cons201121app211124nil04sumapplconsxconsyksumconsxconsykfalsesumpluscons0xconsylsumconssxconsylfalsesumconsxconsylsumconsplusxyltrue1sum1110false00true01zero00id1210not10114if30122133gt201028pred1017s1010000plus201821sum1017cons201124app2811212nil03sumconsxconsylplusxyfalsesumpluscons0xconsylpredsumconssxconsylfalseplusidxsyplusxifgtsyyysyplussxsyplusifgtxyxyifnotgtxyidxidyplussxxplusifgtxxidxidxsxtrueplussxxifgtxxidxidxfalseplussxxgtxxfalseplussxxidxfalseplussxsyifgtxyxyfalseplussxsygtxyfalseplussxsyifnotgtxyidxidyfalseplussxsynotgtxyfalseplussxsyidxfalseplussxsyidyfalseplusidxsyifgtsyyysyfalseplusidxsygtsyyfalsenotxifxfalsetruefalsegtsxsygtxytrue