appapp*xappapp+yzappapp+appapp*xyappapp*xzappapp*appapp+yzxappapp+appapp*xyappapp*xzappapp*appapp*xyzappapp*xappapp*yzappapp+appapp+xyzappapp+xappapp+yzappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2*0+0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/13.trs