apphalf00apphalfapps00apphalfappsappsxappsapphalfxappbits00appbitsappsxappsappbitsapphalfappsxappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2half000s0bits0map0nil0cons0filter0filter20true0false0INNERMOST./TRS/currying/AG01/#4.28.trs