appappappiftruexsysxsappappappiffalsexsysysappappltappsxappsyappappltxyappapplt0appsytrueappapplty0falseappappeqxxtrueappappeqappsx0falseappappeq0appsxfalseappappmergexsnilxsappappmergenilysysappappmergeappappconsxxsappappconsyysappappappifappappltxyappappconsxappappmergexsappappconsyysappappappifappappeqxyappappconsxappappmergexsysappappconsyappappmergeappappconsxxsysappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappmult0x0appappmultappsxyappappplusyappappmultxyappappplus0x0appappplusappsxyappsappappplusxylist1appappmapappmultappsapps0hamminglist2appappmapappmultappsappsapps0hamminglist3appappmapappmultappsappsappsappsapps0hamminghammingappappconsapps0appappmergelist1appappmergelist2list3app2if0true0false0lt0s000eq0merge0nil0cons0map0mult0plus0list10hamming0list20list30OUTERMOST./TRS/outermost/higher-order/Bird/Hamming.trs