appappFappappFfxxappappFappGappappFfxappfxapp2F0G0FULL./TRS/higher-order/Kusakari/Ex6_11.trs