appappplus0yyappappplusappsxyappsappappplusxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsincappmapappplusapps0app2plus000s0map0nil0cons0inc0FULL./TRS/higher-order/AotoYam/007.trs