appappappfoldfxnilxappappappfoldfxappappconsyzappappfyappappappfoldfxzappappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyysumappappfoldadd0prodappappfoldmulapps0app2fold0nil0cons0plus000s0times0sum0add0prod0mul0FULL./TRS/higher-order/ToyamaRTA04/Ex5Folding.trs