appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappincxsappappmapappplusapps0xsappdoublexsappappmapapptimesappsapps0xsappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsapp2plus000s0times0inc0map0double0nil0cons0FULL./TRS/higher-order/AotoYam/021.trs