appappminus0y0appappminusappsx0appsxappappminusappsxappsyappappminusxyappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappappiftruexyxappappappiffalsexyyappperfectp0falseappperfectpappsxappappappappfxapps0appsxappsxappappappappf0y0utrueappappappappf0yappszufalseappappappappfappsx0zuappappappappfxuappappminuszappsxuappappappappfappsxappsyzuappappappifappapplexyappappappappfappsxappappminusyxzuappappappappfxuzuappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsapp2minus000s0le0true0false0if0perfectp0f0map0nil0cons0filter0filter20FULL./TRS/currying/Ste92/perfect2.trs