app app map_1 f app app cons h t app app cons app f h app app map_1 f t app app app map_2 f c app app cons h t app app cons app app f h c app app app map_2 f c t app app app app map_3 f g c app app cons h t app app cons app app app f g h c app app app app map_3 f g c t app 2 map_1 0 cons 0 map_2 0 map_3 0 g 0 FULL ./TRS/higher-order/Lifantsev/Ex9Maps.trs