appp00apppappsxxappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappminusxyappappappifappapplexyxyappappappiftruexy0appappappiffalsexyappsappappminusapppxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2p000s0le0true0false0minus0if0map0nil0cons0filter0filter20INNERMOST./TRS/currying/AG01/#4.26.trs