appapptimesxappappplusyappszappappplusappapptimesxappappplusyappapptimesappsz0appapptimesxappszappapptimesx00appapptimesxappsyappappplusappapptimesxyxappappplusx0xappappplusxappsyappsappappplusxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2times0plus0s000map0nil0cons0filter0filter20true0false0FULL./TRS/currying/AG01/#3.22.trs