appgapphappgxappgxappgappgxappgapphappgxapphapphxapphappappfapphxxappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsapp2g0h0f0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/Ste92/motivation.trs