appf0trueappf1falseappfappsxappfxappappappiftruexyxappappappiffalsexyyappappgappsxappsyappappappifappfxappsxappsyappappgxappcyappappgxappappgappsappcyyappappmapfunnilnilappappmapfunappappconsxxsappappconsappfunxappappmapfunxsappappfilterfunnilnilappappfilterfunappappconsxxsappappappappfilter2appfunxfunxxsappappappappfilter2truefunxxsappappconsxappappfilterfunxsappappappappfilter2falsefunxxsappappfilterfunxsapp2f000true010false0s0if0g0c0map0nil0cons0filter0filter20INNERMOST./TRS/currying/AG01/#4.34.trs