appf0trueappf1falseappfappsxappfxappappappiftrueappsxappsyappsxappappappiffalseappsxappsyappsyappappgxappcyappcappappgxyappappgxappcyappappgxappappappifappfxappcappappgappsxyappcyappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsapp2f000true010false0s0if0g0c0map0nil0cons0filter0filter20FULL./TRS/currying/AG01/#3.48.trs