appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappappappcompfgxappfappgxapptwicefappappcompffapp2plus000s0times0comp0twice0FULL./TRS/higher-order/AotoYam/020.trs