appnotappnotxxappnotappapporxyappappandappnotxappnotyappnotappappandxyappapporappnotxappnotyappappandxappapporyzappapporappappandxyappappandxzappappandappapporyzxappapporappappandxyappappandxzappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2not0or0and0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/12.trs