appappadd0yyappappaddappsxyappsappappaddxyappappmult0y0appappmultappsxyappappaddappappmultxyyappappapprecfx0xappappapprecfxappsyappappfappsyappappapprecfxyfactappapprecmultapps0app2add000s0mult0rec0fact0FULL./TRS/higher-order/AotoYam/Ex5TermProof.trs