appDt1appDconstant0appDappapp+xyappapp+appDxappDyappDappapp*xyappapp+appapp*yappDxappapp*xappDyappDappapp-xyappapp-appDxappDyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2D0t010constant000+0*0-0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/08.trs